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

作　　者：章小兵[1] 陈光(礻禹)[1] 

机构地区：[1]电子科技大学CAT室

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

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

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

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

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