| 有序二叉判定图及其构造算法研究 |
| |
| 引用本文： | 刘建元.有序二叉判定图及其构造算法研究[J].西安邮电学院学报,2001,6(3):6-10. |
| |
| 作者姓名： | 刘建元 |
| |
| 作者单位： | 西安邮电学院 ASIC中心 |
| |
| 摘 要： | 有序二叉判定图OBDD(orderedbinarydecisiondiagram)是一种数据结构 ,它把布尔函数表示为有向无回路图 ,是布尔函数的一种正则表示 ,可以用来检查布尔函数的一些性质如可满足性、等价性等等。本文将详细地介绍OBDD的数据结构及基于OBDD的布尔函数运算 ,并给出改进后的构造OBDD的算法
|
| 关 键 词： | 二叉决策图 分支程序 符号操作 布尔函数 布尔代数 逻辑设计验证 |
| 文章编号： | 1007-3264(2001)03-0006-05 |
| 修稿时间： | 2001年3月27日 |
The study of ordered binary decision diagram and its constructing arithmetic |
| |
| Abstract: | Ordered binary decision diagram representing a Boolean function to a directed_acyclic_diagram is a data structure of Boolean function canonical representation . We can check some properties of Boolean function such as satisfiablity, equivalence, ect. This article focuses on data structure of OBDD and operations based on OBDD in detail and reveals arithmetic improved of constructing OBDD. |
| |
| Keywords: | ordered binary decision diagram embranchment program symbolic operate Boolean function Boolean algebra logic design_and_verification |
| 本文献已被 维普 万方数据 等数据库收录！ |
