Name
Title | ||
|---|---|---|
Automatic extraction of the control flow machine and application to evaluating coverage of verification vectors |
Abstract | ||
|---|---|---|
Simulation is still the primary, although inadequate, resource for verifying the conformity of a design to its functional specification. Fortunately, most errors in the early stages of design involve only the control flow in the circuit. We define the functional coverage of a given sequence of verification vectors as the amount of control behavior exercised by them. We present a novel technique for automatically extracting the control flow of a design on the basis of the underlying mathematical model. Significantly, this extraction is independent of the circuit description style. The Extracted Control Flow Machine (ECFM) is then used for estimation of functional coverage and to provide information that will help the designer improve the quality of his or her tests. |
Year | DOI | Venue |
|---|---|---|
1995 | 10.1109/ICCD.1995.528919 | ICCD |
Keywords | DocType | ISBN |
novel technique,control flow,control flow machine,extracted control flow machine,functional coverage,control behavior,automatic extraction,underlying mathematical model,early stage,functional specification,verification vector,circuit description style,error correction,computational modeling,automatic control,application software,formal verification,mathematical model,testing,data mining | Conference | 0-8186-7165-3 |
Citations | PageRank | References |
33 | 3.72 | 4 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Yatin V. Hoskote | 1 | 33 | 3.72 |
| Dinos Moundanos | 2 | 128 | 12.90 |
| J. Abraham | 3 | 4905 | 608.16 |