DAC'00 TUTORIAL: The Quest for Synthesis and Layout Timing Closure