编辑推荐
1. 本丛书是国内第1套重点解析智能制造系统测试与评价技术的丛书。
2. 本书是第1本专门介绍FPGA软件测试与评价技术的图书。
3. 书中详细介绍了FPGA的各种测试工具和第三方仿真工具。
内容简介
本书主要介绍了业内主流FPGA的结构及特点,基于开发流程,介绍了各种测试工具、第三方仿真工具,主要内容包括FPGA开发流程,FPGA软件测试标准、模型和方法,FPGA测试过程中要使用的工具,FPGA软件测试实例分析,以及FPGA软件测试过程与管理。
作者简介
中国电子信息产业发展研究院(赛迪集团)是直属于国家工业和信息化部的一类科研事业单位。自成立二十余年以来,秉承“信息服务社会”的宗旨,坚持面向政府、面向企业、面向社会,致力提供决策咨询、管理顾问、媒体传播、评测认证、工程监理、创业投资和信息技术等专业服务,在此基础上,形成了政府决策软科学研究、传媒与网络服务、评测与认证服务、咨询与外包服务、软件与信息服务、投资与资产管理六业并举发展的业务格局。
目录
第1章 FPGA软件概述 1
1.1 FPGA概述 1
1.1.1 FPGA的发展历程 2
1.1.2 FPGA的工作原理 8
1.1.3 FPGA的生产厂家及其产品 14
1.1.4 FPGA软件在各领域的地位与重要意义 82
1.2 FPGA软件结构分析 86
1.2.1 FPGA的设计结构 87
1.2.2 FPGA芯片的内部结构 88
1.3 本章小结 94
第2章 FPGA的开发流程 95
2.1 ISE软件综述 96
2.1.1 ISE软件的特点 96
2.1.2 ISE软件的工具及功能简介 97
2.2 开发流程 103
2.2.1 需求分析 103
2.2.2 器件选型 104
2.2.3 设计输入 106
2.2.4 约束 109
2.2.5 功能性仿真 116
2.2.6 综合 117
2.2.7 实现 150
2.2.8 后仿真 157
2.2.9 配置及固化 157
2.3 本章小结 162
第3章 FPGA软件测试标准、模型和方法 163
3.1 FPGA测试标准 163
3.1.1 DO-254标准 163
3.1.2 IEC 61508 166
3.1.3 ECSS标准 167
3.2 FPGA测试模型 168
3.2.1 V模型 168
3.2.2 FPGA中V模型的缺点 171
3.2.3 具有FPGA特点的W模型 171
3.3 FPGA测试方法与内容 173
3.3.1 编码规则检查 173
3.3.2 跨时钟域分析 182
3.3.3 静态时序分析 187
3.3.4 仿真测试 206
3.3.5 覆盖率分析 224
3.4 本章小结 228
第4章 FPGA软件测试工具 229
4.1 编码规则检查工具 229
4.1.1 LEDA 230
4.1.2 HDL Designer 231
4.1.3 ALINT 232
4.2 静态时序分析工具 235
4.2.1 PrimeTime的特点和功能 235
4.2.2 PrimeTime的使用 236
4.3 跨时钟域分析工具 246
4.3.1 CDC的特点和功能 246
4.3.2 CDC的使用 248
4.4 功能仿真工具 256
4.4.1 ModelSIM 257
4.4.2 VCS 266
4.5 本章小结 270
第5章 FPGA软件测试实例分析 271
5.1 代码测试 271
5.1.1 代码测试内容 271
5.1.2 代码测试实例 277
5.2 逻辑测试 297
5.2.1 逻辑测试内容 298
5.2.2 逻辑测试实例 298
5.3 静态分析 302
5.3.1 静态分析内容 302
5.3.2 静态分析实例 303
5.4 仿真测试 320
5.4.1 仿真实例内容 320
5.4.2 仿真测试实例 320
5.5 本章小结 332
第6章 FPGA软件测试过程与管理 333
6.1 FPGA软件测试过程 333
6.1.1 测试需求分析阶段 334
6.1.2 测试设计阶段 338
6.1.3 测试执行阶段 342
6.1.4 测试总结阶段 343
6.2 FPGA软件测试管理 344
6.2.1 配置管理 345
6.2.2 组织与人员管理 349
6.2.3 时间管理 358
6.2.4 质量管理 362
6.2.5 风险管理 369
6.3 本章小结 382
参考文献 383
FPGA软件测试与评价技术 电子书 下载 mobi epub pdf txt