Stephan Eggersglüß, Görschwin Fey, Rolf Drechsler. SAT-based ATPG for Path Delay Faults in Sequential Circuits. In International Symposium on Circuits and Systems (ISCAS 2007), 27-20 May 2007, New Orleans, Louisiana, USA. pages 3671-3674, IEEE, 2007. [doi]
Abstract is missing.