This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2006 IEEE International High Level Design Validation and Test Workshop
Test Directive Generation for Functional Coverage Closure Using Inductive Logic Programming
Monterey, CA
November 08-November 10
ISBN: 1-4244-0679-X
null Hsiou-Wen Hsueh, Dept. of Comput. Sci., Bristol Univ.
K. Eder, Dept. of Comput. Sci., Bristol Univ.
Functional verification is a complex and time-consuming task in the design process. Recently, various approaches have been developed to improve verification efficiency, including advanced coverage analysis techniques, coverage-driven verification methodologies and coverage-directed stimulus generation techniques. One remaining challenge is to fully automate functional coverage closure. This paper presents a novel approach for coverage-directed stimulus generation based on inductive learning from examples. Test sequences and their related coverage are examined to induce general rules which describe the characteristics of these tests. Coverage closure can be automated by applying the rule learning to clusters similar to the target coverage hole and combining the resulting rules to obtain directives for test generation. The validity of the approach is demonstrated on a pilot case study
Index Terms:
inductive learning from example, test directive generation, functional coverage closure, inductive logic programming, functional verification, coverage-directed stimulus generation
Citation:
null Hsiou-Wen Hsueh, K. Eder, "Test Directive Generation for Functional Coverage Closure Using Inductive Logic Programming," hldvt, pp.11-18, 2006 IEEE International High Level Design Validation and Test Workshop, 2006
Usage of this product signifies your acceptance of the Terms of Use.