使用输出分组和电路可满足性的等价性验证算法

• 作者: 严晓浪 卢永江 杨军 葛海通 郑飞君
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: 等价性验证 输出分组 电路可满足性
• 年，卷（期）: 2005,（11）
• 所属期刊栏目: VLSI设计与测试及电子设计自动化
• 页码范围: 2484-2488
• 页数: 5页
• 分类号: TP302
• 字数: 3603字
• 语种: 中文
• DOI: 10.3321/j.issn:1003-9775.2005.11.016

摘要

介绍了一种使用电路可满足性解算器的组合电路等价性验证算法 .对包含多输出的复杂验证问题,首先对联接电路作输出分组,将等价性验证问题转化为包含若干个组的电路可满足性问题,继而使用电路解算器解决问题 .同时,注意各个子问题间的有用隐含信息的共享,减小了SAT推理的搜索空间 .实验结果表明,该算法是实用有效的 .

作者信息

序号	姓名	单位	发文数	被引次数	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