You are about to access our book library "Sequential Logic Testing and Verification (The Springer International Series in Engineering and Computer Science, 163) full version" .