There are a number of RTL coverage tools on the market today that essentially tells you only that a set of signals has been toggled by a particular diagnostic test. This is useful in showing what areas of the RTL design are definitely not covered by the diagnostic test but tells you very little about the set of signals that have been toggled. In an extreme case a diagnostic test may fail to fail when any one of these signals are in error. The following is a strategy for examining the coverage indicated by a commercial coverage testing software package and obtaining a truer picture of a diagnostic test's real coverage. This concept is extended to a full regression test suite.
Index Terms:
Coverage, design verification, VLSI,stuck faults, fault simulation, toggle coverage, true coverage, diagnostic strategy
Citation:
Gary Feierbach, Vijay Gupta, "True Coverage:A Goal of Verification," isqed, pp.75, Fourth International Symposium on Quality Electronic Design, 2003