本書簡要介紹了Verilog硬件描述語言的基礎(chǔ)知識，包括語言的基本內(nèi)容和基本結(jié)構(gòu) ，以及利用該語言在各種層次上對數(shù)字系統(tǒng)的建模方法。書中列舉了大量實(shí)例，幫助讀者掌握語言本身和建模方法，對實(shí)際數(shù)字系統(tǒng)設(shè)計(jì)也很有幫助。本書是Verilog HDL的初級讀本，適用于作為計(jì)算機(jī)、電子、電氣及自控等專業(yè)相關(guān)課程的教材，也可供有關(guān)的科研人員作為參考書。

目????? 錄
譯者序
前言
第1章?? 簡介?1
1.1?? 什么是Verilog HDL？?1
1.2?? 歷史?1
1.3?? 主要能力?1
第2章?? HDL指南?4
2.1?? 模塊?4
2.2?? 時延?5
2.3?? 數(shù)據(jù)流描述方式?5
2.4?? 行為描述方式?6
2.5?? 結(jié)構(gòu)化描述形式?8
2.6?? 混合設(shè)計(jì)描述方式?9
2.7?? 設(shè)計(jì)模擬?10
第3章?? Verilog語言要素?14
3.1?? 標(biāo)識符?14
3.2?? 注釋?14
3.3?? 格式?14
3.4?? 系統(tǒng)任務(wù)和函數(shù)?15
3.5?? 編譯指令?15
3.5.1?? `define和`undef?15
3.5.2?? `ifdef、`else 和`endif?16
3.5.3?? `default_nettype?16
3.5.4?? `include?16
3.5.5?? `resetall?16
3.5.6?? `timescale?16
3.5.7?? `unconnected_drive和
?????????? `nounconnected_drive?18
3.5.8?? `celldefine 和 `endcelldefine?18
3.6?? 值集合?18
3.6.1?? 整型數(shù)?18
3.6.2?? 實(shí)數(shù)?19
3.6.3?? 字符串?20
3.7?? 數(shù)據(jù)類型?20
3.7.1?? 線網(wǎng)類型?20
3.7.2?? 未說明的線網(wǎng)?23
3.7.3?? 向量和標(biāo)量線網(wǎng)?23
3.7.4?? 寄存器類型?23
3.8?? 參數(shù)?26
第4章?? 表達(dá)式?28
4.1?? 操作數(shù)?28
4.1.1?? 常數(shù)?28
4.1.2?? 參數(shù)?29
4.1.3?? 線網(wǎng)?29
4.1.4?? 寄存器?29
4.1.5?? 位選擇?29
4.1.6?? 部分選擇?29
4.1.7?? 存儲器單元?30
4.1.8?? 函數(shù)調(diào)用?30
4.2?? 操作符?30
4.2.1?? 算術(shù)操作符?31
4.2.2?? 關(guān)系操作符?33
4.2.3?? 相等關(guān)系操作符?33
4.2.4?? 邏輯操作符?34
4.2.5?? 按位操作符?35
4.2.6?? 歸約操作符?36
4.2.7?? 移位操作符?36
4.2.8?? 條件操作符?37
4.2.9?? 連接和復(fù)制操作?37
4.3?? 表達(dá)式種類?38
第5章?? 門電平模型化?39
5.1?? 內(nèi)置基本門?39
5.2?? 多輸入門?39
5.3?? 多輸出門?41
5.4?? 三態(tài)門?41
5.5?? 上拉、下拉電阻?42
5.6?? MOS開關(guān)?42
5.7?? 雙向開關(guān)?44
5.8?? 門時延?44
5.9?? 實(shí)例數(shù)組?45
5.10?? 隱式線網(wǎng)?45
5.11?? 簡單示例?46
5.12?? 2-4解碼器舉例?46
5.13?? 主從觸發(fā)器舉例?47
5.14?? 奇偶電路?47
第6章?? 用戶定義的原語?49
6.1?? UDP的定義?49
6.2?? 組合電路UDP?49
6.3?? 時序電路UDP?50
6.3.1?? 初始化狀態(tài)寄存器?50
6.3.2?? 電平觸發(fā)的時序電路UDP?50
6.3.3?? 邊沿觸發(fā)的時序電路UDP?51
6.3.4?? 邊沿觸發(fā)和電平觸發(fā)的混合行為?51
6.4?? 另一實(shí)例?52
6.5?? 表項(xiàng)匯總?52
第7章?? 數(shù)據(jù)流模型化?54
7.1?? 連續(xù)賦值語句?54
7.2?? 舉例?55
7.3?? 線網(wǎng)說明賦值?55
7.4?? 時延?55
7.5?? 線網(wǎng)時延?57
7.6?? 舉例?57
7.6.1?? 主從觸發(fā)器?57
7.6.2?? 數(shù)值比較器?58
第8章?? 行為建模?59
8.1?? 過程結(jié)構(gòu)?59
8.1.1?? initial 語句?59
8.1.2?? always語句?61
8.1.3?? 兩類語句在模塊中的使用?62
8.2?? 時序控制?63
8.2.1?? 時延控制?63
8.2.2?? 事件控制?64
8.3?? 語句塊?65
8.3.1?? 順序語句塊?66
8.3.2?? 并行語句塊?67
8.4?? 過程性賦值?68
8.4.1?? 語句內(nèi)部時延?69
8.4.2?? 阻塞性過程賦值?70
8.4.3?? 非阻塞性過程賦值?71
8.4.4?? 連續(xù)賦值與過程賦值的比較?72
8.5?? if 語句?73
8.6?? case語句?74
8.7?? 循環(huán)語句?76
8.7.1?? forever 循環(huán)語句?76
8.7.2?? repeat 循環(huán)語句?76
8.7.3?? while 循環(huán)語句?77
8.7.4?? for 循環(huán)語句?77
8.8?? 過程性連續(xù)賦值?78
8.8.1?? 賦值—重新賦值?78
8.8.2?? force與release?79
8.9?? 握手協(xié)議實(shí)例?80
第9章?? 結(jié)構(gòu)建模?83
9.1?? 模塊?83
9.2?? 端口?83
9.3?? 模塊實(shí)例語句?83
9.3.1?? 懸空端口?84
9.3.2?? 不同的端口長度?85
9.3.3?? 模塊參數(shù)值?85
9.4?? 外部端口?87
9.5?? 舉例?89
第10章?? 其他論題?91
10.1?? 任務(wù)?91
10.1.1?? 任務(wù)定義?91
10.1.2?? 任務(wù)調(diào)用?92
10.2?? 函數(shù)?93
10.2.1?? 函數(shù)說明部分?93
10.2.2?? 函數(shù)調(diào)用?94
10.3?? 系統(tǒng)任務(wù)和系統(tǒng)函數(shù)?95
10.3.1?? 顯示任務(wù)?95
10.3.2?? 文件輸入/輸出任務(wù)?97
10.3.3?? 時間標(biāo)度任務(wù)?99
10.3.4?? 模擬控制任務(wù)?99
10.3.5?? 定時校驗(yàn)任務(wù)?100
10.3.6?? 模擬時間函數(shù)?101
10.3.7?? 變換函數(shù)?102
10.3.8?? 概率分布函數(shù)?102
10.4?? 禁止語句?103
10.5?? 命名事件?104
10.6?? 結(jié)構(gòu)描述方式和行為描述方式的
????????? 混合使用?106
10.7?? 層次路徑名?107
10.8?? 共享任務(wù)和函數(shù)?108
10.9?? 值變轉(zhuǎn)儲文件?110
10.9.1?? 舉例?111
10.9.2?? VCD文件格式?112
10.10?? 指定程序塊?113
10.11?? 強(qiáng)度?114
10.11.1?? 驅(qū)動強(qiáng)度?114
10.11.2?? 電荷強(qiáng)度?115
10.12?? 競爭狀態(tài)?116
第11章?? 驗(yàn)證?118
11.1?? 編寫測試驗(yàn)證程序?118
11.2?? 波形產(chǎn)生?118
11.2.1?? 值序列?118
11.2.2?? 重復(fù)模式?119
11.3?? 測試驗(yàn)證程序?qū)嵗?123
11.3.1?? 解碼器?123
11.3.2?? 觸發(fā)器?124
11.4?? 從文本文件中讀取向量?126
11.5?? 向文本文件中寫入向量?127
11.6?? 其他實(shí)例?128
11.6.1?? 時鐘分頻器?128
11.6.2?? 階乘設(shè)計(jì)?130
11.6.3?? 時序檢測器?132
第12章?? 建模實(shí)例?136
12.1?? 簡單元件建模?136
12.2?? 建模的不同方式?138
12.3?? 時延建模?139
12.4?? 條件操作建模?141
12.5?? 同步時序邏輯建模?142
12.6?? 通用移位寄存器?145
12.7?? 狀態(tài)機(jī)建模?145
12.8?? 交互狀態(tài)機(jī)?147
12.9?? Moore有限狀態(tài)機(jī)建模?150
12.10?? Mealy型有限狀態(tài)機(jī)建模?151
12.11?? 簡化的21點(diǎn)程序?153
附錄?? 語法參考?157
參考文獻(xiàn)?172