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

摘要：

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

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

所属期刊栏目：20

分类号：TP391.72(计算技术、计算机技术)

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

在线出版日期：2009-02-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1557-1562