Sequential Logic Testing and Verification by A Richard Newton Srinivas Devadas Abhijit Ghosh