Maher N. Mneimneh, Karem A. Sakallah, John Moondanos. Preserving synchronizing sequences of sequential circuits after retiming. In Masaharu Imai, editor, Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, Yokohama, Japan, January 27-30, 2004. pages 579-584, IEEE, 2004. [doi]
Abstract is missing.