|
|||||
|
|
| 基于电路拓扑结构分析的等价性验证方法 | |
| 引用本文： | 李光辉,冯冬芹,曾松伟.基于电路拓扑结构分析的等价性验证方法[J].计算机辅助设计与图形学学报,2008,20(12). |
| 作者姓名： | 李光辉 冯冬芹 曾松伟 |
| 作者单位： | 1. 浙江林学院信息工程学院,杭州,311300;浙江大学工业控制技术国家重点实验室,杭州,310027 2. 浙江大学工业控制技术国家重点实验室,杭州,310027 3. 浙江林学院信息工程学院,杭州,311300 |
| 基金项目： | 国家高技术研究发展计划(863计划) ， 浙江省自然科学基金 ， 浙江省科技厅重点项目 |
| 摘 要： | 随着集成电路设计规模的日益增大,结合多种推理引擎已成为组合电路形式化等价性验证的重要手段.提出一种基于电路拓扑结构分析的组合等价性验证方法,将电路的拓扑结构与验证算法的复杂性关联起来.在验证过程开始之前,利用min-cut方法计算表征电路复杂性的"电路宽度",以确定最佳的推理引擎,避免了传统的引擎切换过程,提高了算法的效率.针对ISCAS85电路的实验结果表明了该方法的效率和可行性. |
| 关 键 词： | 组合电路 等价性验证 二叉判决图 布尔可满足性 |
Combinational Equivalence Checking Based on Circuit Topology Analysis |
|
| Li Guanghui,Feng Dongqin,Zeng Songwei.Combinational Equivalence Checking Based on Circuit Topology Analysis[J].Journal of Computer-Aided Design & Computer Graphics,2008,20(12). | |
| Authors: | Li Guanghui Feng Dongqin Zeng Songwei |
| Affiliation: | Li Guanghui1,2) Feng Dongqin2) Zeng Songwei1)1)(School of Information Engineering,Zhejiang Forestry College,Hangzhou 311300)2)(National Laboratory of Industrial Control Technology,Zhejiang University,Hangzhou 310027) |
| Abstract: | With the increasing of VLSI circuit size,using multiple verification engines has been an important methodology of formal equivalence checking for combinational circuits.A combinational equivalence checking method based on circuit topology analysis is presented.This method can correlate the circuit topology to the complexity of verification algorithm,thus decide the optimal verification engine beforehand and improve the efficiency of equivalence checking.The experimental results on ISCAS'85 benchmark circuit... |
| Keywords: | combinational circuits equivalence checking binary decision diagram Boolean satisfiability |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |