You are about to access our book library "Sequential Logic Testing and Verification (The Springer International Series in Engineering and Computer Science) by Ghosh, Abhijit, Devadas, Srinivas, Newton, A. Richard (1991) Paperback full version" .