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