Test Generation and Verification for Highly Sequential Circuits (1991)

by A Ghosh, S Devadas, A R Newton
Venue:IEEE trans. on CAD