Design automation for timing-driven layout synthesis - Sapatnekar, Sachin S., 1967- (Kluwer international series in engineering and computer science ;, 1993)