Improved SAT-based ATPG: more constraints, better compaction.

Stephan Eggersgl, Robert Wille, Rolf Drechsler

Browse the full ICCAD paper archive.