本书从FPGA软件测试的基本概念入手,理论部分详细解读了FPGA软件测试相关国家标准与国家军用标准的要求;实战部分结合相关标准,在详细介绍FPGA软件静态测试技术的同时,结合工程实例深入剖析了常用的动态测试技术,力求指引初级FPGA软件验证与测试工程师建立基本的测试规范,指导其完成FPGA软件验证与测试入门技术,助力他们持续提升综合技术实力?本书可作为FPGA软件设计工程师内部测试的参考书,也可作为FPGA软件验证与测试工程师日常查阅用书,还可作为高校相关专业FPGA入门教材使用?
第一部分 理论篇
1 FPGA 简介………………………………………………… 2
1. 1 FPGA 的发展简介…………………………………… 2
1. 2 FPGA 的基本结构…………………………………… 3
1. 3 FPGA 的工作原理…………………………………… 5
1. 4 FPGA 软件开发与测试……………………………… 5
1. 5 习题 ………………………………………………… 10
2 FPGA 软件测试要求 …………………………………… 11
2. 1 测试级别 …………………………………………… 11
2. 2 测试过程 …………………………………………… 13
2. 3 测试类型 …………………………………………… 18
2. 4 测试方法 …………………………………………… 25
2. 5 习题 ………………………………………………… 28
第二部分 实战篇
3 设计检查人工代码审查 ……………………………… 30
3. 1 人工代码审查的目标 ……………………………… 30
3. 2 人工代码审查的方法 ……………………………… 30
3. 3 人工代码审查实战要点 …………………………… 31
3. 4 习题 ………………………………………………… 42
4 设计检查编码规则检查 ……………………………… 43
4. 1 编码规则检查的目标 ……………………………… 43
4. 2 编码规则检查的方法 ……………………………… 43
4. 3 常见编码规则检查问题与影响 …………………… 44
4. 4 习题 ………………………………………………… 58
5 设计检查跨时钟域信号分析 ………………………… 59
5. 1 跨时钟域信号分析的目标 ………………………… 59
5. 2 跨时钟域信号分析中的概念 ……………………… 60
5. 3 跨时钟域信号的处理 ……………………………… 61
5. 4 跨时钟域信号分析方法 …………………………… 65
5. 5 跨时钟域信号分析实战 …………………………… 66
5. 6 习题 ………………………………………………… 74
6 静态时序分析 …………………………………………… 75
6. 1 静态时序分析的目标 ……………………………… 75
6. 2 静态时序分析中的概念 …………………………… 75
6. 3 静态时序分析的方法 ……………………………… 82
6. 4 静态时序分析实战 ………………………………… 83
6. 5 习题 ………………………………………………… 90
7 功能仿真 ………………………………………………… 91
7. 1 功能仿真的目标 …………………………………… 91
7. 2 功能仿真的方法 …………………………………… 91
7. 3 功能仿真实战 …………………………………… 119
7. 4 习题 ……………………………………………… 136
8 时序仿真 ……………………………………………… 139
8. 1 时序仿真的目标 ………………………………… 139
8. 2 时序仿真的方法 ………………………………… 139
8. 3 时序仿真实战要点 ……………………………… 140
8. 4 习题 ……………………………………………… 142
9 实物测试 ……………………………………………… 143
9. 1 实物测试的目标 ………………………………… 143
9. 2 实物测试的要点 ………………………………… 143
10 项目实战 ……………………………………………… 145
10. 1 测试输入 ………………………………………… 145
10. 2 测试策划 ………………………………………… 145
10. 3 测试设计与实现 ………………………………… 146
10. 4 测试执行 ………………………………………… 149
10. 5 测试总结 ………………………………………… 195
附录 ………………………………………………………… 197
附录 1 《存储控制 FPGA 软件需求规格说明》……… 197
附录 2 《存储控制 FPGA 软件仿真测试计划》……… 203
附录 3 《存储控制 FPGA 软件仿真测试说明》……… 214
附录 4 《存储控制 FPGA 软件仿真测试报告》……… 230
附录 5 存储控制 FPGA 软件问题报告单 …………… 249
附录 6 《存储控制 FPGA 软件确认测试计划》……… 251
附录 7 《存储控制 FPGA 软件确认测试说明》……… 261
附录 8 《存储控制 FPGA 软件确认测试报告》……… 273
附录 9 被测设计源代码 ……………………………… 288
参考文献 …………………………………………………… 310