16883 search results - page 413 / 3377 » Generalized Non-Reducible Descriptors |
180
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
In this paper we present a new efficient algorithm for retiming sequential circuits with edge-triggered registers under both setup and hold constraints. Compared with the previous...
177
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Recent progress in EDA tools allows IC designs to be accurately verified with consequent improvements in yield and performance through reduced guard bands. This paper will present...
169
Voted
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Traces Kuntal Nanshi, Fabio Somenzi University of Colorado at Boulder ne abstraction refinement and simulation to provide a more efficient approach to checking invariant properti...
154
Voted
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Packet editing is a fundamental building block of data communication systems such as switches and routers. Circuits that implement this function are critical and define the featur...
187
Voted
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Multimedia applications usually have throughput constraints. An implementation must meet these constraints, while it minimizes resource usage and energy consumption. The compute i...