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