Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee | IEEE Conference Publication | IEEE Xplore