Simplifying High-Frequency Microprocessor Design via Timing Constraint Speculation. - Asami Tanino; Toshinori Sato (CAINE, 2003)