Proofs of Correctness of Cache-Coherence Protocols-Reference-Cited by-同舟云学术

Proofs of Correctness of Cache-Coherence Protocols

Published:2001 Issue: Volume: Page:43-71
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Stoy Joseph,Shen Xiaowei,Arvind

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45251-6_4

Reference33 articles.

1. Yehuda Afek, Geoffrey Brown, and Michael Merritt. Lazy Caching. ACM Transactions on Programming Languages and Systems, 15(1):182–205, January 1993.

2. [ADH+99]_Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark Tuttle, and Yuan Yu. Cache coherence verification with TLA+. In World Congress on Formal Methods in the Development of Computing Systems, Industrial Panel, Toulouse, France, September 1999.

3. Sarita V. Adve and Kourosh Gharachorloo. Shared Memory Consistency Models: A Tutorial. IEEE Computer, pages 66–76, December 1996.

4. James K. Archibald. The Cache Coherence Problem in Shared-Memory Multiprocessors. PhD Dissertation, Department of Computer Science, University of Washington, February 1987.

5. Geoffrey M. Brown. Asynchronous Multicaches. Distributed Computing, 4:31–36, 1990.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A monadic approach to automated reasoning for Bluespec SystemVerilog;Innovations in Systems and Software Engineering;2011-03-18

2. Putting it all together – Formal verification of the VAMP;International Journal on Software Tools for Technology Transfer;2006-05-02

3. Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP;Lecture Notes in Computer Science;2003

4. Applying ELAN Strategies in Simulating Processors over Simple Architectures;Electronic Notes in Theoretical Computer Science;2002-12

5. Using Timestamping and History Variables to Verify Sequential Consistency;Computer Aided Verification;2001