Verilog HDL数字设计与建模

图书标准信息

• 作者 约瑟夫·卡瓦纳（Joseph Cavanagh） 著；陈亦欧 译
• 出版社 电子工业出版社
• 出版时间 2011-08
• 版次 1
• ISBN 9787121140938
• 定价 69.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 579页
• 字数 1049千字
• 正文语种 简体中文
• 丛书 国外电子与通信教材系列

【内容简介】

利用Verilog进行数字系统设计与仿真是电子系统工程师必备的技能之一，《VerilogHDL数字设计与建模》最突出的特色就是对数字电路系统的工程仿真和设计技术进行了深入的讨论。由JosephCavanagh编著的《VerliogHDL数字设计与建模》内容涵盖了电路建模、基本语法与电路、典型数学运算、复杂的编码/解码/纠错电路、各类时序状态机和完整的流水线RISC处理器的设计等。书中给出的所有工程设计实例均为可独立运行及验证的实用电路模块，并给出了所有例子的完整Verilog源代码、testbench、仿真结果和仿真波形。附录中还给出了部分课后习题的参考答案。
《VerliogHDL数字设计与建模》可作为电子信息类和计算机科学等专业的高年级本科生与研究生的教材，对于初步接触过数字逻辑设计的相关领域的工程师也是一本很有价值的参考书。

【目录】

第1章简介
1.1HDL的历史
1.2VerilogHDL
1.2.1IEEE标准
1.2.2特性
1.3断言

第2章概述
2.1设计方法
2.2模16同步计数器
2.34比特行波进位加法器
2.4模块和端口
2.4.1设计一个用于仿真的testbench
2.4.2结构定义
2.5数据流建模简介
2.5.1二输入异或门
2.5.2带延迟信息的四个二输入与门
2.6行为级建模简介
2.6.1三输入或门
2.6.24比特加法器
2.6.3模16同步计数器
2.7结构化建模简介
2.7.1实现积之和式
2.7.2全加器
2.7.34比特行波进位加法器
2.8混合建模简介
2.8.1全加器
2.9习题

第3章语言元素
3.1注释
3.2标识符
3.3关键字
3.3.1双向门
3.3.2电荷储存强度
3.3.3CMOS门
3.3.4组合逻辑门
3.3.5连续赋值
3.3.6数据类型
3.3.7模块说明
3.3.8MOS开关
3.3.9多路分支
3.3.10命名的事件
3.3.11参数
3.3.12端口声明
3.3.13过程块结构
3.3.14过程连续赋值语句
3.3.15过程控制
3.3.16上拉和下拉门
3.3.17信号强度
3.3.18specify块
3.3.19任务和函数
3.3.20三态门
3.3.21时序控制
3.3.22用户自定义原语
3.4值集
3.5数据类型
3.5.1线型数据类型
3.5.2寄存器数据类型
3.6编译器指令
3.7习题

第4章表达式
4.1操作数
4.1.1常数
4.1.2参数
4.1.3线
4.1.4寄存器
4.1.5比特选择
4.1.6部分选择
4.1.7存储元件
4.2操作符
4.2.1算术运算操作符
4.2.2逻辑运算操作符
4.2.3关系运算操作符
4.2.4相等运算操作符
4.2.5按位运算操作符
4.2.6缩位运算操作符
4.2.7移位运算操作符
4.2.8条件运算操作符
4.2.9拼接运算操作符
4.2.10复制运算操作符
4.3习题

第5章门级建模
5.1多输入门
5.2门延迟
5.2.1惯性延迟
5.2.2传输延迟
5.2.3模块路径延迟
5.3更多的设计实例
5.3.1迭代网络
5.3.2优先编码器
5.4习题

第6章用户自定义原语
6.1定义用户自定义原语
6.2组合逻辑UDP
6.2.1卡诺图输入变量
6.3时序的用户自定义原语
6.3.1电平敏感UDP
6.3.2边沿有效UDP
6.4习题

第7章数据流建模
7.1连续赋值
7.1.1三输入与门
7.1.2积之和
7.1.3缩位操作符
7.1.4八进制到二进制的编码器
7.1.54选1选通器
7.1.6使用条件操作符实现4选1选通器
7.1.74比特加法器
7.1.8超前进位加法器
7.1.9异步时序状态机
7.1.10脉冲模式异步时序状态机
7.2隐含连续赋值
7.3延迟
7.4习题

第8章行为级建模
8.1过程化结构
8.1.1initial语句
8.1.2always语句
8.2过程赋值
8.2.1等号右边的延迟
8.2.2等号左边的延迟
8.2.3阻塞赋值
8.2.4非阻塞赋值
8.3条件语句
8.4case语句
8.5循环语句
8.5.1for循环
8.5.2while循环
8.5.3repeat循环
8.5.4forever循环
8.6语句块
8.6.1顺序执行块
8.6.2并行执行块
8.7过程连续赋值语句
8.7.1assign...deassign
8.7.2force...release
8.8习题

第9章结构化建模
9.1模块的例化
9.2端口
9.2.1未连接的端口
9.2.2端口连接规则
9.3设计实例
9.3.1格雷码到二进制的转换器
9.3.2BCD码到十进制的译码器
9.3.3模10计数器
9.3.4加法器/减法器
9.3.54功能算术和逻辑运算单元
9.3.6加法器和高速移位器
9.3.7阵列乘法器
9.3.8MooreMealy同步时序状态机
9.3.9Moore同步时序状态机
9.3.10Moore异步时序状态机
9.3.11Moore脉冲模式异步时序状态机
9.4习题

第10章任务和函数
10.1任务
10.1.1任务声明
10.1.2任务调用
10.2函数
10.2.1函数声明
10.2.2函数调用
10.3习题

第11章补充设计实例
11.1约翰逊计数器
11.2计数移位器
11.3通用移位寄存器组
11.4汉明码检错和纠错
11.5布思算法
11.6Moore同步时序状态机
11.7Mealy脉冲模式异步时序状态机
11.8Mealy独热状态机
11.9BCD码加减法器
11.9.1BCD码加法
11.9.2BCD码减法
11.10流水线精简指令集计算机处理器
11.10.1指令cache
11.10.2指令单元
11.10.3译码单元
11.10.4执行单元
11.10.5寄存器阵列
11.10.6数据cache
11.10.7RISCCPU的顶层
11.10.8系统顶层
11.11习题
附录A事件队列
附录BVerilog工程的步骤
附录C部分习题解答