Formal verification of superscale microprocessors with multicycle functional units, exception, and branch prediction
- 1 January 2000
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 112-117
- https://doi.org/10.1145/337292.337331