Quality Improvement Methods for System-Level Stimuli Generation

Functional verification of systems is aimed at validating the integration of previously verified components. It deals with complex designs, and invariably suffers from scarce resources. We present a set of methods, collectively known as testing knowledge, aimed at increasing the quality of automatically generated system-level test-cases. Testing knowledge reduces the time and effort required to achieve high coverage of the verified design.

• Type: Conference
• Year: 2004
• Where: ICCD
• Authors: Roy Emek, Itai Jaeger, Yoav Katz, Yehuda Naveh
• Keywords: Hardware, ICCD 2004, Scarce Resources, System-level Test-cases, Testing Knowledge