A Synthesis-Based Test Generation and Compaction Algorithm for Multifaults.

Srinivas Devadas, Kurt Keutzer, Sharad Malik

Browse the full DAC paper archive.