A new dynamic heuristic binarydecisiondiagram (BDD) minimization algorithm is proposed.
提出了一种新的动态启发式二叉判定图(BDD)最小化算法。
2
The BinaryDecisionDiagram (BDD) technique which can be implemented on the computer efficiently has the characteristics of the high efficiency of calculation and precise result.
The combinational equivalence checking methods based on binarydecisiondiagram(BDD)are dis-cussed, the false negative problem during equivalence checking and its eliminating methods are analyzed.