Article

An efficient control-oriented coverage metric

Authors:

Shireesh Verma,

Kiran Ramineni,

Ian G. HarrisAuthors Info & Claims

ASP-DAC '05: Proceedings of the 2005 Asia and South Pacific Design Automation Conference

Pages 317 - 322

https://doi.org/10.1145/1120725.1120858

Published: 18 January 2005 Publication History

Get Access

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.

References

[1]

B. Beizer. Software Testing Techniques, Second Edition. Van Nostrand Reinhold, 1990.

Digital Library

Google Scholar

[2]

K.-T. Cheng and J.-Y. Jou. A functional fault model for sequential machines. IEEE Transactions on Computer-Aided Design, 11(9):1065--1073, September 1992.

Digital Library

Google Scholar

[3]

F. Corno, M. S. Reorda, G. Squillero, A. Manzone, and A. Pincetti. Automatic test bench generation for validation of RT-level descriptions: an industrial experience. In Design Automation and Test in Europe, pages 385--389, 2000.

Digital Library

Google Scholar

[4]

F. Fallah, S. Devadas, and K. Keutzer. Occom: Efficient computation of observability-based code coverage metrics for functional verification. In Design Automation Conference, pages 152--157, June 1998.

Digital Library

Google Scholar

[5]

G. A. Hayek and C. Robach. From specification validation to hardware testing: A unified method. In International Test Conference, pages 885--893, October 1996.

Digital Library

Google Scholar

[6]

K. N. King and A. J. Offutt. A fortran language system for mutation-based software testing. Software Practice and Engineering, 21(7):685--718, 1991.

Digital Library

Google Scholar

[7]

J. Laski and B. Korel. A data flow oriented program testing strategy. IEEE Trans. on Software Engineering, SE-9:33--43, 1983.

Digital Library

Google Scholar

[8]

T. Lv, J. Fan, and X. Li. An efficient observability evaluation algorithm based on factored use-def chains. In Asian Test Symposium, pages 161--166, 2003.

Google Scholar

[9]

N. Malik, S. Roberts, A. Pita, and R. Dobson. Automaton: an autonomous coverage-based multiprocessor system verification environment. In IEEE International Workshop on Rapid System Prototyping, pages 168--172, June 1997.

Digital Library

Google Scholar

[10]

D. Moundanos, J. A. Abraham, and Y. V. Hoskote. Abstraction techniques for validation coverage analysis and test generation. IEEE Transactions on Computers, 47(1):2--14, January 1998.

Digital Library

Google Scholar

[11]

R. Vemuri and R. Kalyanaraman. Generation of design verification tests from behavioral vhdl programs using path enumeration and constraint programming. IEEE Transactions on Very Large Scale Intergration Systems, 3(2):201--214, 1995.

Digital Library

Google Scholar

[12]

A. von Mayrhauser, T. Chen, J. Kok, C. Anderson, A. Read, and A. Hajjar. On choosing test criteria for behavioral level harware design verification. In High Level Design Validation and Test Workshop, pages 124--130, 2000.

Digital Library

Google Scholar

[13]

Q. Zhang and I. G. Harris. A data flow fault coverage metric for validation of behavioral hdl descriptions. In International Conference on Computer-Aided Design, November 2000.

Digital Library

Google Scholar

Cited By

View all

Liu LVasudevan S(2014)Scaling Input Stimulus Generation through Hybrid Static and Dynamic Analysis of RTLACM Transactions on Design Automation of Electronic Systems10.1145/267654920:1(1-33)Online publication date: 18-Nov-2014
https://dl.acm.org/doi/10.1145/2676549
Lingyi Liu Vasudevan S(2011)Efficient validation input generation in RTL by hybridized source code analysis2011 Design, Automation & Test in Europe10.1109/DATE.2011.5763253(1-6)Online publication date: Mar-2011
https://doi.org/10.1109/DATE.2011.5763253
Rodrigues CSilva KCunha HFigueiredo JGuerrero DMelcher E(2011)Enhancing IP cores specifications using hierarchical composition and set theoryDesign Automation for Embedded Systems10.1007/s10617-011-9076-415:3-4(225-245)Online publication date: 1-Dec-2011
https://dl.acm.org/doi/10.1007/s10617-011-9076-4
Show More Cited By

An efficient control-oriented coverage metric
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis

Recommendations

A Statistical Fault Coverage Metric for Realistic Path Delay Faults
VTS '04: Proceedings of the 22nd IEEE VLSI Test Symposium

The path delay fault model is the most realistic modelfor delay faults. Testing all the paths in a circuit achieves100% delay fault coverage according to traditional pathdelay fault coverage metrics. These metrics result inunrealistically low fault ...
Finding efficient paths for multi-robot path coverage
2017 17th International Conference on Control, Automation and Systems (ICCAS)
This work presents a solution to find an efficient set of paths in order to cover all locations for a robotic search and rescue mission. Assuming that a set of locations with their available robotic paths are given, our problem is to find multiple paths ...
A Metric for Identifying Detectable Path Delay Faults

Path delay faults are used for modeling small delay defects. Due to the large numbers of paths and the large numbers of undetectable path delay faults, test generation procedures for path delay faults use path selection procedures and procedures for the ...

Comments

Information & Contributors

Information

Published In

ASP-DAC '05: Proceedings of the 2005 Asia and South Pacific Design Automation Conference

January 2005

1495 pages

ISBN:0780387376

DOI:10.1145/1120725

General Chair:
Ting-Ao Tang
Fudan University, Shanghai, P. R. China

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 18 January 2005

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

ASPDAC05

Sponsor:

SIGDA

ASPDAC05: Asia and South Pacific Design Automation Conference

January 18 - 21, 2005

Shanghai, China

Acceptance Rates

Overall Acceptance Rate 466 of 1,454 submissions, 32%

Upcoming Conference

ASPDAC '25

Sponsor:
sigda

30th Asia and South Pacific Design Automation Conference

January 20 - 23, 2025

Tokyo , Japan

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
214
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 22 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Liu LVasudevan S(2014)Scaling Input Stimulus Generation through Hybrid Static and Dynamic Analysis of RTLACM Transactions on Design Automation of Electronic Systems10.1145/267654920:1(1-33)Online publication date: 18-Nov-2014
https://dl.acm.org/doi/10.1145/2676549
Lingyi Liu Vasudevan S(2011)Efficient validation input generation in RTL by hybridized source code analysis2011 Design, Automation & Test in Europe10.1109/DATE.2011.5763253(1-6)Online publication date: Mar-2011
https://doi.org/10.1109/DATE.2011.5763253
Rodrigues CSilva KCunha HFigueiredo JGuerrero DMelcher E(2011)Enhancing IP cores specifications using hierarchical composition and set theoryDesign Automation for Embedded Systems10.1007/s10617-011-9076-415:3-4(225-245)Online publication date: 1-Dec-2011
https://dl.acm.org/doi/10.1007/s10617-011-9076-4
Ramineni KHarris IVerma S(2007)Improving feasible interactions among multiple processesProceedings of the 2007 IEEE International High Level Design Validation and Test Workshop10.1109/HLDVT.2007.4392778(11-18)Online publication date: 7-Nov-2007
https://dl.acm.org/doi/10.1109/HLDVT.2007.4392778
Harris IGielen G(2006)A coverage metric for the validation of interacting processesProceedings of the conference on Design, automation and test in Europe: Proceedings10.5555/1131481.1131763(1019-1024)Online publication date: 6-Mar-2006
https://dl.acm.org/doi/10.5555/1131481.1131763

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations

A Statistical Fault Coverage Metric for Realistic Path Delay Faults

Finding efficient paths for multi-robot path coverage

A Metric for Identifying Detectable Path Delay Faults

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

PDF

eReader

Abstract

References

Cited By

Recommendations

A Statistical Fault Coverage Metric for Realistic Path Delay Faults

Finding efficient paths for multi-robot path coverage

A Metric for Identifying Detectable Path Delay Faults

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Get Access

Login options

Full Access

View options

PDF

eReader

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations