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