面向等价性验证的锁存器匹配算法

• 作者: 严晓浪 杨军 葛海通 郑飞君
• 来源期刊: 浙江大学学报（工学版）
• 学科: 工学
• 关键词: 等价性验证 锁存器匹配 局部二叉判决图 目标模拟
• 年，卷（期）: 2006,（8）
• 所属期刊栏目: 无线电电子学、电信技术
• 页码范围: 1293-1296
• 页数: 4页
• 分类号: TN402
• 字数: 3707字
• 语种: 中文
• DOI: 10.3785/j.issn.1008-973X.2006.08.002

摘要

为了克服现有等价性验证技术中难以精确匹配锁存器的局限性,提出了一种结合多种方法的新型锁存器匹配算法.该算法结合任意模拟、局部二叉判决图、目标模拟3种方法来匹配锁存器,并使用了类似滤波器的思想,任意模拟对锁存器作初步快速匹配,提出的局部二叉判决图技术降低了发生内存爆炸的可能性,目标模拟则针对性地对锁存器作进一步的划分.ISCAS89电路实验结果表明,该算法与模拟和自动测试矢量生成等方法相比,在运行时间、占用内存和匹配精度等方面均体现出有效性,可用于处理较大规模的时序电路验证问题.

作者信息

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