SAT-based ATPG for Path Delay Faults in Sequential Circuits.

Stephan Eggersgl, Grschwin Fey, Rolf Drechsler

Browse the full ISCAS paper archive.