Symbolic model checking for sequential circuit verification

J.R. Burch; E.M. Clarke; D.E. Long; K.L. McMillan; D.L. Dill

doi:10.1109/43.275352

Symbolic model checking for sequential circuit verification

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/43.275352 ◽

1994 ◽

Vol 13 (4) ◽

pp. 401-424 ◽

Cited By ~ 298

Author(s):

J.R. Burch ◽

E.M. Clarke ◽

D.E. Long ◽

K.L. McMillan ◽

D.L. Dill

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Sequential Circuit ◽

Symbolic Model ◽

Circuit Verification

Download Full-text

Sequential circuit verification using symbolic model checking

27th ACM/IEEE Design Automation Conference ◽

10.1145/123186.123223 ◽

1990 ◽

Cited By ~ 130

Author(s):

J. R. Burch ◽

E. M. Clarke ◽

K. L. McMillan ◽

David L. Dill

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Sequential Circuit ◽

Symbolic Model ◽

Circuit Verification

Download Full-text

Symbolic Model Checking Knowledge and Time in Multi-Agent System Via Extended Mu-Calculus

Chinese Journal of Computers ◽

10.3724/sp.j.1016.2008.00245 ◽

2009 ◽

Vol 31 (2) ◽

pp. 245-252 ◽

Cited By ~ 1

Author(s):

Li-Jun WU ◽

Jin-Shu SU ◽

Kai-Le SU

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Multi Agent System ◽

Agent System ◽

Symbolic Model ◽

Multi Agent

Download Full-text

Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification

10.21236/ada346065 ◽

1998 ◽

Cited By ~ 4

Author(s):

Sergey Berezin ◽

Armin Biere ◽

Edmund Clarke ◽

Yunshan Zhu

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Symbolic Model ◽

Processor Verification

Download Full-text

Bug identification of a real chip design by symbolic model checking

Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC ◽

10.1109/edtc.1994.326886 ◽

2002 ◽

Cited By ~ 22

Author(s):

B. Chen ◽

M. Yamazaki ◽

M. Fujita

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Chip Design ◽

Symbolic Model

Download Full-text

SAT-based unbounded symbolic model checking

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/tcad.2004.841068 ◽

2005 ◽

Vol 24 (2) ◽

pp. 129-140 ◽

Cited By ~ 10

Author(s):

Hyeong-Ju Kang ◽

In-Cheol Park

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Symbolic Model

Download Full-text

Control Explicit--Data Symbolic Model Checking

ACM Transactions on Software Engineering and Methodology ◽

10.1145/2888393 ◽

2016 ◽

Vol 25 (2) ◽

pp. 1-48 ◽

Cited By ~ 1

Author(s):

Petr Bauch ◽

Vojtěch Havel ◽

Jiří Barnat

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Symbolic Model

Download Full-text

Coverage estimation for symbolic model checking

Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361) ◽

10.1109/dac.1999.781330 ◽

2003 ◽

Cited By ~ 36

Author(s):

Y. Hoskote ◽

T. Kam ◽

Pei-Hsin Ho ◽

Xudong Zhao

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Symbolic Model ◽

Coverage Estimation

Download Full-text

Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking

IEEE Transactions on Control Systems Technology ◽

10.1109/tcst.2018.2877621 ◽

2020 ◽

Vol 28 (2) ◽

pp. 644-652 ◽

Cited By ~ 1

Author(s):

Blake C. Rawlings ◽

Stephane Lafortune ◽

B. Erik Ydstie

Keyword(s):

Model Checking ◽

Supervisory Control ◽

Symbolic Model Checking ◽

Transition Systems ◽

Symbolic Model

Download Full-text

Safety assessment of AltaRica models via symbolic model checking

Science of Computer Programming ◽

10.1016/j.scico.2014.06.003 ◽

2015 ◽

Vol 98 ◽

pp. 464-483 ◽

Cited By ~ 15

Author(s):

Marco Bozzano ◽

Alessandro Cimatti ◽

Oleg Lisagor ◽

Cristian Mattarei ◽

Sergio Mover ◽

...

Keyword(s):

Model Checking ◽

Safety Assessment ◽

Symbolic Model Checking ◽

Symbolic Model

Download Full-text

Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams1 1This work was carried out while the authors were at the Department of Information Technology, Technical University of Denmark, and was finnancially supported by a grant from the Danish Technical Research Council.

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(04)80671-6 ◽

2001 ◽

Vol 23 (2) ◽

pp. 88-107 ◽

Cited By ~ 5

Author(s):

Jesper Møller ◽

Jakob Lichtenberg ◽

Henrik R. Andersen ◽

Henrik Hulgaard

Keyword(s):

Information Technology ◽

Model Checking ◽

Research Council ◽

Symbolic Model Checking ◽

Timed Systems ◽

Symbolic Model ◽

Technical Research ◽

Technical University

Download Full-text