简化BDD的SBDD和变量重排序结合算法

作     者：李绍荣 徐琳琳 LI Shao-Rong;XU Lin-Lin

作者机构：电子科技大学光电信息学院成都610054 

基　　金：(No.TDXX0502)获得铁道部"铁路信息科学与工程"开放实验室/北京市"现代信息科学与网络技术"重点实验室科学基金资助 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2007年第34卷第4期

页      码：287-288页

摘      要：二叉判定图是一种基于图表的用来表示布尔函数的数据结构。它泛广地应用于计算机半辅助设计和数字电路的形式化验证中。本文主要研究如何存储和如何简化BDD。提出了一种把SBDD和变量重排序结合在一起的新算法,用来简化BDD的大小。

主 题 词：布尔函数 形式化验证 二叉判定图 变量重排序 共享BDD 

学科分类：08[工学] 081101[081101] 0811[工学-水利类] 081102[081102] 

核心收录：

D　O　I：10.3969/j.issn.1002-137X.2007.04.079

馆 藏 号：203255269...