Read Sequential Logic Testing and Verification (The Springer International Series in Engineering

1