A method for the evaluation of behavioral fault models

Gaudette, E.; Moussa, Mohamed Amine; Harris, Ian G.

doi:10.1109/hldvt.2003.1252492

Cited by 6 publications

(1 citation statement)

References 6 publications

(3 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Very little work has been done on the evaluation of existing metrics. In the hardware domain researchers have performed a limited evaluation of the statement and branch coverage metrics with two small examples [6] . We present a technique to estimate the correlation between coverage metrics and design error detection.…”

Section: Introductionmentioning

confidence: 99%

A Control-Oriented Coverage Metric and its Evaluation for Hardware Designs

Verma¹

2009

Journal of Computer Science

View full text Add to dashboard Cite

Problem statement: Dynamic veriﬁcation, the use of simulation to determine design correctness, is widely used due to its tractability for large hardware designs. A serious limitation of dynamic techniques is the difficulty in determining whether or not a test sequence is sufficient to detect all likely design errors. Coverage metrics are used to address this problem by providing a set of goals to be achieved during the simulation process; if all coverage goals are satisﬁed then the test sequence is assumed to be complete. Coverage metrics hence evaluate the ability of a test sequence to detect design errors and are essential to the verification process. A key source of difficulty in determining error detection is that the control-ﬂow path traversed in the presence of an error cannot be determined. This problem becomes particularly difficult in case of typical industrial designs involving interaction of control flow paths between concurrent processes. Error detection can only be accurately determined by exploring the set of all control-ﬂow paths, which may be traversed as a result of an error. Also, there is no technique to identify a correlation between coverage metrics and hardware design quality. Approach: We present a coverage metric that determined the propagation of error effects along all possible erroneous control-ﬂow paths across processes. The complexity of exploring multiple control-ﬂow paths was greatly alleviated by heuristically pruning infeasible control-ﬂow paths using the algorithm that we present. We also presented a technique to evaluate coverage metric by examining its ability to ensure the detection of real design errors. We injected errors in the design to correlate their detection with the coverage computed by our metric. Results: Our coverage metric although analyzed all control-flow paths it pruned the infeasible ones and eliminated them from coverage consideration, hence reducing the complexity of generating tests meant to execute them. The metric also correlated better with detection of design errors than some well-studied metrics do. Conclusion: The proposed coverage metric provided high accuracy in measurement of coverage in designs that contain complex control-ﬂow with concurrent processes. It is superior at detecting design error when compared with the metrics it was compared with

show abstract

Section: Introductionmentioning

confidence: 99%