Meng Zhang, Alvin R. Lebeck, Daniel J. Sorin. Fractal Coherence: Scalably Verifiable Cache Coherence. In 43rd Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2010, 4-8 December 2010, Atlanta, Georgia, USA. pages 471-482, IEEE, 2010. [doi]
Abstract is missing.