Variables Bounding Based Retiming Algorithm

Retiming is a technique for optimizing sequential circuits. In thispaper, we discuss this problem and propose an improved retimingalgorithm based on variables bounding. Through the computation ofthe lower and upper bounds on variables, the algorithm cansignificantly reduce the number of constraints and speed up theexecution of retiming. Furthermore, the elements of matrixes D andW are computed in a demand-driven way, which can reduce the capacity of memory.It is shown through the experimental results on ISCAS89 benchmarks thatour algorithm is very effective for large-scale sequential circuits.