104 search results - page 11 / 21 » Verification Under Increasing Dimensionality |
GLVLSI
2003
IEEE
15 years 5 months ago
2003
IEEE
The current trends in high performance integrated circuits are towards faster and more powerful circuits in the giga-hertz range and even further. As the more complex Integrated C...
121
click to vote
ICSE
2008
IEEE-ACM
16 years 14 days ago
2008
IEEE-ACM
We propose static program analysis techniques for identifying the impact of relational database schema changes upon object-oriented applications. We use dataflow analysis to extra...
DAC
2004
ACM
16 years 19 days ago
2004
ACM
The increasing complexity of today's mixed-signal integrated circuits necessitates both top-down and bottom-up system-level verification. Time-domain state-space modeling and...
107
click to vote
ICCAD
2003
IEEE
15 years 5 months ago
2003
IEEE
The impact of power supply integrity on a design has become a critical issue, not only for functional verification, but also for performance verification. Traditional analysis has...
141
click to vote
FOCS
2000
IEEE
15 years 4 months ago
2000
IEEE
In this article, we show several results obtained by combining the use of stable distributions with pseudorandom generators for bounded space. In particular: —We show that, for a...