Thuyen Le, Tilman Glökler, Jason Baumgartner
Formal verification of a pervasive interconnect bus system in a high-performance microprocessor
DATE, 2007.
@inproceedings{DATE-2007-LeGB,
author = "Thuyen Le and Tilman Glökler and Jason Baumgartner",
booktitle = "{Proceedings of the 11th Conference on Design, Automation and Test in Europe}",
doi = "10.1145/1266366.1266413",
isbn = "978-3-9810801-2-4",
pages = "219--224",
publisher = "{ACM}",
title = "{Formal verification of a pervasive interconnect bus system in a high-performance microprocessor}",
year = 2007,
}