Verilog HDL設(shè)計(jì)實(shí)踐與指導(dǎo)

前言
第1章 Verilog HDL概述
1.1 Verilog HDL簡(jiǎn)介
1.2 Verilog HDL的歷史
1.3 Verilog HDL和VHDL的比較
1.4 計(jì)算機(jī)輔助設(shè)計(jì)的概況
1.5 目前的集成電路設(shè)計(jì)
1.5.1 第一步：詳細(xì)說(shuō)明
1.5.2 第二步：寄存器傳輸級(jí)（RTL）編碼
1.5.3 第三步：TestBench與仿真
1.5.4 第四步：綜合
1.5.5 第五步：初步時(shí)序分析
1.5.6 第六步：自動(dòng)布局布線(xiàn)（APR）
1.5.7 第七步：后端報(bào)告（BACK ANNOTATION）
1.5.8 第八步：布局后時(shí)序分析
1.5.9 第九步：邏輯驗(yàn)證
1.6 IP復(fù)用技術(shù)及SoC概況
1.6.1 IP復(fù)用技術(shù)
1.6.2 SoC的概況
1.7 小結(jié)
第2章 Verilog HDL語(yǔ)言的語(yǔ)法
2.1 標(biāo)識(shí)符和關(guān)鍵字
2.2 系統(tǒng)任務(wù)和系統(tǒng)函數(shù)
2.2.1 display和write任務(wù)
2.2.2 monitor任務(wù)
2.2.3 strobe任務(wù)
2.2.4 文件輸入/輸出任務(wù)
2.2.5 模擬時(shí)間函數(shù)
2.2.6 模擬控制任務(wù)
2.2.7 隨機(jī)函數(shù)
2.3 編譯指令
2.3.1 'define和'undef
2.3.2 'ifdef、'else和‘endif
2.3.3 'default_nettype
2.3.4 'include
2.3.5 'resetall
2.3.6 'timescale
2.3.7 'unconnected_drive和'nounconnected_drive
2.3.8 'celldefine和'endcelefine
2.4 空白符和注釋
2.5 數(shù)值和字符串
2.6 線(xiàn)網(wǎng)類(lèi)型
2.7 寄存器類(lèi)型
2.8 門(mén)類(lèi)型
2.9 操作符
2.9.1 算術(shù)操作符
2.9.2 關(guān)系操作符
2.9.3 相等關(guān)系操作答
2.9.4 邏輯操作符
2.9.5 按位操作符
2.9.6 歸約操作符
2.9.7 移位操作符
2.9.8 條件操作符
2.9.9 連接操作符
2.9.10 復(fù)制操作符
2.9.11 操作符優(yōu)先級(jí)
2.10 小結(jié)
第3章 行為語(yǔ)句
3.1 過(guò)程語(yǔ)句
3.1.1 initial語(yǔ)句
3.1.2 always語(yǔ)句
3.2 條件語(yǔ)句
3.2.1 if_else語(yǔ)句
3.2.2 條件操作符
3.3 case語(yǔ)句
3.3.1 case語(yǔ)句
3.3.2 casez和casex語(yǔ)句
3.3.3 case語(yǔ)句和if-else-if語(yǔ)句的比較
3.4 循環(huán)語(yǔ)句
3.4.1 forever循環(huán)語(yǔ)句
3.4.2 repeat語(yǔ)句
3.4.3 while語(yǔ)句
3.4.4 for語(yǔ)句
3.4.5 循環(huán)的異常退出
3.5 事件控制
3.6 持續(xù)賦值
3.7 過(guò)程賦值語(yǔ)句
3.7.1 Verilog HDL的層次化事件隊(duì)列
3.7.2 阻塞賦值的一般用法
3.7.3 非阻塞賦值的一般用法
3.7.4 阻塞賦值和非阻塞賦值的比較
3.7.5 阻塞賦值和非阻塞賦值的混合使用
3.8 小結(jié)
第4章 結(jié)構(gòu)化建模
4.1 兩種設(shè)計(jì)方法
4.2 模塊
4.3 端口
4.4 模塊的示例化
4.5 模塊的參數(shù)化
4.6 關(guān)于結(jié)構(gòu)化的一個(gè)實(shí)例
4.7 小結(jié)
第5章 門(mén)級(jí)與開(kāi)關(guān)級(jí)建模
5.1 概述
5.2 門(mén)級(jí)基元
5.2.1 多輸入門(mén)
5.2.2 多輸出門(mén)
5.2.3 三態(tài)門(mén)
5.3 開(kāi)關(guān)級(jí)基元
5.3.1 MOS開(kāi)關(guān)
5.3.2 雙向開(kāi)關(guān)
5.4 門(mén)級(jí)建模
5.5 開(kāi)關(guān)級(jí)建模
5.5.1 強(qiáng)度的定義
5.5.2 開(kāi)關(guān)級(jí)建模的示例
5.6 小結(jié)
第6章 用戶(hù)自定義基元（UDP）
6.1 UDP的定義
6.1.1 UDP頭部
6.1.2 UDP端口聲明
6.1.3 時(shí)序UDP的初始化語(yǔ)句
6.1.4 UDP的狀態(tài)表格
6.2 組合UDP
6.3 時(shí)序UDP
6.3.1 電平敏感的時(shí)序UDP
6.3.2 邊沿敏感的時(shí)序UDP
6.3.3 混合時(shí)序UDP
6.4 小結(jié)
第7章 復(fù)雜建模
7.1 數(shù)組的示例
7.2 延時(shí)
7.2.1 賦值語(yǔ)句中的延時(shí)
7.2.2 門(mén)和線(xiàn)網(wǎng)的延時(shí)
7.2.3 最小延時(shí)、最大延時(shí)和典型延時(shí)
7.3 函數(shù)和任務(wù)
7.3.1 任務(wù)
7.3.2 可重入任務(wù)
7.3.3 函數(shù)
7.3.4 函數(shù)和任務(wù)的比較
7.4 作用域和層次名
7.4.1 作用域
7.4.2 層次名
7.5 握手協(xié)議
7.5.1 等待語(yǔ)句
7.5.2 握手協(xié)議實(shí)例
7.6 流水線(xiàn)設(shè)計(jì)
7.6.1 一個(gè)簡(jiǎn)單的流水線(xiàn)實(shí)例
7.6.2 流水線(xiàn)之間的同步操作
7.7 小結(jié)
第8章 功能驗(yàn)證
8.1 為模塊建立測(cè)試臺(tái)
8.2 一個(gè)簡(jiǎn)單的TestBench
8.3 讀寫(xiě)文本文件中的測(cè)試矢量
8.3.1 讀取文本文件
8.3.2 寫(xiě)入文本文件
8.3.3 修改后的TestBench
8.4 其他測(cè)試信號(hào)的產(chǎn)生
8.4.1 時(shí)鐘信號(hào)的產(chǎn)生
8.4.2 復(fù)位信號(hào)的產(chǎn)生
8.5 兩種測(cè)試方法學(xué)的簡(jiǎn)介
8.5.1 基于模擬的驗(yàn)證
8.5.2 半形式化驗(yàn)證
8.6 小結(jié)
第9章 綜合與設(shè)計(jì)
9.1 綜合中特殊的幾類(lèi)語(yǔ)句
9.1.1 always語(yǔ)句
9.1.2 if語(yǔ)句
9.1.3 case語(yǔ)句
9.1.4 full case
9.1.5 parallel case
9.2 時(shí)鐘
9.3 鎖存器和觸發(fā)器
9.3.1 鎖存器
9.3.2 觸發(fā)器（flip-flop）
9.4 同步行為和異步行為
9.5 組合邏輯和時(shí)序邏輯
9.6 毛刺及其消除方法
9.7 模塊的劃分與綜合
9.8 可綜合的描述風(fēng)格
9.9 小結(jié)
第10章 數(shù)字電路的設(shè)計(jì)與技巧
10.1 組合邏輯電路的設(shè)計(jì)與描述
10.1.1 組合邏輯電路的基本特征與設(shè)計(jì)介紹
10.1.2 多路選擇器
10.1.3 編碼器
10.1.4 優(yōu)先級(jí)編碼器
10.1.5 譯碼器
10.1.6 比較器
10.1.7 ALU
10.2 時(shí)序邏輯電路設(shè)計(jì)和描述
10.2.1 時(shí)序邏輯電路的基本特征
10.2.2 寄存器
10.2.3 線(xiàn)性反饋移位寄存器（LSFR）
10.2.4 計(jì)數(shù)器
10.2.5 資源的仲裁器（arbiter)
10.2.6 乘法器
10.3 有限狀態(tài)機(jī)的設(shè)計(jì)與描述
10.3.1 Moore有限狀態(tài)機(jī)
10.3.2 Mealy有限狀態(tài)機(jī)
10.3.3 混合有限狀態(tài)機(jī)
10.3.4 狀態(tài)的描述
10.3.5 狀態(tài)機(jī)的設(shè)計(jì)風(fēng)格
10.3.6 有限狀態(tài)機(jī)的復(fù)位
10.3.7 有限狀態(tài)機(jī)中的手刺
10.3.8 狀態(tài)機(jī)實(shí)例分析
10.4 小結(jié)
第11章 基于Harvard結(jié)構(gòu)的RISC_CPU設(shè)計(jì)
11.1 概述
11.2 Harvard結(jié)構(gòu)的RISC_CPU簡(jiǎn)介
11.3 RSIC CPU的體系結(jié)構(gòu)
11.4 算術(shù)邏輯運(yùn)算部件
11.5 寄存器文件
11.6 譯碼部件
11.7 CPU頂層模塊
11.7.1 取指令部件
11.7.2 特殊寄存器部件
11.7.3 數(shù)據(jù)通路
11.8 RISC CPU的IP核驗(yàn)證
11.9 RISC CPU的綜合及前仿
11.10 小結(jié)