Efficient Timing-Driven Incremental Routing for VLSI Circuits Using DFS and Localized Slack-Satisfaction Computations | IEEE Conference Publication | IEEE Xplore