MBDD构造与优化设计

被引：1

作者：

何新华，张东林，宫云战

机构：

[1] 中国科学院计算技术研究所ＣＡＤ开放实验室，北京装甲兵工程学院，解放军装甲兵工程学院

来源：

关键词：

极值BDD（MBDD），构造，节点，排序;

D O I：

暂无

中图分类号：

TN402 [设计];

学科分类号：

080903 ; 1401 ;

摘要：

本文分析了ＢＤＤ（ＢｉｎａｒｙＤｅｃｉｓｉｏｎＤｉａｇｒａｍｓ）的基本特征和发展。面向验证和测试的需要，作者提出了含有极值概念的ＢＤＤ拼接构造方法，为进一步压缩ＢＤＤ非终端节点的数目，在构造过程中充分考虑变量排序对ＢＤＤ结构的影响。实验证明，作者提出的方法简单、直观且有效。

引用

页数：7