User defined coverage-A tool supported methodology for design verification
- Raanan Grinwald
- Eran Harel
- et al.
- 1998
- DAC 1998
Conference paper
Publications
Design 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 paperZeros and passivity of Arnoldi-reduced-order models for interconnect networks
- I.M. Elfadel
- David D. Ling
- 1997
- DAC 1997
Conference paperExploiting instruction level parallelism in processors by caching scheduled groups
- Ravi Nair
- Martin E. Hopkins
- 1997
- ISCA 1997
Conference paperPrefetching using Markov predictors
- Douglas J. Joseph
- Dirk Grunwald
- 1997
- ISCA 1997
Conference paper