改进的基于属性不变量生成和数学归纳法的时序逻辑优化算法

• 作者: 崔秀海 张茉莉 杨海钢 路宝珠 郝亚男
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: 时序优化 假设后验证 位并行随机模拟 寄存器共享 推测化简模型
• 年，卷（期）: 2012,（9）
• 所属期刊栏目: VLSI设计与测试及电子设计自动化
• 页码范围: 1232-1240
• 分类号: TP301
• 字数: 7758字
• 语种: 中文
• DOI: 10.3969/j.issn.1003-9775.2012.09.018

摘要

为了在时序逻辑综合中使电路面积和关键路径延迟同时得到快速优化,提出一种改进的基于假设后验证的时序优化算法.在位并行随机模拟提取候选属性不变量之前,利用寄存器共享来降低初始候选不变量数目,以减少SAT程序的频繁调用；然后利用推测化简模型和改进的数学归纳法将基本条件和归纳步骤合并处理,有效地降低了电路规模和关键路径延迟,同时提高了算法运行速度.实验数据表明,文中算法使寄存器和节点规模平均下降41％和48％,关键路径延迟减小30％；与同类方法相比,该算法运行时间平均下降17％.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨海钢	中国科学院电子学研究所可编程芯片与系统研究室	134	485	10.0	15.0
2	崔秀海	中国科学院电子学研究所可编程芯片与系统研究室	10	66	5.0	7.0
3	郝亚男	中国科学院电子学研究所可编程芯片与系统研究室	3	33	3.0	3.0
7	路宝珠	中国科学院电子学研究所可编程芯片与系统研究室	3	17	3.0	3.0
11	张茉莉	中国科学院电子学研究所可编程芯片与系统研究室	5	40	5.0	5.0