《FPGA軟體測試技術》是2022年電子工業出版社出版的圖書。
基本介紹
- 書名:FPGA軟體測試技術
- 作者:羅文兵
- 出版社:電子工業出版社
- 出版時間:2022年9月1日
- ISBN:9787121441851
內容簡介,圖書目錄,
內容簡介
本書從實踐的角度對從FPGA軟體開發到FPGA軟體測試各階段的測試思想、方法、活動、案例進行詳細描述,並系統介紹FPGA軟體測試的各種方法,從不同的角度分析FPGA軟體測試的內容及具體要求,通過在各個測試階段套用不同的測試方法來滿足不同的FPGA軟體測試需求。本書首先對FPGA器件及軟體進行概述,然後介紹FPGA軟體開發工具與流程,最後著重論述FPGA軟體測試技術(包括FPGA軟體測試相關標準和方法、FPGA軟體測試工具及使用方法、FPGA軟體測試案例與分析)。本書可供FPGA軟體測試工程師、對FPGA軟體測試技術感興趣的大學生及電子愛好者等作為學習參考用書。
圖書目錄
第1章 FPGA器件及軟體概述 .................................................................................001
1.1 FPGA器件典型內部結構 ...........................................................................003
1.2 FPGA軟體設計特點 ...................................................................................006
1.3 FPGA工藝技術原理 ...................................................................................009
1.3.1 基於SRAM工藝技術原理 ...............................................................009
1.3.2 基於反熔絲工藝技術原理 ..............................................................010
1.3.3 基於FLASH工藝技術原理 .............................................................012
1.4 FPGA生產廠家及其產品 ...........................................................................013
1.4.1 Xilinx公司及產品介紹 ....................................................................013
1.4.2 Altera(Intel)公司及產品介紹 .....................................................045
1.4.3 Lattice公司及產品介紹 ...................................................................048
1.4.4 Microchip公司及產品介紹 .............................................................050
1.5 FPGA在各領域的套用 ...............................................................................051
1.5.1 人工智慧 ..........................................................................................053
1.5.2 航空航天 ..........................................................................................054
1.5.3 無線通信 ..........................................................................................055
1.5.4 有線通信 ..........................................................................................057
1.5.5 消費電子 ..........................................................................................058
1.5.6 汽車電子 ..........................................................................................058
1.5.7 醫療電子 ..........................................................................................059
1.6 本章小結......................................................................................................060
第2章 FPGA軟體開發工具與流程 ......................................................................... 061
2.1 FPGA軟體開發工具 ................................................................................... 061
2.1.1 ISE軟體 ............................................................................................ 062
2.1.2 Vivado軟體 ....................................................................................... 068
2.1.3 Quartus Prime軟體 ........................................................................... 072
2.1.4 Lattice Diamond軟體 ....................................................................... 074
2.2 FPGA軟體開發流程 ................................................................................... 075
2.2.1 FPGA軟體需求分析 ........................................................................ 075
2.2.2 功能定義與器件選型 ...................................................................... 076
2.2.3 設計輸入 .......................................................................................... 080
2.2.4 設計約束 .......................................................................................... 082
2.2.5 功能仿真 .......................................................................................... 088
2.2.6 邏輯綜合 .......................................................................................... 088
2.2.7 布局布線 .......................................................................................... 093
2.2.8 時序仿真 .......................................................................................... 093
2.2.9 配置及固化 ...................................................................................... 094
2.3 本章小結...................................................................................................... 098
第3章 FPGA軟體測試相關標準和方法 ................................................................ 099
3.1 FPGA軟體測試相關標準 ........................................................................... 099
3.1.1 GJB 9433―2018標準 ..................................................................... 099
3.1.2 GJB 9432―2018標準 ..................................................................... 100
3.1.3 GB/T 37691―2019標準.................................................................. 100
3.1.4 GB/T 37979―2019標準.................................................................. 100
3.2 FPGA軟體測試方法 ................................................................................... 101
3.2.1 編碼規則檢查.................................................................................. 101
3.2.2 跨時鐘域分析.................................................................................. 110
3.2.3 靜態時序分析.................................................................................. 116
3.2.4 仿真測試.......................................................................................... 135
3.3 本章小結...................................................................................................... 152
第4章 FPGA軟體測試工具及使用方法 ................................................................ 153
4.1 編碼規則檢查工具及使用方法.................................................................. 154
4.1.1 HDL Designer .................................................................................. 156
4.1.2 vLinter .............................................................................................. 158
4.2 靜態時序分析工具及使用方法.................................................................. 161
4.2.1 PrimeTime簡介 ................................................................................ 161
4.2.2 PrimeTime使用流程 ........................................................................ 163
4.3 跨時鐘域分析工具及使用方法.................................................................. 173
4.3.1 跨時鐘域分析中的3種問題............................................................ 175
4.3.2 vChecker工具的特點及使用方法 .................................................. 179
4.4 仿真工具及使用方法.................................................................................. 187
4.4.1 Modelsim ......................................................................................... 187
4.4.2 VCS .................................................................................................. 195
4.5 邏輯等效性檢查工具及使用方法.............................................................. 198
4.5.1 360 EC-FPGA工具的功能和優點 .................................................. 198
4.5.2 360 EC-FPGA工具的使用方法 ...................................................... 199
4.6 本章小結...................................................................................................... 205
第5章 FPGA軟體測試案例與分析 ......................................................................... 207
5.1 代碼審查...................................................................................................... 207
5.1.1 代碼審查內容.................................................................................. 207
5.1.2 代碼審查案例.................................................................................. 213
5.2 代碼走查...................................................................................................... 230
5.2.1 代碼走查內容.................................................................................. 231
5.2.2 代碼走查案例.................................................................................. 231
5.3 邏輯測試...................................................................................................... 237
5.3.1 邏輯測試內容.................................................................................. 237
5.3.2 邏輯測試案例.................................................................................. 238
5.4 靜態時序分析.............................................................................................. 252
5.4.1 靜態時序分析內容.......................................................................... 252
5.4.2 靜態時序分析案例.......................................................................... 252
5.5 跨時鐘域分析.............................................................................................. 263
5.5.1 跨時鐘域分析內容.......................................................................... 263
5.5.2 跨時鐘域分析案例.......................................................................... 263
5.6 功能仿真...................................................................................................... 269
5.6.1 功能仿真內容.................................................................................. 269
5.6.2 功能仿真案例.................................................................................. 270
5.7 邏輯等效性檢查.......................................................................................... 302
5.7.1 邏輯等效性檢查內容...................................................................... 302
5.7.2 邏輯等效性檢查案例...................................................................... 302
5.8 本章小結...................................................................................................... 303
參考文獻................................................................................................................................ 305