Using Boolean satisfiability for computing soft error rates in early design stages

Syed Zafar Shazli, Mehdi Baradaran Tahoori. Using Boolean satisfiability for computing soft error rates in early design stages. Microelectronics Reliability, 50(1):149-159, 2010. [doi]

Abstract

Abstract is missing.