On the relationship between sequential logic retiming and loop folding, Proceedings of the SASIMI'93, pp.384-393, 1993. ,
Bkm: A new hardware algorithm for complex elementary functions, IEEE Transactions on Computers, pp.598-601, 1994. ,
URL : https://hal.archives-ouvertes.fr/ensl-00086894
Scheduling of behavioural VHDL by retiming techniques, Proceedings of the Euro-DAC'94, pp.546-551, 1994. ,
On line algorithms for division and multiplication, IEEE Transactions on Computers, vol.7, pp.681-687, 1977. ,
Converting combinational circuits into pipelined data paths, Proceedings of the ICCAD'91, pp.368-371, 1991. ,
A c haracterization of the minimum cycle mean in a digraph, Discrete Mathematics, vol.23, pp.309-311, 1978. ,
Optimizing synchronous systems, Journal of VLSI and Computer Systems, vol.1, pp.41-67, 1983. ,
DOI : 10.1109/sfcs.1981.34
Retiming synchronous circuitry, Algorithmica, vol.6, pp.5-35, 1991. ,
DOI : 10.1007/bf01759032
URL : http://www.cs.columbia.edu/~cs6861/handouts/leiserson-algorithmica-88.pdf
A Timing Analysis and Optimization System for Level-Clocked Circuitry, 1993. ,
Decomposable Searching problems and Circuit Optimization by Retiming: Two Studies in General Transformations of Computational Structures, 1985. ,