Meng Zhang, Jesse D. Bingham, John Erickson, Daniel J. Sorin. PVCoherence: Designing flat coherence protocols for scalable verification. In 20th IEEE International Symposium on High Performance Computer Architecture, HPCA 2014, Orlando, FL, USA, February 15-19, 2014. pages 392-403, IEEE, 2014. [doi]
Abstract is missing.