缩略语
第1部分 决策图
第1章 共享多端二元决策图
1.1 引言
1.2 预备知识
1.3 SMTBDD(k)的一个优化算法
1.3.1 权重计算程序
1.3.2 SMTBDD(3)的优化
1.4 小结
参考文献
第2章 多输出函数
2.1 引言
2.2 多输出函数的二元决策图
2.2.1 共享二元决策图和多端二元决策图
2.2.2 用于特征函数的二元决策图
2.2.3 各种二元决策图的比较
2.3 紧凑型BDD for CF的构造
2.3.1 问题描述
2.3.2 输出变量的排序
2.3.3 基于交错采样方案的输入变量排序
2.3.4 输入变量和输出变量的交错
2.3.5 变量排序算法
2.4 小结
参考文献
第3章 多输出函数的共享多值决策图
3.1 引言
3.2 决策图
3.2.1 二元决策图
3.2.2 多值决策图
3.3 紧凑型SMDD的构造
3.3.1 二进制输入变量的配对
3.3.2 输入变量的排序
3.4 小结
参考文献
第4章 多值决策图最小化的启发式算法
4.1 引言
4.2 基本性质
4.3 多值决策图
4.4 多值决策图的最小化
4.4.1 二值输入的配对
4.4.2 多值变量的排序
4.5 小结
参考文献
第5章 多输出函数的时分复用实现——基于共享多端多值决策图
5.1 引言
5.2 多输出函数的决策图
5.2.1 共享二元决策图
5.2.2 共享多值决策图
5.2.3 共享多端多值决策图
5.3 时分复用实现
5.3.1 基于SBDD的TDM实现
5.3.2 基于SMDD的TDM实现
5.3.3 基于SMTMDD的TDM实现
5.3.4 TDM 现的比较
5.4 SMTMDD的精简
5.5 决策图大小的上限
5.6 小结
参考文献
第6章 多输出开关函数——基于多值伪克罗内克决策图
6.1 引言
6.2 定义和基本性质
6.3 伪克罗内克决策图
6.3.1 二值伪克罗内克决策图
6.3.2 多值伪克罗内克决策图
6.4 四值伪克罗内克决策图的优化
6.4.1 二值输入变量的配对
6.4.2 四值变量的排序
6.4.3 展开的选择
6.5 小结
参考文献
第2部分 多值电路设计架构
第7章 多值触发器——基于传输管逻辑
7.1 引言
7.1.1 传输管逻辑实现多值触发器
7.1.2 传输管逻辑实现带二进制编译码的多值触发器
7.2 无二进制编译码的多值触发器
7.2.1 传输管和阈值门的特性
7.2.2 用阈值门实现多值逆变器
7.2.3 用多值传输管逻辑实现多值触发器
7.3 小结
参考文献
第8章 多值多输出逻辑电路——基于电压模式传输管
8.1 引言
8.2 基本定义和术语
8.3 方法
8.3.1 二进制逻辑函数到多值逻辑函数的转换
8.3.2 函数的配对
8.3.3 输出阶段
8.4 小结
参考文献
第9章 多值输入二值输出函数
9.1 引言
9.2 基本定义
9.3 二值变量转换为多值变量
9.4 小结
参考文献
第10章 数字模糊运算——基于多值Fredkin门
10.1 引言
10.2 可逆逻辑
10.2.1 可逆门和经典数字逻辑
10.2.2 多值Fredkin门
10.3 模糊集与模糊关系
10.4 电路
10.4.1 多值Fredkin门模糊运算
10.4.2 用于组合模糊关系的脉动阵列结构
10.5 小结
参考文献
第11章 基于查找表的多值多输出逻辑表达式
11.1 引言
11.2 基本定义和性质
11.2.1 乘积项
11.2.2 最小乘积和
11.2.3 使用Kleenean系数的多值逻辑乘积和表达式
11.3 方法
11.3.1 支撑集矩阵
11.3.2 配对支撑集矩阵
11.4 基于Kleenean系数的多值多输出函数最小化算法
11.5 基于电流模式CMOS实现多值多输出函数
11.6 小结
参考文献
第3部分 可编程逻辑器件
第12章 基于查找表的神经网络矩阵乘法
12.1 引言
12.2 基本定义
12.3 方法
12.4 小结
参考文献
第13章 基于传输管逻辑的易测试可编程逻辑阵列
13.1 引言
13.2 乘积线分组
13.3 设计
13.4 乘积线分组技术
13.5 小结
参考文献
第14章 译码PLA输入分配的遗传算法
14.1 译码器简介
14.2 译码PLA
14.3 基本定义
14.4 遗传算法
14.4.1 遗传算法术语
14.4.2 简单遗传算法
14.4.3 稳态遗传算法
14.5 遗传算子
14.5.1 选择
14.5.2 交叉
14.5.3 突变
14.5.4 反演
14.6 译码PLA的遗传算法
14.6.1 问题编码
14.6.2 适应度函数
14.6.3 改进的遗传算法
14.6.4 译码与-异或PLA实现
展开
