Qiaoli Xiong, Jiangfang Yi, Tianbao Song, Zichao Xie, Dong Tong. VFCC: A verification framework of cache coherence using parallel simulation. In 18th Asia and South Pacific Design Automation Conference, ASP-DAC 2013, Yokohama, Japan, January 22-25, 2013. pages 705-710, IEEE, 2013. [doi]
Abstract is missing.