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
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。