Sciweavers

2449 search results - page 200 / 490
» VLSI
Sort
View
VLSID
1999
IEEE
97views VLSI» more  VLSID 1999»
15 years 8 months ago
A New Methodology for Concurrent Technology Development and Cell Library Optimization
To minimize the time to market and cost of new sub 0.25um process technologies and products, PDF Solutions, Inc., has developed a new comprehensive approach based on the use of pr...
Marko P. Chew, Sharad Saxena, Thomas F. Cobourn, P...
VLSID
1999
IEEE
64views VLSI» more  VLSID 1999»
15 years 8 months ago
Exact Output Response Computation of RC Interconnects under Polynomial Input Waveforms
Accurate output response computation of RC interconnects under various input excitations is a key issue in deep submicron delay analysis.In this paper,we present an exact analysis...
Satrajit Gupta, Lalit M. Patnaik
VLSID
1999
IEEE
100views VLSI» more  VLSID 1999»
15 years 8 months ago
Improved Effective Capacitance Computations for Use in Logic and Layout Optimization
We describe an improved iterationless approach for computing the effective capacitance of an interconnect load at a driving gate output. The speed and accuracy of our approach mak...
Andrew B. Kahng, Sudhakar Muddu
VLSID
1999
IEEE
111views VLSI» more  VLSID 1999»
15 years 8 months ago
A New Approach for CMOS Op-Amp Synthesis
A new approach for CMOS op-amp circuit synthesis has proposed here. The approach is based on the observation that the rst order behavior of a MOS transistor in the saturation regi...
Pradip Mandal, V. Visvanathan
VLSID
1999
IEEE
122views VLSI» more  VLSID 1999»
15 years 8 months ago
Formal Verification of an ARM Processor
This paper presents a detailed description of the application of a formal verification methodology to an ARM processor. The processor, a hybrid between the ARM7 and the StrongARM ...
Vishnu A. Patankar, Alok Jain, Randal E. Bryant