计算机辅助逻辑设计理论PDF电子书下载

目录 1

第一章　多维体运算基础 1

§1.1　多维体列阵表示逻辑函数 1

1．逻辑函数的定义 1

2．多维体概念的建立 3

3．多维体的图形表示 5

4．函数的初始覆盖 6

§1.2　多维体复形及质蕴涵项 7

1．多维体复形的定义 7

2．函数的质蕴涵项 9

1．蕴涵算符“？”及函数列阵的吸收 10

§1.3　多维体之间的蕴涵关系 10

2．多维体蕴涵的0维体 13

3．由0维体构成多维体 14

§1.4　多维体的并集和交集 16

1．并集（union）运算 16

2．交集（intersection）运算 17

3．函数复形的代数运算 20

§1.5　多维体的相容运算 20

§1.6　多维体的锐积运算 22

1．锐积运算的定义 23

2．多维体集合的锐积运算 24

3．锐积运算的性质 29

4．锐积运算的分组蕴涵化简 32

§1.7　多维体运算的程序实现 39

1．多维体组成元素编码 40

2．蕴涵运算的实现 40

3．相交运算的实现 41

4．相容运算的实现 42

5．锐积运算的实现 42

§1.8　多维体运算算符统一为广群结构 45

1．等幂变换半群 46

2．交换向量群 46

3．六阶混合广群 48

§1.9　广群结构的运用 49

1．第二映射函数 50

2．多维体运算算符第二映射函数的定义 52

3．统一为广群结构的运用 54

§1.10　多维体运算算符统一为环的结构 57

1．蕴涵运算的简化 57

2．锐积运算的简化 60

3．环结构的组成 62

4．有幺元的四元素布尔环 64

§1.11　环结构的运用 67

1．环映射函数 67

2．第三映射函数的定义 69

3．布尔环的运用 70

§1.12　广群结构和环结构的比较 74

1．六阶混合广群结构的特点 75

2．交换环结构的特点 76

习题 77

第二章　单输出函数的综合 80

§2.1　两级逻辑网络综合的某些问题 80

1．函数复形的覆盖及最小覆盖 80

2．逻辑网络的造价函数 81

3．质蕴涵项与最小造价覆盖、无冗余覆盖 82

4．两级逻辑网络的实现方式 83

§2.2　质蕴涵项的计算 84

1．Quine-McCluskey方法 84

2．改进的Quine-McCluskey方法 86

3．用广义相容运算计算质蕴涵项 91

§2.3　求解覆盖问题 100

1．质蕴涵项表及其简化规则 100

2．分枝方法 102

3．通过求解布尔方程求解覆盖问题 103

4．线性规划法求解覆盖问题 104

§2.4　求解覆盖问题的精选法 105

1．选取极值项 106

2．按权优选 107

3．分枝和回找的实现 110

§2.5　寻求接近最小覆盖的参数选择法 113

1．基本参数的定义 114

2．参数选择法 115

3．算法评价 122

习题 123

第三章　多输出函数的综合 124

§3.1　多输出函数综合问题 124

1．多输出函数质蕴涵项的定义 124

2．多输出函数的综合 129

§3.2　多输出函数的多维体及其运算 130

1．多维体及其列阵 130

2．多维体的蕴涵 134

3．多维体的相交 135

4．合面和相容运算 137

5．锐积运算 139

§3.3　多输出函数质蕴涵项的计算 143

1．相容运算求多输出质蕴涵项 143

2．锐积运算求多输出质蕴涵项 146

§3.4　求解多输出函数覆盖问题的精选法 151

1．极值项的计算 152

2．优选 155

3．分枝 158

4．精选法 163

§3.5　连接列阵及冗余连接的消除 166

1．连接列阵 166

2．冗余连接的产生 168

3．消除冗余连接的算法 168

1．多输出函数覆盖表的简化 170

§3.6　求解多输出函数覆盖问题的覆盖矩阵取补法 170

2．覆盖矩阵取补法 173

3．质蕴涵项的优选 174

4．消去输出冗余连接 175

5．算法的构成 175

6．算法的简化与优选功能 180

§3.7　寻求多输出函数无冗余覆盖的消去法 182

§3.8　寻求多输出函数无冗余覆盖的简化法 183

§3.9　寻求接近最小造价覆盖的参数选择法 189

习题 195

1．扇入和扇出的限制 198

§4.1　多维体的因子及其性质 198

第四章　多级逻辑网络的综合 198

2．多维体的公因子 199

3．公因子的质量因数 201

4．提取公因子的有关定理 201

§4.2　寻求最大质量因数因子的状态分开法 203

§4.3　扇入有限的单输出“与非”网络的综合 211

1．扇入问题的存在及解决方法 211

2．实现多级网络的三种方案 213

3．扇入有限多级网络的综合 216

4．公因子宽度的选择 217

§4.4　综合扇入扇出有限的多输出“与非”网络的简化法 222

1．多输出函数列阵公因子的质量因数 222

2．算法的形成 223

3．综合的简化法 228

4．算法评价 238

§4.5　函数分解及其运用 238

1．函数分解的基本概念 238

2．不相交分解 241

习题 249

第五章　时序机的综合 251

§5.1　时序函数的描述及有限状态机 251

§5.2　时序机自动综合的问题 254

§5.3　完全规定时序机状态最小化的k等价划分法 258

1．等价状态的概念 258

3．状态最小化的k等价划分法 259

2．等价状态的性质 259

§5.4　用替换性划分格的方法进行完全规定时序机状态的最小 261

化 261

1．状态划分的概念和定义 261

2．状态划分的二元运算 262

3．替换性划分及其性质 264

4．替换性划分的格及其产生 268

5．输出一致替换性划分格及其应用 275

§5.5　不完全规定时序线路的最大相容类及其产生 279

1．相容状态的概念 279

2．相容状态对的产生 280

3．最大相容的产生 281

1．最小闭覆盖 285

§5.6　最小闭覆盖与质相容的产生 285

2．相容类的类集合与质相容 287

3．质相容的产生 290

§5.7　求解最小闭覆盖问题 292

1．最小闭覆盖与质相容 293

2．求解最小闭覆盖的穷举法 293

3．求解最小闭覆盖的覆盖表法 294

4．构成简化状态表 298

§5.8　不完全规定的时序机状态最小化的划分法 299

§5.9　时序机状态分配的经验方法 303

1．相邻码分配法 304

2．按权分配法 306

§5.10　利用替换性划分减少状态分配的相关性 308

§5.11　状态表的输入方法及激励、输出函数的产生 312

1．状态表的输入方法 312

2．激励、输出函数的产生 313

§5.12　时序逻辑自动综合程序 317

1．主程序中的数组及标识变量 317

2．主程序框图及实现功能 318

习题 323

第六章　组件逻辑网络的综合 327

§6.1　MOS两级组合逻辑网络的综合 327

1．MOS逻辑网络综合的要求 327

2．基本概念和定义 328

3．MOS网络的综合算法 332

4．算法的执行时间 346

§6.2　PLA的构成及应用 347

1．PLA的结构 348

2．PLA的基本性能 350

3．PLA的全面综合问题 352

§6.3　PLA实现硬件逻辑函数 354

1．PLA实现组合逻辑函数 354

2．PLA实现时序逻辑函数 354

§6.4　用PLA实现微程序控制存贮器 355

§6.5　消除冗余输入变量 358

1．基本定义 359

2．冗余输入变量的判别 361

3．消去冗余变量求解覆盖问题的算法 365

§6.6　减小基片面积 372

1．减少乘积项线 372

2．输入变量的预先处理 374

3．输出线上使用反相器 375

§6.7　PLA的实际运用问题 378

§6.8　运用函数分解方法综合组件逻辑网络 380

习题 383

参考文献 384

附录一　近世代数基础知识 390

附录二　时序逻辑自动综合程序 399

内容索引 435