Samuel B. Luckenbill, Ju-Yueh Lee, Yu Hu, Rupak Majumdar, Lei He. RALF: Reliability Analysis for Logic Faults - An exact algorithm and its applications. In Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, March 8-12, 2010. pages 783-788, IEEE, 2010. [doi]
Abstract is missing.