《數字系統設計與Verilog HDL（Vivado版）》是2020年3月電子工業出版社出版的圖書，作者是王金明、曹陽。
基本介紹
- 書名：數字系統設計與Verilog HDL（Vivado版）
- 作者：王金明、曹陽
- ISBN：9787121384998
- 頁數：368頁
- 定價：59元
- 出版社：電子工業出版社
- 出版時間：2020年3月
- 開本：16開
內容簡介,圖書目錄,
內容簡介
本書根據EDA課程教學要求，以提高數字系統設計能力為目標，系統闡述FPGA數字開發的相關知識，主要內容包括EDA技術概述、FPGA/CPLD器件結構、Verilog硬體描述語言及設計案例等。全書以Vivado、ModelSim軟體為工具，以Verilog-1995和Verilog-2001語言標準為依據，以可綜合的設計為重點，通過諸多精選設計案例，系統闡述數字系統設計方法與思想，由淺入深地介紹Verilog工程開發的手段與技能。
圖書目錄
第1章 EDA技術概述 1
1.1 EDA技術及其發展 1
1.2 Top-down設計與IP核復用 4
1.2.1 Top-down設計 4
1.2.2 Bottom-up設計 4
1.2.3 IP復用技術與SoC 5
1.3 數字設計的流程 6
1.3.1 設計輸入 7
1.3.2 綜合 7
1.3.3 布局布線 8
1.3.4 仿真 8
1.3.5 編程配置 9
1.4 常用的EDA工具軟體 9
1.5 EDA技術的發展趨勢 12
習題1 13
第2章 FPGA/CPLD器件 14
2.1 PLD器件概述 14
2.1.1 PLD器件的發展歷程 14
2.1.2 PLD器件的分類 15
2.2 PLD的基本原理與結構 17
2.2.1 PLD器件的基本結構 17
2.2.2 PLD電路的表示方法 18
2.3 低密度PLD的原理與結構 19
2.4 CPLD的原理與結構 23
2.4.1 宏單元結構 23
2.4.2 CPLD的結構 24
2.5 FPGA的原理與結構 26
2.5.1 查找表結構 26
2.5.2 FPGA的結構 29
2.6 FPGA/CPLD的編程元件 34
2.7 邊界掃描測試技術 37
2.8 FPGA/CPLD的編程與配置 39
2.8.1 在系統可程式 39
2.8.2 Artix-7器件的配置 40
2.9 Xilinx的FPGA器件 42
2.10 FPGA/CPLD的發展趨勢 43
習題2 44
第3章 Vivado使用指南 45
3.1 Vivado流水燈設計 45
3.1.1 流水燈設計輸入 45
3.1.2 行為仿真 52
3.1.3 綜合與引腳的約束 55
3.1.4 生成比特流檔案並下載 58
3.1.5 將配置數據燒寫至Flash中 59
3.2 IP核的創建和封裝 62
3.3 基於IP集成的計數器設計 70
3.4 Vivado的綜合策略與最佳化設定 79
習題3 85
第4章 Verilog設計初步 86
4.1 Verilog的歷史 86
4.2 Verilog模組的結構 87
4.3 Verilog基本組合電路設計 90
4.3.1 用Verilog設計表決電路 90
4.3.2 用Verilog設計加法器 91
4.4 Verilog基本時序電路設計 93
4.4.1 用Verilog設計觸發器 93
4.4.2 用Verilog設計計數器 94
習題4 96
第5章 Verilog語言要素 97
5.1 概述 97
5.2 常量 98
5.2.1 整數（Integer） 98
5.2.2 實數（Real） 100
5.2.3 字元串（String） 100
5.3 數據類型 101
5.3.1 net型 102
5.3.2 variable型 103
5.4 參數 104
5.4.1 參數parameter 104
5.4.2 Verilog-2001中的參數聲明 105
5.4.3 參數的傳遞 106
5.4.4 localparam 106
5.5 向量 107
5.6 運算符 109
習題5 113
第6章 Verilog語句語法 115
6.1 過程語句 115
6.1.1 always過程語句 116
6.1.2 initial過程語句 119
6.2 塊語句 120
6.2.1 串列塊begin-end 120
6.2.2 並行塊fork-join 121
6.3 賦值語句 122
6.3.1 持續賦值與過程賦值 122
6.3.2 阻塞賦值與非阻塞賦值 123
6.4 條件語句 125
6.4.1 if-else語句 125
6.4.2 case語句 126
6.5 循環語句 130
6.5.1 for語句 131
6.5.2 repeat、while、forever語句 132
6.6 編譯指示語句 133
6.7 任務與函式 135
6.7.1 任務（task） 135
6.7.2 函式（function） 137
6.8 順序執行與並發執行 140
6.9 Verilog-2001語言標準 142
6.9.1 Verilog-2001改進和增強的語法結構 142
6.9.2 屬性及PLI接口 150
習題6 153
第7章 Verilog設計的層次與風格 154
7.1 Verilog設計的層次 154
7.2 門級結構描述 154
7.2.1 Verilog門元件 155
7.2.2 門級結構描述 157
7.3 行為描述 158
7.4 數據流描述 159
7.5 不同描述風格的設計 160
7.5.1 半加器設計 160
7.5.2 1位全加器設計 161
7.5.3 加法器的級聯 163
7.6 多層次結構電路的設計 164
7.6.1 模組例化 164
7.6.2 用parameter進行參數傳遞 165
7.6.3 用defparam進行參數重載 166
7.7 基本組合電路設計 167
7.8 基本時序電路設計 171
7.9 三態邏輯設計 174
習題7 176
第8章 Verilog有限狀態機設計 177
8.1 有限狀態機 177
8.2 有限狀態機的Verilog描述 179
8.2.1 用三個always塊描述 180
8.2.2 用兩個過程描述 181
8.2.3 單過程描述方式 182
8.3 狀態編碼 183
8.3.1 常用的編碼方式 183
8.3.2 狀態編碼的定義 185
8.4 有限狀態機設計要點 188
8.4.1 復位和起始狀態的選擇 188
8.4.2 多餘狀態的處理 191
8.5 有限狀態機套用實例 192
8.5.1 用有限狀態機控制彩燈 192
8.5.2 用有限狀態機控制A/D採樣 194
習題8 195
第9章 Verilog驅動常用I/O外設 197
9.1 4×4矩陣鍵盤 197
9.2 數碼管 200
9.3 標準PS/2鍵盤 202
9.4 字元液晶 210
9.5 漢字圖形點陣液晶 218
9.6 VGA顯示器 224
9.6.1 VGA顯示原理與時序 224
9.6.2 VGA彩條信號發生器 226
9.6.3 VGA圖像顯示與控制 232
9.7 樂曲演奏電路 239
習題9 247
第10章 Verilog設計進階 249
10.1 設計的可綜合性 249
10.2 流水線設計技術 252
10.3 資源共享 255
10.4 阻塞賦值與非阻塞賦值 257
10.5 加法器設計 261
10.5.1 行波進位加法器 261
10.5.2 超前進位加法器 262
10.5.3 流水線加法器 266
10.6 乘法器設計 266
10.6.1 並行乘法器 267
10.6.2 布斯乘法器 267
10.6.3 查找表乘法器 270
10.7 奇數分頻與小數分頻 271
10.7.1 奇數分頻 271
10.7.2 半整數分頻 272
10.7.3 小數分頻 273
習題10 277
第11章 Verilog Test Bench仿真 278
11.1 系統任務與系統函式 278
11.2 用戶自定義元件 282
11.2.1 組合電路UDP元件 283
11.2.2 時序邏輯UDP元件 284
11.3 延時模型的表示 286
11.3.1 時間標尺定義`timescale 286
11.3.2 延時的表示與延時說明塊 287
11.4 Test Bench測試平台 288
11.5 組合和時序電路的仿真 291
11.5.1 組合電路的仿真 291
11.5.2 時序電路的仿真 293
11.6 ModelSim SE仿真實例 294
11.6.1 圖形界面進行功能仿真 295
11.6.2 命令行方式進行功能仿真 298
11.6.3 時序仿真 300
習題11 303
第12章 Verilog設計實例 304
12.1 脈寬調製與步進電機驅動 304
12.1.1 PWM信號 304
12.1.2 用PWM驅動蜂鳴器 305
12.1.3 用PWM驅動步進電機 310
12.2 超音波測距 314
12.3 整數開方運算 319
12.4 頻率測量 324
12.5 Cordic算法及其實現 330
12.5.1 Cordic算法原理 330
12.5.2 Cordic算法的實現 333
12.6 用XADC實現模數轉換 340
12.6.1 7系列FPGA片內集成ADC概述 340
12.6.2 XADC的使用 342
習題12 354
附錄A EGO1開發板 355
附錄B Verilog HDL（IEEE Std 1364-1995）關鍵字 356
附錄C Verilog HDL（IEEE Std 1364-2001）關鍵字 357
參考文獻 358
