Scholars@Duke

PVCoherence: Designing Flat Coherence Protocols for Scalable Verification

Publication ,  Journal Article
Zhang, M; Bingham, JD; Erickson, J; Sorin, DJ
Published in: IEEE Micro
May 1, 2015
Published version (DOI)

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.

Duke Scholars

Daniel J. Sorin
Author Daniel J. Sorin Electrical and Computer Engineering

Published In

IEEE Micro

DOI

10.1109/MM.2015.48

ISSN

0272-1732

Publication Date

May 1, 2015

Volume

35

Issue

3

Start / End Page

84 / 91

Related Subject Headings

  • Computer Hardware & Architecture
  • 4606 Distributed computing and systems software
  • 4009 Electronics, sensors and digital hardware
  • 1006 Computer Hardware
  • 0906 Electrical and Electronic Engineering
 

Citation

APA
Chicago
ICMJE
MLA
NLM
Zhang, M., Bingham, J. D., Erickson, J., & Sorin, D. J. (2015). PVCoherence: Designing Flat Coherence Protocols for Scalable Verification. IEEE Micro, 35(3), 84–91. https://doi.org/10.1109/MM.2015.48
Zhang, M., J. D. Bingham, J. Erickson, and D. J. Sorin. “PVCoherence: Designing Flat Coherence Protocols for Scalable Verification.” IEEE Micro 35, no. 3 (May 1, 2015): 84–91. https://doi.org/10.1109/MM.2015.48.
Zhang M, Bingham JD, Erickson J, Sorin DJ. PVCoherence: Designing Flat Coherence Protocols for Scalable Verification. IEEE Micro. 2015 May 1;35(3):84–91.
Zhang, M., et al. “PVCoherence: Designing Flat Coherence Protocols for Scalable Verification.” IEEE Micro, vol. 35, no. 3, May 2015, pp. 84–91. Scopus, doi:10.1109/MM.2015.48.
Zhang M, Bingham JD, Erickson J, Sorin DJ. PVCoherence: Designing Flat Coherence Protocols for Scalable Verification. IEEE Micro. 2015 May 1;35(3):84–91.

Published In

IEEE Micro

DOI

10.1109/MM.2015.48

ISSN

0272-1732

Publication Date

May 1, 2015

Volume

35

Issue

3

Start / End Page

84 / 91

Related Subject Headings

  • Computer Hardware & Architecture
  • 4606 Distributed computing and systems software
  • 4009 Electronics, sensors and digital hardware
  • 1006 Computer Hardware
  • 0906 Electrical and Electronic Engineering