binary decision diagram

Author presents the design of MCML standard cell based on the BDD Algorithm.

分析了一种基于二叉判定图算法的MCML标准单元的设计方法。

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.

本文分析了基于BDD的组合电路等价性检验;讨论了构造输出函数的二叉判定图BDD的不同方法,并分析了BDD间布尔操作的不同的算法的异同;然后给出了一种基于BDD的组合电路等价性检验方法。

A new dynamic heuristic binary decision diagram(BDD) minimization algorithm is proposed.

提出了一种新的动态启发式二叉判定图(BDD)最小化算法。