Verilog数字系统设计与FPGA应用 / 21世纪高等学校规划教材·电子信息
¥34.50定价
作者: 赵倩、叶波等
出版时间:2015年7月
出版社:清华大学出版社
- 清华大学出版社
- 9787302280392
- 1-2
- 39546
- 16开
- 2015年7月
- 工学
- 电子科学与技术
- TN702
- 计算机
- 本专科、高职高专
内容简介
《verilog数字系统设计与fpga应用》按照verilog数字系统设计的前端设计流程编写,从veriloghdl语言、hdl编码指南、逻辑验证到测试平台,在此基础上对当前主流alterafpga/cpld器件的应用进行介绍,并对片上可编程系统进行深入探讨。本书内容由浅入深,循序渐进,既容易入门,又能深入到集成电路设计领域。
本书可作为电子、计算机等信息类专业高年级本科生及研究生的教材,也可以作为集成电路设计和fpga开发工程师的技术参考书。
目录
目录回到顶部↑
《verilog数字系统设计与fpga应用》
第1章绪论
1.1集成电路设计技术的发展
1.2verilog hdl和vhdl
1.2.1verilog hdl和vhdl的发展历史
1.2.2verilog hdl和vhdl的比较
1.3fpga/cpld简介
1.3.1可编程逻辑器件的发展历史
1.3.2pal/gal
1.3.3cpld
1.3.4fpga
1.3.5cpld与fpga的区别
1.3.6sopc
习题1
第2章verilog hdl 基础
2.1verilog hdl的基本单元——模块
2.1.1简单verilog hdl程序实例
2.1.2verilog hdl程序的基本结构
2.1.3逻辑功能描述
2.2verilog hdl基本语法
.2.2.1词法规定
2.2.2常量及其表示
2.2.3变量的数据类型
2.3运算符及表达式
2.3.1算术运算符
2.3.2位运算符
2.3.3缩位运算符
2.3.4关系运算符
2.3.5等式运算符
2.3.6逻辑运算符
2.3.7移位运算符
2.3.8位拼接运算符
2.3.9条件运算符
2.3.10优先级别
2.4过程语句
2.4.1initial语句
2.4.2always语句
2.5块语句
2.5.1串行块begin?end
2.5.2并行块fork?join
2.6赋值语句
2.6.1连续赋值
2.6.2过程赋值
2.7条件语句
2.7.1if?else语句
2.7.2case语句
2.7.3条件的描述完备性
2.8循环语句
2.8.1forever语句
2.8.2repeat语句
2.8.3while语句
2.8.4for语句
2.8.5disable 语句
2.9task和function说明语句
2.9.1task说明语句
2.9.2function说明语句
2.9.3task和function说明语句的不同点
2.10编译向导
2.10.1宏定义语句`define
2.10.2文件包含语句`include
2.10.3条件编译命令`ifdef、`else、`endif
2.10.4时间尺度命令`timescale
2.11verilog hdl设计举例
2.11.1组合逻辑电路描述
2.11.2时序逻辑电路
2.12小结
习题2
第3章verilog hdl常用的建模方式
3.1verilog hdl常用的建模描述方式
3.1.1结构化建模描述方式
3.1.2数据流建模描述方式
3.1.3行为建模描述方式
3.1.4混合设计描述
3.2verilog hdl的抽象分层建模方式
3.2.1系统级和算法级建模方式
3.2.2寄存器传输级建模方式
3.2.3门级建模方式
3.2.4晶体管开关级建模方式
3.3小结
习题3
第4章有限状态机设计
4.1fsm设计方法
4.1.1使用fsm设计数字系统的优点
4.1.2设计fsm的基本步骤
4.1.3设计fsm的基本原则
4.1.4fsm的verilog代码编写方法
4.2fsm设计实例
4.2.11001序列信号检测器设计
4.2.2交通灯信号控制器设计
4.3基于fpga的数字系统设计原则和技巧
4.3.1基本原则
4.3.2设计技巧
4.4小结
习题4
第5章verilog 代码编写风格
5.1命名规范
5.2格式规范
5.3rtl可综合代码编写规范
5.4项目目录规范
5.5常见错误
5.6小结
习题5
第6章逻辑验证与测试平台
6.1测试平台的基本概念
6.1.1什么是测试平台
6.1.2测试平台模板
6.2仿真激励的语法
6.2.1initial语句和always语句施加激励
6.2.2时钟信号的产生
6.2.3复位信号
6.2.4并行激励
6.2.5循环激励
6.2.6数组激励
6.2.7强制激励
6.2.8包含文件
6.2.9文件的读写
6.2.10矢量采样
6.2.11矢量回放
6.2.12matlab
6.3系统函数和系统任务
6.3.1$display、$write和$strobe
6.3.2系统任务$monitor
6.3.3$fopen、$fclose、$fdisplay和$fmonitor
6.3.4系统任务$readmemb和$readmemh
6.3.5系统任务$finish和$stop
6.3.6系统任务$random
6.3.7系统函数$time和$realtime
6.3.8值变转储文件
6.4实例
6.5小结
习题6
第7章逻辑综合与静态时序分析
7.1逻辑综合概述
7.1.1什么是逻辑综合
7.1.2逻辑综合的特点
7.1.3逻辑综合的要求
7.2逻辑综合流程和语法
7.3逻辑综合实例
7.3.1组合电路的综合(4位alu的层次化综合)
7.3.2时序电路的综合(数字跑表的综合)
7.4门级网表的验证
7.4.1alu网表的门级仿真
7.4.2跑表网表的门级仿真
7.5形式验证
7.6物理综合
7.7静态时序分析
7.8小结
习题7
第8章altera fpga/cpld器件及编程配置
8.1可编程器件的历史和趋势
8.2fpga/cpld器件结构
8.2.1cpld的基本结构
8.2.2fpga的基本结构
8.2.3fpga/cpld的器件选型
8.3altera系列fpga/cpld器件
8.3.1max各系列器件
8.3.2cyclone各系列器件
8.3.3arria各系列器件
8.3.4stratix各系列器件
8.4编程配置
8.4.1编程硬件
8.4.2编程配置策略
8.4.3下载电缆驱动程序安装指导
8.4.4quartus ⅱ 9.0下的编程下载
8.5小结
习题8
第9章数字电路与系统的设计实例
9.1三层电梯控制器设计
9.1.1模块划分
9.1.2电梯控制模块
9.1.3显示转换模块
9.1.4分频模块
9.1.5系统电路图
9.2出租车计价器设计
9.2.1系统分析和模块划分
9.2.2速度调节模块
9.2.3里程显示模块
9.2.4金额显示模块
9.2.5系统电路图
9.3基于fpga的电子点菜系统设计
9.3.1系统分析和模块划分
9.3.2输入控制模块
9.3.3lcd显示模块
9.3.4菜单存储模块
9.3.5总价计算模块
9.3.6led显示模块
9.3.7系统电路图
9.4基于trdb_lcm的液晶显示模块的应用
9.4.1trdb_lcm显示屏简介
9.4.2trdb_lcm显示屏的主要参数
9.4.3模块划分
9.4.4彩条显示模块
9.4.5lcm配置模块
9.4.6i2s控制器模块
9.4.7lcm锁相环
9.5维纳滤波器设计
9.5.1维纳滤波算法原理
9.5.2模块划分
9.5.3滤波窗口模块
9.5.4维纳滤波算法模块
9.5.5联合测试平台
9.5.6系统电路图
习题9
第10章可编程片上系统
10.1sopc简介
10.1.1sopc开发流程
10.1.2nios ⅱ处理器简介
10.1.3nios ⅱ外设接口
10.1.4avalon总线
10.2sopc开发实例
10.3sopc设计的常见问题及解决方法
习题10
附录a常用eda软件使用指南
a1modelsim 6.0初学者使用指南
a1.1modelsim仿真功能简介
a1.2初学者指南
a2quartus ⅱ 9.0的使用
附录bde2介绍
参考文献
《verilog数字系统设计与fpga应用》
第1章绪论
1.1集成电路设计技术的发展
1.2verilog hdl和vhdl
1.2.1verilog hdl和vhdl的发展历史
1.2.2verilog hdl和vhdl的比较
1.3fpga/cpld简介
1.3.1可编程逻辑器件的发展历史
1.3.2pal/gal
1.3.3cpld
1.3.4fpga
1.3.5cpld与fpga的区别
1.3.6sopc
习题1
第2章verilog hdl 基础
2.1verilog hdl的基本单元——模块
2.1.1简单verilog hdl程序实例
2.1.2verilog hdl程序的基本结构
2.1.3逻辑功能描述
2.2verilog hdl基本语法
.2.2.1词法规定
2.2.2常量及其表示
2.2.3变量的数据类型
2.3运算符及表达式
2.3.1算术运算符
2.3.2位运算符
2.3.3缩位运算符
2.3.4关系运算符
2.3.5等式运算符
2.3.6逻辑运算符
2.3.7移位运算符
2.3.8位拼接运算符
2.3.9条件运算符
2.3.10优先级别
2.4过程语句
2.4.1initial语句
2.4.2always语句
2.5块语句
2.5.1串行块begin?end
2.5.2并行块fork?join
2.6赋值语句
2.6.1连续赋值
2.6.2过程赋值
2.7条件语句
2.7.1if?else语句
2.7.2case语句
2.7.3条件的描述完备性
2.8循环语句
2.8.1forever语句
2.8.2repeat语句
2.8.3while语句
2.8.4for语句
2.8.5disable 语句
2.9task和function说明语句
2.9.1task说明语句
2.9.2function说明语句
2.9.3task和function说明语句的不同点
2.10编译向导
2.10.1宏定义语句`define
2.10.2文件包含语句`include
2.10.3条件编译命令`ifdef、`else、`endif
2.10.4时间尺度命令`timescale
2.11verilog hdl设计举例
2.11.1组合逻辑电路描述
2.11.2时序逻辑电路
2.12小结
习题2
第3章verilog hdl常用的建模方式
3.1verilog hdl常用的建模描述方式
3.1.1结构化建模描述方式
3.1.2数据流建模描述方式
3.1.3行为建模描述方式
3.1.4混合设计描述
3.2verilog hdl的抽象分层建模方式
3.2.1系统级和算法级建模方式
3.2.2寄存器传输级建模方式
3.2.3门级建模方式
3.2.4晶体管开关级建模方式
3.3小结
习题3
第4章有限状态机设计
4.1fsm设计方法
4.1.1使用fsm设计数字系统的优点
4.1.2设计fsm的基本步骤
4.1.3设计fsm的基本原则
4.1.4fsm的verilog代码编写方法
4.2fsm设计实例
4.2.11001序列信号检测器设计
4.2.2交通灯信号控制器设计
4.3基于fpga的数字系统设计原则和技巧
4.3.1基本原则
4.3.2设计技巧
4.4小结
习题4
第5章verilog 代码编写风格
5.1命名规范
5.2格式规范
5.3rtl可综合代码编写规范
5.4项目目录规范
5.5常见错误
5.6小结
习题5
第6章逻辑验证与测试平台
6.1测试平台的基本概念
6.1.1什么是测试平台
6.1.2测试平台模板
6.2仿真激励的语法
6.2.1initial语句和always语句施加激励
6.2.2时钟信号的产生
6.2.3复位信号
6.2.4并行激励
6.2.5循环激励
6.2.6数组激励
6.2.7强制激励
6.2.8包含文件
6.2.9文件的读写
6.2.10矢量采样
6.2.11矢量回放
6.2.12matlab
6.3系统函数和系统任务
6.3.1$display、$write和$strobe
6.3.2系统任务$monitor
6.3.3$fopen、$fclose、$fdisplay和$fmonitor
6.3.4系统任务$readmemb和$readmemh
6.3.5系统任务$finish和$stop
6.3.6系统任务$random
6.3.7系统函数$time和$realtime
6.3.8值变转储文件
6.4实例
6.5小结
习题6
第7章逻辑综合与静态时序分析
7.1逻辑综合概述
7.1.1什么是逻辑综合
7.1.2逻辑综合的特点
7.1.3逻辑综合的要求
7.2逻辑综合流程和语法
7.3逻辑综合实例
7.3.1组合电路的综合(4位alu的层次化综合)
7.3.2时序电路的综合(数字跑表的综合)
7.4门级网表的验证
7.4.1alu网表的门级仿真
7.4.2跑表网表的门级仿真
7.5形式验证
7.6物理综合
7.7静态时序分析
7.8小结
习题7
第8章altera fpga/cpld器件及编程配置
8.1可编程器件的历史和趋势
8.2fpga/cpld器件结构
8.2.1cpld的基本结构
8.2.2fpga的基本结构
8.2.3fpga/cpld的器件选型
8.3altera系列fpga/cpld器件
8.3.1max各系列器件
8.3.2cyclone各系列器件
8.3.3arria各系列器件
8.3.4stratix各系列器件
8.4编程配置
8.4.1编程硬件
8.4.2编程配置策略
8.4.3下载电缆驱动程序安装指导
8.4.4quartus ⅱ 9.0下的编程下载
8.5小结
习题8
第9章数字电路与系统的设计实例
9.1三层电梯控制器设计
9.1.1模块划分
9.1.2电梯控制模块
9.1.3显示转换模块
9.1.4分频模块
9.1.5系统电路图
9.2出租车计价器设计
9.2.1系统分析和模块划分
9.2.2速度调节模块
9.2.3里程显示模块
9.2.4金额显示模块
9.2.5系统电路图
9.3基于fpga的电子点菜系统设计
9.3.1系统分析和模块划分
9.3.2输入控制模块
9.3.3lcd显示模块
9.3.4菜单存储模块
9.3.5总价计算模块
9.3.6led显示模块
9.3.7系统电路图
9.4基于trdb_lcm的液晶显示模块的应用
9.4.1trdb_lcm显示屏简介
9.4.2trdb_lcm显示屏的主要参数
9.4.3模块划分
9.4.4彩条显示模块
9.4.5lcm配置模块
9.4.6i2s控制器模块
9.4.7lcm锁相环
9.5维纳滤波器设计
9.5.1维纳滤波算法原理
9.5.2模块划分
9.5.3滤波窗口模块
9.5.4维纳滤波算法模块
9.5.5联合测试平台
9.5.6系统电路图
习题9
第10章可编程片上系统
10.1sopc简介
10.1.1sopc开发流程
10.1.2nios ⅱ处理器简介
10.1.3nios ⅱ外设接口
10.1.4avalon总线
10.2sopc开发实例
10.3sopc设计的常见问题及解决方法
习题10
附录a常用eda软件使用指南
a1modelsim 6.0初学者使用指南
a1.1modelsim仿真功能简介
a1.2初学者指南
a2quartus ⅱ 9.0的使用
附录bde2介绍
参考文献