Fractal Coherence: Scalably verifiable cache coherence
Conference Paper
We propose an architectural design methodology for designing formally verifiable cache coherence protocols, called Fractal Coherence. Properly designed to be fractal in behavior, the proposed family of cache coherence protocols can be formally verified correct for systems with an arbitrary number of cores, using existing, automated formal tools. We show, by designing and implementing a specific Fractal Coherence protocol, called TreeFractal, that Fractal Coherence protocols can attain comparable performance to traditional snooping and directory protocols. © 2010 IEEE.
Full Text
Duke Authors
Cited Authors
- Zhang, M; Lebeck, AR; Sorin, DJ
Published Date
- December 1, 2010
Published In
Start / End Page
- 471 - 482
International Standard Serial Number (ISSN)
- 1072-4451
International Standard Book Number 13 (ISBN-13)
- 9780769542997
Digital Object Identifier (DOI)
- 10.1109/MICRO.2010.11
Citation Source
- Scopus