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]
Abstract is missing.