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]
@inproceedings{FoxH98, title = {Algebraic Models of Superscalar Microprocessor Implementations: A Case Study}, author = {Anthony C. J. Fox and Neal A. Harman}, year = {1998}, url = {http://link.springer.de/link/service/series/0558/bibs/1546/15460138.htm}, tags = {case study, C++, algebra}, researchr = {https://researchr.org/publication/FoxH98}, cites = {0}, citedby = {0}, pages = {138-183}, booktitle = {Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA - New Hardware Design Methods, Survey Chapters}, editor = {Bernhard Möller and J. V. Tucker}, volume = {1546}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-65461-5}, }