Protocol Verification as a Hardware Design Aid (1992)

Cached

Download Links

by David L. Dill , Andreas J. Drexler , Alan J. Hu , C. Han Yang
Venue:IN IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS AND PROCESSORS
Citations:217 - 25 self

Active Bibliography

173 Better Verification Through Symmetry – C. Norris Ip , David L. Dill - 1996
13 Techniques For Efficient Formal Verification Using Binary Decision Diagrams – Alan John Hu, David L. Dill, Vaughan R. Pratt - 1995
40 Verifying Systems with Replicated Components in Murφ – C. Norris Ip, David L. Dill - 1997
7 Computer Assisted Analysis Of Multiprocessor Memory Systems – Seungjoon Park, David L. Dill, Gene F. Franklin - 1996
15 Protocol Design: Redefining the State of the Art – Gerard J. Holzmann - 1992
8 Algorithmic Techniques in Verification by Explicit State Enumeration – Ulrich Stern - 1997
2028 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
A Survey of Verification Techniques for Cache Coherence Protocols – Fong Pong, Michel Dubois - 1996
3 Rapid Prototyping of Microelectronic Systems – Apostolos Dollas, J. D. Sterling Babcock - 1995
20 Higher-Level Specification and Verification with BDDs – Alan J. Hu, David L. Dill, Andreas J. Drexler, C. Han Yang - 1992
1 Formal Verification of the TORCH Microprocessor RTL Design – Jeffrey Su, Laurent Arditi, Satyaki Das, Jens U. Skakkebaek, David L. Dill - 1998
57 Compositional Reachability Analysis Using Process Algebra – Wei Jen Yeh, Michal Young - 1991
10 Constraint-based model checking of data-independent systems – Beata Sarna-starosta, C. R. Ramakrishnan - 2003
37 Automated Temporal Reasoning about Reactive Systems – E. Allen Emerson - 1996
18 Efficient Verification of Symmetric Concurrent Systems – C. Norris Ip , David L. Dill - 1993
16 Verification of Cache Coherence Protocols by Aggregation of Distributed Transactions – S. Park, D. L. Dill - 2006
1 Partial-order verification in SPIN can be more efficient – Hans Van Der Schoot - 1997
Specification Modeling Methodologies for Reactive System Design – Ambar Sarkar, Ronald Waxman, James P. Cohoon - 1995
14 State Reduction Methods For Automatic Formal Verification – Chung-Wah Norris Ip, David L. Dill, John C. Mitchell - 1996