RALF: Reliability Analysis for Logic Faults - An exact algorithm and its applications.

Samuel B. Luckenbill, Ju-Yueh Lee, Yu Hu, Rupak Majumdar, Lei He

Browse the full DATE paper archive.