Symbolic model checking for sequential circuit verification (1994)

Cached

Download Links

by Jerry R. Burch , Edmund M. Clarke , David E. Long , Kenneth L. McMillan , David L. Dill
Venue:IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
Citations:222 - 10 self

Documents Related by Co-Citation

2927 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
704 Symbolic Model Checking without BDDs – Armin Biere , Alessandro Cimatti, Edmund Clarke, Yunshan Zhu - 1999
321 Symbolic model checking: 10 states and beyond – J R Burch, E M Clarke, K L McMillan, D L Dill, L H Hwang - 1990
623 Model checking and abstraction – Peter J. Clarke, Djuradj Babich, Tariq M. King, B. M. Golam Kibria - 1994
879 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992
1173 Automatic verification of finite-state concurrent systems using temporal logic specifications – E. M. Clarke, E. A. Emerson, A. P. Sistla - 1986
94 Verification of the Futurebus+ Cache Coherence Protocol – Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness - 1995
1107 Temporal and modal logic – E. Allen Emerson - 1995
111 Another Look at LTL Model Checking – E. Clarke, O. Grumberg, K. Hamaguchi - 1994
233 On the Complexity of VLSI Implementations and Graph Representations of Boolean Functions with Application to Integer Multiplication – Randal E. Bryant - 1998
157 Verification of synchronous sequential machines based on symbolic execution – O Coudert, C Berthet, J C Madre - 1989
150 Symbolic Model Checking with Partitioned Transition Relations – J. R. Burch, E. M. Clarke, D. E. Long - 1991
103 Verification of sequential machines using boolean functional vectors – O Coudert, C Berthet, J C Madre - 1989
94 Symbolic model checking – J R Burch, E M Clarke, K L McMillan, D L Dill, L J Hwang - 1990
260 Automatic Verification of Pipelined Microprocessor Control – Jerry Burch, David Dill - 1994
145 Implicit state enumeration of finite state machines using BDD’s – H Touati, H Savoj, B Lin, R K Brayton, A Sangiovanni-Vincentelli - 1990
363 D: Model-checking for real-time systems – R Alur, C Courcoubetis, Dill
1297 Symbolic Model Checking – K L McMillan - 1993
502 Symbolic Model Checking: An Approach to the State-Explosion Problem – K L McMillan - 1993