Speeding up SAT-Based ATPG Using Dynamic Clause Activation

2009 Asian Test Symposium ◽

10.1109/ats.2009.26 ◽

2009 ◽

Author(s):

Stephan Eggersgluss ◽

Daniel Tille ◽

Rolf Drechsler

Download Full-text