Formal verification of an IBM coreconnect processor local bus arbiter care | IEEE Conference Publication | IEEE Xplore