VFCC: A verification framework of cache coherence using parallel simulation.

Qiaoli Xiong, Jiangfang Yi, Tianbao Song, Zichao Xie, Dong Tong

Browse the full ASPDAC paper archive.