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

摘要：

有序的二叉决策图(OBDD)是形式验证领域的基础技术之一.由于OBDD的大小对变量序非常敏感,使得变量排序问题成为最关键的一个问题.首先将OBDD变量排序问题分解为3个子问题,定义了若干启发信息,给出了上述子问题的启发式解法;然后提出了一个变量排序自适应选择算法,从若干候选变量序中选出"最佳"的变量序.最后给出了ISCAS85电路的实验结果.

关键词：布尔函数、OBDD、变量序、组合电路、形式验证

所属期刊栏目：11

分类号：TP302(计算技术、计算机技术)

资助基金：国家科技攻关项目96-738-01-01-07

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：412-416