Verilog HDL數字系統(tǒng)設計及仿真

目 錄
第1章 Verilog HDL入門簡介 1
1．1 從數字電路講開來 1
1．2 設計一個七進制計數器 2
1．3 Verilog HDL建模 4
1．4 集成電路設計流程簡介 6
1．5 編寫測試代碼并仿真 7
1．6 兩種硬件描述語言 9
第2章 Verilog HDL門級建模 10
2．1 門級建模范例 10
2．2 門級建?；菊Z法 12
2．2．1 模塊定義 12
2．2．2 端口聲明 13
2．2．3 門級調用 15
2．2．4 模塊實例化 19
2．2．5 內部連線聲明 21
2．3 MOS開關 22
2．4 用戶自定義原語UDP 25
2．4．1 UDP基本規(guī)則 25
2．4．2 組合電路UDP 26
2．4．3 時序電路UDP 29
2．5 層次化設計 31
2．6 應用實例 32
實例2-1――4位全加器的門級建模 32
實例2-2――2-4譯碼器的門級建模 35
實例2-3――主從D觸發(fā)器的門級建模 36
實例2-4――1位比較器的門級建模 38
2．7 習題 39
第3章 Verilog HDL數據流級建模 41
3．1 數據流級建模范例 41
3．2 數據流級建?；菊Z法 42
3．3 操作數 43
3．3．1 數字 43
3．3．2 參數 45
3．3．3 線網 47
3．3．4 寄存器 48
3．3．5 時間 49
3．4 操作符 49
3．4．1 算術操作符 49
3．4．2 按位操作符 49
3．4．3 邏輯操作符 50
3．4．4 關系操作符 51
3．4．5 等式操作符 52
3．4．6 移位操作符 52
3．4．7 拼接操作符 53
3．4．8 縮減操作符 53
3．4．9 條件操作符 53
3．4．10 操作符優(yōu)先級 54
3．5 應用實例 56
實例3-1――四位全加器的數據流建模 56
實例3-2――主從D觸發(fā)器的數據流建模 58
實例3-3――4位比較器的數據流建模 59
3．6 習題 60
第4章 Verilog HDL行為級建模 61
4．1 行為級建模范例 61
4．2 initial結構和always結構 64
4．2．1 initial結構 64
4．2．2 always結構 66
4．3 順序塊和并行塊 69
4．3．1 順序塊 69
4．3．2 并行塊 70
4．3．3 塊的嵌套 72
4．3．4 塊的命名與禁用 72
4．4 if語句 73
4．5 case語句 76
4．6 循環(huán)語句 78
4．6．1 while循環(huán) 78
4．6．2 for循環(huán) 79
4．6．3 repeat循環(huán) 80
4．6．4 forever循環(huán) 80
4．7 過程性賦值語句 81
4．7．1 阻塞性賦值語句 81
4．7．2 非阻塞性賦值語句 81
4．8 應用實例 83
實例4-1――4位全加器的行為級建模 83
實例4-2――簡易ALU電路的行為級建模 84
實例4-3――下降沿觸發(fā)D觸發(fā)器的行為級建模 86
4．9 習題 87
第5章 任務、函數與編譯指令 88
5．1 任務 88
5．1．1 任務的聲明和調用 89
5．1．2 自動任務 91
5．2 函數 93
5．2．1 函數的聲明和調用 94
5．2．2 自動函數 96
5．2．3 常量函數 97
5．2．4 任務與函數的比較 98
5．3 系統(tǒng)任務和系統(tǒng)函數 98
5．3．1 顯示任務$display和$write 98
5．3．2 探測任務$strobe 101
5．3．3 監(jiān)視任務$monitor 101
5．3．4 仿真控制任務$stop和$finish 103
5．3．5 仿真時間函數$time 103
5．3．6 隨機函數$random 104
5．3．7 文件控制任務 105
5．3．8 時間檢驗任務 109
5．3．9 值變轉儲任務 109
5．4 編譯指令 112
5．4．1 `define 112
5．4．2 `include 113
5．4．3 `timescale 115
5．4．4 `ifdef、`else和`endif 117
5．5 完整的module參考模型 118
5．6 應用實例 119
實例5-1――信號同步任務 119
實例5-2――階乘任務 120
實例5-3――可控移位函數 121
實例5-4――偶校驗任務 123
實例5-5――算術邏輯函數 124
5．7 習題 125
第6章 Verilog HDL測試模塊 127
6．1 測試模塊范例 127
6．2 時鐘信號 129
6．3 復位信號 131
6．4 測試向量 133
6．5 響應監(jiān)控 135
6．6 仿真中對信號的控制 138
6．7 代碼覆蓋 140
6．8 應用實例 141
實例6-1――組合邏輯的測試模塊 141
實例6-2――時序邏輯的測試模塊 143
實例6-3――除法器的測試模塊 146
6．9 習題 149
第7章 可綜合模型設計 150
7．1 邏輯綜合過程 150
7．2 延遲 153
7．3 再談阻塞賦值與非阻塞賦值 162
7．4 可綜合語法 169
7．5 代碼風格 170
7．5．1 多重驅動問題 170
7．5．2 敏感列表不完整 171
7．5．3 if與else不成對出現(xiàn) 171
7．5．4 case語句缺少default 172
7．5．5 組合和時序混合設計 172
7．5．6 邏輯簡化 173
7．5．7 流水線思想 174
7．6 應用實例 177
實例7-1――SR鎖存器延遲模型 177
實例7-2――超前進位加法器 179
實例7-3――移位除法器模型 182
7．7 習題 187
第8章 有限狀態(tài)機的設計 188
8．1 有限狀態(tài)機簡介 188
8．2 兩種紅綠燈電路的狀態(tài)機模型 189
8．2．1 moore型紅綠燈 189
8．2．2 mealy型紅綠燈 194
8．3 深入理解狀態(tài)機 196
8．3．1 一段式狀態(tài)機 197
8．3．2 兩段式狀態(tài)機 201
8．3．3 三段式狀態(tài)機 203
8．3．4 狀態(tài)編碼的選擇 211
8．4 應用實例 212
實例8-1――獨熱碼狀態(tài)機 212
實例8-2――格雷碼狀態(tài)機 216
8．5 習題 220
第9章 常見功能電路的HDL模型 221
9．1 鎖存器與觸發(fā)器 221
9．2 編碼器與譯碼器 229
9．3 寄存器 232
9．4 計數器 237
9．5 分頻器 241
9．6 乘法器 247
9．7 存儲單元 255
9．8 習題 259
第10章 完整的設計實例 260
10．1 異步FIFO 260
10．1．1 異步FIFO的介紹與整體結構 260
10．1．2 亞穩(wěn)態(tài)的處理 262
10．1．3 空滿狀態(tài)的判斷 263
10．1．4 子模塊設計 266
10．1．5 整體仿真結果 274
10．2 三角函數計算器 277
10．2．1 設計要求的提出 277
10．2．2 數據格式 277
10．2．3 算法的選擇與原理結構 278
10．2．4 確定總體模塊 281
10．2．5 內部結構的劃分 281
10．2．6 分頻器模塊 283
10．2．7 控制模塊 283
10．2．8 迭代設計模塊 288
10．2．9 功能仿真與時序仿真 302
10．3 簡易CPU模型 305
10．3．1 教學模型的要求 305
10．3．2 指令格式的確定 306
10．3．3 整體結構劃分 307
10．3．4 控制模塊設計 308
10．3．5 其余子模塊設計 313
10．3．6 功能仿真與時序仿真 317
第11章 實驗 321
實驗一 簡單組合邏輯電路設計 321
實驗二 行為級模型設計 328
實驗三 任務與函數的設計 335
實驗四 流水線的使用 339
實驗五 信號發(fā)生器設計 344
實驗六 有限狀態(tài)機的設計 350
第12章 課程設計 356
選題一――出租車計費器 356
選題二――智力搶答器 362
選題三――點陣顯示 369
選題四――自動售貨機 373
選題五――籃球24秒計時 379
選題六――乒乓球游戲電路 384
選題七――CRC檢測 398
選題八――堆棧設計 404
選題九――數字鬧鐘 410
附錄A 課程測試樣卷 419
附錄B 習題及樣卷答案 424