数字逻辑基础与Verilog设计PDF电子书下载

第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