Verification of pipeline circuits (2000)

by M Kaufmann, D Russinoff
Venue:in ACL2 Workshop