PROOFS: a fast, memory-efficient sequential circuit fault simulator
1992 ◽
Vol 11
(2)
◽
pp. 198-207
◽