DAC
2002
ACM
14 years 5 months ago
2002
ACM
DAC
2002
ACM
14 years 5 months ago
2002
ACM
DAC
2002
ACM
14 years 5 months ago
2002
ACM
DAC
2002
ACM
14 years 5 months ago
2002
ACM
Design tools can be profitably associated with libraries of reusable modeling components that will make the description and also the validation of the models much easier. Furtherm...
DAC
2002
ACM
14 years 5 months ago
2002
ACM
This paper describes the verification of two versions of a bridge between two on-chip buses. The verification was performed just as the Infineon Technologies Design Centre in Bris...
DAC
2002
ACM
14 years 5 months ago
2002
ACM
DAC
2002
ACM
14 years 5 months ago
2002
ACM
DAC
2002
ACM
14 years 5 months ago
2002
ACM
Research in algorithms for Boolean satisfiability and their efficient implementations [26, 8] has recently outpaced benchmarking efforts. Most of the classic DIMACS benchmarks fro...
DAC
2002
ACM
14 years 5 months ago
2002
ACM
Reducing power dissipation is one of the most principle subjects in VLSI design today. Scaling causes subthreshold leakage currents to become a large component of total power diss...
DAC
2002
ACM
14 years 5 months ago
2002
ACM
In this paper we propose a novel integrated circuit and architectural level technique to reduce leakage power consumption in high performance cache memories using single Vt (trans...