书 代 号：G0140930作 译 者：陈亦欧

《Verilog HDL数字设计与建模》图书封面

出版日期：2011-08　 定　价：￥69.0元

出 版 社：电子工业出版社　 I S B N：9787121140938

丛 书 名：国外电子与通信教材系列

责任编辑：冯小贝

原 着 者：Joseph Cavanagh(约瑟夫 卡瓦纳)

利用 Verilog 进行数字系统设计与仿真是电子系统工程师必备的技能之一,这本书最突出的特色就是对数字电路系统的工程仿真和设计技术进行了深入的讨论。本书的内容涵盖了电路建模、基本语法与电路、典型数学运算、複杂的编码/解码/纠错电路、各类时序状态机和完整的流水线 RISC 处理器的设计等。 书中给出的所有工程设计实例均为可独立运行及验证的实用电路模组,并给出了所有例子的完整Verilog 原始码、testbench、仿真结果和仿真波形。 附录中还给出了部分课后习题的参考答案。

读者对象：本书可作为电子信息类和计算机科学等专业的高年级本科生与研究生的教材,对于初步接触过数字逻辑设计的相关领域的工程师也是一本很有价值的参考书。

第1章简介

1.1HDL的历史

1.2Verilog HDL

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.7RISC CPU的顶层

11.10.8系统顶层

11.11习题

附录A事件伫列

附录BVerilog工程的步骤

附录C部分习题解答