智能制造测试与评价技术丛书 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
