An Efficient Test Design for Verification of Cache Coherence in CMPs | IEEE Conference Publication | IEEE Xplore