9359 search results - page 544 / 1872 » Generalization Algorithms for Second-Order Terms |
139
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
We present a method for designing operational amplifiers using reversed geometric programming, which is an extension of geometric programming that allows both convex and non-conve...
166
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
In this paper, we present a method for analyzing the leakage current, and hence the leakage power, of a circuit under process parameter variations that can include spatial correla...
153
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
We demonstrate how to use placement to ameliorate the predicted repeater explosion problem caused by poor interconnect scaling. We achieve repeater count reduction by dynamically ...
134
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Modern embedded applications usually have real-time constraints and they are implemented using heterogeneous multiprocessor systems-on-chip. Dimensioning a system requires accurat...
156
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...