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

Qiaoli Xiong Jiangfang Yi Tianbao Song Zichao Xie Dong Tong

Published in: ASP-DAC (2013)

Keyphrases

main contribution
simulation environment
data sets
model checking
parallel implementation
simulation platform
information retrieval
case study
evolutionary algorithm
parallel processing
conceptual framework
massively parallel