VFCC: A Verification Framework of Cache Coherence Using Parallel Simulation

Qiaoli Xiong,Jiangfang Yi,Tianbao Song,Zichao Xie,Dong Tong
DOI: https://doi.org/10.1109/aspdac.2013.6509683
2013-01-01
Abstract:A cache coherence protocol is a vital component of a multiprocessor to maintain the data consistency. In this paper, we proposed VFCC, which is a simulation framework to validate a cache-coherence protocol implementation of a commercial 64-bit superscalar multiprocessor. It exploits multiple-level parallelism to accelerate validation without overheads among threads. Our experimental results demonstrate VFCC has a 5.0× speedup than a traditional simulator on a conventional 16-core host machine.
What problem does this paper attempt to address?