'Timing Closure by Design,' a high frequency microprocessor design methodologyS.D. PoslusznyNaoaki Aokiet al.2000DAC 2000
Methodology for formal design of hardware control with application to cache coherence protocolsCindy EisnerIrit Shitsevalovet al.2000DAC 2000