期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

二元判决图应用中的变量编序算法

下载PDF

导出

摘要本文对当今的二元判决图的变量编序算法进行了综述。在充分阐述静态变量编序算法和动态变量编序算法的原理和实现方法的基础上,对它们进行比较,得出了结论:随着二元判决图在计算机辅助设计的许多领域中的应用愈来愈复杂,动态变量编序算法是必不可少的。

作者章小兵陈光(礻禹)

机构地区电子科技大学CAT室

出处《微电子测试》 1997年第2期31-35,共5页

基金国家"八五"重点科技攻关项目(85-703-02-03)资助

关键词二元判决图 CAD 变量编序算法

分类号 TP391.72 [自动化与计算机技术—计算机应用技术]

引文网络
相关文献

1杨意,潘中良.一种用二元判决图求网络可靠度的方法[J].华南师范大学学报（自然科学版）,2004,36(3):53-58. 被引量：3
2李翔宇,陈光.二元判决图变量排序新方法[J].电子科技大学学报,1999,28(2):152-156. 被引量：2
3章小兵,陈光.构造二元判决图过程中的记忆方法[J].电子学报,1997,25(5):53-56.
4陈世平,陈光(礻禹).逻辑表达式图的实现及其在集成电路故障可测性中的应用[J].四川大学学报（工程科学版）,2006,38(2):151-154.
5吕关锋,苏开乐,林瀚,骆翔宇,陈清亮,岳伟亚.基于BDD的图表示及其算法[J].中山大学学报（自然科学版）,2006,45(1):20-24. 被引量：4
6张旭,胡东华.BDD在网络系统可靠度算法中的应用[J].科技信息,2007(25):10-10.
7胡江,张巧文.基于RevKit的可逆加法器设计[J].数学的实践与认识,2015,45(9):146-151.

微电子测试

1997年第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部