Coverage metrics for functional validation of hardware designs

IEEE Design and Test of Computers

Volumn 18, Issue 4, 2001, Pages 36-45

  Tasiran, Serdar ^a   Keutzer, Kurt ^b  

^a HEWLETT PACKARD COMPANY   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL FLOW GRAPHS (CFG); COVERAGE ANALYSIS; FUNCTIONAL VALIDATION;

ALGORITHMS; COMPUTER HARDWARE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; ERROR DETECTION; FORMAL LOGIC; HEURISTIC METHODS; LOGIC DESIGN; SPECIFICATIONS;

COMPUTER SOFTWARE;

EID: 0035392814     PISSN: 07407475     EISSN: None     Source Type: Journal    
DOI: 10.1109/54.936247     Document Type: Review

References (25)

1. Simulation coverage enhancement using test stimulus transformation
2. Smart simulation using collaborative formal and simulation engines
3. Developing an architecture validation suite: Application to the powerPC architecture
4. Functional verification of a multiple-issue, out-of-order, superscalar alpha processor-The DEC alpha 21264 microprocessor
5. I'm done simulating; Now what? Verification coverage analysis and correctness checking of the DECchip 21164 alpha microprocessor
6. Software unit test coverage and adequacy
7. Design reliability-Estimation through statistical analysis of bug discovery data
8. A semi-formal methodology for the functional validation of an industrial DSP system
9. User defined coverage - A tool supported methodology for design verification
10. Generation of design verification tests from behavioral VHDL programs using path enumeration and constraint programming
11. Validation coverage analysis for complex digital designs
12. A study in coverage-driven test generation
13. An RTL abstraction technique for processor microarchitecture validation and test generation
14. Verification of processor microarchitectures
15. A unified framework for design validation and manufacturing test
16. Micro architecture coverage directed generation of test program
17. Abstraction techniques for validation coverage analysis and test generation
18. Off-the-Shelf vs. Custom made coverage models, Which is the one for you?
19. Verification of configurable processor cores
20. High-level design verification of microprocessors via error modeling
21. Toward formalizing a validation methodology using simulation coverage
22. An observability-based code coverage metric for functional simulation
23. High-level test generation for design verification of pipelined microprocessors
24. OCCOM: Efficient computation of observability-based code coverage metrics for functional simulation
25. Coverage estimation for symbolic model checking