Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Art of Software Testing
An efficient design-for-verification technique for HDLs
Proceedings of the 2001 Asia and South Pacific Design Automation Conference
Validation Vector Grade (VVG): A New Coverage Metric for Validation and Test
VTS '99 Proceedings of the 1999 17TH IEEE VLSI Test Symposium
Automatic Functional Vector Generation Using the Interacting FSM Model
ISQED '01 Proceedings of the 2nd International Symposium on Quality Electronic Design
Measurement of IP Qualification Costs and Benefits
Proceedings of the conference on Design, automation and test in Europe - Volume 2
| Hi-index | 0.00 |
The ability to detect sections of code that have not been executed in a program or design has always been desired by hardware designers, since unexecuted code is clearly untested code. Unfortunately, there have been virtually no practical mechanisms for doing so. Given the combinatorial number of input possibilities for even a moderate design, exhaustive coverage obviously exceeds the capabilities of simulators. However, this does not mean that there cannot be useful heuristics, short of full coverage, that provide valuable feedback to hardware designers. This paper discusses a number of such practical approaches explored in a joint research project between Sun Microsystems and Chronologic Simulation. In addition to discussing the various intermediate approaches explored, the paper also discusses one approach that appears both practical and useful and its utility in uncovering untested sections in several Sun designs.