內容簡介:　　本書簡要介紹了Verilog硬件描述語言的基礎知識，包括語言的基本內容和基本結構，以及利用該語言在各種層次上對數(shù)字系統(tǒng)的建模方法。書中列舉了大量實例，幫助讀者掌握語言本身和建模方法，對實際數(shù)字系統(tǒng)設計也很有幫助。第3版中添加了與Verilog2001有關的新內容。
　　本書是VerilogHDL的初級讀本，可作為計算機、電子、電氣及自控等專業(yè)相關課程的教材，也可用作相關科研人員的參考書。

目錄:第1章 簡介
1.1 什么是Verilog HDL？1
1.2 歷史2
1.3 主要能力2
1.4 練習題4
第2 章 入門指南
2.1 模塊5
2.2 延遲7
2.3 數(shù)據(jù)流風格的描述7
2.4 行為風格的描述9
2.5 結構風格的描述12
2.6 混合設計風格的描述14
2.7 設計的仿真15
2.8 練習題19
第3章 Verilog語言要素
3.1 標識符20
3.2 注釋21
3.3 格式21
3.4 系統(tǒng)任務和系統(tǒng)函數(shù)22
3.5 編譯器指令22
3.5.1 `define和`undef22
3.5.2` ifdef、`ifndef、`else、elseif和 `endif23
3.5.3` default_nettype24
3.5.4` include24
3.5.5` resetall24
3.5.6` timescale25
3.5.7` unconnected_drive 和`nounconnected_drive26
3.5.8` celldefine和`endcelldefine27
3.5.9 line27
3.6 值集合27
3.6.1 整型數(shù)28
3.6.2 實數(shù)30
3.6.3 字符串30
3.7 數(shù)據(jù)類型31
3.7.1 線網類型31
3.7.2 未聲明的線網35
3.7.3 向量線網和標量線網35
3.7.4 變量類型36
3.7.5 數(shù)組41
3.7.6 reg與wire的不同點42
3.8 參數(shù)（parameter）42
局部參數(shù)43
3.9 練習題44
第4 章 表達式
4.1 操作數(shù)45
4.1.1 常數(shù)45
4.1.2 參數(shù)46
4.1.3 線網46
4.1.4 變量47
4.1.5 位選47
4.1.6 部分位選48
4.1.7 存儲器和數(shù)組元素49
4.1.8 函數(shù)調用50
4.1.9 符號50
4.2 操作符50
4.2.1 算術操作符52
4.2.2 關系操作符55
4.2.3 相等操作符56
4.2.4 邏輯操作符57
4.2.5 按位操作符58
4.2.6 縮減操作符59
4.2.7 移位操作符60
4.2.8 條件操作符62
4.2.9 拼接和復制操作符62
4.3 表達式的類型63
4.4 練習題64
第5章 門級建模
5.1 內建基元（原語）門65
5.2 多輸入門66
5.3 多輸出門68
5.4 三態(tài)門69
5.5 上拉門和下拉門（電阻）70
5.6  MOS開關71
5.7 雙向開關72
5.8 門延遲73
5.9 實例數(shù)組75
5.10 隱含的線網76
5.11 一個簡單的示例76
5.12 24 編碼器舉例78
5.13 主/從觸發(fā)器舉例78
5.14 奇偶校驗電路79
5.15 練習題80
第6章 用戶定義的原語（基元UDP）
6.1 UDP的定義82
6.2 組合邏輯的UDP83
6.3 時序邏輯的UDP84
6.3.1 狀態(tài)變量的初始化85
6.3.2 電平觸發(fā)的時序邏輯UDP85
6.3.3 沿觸發(fā)的時序邏輯UDP85
6.3.4 沿觸發(fā)的和電平敏感的混合行為86
6.4 另一個示例87
6.5 表項的總結88
6.6 練習題88
第7章 數(shù)據(jù)流建模
7.1 連續(xù)賦值語句89
7.2 示例91
7.3 線網聲明賦值91
7.4 賦值延遲92
7.5 線網延遲94
7.6 示例95
7.6.1 主/從觸發(fā)器95
7.6.2 幅值比較器96
7.7 練習題96
第8章 行為級建模
8.1 過程性結構97
8.1.1 initial語句97
8.1.2 always語句100
8.1.3 兩類語句在模塊中的使用102
8.2 時序控制104
8.2.1 延遲控制104
8.2.2 事件控制105
8.3 語句塊109
8.3.1 順序語句塊109
8.3.2 并行語句塊111
8.4 過程性賦值113
8.4.1 語句內部延遲114
8.4.2 阻塞性過程賦值115
8.4.3 非阻塞性過程賦值116
8.4.4 連續(xù)賦值與過程賦值的比較119
8.5 條件語句121
8.6 case語句122
8.7 循環(huán)語句125
8.7.1 forever循環(huán)語句125
8.7.2 repeat循環(huán)語句126
8.7.3 while循環(huán)語句127
8.7.4 for循環(huán)語句127
8.8 過程性連續(xù)賦值128
8.8.1 assign與deassign語句128
8.8.2 force與 release語句129
8.9 握手協(xié)議示例130
8.10 練習題132
第9章 結構建模
9.1 模塊134
9.2 端口134
9.3 模塊實例引用語句137
9.3.1 未連接的端口139
9.3.2 不同的端口位寬139
9.3.3 模塊參數(shù)值140
9.4 外部端口144
9.5 舉例148
9.6 generate語句151
9.6.1 generate循環(huán)語句151
9.6.2 generateconditional條件語句153
9.6.3 generatecase分支語句156
9.7 配置157
9.8 練習題161
第10章 其他論題
10.1 任務162
10.1.1 任務的定義162
10.1.2 任務的調用164
10.2 函數(shù)167
10.2.1 函數(shù)的定義168
10.2.2 函數(shù)的調用171
10.2.3 常數(shù)函數(shù)172
10.3 系統(tǒng)任務和系統(tǒng)函數(shù)172
10.3.1 顯示任務173
10.3.2 文件輸入/輸出任務177
10.3.3 時間標度任務180
10.3.4 仿真控制任務181
10.3.5 仿真時間函數(shù)182
10.3.6 轉換函數(shù)182
10.3.7 概率分布函數(shù)183
10.3.8 字符串格式化184
10.4 禁止語句185
10.5 命名事件187
10.6 結構描述方式和行為描述方式的混合使用189
10.7 層次路徑名191
10.8 共享任務和函數(shù)193
10.9 屬性195
10.10 值變轉儲文件196
10.10.1 四狀態(tài)型VCD文件196
10.10.2 拓展的VCD文件197
10.10.3 示例198
10.10.4 VCD文件格式200
10.11 指定塊 201
10.12 強度207
10.12.1 驅動強度207
10.12.2 電荷強度208
10.13 競爭的狀況208
10.14 命令行參變量210
10.15 練習題211
第11章 驗證
11.1 編寫測試平臺213
11.2 波形的生成214
11.2.1 值序列214
11.2.2 重復模式216
11.3 測試平臺舉例221
11.3.1 解碼器221
11.3.2 觸發(fā)器223
11.4 從文本文件中讀取向量225
11.5 向文本文件中寫入向量228
11.6 其他示例229
11.6.1 時鐘分頻器229
11.6.2 階乘設計231
11.6.3 序列檢測器235
11.6.4 LED序列237
11.7 實用程序239
11.7.1 檢測x239
11.7.2 將文件傳遞到任務中240
11.7.3 操作碼的調試241
11.7.4 檢測時鐘脈沖是否出現(xiàn)丟失的情況242
11.7.5 突發(fā)時鐘發(fā)生器242
11.8 練習題243
第12章 建模示例
12.1 簡單元素的建模245
12.2 不同風格的建模方式249
12.3 延遲的建模251
12.4 真值表的建模254
12.5 條件操作的建模256
12.6 同步邏輯建模258
12.7 通用移位寄存器262
12.8 格雷碼計數(shù)器
263
12.9 十進制數(shù)計數(shù)器264
12.10 并行到串行轉換器265
12.11 狀態(tài)機建模265
12.12 狀態(tài)機的交互268
12.13 Moore有限狀態(tài)機的建模272
12.14 Mealy有限狀態(tài)機的建模273
12.15 簡化的黑杰克程序275
12.16 掃描單元278
12.17 7段BCD碼譯碼器279
12.18 實用程序280
12.19 練習題281
附錄A 語法參考資料
A.1 關鍵字282
A.2 語法規(guī)則284
A.3 語法284
參考文獻315
索引316