Lin, Zhou, n.d.. Wire retiming for system-on-chip by fixpoint computation, in: . IEEE Comput. Soc.. https://doi.org/10.1109/date.2004.1269038