首页 | 本学科首页   官方微博 | 高级检索  
     

OBDD变量排序的自适应选择算法
引用本文:贝劲松,边计年,薛宏熙,龙望宁,洪先龙. OBDD变量排序的自适应选择算法[J]. 计算机辅助设计与图形学学报, 1999, 11(5): 412-416
作者姓名:贝劲松  边计年  薛宏熙  龙望宁  洪先龙
作者单位:清华大学计算机科学与技术系,北京,100084
基金项目:国家“九五”项目,211 工程资助
摘    要:有序的二叉决策图(OBDD)是形式验证领域的基础技术之一,由于OBDD的最大对变量序非常敏感,使得变量排序问题成为最关键的一个问题。首先将OBDD变量排序问题分解为3个子问题,定义了若干启发信息,给出了上述子问题的启发式解法;然后提出了一个变量排序自适应选择算法,从若干候选变量序中选出“最后”的变量序。最后给出了ISCAS85电路的实验结果。

关 键 词:布尔函数  变量序  组合电路  形式验证
修稿时间: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 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号