Verification of Pipeline Circuits

@inproceedings{Kaufmann2000VerificationOP,
  title={Verification of Pipeline Circuits},
  author={Matt Kaufmann and David M. Russinoff},
  year={2000}
}