'Timing Closure by Design,' a high frequency microprocessor design methodologyS.D. PoslusznyNaoaki Aokiet al.2000DAC 2000