Can I read An Observability Measure to Enhance Statement Coverage Metric for Proper Evaluation of Verification Completeness on EtoBox?

An Observability Measure to Enhance Statement Coverage Metric for Proper Evaluation of Verification Completeness by Tai-Ying Jiang; Chien-Nan Jimmy Liu; Jing-Yang Jou is a scholarly article available to read on EtoBox.

What is An Observability Measure to Enhance Statement Coverage Metric for Proper Evaluation of Verification Completeness about?

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 . 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.

Author

Tai-Ying Jiang; Chien-Nan Jimmy Liu; Jing-Yang Jou

Publisher

ACM Press

Published

2005

Language

EN