3-Valued Circuit SAT for STE with Automatic Refinement

Cached

Download Links

by Orna Grumberg , Assaf Schuster , Avi Yadgar
Citations:1 - 1 self

Documents Related by Co-Citation

5 Symbolic Simulation Using Automatic Abstraction of Internal Node Values – James Christopher Wilson, David L. Dill, Mark Horowitz, Randal E. Bryant - 2001
2 Avi Yadgar. 3-Valued Circuit SAT for STE with Automatic Refinement – Orna Grumberg, Assaf Schuster - 2007
4 Tzoref and Orna Grumberg. Automatic refinement and vacuity detection for Symbolic Trajectory Evaluation – Rachel - 2006
4 Orna Grumberg, and Avi Yadgar. Efficient automatic STE refinement using responsibility – Hana Chockler - 2008
7 Model checking lattices: Using and reasoning about information orders for abstraction – S Hazelhurst, C-J H Seger - 1999
4 and Orna Grumberg. A game-based framework for ctl counterexamples and 3-valued abstraction-refinement – Sharon Shoham
8 A new SAT-based algorithm for symbolic trajectory evaluation – Jan-willem Roorda, Koen Claessen - 2005
8 satGSTE: Combining the Abstraction of GSTE with the Capacity of a SAT Solver – Jin Yang, Rami Gil, Eli Singerman
8 GSTE through a case study – Jin Yang, Amit Goel - 2002
10 based abstraction-refinement using ilp and machine learning techniques – SAT - 2002
21 The Mathematical Foundation of Symbolic Trajectory Evaluation – Ching-tsun Chou - 1999
8 Automatic refinement and vacuity detection for symbolic trajectory evaluation – Rachel Tzoref, Orna Grumberg - 2006
23 Level Formal Verification of Next-Generation Microprocessors – T Schubert, “High - 2003
15 Comprehensive Functional Verification: The Complete Industry Cycle (Systems on Silicon – B Wile, J Goss, W Roesner - 2005
3 Yoav Rodeh. Efficient detection of vacuity in actl formulaas – Ilan Beer, Shoham Ben-David, Cindy Eisner - 1997
21 Generalized symbolic trajectory evaluation — abstraction in action – J Yang, C-J H Seger - 2002
34 Introduction to generalized symbolic trajectory evaluation – J Yang, C-J H Seger - 2003
4 Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation – Yan Chen, Yujing He, Jin Yang - 2007
25 Formally Verifying a Microprocessor Using a Simulation Methodology – Derek L. Beatty, Randal E. Bryant - 1994