An observability measure to enhance statement coverage metric for proper evaluation of verification completeness

Authors:
Tai-Ying Jiang;Chien-Nan Jimmy Liu;Jing-Yang Jou
Affiliations:
National Chiao Tung University, Hsinchu, Taiwan, ROC;National Central University, Chung-Li, Taiwan, R.O.C.;National Chiao Tung University, Hsinchu, Taiwan, ROC
Venue:
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Year:
2005

Citing 7
Cited 0

PIE: A Dynamic Failure-Based Technique

IEEE Transactions on Software Engineering
Validation coverage analysis for complex digital designs

Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design
An observability-based code coverage metric for functional simulation

Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design
OCCOM: efficient computation of observability-based code coverage metrics for functional verification

DAC '98 Proceedings of the 35th annual Design Automation Conference
TAO: regular expression-based register-transfer level testability analysis and optimization

IEEE Transactions on Very Large Scale Integration (VLSI) Systems - System Level Design
A data flow fault coverage metric for validation of behavioral HDL descriptions

Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design
OCCOM-efficient computation of observability-based code coverage metrics for functional verification

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

Quantified Score

Hi-index	0.00

Visualization

Abstract

Simulation based validation approaches are still the primary workhorse for solving the verification problem of getting the initial HDL description correct, especially for large scaled designs. However, most of existing code coverage metrics do not address obsevability issue [2]. Therefore, we intend to provide additional observability measures to statement coverage metric for more proper and realistic evaluation of verification completeness for a HDL design. As compared to OCCOM [1,2,3], our approach estimates a real probabilistic likelihood of propagating erroneous effects without any unreasonable assumptions and can always provide lower bound estimation.