2013/07/30 by Naeem Abbasi, Osman Hasan, Sofiène Tahar · 3 citations
Computer Science · Mathematics · #Algorithm #Computer science #Correctness #Cryptography and Residue Arithmetic #Electronic circuit #Formal Methods in Verification #Gaussian #Mathematics #Numerical Methods and Algorithms #Random variable #Statistics #Theoretical computer science #cs.LO
paper · pdf · doi:10.4204/eptcs.122.7
published in Electronic Proceedings in Theoretical Computer Science 122, 75-84 (Open Publishing Association) · In Proceedings SCSS 2012, arXiv:1307.8029, Hardware -> Dynamic memory; Transient errors and upsets; Safety critical systems; Security and privacy -> Logic and verification; Theory of computation -> Automated reasoning; Computer systems organization -> Reliability
openalex publication_date 2013/07/30 · arxiv created 2013/07/31 · arxiv updated 2013/08/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/08
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, we present a higher-order logic theorem proving based method for modeling and analysis of soft errors in electronic circuits. Our developed infrastructure includes formalized continuous random variable pairs, their Cumulative Distribution Function (CDF) properties and independent standard uniform and Gaussian random variables. We illustrate the usefulness of our approach by modeling and analyzing soft errors in commonly used dynamic random access memory sense amplifier circuits.