本书系统讲解Verilog HDL语言规则、语法体系，以Verilog-2001和Verilog-2005两种语言标准为依据，精讲语言，全面梳理，知识点系统全面。本书立足语言本身，按照语言体系编排内容，涵盖所有常用语法规则，补充Verilog-2005中新的语言点，既适合作为必备语法资料查询，也适合有一定设计基础的读者学习。主要内容包括Verilog HDL入门、数据类型、表达式、门级和开关级建模、数据流建模、行为级建模、层次结构、任务与函数、Test Bench测试与时序检查、面向综合的设计、有限状态机设计、Verilog HDL设计实例等，重点聚焦Verilog HDL综合和仿真，对语言、语法规则用案例进行阐释，用综合工具和仿真工具进行验证，利于读者加深理解。

第1章 Verilog HDL入门
1.1 Verilog HDL简史
1.2 Verilog HDL描述的层级
1.3 Verilog HDL设计的流程
1.3.1 设计输入
1.3.2 综合
1.3.3 布局布线
1.3.4 时序分析
1.3.5 功能仿真与时序仿真
1.3.6 编程与配置
1.4 Verilog HDL文字规则
1.4.1 词法
1.4.2 空白符
1.4.3 注释
1.4.4 操作符
1.4.5 字符串
1.4.6 关键字
1.5 数字
1.5.1 整数
1.5.2 实数
1.5.3 数的转换
1.6 标识符
1.6.1 标识符简介
1.6.2 转义标识符
习题1
第2章 数据类型
2.1 值集合
2.2 net数据类型
2.2.1 wire型与tri型
2.2.2 其他net类型
2.3 variable数据类型
2.3.1 reg型
2.3.2 integer型与time型
2.3.3 real型与realtime型
2.4 向量
2.5 数组
2.5.1 数组简介
2.5.2 存储器
2.5.3 数组的赋值
2.6 参数
2.6.1 parameter参数
2.6.2 localparam局部参数
2.6.3 specparam参数
2.6.4 参数值修改
习题2
第3章 表达式
3.1 操作符
3.1.1 算术操作符
3.1.2 关系操作符
3.1.3 相等操作符
3.1.4 逻辑操作符
3.1.5 位操作符
3.1.6 缩减操作符
3.1.7 移位操作符
3.1.8 指数操作符
3.1.9 条件操作符
3.1.10 拼接操作符
3.1.11 操作符的优先级
3.2 操作数
3.2.1 整数
3.2.2 位选和段选
3.2.3 数组
3.2.4 字符串
3.3 表达式的符号
3.4 表达式的位宽
3.4.1 表达式位宽的规则
3.4.2 表达式位宽示例
3.5 赋值和截断
习题3
第4章 门级和开关级建模
4.1 Verilog HDL门元件
4.2 门元件的例化
4.2.1 门元件的例化简介
4.2.2 门延时
4.2.3 驱动强度
4.3 开关级元件
4.3.1 MOS开关
4.3.2 双向导通开关
4.4 门级结构建模
4.5 用户自定义元件
4.6 组合逻辑UDP元件
4.7 时序逻辑UDP元件
4.7.1 电平敏感时序UDP元件
4.7.2 边沿敏感时序UDP元件
4.7.3 电平敏感和边沿敏感行为的混合描述
4.8 时序UDP元件的初始化和例化
4.8.1 时序UDP元件的初始化
4.8.2 时序UDP元件的例化
习题4
第5章 数据流建模
5.1 连续赋值
5.1.1 连续赋值
5.1.2 net型变量声明时赋值
5.1.3 赋值延时
5.1.4 驱动强度
5.2 数据流建模
5.3 加法器和减法器
5.4 格雷码与二进制码的转换
5.5 三态逻辑设计
习题5
第6章 行为级建模
6.1 行为级建模概述
6.1.1 always过程语句
6.1.2 initial过程
6.2 过程时序控制
6.2.1 延时控制
6.2.2 事件控制
6.3 过程赋值
6.3.1 variable型变量声明时赋值
6.3.2 阻塞过程赋值
6.3.3 非阻塞过程赋值
6.3.4 阻塞赋值过程与非阻塞过程赋值的区别
6.4 过程连续赋值
6.4.1 assign和deassign
6.4.2 force和release
6.5 块语句
6.5.1 串行块begin-end
6.5.2 并行块fork-join
6.5.3 块命名
6.6 条件语句
6.6.1 if-else语句
6.6.2 case语句
6.6.3 casez与casex语句
6.7 循环语句
6.7.1 for语句
6.7.2 repeat、while和forever语句
习题6
第7章 层次结构
7.1 模块和模块例化
7.2 带参数模块例化与参数传递
7.2.1 带参数模块例化
7.2.2 用parameter进行参数传递
7.2.3 用defparam进行参数重载
7.3 层次路径名
7.4 generate生成语句
7.4.1 generate、for生成语句
7.4.2 generate、if生成语句
7.4.3 generate、case生成语句
7.5 属性
习题7
第8章 任务与函数
8.1 任务
8.1.1 任务
8.1.2 任务示例
8.2 函数
8.2.1 函数
8.2.2 任务和函数的区别
8.3 automatic任务和函数
8.3.1 automatic任务
8.3.2 automatic函数
8.4 系统任务与系统函数
8.5 显示类任务
8.5.1 $display与$write
8.5.2 $strobe与$monitor
8.6 文件操作类任务
8.6.1 $fopen与$fclose
8.6.2 $fgetc与$fgets
8.6.3 $readmemh与$readmemb
8.7 控制和时间类任务
8.7.1 $finish与$stop
8.7.2 $time、$stime与$realtime
8.7.3 $printtimescale与$timeformat
8.7.4 $signed与$unsigned
8.8 随机数及概率分布函数
8.8.1 $random
8.8.2 概率分布函数
8.9 编译指令
8.9.1 `timescale
8.9.2 `define和`undef
8.9.3 `ifdef、`else、`elsif、`endif和`ifndef
8.9.4 `include
8.9.5 `defaul