Test Generation and Verification for Highly Sequential Circuits (1992)

by A Ghosh, S Devadas, andA R Newton
Venue:Fifth Int’l Cont: VU1 Design, IEEE CS