-- 會員 / 註冊 --  
 帳號:
 密碼:
  | 註冊 | 忘記密碼
4/1 新書到! 3/25 新書到! 12/20新書到! 12/13 新書到!
購書流程Q & A站務留言版客服信箱
3ds MaxMayaRhinoAfter EffectsSketchUpZBrushPainterUnity
PhotoShopAutoCadMasterCamSolidWorksCreoUGRevitNuke
C#CC++Java遊戲程式Linux嵌入式PLCFPGAMatlab
駭客資料庫搜索引擎影像處理FluentVR+ARANSYS深度學習
單晶片AVROpenGLArduinoRaspberry Pi電路設計CadenceProtel
HadoopPythonStm32CortexLabview手機程式AndroidiPhone
可查書名,作者,ISBN,3dwoo書號
詳細書籍分類

Verilog 硬體描述語言(附範例光碟片)(第二版)

( 繁體 字)
作者:黃英叡類別:1. -> 電子工程 -> Verilog
譯者:
出版社:全華圖書Verilog 硬體描述語言(附範例光碟片)(第二版) 3dWoo書號: 27210
詢問書籍請說出此書號!

缺書
不接受訂購

出版日:4/22/2005
頁數:
光碟數:1
站長推薦:
印刷:黑白印刷語系: ( 繁體 版 )
不接受訂購
ISBN:9789861541044
作者序 | 譯者序 | 前言 | 內容簡介 | 目錄 | 
(簡體書上所述之下載連結耗時費功, 恕不適用在台灣, 若讀者需要請自行嘗試, 恕不保證)
作者序:

譯者序:

前言:

內容簡介:

本書涵蓋Verilog HDL的廣泛內容,對邏輯合成部份有深入的探討並輔以實例說明。本書內容包含運用Verilog、階層模組的觀念、Verilog的基本概念、邏輯閘層次模型、資料處理模組、行為模型、任務與函數、有用的程式技巧及高階Verilog的邏輯設計、本書適合作為大學電子、資工「VHDL設計」、「VHDL晶片設計」等課程所使用。
目錄:

Part1 基本Verilog的使用

第1章 導論:運用 Verilog HDL 作邏輯設計

1.1計算機輔助數位設計的發展1-2

1.2硬體描述語言(HDL)出場1-3

1.3標準設計流程 1-4

1.4硬體描述語言的重要性1-6

1-5Verilog HDL的普及1-7

1-6硬體描述語言未來的趨勢1-7

第2章 階層模組的觀念

2.1設計方法2-2

2.24位元漣波進位計數器2-4

2.3模 組 2-5

2.4別 名2-8

2.5模 擬2-10

2.6例 題2-11

2.6.1 設計區塊 2-11

2.6.2 觸發區塊 2-13

2.7總 結2-16

2.8習 題2-16

第3章 使用Verilog 的基本概念

3.1語法協定3-2

3.1.1 空白3-2

3.1.2 註解3-3

3.1.3 運算子3-3

3.1.4 數字規格3-3

3.1.5 字串3-5

3.1.6 定義名稱(Identifers)與關鍵字(Keywords)3-5

3.2資料型態3-5

3.2.1 數值組3-5

3.2.2 接線3-6

3.2.3 暫存器3-7

3.2.4 向量3-8

3.2.5 整數、實數、和時間暫存資料型態3-10

3.2.6 陣列3-11

3.2.7 記憶體3-12

3.2.8 參數3-12

3.2.9 字串3-13

3.3系統任務和編譯指令3-14

3.3.1 系統任務3-14

3.3.2 編譯命令3-18

3.4總 結3-19

3.5習 題3-20

第4章 模組與輸出入埠

4.1模 組4-2

4.2輸出入埠4-6

4.2.1 輸出入埠的列表4-6

4.2.2 埠的宣告4-7

4.2.3 輸出入埠的連接規定4-9

4.2.4 輸出入埠與外部訊號連接的方法4-11

4.3階層化的取名方法4-13

4.4總 結4-15

4.5習 題4-15

第5章 邏輯閘層次模型

5.1閘的種類5-2

5.1.1 And/Or閘5-2

5.1.2 Buf/Not閘5-5

5.1.3 別名陣列5-7

5.1.4 範例5-8

5.2閘的延遲5-15

5.2.1 上昇,下降,和關閉延遲 5-15

5.2.2 Min/Typ/Max數值5-17

5.2.3 延遲的範例5-18

5.3總 結5-21

5.4習 題5-21

第6章 資料處理模型

6.1持續指定的描述6-3

6.1.1 隱含式的持續指定6-4

6.1.2 隱含式的接線宣告6-5

6.2延 遲6-5

6.2.1 正規指定延遲6-6

6.2.2 隱含式連續指定延遲6-7

6.2.3 接線宣告延遲6-7

6.3運算式、運算子與算元6-8

6.3.1 運算式6-8

6.3.2 運算元6-8

6.3.3 運算子6-9

6.4運算子的種類6-9

6.4.1 算術運算子6-11

6.4.2 邏輯運算子6-13

6.4.3 比較運算子6-14

6.4.4 相等運算子6-14

6.4.5 位元運算子6-15

6.4.6 化簡運算子6-17

6.4.7 移位運算子6-18

6.4.8 連結運算子6-18

6.4.9 複製運算子6-19

6.4.10 條件運算子6-19

6.4.11 運算子的優先順序6-21

6.5例 題6-21

6.5.1 四對一的多工器6-22

6.5.2 四位元加法器6-24

6.5.3 漣波進位計數器6-27

6.6總 結6-33

6.7習 題6-33

第7章 行為模型

7.1結構化程序7-3

7.1.1 initial敘述7-3

7.1.2 always敘述7-6

7.2程序指定7-7

7.2.1 阻礙指定7-8

7.2.2 無阻礙指定7-9

7.3時序控制7-13

7.3.1 延遲基礎時序控制7-14

7.3.2 事件基礎時序控制7-17

7.3.3 位準感測時序控制7-21

7.4條件敘述7-21

7.5多路徑分支7-23

7.5.1 case敘述7-23

7.5.2 關鍵字 casex, casez7-26

7.6迴圈7-27

7.6.1 while迴圈7-27

7.6.2 for 迴圈7-29

7.6.3 Repeat迴圈7-30

7.6.4 forever迴圈7-32

7.7循序和平行區塊7-33

7.7.1 區塊型態7-33

7.7.2 區塊的特殊特性7-36

7.8產生區塊7-39

7.8.1 迴圈化產生7-40

7.8.2 條件化產生7-44

7.8.3 組合條件化產生7-46

7.9範 例7-47

7.9.1 4對1多工器7-47

7.9.2 4位元計數器7-48

7.9.3 紅綠燈控制器7-49

7.10總 結7-55

7.11習 題7-57

第8章 任務與函數

8.1任務與函數的不同之處8-2

8.2任 務8-3

8.2.1 任務宣告與引用8-4

8.2.2 任務範例8-5

8.2.3 自動任務8-8

8.3函 數8-10

8.3.1 函數的宣告與引用8-10

8.3.2 範例8-11

8.3.3 自動(遞迴)函數8-14

8.3.4 常數函數8-16

8.3.5 有號函數8-17

8.4總 結8-17

8.5習 題8-18

第9章 有用的程式技巧

9.1程序持續指定9-2

9.1.1 assign 和 deassign9-2

9.1.2 force和release9-4

9.2複寫參數9-6

9.2.1 defparam 敘述9-6

9.2.2 模組別名參數指定9-7

9.3有條件的編譯與執行9-9

9.3.1 有條件的編譯9-10

9.3.2 有條件的執行9-11

9.4時間刻度9-13

9.5有用的系統任務9-15

9.5.1 檔案輸出9-16

9.5.2 顯示出階層9-18

9.5.3 閃控9-19

9.5.4 亂數產生器9-20

9.5.5 從檔案來設定記憶體的初始值9-22

9.5.6 數值變化轉儲檔案9-23

9.6總 結9-25

9.7習 題9-26

Part2  高等Verilog技巧

第10章 時序與延遲

10.1延遲的模型10-3

10.1.1 分散式延遲模型10-3

10.1.2 整組式延遲模型10-4

10.1.3 接腳對接腳延遲模型10-5

10.2路徑延遲模型10-6

10.2.1 指定區塊10-7

10.2.2 在指定區塊內10-8

10.3檢查時間設定10-16

10.3.1 $setup與$hold的檢查方式10-17

10.3.2 $width檢查10-19

10.4延遲時間加入原有的設計 10-20

10.5總 結10-21

10.6習 題10-22

第11章 交換層次的模型

11.1交換層次的元件11-2

11.1.1 金氧半導體式的開關11-3

11.1.2 互補式金養半導體開關11-4

11.1.3 雙向開關11-5

11.1.4 電源與接地11-6

11.1.5 電阻式開關11-7

11.1.6 在開關中的延遲設定11-8

11.2範 例11-9

11.2.1 互補半導體 非或(NOR)邏輯閘11-9

11.2.2 2對1多工器11-11

11.2.3 簡單的互補式電晶體正反器11-13

11.3總 結11-16

11.4習 題11-16

第12章 自定邏輯閘

12.1自己定義邏輯閘的基本概念12-2

12.1.1 自己定義的邏輯閘的可用基本關鍵字12-3

12.1.2 自己定義的邏輯閘的使用原則12-3

12.2自己定義的組合邏輯電路12-4

12.2.1 自訂組合邏輯閘的定義12-4

12.2.2 狀態真值表12-6

12.2.3 可以忽略值的速記符號12-7

12.2.4 使用自己定義的邏輯閘12-8

12.2.5 一個使用自己定義的組合邏輯閘的範例12-9

12.3循序自定邏輯閘12-12

12.3.1 訊號位準敏感循序自定邏輯12-13

12.3.2 訊號緣敏感循序自定邏輯12-15

12.3.3 循序自定邏輯範例12-17

12.4自定邏輯閘中的一些常用速記符號12-19

12.5自定邏輯閘的使用方針12-20

12.6總 結12-21

12.7習 題12-22

第13章 程式語言介面

13.1使用程式語言介面13-4

13.2連結與引用程式語言介面的任務13-5

13.2.1 連結PLI的工作13-6

13.2.2 引用程式語言介面13-6

13.2.3 使用程式語言介面的流程13-7

13.3內部資料表示模式13-8

13.4程式語言介面的通用函示庫13-11

13.4.1 存取程序13-11

13.4.2 工具程序13-20

13.5結 論13-24

13.6習 題13-26

第14章 邏輯合成

14.1什麼是邏輯合成?14-2

14.2邏輯合成的影響14-5

14.3使用Verilog作邏輯合成14-7

14.3.1 Verilog語法14-7

14.3.2 Verilog運算元14-9

14.3.3 一些Verilog語法的解釋14-10

14.4使用邏輯合成的設計流程14-14

14.4.1 由高階語言到邏輯閘14-14

14.4.2 一個由高階語言到邏輯閘的範例14-19

14.5驗證邏輯層次的線路14-23

14.5.1 功能驗證14-24

14.6撰寫適合邏輯合成Verilog程式的秘訣14-27

14.6.1 Verilog語法的風格14-27

14.6.2 區分設計14-31

14.6.3 設計限制指定14-33

14.7可以作邏輯合成循序電路設計的範例14-34

14.7.1 設計規格14-34

14.7.2 線路需求14-34

14.7.3 有限狀態機器14-35

14.7.4 Verilog語法14-36

14.7.5 科技資料庫14-39

14.7.6 設計限制14-40

14.7.7 邏輯合成14-40

14.7.8 最佳化後的邏輯閘層次的設計14-40

14.7.9 驗證14-43

14.8總 結14-45

14.9習 題14-46

第15章 進階驗證技巧

15.1 傳統驗證流程15-3

15.1.1 架構模型15-5

15.1.2 功能驗證環境 15-6

15.1.3 模擬15-9

15.1.4 分析15-12

15.1.5 涵蓋率15-13

15.2 查驗式驗證法15-14

15.3 正規驗證15-16

15.3.1 半正規驗證15-17

15.3.2 等效驗證15-19

15.4  總 結15-20

Part3 附 錄

附錄A 強度模型和進階接線定義

A.1強度等級14-2

A.2信號競爭14-3

A.2.1 具有相同值與不同強度的多個信號14-3

A.2.2 具有不同值與相同強度的多個信號14-3

A.3進階的接線型態14-3

A.3.1 tri14-4

A.3.2 trireg14-4

A.3.3 tri0與tri114-5

A.3.4 supply0與supply114-5

A.3.5 wor、wand、trior與triand14-6

附錄B PLI常式列表

B.1慣例14-2

B.2存取常式14-2

B.2.1 處理常式14-2

B.2.2 接鄰常式14-4

B.2.3 觀察值關連(VCL)常式14-5

B.2.4 提取常式14-6

B.2.5 工具存取常式14-8

B.2.6 修改常式14-9

B.3工具(tf_)常式14-9

B.3.1 取得呼叫任務與函式的資訊14-10

B.3.2 取得引數列的資訊14-10

B.3.3 取得參數值14-10

B.3.4 放置參數值14-11

B.3.5 監看參數的變化14-11

B.3.6 同步化任務14-12

B.3.7 長算術14-13

B.3.8 顯示訊息14-13

B.3.9 各式的工具常式14-14

B.3.10 管理任務14-14

附錄C 關鍵字,系統任務,編譯器指令的列表

C.1關鍵字14-2

C.2系統任務與函式14-3

C.3編譯器指令 (Compiler Directives 387)14-3

附錄D 正式的語法定義

D.1Source Text14-3

D.1.1 Library Source Text14-3

D.1.2 Configuration Source Text14-3

D.1.3 Module and Primitive Source Text14-4

D.1.4 Module Parameters and Ports14-4

D.1.5 Module Items14-5

D.2Declarations14-6

D.2.1 Declaration Types14-6

D.2.2 Declaration Data Types14-8

D.2.3 Declaration Lists14-9

D.2.4 Declaration Assignments14-9

D.2.5 Declaration Ranges14-9

D.2.6 Function Declarations14-10

D.2.7 Task Declarations14-10

D.2.8 Block Item Declarations14-11

D.3Primitive Instances14-12

D.3.1 Primitive Instantiation and Instances14-12

D.3.2 Primitive Strengths14-13

D.3.3 Primitive Terminals14-13

D.3.4 Primitive Gate and Switch Types14-13

D.4Module and Generated Instantiation14-14

D.4.1 Module Instantiation14-14

D.4.2 Generated Instantiation14-14

D.5UDP Declaration and Instantiation14-15

D.5.1 UDP Declaration14-15

D.5.2 UDP Ports14-15

D.5.3 UDP Body14-16

D.5.4 UDP Instantiation14-16

D.6Behavioral Statements14-16

D.6.1 Continuous Assignment Statements14-16

D.6.2 Procedural Blocks and Assignments14-17

D.6.3 Parallel and Sequential Blocks14-17

D.6.4 Statements14-17

D.6.5 Timing Control Statements14-18

D.6.6 Conditional Statements14-19

D.6.7 Case Statements14-20

D.6.8 Looping Statements14-20

D.6.9 Task Enable Statements14-21

D.7Specify Section14-21

D.7.1 Specify Block Declaration14-21

D.7.2 Specify Path Declarations14-21

D.7.3 Specify Block Terminals14-22

D.7.4 Specify Path Delays14-22

D.7.5 System Timing Checks14-24

D.8Expressions14-27

D.8.1 Concatenations14-27

D.8.2 Function calls14-27

D.8.3 Expressions14-28

D.8.4 Primaries14-29

D.8.5 Expression Left-Side Values14-30

D.8.6 Operators14-31

D.8.7 Numbers14-31

D.8.8 Strings14-32

D.9General14-32

D.9.1 Attributes14-32

D.9.2 Comments14-32

D.9.3 Identifiers14-33

D.9.4 Identifier Branches14-34

D.9.5 Whitespace14-35

附錄E Verilog的花絮

附錄F Verilog範例

F.1可合成的FIFO模型14-2

F.2行為模式的DRAM模型14-12

參考書目 參-1

光碟使用說明 1

圖1-1 標準設計流程 1-4

圖2-1 上而下的設計方法2-3

圖2-2 下而上的設計方法2-3

圖2-3 漣波進位進位計數器2-4

圖2-4 T型正反器2-4

圖2-5 漣波進位計數器的階層化架構2-5

圖2-6 引用設計區塊的模擬區塊2-10

圖2-7 在一個多餘的最高層次區塊中引用設計區塊與模擬區塊2-11

圖2-8 觸發與輸出波形2-13

圖3-13-7

圖4-1 Verilog 模組的組成元件4-3

圖4-2 SR閂4-4

圖4-3 Top與全加器模組別名的輸出與輸入埠4-6

圖4-4 輸出入埠的相連規定4-9

圖4-5 SR閂模擬模組的階層化架構圖4-14

圖5-1 基本閘5-3

圖5-2 Buf/Not閘5-5

圖5-3 Bufif/notif閘5-6

圖5-4 4-to-1多工器5-8

圖5-5 多工器的邏輯電路5-8

圖5-6 一位元全加器5-12

圖5-7 四位元全加器5-13

圖5-85-19

圖5-95-20

圖6-1 延遲6-6

圖6-2 四位元的漣波進位計數器6-27

圖6-3 T型正反器6-28

圖6-4 有clear訊號且負緣觸發的D型正反器6-28

圖6-5 主從式JK正反器6-35

圖6-6 有clear與count_enable訊號的四位元同步計數器6-36

圖7-17-50

圖9.1 數值變化轉儲檔案除錯分析的流程9-24

圖10-1 分散式延遲模型10-3

圖10-2 整組式延遲模型10-5

圖10-3 接腳對接腳延遲模型10-6

圖10-4 平行連接10-8

圖10-5 完全連接10-10

圖10-6 設定與保持時間10-17

圖10-7 延遲時間註記10-21

圖11-1 N-通道金氧半導體與P-通道金氧半導體開關11-3

圖11-211-4

圖11-311-5

圖11-411-9

圖11-5 二對一多工器11-12

圖11-611-13

圖11-7 正反器 (反相器)11-14

圖12-1 自己定義的邏輯閘可用的關鍵字12-3

圖12-2 4對1多工器12-9

圖12-3 正反器12-13

圖12-4 負緣觸發暫存器12-15

圖13-113-3

圖13-213-7

圖13-313-8

圖13-413-9

圖13-513-10

圖13-613-11

圖14-1 設計工程師心中的邏輯合成工具著力點14-4

圖14-2 基本計算機輔助邏輯合成流程14-5

圖14-314-12

圖14-414-15

圖14-514-18

圖14-614-21

圖14-714-31

圖14-814-32

圖14-914-33

圖14-1014-35

圖14-1114-42

圖15-1 傳統驗證流程15-3

圖15-2 系統模型15-6

圖15-3 一個標準的功能驗證環境15-8

圖15-5 硬體加速15-10

圖15-615-12

圖15-7 查驗式檢驗15-15

圖15-8 正規驗證流程15-17

圖15-9 半正規驗證的流程15-18

圖15-10 等效驗證15-19

圖F-1 FIFO的輸出輸入埠 14-2

圖F-2 DRAM的輸出輸入埠14-12

表3-13-6

表3-23-6

表3-3 特殊字元3-13

表3-4 格式定義表3-15

表5-1 真值表5-4

表5-2 真值表5-5

表5-3 真值表5-6

表6-1 運算子的種類與符號6-10

表6-2 相等運算子6-15

表6-3 位元運算子的真值表6-16

表6-4 運算子的優先順序6-21

表8-1 任務與函數8-3

表11-111-4

表11-2 訊號強度衰減對照表11-7

表11-3 延遲時間設定與半導體與互補式半導體開關的關係11-8

表11-4 延遲時間設定與雙向開關的關係11-8

表12-112-19

表13-113-21

表14-1 適合邏輯合成的Verilog語法14-8

表14-2 可合成的運算元14-9

表A-1 強度等級14-2

表B-1 處理常式14-3

表B-2 接鄰常式14-4

表B-3 觀察值關連常式14-6

表B-4 提取常式 14-6

表B-5 工具存取常式14-8

表B-6 修改常式14-9

表B-7 取得呼叫任務與函式的資訊14-10

表B-8 取得引數列的資訊14-10

表B-9 取得參數值14-10

表B-10 放置參數值14-11

表B-11 監看參數的變化14-11

表B-12 同步化任務14-12

表B-13 長算術14-13

表B-14 顯示訊息14-13

表B-15 各式的工具常式14-14

表B-16 管理任務14-14

例題2-1 模組的別名2-8

例題2-2 非法的巢狀模組宣告2-9

例題2-3 漣波進位計數器2-11

例題2-4 T型正反器2-12

例題2-5 D型正反器2-12

例題2-6 觸發區塊2-14

範例3-3 顯示任務3-15

範例3-4 特殊字元3-16

範例3-5 Monitor statement3-17

範例3-6 中止和完成模擬運算3-18

範例3-7 `define的用法3-19

範例 3-8  `include的用法3-19

範例4-1 SR閂的各個部分4-4

範例4-2 輸出入埠的列表4-7

範例4-3 埠的宣告4-7

範例4-4 DFF埠的宣告4-8

範例4-5 ANSI C的宣告使用習慣4-8

範例4-6 非法的輸出入埠連接4-10

範例4-7 依照輸出入埠的列表順序連接4-11

範例4-8 階層化架構名稱 (Hierarchical Names)4-14

範例5-1 And/Or閘的取別名5-3

範例5-2 Bur/Not 閘的取別名5-5

範例5-3 取別名bufif/notif閘5-7

範例5-4 別名陣列5-7

範例5-5 多工器的Verilog程式5-9

範例5-6 模擬程式5-10

範例5-7 一位元全加器的Verilog程式5-12

範例5-8 四位元漣波進位全加器5-13

範例5-9 模擬程式5-14

範例5-10 延遲設定的型態5-16

範例5-11 最大,典型,最小延遲數值5-17

範例5-12 用Verilog定義模組D5-19

範例5-13 模擬D模組5-19

範例6-1 持續指定6-4

範例6-2 以邏輯方程式的方式設計的四對一多工器6-22

範例6-3 用條件運算子來設計一個四對一的加法器6-23

範例6-4 運用資料處理運算子設計的4位元全加器6-24

範例6-5 四位元進位預算全加器6-25

範例6-6 漣波進位計數器6-29

範例6-7 T型正反器6-29

範例6-8 負緣觸發D型正反器6-30

範例6-9 漣波進位計數器的觸發模組6-31

範例7-1 initial敘述7-3

範例7-2 初始值指定7-5

範例7-3 輸出入埠初始值指定7-5

範例7-4 初始值指定結合ANSI C標準的輸出入埠宣告方式7-6

範例7-5 always敘述7-6

範例7-6 阻礙指定7-8

範例7-7 無限定指定7-10

範例7-8 無阻礙指定消除競爭情況7-12

範例7-9 使用阻礙指定來實現無阻礙指定7-13

範例7-10 正規延遲控制7-14

範例7-11 指定內部延遲7-15

範例7-12 零延遲控制7-17

範例7-13 正規事件控制7-18

範例7-14 命名事件控制7-18

範例7-15 事件或控制7-19

範例7-16 事件或控制7-19

範例7-17 使用@*7-20

範例7-18 條件敘述7-22

範例7-19 四對一多工器7-24

範例7-20 包含x和z的case敘述7-25

範例7-21 casex7-27

範例7-22 while迴圈7-28

範例7-23 for迴圈7-29

範例7-24 Repeat迴圈7-31

範例7-25 forever迴圈7-32

範例7-26 循序區塊7-34

範例7-27 平行區塊7-35

範例7-28 巢狀區塊7-36

範例7-29 命名區塊7-37

範例7-30 禁能命名區塊7-38

範例7-31 對N位元的匯流排做位元互斥運算7-41

範例7-32 產生一個漣波型加法器7-42

範例7-33 參數化乘法器7-45

範例7-34 組合條件化產生7-46

範例7-35 行為模型4對1的多工器7-47

範例7-36 行為模型4-bits計數器7-48

範例7-37 紅綠燈控制器7-51

範例7-38 紅綠燈控制器的模擬7-54

範例8-1 宣告任務的語法8-4

範例8-2 任務中的input與output8-5

範例8-3 利用ANSI C的慣用方式來定義任務8-7

範例8-4 直接作用於reg變數上的任務8-7

範例8-5 自動任務8-9

範例8-6 宣告函數的語法8-10

範例8-7 奇偶計數器8-12

範例8-8 使用ANSI C的方式來定義函數8-13

範例8-9 左/右移位器8-13

範例8-10 利用遞迴呼叫來做階乘8-15

範例8-11 常數函數8-16

範例8-12 有號函數8-17

範例9-1 程序持續指定D型正反器9-3

範例9-2 defparam敘述9-6

範例9-3 ANSI C形式的參數宣告9-7

範例9-4 模組別名參數數值9-8

範例9-5 有條件的編譯9-10

範例9-6 使用$test$plusargs進行有條件的執行9-11

範例 9-7 使用$value$plusargs的條件執行9-12

範例9-8 時間刻度9-13

範例9-9 檔案描述符號9-16

範例9-10 顯示出階層9-19

範例9-11 閃控9-20

範例9-12 亂數產生9-21

範例9-13 利用$random任務產生正整數以及負整數9-21

範例9-14 設定記憶體的初始值9-22

範例9-15 數值變化轉儲檔案的系統任務9-24

範例10-1 分散式延遲10-3

範例10-2 整組延遲模型10-5

範例10-3 接點到接點的延遲10-7

範例10-4 平行連接10-9

範例10-5 完全連接10-10

範例10-6 Specparam10-12

範例10-7 條件式路徑延遲10-12

範例10-8 上昇延遲,下降延遲與關閉延遲時間10-14

範例10-9 配合著最小值、最大值與標準值的路徑延遲10-15

範例11-1 NMOS與PMOS開關的初始化11-3

範例11-2 使用CMOS開關11-5

範例11-3 使用雙向開關11-6

範例11-4 非或邏輯閘的Verilog描述11-10

範例11-5 以交換層次的寫法來描述一個多工器11-12

範例11-6 反相器11-14

範例11-7 互補式電晶體正反器11-15

範例12-1 名字與埠定義12-5

範例12-2 ANSI C形式的組合邏輯閘宣告12-5

範例12-3 udp_or12-6

範例12-4 使用自定邏輯閘12-8

範例12-5 4對1多工器的自訂邏輯閘12-10

範例12-6  4對1多工器的測試模組12-11

範例12-7 訊號位準敏感循序自定邏輯12-14

範例12-8 ANSI C形式的循序自定邏輯閘宣告12-15

範例12-9 有清除輸入的負緣觸發暫存器12-16

範例12-10 使用自定邏輯的T型暫存器12-17

範例12-11 水波型計數器12-18

範例13-1 2對1多工器的Verilog程式13-9

範例13-2 存取所有的輸出入埠13-14

範例13-3 觀察連接線上邏輯值的變化13-16

範例13-4 自定的顯示函式13-18

範例13-5 用C語言寫的my_stop_finish13-22

範例14-1 暫存器轉移層次的敘述14-20

範例14-2 比較器的邏輯閘層次的描述14-22

範例14-3 比較器的測試模組14-24

範例14-4 14-25

範例14-5 輸出波形圖14-26

範例14-6 報紙販賣機的暫存器移轉層次的敘述14-36

範例14-7 經過最佳化後的邏輯層次程式14-40

範例14-8 報紙販賣機的測試模組14-43

範例14-9 報紙販賣機的測試輸出14-44

範例F-1 可合成的FIFO模型14-3

範例F-2 14-13






序: