105 search results - page 12 / 21 » Modeling and Simulation |
130
click to vote
ICCAD
1996
IEEE
15 years 5 months ago
1996
IEEE
The analysis of CMOS VLSI circuit switching current has become an increasingly important and difficult task from both a VLSI design and simulation software perspective. This paper...
100
click to vote
ICCAD
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we propose a novel parameterized interconnect order reduction algorithm, CORE, to efficiently capture both inter-die and intra-die variations. CORE applies a two-ste...
117
click to vote
ICCAD
2009
IEEE
14 years 11 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
112
click to vote
ICCAD
2004
IEEE
15 years 10 months ago
2004
IEEE
9, IO]. However, unlike the case with static timing, it is not so easy We show how recent advances in the handling of correlated interval representations of range uncertainty can b...
ICCAD
2005
IEEE
15 years 10 months ago
2005
IEEE
Process variations in nanometer technologies are becoming an important issue for cutting-edge FPGAs with a multimillion gate capacity. Considering both die-to-die and withindie va...