A new dynamic heuristic binary decision diagram (BDD) minimization algorithm is proposed.
提出了一种新的动态启发式二叉判定图(BDD)最小化算法。
The combinational equivalence checking methods based on binary decision diagram(BDD)are dis-cussed, the false negative problem during equivalence checking and its eliminating methods are analyzed.
讨论了基于二叉判决图(BDD)的组合电路等价性检验方法,并分析了等价性检验过程中的误判问题及其消除方法;
The Binary Decision Diagram (BDD) technique which can be implemented on the computer efficiently has the characteristics of the high efficiency of calculation and precise result.
用于辅助故障树分析的BDD(二元决策图)技术则具有计算效率高、结果精确、并可在计算机上有效进行计算等特点。
应用推荐