Coverage-directed test generation through automatic constraint extraction
Irvine, CA(2007)
Abstract
Generating tests to achieve high coverage in simulation-based functional verification can be very challenging. Constrained-random and coverage-directed test generation methods have been proposed and shown with various degrees of success. In this paper, we propose a new tool built on top of an existing constrained random test generation framework. The goal of this tool is to extract constraints from simulation data for improving controllability of internal signals. We present two automatic constraint extraction algorithms. Extracted constraints can be put back into constrained test-bench to generate tests for simultaneously controlling multiple signals. We demonstrate the effectiveness and scalability of the constraint extraction tool based on experiments on OpenSparc T1 microprocessor.
MoreTranslated text
Key words
coverage-directed test generation,automatic constraint extraction algorithm,new tool,constraint extraction tool,coverage-directed test generation method,generating test,high coverage,extracted constraint,random test generation framework,opensparc t1 microprocessor,internal signal,functional verification,formal verification,random testing
AI Read Science
Must-Reading Tree
Example
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined