Dirk Eisenbiegler, Ramayya Kumar, Christian Blumenröhr. A constructive approach towards correctness of synthesis-application within retiming. In European Design and Test Conference (ED&TC 97), Paris, France, 17-20 March 1997. pages 427-431, IEEE, 1997. [doi]
Abstract is missing.