Fractal Consistency: Architecting the Memory System to Facilitate Verification

Meng Zhang, Alvin R. Lebeck, Daniel J. Sorin. Fractal Consistency: Architecting the Memory System to Facilitate Verification. Computer Architecture Letters, 9(2):61-64, 2010. [doi]

Abstract

Abstract is missing.