An efficient control-oriented coverage metric

Authors:
Shireesh Verma;Kiran Ramineni;Ian G. Harris
Affiliations:
University of California, Irvine, Irvine, CA;University of California, Irvine, Irvine, CA;University of California, Irvine, Irvine, CA
Venue:
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Year:
2005

Citing 10
Cited 1

Software testing techniques (2nd ed.)

Software testing techniques (2nd ed.)
A Fortran language system for mutation-based software testing

Software—Practice & Experience
Generation of design verification tests from behavioral VHDL programs using path enumeration and constraint programming

IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Abstraction Techniques for Validation Coverage Analysis and Test Generation

IEEE Transactions on Computers
OCCOM: efficient computation of observability-based code coverage metrics for functional verification

DAC '98 Proceedings of the 35th annual Design Automation Conference
Automatic test bench generation for validation of RT-level descriptions: an industrial experience

DATE '00 Proceedings of the conference on Design, automation and test in Europe
A data flow fault coverage metric for validation of behavioral HDL descriptions

Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design
From Specification Validation to Hardware Testing: A Unified Method

Proceedings of the IEEE International Test Conference on Test and Design Validity
On choosing test criteria for behavioral level hardware design verification

HLDVT '00 Proceedings of the IEEE International High-Level Validation and Test Workshop (HLDVT'00)
Automaton: An Autonomous Coverage-Based Multiprocessor System Verification Environment

RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype

A coverage metric for the validation of interacting processes

Proceedings of the conference on Design, automation and test in Europe: Proceedings

Quantified Score

Hi-index	0.00

Visualization

Abstract

Coverage metrics, which evaluate the ability of a test sequence to detect design faults, are essential to the validation process. A key source of difficulty in determining fault detection is that the control flow path traversed in the presence of a fault cannot be determined. Fault detection can only be accurately determined by exploring the set of all control flow paths, which may be traversed as a result of a fault. We present a coverage metric that determines the propagation of fault effects along all possible faulty control flow paths. The complexity of exploring multiple control flow paths is greatly alleviated by heuristically pruning infeasible control flow paths using the algorithm that we present. The proposed coverage metric provides high accuracy in designs that contain complex control flow. The results obtained are promising.