Timing analysis challenges for high speed CPUs at 90nm and below. - Avi Efrati; Moshe Kleyner (Timing Issues in the Specification and Synthesis of Digital Systems, 2002)