Sequential circuit test generation using dynamic justification equivalence

Xinghao Chen, Michael L. Bushnell. Sequential circuit test generation using dynamic justification equivalence. J. Electronic Testing, 8(1):9-33, 1996. [doi]

Abstract

Abstract is missing.