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 IEC61508166
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 LEDA230
4.1.2 HDLDesigner231
4.1.3 ALINT232
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 ModelSIM257
4.4.2 VCS266
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