基于电路拓扑结构分析的等价性验证方法

• 作者: 冯冬芹 曾松伟 李光辉
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: 组合电路 等价性验证 二叉判决图 布尔可满足性
• 年，卷（期）: 2008,（12）
• 所属期刊栏目: VLSI设计与测试及电子设计自动化
• 页码范围: 1557-1562
• 页数: 6页
• 分类号: TP391.72
• 字数: 4732字
• 语种: 中文

摘要

随着集成电路设计规模的日益增大,结合多种推理引擎已成为组合电路形式化等价性验证的重要手段.提出一种基于电路拓扑结构分析的组合等价性验证方法,将电路的拓扑结构与验证算法的复杂性关联起来.在验证过程开始之前,利用min-cut方法计算表征电路复杂性的"电路宽度",以确定最佳的推理引擎,避免了传统的引擎切换过程,提高了算法的效率.针对ISCAS85电路的实验结果表明了该方法的效率和可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯冬芹	浙江大学工业控制技术国家重点实验室	102	934	16.0	26.0
2	李光辉	浙江林学院信息工程学院	20	349	11.0	18.0
6	曾松伟	浙江林学院信息工程学院	5	11	2.0	3.0