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