Formal verification of a pervasive interconnect bus system in a high-performance microprocessor.

Thuyen Le, Tilman Glkler, Jason Baumgartner

Browse the full DATE paper archive.