Functional test generation for synchronous sequential circuits (1996)

by M. K. Srinivas, James Jacob, Vishwani D. Agrawal
Venue:IEEE Trans. on CAD/ICAS