Verilog HDL数字系统设计与验证

.4.4 逻辑操作符
4.5 按位操作符
4.6 缩位(归约)操作符
4.7 移位操作符
4.8 条件操作符
4.9 并位(位拼接)操作符
4.10 操作符的优先级
思考与练习
第5章 条件语句与循环语句
5.1 if-else语句
5.1.1 if-else语句的语法结构
5.1.2 if-else语句与锁存器
5.2 case，casez和casex语句
5.2.1 case语句
5.2.2 casez和casex语句
5.2.3 case语句与锁存器
5.3 循环语句
5.3.1 forever循环语句
5.3.2 repeat循环语句
5.3.3 while循环语句
5.3.4 for循环语句
思考与练习
第6章 任务与函数
6.1 任务
6.1.1 任务定义
6.1.2 任务调用
6.1.3 任务定义与调用举例
6.2 函数
6.2.1 函数的定义
6.2.2 函数的调用
6.2.3 函数定义与调用举例
6.3 任务与函数的异同小结
思考与练习
第7章 用户定义的原语
7.1 udp的定义
7.2 组合电路udp
7.3 时序电路udp
第8章 状态机
8.1 引言
8.2 设计风格1
8.3 设计风格2
8.4 设计风格3
8.5 状态机编码方式：二进制编码和独热编码
思考与练习
第9章 系统任务与编译预处理..
9.1 与仿真相关的系统任务
9.1.1 $display和$write
9.1.2 $monitor和$strobe
9.1.3 $time和$realtime
9.1.4 $finish和$stop
9.1.5 $readmemh和$readmemb
9.1.6 $random
9.2 与波形和定时检查相关的系统任务
9.3 编译预处理语句
9.3.1 宏定义define
9.3.2 文件包含处理
9.3.3 仿真时间标度timescale
9.4 条件编译命令
思考与练习
第10章 常用基本电路单元设计
10.1 verilog代码的综合
10.2 算术逻辑单元
10.3 并／串变换电路
10.4 简单自动售货机控制电路
10.5 7段数码显示器控制电路
10.6 逐级进位和超前进位加法器
10.6.1 逐级进位加法器实现方法
10.6.2 超前进位加法器
10.7 同步fifo的设计
思考与练习
第二部分 系统设计与验证
第11章 静态定时分析、时钟域与同步化设计
11.1 前仿真与后仿真
11.2 静态定时分析
11.2.1 静态定时分析与门延迟
11.2.2 时钟抖动对静态定时分析的影响
11.2.3 时钟偏移对静态定时分析的影响
11.3 时钟域与同步化设计
11.3.1 同步器结构
11.3.2时钟域的划分
11.3.3 单一跨时钟域信号的有效传递
11.3.4 多个跨时钟域信号的有效传递
11.4 采用异步fifo进行时钟域隔离
11.4.1 异步fifo的电路结构
11.4.2 格雷码计数器
11.4.3 afifo的设计与应用
11.5 通过高速采样实现异步信号的同步化设计
思考与练习
第12章 verilog设计验证技术
12.1 电路验证的基本概念
12.2 验证的全面性与代码覆盖率分析
12.3 随机化测试
12.4 定时验证
12.5 自动测试testbench
12.5.1 以太网桥接器的工作原理
12.5.2 电路的模块级验证
12.5.3 电路的系统级验证
思考与练习
第13章 典型复杂电路设计与分析
13.1 乘法器
13.1.1 串-并型乘法器
13.1.2 并行乘法器
13.1.3 使用“*”实现乘法器
13.2 除法器
13.2.1 除法电路的算法
13.2.2 veriloghdl除法器的实现
13.3 数字滤波器
13.4 检错码编码电路
思考与练习
第14章 通信系统中的异步复用电路
14.1 同步复用电路
14.2 异步复用电路
14.2.1 异步复用的基本概念
14.2.2 正码速调整
14.2.3 全同步设计方法
第15章 通用异步收发器的设计与验证
15.1 通用异步收发器规范
15.2 电路结构设计
15.3 uart控制电路模块代码设计与分析
15.4 uart发送电路模块代码设计与仿真分析
15.5 uart接收电路模块代码设计与仿真分析
15.6 系统仿真
15.7 uart自动测试testbench
第16章 viterbi译码器电路
16.1 卷积码编码器的工作原理
16.2 viterbi译码器的工作原理
16.2.1 分支度量单元的设计
16.2.2 acs单元的设计
16.2.3 幸存路径信息存储和回溯单元的设计
16.3 viterbi译码器电路实现
附录a 可编程逻辑器件
附录b modelsimse使用指南
附录c xilinxise+modelsim使用指南
附录d alteraquartus ii+synplifypro+modelsim使用指南
附录e verilog(ieeestd-1364-1995)关键字
参考文献...