A mechanism to verify cache coherence transactions in multicore systems | IEEE Conference Publication | IEEE Xplore