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

作     者：李光辉 冯冬芹 曾松伟 Li Guanghui;Feng Dongqin;Zeng Songwei

作者机构：浙江林学院信息工程学院杭州311300 浙江大学工业控制技术国家重点实验室杭州310027 

基　　金：国家“八六三”高技术研究发展计划(2008AA04Z132) 浙江省自然科学基金(Y106707) 浙江省科技厅重点项目(2007C21045) 

出 版 物：《计算机辅助设计与图形学学报》 (Journal of Computer-Aided Design & Computer Graphics)

年 卷 期：2008年第20卷第12期

页      码：1557-1562页

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

主 题 词：组合电路 等价性验证 二叉判决图 布尔可满足性 

学科分类：1305[艺术学-设计学类] 13[艺术学] 08[工学] 080203[080203] 081304[081304] 0835[0835] 0802[工学-机械学] 0813[工学-化工与制药类] 0811[工学-水利类] 0812[工学-测绘类] 080201[080201] 

核心收录：

馆 藏 号：203994255...