'Timing Closure by Design,' a high frequency microprocessor design methodology
- S.D. Posluszny
- Naoaki Aoki
- et al.
- 2000
- DAC 2000
Conference paper
Publications
Designing systems-on-chip using cores
- Reinaldo A. Bergamaschi
- William R. Lee
- 2000
- DAC 2000
Conference paperEfficient private bidding and auctions with an oblivious third party
- C. Cachin
- 1999
- CCS 1999
Conference paperSOI digital CMOS VLSI - a design perspective
- C.T. Chuang
- R. Puri
- 1999
- DAC 1999
Conference paperBuffer insertion with accurate gate and interconnect delay computation
- Charles J. Alpert
- A. Devgan
- et al.
- 1999
- DAC 1999
Conference paperDealing with inductance in high-speed chip design
- P. Restle
- A.E. Ruehli
- et al.
- 1999
- DAC 1999
Conference paperEfficient 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 paper