Cristian Soviani Olivier Tardieu Stephen A. Edwards Optimizing Sequential Cycles Through Shannon Decomposition and Retiming. 456-467 2007 26 IEEE Trans. on CAD of Integrated Circuits and Systems 3 http://dx.doi.org/10.1109/TCAD.2006.890583 db/journals/tcad/tcad26.html#SovianiTE07