智能制造测试与评价技术丛书 FPGA软件测试与评价技术 中国电子信息产业发展研究院著 2017年版

智能制造测试与评价技术丛书 FPGA软件测试与评价技术
作者：中国电子信息产业发展研究院著
出版时间：2017年版
丛编项： 智能制造测试与评价技术丛书
内容简介
　　本书主要介绍了业内主流FPGA的结构及特点，基于开发流程，介绍了各种测试工具、第三方仿真工具，主要内容包括FPGA开发流程，FPGA软件测试标准、模型和方法，FPGA测试过程中要使用的工具，FPGA软件测试实例分析，以及FPGA软件测试过程与管理。
目录
第1章　FPGA软件概述/t1
1．1　FPGA概述/t1
1．1．1　FPGA的发展历程/t2
1．1．2　FPGA的工作原理/t8
1．1．3　FPGA的生产厂家及其产品/t14
1．1．4　FPGA软件在各领域的地位与重要意义/t82
1．2　FPGA软件结构分析/t86
1．2．1　FPGA的设计结构/t87
1．2．2　FPGA芯片的内部结构/t88
1．3　本章小结/t94
第2章　FPGA的开发流程/t95
2．1　ISE软件综述/t96
2．1．1　ISE软件的特点/t96
2．1．2　ISE软件的工具及功能简介/t97
2．2　开发流程/t103
2．2．1　需求分析/t103
2．2．2　器件选型/t104
2．2．3　设计输入/t106
2．2．4　约束/t109
2．2．5　功能性仿真/t116
2．2．6　综合/t117
2．2．7　实现/t150
2．2．8　后仿真/t157
2．2．9　配置及固化/t157
2．3　本章小结/t162
第3章　FPGA软件测试标准、模型和方法/t163
3．1　FPGA测试标准/t163
3．1．1　DO-254标准/t163
3．1．2　IEC 61508/t166
3．1．3　ECSS标准/t167
3．2　FPGA测试模型/t168
3．2．1　V模型/t168
3．2．2　FPGA中V模型的缺点/t171
3．2．3　具有FPGA特点的W模型/t171
3．3　FPGA测试方法与内容/t173
3．3．1　编码规则检查/t173
3．3．2　跨时钟域分析/t182
3．3．3　静态时序分析/t187
3．3．4　仿真测试/t206
3．3．5　覆盖率分析/t224
3．4　本章小结/t228
第4章　FPGA软件测试工具/t229
4．1　编码规则检查工具/t229
4．1．1　LEDA/t230
4．1．2　HDL Designer/t231
4．1．3　ALINT/t232
4．2　静态时序分析工具/t235
4．2．1　PrimeTime的特点和功能/t235
4．2．2　PrimeTime的使用/t236
4．3　跨时钟域分析工具/t246
4．3．1　CDC的特点和功能/t246
4．3．2　CDC的使用/t248
4．4　功能仿真工具/t256
4．4．1　ModelSIM/t257
4．4．2　VCS/t266
4．5　本章小结/t270
第5章　FPGA软件测试实例分析/t271
5．1　代码测试/t271
5．1．1　代码测试内容/t271
5．1．2　代码测试实例/t277
5．2　逻辑测试/t297
5．2．1　逻辑测试内容/t298
5．2．2　逻辑测试实例/t298
5．3　静态分析/t302
5．3．1　静态分析内容/t302
5．3．2　静态分析实例/t303
5．4　仿真测试/t320
5．4．1　仿真实例内容/t320
5．4．2　仿真测试实例/t320
5．5　本章小结/t332
第6章　FPGA软件测试过程与管理/t333
6．1　FPGA软件测试过程/t333
6．1．1　测试需求分析阶段/t334
6．1．2　测试设计阶段/t338
6．1．3　测试执行阶段/t342
6．1．4　测试总结阶段/t343
6．2　FPGA软件测试管理/t344
6．2．1　配置管理/t345
6．2．2　组织与人员管理/t349
6．2．3　时间管理/t358
6．2．4　质量管理/t362
6．2．5　风险管理/t369
6．3　本章小结/t382
参考文献/t383