Dealing with inductance in high-speed chip design
- P. Restle
- A.E. Ruehli
- et al.
- 1999
- DAC 1999
Conference paper
Publications
Efficient non-interactive statistical zero-knowledge proof system for quasi-safe prime products
- R. Gennaro
- Daniele Micciancio
- et al.
- 1998
- CCS 1998
Conference paperPublic-key cryptography and password protocols
- S. Halevi
- H. Krawczyk
- 1998
- CCS 1998
Conference paperUser defined coverage-A tool supported methodology for design verification
- Raanan Grinwald
- Eran Harel
- et al.
- 1998
- DAC 1998
Conference paperDesign Reliability - Estimation through Statistical Analysis of Bug Discovery Data
- Yossi Malka
- Avi Ziv
- 1998
- DAC 1998
Conference paperAdjoint transient sensitivity computation in piecewise linear simulation
- Tuyen V. Nguyen
- Anirudh Devgan
- et al.
- 1998
- DAC 1998
Conference paperPower supply noise analysis methodology for deep-submicron VLSI chip design
- Howard H. Chen
- David D. Ling
- 1997
- DAC 1997
Conference paperEquivalence checking using cuts and heaps
- Andreas Kuehlmann
- Florian Krohm
- 1997
- DAC 1997
Conference paperQuadratic placement revisited
- Charles J. Alpert
- T.F. Chan
- et al.
- 1997
- DAC 1997
Conference paperWire segmenting for improved buffer insertion
- Charles J. Alpert
- A. Devgan
- 1997
- DAC 1997
Conference paper