2585 search results - page 182 / 517 » computing 1999 |
123
Voted
DAC
1999
ACM
15 years 8 months ago
1999
ACM
Abstract We describe the use of parametric representations of Boolean predicates to encode data-space constraints and signi cantly extend the capacity of formal veri cation. The co...
133
click to vote
DAC
1999
ACM
15 years 8 months ago
1999
ACM
This work presents an overview of the principles that underlie the speed-up achievable by dynamic hardware reconfiguration, proposes a more precise taxonomy for the execution mode...
105
click to vote
DAC
1999
ACM
15 years 8 months ago
1999
ACM
IC inductance extraction generally produces either port inductances based on simplified current path assumptions or a complete partial inductance matrix. Combining either of thes...
123
Voted
DAC
1999
ACM
15 years 8 months ago
1999
ACM
The state dependence of leakage can be exploited to obtain modest leakage savings in CMOS circuits. However, one can modify circuits considering state dependence and achieve large...
93
Voted
DAC
1999
ACM
15 years 8 months ago
1999
ACM
We study the variation of the crosstalk in a net and its neighbors when one of its trunks is perturbed, showing that the trunk’s perturbation range can be efficiently divided i...