| MBDD构造与优化设计 |
| |
| 引用本文： | 何新华 张东林. MBDD构造与优化设计[J]. 计算机辅助设计与图形学学报, 1996, 8(3): 234-240 |
| |
| 作者姓名： | 何新华 张东林 |
| |
| 作者单位： | 中国科学院计算技术研究所ＣＡＤ开放实验室，北京装甲兵工程学院，解放军装甲兵工程学院 |
| |
| 摘 要： | 本文分析了ＢＤＤ（Ｂｉｎａｒｙ Ｄｅｃｉｓｉｏｎ Ｄｉａｇｒａｍｓ）的基本特征和发展。面向验和测试的需要，作者提出了含有极值概念的ＢＤＤ拼接构造方法，为进一步压缩ＢＤＤ非终端节点的数目，在构造过程中充分考虑变量排序对ＢＤＤ结构的影响，实验证明，作者提出的方法简单、直观且有效。
|
| 关 键 词： | 构造 集成电路 CAD MBDD 优化设计 |
MBDD CONSTRUCTION AND OPTIMIZATION DESIGN |
| |
| He Xinhua. MBDD CONSTRUCTION AND OPTIMIZATION DESIGN[J]. Journal of Computer-Aided Design & Computer Graphics, 1996, 8(3): 234-240 |
| |
| Authors: | He Xinhua |
| |
| Abstract: | This paper analyses the basic characteristic and development of BDD(Binary Decision Diagrams). For the requirement of verification and test generation, the appending method of BDD construction is presented. In order to reduce the non-terminal vertexes, the variables sorting using local segment is studied. The experiment resultsshows that the appending method is simple and practical. |
| |
| Keywords: | MBDD construction vertex ordering. |
| 本文献已被 CNKI 维普 等数据库收录！ |
