PVCoherence: Designing flat coherence protocols for scalable verification.

Meng Zhang, Jesse D. Bingham, John Erickson, Daniel J. Sorin

Browse the full HPCA paper archive.