141
Voted
DAC
15 years 4 months ago
2004 ACM 
The ability to control the variations in IC fabrication process is rapidly diminishing as feature sizes continue towards the sub-100 nm regime. As a result, there is an increasing...
139
Voted
DAC
16 years 1 months ago
2004 ACM 
Reversible logic has applications in many fields, including quantum computing. Synthesis techniques for reversible circuits are not well developed, even for functions with a small...
137
click to vote
DAC
16 years 1 months ago
2004 ACM 
This paper describes a dynamic voltage and frequency scaling (DVFS) technique for MPEG decoding to reduce the energy consumption using the computational workload decomposition. Th...
136
Voted
DAC
15 years 4 months ago
2004 ACM 
This paper presents new technology that accelerates system verification. Traditional methods for verifying functional designs are based on logic simulation, which becomes more tim...
132
click to vote
DAC
16 years 1 months ago
2004 ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
|
Computer Architecture