Coverage-directed test generation through automatic constraint extraction
The work
| Authors | Onur Guzey; Li-C. Wang |
|---|---|
| Editors | |
| Type | misc |
| Year | 2007 |
| Citekey | guzey2007coveragedirected |
Where it appeared
| Published in | Proceedings |
|---|---|
| Publisher | Institute of Electrical and Electronics Engineers |
| Pages | 151--158 |
Identifiers
| DOI | 10.1109/hldvt.2007.4392805 |
|---|---|
| OpenAlex | W2123783298 |
Access
| Landing page | https://doi.org/10.1109/hldvt.2007.4392805 |
|---|
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
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.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-24 22:07 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@misc{guzey2007coveragedirected,
title = {Coverage-directed test generation through automatic constraint extraction},
author = {Onur Guzey and Li-C. Wang},
year = {2007},
journal = {Proceedings},
publisher = {Institute of Electrical and Electronics Engineers},
pages = {151--158},
doi = {10.1109/hldvt.2007.4392805},
}
This record lives at https://refs.drheap.org/guzey2007coveragedirected/ and will keep doing so.