Cristian Soviani Olivier Tardieu Stephen A. Edwards Optimizing sequential cycles through Shannon decomposition and retiming. 1085-1090 2006 conf/date/2006p DATE http://doi.acm.org/10.1145/1131781 db/conf/date/date2006p.html#SovianiTE06