An Equivalence Method for Verifying the Combinational Circuits Based on 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.