Variables bounding based retiming algorithm

  • Authors:
  • Zongwei Lu;Zhenghui Lin;Houpeng Chen

  • Affiliations:
  • VLSI Research Institute, Shanghai Jiaotong University, Shanghai 200030, P.R. China;VLSI Research Institute, Shanghai Jiaotong University, Shanghai 200030, P.R. China;VLSI Research Institute, Shanghai Jiaotong University, Shanghai 200030, P.R. China

  • Venue:
  • Journal of Computer Science and Technology
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

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