第1章 引言 1
1.1 数字硬件 1
1.2 设计流程 3
1.3 计算机结构 4
1.4 本书中的逻辑电路设计 5
1.5 信息的数字化表示 5
1.6 理论与实践 9
习题 10
参考文献 10
第2章 逻辑电路导论 11
2.1 变量与函数 11
2.2 反相 12
2.3 真值表 13
2.4 逻辑门和网络 14
2.5 布尔代数 17
2.6 利用“与”门、“或”门和“非”门进行综合 23
2.7 “与非”和“或非”逻辑网络电路 28
2.8 设计实例 31
2.9 CAD工具介绍 34
2.10 Verilog简介 37
2.11 最简化和卡诺图 41
2.12 最小化策略 46
2.13 和之积形式的最简式 49
2.14 非完整定义函数（无关项） 50
2.15 多输出电路 51
2.16 小结 53
2.17 解决问题的实例 53
习题 58
参考文献 61
第3章 数的表示方法和算术运算电路 62
3.1 按位计数法（数的位置表示法） 62
3.2 无符号数的加法运算 64
3.3 有符号数 67
3.4 快速加法器 75
3.5 使用CAD工具设计算术运算电路 79
3.6 乘法 88
3.7 其他数的表示方式 90
3.8 解决问题的实例 94
习题 97
参考文献 99
第4章 组合电路模块 100
4.1 多路选择器 100
4.2 译码器 105
4.3 编码 108
4.4 代码转换器 109
4.5 算术比较电路 109
4.6 用Verilog设计组合逻辑电路 110
4.7 小结 121
4.8 解决问题的实例 121
习题 126
参考文献 128
第5章 触发器、寄存器和计数器 129
5.1 基本锁存器 129
5.2 门控SR锁存器 131
5.3 门控D锁存器 132
5.4 边沿触发的D触发器 134
5.5 T触发器 139
5.6 JK触发器 139
5.7 术语小结 140
5.8 寄存器 140
5.9 计数器 142
5.10 复位同步 147
5.11 其他类型的计数器 149
5.12 用CAD工具设计含存储元件的电路 151
5.13 用Verilog构建寄存器和计数器 156
5.14 设计举例 160
5.15 触发器电路的时序分析 164
5.16 小结 167
5.17 解决问题的实例 167
习题 171
参考文献 174
第6章 同步时序电路 175
6.1 基本设计步骤 176
6.2 状态分配问题 183
6.3 Mealy状态模型 185
6.4 采用CAD工具设计有限状态机 188
6.5 串行加法器实例 193
6.6 状态最小化 197
6.7 基于时序电路的计数器设计 202
6.8 仲裁电路的FSM 207
6.9 同步时序电路的分析 209
6.10 算法状态机流程图 211
6.11 时序电路的形式模型 213
6.12 小结 214
6.13 解决问题的实例 214
习题 219
参考文献 220
第7章 数字系统设计 222
7.1 总线结构 222
7.2 简单的处理器 227
7.3 位计数电路 234
7.4 移位和加乘法器 238
7.5 除法器 242
7.6 算术平均 248
7.7 排序操作 251
7.8 时钟同步和时序问题 258
7.9 小结 260
习题 261
参考文献 262
第8章 逻辑函数的优化实现 264
8.1 多级综合 264
8.2 多级电路分析 271
8.3 逻辑函数的其他表示方法 273
8.4 基于立方体表示法的优化技术 279
8.5 小结 288
8.6 解决问题的实例 289
习题 293
参考文献 294
第9章 异步时序电路 296
9.1 异步行为 296
9.2 异步电路分析 298
9.3 异步电路综合 303
9.4 状态化简 309
9.5 状态分配 316
9.6 冒险 324
9.7 一个完整的设计实例 328
9.8 小结 331
9.9 解决问题的实例 332
习题 335
参考答案 337
第10章 计算机辅助设计工具 338
10.1 综合 338
10.2 物理设计 342
10.3 小结 345
参考文献 345
第11章 逻辑电路测试 346
11.1 故障模型 346
11.2 测试集的复杂度 347
11.3 路径敏化 348
11.4 树形结构电路 350
11.5 随机测试 351
11.6 时序电路的测试 353
11.7 内建自测试 355
11.8 印制电路板 359
11.9 小结 361
习题 362
参考文献 363
附录A Verilog参考 364
附录B 实现技术 391
部分习题参考答案 440