基于BDD的组合电路等价性检验  

An Equivalence Method for Verifying the Combinational Circuits Based on BDD

作　　者：李绍荣[1] 徐玉婷[1] 

机构地区：[1]电子科技大学光电信息学院,成都610054

出　　处：《计算机科学》2007年第3期293-294,F0003,共3页Computer Science

基　　金：电子科技大学青年科技基金资助项目

摘　　要：本文分析了基于BDD的组合电路等价性检验;讨论了构造输出函数的二叉判定图BDD的不同方法,并分析了BDD间布尔操作的不同的算法的异同;然后给出了一种基于BDD的组合电路等价性检验方法。This paper analyzes equivalence checking methods of combinational circuits based on binary decision diagram. The methods to structure the BDDs of outputs are discussed, and two different kinds of algorithms dealing with the boolean operations between BDDs are discussed. Then we present a equivalence method for verifying the combinational circuits based on BDD.

关 键 词：等价性验证 二叉判定图 组合电路 

分 类 号：TP202.1[自动化与计算机技术—检测技术与自动化装置]