Algebraic Models of Superscalar Microprocessor Implementations: A Case Study

Anthony C. J. Fox, Neal A. Harman. Algebraic Models of Superscalar Microprocessor Implementations: A Case Study. In Bernhard Möller, J. V. Tucker, editors, Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA - New Hardware Design Methods, Survey Chapters. Volume 1546 of Lecture Notes in Computer Science, pages 138-183, Springer, 1998. [doi]

Authors

Anthony C. J. Fox

This author has not been identified. Look up 'Anthony C. J. Fox' in Google

Neal A. Harman

This author has not been identified. Look up 'Neal A. Harman' in Google