Design Automation for Timing-Driven Layout Synthesis