内容简介
本书从FPGA软件测试的基本概念入手,理论部分详细解读了FPGA软件测试相关国家标准与国家军用标准的要求;实战部分结合相关标准,在详细介绍FPGA软件静态测试技术的同时,结合工程实例深入剖析了常用的动态测试技术,力求指引初级FPGA软件验证与测试工程师建立基本的测试规范,指导其完成FPGA软件验证与测试入门技术,助力他们持续提升综合技术实力。
本书可作为FPGA软件设计工程师内部测试的参考书,也可作为FPGA软件验证与测试工程师日常查阅用书,还可作为高校相关专业FPGA入门教材使用。
目录
第一部分理论篇
1FPGA简介
1.1FPGA的发展简介
1.2FPGA的基本结构
1.3FPGA的工作原理
1.4FPGA软件开发与测试
1.5习题
2FPGA软件测试要求
2.1测试级别
2.2测试过程
2.3测试类型
2.4测试方法
2.5习题
第二部分实战篇
3设计检查人工代码审查
3.1人工代码审查的目标
3.2人工代码审查的方法
3.3人工代码审查实战要点
3.4习题
4设计检查编码规则检查
4.1编码规则检查的目标
4.2编码规则检查的方法
4.3常见编码规则检查问题与影响
4.4习题
5设计检查跨时钟域信号分析
5.1跨时钟域信号分析的目标
5.2跨时钟域信号分析中的概念
5.3跨时钟域信号的处理
5.4跨时钟域信号分析方法
5.5跨时钟域信号分析实战
5.6习题
6静态时序分析
6.1静态时序分析的目标
6.2静态时序分析中的概念
6.3静态时序分析的方法
6.4静态时序分析实战
6.5习题
7功能仿真
7.1功能仿真的目标
7.2功能仿真的方法
7.3功能仿真实战
7.4习题
8时序仿真
8.1时序仿真的目标
8.2时序仿真的方法
8.3时序仿真实战要点
8.4习题
9实物测试
9.1实物测试的目标
9.2实物测试的要点
10项目实战
10.1测试输入
10.2测试策划
10.3测试设计与实现
10.4测试执行
10.5测试总结
附录
附录1《存储控制FPGA软件需求规格说明》
附录2《存储控制FPGA软件仿真测试计划》
附录3《存储控制FPGA软件仿真测试说明》
附录4《存储控制FPGA软件仿真测试报告》
附录5存储控制FPGA软件问题报告单
附录6《存储控制FPGA软件确认测试计划》
附录7《存储控制FPGA软件确认测试说明》
附录8《存储控制FPGA软件确认测试报告》
附录9被测设计源代码
参考文献