Publications

3 results at DAC 2000

'Timing Closure by Design,' a high frequency microprocessor design methodology
- - S.D. Posluszny
  - Naoaki Aoki
  - et al.
- 2000
- DAC 2000
Designing systems-on-chip using cores
- - Reinaldo A. Bergamaschi
  - William R. Lee
- 2000
- DAC 2000
Methodology for formal design of hardware control with application to cache coherence protocols
- - Cindy Eisner
  - Irit Shitsevalov
  - et al.
- 2000
- DAC 2000