Reasoning about pipelines with structural hazards (1994)

by Mark Aagaard, Miriam Leeser
Venue:Preliminary Proceedings of the Second Conference on Theorem Provers in Circuit Design