Reasoning about pipelines with structural hazards (1994)

by M Aagaard, M Leeser
Venue:In Second International Conference on Theorem Provers in Circuit Design (Bad Herrenalb