227
Voted
DAC
15 years 10 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...
216
click to vote
DAC
16 years 7 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...
213
click to vote
DAC
15 years 10 months ago
2004 ACM 
In System on Chip (SoC) design, growing design complexity has esigners to start designs at higher abstraction levels. This paper proposes an SoC design methodology that makes full...
212
click to vote
DAC
15 years 10 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...
208
click to vote
DAC
16 years 7 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