Mihir R. Choudhury, Kartik Mohanram: Accurate and scalable reliability analysis of logic circuits. DATE 2007: 1454-1459