259 search results - page 29 / 52 » Using Transformations and Verification in Circuit Design |
JRTIP
2007
15 years 10 days ago
2007
The trace transform is a novel algorithm that has been shown to be effective in a number of image recognition tasks. It is a generalisation of the Radon transform that has been wid...
TCAD
1998
15 years 3 days ago
1998
—This paper introduces a novel optimization paradigm for increasing the throughput of digital systems. The basic idea consists of transforming fixed-latency units into variable-...
112
Voted
DAC
2007
ACM
16 years 1 months ago
2007
ACM
Abstract-- The PPV is a robust phase domain macromodel for oscillators. It has been proven to predict oscillators' responses correctly under small signal perturbations, and ca...
87
Voted
ISQED
2009
IEEE
15 years 7 months ago
2009
IEEE
— With continued scaling, reliability is emerging as a critical challenge for the designers of digital circuits. The challenge stems in part from the lack of computationally ef...
97
Voted
FDL
2008
IEEE
15 years 2 months ago
2008
IEEE
In this paper, we propose the design methodology for communication channel templates from formal specification to RTL description. In this flow, design and verification start from...