Variables Bounding Based Retiming Algorithm  

作　　者：宫宗伟 林争辉 陈后鹏 

机构地区：[1]VLSI Research Institute, Shanghai Jiaotong University, Shanghai 200030, P.R. China

出　　处：《Journal of Computer Science & Technology》2002年第6期797-806,共10页计算机科学技术学报（英文版）

基　　金：美国科学基金

摘　　要：Retiming is a technique for optimizing sequential circuits. In this paper, wediscuss 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 signi-ficantly 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 reducethe capacity of memory. It is shown through the experimental results on ISCAS89 benchmarksthat our algorithm is very effective for large-scale sequential circuits.

分 类 号：TN47[电子电信—微电子学与固体电子学]