Formal Analysis of Soft Errors using Theorem Proving
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 thus are not well suited for analyzing safety-critical applications. In this paper, …