OBDD变量排序的自适应选择算法

作     者：贝劲松 边计年 薛宏熙 龙望宁 洪先龙 BEI Jin-Song;BIAN Ji-Nian;XUE Hong-Xi;LONG Wang-Ning;HONG Xian-Long

作者机构：清华大学计算机科学与技术系北京100084 

基　　金：国家"九五"项目 211 工程资助 

出 版 物：《计算机辅助设计与图形学学报》 (Journal of Computer-Aided Design & Computer Graphics)

年 卷 期：1999年第11卷第5期

页      码：412-416页

摘      要：有序的二叉决策图（ＯＢＤＤ）是形式验证领域的基础技术之一．由于ＯＢＤＤ的大小对变量序非常敏感，使得变量排序问题成为最关键的一个问题．首先将ＯＢＤＤ变量排序问题分解为３ 个子问题，定义了若干启发信息，给出了上述子问题的启发式解法；然后提出了一个变量排序自适应选择算法，从若干候选变量序中选出“最佳”的变量序．最后给出了ＩＳＣＡＳ８５ 电路的实验结果．

主 题 词：布尔函数 OBDD 组合电路 形式验证 集成电路 

学科分类：080903[080903] 0809[工学-计算机类] 08[工学] 

核心收录：

D　O　I：10.3321/j.issn:1003-9775.1999.05.008

馆 藏 号：203564734...