Maher N. Mneimneh Karem A. Sakallah John Moondanos Preserving synchronizing sequences of sequential circuits after retiming. 579-584 2004 conf/aspdac/2004 ASP-DAC http://doi.acm.org/10.1145/1015090.1015249 db/conf/aspdac/aspdac2004.html#MneimnehSM04