中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
MBDD构造与优化设计

文献类型:期刊论文

作者张东林1; 宫云战1; 何新华2
刊名计算机辅助设计与图形学学报
出版日期1996
卷号8.0期号:003页码:234
关键词构造 集成电路 CAD MBDD 优化设计
ISSN号1003-9775
英文摘要本文分析了BDD(Binary Decision Diagrams)的基本特征和发展。面向验和测试的需要,作者提出了含有极值概念的BDD拼接构造方法,为进一步压缩BDD非终端节点的数目,在构造过程中充分考虑变量排序对BDD结构的影响,实验证明,作者提出的方法简单、直观且有效。
语种英语
源URL[http://119.78.100.204/handle/2XEOYT63/35893]  
专题中国科学院计算技术研究所期刊论文_中文
作者单位1.解放军装甲兵工程学院
2.中国科学院计算技术研究所
推荐引用方式
GB/T 7714
张东林,宫云战,何新华. MBDD构造与优化设计[J]. 计算机辅助设计与图形学学报,1996,8.0(003):234.
APA 张东林,宫云战,&何新华.(1996).MBDD构造与优化设计.计算机辅助设计与图形学学报,8.0(003),234.
MLA 张东林,et al."MBDD构造与优化设计".计算机辅助设计与图形学学报 8.0.003(1996):234.

入库方式: OAI收割

来源:计算技术研究所

浏览0
下载0
收藏0
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。