硬件描述語言Verilog

定　價：￥36.00

作　者：	（英）Donald E.Thomas，（英）Philip R.Moorby著；劉明業(yè)等譯；劉明業(yè)譯
出版社：	清華大學出版
叢編項：	VHDL 與集成電路設計叢書
標　簽：	暫缺

購買這本書可以去

當當網 (￥30.60)

ISBN：	9787900635365	出版時間：	2001-08-01	包裝：
開本：	23cm＋光盤1片	頁數：	320	字數：

內容簡介

　　Thomas和Moorby合寫的《硬件描述語言Verilog》已經成為Verilog標準的參考書。這次修改的入門輔導部分通過示例講述了該語言。這些示例表現(xiàn)了幾種重要的描述風格，包括：結構模型、用于邏輯綜合的組合電路和時序電路的行為模型、FSM數據通道模型以及周期精確的描述。行為綜合是新添加的一章，講述了怎樣使用這些方式來實現(xiàn)周期精確的描述。對那些有興趣描述、模擬和綜合數字系統(tǒng)的工程師和學生來說，《硬件描述語言Verilog》（第四版）是一本很有價值的參考書。本書是為大學課程編寫的。描述風格的介紹順序符合典型的入門課程的要求（結構的、可綜合的、FSM數據通道的、周期精確的）。本書有一個像學習手冊一樣的附錄。為了有助于體系結構課程的教學，書中還給出了一個簡單流水線處理器的模型。

作者簡介

暫缺《硬件描述語言Verilog》作者簡介

圖書目錄

第1章  Verilog語言入門輔導
     1. 1  開始
     1. 1. 1  結構描述
     1. 1. 2  模擬binaryToESeg驅動源
     1. 1. 3  為模塊建立端口
     1. 1. 4  為模塊建立測試臺
     1. 2  組合電路的行為建模
     1. 2. 1  過程模型
     1. 2. 2  綜合組合電路的規(guī)則
     1. 3  時鐘時序電路的行為建模
     1. 3. 1  建立有限狀態(tài)機模型
     1. 3. 2  綜合時序系統(tǒng)的規(guī)則
     1. 3. 3  非阻塞賦值(“＜＝”)
     1. 4  模塊的層次
     1. 4. 1  計數器
     1. 4. 2  系統(tǒng)時鐘
     1. 4. 3  將整個電路結合在一起
     1. 4. 4  將行為模塊和結構模塊連接在一起
     1. 5  有限狀態(tài)機和數據通道
     1. 5. 1  簡單計算示例
     1. 5. 2  系統(tǒng)的數據通道
     1. 5. 3  數據通道功能模塊的細節(jié)
     1. 5. 4  用連線將數據通道連在一起
     1. 5. 5  FSM說明
     1. 6  周期精確的行為描述
     1. 6. 1  規(guī)范方法
     1. 6. 2  幾點注釋
     1. 7  賦值語句的總結
     1. 8  小結
     1. 9  練習
   第2章  行為建模
     2. 1  進程模型
     2. 2  1f—Then—Else
     2. 2. 1  else如何與if語句配對
     2. 2. 2  條件操作符
     2. 3  循環(huán)語句
     2. 3. 1  四種基本循環(huán)語句
     2. 3. 2  循環(huán)的異常退出
     2. 4  多分支語句
     2. 4. 1  If—Else—If
     2. 4. 2  Case
     2. 4. 3  Case和If—Else—If的比較
     2. 4. 4  Casez和Casex
     2. 5  函數和任務
     2. 5. 1  任務
     2. 5. 2  函數
     2. 5. 3  結構視域
     2. 6  作用域規(guī)則和層次名
     2. 6. 1  作用域規(guī)則
     2. 6. 2  層次名
     2. 7  小結
     2. 8  練習
   第3章  并發(fā)進程
     3. 1  并發(fā)進程
     3. 2  事件
     3. 2. 1  事件控制語句
     3. 2. 2  有名事件
     3. 3  等待語句
     3. 3. 1  一個完整的生產者和消費者握手示例
     3. 3. 2  Wait語句和While語句的對比
     3. 3. 3  Wait語句和事件控制語句的比較
     3. 4  并發(fā)進程示例
     3. 5  簡單流水線處理器
     3. 5. 1  基本處理器
     3. 5. 2  流水線之間的同步
     3. 6  有名塊的終止
     3. 7  賦值語句內部控制和定時事件
     3. 8  過程持續(xù)賦值
     3. 9  順序模塊和并行模塊
     3. 10  練習
   第4章  邏輯級建模
     4. 1  引言
     4. 2  邏輯門與線網
     4. 2. 1  用基元邏輯門建模
     4. 2. 2  四級邏輯值
     4. 2. 3  線網
     4. 2. 4  模塊例示與端口規(guī)范
     4. 2. 5  有關邏輯級的一個示例
     4. 3  示例數組
     4. 4  持續(xù)賦值
     4. 4. 1  組合電路的行為建模
     4. 4. 2  線網與持續(xù)賦值語句聲明
     4. 5  參數化定義
     4. 6  行為級／結構級的混合示例
     4. 7  邏輯延遲建模
     4. 7. 1  門級建模示例
     4. 7. 2  門和線網延遲
     4. 7. 3  時間單位的規(guī)定
     4. 7. 4  最小延遲. 典型延遲和最大延遲
     4. 8  模塊中的延遲路徑
     4. 9  小結
     4. 10  練習
   第5章  高級時序
     5. 1  Verilog時序模型
     5. 2  模擬器的基本模型
     5. 2. 1  門級模擬
     5. 2. 2  更通用的模型
     5. 2. 3  行為級模型的調度
     5. 3  模擬算法的不確定行為
     5. 3. 1  臨近不確定區(qū)
     5. 3. 2  Verilog是一種并發(fā)語言
     5. 4  非阻塞過程賦值語句
     5. 4. 1  阻塞和非阻塞賦值的比較
     5. 4. 2  非阻塞賦值的一般用法
     5. 4. 3  事件驅動調度算法的擴展
     5. 4. 4  非阻塞賦值的舉例分析
     5. 5  小結
     5. 6  練習題
   第6章  邏輯綜臺
     6. 1  綜合概述
     6. 1. 1  寄存器傳輸級系統(tǒng)
     6. 1. 2  限制聲明
     6. 2  使用門和持續(xù)賦值的組合邏輯
     6. 3  用來說明組合邏輯的過程語句
     6. 3. 1  基礎
     6. 3. 2  復雜形式——推斷出的鎖存器
     6. 3. 3  說明無關項
     6. 3. 4  過程循環(huán)結構
     6. 4  時序元件的推斷
     6. 4. 1  鎖存器的推斷
     6. 4. 2  觸發(fā)器的推斷
     6. 4. 3  小結
     6. 5  三態(tài)器件的推斷
     6. 6  有限狀態(tài)機的描述
     6. 6. 1  有限狀態(tài)機的示例
     6. 6. 2  FSM說明的另一種方式
     6. 7  邏輯綜合的總結
     6. 8  習題
   第7章  行為綜臺
     7. 1  行為綜合的介紹
     7. 2  周期精確的說明
     7. 2. 1  always塊的輸入和輸出
     7. 2. 2  always塊的輸入和輸出關系
     7. 2. 3  復位功能說明
     7. 3  米利／摩爾機的說明
     7. 3. 1  復雜控制的說明
     7. 3. 2  數據與控制路徑的折中
     7. 4  小結
   第8章  用戶定義的基元
     8. 1  組合基元
     8. 1. 1  用戶定義基元的基本特征
     8. 1. 2  組合邏輯電路的描述
     8. 2  時序基元
     8. 2. 1  電平敏感的基元
     8. 2. 2  邊沿敏感的基元
     8. 3  速記表示法
     8. 4  電平敏感與邊沿敏感混合的基元
     8. 5  小結
     8. 6  練習
   第9章  開關級建模
     9. 1  動態(tài)MOS移位寄存器示例
     9. 2  開關級建模
     9. 2. 1  強度建模
     9. 2. 2  強度的定義
     9. 2. 3  使用強度的示例
     9. 2. 4  電阻型MOS門
     9. 3  二義性強度
     9. 3. 1  二義性強度的說明
     9. 3. 2  基本計算
     9. 4  miniSim示例
     9. 4. 1  概述
     9. 4. 2  miniSim的源碼
     9. 4. 3  模擬結果
     9. 5  小結
     9. 6  練習
   第10章  工程項目
     10. 1  建立功耗模型
     l0. 1. 1  對功耗進行建模
     10. 1. 2  需要做什么
     10. 1. 3  步驟
     10. 2  軟盤控制器
     10. 2. 1  介紹
     10. 2. 2  磁盤格式
     10. 2. 3  功能描述
     10. 2. 4  真實設備
     10. 2. 5  你一直想知道的有關CRC的各種情況
     10. 2. 6  起支持作用的Verilog模塊
   附錄A  學習指南
     A. 1  結構描述
     A. 2  測試臺模塊
     A. 3  使用always的組合電路
     A. 4  時序電路
     A. 5  層次化描述
     A. 6  有限狀態(tài)機和數據通道
     A. 7  周期精確描述
   附錄B  詞法
     B. 1  空白符和注釋
     B. 2  操作符
     B. 3  數字
     B. 4  字符串
     B. 5  標識符. 系統(tǒng)名和關鍵字
   附錄C  Verilog操作符
     C. 1  操作符表
     C. 2  操作符優(yōu)先級
     C. 3  操作符真值表
     C. 4  表達式的位數
   附錄D  Verilog門類型
     D. 1  邏輯門
     D. 2  BUF和NOT門
     D. 3  BUFIF和NOTIF門
     D. 4  MOS門
     D. 5  雙向門
     D. 6  CMOS門
     D. 7  Pullup和Pulldown門
   附錄E  寄存器. 存儲器. 整數和時間
     E. 1  寄存器
     E. 2  存儲器
     E. 3  整數和時間
   附錄F  系統(tǒng)任務和函數
     F. 1  Display和Write任務
     F. 2  持續(xù)監(jiān)視
     F. 3  選通監(jiān)視
     F. 4  文件輸出
     F. 5  模擬時間
     F. 6  停止和完成
     F. 7  隨機函數
     F. 8  從磁盤文件讀數據
   附錄G  形式化語法定義
     G. 1  形式化語法規(guī)范指南
     G. 2  源文本
     G. 3  聲明
     G. 4  基元示例
     G. 5  模塊例示
     G. 6  UDP的聲明和例示
     G. 7  行為語句
     G. 8  Specify部分
     G. 9  表達式
     G. 10  通用說明