首页 | 本学科首页   官方微博 | 高级检索  
     

Variables Bounding Based Retiming Algorithm
作者姓名:宫宗伟  林争辉  陈后鹏
作者单位:VLSIResearchInstitute,ShanghaiJiaotongUnivewrsity,Shanghai200030,P.R.China
摘    要:Retiming is a technique for optimizing sequential circuits.In this paper,we discuss this problem and propose an improved retiming algorithm based on varialbes bounding.Through the computation of the lower and upper bounds on variables,the algorithm can significantly reduce the number of constratints 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 seuqential circuits.

关 键 词:VLSI  超大规模集成电路  线性程序  时序电路  再定时算法

Variables bounding based retiming algorithm
Zongwei Lu,Zhenghui Lin,Houpeng Chen.Variables Bounding Based Retiming Algorithm[J].Journal of Computer Science and Technology,2002,17(6):0-0.
Authors:Zongwei Lu  Zhenghui Lin  Houpeng Chen
Affiliation:(1) VLSI Research Institute, Shanghai Jiaotong University, 200030 Shanghai, P. R. China
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 matrixesD 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 that our algorithm is very effective for large-scale sequential circuits. This work is supported by the National Science Foundation. USA under contract 5978 East Asia and Pacific Program-9602485. Lu Zongwei received both his B.E. and M.S. degrees from the Department of Automation at Tianjin University, P.R. China in 1995 and 1999, respectively. Currently, he works as an instructor at the VLSI Research Institute, the Department of Electronic Engineering, Shanghai Jiaotong University. His research interests include electronic design automation, VLSI circuits and systems design, low voltage and low power integrated circuits design, RFIC design and combinational optimization. Lin Zhenghui did his undergraduate work in Shanghai Jiao-tong University, Shanghai, China and received his Ph.D. degree in electronic engineering from the University of Tokyo, Japan. He joined the Department of Electronic Engineering, Shanghai Jiaotong University in 1955, where he is currently a professor. He also holds visiting positions at University of California, Berkeley and the University of Tokyo, Japan. Dr. Lin is the founder and director of the Institute of VLSI at Shanghai Jiaotong University. He is a recipient of a National Science and Technology Award and an Outstanding Contribution Honor, both from the Chinese Government. He has published over 200 papers and seven books in the area of circuits and system theory, VLSI design, verification, testing and fault diagnosis, and discrete-event systems.
Keywords:retiming  linear program  sequential circuits  digital integrated circuit  electronic design automation
本文献已被 维普 万方数据 SpringerLink 等数据库收录!
点击此处可从《计算机科学技术学报》浏览原始摘要信息
点击此处可从《计算机科学技术学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号