徐琳琳

作品数：1被引量：0H指数：0
导出分析报告
供职机构：电子科技大学更多>>
发文主题：布尔函数BDDSBDD编译器二叉判定图更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《计算机科学》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
简化BDD的SBDD和变量重排序结合算法
《计算机科学》2007年第4期287-288,共2页李绍荣 徐琳琳 
(No.TDXX0502)获得铁道部"铁路信息科学与工程"开放实验室/北京市"现代信息科学与网络技术"重点实验室科学基金资助
二叉判定图是一种基于图表的用来表示布尔函数的数据结构。它泛广地应用于计算机半辅助设计和数字电路的形式化验证中。本文主要研究如何存储和如何简化BDD。提出了一种把SBDD和变量重排序结合在一起的新算法,用来简化BDD的大小。
关键词：布尔函数 形式化验证 二叉判定图 变量重排序 共享BDD 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部