基于等价性形式验证的逻辑综合引擎设计研究

• 作者: 严晓浪 卢永江 翁延玲 葛海通
• 来源期刊: 电路与系统学报
• 学科: 工学
• 关键词: 逻辑综合 等价性验证 电路相似性
• 年，卷（期）: 2007,（4）
• 所属期刊栏目: 论文
• 页码范围: 1-4
• 页数: 4页
• 分类号: TN47
• 字数: 2978字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-0249.2007.04.001

摘要

本文描述了一个基于等价性验证的逻辑综合引擎,它实现了从RTL级到网表级的综合.设计验证系统的初衷是验证给定设计从RTL级到网表级自动综合后电路的正确性,所以综合引擎本身的正确性是本文首要关注的问题.为了提高等价性验证引擎的工作效率,本文还提出并实现了一系列保持电路相似性的方法.最后,本文以SYNOPSYS的等价性验证工具FORMALITY作为比较,试验结果表明本系统是有效的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	严晓浪	浙江大学超大规模集成电路设计研究所	246	1634	19.0	29.0
2	葛海通	浙江大学超大规模集成电路设计研究所	52	293	8.0	14.0
3	翁延玲	浙江大学超大规模集成电路设计研究所	5	16	3.0	4.0
4	卢永江	浙江大学超大规模集成电路设计研究所	9	43	5.0	6.0