A new SAT-based ATPG for generating highly compacted test sets.

Stephan Eggersgl, Rene Krenz-Baath, Andreas Glowatz, Friedrich Hapke, Rolf Drechsler

Browse the full DDECS paper archive.