TranGen: a SAT-based ATPG for path-oriented transition faults.

Kai Yang, Kwang-Ting Cheng, Li-C. Wang

Browse the full ASPDAC paper archive.