New Techniques for Efficient Verification with Implicitly Conjoined BDDs (1994)


Download Links

by Alan J. Hu , Gary York , David L. Dill
Citations:26 - 9 self

Active Bibliography

15 Techniques For Efficient Formal Verification Using Binary Decision Diagrams – Alan John Hu, David L. Dill, Vaughan R. Pratt - 1995
19 Efficient Verification with BDDs using Implicitly Conjoined Invariants – Alan J. Hu, David L. Dill - 1993
Cadence Labs Cadence Design Systems, Inc. – Alan J. Hu, David L. Dill
22 Higher-Level Specification and Verification with BDDs – Alan J. Hu, David L. Dill, Andreas J. Drexler, C. Han Yang - 1992
A Survey of Verification Techniques for Cache Coherence Protocols – Fong Pong, Michel Dubois - 1996
1 Formal Methods for Functional Verification – Randal E. Bryant, James H. Kukula
117 Verification Tools for Finite-State Concurrent Systems – E. Clarke, O. Grumberg, D. Long
38 Verification Techniques for Cache Coherence Protocols. – Fong Pong, Michel Dubois - 1997
222 Symbolic model checking for sequential circuit verification – Jerry R. Burch, Edmund M. Clarke, David E. Long, Kenneth L. McMillan, David L. Dill - 1994
1 Formal Equivalence Checking of Software Specifications vs. Hardware Implementations by – Xiushan Feng - 2007
77 Multiway Decision Graphs for Automated Hardware Verification – F. Corella, Z. Zhou, X. Song, M. Langevin, E. Cerny - 1996
4 Automatic Structural Abstraction Techniques for Enhanced Verification – Jason Raymond Baumgartner - 2002
15 Symbolic Computation of the Valid States of a Sequential Machine: Algorithms and Discussion – Olivier Coudert, Jean Christophe Madre - 1991
571 Symbolic Model Checking: 10^20 States and Beyond – J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang - 1992
Model Checking: Historical Perspective and Example (Extended Abstract) – Edmund M. Clarke, Sergey Berezin - 1998
19 Formal Hardware Verification By Symbolic Trajectory Evaluation – Alok Jain - 1997
4 Ordered Binary Decision Diagrams and Their Significance in Computer-Aided Design of VLSI Circuits -- a Survey – Christoph Meinel , Thorsten Theobald - 1998
15 Improving Efficiency of Symbolic Model Checking for State-Based System Requirements – William Chan, Richard J. Anderson, Paul Beame, David Notkin - 1998
36 Reducing BDD Size by Exploiting Functional Dependencies – Alan J. Hu, David L. Dill - 1993