| OBDD变量排序的自适应选择算法 |
| |
| 引用本文： | 贝劲松,边计年,薛宏熙,龙望宁,洪先龙. OBDD变量排序的自适应选择算法[J]. 计算机辅助设计与图形学学报, 1999, 11(5): 412-416 |
| |
| 作者姓名： | 贝劲松 边计年 薛宏熙 龙望宁 洪先龙 |
| |
| 作者单位： | 清华大学计算机科学与技术系,北京,100084 |
| |
| 基金项目： | 国家“九五”项目，211 工程资助 |
| |
| 摘 要： | 有序的二叉决策图（ＯＢＤＤ）是形式验证领域的基础技术之一，由于ＯＢＤＤ的最大对变量序非常敏感，使得变量排序问题成为最关键的一个问题。首先将ＯＢＤＤ变量排序问题分解为３个子问题，定义了若干启发信息，给出了上述子问题的启发式解法；然后提出了一个变量排序自适应选择算法，从若干候选变量序中选出“最后”的变量序。最后给出了ＩＳＣＡＳ８５电路的实验结果。
|
| 关 键 词： | 布尔函数 变量序 组合电路 形式验证 |
| 修稿时间： | 1998-05-29 |
SELF-ADAPTIVE SELECTION ALGORITHM FOR OBDD VARIABLE ORDERING |
| |
| BEI Jin-Song,BIAN Ji-Nian,XUE Hong-Xi,LONG Wang-Ning,HONG Xian-Long. SELF-ADAPTIVE SELECTION ALGORITHM FOR OBDD VARIABLE ORDERING[J]. Journal of Computer-Aided Design & Computer Graphics, 1999, 11(5): 412-416 |
| |
| Authors: | BEI Jin-Song BIAN Ji-Nian XUE Hong-Xi LONG Wang-Ning HONG Xian-Long |
| |
| Abstract: | |
| |
| Keywords: | OBDD |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
