Formal Analysis of Soft Errors using Theorem Proving
Modeling and analysis of soft errors in electronic circuits has traditionally been done using computer simulations.Computer simulations cannot guarantee correctness of analysis because they utilize approximate real number representations and pseudo random numbers in the analysis and Tinted Serum SPF thus are not well suited for analyzing safety-cri