The titanic: What went wrong!
- Sani R. Nassif
- 2005
- DAC 2005
Publications
7 results at DAC 2005
A generic micro-architectural test plan approach for microprocessor verification
- Allon Adir
- Hezi Azatchi
- et al.
- 2005
- DAC 2005
VLIW - A case study of parallelism verification
- Allon Adir
- Yaron Arbetman
- et al.
- 2005
- DAC 2005
Keeping hot chips cool
- Ruchir Puri
- Leon Stok
- et al.
- 2005
- DAC 2005
Formal Verification - Is it real enough?
- Yaron Wolfsthal
- Rebecca M. Gott
- 2005
- DAC 2005
Parameterized block-based statistical timing analysis with non-gaussian parameters, nonlinear delay functions
- Hongliang Chang
- Vladimir Zolotov
- et al.
- 2005
- DAC 2005
Circuit optimization using statistical static timing analysis
- Aseem Agarwal
- Kaviraj Chopra
- et al.
- 2005
- DAC 2005