A Low-Cost Cache Coherence Verification Method for Snooping Systems | IEEE Conference Publication | IEEE Xplore