结合通用割集和专用割集的组合电路验证方法

• 作者: 严晓浪 卢永江 杨军 葛海通 郑飞君
• 来源期刊: 浙江大学学报（工学版）
• 学科: 工学
• 关键词: 形式验证 通用割集 专用割集 依赖性
• 年，卷（期）: 2006,（9）
• 所属期刊栏目: 无线电电子学、电信技术
• 页码范围: 1511-1515
• 页数: 5页
• 分类号: TP3
• 字数: 4631字
• 语种: 中文
• DOI: 10.3785/j.issn.1008-973X.2006.09.009

摘要

为了提高组合电路的等价性验证速度,提出了一种利用电路内部等价信息的新型验证方法.该方法结合了通用割集和专用割集. 从原始输出进行回溯得到通用割集,用通用割集验证所有候选等价点(CEP)的等价性. 从特定候选等价点进行回溯得到专用割集,通过消除高层次结点间的依赖关系对专用割集进行优化,用专用割集验证特定候选等价点的等价性.实验结果表明,与传统依赖性处理策略相比,该验证方法中的依赖性处理策略减少了验证时间.与只基于通用割集或专用割集的验证方法相比,该方法可以使组合电路的验证速度明显提高.

作者信息

序号	姓名	单位	发文数	被引次数	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
5	卢永江	浙江大学超大规模集成电路设计研究所	9	43	5.0	6.0