Reasoning About Pipelines with Structural Hazards

Authors:
Mark Aagaard;Miriam Leeser
Affiliations:
-;-
Venue:
TPCD '94 Proceedings of the Second International Conference on Theorem Provers in Circuit Design - Theory, Practice and Experience
Year:
1994

A Practical Methodology for the Formal Verification of RISC Processors

Formal Methods in System Design
On embedding a microarchitectural design language within Haskell

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Elementary Microarchitecture Algebra

CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Simplifying the design and automating the verification of pipelines with structural hazards

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Hi-index	0.00