PVCoherence: Designing flat coherence protocols for scalable verification
Publication
, Conference
Zhang, M; Bingham, JD; Erickson, J; Sorin, DJ
Published in: Proceedings - International Symposium on High-Performance Computer Architecture
2014
The goal of this work is to design cache coherence protocols with many cores that can be verified with state-of-the-art automated verification methodologies. In particular, we focus on flat (non-hierarchical) coherence protocols, and we use a mostly-automated methodology based on parametric verification (PV). We propose several design guidelines that architects should follow if they want to design protocols that can be parametrically verified. We experimentally evaluate performance, storage overhead, and scalability of a protocol verified with PV compared to a highly optimized protocol that cannot be verified with PV. © 2014 IEEE.
Duke Scholars
Published In
Proceedings - International Symposium on High-Performance Computer Architecture
DOI
ISSN
1530-0897
ISBN
9781479930975
Publication Date
2014
Start / End Page
392 / 403
Publisher
IEEE Computer Society
Citation
APA
Chicago
ICMJE
MLA
NLM
Zhang, M., Bingham, J. D., Erickson, J., & Sorin, D. J. (2014). PVCoherence: Designing flat coherence protocols for scalable verification. In Proceedings - International Symposium on High-Performance Computer Architecture (pp. 392–403). IEEE Computer Society. https://doi.org/10.1109/HPCA.2014.6835949
Zhang, M., J. D. Bingham, J. Erickson, and D. J. Sorin. “PVCoherence: Designing flat coherence protocols for scalable verification.” In Proceedings - International Symposium on High-Performance Computer Architecture, 392–403. IEEE Computer Society, 2014. https://doi.org/10.1109/HPCA.2014.6835949.
Zhang M, Bingham JD, Erickson J, Sorin DJ. PVCoherence: Designing flat coherence protocols for scalable verification. In: Proceedings - International Symposium on High-Performance Computer Architecture. IEEE Computer Society; 2014. p. 392–403.
Zhang, M., et al. “PVCoherence: Designing flat coherence protocols for scalable verification.” Proceedings - International Symposium on High-Performance Computer Architecture, IEEE Computer Society, 2014, pp. 392–403. Manual, doi:10.1109/HPCA.2014.6835949.
Zhang M, Bingham JD, Erickson J, Sorin DJ. PVCoherence: Designing flat coherence protocols for scalable verification. Proceedings - International Symposium on High-Performance Computer Architecture. IEEE Computer Society; 2014. p. 392–403.
Published In
Proceedings - International Symposium on High-Performance Computer Architecture
DOI
ISSN
1530-0897
ISBN
9781479930975
Publication Date
2014
Start / End Page
392 / 403
Publisher
IEEE Computer Society