等价性验证中的自动算符排序

• 作者: 严晓浪 翁延玲 葛海通
• 来源期刊: 浙江大学学报（工学版）
• 学科: 工学
• 关键词: 算术电路 等价性验证 综合
• 年，卷（期）: 2007,（6）
• 所属期刊栏目: 自动化技术、计算机技术
• 页码范围: 886-889,895
• 页数: 5页
• 分类号: TN47
• 字数: 3444字
• 语种: 中文
• DOI: 10.3785/j.issn.1008-973X.2007.06.003

摘要

为提高等价性验证效率,提出了一种利用综合引擎重现算术电路的优化过程算法.算法在单向无环图上计算距离,提取出变量的分组和结合顺序;对不同编码方式的乘法器,识别乘数和被乘数的结合顺序.ZDFV的综合引擎根据这些信息生成与实现电路结构相似且逻辑正确的网表.该算法可以直接结合到现有的寄存器传输级(RTL)和门级网表的验证流程中,从而提高算术电路的验证能力.

作者信息

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