Verification of Pipeline Circuits (2000)

by M Kaufmann, D Russinoff
Venue:In ACL2 Workshop 2000 (proceedings are available as UTCS