结合半加图的算术电路等价性验证技术

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

摘要

为了克服现有等价性验证技术难以快速验证复杂算术电路的局限性,提出了一种利用综合引擎分析并再现算术电路优化过程的算法.该算法结合了乘法器的编码方式识别技术、加法电路的半加树提取技术和部分积加法电路的架构识别技术来提取乘法电路的实现结构,以此生成与实现电路结构相似且逻辑正确的网表.针对算术电路结构的相似性,仅分析低位输出的电路架构以降低算法复杂度.实验结果表明,与传统的算术电路验证算法相比,该算法可以明显提高算术电路的验证速度,并且可以直接结合到现有的寄存器传输级(RTL)和门级网表的验证流程中,从而提高了算术电路的验证能力.

作者信息

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