Ghosh, Abhijit Sequential logic testing and verification. / Ghosh, Abhijit, Devadas, Srinivas, Newton, A. Richard Dewey Class. No.: 621.395 G341S