Post-silicon verification for cache coherence | IEEE Conference Publication | IEEE Xplore