Formal Verification of a Pervasive Interconnect Bus System in a High-Performance Microprocessor | IEEE Conference Publication | IEEE Xplore