以时间裕量为参数的时序电路再综合算法

摘要：

为了有效地利用时序电路中普遍存在的时间裕量来提高再综合算法的面积优化效率,对时间裕量概念进行拓展,制定了基于时间裕量参数的再综合取舍判断准则;用局部重定时消除寄存器对布尔可满足性映射范围的限制,并通过全局重定时保证整个时序电路满足时钟周期的要求.实验结果表明,文中算法是有效的.

关键词：时间裕量、时序电路、布尔可满足性、重定时

所属期刊栏目：22

分类号：TP391(计算技术、计算机技术)

资助基金：国家"八六三"高技术研究发展计划2008AA01A323

在线出版日期：2010-10-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1449-1454