Title :
Test Directive Generation for Functional Coverage Closure Using Inductive Logic Programming
Author :
Hsueh, Hsiou-Wen ; Eder, Kerstin
Author_Institution :
Dept. of Comput. Sci., Bristol Univ.
Abstract :
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
Keywords :
formal verification; inductive logic programming; learning by example; coverage-directed stimulus generation; functional coverage closure; functional verification; inductive learning from example; inductive logic programming; test directive generation; Automatic testing; Automation; Feedback loop; Learning systems; Logic programming; Logic testing; Machine learning; Process design; Signal processing; System testing;
Conference_Titel :
High-Level Design Validation and Test Workshop, 2006. Eleventh Annual IEEE International
Conference_Location :
Monterey, CA
Print_ISBN :
1-4244-0680-3
Electronic_ISBN :
1552-6674
DOI :
10.1109/HLDVT.2006.320005