Verilog HDL 數字設計與綜合, 2/e (本科教學版)
Samir Palnitkar 夏宇聞 等 譯
- 出版商: 電子工業
- 出版日期: 2022-02-01
- 定價: $354
- 售價: 8.5 折 $301
- 語言: 簡體中文
- 頁數: 308
- 裝訂: 平裝
- ISBN: 7121427737
- ISBN-13: 9787121427732
-
相關分類:
Verilog
- 此書翻譯自: Verilog HDL (paperback) (2nd Edition)
立即出貨 (庫存 < 3)
買這商品的人也買了...
-
Semiconductor Physics and Devices: Basic Principles, 4/e (IE-Paperback)$1,230$1,058 -
電力系統分析, 3/e (授權經銷版) (Power System Analysis, 3/e)$750$713 -
$352ARM Cortex-M4 微控制器原理與應用 -- 基於 Atmel SAM4 系列 -
數位邏輯設計 : 使用 Verilog HDL , 6/e (精裝本)$720$648 -
$658數字設計 : 系統方法 -
無瑕的程式碼－整潔的軟體設計與架構篇 (Clean Architecture: A Craftsman's Guide to Software Structure and Design)$580$452 -
芯片驗證漫游指南 : 從系統理論到 UVM 的驗證全視界$594$564 -
通訊原理, 7/e (Principles of Communications, 7/e)$1,150$1,093 -
Verilog 編程藝術$474$450 -
CMOS 集成電路閂鎖效應$594$564 -
現代 VLSI 器件基礎, 2/e (Fundamentals of Modern VLSI Devices, 2/e)$768$730 -
$352電腦網絡基礎（第5版） -
$199Verilog HDL 入門, 3/e -
用於集成電路仿真和設計的 FinFET 建模 — 基於 BSIM-CMG 標準$594$564 -
$301勇敢的芯伴你玩轉 Altera FPGA -
UVM 實戰$474$450 -
Verilog HDL 數字系統設計與驗證 — 以太網交換機案例分析$354$336 -
$662二進制分析實戰 -
$505AI 嵌入式系統：算法優化與實現 -
CMOS 模擬與混合信號集成電路設計：創新與實戰$714$678 -
Perl 語言 IC 設計實踐$474$450 -
Perl 學習手冊, 8/e (Learning Perl: Making Easy Things Easy and Hard Things Possible, 8/e)$680$537 -
Verilog 高級數字系統設計技術與實例分析$654$621 -
逐次逼近模/數轉換器 (SAR ADC) 設計與仿真$594$564 -
一本精通 - OpenCV 與 AI 影像辨識$680$537
相關主題
商品描述
本書從用戶的角度全面闡述了Verilog HDL語言的重要細節和基本設計方法，並詳細介紹了Verilog2001版的主要改進部分。
本書重點關注如何應用Verilog語言進行數字電路和系統的設計和驗證，而不僅僅講解語法。
全書從基本概念講起，逐漸過渡到編程語言接口和邏輯綜合等不錯主題。
書中的內容全部符合Verilog HDL IEEE 1364—2001標準。
本書適合電子、計算機、自動控制等專業的學習數字電路設計的大學本科高年級學生閱讀，
也適合數字系統設計工程師和已具有多年Verilog設計工作經驗的資深工程師參考。
目錄大綱
第一部分 Verilog基礎知識
第1章 Verilog HDL數字設計綜述
1.1 數字電路CAD技術的發展歷史
1.2 硬件描述語言的出現
1.3 典型設計流程
1.4 硬件描述語言的意義
1.5 Verilog HDL的優點
1.6 硬件描述語言的發展趨勢
第2章 層次建模的概念
2.1 設計方法學
2.2 四位脈動進位計數器
2.3 模塊
2.4 模塊實例
2.5 邏輯仿真的構成
2.6 舉例
2.7 小結
2.8 習題
第3章 基本概念
3.1 詞法約定
3.2 數據類型
3.3 系統任務和編譯指令
3.4 小結
3.5 習題
第4章 模塊和端口
4.1 模塊
4.2 端口
4.3 層次命名
4.4 小結
4.5 習題
第5章 門級建模
5.1 門的類型
5.2 門延遲
5.3 小結
5.4 習題
第6章 數據流建模
6.1 連續賦值語句
6.2 延遲
6.3 表達式、操作符和操作數
6.4 操作符類型
6.5 舉例
6.6 小結
6.7 習題
第7章 行為級建模
7.1 結構化過程語句
7.2 過程賦值語句
7.3 時序控制
7.4 條件語句
7.5 多路分支語句
7.6 循環語句
7.7 順序塊和並行塊
7.8 生成塊
7.9 舉例
7.10 小結
7.11 習題
第8章 任務和函數
8.1 任務和函數的區別
8.2 任務
8.3 函數
8.4 小結
8.5 習題
第9章 實用建模技術
9.1 過程連續賦值
9.2 改寫（覆蓋）參數
9.3 條件編譯和執行
9.4 時間尺度
9.5 常用的系統任務
9.6 小結
9.7 習題
第二部分 Verilog不錯主題
第10章 時序和延遲
10.1 延遲模型的類型
10.2 路徑延遲建模
10.3 時序檢查
10.4 延遲反標註
10.5 小結
10.6 習題
第11章 開關級建模
11.1 開關級建模元件
11.2 舉例
11.3 小結
11.4 習題
第12章 用戶自定義原語
12.1 UDP的基礎知識
12.2 表示組合邏輯的UDP
12.3 表示時序邏輯的UDP
12.4 UDP表中的縮寫符號
12.5 UDP設計指南
12.6 小結
12.7 習題
第13章 編程語言接口
13.1 PLI的使用
13.2 PLI任務的連接和調用
13.3 內部數據表示
13.4 PLI庫子程序
13.5 小結
13.6 習題
第14章 使用Verilog HDL進行邏輯綜合
14.1 什麼是邏輯綜合
14.2 邏輯綜合對數字設計行業的影響
14.3 Verilog HDL綜合
14.4 邏輯綜合流程
14.5 門級網表的驗證
14.6 邏輯綜合建模技巧
14.7 時序電路綜合舉例
14.8 小結
14.9 習題
第15章 不錯驗證技術
15.1 傳統的驗證流程
15.2 斷言檢查
15.3 形式化驗證
15.4 小結
第三部分 附錄
附錄A 強度建模和不錯線網類型定義
附錄B PLI子程序清單
附錄C 關鍵字、系統任務和編譯指令
附錄D 形式化語法定義
附錄E Verilog有關問題解答
附錄F Verilog舉例
參考文獻
譯者後記
