Retiming and Resynthesis: A Complexity Perspective | IEEE Journals & Magazine | IEEE Xplore