'Timing Closure by Design,' a high frequency microprocessor design methodologyS.D. PoslusznyNaoaki Aokiet al.2000DAC 2000Conference paper
Designing systems-on-chip using coresReinaldo A. BergamaschiWilliam R. Lee2000DAC 2000Conference paper
Methodology for formal design of hardware control with application to cache coherence protocolsCindy EisnerIrit Shitsevalovet al.2000DAC 2000Conference paper