FPGA軟件測(cè)試技術(shù)

第1章 FPGA器件及軟件概述 .................................................................................001
1.1 FPGA器件典型內(nèi)部結(jié)構(gòu) ...........................................................................003
1.2 FPGA軟件設(shè)計(jì)特點(diǎn) ...................................................................................006
1.3 FPGA工藝技術(shù)原理 ...................................................................................009
1.3.1 基于SRAM工藝技術(shù)原理 ...............................................................009
1.3.2 基于反熔絲工藝技術(shù)原理 ..............................................................010
1.3.3 基于FLASH工藝技術(shù)原理 .............................................................012
1.4 FPGA生產(chǎn)廠(chǎng)家及其產(chǎn)品 ...........................................................................013
1.4.1 Xilinx公司及產(chǎn)品介紹 ....................................................................013
1.4.2 Altera（Intel）公司及產(chǎn)品介紹 .....................................................045
1.4.3 Lattice公司及產(chǎn)品介紹 ...................................................................048
1.4.4 Microchip公司及產(chǎn)品介紹 .............................................................050
1.5 FPGA在各領(lǐng)域的應(yīng)用 ...............................................................................051
1.5.1 人工智能 ..........................................................................................053
1.5.2 航空航天 ..........................................................................................054
1.5.3 無(wú)線(xiàn)通信 ..........................................................................................055
1.5.4 有線(xiàn)通信 ..........................................................................................057
1.5.5 消費(fèi)電子 ..........................................................................................058
1.5.6 汽車(chē)電子 ..........................................................................................058
1.5.7 醫(yī)療電子 ..........................................................................................059
1.6 本章小結(jié)......................................................................................................060
第2章 FPGA軟件開(kāi)發(fā)工具與流程 ......................................................................... 061
2.1 FPGA軟件開(kāi)發(fā)工具 ................................................................................... 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軟件開(kāi)發(fā)流程 ................................................................................... 075
2.2.1 FPGA軟件需求分析 ........................................................................ 075
2.2.2 功能定義與器件選型 ...................................................................... 076
2.2.3 設(shè)計(jì)輸入 .......................................................................................... 080
2.2.4 設(shè)計(jì)約束 .......................................................................................... 082
2.2.5 功能仿真 .......................................................................................... 088
2.2.6 邏輯綜合 .......................................................................................... 088
2.2.7 布局布線(xiàn) .......................................................................................... 093
2.2.8 時(shí)序仿真 .......................................................................................... 093
2.2.9 配置及固化 ...................................................................................... 094
2.3 本章小結(jié)...................................................................................................... 098
第3章 FPGA軟件測(cè)試相關(guān)標(biāo)準(zhǔn)和方法 ................................................................ 099
3.1 FPGA軟件測(cè)試相關(guān)標(biāo)準(zhǔn) ........................................................................... 099
3.1.1 GJB 9433—2018標(biāo)準(zhǔn) ..................................................................... 099
3.1.2 GJB 9432—2018標(biāo)準(zhǔn) ..................................................................... 100
3.1.3 GB/T 37691—2019標(biāo)準(zhǔn).................................................................. 100
3.1.4 GB/T 37979—2019標(biāo)準(zhǔn).................................................................. 100
3.2 FPGA軟件測(cè)試方法 ................................................................................... 101
3.2.1 編碼規(guī)則檢查.................................................................................. 101
3.2.2 跨時(shí)鐘域分析.................................................................................. 110
3.2.3 靜態(tài)時(shí)序分析.................................................................................. 116
3.2.4 仿真測(cè)試.......................................................................................... 135
3.3 本章小結(jié)...................................................................................................... 152
第4章 FPGA軟件測(cè)試工具及使用方法 ................................................................ 153
4.1 編碼規(guī)則檢查工具及使用方法.................................................................. 154
4.1.1 HDL Designer .................................................................................. 156
4.1.2 vLinter .............................................................................................. 158
4.2 靜態(tài)時(shí)序分析工具及使用方法.................................................................. 161
4.2.1 PrimeTime簡(jiǎn)介 ................................................................................ 161
4.2.2 PrimeTime使用流程 ........................................................................ 163
4.3 跨時(shí)鐘域分析工具及使用方法.................................................................. 173
4.3.1 跨時(shí)鐘域分析中的3種問(wèn)題............................................................ 175
4.3.2 vChecker工具的特點(diǎn)及使用方法 .................................................. 179
4.4 仿真工具及使用方法.................................................................................. 187
4.4.1 Modelsim ......................................................................................... 187
4.4.2 VCS .................................................................................................. 195
4.5 邏輯等效性檢查工具及使用方法.............................................................. 198
4.5.1 360 EC-FPGA工具的功能和優(yōu)點(diǎn) .................................................. 198
4.5.2 360 EC-FPGA工具的使用方法 ...................................................... 199
4.6 本章小結(jié)...................................................................................................... 205
第5章 FPGA軟件測(cè)試案例與分析 ......................................................................... 207
5.1 代碼審查...................................................................................................... 207
5.1.1 代碼審查內(nèi)容.................................................................................. 207
5.1.2 代碼審查案例.................................................................................. 213
5.2 代碼走查...................................................................................................... 230
5.2.1 代碼走查內(nèi)容.................................................................................. 231
5.2.2 代碼走查案例.........