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

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