Modeling Cache Coherence Protocol - A Case Study with FLASH

13 years 9 months ago

Download www.eecs.umich.edu

This paper is devoted to the speci cation of the Stanford FLASHcache coherence protocol within the ASM formalism. Correctness proofs related to data consistency are presented. Corner cases that leads to unlikely situations are exhibited.

Arnaud Durand

Real-time Traffic

ASM 1998 | ASM Formalism | Computational Biology | Correctness Proofs | Stanford FLASHcache Coherence |

claim paper

» Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Ch...

» A Simple Method for Parameterized Verification of Cache Coherence Protocols

» Exact and Efficient Verification of Parameterized Cache Coherence Protocols

» Using Coherence Information and Decay Techniques to Optimize L2 Cache Leakage in CMPs

» Experience with a Language for Writing Coherence Protocols

» Comparison of Hardware and Software Cache Coherence Schemes

» Improving MultipleCMP Systems Using Token Coherence

» A TaskCentric Memory Model for Scalable Accelerator Architectures

Post Info
More Details (n/a)

Added	05 Aug 2010
Updated	05 Aug 2010
Type	Conference
Year	1998
Where	ASM
Authors	Arnaud Durand

Comments (0)

Sciweavers

Modeling Cache Coherence Protocol - A Case Study with FLASH

ASM 1998 | ASM Formalism | Computational Biology | Correctness Proofs | Stanford FLASHcache Coherence |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers