Ulrich Stern, David L. Dill  Home/Search
Context Related
Links: ACM DBLP | stanford.edu/PAPERS/SD95B.ps stanford.edu/uli/doc/sci.ps.Z stanford.edu/dill/PAPERS/veri...SD95.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: stanford.edu/papers (more) From: stanford.edu/dill/murphi (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . This paper describes an ongoing effort to verify the cache coherence protocol of the IEEE/ANSI Standard for Scalable Coherent Interface using the Mur' verification system. A model of the typical set protocol was constructed in the Mur' description language. This model was augmented with a specification of properties necessary for cache coherence. The Mur' verification system automatically checks if all reachable states in the model satisfy the given specification. Although verification is... (Update)
Cited by: More
State Pruning for Generating Efficient Test Vectors - Chen, Abts, Lilja (Correct)
State Pruning for Test Vector Generation for a.. - Chen, Abts, Lilja (Correct)
iWatcher: Efficient Architectural Support for Software.. - Zhou, Qin, Liu, Zhou.. (2004) (Correct)
Similar documents (at the sentence level):
22.8%: Algorithmic Techniques in Verification by Explicit State Enumeration - Stern (1997) (Correct)
Active bibliography (related documents): More All
0.3: A Correctness Proof of a Cache Coherence Protocol - Felty, Stomp (1996) (Correct)
0.3: Compilation Issues For Distributed Shared Memory On Clusters Of.. - Roy (1998) (Correct)
0.2: A Survey of Verification Techniques for Cache Coherence Protocols - Pong, Dubois (1996) (Correct)
Similar documents based on text: More All
1.6: The Murphi Verification System - Dill (1996) (Correct)
0.3: Parallelizing the Murφ Verifier - Stern, Dill (1997) (Correct)
0.3: Improved Probabilistic Verification by Hash Compaction - Stern, Dill (1995) (Correct)
Related documents from co-citation: More All
14: Protocol verification as a hardware design aid - Dill, Drexler et al. - 1992
13: Formal verification of the Gigamax cache consistency protocol (context) - McMillan, Schwalbe - 1991
9: Reliable hashing without collision detection - Wolper, Leroy - 1993
BibTeX entry: (Update)
Ulrich Stern and David L. Dill. Automatic verification of the SCI cache coherence protocol. Correct Hardware Design and Verification Methods: IFIP WG10.5 Advanced Research Working Conference Proceedings, 1995. http://citeseer.ist.psu.edu/stern95automatic.html More
@inproceedings{ stern95automatic,
author = "Ulrich Stern and David L. Dill",
title = "Automatic verification of the {SCI} cache coherence protocol",
booktitle = "Conference on Correct Hardware Design and Verification Methods",
pages = "21-34",
year = "1995",
url = "citeseer.ist.psu.edu/stern95automatic.html" }
Citations (may not include all citations):173 Protocol verification as a hardware design aid - Dill, Drexler et al. - 1992 ACM DBLP
143 Sequential circuit verification using symbolic model checkin.. (context) - Burch, Clarke et al. - 1990 ACM DBLP
101 Better verification through symmetry - Ip, Dill - 1993
70 The Scalable Coherent Interface and related standards projec.. (context) - Gustavson - 1992
66 IEEE Standard for Scalable Coherent Interface (context) - Std - 1992
31 Formal specification of abstract memory models (context) - Dill, Park et al. - 1993 ACM
23 Distributed-directory scheme: Scalable Coherent Interface (context) - James, Laundrie et al. - 1990
22 Bounded-memory algorithms for verification on-the-fly (context) - Jard, J'eron - 1991 ACM DBLP
22 Efficient verification of symmetric concurrent systems - Ip, Dill - 1993
15 Improved probabilistic verification by hash compaction - Stern, Dill - 1995 ACM DBLP
9 System design methodology of UltraSPARC TM (context) - Yang, Gao et al. - 1995
7 A top down approach to the formal specification of SCI cache.. - Gjessing, Krogdahl et al. - 1991
4 Formal specification of cache coherence in a shared memory m.. (context) - Gjessing, Munthe-Kaas - 1991
3 The Scalable Coherent Interface: Scaling to high-performance.. (context) - James - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://sprout.stanford.edu/papers.html): More
Self-Consistency Checking - Jones, Seger, Dill (1996) (Correct)
Verifying Systems with Replicated Components in Murφ - Ip, Dill (1997) (Correct)
A High-Performance Asynchronous SCSI Controller - Yun, Dill (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC