位置:成果数据库 > 期刊 > 期刊详情页
结合半加图的算术电路等价性验证技术
  • ISSN号:1008-973X
  • 期刊名称:《浙江大学学报:工学版》
  • 时间:0
  • 分类:TN47[电子电信—微电子学与固体电子学]
  • 作者机构:[1]浙江大学超大规模集成电路设计研究所,浙江杭州310027
  • 相关基金:国家自然科学基金资助项目(90207002).
中文摘要:

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

英文摘要:

A new approach was proposed to improve the overall performance of equivalence checking with complicate arithmetic circuits. The synthesis engine was made to replay the optimizations of arithmetic circuit. The algorithm combines the recognition technique of different coding methods in multiplier, the extraction technique of half adder graph (HAG) in addition circuit, and the recognition technique of half adder tree structure of partial product addition circuit. With the extracted information, the register transfer level (RTL) synthesis engine can generate a gate netlist that is logically correct and structurally similar to the implementation. Due to the similarity of arithmetic circuits, only the lower bits' outputs need analyzing, which decreases the algorithm complexity. Compared with the traditional verification algorithms of arithmetic circuits, the proposed algorithm can be easily incorporated into the existing RTL-gate equivalence checking frameworks and increase the robustness of the equivalence checking for arithmetic circuits, thus the verification performance is improved.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《浙江大学学报:工学版》
  • 北大核心期刊(2011版)
  • 主管单位:教育部
  • 主办单位:浙江大学
  • 主编:岑可法
  • 地址:杭州市浙大路38号
  • 邮编:310027
  • 邮箱:xbgkb@zju.edu.cn
  • 电话:0571-87952273
  • 国际标准刊号:ISSN:1008-973X
  • 国内统一刊号:ISSN:33-1245/T
  • 邮发代号:32-40
  • 获奖情况:
  • 2000年获浙江省科技期刊质量评比二等奖,中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国化学文摘(网络版),波兰哥白尼索引,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版)
  • 被引量:21198