5855 search results - page 64 / 1171 » Test generation and minimization with |
DAC
1997
ACM
15 years 5 months ago
1997
ACM
This paper presents a novel approach for automatic test pattern generation of asynchronous circuits. The techniques used for this purpose assume that the circuit can only be exerc...
109
click to vote
HASE
2007
IEEE
15 years 5 months ago
2007
IEEE
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
103
click to vote
TAP
2010
Springer
15 years 6 months ago
2010
Springer
Unit tests of object-oriented code exercise particular sequences of method calls. A key problem when automatically generating unit tests that achieve high structural code coverage ...
112
click to vote
VTS
1997
IEEE
15 years 5 months ago
1997
IEEE
We describe a technique to generate critical hazard-free tests for self-timed control circuits build using a macromodule library, in a partial scan based DFT environment. Wepropos...
101
click to vote
DAC
2009
ACM
16 years 2 months ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...