VFCC: A verification framework of cache coherence using parallel simulation | IEEE Conference Publication | IEEE Xplore