Coverage Estimation Using Transition Perturbation for Symbolic Model Checking in Hardware Verification

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1093/ietfec/e89-a.12.3451 ◽

2006 ◽

Vol E89-A (12) ◽

pp. 3451-3457

Author(s):

X. XU ◽

S. KIMURA ◽

K. HORIKAWA ◽

T. TSUCHIYA

Keyword(s):

Model Checking ◽

Hardware Verification ◽

Symbolic Model Checking ◽

Symbolic Model ◽

Coverage Estimation

Download Full-text

Coverage estimation for symbolic model checking

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

10.1109/dac.1999.781330 ◽

2003 ◽

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

Coverage estimation for symbolic model checking

Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99 ◽

10.1145/309847.309936 ◽

1999 ◽

Author(s):

Yatin Hoskote ◽

Timothy Kam ◽

Pei-Hsin Ho ◽

Xudong Zhao

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Symbolic Model ◽

Coverage Estimation

Download Full-text

Transition-based coverage estimation for symbolic model checking

Asia and South Pacific Conference on Design Automation, 2006. ◽

10.1109/aspdac.2006.1594636 ◽

2006 ◽

Author(s):

Xingwen Xu ◽

S. Kimura ◽

K. Horikawa ◽

T. Tsuchiya

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Symbolic Model ◽

Coverage Estimation

Download Full-text

Transition-based coverage estimation for symbolic model checking

Asia and South Pacific Conference on Design Automation, 2006. ◽

10.1145/1118299.1118303 ◽

2006 ◽

Author(s):

Xingwen Xu ◽

Shinji Kimura ◽

Kazunari Horikawa ◽

Takehiko Tsuchiya

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Symbolic Model ◽

Coverage Estimation

Download Full-text

Transition Traversal Coverage Estimation for Symbolic Model Checking

2005 6th International Conference on ASIC ◽

10.1109/icasic.2005.1611460 ◽

2006 ◽

Author(s):

Xingwen Xu ◽

S. Kimura ◽

K. Horikawa ◽

T. Tsuchiya

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Symbolic Model ◽

Coverage Estimation

Download Full-text

Extended abstract: transition traversal coverage estimation for symbolic model checking

Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. ◽

10.1109/memcod.2005.1487932 ◽

2005 ◽

Author(s):

Xingwen Xu ◽

S. Kimura ◽

K. Horikawa ◽

T. Tsuchiya

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Symbolic Model ◽

Coverage Estimation

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 ◽

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 ◽

Download Full-text

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

10.21236/ada346065 ◽

1998 ◽

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 ◽

Author(s):

B. Chen ◽

M. Yamazaki ◽

M. Fujita

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Chip Design ◽

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 ◽

Author(s):

Hyeong-Ju Kang ◽

In-Cheol Park

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Download Full-text