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]

Possibly Related Publications

The following publications are possibly variants of this publication: