Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation

Proceedings of the 45th annual conference on Design automation - DAC '08 ◽

10.1145/1391469.1391508 ◽

2008 ◽

Author(s):

Yan Chen ◽

Fei Xie ◽

Jin Yang

Keyword(s):

Abstraction Refinement ◽

Symbolic Trajectory Evaluation ◽

Automatic Abstraction ◽

Symbolic Trajectory

Download Full-text

Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation

Formal Methods in Computer Aided Design (FMCAD'07) ◽

10.1109/fmcad.2007.4401989 ◽

2007 ◽

Author(s):

Yan Chen ◽

Yujing He ◽

Fei Xie ◽

Jin Yang

Keyword(s):

Abstraction Refinement ◽

Symbolic Trajectory Evaluation ◽

Automatic Abstraction ◽

Symbolic Trajectory

Download Full-text

Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation

Formal Methods in Computer Aided Design (FMCAD'07) ◽

10.1109/famcad.2007.11 ◽

2007 ◽

Author(s):

Yan Chen ◽

Yujing He ◽

Fei Xie ◽

Jin Yang

Keyword(s):

Abstraction Refinement ◽

Symbolic Trajectory Evaluation ◽

Automatic Abstraction ◽

Symbolic Trajectory

Download Full-text

Automatic Abstraction in Symbolic Trajectory Evaluation

Formal Methods in Computer Aided Design (FMCAD'07) ◽

10.1109/famcad.2007.27 ◽

2007 ◽

Author(s):

Sara Adams ◽

Magnus Bjork ◽

Tom Melham ◽

Carl-Johan Seger

Keyword(s):

Symbolic Trajectory Evaluation ◽

Automatic Abstraction ◽

Symbolic Trajectory

Download Full-text

Automatic Abstraction in Symbolic Trajectory Evaluation

Formal Methods in Computer Aided Design (FMCAD'07) ◽

10.1109/fmcad.2007.4401991 ◽

2007 ◽

Author(s):

Sara Adams ◽

Magnus Bjork ◽

Tom Melham ◽

Carl-Johan Seger

Keyword(s):

Symbolic Trajectory Evaluation ◽

Automatic Abstraction ◽

Symbolic Trajectory

Download Full-text

SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/11817963_19 ◽

2006 ◽

pp. 175-189 ◽

Author(s):

Jan-Willem Roorda ◽

Koen Claessen

Keyword(s):

Abstraction Refinement ◽

Symbolic Trajectory Evaluation ◽

Symbolic Trajectory

Download Full-text

Automatic abstraction refinement of TR for PDR

2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC) ◽

10.1109/aspdac.2016.7427999 ◽

2016 ◽

Author(s):

Kuan Fan ◽

Ming-Jen Yang ◽

Chung-Yang Huang

Keyword(s):

Abstraction Refinement ◽

Automatic Abstraction

Download Full-text

Symbolic Trajectory Evaluation

Advances in Formal Methods - Computer-Aided Reasoning ◽

10.1007/978-1-4757-3188-0_12 ◽

2000 ◽

pp. 185-199

Author(s):

Damir A. Jamsek

Keyword(s):

Symbolic Trajectory Evaluation ◽

Symbolic Trajectory

Download Full-text

Formal verification of PowerPC arrays using symbolic trajectory evaluation

33rd Design Automation Conference Proceedings, 1996 ◽

10.1109/dac.1996.545655 ◽

2005 ◽

Author(s):

M. Pandey ◽

R. Raimi ◽

D.L. Beatty ◽

R.E. Bryant

Keyword(s):

Formal Verification ◽

Symbolic Trajectory Evaluation ◽

Symbolic Trajectory

Download Full-text

Symbolic trajectory evaluation

Formal Hardware Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-63475-4_1 ◽

1997 ◽

pp. 3-78 ◽

Author(s):

Scott Hazelhurst ◽

Carl-Johan H. Seger

Keyword(s):

Symbolic Trajectory Evaluation ◽

Symbolic Trajectory

Download Full-text

An Introduction to Symbolic Trajectory Evaluation

Formal Methods for Hardware Verification - Lecture Notes in Computer Science ◽

10.1007/11757283_3 ◽

2006 ◽

pp. 56-77

Author(s):

Koen Claessen ◽

Jan-Willem Roorda

Keyword(s):

Symbolic Trajectory Evaluation ◽

Symbolic Trajectory

Download Full-text