dengdengshu的博客

原创 2021-08-11

可靠性评估-BDD的优化问题——化解合并* 1.BDD 是一种特殊的树型结构, 采用二叉树的形式表示一个Boole 逻辑函数。BDD 中的结点分为两类: 一类是具有0 或1 两种Boole 函数值的终结点; 另一类是非终结点, 没有确定的结点值, 是内部结点, 所有结点都是通过0 或1 标识的边连接在一起。从根节点出发到终结点的每条路都表示Boole 函数中 各变量的一次赋值, 即是一组变量输入值获得一个输出值的过程。图1 为一个BDD 的实例。 BDD 的每个分枝上。 在构建最初的BDD 时, 不.