Incremental timing optimization during multiple stages of logic synthesis | IEEE Conference Publication | IEEE Xplore