A constructive approach towards correctness of synthesis-application within retiming

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]

Authors

Dirk Eisenbiegler

This author has not been identified. Look up 'Dirk Eisenbiegler' in Google

Ramayya Kumar

This author has not been identified. Look up 'Ramayya Kumar' in Google

Christian Blumenröhr

This author has not been identified. Look up 'Christian Blumenröhr' in Google