Fundamentals of digital logic with Verilog design
副标题：无
作 者：(加)Stephen Brown，(加)Zvonko Vranesic著;夏宇闻等译
分类号：
ISBN：9787111221821
微信扫一扫,移动浏览光盘
简介
本书系统介绍数字逻辑基本概念与实际应用。主要内容包括：逻辑电
路、组合逻辑、算术运算电路、存储元件、同步时序电路(有限状态机)、
异步时序电路、测试等。本书内容全面，概念清楚，结合了逻辑设计最新
技术的发展。
本书适合作为电子工程、通信工程、计算机等专业数字逻辑设计课程
的教材或教学参考书，也可作为相关技术人员的参考书。
目录
目录
译者序
译者简介
序言
前言
作者简介
第1章 设计概念
1.1 数字硬件
1.1.1 标准芯片
1.1.2 可编程逻辑器件
1.1.3 定制芯片
1.2 设计过程
1.3 数字硬件的设计
1.3.1 基本设计循环
1.3.2 计算机的结构
1.3.3 数字硬件单元的设计
1.4 本书中的逻辑电路设计
1.5 理论和实践
参考文献
第2章 逻辑电路入门
2.1 变量和函数
2.2 反相
2.3 真值表
2.4 逻辑门和逻辑网络
2.5 布尔代数
2.5.1 维恩图
2.5.2 符号和术语
2.5.3 运算的优先级别
2.6 用与门、或门和非门进行综合
2.7 与非以及或非逻辑网络
2.8 设计举例
2.8.1 三路灯光控制
2.8.2 多路选择器电路
2.9 计算机辅助设计工具简介
2.9.1 设计输入
2.9.2 综合
2.9.3 功能仿真
2.9.4 物理设计
2.9.5 时序仿真
2.9.6 芯片配置
2.10 Verilog简介
2.10.1 逻辑电路的结构描述
2.10.2 逻辑电路的行为描述
2.10.3 编写Verilog代码必须注意的关键点
2.11 小结
2.12 问题求解举例
练习题
参考文献
第3章 实现技术
3.1 晶体管开关
3.2 NMOS逻辑门
3.3 CMOS逻辑门
3.4 负逻辑系统
3.5 标准芯片
3.6 可编程逻辑器件
3.6.1 可编程逻辑阵列
3.6.2 可编程阵列逻辑
3.6.3 PLA和PAL的编程
3.6.4 复杂可编程逻辑器件
3.6.5 现场可编程门阵列
3.6.6 用CAD工具在CPLD和FPGA上实现逻辑电路
3.6.7 CPLD和FPGA的应用
3.7 定制芯片、标准单元和门阵列
3.8 实际问题
3.8.1 MOSFET晶体管的制造和行为
3.8.2 MOSFET晶体管的导通电阻
3.8.3 逻辑门的电平
3.8.4 噪声容限
3.8.5 逻辑门的动态操作
3.8.6 逻辑门的功率消耗
3.8.7 通过晶体管开关传递1和0
3.8.8 逻辑门的扇入和扇出
3.9 传输门
3.9.1 异或门
3.9.2 多路选择器电路
3.10 SPLD、CPLD和FPGA的实现细节
3.11 小结
3.12 问题求解举例
练习题
参考文献
第4章 逻辑函数的优化实现
4.1 卡诺图
4.2 最小化策略
4.2.1 专业术语
4.2.2 最小化步骤
4.3 和之积形式的化简
4.4 非完全指定函数
4.5 多输出电路
4.6 多级综合
4.6.1 提取公因子
4.6.2 函数分解
4.6.3 多级与非以及或非电路
4.7 多级电路的分析
4.8 立方体表示法
4.9 列表法化简
4.9.1 质蕴涵项的产生
4.9.2 最小覆盖的确定
4.9.3 列表法小结
4.10 使用立方体表示法最小化函数
4.10.1 本质蕴涵项的确定
4.10.2 求解最小覆盖的完整步骤
4.11 一些实际问题的考虑
4.12 由Verilog代码综合得到电路举例
4.13 小结
4.14 问题求解举例
练习题
参考文献
第5章 数的表示和算术电路
5.1 数位的表示法
5.1.1 无符号整数
5.1.2 十进制数与二进制数之间的转换
5.1.3 八进制数和十六进制数的表示
5.2 无符号数的加法
5.2.1 全加器的分解
5.2.2 行波进位加法器
5.2.3 设计举例
5.3 有符号数
5.3.1 负数
5.3.2 加法和减法
5.3.3 加法器和减法器单元
5.3.4 基数补码方案
5.3.5 算术溢出
5.3.6 电路的性能问题
5.4 快速加法器
5.5 使用CAD工具设计算术电路
5.5.1 使用原理图编辑工具设计算术电路
5.5.2 使用Verilog设计算术电路
5.5.3 使用向量信号
5.5.4 使用自动生成语句
5.5.5 Verilog中的线网和变量
5.5.6 算术赋值语句
5.5.7 Verilog代码中数的表示
5.6 乘法
5.6.1 无符号数的阵列乘法器
5.6.2 有符号数的乘法
5.7 数的其他表示方法
5.7.1 定点数
5.7.2 浮点数
5.7.3 二一十进制编码
5.8 ASCII字符码
5.9 问题求解举例
练习题
参考文献
第6章 组合电路构件块
6.1 多路选择器
6.1.1 用多路选择器的逻辑函数的综合
6.1.2 用香农展开的多路选择器综合
6.2 译码器
6.3 编码器
6.3.1 二进制编码器
6.3.2 优先级编码器
6.4 码型转换器
6.5 算术比较电路
6.6 用Verilog表示组合电路
6.6.1 条件操作符
6.6.2 if-else语句
6.6.3 case语句
6.6.4 for循环语句
6.6.5 Verilog操作符
6.6.6 生成结构
6.6.7 任务和函数
6.7 小结
6.8 问题求解举例
练习题
参考文献
第7章 触发器、寄存器、计数器和简单处理器
7.1 基本锁存器
7.2 门控SR锁存器
7.3 门控D锁存器
7.4 主从D触发器和沿触发的D触发器
7.4.1 主从D触发器
7.4.2 沿触发的D触发器
7.4.3 有清零端和预置信号的D触发器
7.4.4 触发器的时序参数
7.5 T触发器
7.6 JK触发器
7.7 术语小结
7.8 寄存器
7.8.1 移位寄存器
7.8.2 并行存取的移位寄存器
7.9 计数器
7.9.1 异步计数器
7.9.2 同步计数器
7.9.3 可并行置数的计数器
7.10 同步复位
7.11 其他类型的计数器
7.11.1 BCD计数器
7.11.2 环形计数器
7.11.3 Johnson计数器
7.11.4 计数器设计要点
7.12 用CAD工具在设计中加入存储元件
7.12.1 在电路原理图中添加存储元件
7.12.2 用Verilog代码实现存储元件
7.12.3 阻塞赋值和非阻塞赋值
7.12.4 组合逻辑电路的非阻塞赋值
7.12.5 具有清零功能的触发器
7.13 用CAD工具在设计中加入寄存器和计数器
7.13.1 在电路原理图中添加寄存器和计数器
7.13.2 在Verilog代码中使用库模块
7.13.3 在Verilog代码中使用寄存器和计数器结构
7.14 设计举例
7.14.1 总线结构
7.14.2 简单的处理器
7.14.3 反应计时器
7.14.4 寄存器传输级代码
7.15 触发器电路的时序分析
7.16 小结
7.17 问题求解举例
练习题
参考文献
第8章 同步时序电路
8.1 基本设计步骤
8.1.1 状态图
8.1.2 状态表
8.1.3 状态分配
8.1.4 触发器的选择以及下一个状态和输出表达式的推导
8.1.5 时序图
8.1.6 设计步骤小结
8.2 状态分配问题
8.3 米利型状态模型
8.4 用CAD工具设计有限状态机
8.4.1 摩尔型有限状态机的Verilog代码
8.4.2 Verilog代码的综合
8.4.3 电路的仿真和测试
8.4.4 另一种风格的Verilog代码
8.4.5 用CAD工具的设计步骤小结
8.4.6 在Verilog代码中进行状态分配
8.4.7 用Verilog语句来编写米利型有限状态机
8.5 串行加法器举例
8.5.1 用米利型有限状态机实现的串行加法器
8.5.2 用摩尔型有限状态机实现的串行加法器
8.5.3 串行加法器的Verilog代码
8.6 状态最小化
8.6.1 划分最小化的步骤
8.6.2 未完全指定的有限状态机
8.7 用时序电路方法设计计数器
8.7.1 模8计数器的状态图和状态表
8.7.2 状态分配
8.7.3 用D触发器实现的计数器
8.7.4 用JK触发器实现的计数器
8.7.5 举例：一个不同的计数器
8.8 用作仲裁器电路的有限状态机
8.8.1 仲裁器电路的实现
8.8.2 有限状态机输出延迟的最小化
8.8.3 小结
8.9 同步时序电路的分析
8.10 算法状态机图
8.11 时序电路的形式化模型
8.12 小结
8.13 问题求解举例
练习题
参考文献
第9章 异步时序电路
9.1 异步行为
9.2 异步电路分析
9.3 异步电路综合
9.4 状态化简
9.5 状态分配
9.5.1 转移图
9.5.2 未指定的下一个状态项的利用
9.5.3 使用附加状态变量进行的状态分配
9.5.4 独热状态分配
9.6 冒险
9.6.1 静态冒险
9.6.2 动态冒险
9.6.3 冒险的意义
9.7 一个完整的设计实例
9.8 小结
9.9 问题求解举例
练习题
参考文献
第10章 数字系统设计
10.1 构件块电路
10.1.1 有使能输入的触发器和寄存器
10.1.2 有使能输入的移位寄存器
10.1.3 静态随机存取存储器
10.1.4 可编程逻辑器件中的SRAM块
10.2 设计举例
10.2.1 位计数电路
10.2.2 算法状态机图蕴涵的时序信息
10.2.3 移位相加实现的乘法器
10.2.4 除法器
10.2.5 算术平均值
10.2.6 排序操作
10.3 时钟同步
10.3.1 时钟偏差
10.3.2 触发器的时序参数
10.3.3 触发器的异步输入
10.3.4 开关的抖动
10.4 小结
练习题
参考文献
第11章 逻辑电路测试
11.1 故障模型
11.1.1 固滞模型
11.1.2 单个故障和多个故障
11.1.3 CMOS电路
11.2 测试集的复杂度
11.3 路径的敏感化
11.4 树状结构的电路
11.5 随机测试
11.6 时序电路的测试
11.7 内建自测试
11.7.1 内建逻辑块观察器
11.7.2 签字分析
11.7.3 边界扫描
11.8 印制电路板
11.8.1 印制电路板的测试
11.8.2 测试仪器
11.9 小结
练习题
参考文献
第12章 计算机辅助设计工具
12.1 综合
12.1.1 网表的生成
12.1.2 门的优化
12.1.3 技术映象
12.2 物理设计
12.2.1 布局
12.2.2 布线
12.2.3 静态时序分析
12.3 小结
参考文献
部分习题答案
附录A Verilog参考资料
附录B 辅导教材1——使用Quartus II计算机辅助设计软件
附录C 辅导教材2——用Altera器件实现电路
附录D 辅导教材3——在FPGA中的物理实现
附录E 商业器件
?Tx
译者序
译者简介
序言
前言
作者简介
第1章 设计概念
1.1 数字硬件
1.1.1 标准芯片
1.1.2 可编程逻辑器件
1.1.3 定制芯片
1.2 设计过程
1.3 数字硬件的设计
1.3.1 基本设计循环
1.3.2 计算机的结构
1.3.3 数字硬件单元的设计
1.4 本书中的逻辑电路设计
1.5 理论和实践
参考文献
第2章 逻辑电路入门
2.1 变量和函数
2.2 反相
2.3 真值表
2.4 逻辑门和逻辑网络
2.5 布尔代数
2.5.1 维恩图
2.5.2 符号和术语
2.5.3 运算的优先级别
2.6 用与门、或门和非门进行综合
2.7 与非以及或非逻辑网络
2.8 设计举例
2.8.1 三路灯光控制
2.8.2 多路选择器电路
2.9 计算机辅助设计工具简介
2.9.1 设计输入
2.9.2 综合
2.9.3 功能仿真
2.9.4 物理设计
2.9.5 时序仿真
2.9.6 芯片配置
2.10 Verilog简介
2.10.1 逻辑电路的结构描述
2.10.2 逻辑电路的行为描述
2.10.3 编写Verilog代码必须注意的关键点
2.11 小结
2.12 问题求解举例
练习题
参考文献
第3章 实现技术
3.1 晶体管开关
3.2 NMOS逻辑门
3.3 CMOS逻辑门
3.4 负逻辑系统
3.5 标准芯片
3.6 可编程逻辑器件
3.6.1 可编程逻辑阵列
3.6.2 可编程阵列逻辑
3.6.3 PLA和PAL的编程
3.6.4 复杂可编程逻辑器件
3.6.5 现场可编程门阵列
3.6.6 用CAD工具在CPLD和FPGA上实现逻辑电路
3.6.7 CPLD和FPGA的应用
3.7 定制芯片、标准单元和门阵列
3.8 实际问题
3.8.1 MOSFET晶体管的制造和行为
3.8.2 MOSFET晶体管的导通电阻
3.8.3 逻辑门的电平
3.8.4 噪声容限
3.8.5 逻辑门的动态操作
3.8.6 逻辑门的功率消耗
3.8.7 通过晶体管开关传递1和0
3.8.8 逻辑门的扇入和扇出
3.9 传输门
3.9.1 异或门
3.9.2 多路选择器电路
3.10 SPLD、CPLD和FPGA的实现细节
3.11 小结
3.12 问题求解举例
练习题
参考文献
第4章 逻辑函数的优化实现
4.1 卡诺图
4.2 最小化策略
4.2.1 专业术语
4.2.2 最小化步骤
4.3 和之积形式的化简
4.4 非完全指定函数
4.5 多输出电路
4.6 多级综合
4.6.1 提取公因子
4.6.2 函数分解
4.6.3 多级与非以及或非电路
4.7 多级电路的分析
4.8 立方体表示法
4.9 列表法化简
4.9.1 质蕴涵项的产生
4.9.2 最小覆盖的确定
4.9.3 列表法小结
4.10 使用立方体表示法最小化函数
4.10.1 本质蕴涵项的确定
4.10.2 求解最小覆盖的完整步骤
4.11 一些实际问题的考虑
4.12 由Verilog代码综合得到电路举例
4.13 小结
4.14 问题求解举例
练习题
参考文献
第5章 数的表示和算术电路
5.1 数位的表示法
5.1.1 无符号整数
5.1.2 十进制数与二进制数之间的转换
5.1.3 八进制数和十六进制数的表示
5.2 无符号数的加法
5.2.1 全加器的分解
5.2.2 行波进位加法器
5.2.3 设计举例
5.3 有符号数
5.3.1 负数
5.3.2 加法和减法
5.3.3 加法器和减法器单元
5.3.4 基数补码方案
5.3.5 算术溢出
5.3.6 电路的性能问题
5.4 快速加法器
5.5 使用CAD工具设计算术电路
5.5.1 使用原理图编辑工具设计算术电路
5.5.2 使用Verilog设计算术电路
5.5.3 使用向量信号
5.5.4 使用自动生成语句
5.5.5 Verilog中的线网和变量
5.5.6 算术赋值语句
5.5.7 Verilog代码中数的表示
5.6 乘法
5.6.1 无符号数的阵列乘法器
5.6.2 有符号数的乘法
5.7 数的其他表示方法
5.7.1 定点数
5.7.2 浮点数
5.7.3 二一十进制编码
5.8 ASCII字符码
5.9 问题求解举例
练习题
参考文献
第6章 组合电路构件块
6.1 多路选择器
6.1.1 用多路选择器的逻辑函数的综合
6.1.2 用香农展开的多路选择器综合
6.2 译码器
6.3 编码器
6.3.1 二进制编码器
6.3.2 优先级编码器
6.4 码型转换器
6.5 算术比较电路
6.6 用Verilog表示组合电路
6.6.1 条件操作符
6.6.2 if-else语句
6.6.3 case语句
6.6.4 for循环语句
6.6.5 Verilog操作符
6.6.6 生成结构
6.6.7 任务和函数
6.7 小结
6.8 问题求解举例
练习题
参考文献
第7章 触发器、寄存器、计数器和简单处理器
7.1 基本锁存器
7.2 门控SR锁存器
7.3 门控D锁存器
7.4 主从D触发器和沿触发的D触发器
7.4.1 主从D触发器
7.4.2 沿触发的D触发器
7.4.3 有清零端和预置信号的D触发器
7.4.4 触发器的时序参数
7.5 T触发器
7.6 JK触发器
7.7 术语小结
7.8 寄存器
7.8.1 移位寄存器
7.8.2 并行存取的移位寄存器
7.9 计数器
7.9.1 异步计数器
7.9.2 同步计数器
7.9.3 可并行置数的计数器
7.10 同步复位
7.11 其他类型的计数器
7.11.1 BCD计数器
7.11.2 环形计数器
7.11.3 Johnson计数器
7.11.4 计数器设计要点
7.12 用CAD工具在设计中加入存储元件
7.12.1 在电路原理图中添加存储元件
7.12.2 用Verilog代码实现存储元件
7.12.3 阻塞赋值和非阻塞赋值
7.12.4 组合逻辑电路的非阻塞赋值
7.12.5 具有清零功能的触发器
7.13 用CAD工具在设计中加入寄存器和计数器
7.13.1 在电路原理图中添加寄存器和计数器
7.13.2 在Verilog代码中使用库模块
7.13.3 在Verilog代码中使用寄存器和计数器结构
7.14 设计举例
7.14.1 总线结构
7.14.2 简单的处理器
7.14.3 反应计时器
7.14.4 寄存器传输级代码
7.15 触发器电路的时序分析
7.16 小结
7.17 问题求解举例
练习题
参考文献
第8章 同步时序电路
8.1 基本设计步骤
8.1.1 状态图
8.1.2 状态表
8.1.3 状态分配
8.1.4 触发器的选择以及下一个状态和输出表达式的推导
8.1.5 时序图
8.1.6 设计步骤小结
8.2 状态分配问题
8.3 米利型状态模型
8.4 用CAD工具设计有限状态机
8.4.1 摩尔型有限状态机的Verilog代码
8.4.2 Verilog代码的综合
8.4.3 电路的仿真和测试
8.4.4 另一种风格的Verilog代码
8.4.5 用CAD工具的设计步骤小结
8.4.6 在Verilog代码中进行状态分配
8.4.7 用Verilog语句来编写米利型有限状态机
8.5 串行加法器举例
8.5.1 用米利型有限状态机实现的串行加法器
8.5.2 用摩尔型有限状态机实现的串行加法器
8.5.3 串行加法器的Verilog代码
8.6 状态最小化
8.6.1 划分最小化的步骤
8.6.2 未完全指定的有限状态机
8.7 用时序电路方法设计计数器
8.7.1 模8计数器的状态图和状态表
8.7.2 状态分配
8.7.3 用D触发器实现的计数器
8.7.4 用JK触发器实现的计数器
8.7.5 举例：一个不同的计数器
8.8 用作仲裁器电路的有限状态机
8.8.1 仲裁器电路的实现
8.8.2 有限状态机输出延迟的最小化
8.8.3 小结
8.9 同步时序电路的分析
8.10 算法状态机图
8.11 时序电路的形式化模型
8.12 小结
8.13 问题求解举例
练习题
参考文献
第9章 异步时序电路
9.1 异步行为
9.2 异步电路分析
9.3 异步电路综合
9.4 状态化简
9.5 状态分配
9.5.1 转移图
9.5.2 未指定的下一个状态项的利用
9.5.3 使用附加状态变量进行的状态分配
9.5.4 独热状态分配
9.6 冒险
9.6.1 静态冒险
9.6.2 动态冒险
9.6.3 冒险的意义
9.7 一个完整的设计实例
9.8 小结
9.9 问题求解举例
练习题
参考文献
第10章 数字系统设计
10.1 构件块电路
10.1.1 有使能输入的触发器和寄存器
10.1.2 有使能输入的移位寄存器
10.1.3 静态随机存取存储器
10.1.4 可编程逻辑器件中的SRAM块
10.2 设计举例
10.2.1 位计数电路
10.2.2 算法状态机图蕴涵的时序信息
10.2.3 移位相加实现的乘法器
10.2.4 除法器
10.2.5 算术平均值
10.2.6 排序操作
10.3 时钟同步
10.3.1 时钟偏差
10.3.2 触发器的时序参数
10.3.3 触发器的异步输入
10.3.4 开关的抖动
10.4 小结
练习题
参考文献
第11章 逻辑电路测试
11.1 故障模型
11.1.1 固滞模型
11.1.2 单个故障和多个故障
11.1.3 CMOS电路
11.2 测试集的复杂度
11.3 路径的敏感化
11.4 树状结构的电路
11.5 随机测试
11.6 时序电路的测试
11.7 内建自测试
11.7.1 内建逻辑块观察器
11.7.2 签字分析
11.7.3 边界扫描
11.8 印制电路板
11.8.1 印制电路板的测试
11.8.2 测试仪器
11.9 小结
练习题
参考文献
第12章 计算机辅助设计工具
12.1 综合
12.1.1 网表的生成
12.1.2 门的优化
12.1.3 技术映象
12.2 物理设计
12.2.1 布局
12.2.2 布线
12.2.3 静态时序分析
12.3 小结
参考文献
部分习题答案
附录A Verilog参考资料
附录B 辅导教材1——使用Quartus II计算机辅助设计软件
附录C 辅导教材2——用Altera器件实现电路
附录D 辅导教材3——在FPGA中的物理实现
附录E 商业器件
?Tx
Fundamentals of digital logic with Verilog design
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
亲爱的云图用户，
光盘内的文件都可以直接点击浏览哦
无需下载，在线查阅资料！
