VLSID
2000
IEEE
14 years 6 months ago
2000
IEEE
We address the problem of verifying the correctness of pre-silicon models of a microprocessor. We touch on the latest advances in this area by considering two different aspects of...
VLSID
2000
IEEE
14 years 7 months ago
2000
IEEE
VLSID
2000
IEEE
14 years 7 months ago
2000
IEEE
VLSID
2000
IEEE
14 years 7 months ago
2000
IEEE
VLSID
2000
IEEE
14 years 7 months ago
2000
IEEE
The test signal method can be used to measure and model inductance parameters (self and mutual) of a very small interconnect especially in highdensity IC’s by using a test signa...
VLSID
2000
IEEE
14 years 7 months ago
2000
IEEE
The action systems framework has recently been applied to the area of synchronous VLSI design. In this paper, we present a set of concepts necessary in the formal design of synchr...
VLSID
2000
IEEE
14 years 7 months ago
2000
IEEE
A methodology for reducing ground bounce in typical microprocessors and image processing architectures has been described. As we approach Gigascale Integration, chip power consump...
VLSID
2000
IEEE
14 years 7 months ago
2000
IEEE
VLSID
2000
IEEE
14 years 7 months ago
2000
IEEE
The technique presented here achieves simultaneous optimization of schedule time and data path component cost within a structured data path architecture, using a genetic algorithm...
VLSID
2000
IEEE
14 years 7 months ago
2000
IEEE
This paper presents a novel system performance analysis technique to support the design of custom communication architectures for System-on-Chip ICs. Our technique fills a gap in...