中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共2条，第1-2条 帮助

已选(0)清除 条数/页：   排序方式：
MBDD构造与优化设计 期刊论文
计算机辅助设计与图形学学报, 1996, 卷号: 8.0, 期号: 003, 页码: 234
作者:  张东林;  宫云战;  何新华
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
构造  集成电路  CAD  MBDD  优化设计  
基于变量排序的BDD简化 期刊论文
电子测量与仪器学报, 1995, 卷号: 9.0, 期号: 003, 页码: 7
作者:  何新华
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
变量  排序  节点  布尔操作  二元判定图  布尔函数