CPLD/FPGA設(shè)計與應(yīng)用基礎(chǔ)教程:從Verilog HDL到SystemVerilog
定 價:79 元
叢書名:普通高校“十三五”規(guī)劃教材
- 作者:郭利文,鄧月明 著
- 出版時間:2019/8/1
- ISBN:9787512429918
- 出 版 社:北京航空航天大學(xué)出版社
- 中圖法分類:TP332.1
- 頁碼:403
- 紙張:膠版紙
- 版次:1
- 開本:16開
《CPLD/FPGA設(shè)計與應(yīng)用基礎(chǔ)教程:從Verilog HDL到SystemVerilog》涵蓋了Verilog HDL和SystemVerilog設(shè)計、仿真及驗證所需的理論知識點,同時涵蓋了時序約束等與CPLD/FPGA設(shè)計相關(guān)的重要知識點。從Verilog HDL基礎(chǔ)語法出發(fā),逐漸過渡到Sys-temVerilog!禖PLD/FPGA設(shè)計與應(yīng)用基礎(chǔ)教程:從Verilog HDL到SystemVerilog》包含了Verilog HDL和SystemVerilog基礎(chǔ)語法及新進展,所涉及的實例均在實際中應(yīng)用過,所涉及的各類CPLD/FPGA平臺均為目前全球主流的CPLD/FPGA開發(fā)平臺。
《CPLD/FPGA設(shè)計與應(yīng)用基礎(chǔ)教程:從Verilog HDL到SystemVerilog》既可作為高年級本科生或研究生的CPLD/FPGA教材,又可作為從事CPLD/FPGA項目開發(fā)實踐的工程技術(shù)人員的參考書。
2006年,自Google首席執(zhí)行官埃里克·施密特在搜索引擎大會上首次提出“云計算”的概念以來,過去十來年圍繞云計算、大數(shù)據(jù)等方面的科技與研究迅速發(fā)展,日新月異。特別是2016年Alphago第一次戰(zhàn)勝了人類頂尖圍棋棋手后,基于云計算、大數(shù)據(jù)而衍生出來的人工智能又達到了一個新的起點。過去三年,全球的科技界以云計算、大數(shù)據(jù)、人工智能以及互聯(lián)網(wǎng)科技為核心,重新對過去進行總結(jié),對未來進行布局,尤其是半導(dǎo)體行業(yè),更是發(fā)生了翻天覆地的變化-2015年,ADI收購Line-ar;西部數(shù)據(jù)收購Sandisk;收購了LSI和PLX公司的安華高收購Broadcom后,華麗變身為新Broadcom公司。2016年,高通收購NXP,軟銀收購ARM,Intel收購Al-tera; 2017年,Intel收購Mobileye,東芝芯片業(yè)務(wù)出售,Broadcom收購Brocade,Marvell收購Carvium。2018年收購了Actel公司和PMC公司后的Microsemi被Microchip收購,而高通并購NXP失敗……。各種大型跨國、跨行業(yè)、跨領(lǐng)域的半導(dǎo)體并購案層出不窮,不僅涉及數(shù)字器件領(lǐng)域,也涉及模擬器件領(lǐng)域;不僅涉及科技公司本身,還涉及各類大型金融財團;不僅有大魚吃小魚的并購,還有蛇吞象的重組;不僅有對本行業(yè)的兼并,還有跨領(lǐng)域的轉(zhuǎn)型……。隨著人工智能、大數(shù)據(jù)和云計算的迅速發(fā)展,需要大量的計算能力和資源,因此,具有超強計算天賦的CPLD/FPGA迅猛發(fā)展,它們出現(xiàn)在各類數(shù)據(jù)中心和HPC的基礎(chǔ)架構(gòu)中,并承擔(dān)著核心的計算任務(wù)。
本書基于此時代背景,結(jié)合當(dāng)前主流的CPLD/FPGA設(shè)計理念,根據(jù)作者多年的實踐經(jīng)驗,系統(tǒng)比較了目前最為流行的Verilog HDL和SystemVerilog的語法特點,從基礎(chǔ)的語法結(jié)構(gòu)入門到簡單程序設(shè)計,從有限狀態(tài)機到接口,從設(shè)計到仿真,從斷言到功能覆蓋,從功能到時序,一一涵蓋,系統(tǒng)地對Verilog HDL和SystemVeril-og語法應(yīng)用進行了詳細探討。全書實例豐富,圖文并茂,由淺人深,詳細地介紹了CPLD/FPGA的設(shè)計與應(yīng)用。
全書分為四大部分,共11章。第一部分是第1章,重點介紹CPLD/FPGA的基本概念,包括發(fā)展歷程、硬件架構(gòu)及基本原理,并簡單介紹CPLD/FPGA的設(shè)計理念、設(shè)計語言及驗證流程等。第二部分涵蓋第2~5章,主要介紹傳統(tǒng)的Verilog HDL的語法邏輯,其中第2章重點介紹Verilog HDL語言的語法基礎(chǔ)及相關(guān)應(yīng)用,包括模塊與端口的定義、注釋、時延以及三種抽象層級不同的描述:數(shù)據(jù)流描述、行為級描述和結(jié)構(gòu)化描述等。第3章主要介紹Verilog HDL語法的基本要素,包括標(biāo)識符、數(shù)據(jù)類型、數(shù)值集合、關(guān)鍵詞、參數(shù)、表達式及編譯程序指令等。第4章主要介紹Verilog HDL語法中的語句塊、高級程序設(shè)計語句、模塊的參數(shù)描述、任務(wù)及函數(shù)等高階描述。第5章重點介紹Verilog HDL語言中的任務(wù)及函數(shù)。第三部分包括第6、7、9、10章和第11章,重點介紹SystemVerilog的基礎(chǔ)語法,以及如何進行設(shè)計、仿真、斷言及功能覆蓋等。其中,第6章重點介紹SystemVerilog之有別于Verilog 狀態(tài)機的基本概念、算法描述、基本語法要素、狀態(tài)初始化與編碼、Full Case與Par-allel Case及有限狀態(tài)機的描述等。第9章主要講述在基于時鐘的硬件設(shè)計世界里,如何通過硬件線程以及線程與線程之間的接口進行SystemVeirilog設(shè)計,同時重點介紹SystemVerilog的新類型interface及新結(jié)構(gòu)體modport。第10章主要就Sys-temVerilog特有的仿真特性進行具體詳細的介紹,并重點介紹SystemVerilog的類、隨機化及并行線程的使用。第11章主要講述SystemVerilog語言最為重要的兩個驗證性能:斷言與功能覆蓋,并分別詳細介紹斷言和功能覆蓋,包括斷言的種類、斷言的構(gòu)成、序列與屬性的特點等,同時全面講述功能覆蓋的組合、特點以及如何進行覆蓋率分析等。第四部分是第8章,主要就同步數(shù)字電路時序分析與優(yōu)化方面進行重點討論,包括同步數(shù)字電路的基本概念、D觸發(fā)器的工作原理、亞穩(wěn)態(tài)的產(chǎn)生原理,以及同步寄存器、同步數(shù)字系統(tǒng)的時序約束、時鐘的概念、10時序分析、時序例外、PLL及如何進行時序優(yōu)化。
第1章 概述
1.1 CPLD/FPGA發(fā)展演變
1.2 乘積項結(jié)構(gòu)的基本原理
1.3 查找表結(jié)構(gòu)的基本原理
1.4 Virtex UltraScale+系列FPGA簡介
1.5 CPLD/FPGA設(shè)計與驗證流程
1.5.1 系統(tǒng)級功能定義與模塊劃分
1.5.2 寄存器傳輸級與門級描述
1.5.3 系統(tǒng)綜合編譯
1..5.4 布局規(guī)劃與布線
1.5.5 仿真
1.5.6 程序設(shè)計下載配置
1.5.7 測試與驗證
1.6 CPLD/FPGA開發(fā)平臺簡介
1.7 硬件描述語言的介紹
1.8 硬件語言與軟件語言的區(qū)別
本章小結(jié)
思考與練習(xí)
第2章 Verilog HDL入門指南
2.1 模塊
2.2 模塊端口及聲明
2.3 注釋
2.4 數(shù)據(jù)流描述
2.4.1 連續(xù)賦值語句
2.4.2 時延
2.5 行為級描述
2.5.1 initial語句
2.5.2 always語句
2.5.3 時序控制
2.6 結(jié)構(gòu)化描述
2.6.1 門級建模及描述
2.6.2 用戶定義原語(UDP)
2.6.3 模塊例化
2.7 混合描述
本章小結(jié)
思考與練習(xí)
第3章 Verilog HDL語法要素
3.1 標(biāo)識符
3.2 數(shù)值集合
3.2.1 數(shù)字
3.2.2 字符串
3.2.3 參數(shù)
3.3 數(shù)據(jù)類型
3.3.1 線網(wǎng)類型
3.3.2 變量類型
3.4 數(shù)組
3.5 內(nèi)建門級原語
3.6 操作數(shù)
3.6.1 常數(shù)、參數(shù)、線網(wǎng)與變量
3.6.2 位選擇及部分位選
3.6.3 存儲單元
3.6.4 功能調(diào)用
3.7 操作符
3.7.1 算術(shù)操作符
3.7.2 關(guān)系操作符
3.7.3 相等操作符
3.7.4 邏輯操作符
3.7.5 按位操作符
3.7.6 縮減操作符
……
第4章 Verilog HDL語法進階描述
第5章 任務(wù)及函數(shù)
第6章 SystemVerilog基礎(chǔ)語法
第7章 有限狀態(tài)機設(shè)計
第8章 同步數(shù)字電路與時序分析
第9章 硬件線程與接口
第10章 SystemVerilog仿真基礎(chǔ)
第11章 斷言與功能覆蓋
參考文獻