編輯推薦
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軟件測試與評價技術 epub pdf mobi txt 電子書 下載 2024
FPGA軟件測試與評價技術 下載 epub mobi pdf txt 電子書