DMCA
Functional test generation for behaviorally sequential models (2001)
| Venue: | Proc. Design, Automation and Test in Europe, 2001 |
| Citations: | 15 - 1 self |
BibTeX
@INPROCEEDINGS{Ferrandi01functionaltest,
author = {F. Ferrandi and G. Ferrara and D. Sciuto},
title = {Functional test generation for behaviorally sequential models},
booktitle = {Proc. Design, Automation and Test in Europe, 2001},
year = {2001},
pages = {403--410}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Functional testing of HDL specifications is one of the most promising approaches for the verification of the functionalities of a design before synthesis. The contribution of this work is the development of a test generation algorithm targeting a new coverage metric (called bit-coverage) that provides full statement coverage, branch coverage, condition coverage and partial path coverage for behaviorally sequential models. The behavioral test sequences can be also the only way to evaluate testability of VHDL model for which a gate-level representation is not available (e.g third-party cores), since the behavioral error model is characterized also by a high correlation with the RT and gate-level stuck-at fault model. Moreover, the preciseness of the proposed coverage metric makes the identified test sequences more effective in identifying design errors, than other test patterns developed by following standard coverage metrics. 1
Keyphrases
sequential model functional test generation gate-level representation condition coverage gate-level stuck-at fault model standard coverage metric behavioral test sequence design error third-party core partial path coverage identified test sequence functional testing hdl specification high correlation branch coverage test pattern new coverage behavioral error model test generation full statement coverage promising approach vhdl model
