Coverage metrics for functional validation of hardware designs
- 1 January 2001
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Design & Test of Computers
- Vol. 18 (4) , 36-45
- https://doi.org/10.1109/54.936247
Abstract
Software simulation remains the primary means of functional validation for hardware designs. Coverage metrics ensure optimal use of simulation resources, measure the completeness of validation, and direct simulations toward unexplored areas of the design. This article surveys the literature, and discusses the experiences of verification practitioners, regarding coverage metrics.Keywords
This publication has 19 references indexed in Scilit:
- I'm done simulating; now what? Verification coverage analysis and correctness checking of the DECchip 21164 Alpha microprocessorPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- A study in coverage-driven test generationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Verification of processor microarchitecturesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Micro architecture coverage directed generation of test programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Validation coverage analysis for complex digital designsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A unified framework for design validation and manufacturing testPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Verification of configurable processor coresPublished by Association for Computing Machinery (ACM) ,2000
- An RTL Abstraction Technique for Processor Microarchitecture Validation and Test GenerationJournal of Electronic Testing, 2000
- Abstraction techniques for validation coverage analysis and test generationIEEE Transactions on Computers, 1998
- Generation of design verification tests from behavioral VHDL programs using path enumeration and constraint programmingIEEE Transactions on Very Large Scale Integration (VLSI) Systems, 1995