| 有序二叉决策图是布尔函数的一种规范表达形式、一种新型数据结构。基于（）BDD可以完成布尔函数的有效表述和操作运算，OBDD在VKSI逻辑综合和验证方面的成功应用引起了学术界和工业应用界的极大关注。本书对（）BDD相关技术问题、（）BDD扩展形式、（）BDD应用等方面进行了介绍和讨沦，主要内容包括布尔表达式及其描述、有序二叉决策网、零压缩二叉决策图、代数决策图、边值二叉决策图、二叉矩量图、时问变量决策图、应用专题等。 |
| 前言 第1章 布尔表达式及其描述 1.1 布尔函数 1.1.1 布尔代数 1.1.2 布尔表达式 1.1.3 布尔函数 1.1.4 布尔函数的范式 1.2 命题公式 1.2.1 命题与联结词 1.2.2 合式公式 1.2.3 命题公式的范式 1.2.4 命题公式与布尔函数 1.3 逻辑电路 1.3.1 基本逻辑门 1.3.2 逻辑电路的布尔函数 1.4 布尔表达式的其他描述形式 1.4.1 真值表 1.4.2 决策树 1.4.3 二叉决策图 参考文献 第2章 有序二叉决策图 2.1 OBDD及其规范型 2.1.1 OBDD的定义 2.1.2 OBDD的性质 2.2 OBDD的简化算法 2.2.1 OBDD的简化 2.2.2 简化算法 2.3 OBDD的构造及操作 2.3.1 ()BDD的构造 2.3.2 OBDD的操作 2.3.3 补边OBDD 2.4 OBDD的变量序 2.4.1 OBDD的最小化 2.4.2 OBDD的重排序 2.4.3 OBDD的变量序算法 参考文献 第3章 零压缩二叉决策图 3.1 ZBDD及其性质 3.1.1 组合集合及其表示 3.1.2 ZBDD的定义 3.1.3 ZBDD的性质 3.2 ZBDD的构造及基本操作 3.2.1 ZBDD的操作 3.2.2 ZBDD的构造 3.2.3 补边ZBDD 3.3 一元Cube集合代数 3.3.1 基本概念 3.3.2 基本运算 3.3.3 算法实现 |
内容加载中，请稍后...
商品评论（0条）