Coverage Estimation Using Transition Perturbation for Symbolic Model Checking in Hardware Verification
-
Published:2006-12-01
Issue:12
Volume:E89-A
Page:3451-3457
-
ISSN:0916-8508
-
Container-title:IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
-
language:en
-
Short-container-title:IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Author:
XU X.,KIMURA S.,HORIKAWA K.,TSUCHIYA T.
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)
Subject
Applied Mathematics,Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Signal Processing