An Algebraic Model of Correctness for Superscalar Microprocessors

Authors:
Anthony C. J. Fox;Neal A. Harman
Affiliations:
-;-
Venue:
FMCAD '96 Proceedings of the First International Conference on Formal Methods in Computer-Aided Design
Year:
1996

Citing 0
Cited 2

Algebraic Models of Superscalar Microprocessor Implementations: A Case Study

Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Verifying a Simple Pipelined Microprocessor Using Maude

WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques

Quantified Score

Hi-index	0.00

Visualization

Abstract