VFCC: A verification framework of cache coherence using parallel simulation. - Qiaoli Xiong; Jiangfang Yi; Tianbao Song; Zichao Xie; Dong Tong 001 (ASP-DAC, 2013)