A linear time algorithm for timing directed circuit optimizations | IEEE Conference Publication | IEEE Xplore