An efficient retiming algorithm under setup and hold constraints | IEEE Conference Publication | IEEE Xplore