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

计算机科学 ›› 2007, Vol. 34 ›› Issue (4): 287-288.

• 计算机网络与信息安全 • 上一篇下一篇

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

李绍荣徐琳琳

电子科技大学光电信息学院,成都610054

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本课题（No.TDXX0502）获得铁道部“铁路信息科学与工程”开放实验室/北京市“现代信息科学与网络技术”重点实验室科学基金资助.

LI Shao-Rong ,XU Lin-Lin （College of Opto-electronic Information, UESTC of China, Chengdu 610054）

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

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

关键词: 布尔函数形式化验证二叉判定图变量重排序共享BDD

Abstract: Binary Decision Diagram is a graph-based data structure for representing Boolean function. They have found widespread use in computer-aided design and in formal verification of digital circuits. We mainly investigate how to store BDD and to reduce the siz

Key words: Boolean function, Formal verification, Variables reordering,Binary decision diagram, Shared BDD

李绍荣徐琳琳. 简化BDD的SBDD和变量重排序结合算法[J]. 计算机科学, 2007, 34(4): 287-288. https://doi.org/

LI Shao-Rong ,XU Lin-Lin （College of Opto-electronic Information, UESTC of China, Chengdu 610054）. [J]. Computer Science, 2007, 34(4): 287-288. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

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

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0