4359 search results - page 512 / 872 » Automated Pipeline Design |
150
Voted
DAC
2002
ACM
16 years 7 months ago
2002
ACM
CT The traditional approach to worst-case static-timing analysis is becoming unacceptably conservative due to an ever-increasing number of circuit and process effects. We propose a...
189
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
A digital combinational logic circuit is reversible if it maps each input pattern to a unique output pattern. Such circuits are of interest in quantum computing, optical computing...
162
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
177
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
We describe a new extraction tool, EMX (Electro-Magnetic eXtractor), for the analysis of RF, analog and high-speed digital circuits. EMX is a fast full-wave field solver. It incor...
174
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Error correcting codes are widely used in communication and storage applications. Codec complexity has usually been measured with a software implementation in mind. A recent hardw...