Ying Chen, Dennis Abts, David J. Lilja  Home/Search
Context
Related
| umn.edu/papers/rsp04.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: umn.edu/~lilja/paperlist (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Verification is extremely important in designing digital systems such as a cache coherence protocol. (Update)
Active bibliography (related documents): More All
1.3: State Pruning for Test Vector Generation for a.. - Chen, Abts, Lilja (Correct)
1.3: State Pruning for Generating Efficient Test Vectors - Chen, Abts, Lilja (Correct)
0.1: Random Walk Based Heuristic Algorithms for Distributed.. - Sivaraj, Gopalakrishnan (2003) (Correct)
Similar documents based on text: More All
0.3: A Language-Theoretic Approach to Specifying and Verifying.. - Abts, Lilja, Scott (2000) (Correct)
0.3: Heuristics for Complexity-Effective Verification of a Cache.. - Abts, Chen, Lilja (2003) (Correct)
0.3: Toward Complexity-Effective Verification: A Case Study of.. - Abts, Lilja, Scott (2000) (Correct)
BibTeX entry: (Update)
@misc{ chen-state,
author = "Ying Chen and Dennis Abts and David J. Lilja",
title = "State Pruning for Test Vector Generation for a Multiprocessor Cache Coherence
Protocol",
url = "citeseer.ist.psu.edu/707700.html" }
Citations (may not include all citations):231 Active messages: a mechanism for integrated communication an.. - von Eicken, Culler et al. - 1992
222 The SGI origin: A ccNUMA highly scalable server (context) - Laudon, Lenoski - 1997
66 IEEE Standard for Scalable Coherent Interface (context) - Std
47 Validation with Guided Search of the State Space - Yang, Dill - 1998
35 Automatic Verification of the SCI Cache Coherence Protocol - Stern, Dill - 1995
14 Parallelizing the Murphi Verifier - Stern, Dill - 2001
11 Verifying large-scale multiprocessors using an abstract veri.. (context) - Abts, Roberts - 1999
10 The Murphi verification system - Dill - 1996
3 Random Walk Based Heuristic Algorithms for Distributed Memor.. - Sivaraj, Gopalakrishnan - 2003
3 Heuristics for Complexity-Effective Verification of a Cache .. - Abts, Chen et al. - 2003
3 So Many States, So Little Time: Verifying Memory Coherence i.. - Abts, Scott et al. - 2003
Documents on the same site (http://www.arctic.umn.edu/~lilja/paper-list.html): More
A Multiprocessor Architecture Combining Fine-Grained and.. - David Lilja (1994) (Correct)
A Statistically Rigorous Approach for Improving Simulation.. - Yi, Lilja, Hawkins (2002) (Correct)
Improving Processor Performance and Simulation Methodology - Yi (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