SAT-based ATPG for Path Delay Faults in Sequential Circuits
Keyword(s):
1994 ◽
Vol 13
(2)
◽
pp. 251-263
◽