DAC
2002
ACM
15 years 15 days ago
2002
ACM
Aim of this paper is to propose a methodology for the definition of an instruction-level energy estimation framework for VLIW (Very Long Instruction Word) processors. The power mo...
DAC
2002
ACM
15 years 15 days ago
2002
ACM
DAC
2002
ACM
15 years 15 days ago
2002
ACM
DAC
2002
ACM
15 years 15 days ago
2002
ACM
DAC
2002
ACM
15 years 15 days 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
15 years 15 days 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
15 years 15 days ago
2002
ACM
DAC
2002
ACM
15 years 15 days ago
2002
ACM
DAC
2002
ACM
15 years 15 days 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
15 years 15 days 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...