395 search results - page 61 / 79 » Encoding Algorithms for Logic Synthesis |
95
Voted
ICCAD
2005
IEEE
15 years 11 months ago
2005
IEEE
The increasing variability of process parameters leads to substantial parametric yield losses due to timing and leakage power constraints. Leakage power is especially affected by ...
132
click to vote
TCAD
2008
15 years 2 months ago
2008
Abstract--Designers and high-level synthesis tools can introduce unwanted cycles in digital circuits, and for certain combinational functions, cyclic circuits that are stable and d...
100
click to vote
DAC
2003
ACM
16 years 3 months ago
2003
ACM
In some cases, minimum Sum-Of-Products (SOP) expressions of Boolean functions can be derived by detecting decomposition and observing the functional properties such as unateness, ...
167
click to vote
ICIP
2004
IEEE
16 years 3 months ago
2004
IEEE
This paper proposes a framework of scalable motion estimation and coding with the structure of multi-layers for 3D wavelet video coding. The motion representation consists of mult...
127
Voted
ICCD
2003
IEEE
15 years 11 months ago
2003
IEEE
Functional symmetries provide significant benefits for multiple tasks in synthesis and verification. Many applications require the manual specification of symmetries using spe...