PVCoherence: Designing Flat Coherence Protocols for Scalable Verification
Journal Article (Journal Article)
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.
Full Text
Duke Authors
Cited Authors
- Zhang, M; Bingham, JD; Erickson, J; Sorin, DJ
Published Date
- May 1, 2015
Published In
Volume / Issue
- 35 / 3
Start / End Page
- 84 - 91
International Standard Serial Number (ISSN)
- 0272-1732
Digital Object Identifier (DOI)
- 10.1109/MM.2015.48
Citation Source
- Scopus