Ghosh, Abhijit

Sequential logic testing and verification. / Ghosh, Abhijit, Devadas, Srinivas, Newton, A. Richard

621.395 G341S