DocumentCode
62761
Title
PVCoherence: Designing Flat Coherence Protocols for Scalable Verification
Author
Meng Zhang ; Bingham, Jesse D. ; Erickson, John ; Sorin, Daniel J.
Volume
35
Issue
3
fYear
2015
fDate
May-June 2015
Firstpage
84
Lastpage
91
Abstract
The goal of this work is to design cache coherence protocols with many cores such that they can be verified with existing verification methodologies. In particular, the authors focus on flat (nonhierarchical) coherence protocols using a mostly automated methodology based on parametric verification. They present design guidelines that, if followed by architects, enable parametric verification of protocols with arbitrary numbers of cores.
Keywords
formal verification; protocols; PVCoherence protocol; cache coherence protocol; nonhierarchical coherence protocol; parametric verification; scalable verification methodology; Coherence; Guidelines; Model checking; Parametric statistics; Protocols; Radiation detectors; cache coherence; verifiability; verification;
fLanguage
English
Journal_Title
Micro, IEEE
Publisher
ieee
ISSN
0272-1732
Type
jour
DOI
10.1109/MM.2015.48
Filename
7106379
Link To Document