Retiming for the global optimization of synchronous sequential circuit | IEEE Conference Publication | IEEE Xplore