7393 search results - page 332 / 1479 » Synthesis-for-testability using transformations |
142
click to vote
ICCAD
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper, we present a novel approach to use test stimuli generated by digital components of a mixed-signal circuit for testing its analog components. A wavelet transform is ...
108
click to vote
DCC
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper presents a simple and e ective post-processing method for compressed images. This work focuses on the cyclic time-variance introduced by block-based and subband transfo...
138
click to vote
JIT
1999
Springer
15 years 9 months ago
1999
Springer
The term “Java” is used to denote two different concepts: the language itself and the related execution environment, the Java Virtual Machine (JVM), which executes byte code in...
130
click to vote
ATVA
2009
Springer
15 years 8 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
123
click to vote
DAGSTUHL
2003
15 years 6 months ago
2003
Abstract Browsing and visualizing large datasets is often a tedious chore. Locating features, especially in a wavelet transform domain is usually offered as a possible solution. W...