使用 SystemVerilog 進行 RTL 建模 (基於 SystemVerilog 的 ASIC 與 FPGA 設計)
斯圖爾特·薩瑟蘭 慕意豪
- 出版商: 科學出版
- 出版日期: 2025-03-01
- 售價: $588
- 貴賓價: 9.5 折 $559
- 語言: 簡體中文
- 頁數: 442
- 裝訂: 平裝
- ISBN: 7030816897
- ISBN-13: 9787030816894
-
相關分類:
Verilog
- 此書翻譯自: RTL Modeling with SystemVerilog for Simulation and Synthesis: Using SystemVerilog for ASIC and FPGA Design (Paperback)
立即出貨
買這商品的人也買了...
-
計算機系統設計 (上冊) — 基於 FPGA 的 RISC 處理器設計與實現$330$314 -
SoC FPGA 嵌入式設計和開發教程（Intel FPGA 大學計劃推薦，一線工程師實踐總結）$414$393 -
$551FPGA 進階開發與實踐 -
$594UVM 實戰 -
$210深度神經網絡 FPGA 設計與實現 -
$301OpenCL 異構計算 : 入門 FPGA 和 TensorFlow 神經網絡 -
計算機系統設計 (下冊) — 基於 FPGA 的 SoC 設計與實現$414$393 -
$654Verilog 高級數字系統設計技術與實例分析 -
不只是 CUDA，通用 GPU 程式模型及架構原理$780$616 -
System Verilog 驗證：測試平臺編寫指南, 3/e (SystemVerilog for Verification: A Guide to Learning the Testbench Language Features, 3/e)$588$559 -
數字電路設計與驗證快速入門 — Verilog + SystemVerilog$594$564 -
高效能並行運行時系統:設計與實現$654$621 -
SystemVerilog 硬件設計：RTL 設計和驗證$468$445 -
數字集成電路驗證從入門到精通$534$507 -
高級 HDL 綜合和 SoC 原型設計$468$445 -
$668Verilog 數字設計原理 -
$322先進 VLSI 技術：中後端面試精選 455問 -
時序收斂的藝術 : 高級ASIC設計實現$408$388 -
低功耗設計與驗證$348$331 -
AMD FPGA 基礎與工程實踐 — 基於 Vivado2022.2 與 SystemVerilog$474$450 -
基於 Vivado 的 FPGA 時序約束實戰$528$502 -
AI 處理器硬件架構設計$774$735 -
芯片形式化驗證原理、方法與實戰$594$564 -
SystemVerilog 入門指南$714$678 -
建構可擴展系統｜設計分散式架構 (Foundations of Scalable Systems: Designing Distributed Architectures)$780$616
2025百大暢銷｜中文簡體2書75折 詳見活動內容 »
-
79折
讓 AI 好好說話！從頭打造 LLM (大型語言模型) 實戰秘笈$680$537 -
78折
程式設計原來不只有寫 CODE！銜接學校與職場的五堂軟體開發實習課 = Beyond Just Coding: Five Essential Lessons from Classroom to Career in Software Development$700$546 -
79折
內行人才知道的系統設計面試指南 第二輯 (System Design Interview – An Insider's Guide: Volume 2)$820$648 -
79折
GitHub Copilot 讓你寫程式快 10 倍！AI 程式開發大解放$690$545 -
79折
深度學習詳解｜台大李宏毅老師機器學習課程精粹$750$593 -
VIP 79折
為你自己學 Python$600$474 -
79折
先整理一下？｜個人層面的軟體設計考量 (Tidy First?: A Personal Exercise in Empirical Software Design)$480$379 -
79折
Ollama 本地 AI 全方位攻略：命令列功能、五大主題測試、RAG、Vibe Coding、MCP，一本搞定所有實戰應用$750$593 -
79折
JavaScript 重修就好$760$600 -
78折
Google Cloud 從雲端小白到黑帶高手！雲端架構設計、實戰操作、證照攻略與轉職指南$680$530 -
78折
軟體測試修練指南：我獨自升級的實戰心法（iThome鐵人賽系列書)$690$538 -
78折
AI Agent 奇幻旅程：MCP 通往異世界金鑰（含最新 OpenAI GPT-5 範例）$680$530 -
79折
Claude Code Vibe Coding 開發手冊$750$593 -
79折
本地端 Ollama × LangChain × LangGraph × LangSmith 開發手冊：打造 RAG、Agent、SQL 應用$750$593 -
79折
內行人才知道的系統設計面試指南$580$458 -
79折
Vibe Coding - Cursor 教戰手冊$880$695 -
78折
生成式 AI 專案實踐指南：從模型挑選、上線、RAG 技術到 AI Agent 整合$650$507 -
79折
AI 工程｜從基礎模型建構應用 (AI Engineering : Building Applications with Foundation Models)$1,200$948 -
79折
Vibe Coding CLI 頂級開發 - Claude Code 前瞻菁英育成手冊$1,080$853 -
78折
Python 原力爆擊：OpenAI / Gemini / AWS / Ollama 生成式 AI 應用新手指南$650$507 -
79折
Staff 工程師之路｜獻給個人貢獻者成長與改變的導航指南 (The Staff Engineer's Path)$580$458 -
85折
資訊安全管理領導力實戰手冊$599$509 -
78折
軟體設計耦合的平衡之道：建構模組化軟體系統的通用設計原則 (Balancing Coupling in Software Design: Successful Software Architecture in General and Distributed Systems)$650$507 -
78折
一個人的藍隊：企業資安防護技術實戰指南（iThome鐵人賽系列書）$650$507 -
78折
LangGraph 實戰開發 AI Agent 全攻略：掌握 AI 模型 × 工作流程 × 設計應用，從零打造智慧分工多代理協作系統（iThome鐵人賽系列書)$660$515
相關主題
商品描述
本書幾乎涵蓋使用SystemVerilog在RTL層面對ASIC和FPGA進行建模的所有方面，旨在為數字IC設計工程師提供全面的學習與參考資料。 本書基於SystemVerilog-2017標準，首先闡述SystemVerilog與傳統Verilog的區別，以及其在模擬和綜合中的作用，並對RTL和門級建模等抽象級別進行定義；接著深入探討多種數據類型，包括線網和變量類型、用戶自定義類型等，詳細說明其使用方法和註意事項；對於運算符和編程語句，本書也進行了全面講解，強調如何正確使用它們編寫可綜合的RTL模型。此外，書中各章節包含豐富示例和代碼片段，聚焦特定SystemVerilog構造，展示瞭如何在實際設計中運用相關知識。同時，針對ASIC和FPGA的建模特點，討論了不同技術對RTL建模風格的影響，並提供了相應的編碼建議。附錄部分還匯總了最佳實踐指南，列出了關鍵字集，並提供了額外資源，方便讀者查閱和進一步學習。 無論您是數字系統設計師，還是驗證工程師，抑或是高等院校微電子、自動化、電子信息等相關專業師生，本書都是您學習SystemVerilog設計方面的絕佳選擇。
作者簡介
斯圖爾特·薩瑟蘭，SystemVerilog和Verilog應用方面的資深專家。1993年起便參與Verilog和SystemVerilog語言的定義工作，IEEE SystemVerilog標準委員會的成員，曾擔任IEEE Verilog和SystemVerilog語言參考手冊（LRM）的技術編輯。擁有超過25年的Verilog和SystemVerilog設計經驗，Sutherland HDL有限公司創始人，該公司專註於提供專業的System Verilog培訓和咨詢服務。擁有計算機科學學士學位，主修電子工程技術（畢業於Weber State University和Franklin Pierce College），同時擁有教育學碩士學位，主修電子學習課程開發（畢業於Northcentral University）。
目錄大綱
第1章 SystemVerilog模擬與綜合
1.1 Verilog和SystemVerilog的區別
1.2 RTL和門級建模
1.3 定義SystemVerilog的RTL綜合子集
1.4 針對ASIC和FPGA的建模
1.5 SystemVerilog模擬
1.6 數字綜合
1.7 SystemVeriloglint檢查器
1.8 邏輯等價檢查器
1.9 小結
第2章 RTL建模基礎
2.1 模塊和過程塊
2.2 SystemVerilog語言規則
2.3 模塊
2.4 模塊實例和層次結構
2.5 小結
第3章 線網和變量類型
3.1 4態數據值
3.2 文本值（數字）
3.3 類型和數據類型
3.4 變量類型
3.5 線網類型
3.6 埠聲明
3.7 線網和變量的非合並數組
3.8 參數常量
3.9 常量變量
3.10 小結
第4章 用戶定義的類型和包
4.1 用戶定義類型
4.2 SystemVerilog包
4.3 $unit命名空間
4.4 枚舉類型
4.5 結構體
4.6 聯合體
4.7 使用結構體和聯合體的數組
4.8 小結
第5章 RTL表達式運算符
5.1 運算符表達式規則
5.2 連接和覆制運算符
5.3 條件運算符
5.4 位運算符
5.5 歸約運算符
5.6 邏輯運算符
5.7 比較運算符
5.8 全等運算符
5.9 集合成員關系運算符
5.10 移位運算符
5.11 流操作符（打包和解包）
5.12 算術運算符
5.13 增量和減量運算符
5.14 賦值運算符
5.15 類型轉換運算符和類型轉換
5.16 運算符優先級
5.17 總結
第6章 RTL編程語句
6.1 SystemVerilog過程塊
6.2 決策語句
6.3 循環語句
6.4 跳轉語句
6.5 空操作語句
6.6 RTL建模中的函數和任務
6.7 小結
第7章 組合邏輯建模
7.1 連續賦值（布爾表達式）
7.2 always和always_comb過程塊
7.3 使用函數表示組合邏輯
7.4 組合邏輯決策優先級
7.5 小結
第8章 時序邏輯建模
8.1 觸發器和寄存器的RTL模型
8.2 建模有限狀態機（FSM）
8.3 建模內存設備（如RAM）
8.4 小結
第9章 建模鎖存器和避免非設計意圖的鎖存器
9.1 鎖存器建模
9.2 非設計意圖的鎖存器
9.3 在不完整的決策中避免產生鎖存器
9.4 小結
第10章 通信總線建模——接口埠（interface ports）
10.1 接口的概念
10.2 將interface用作模塊埠
10.3 接口的modports
10.4 接口方法（任務和函數）
10.5 接口過程代碼
10.6 參數化接口
10.7 綜合接口
10.8 小結
附錄
附錄A 最佳實踐指南
附錄B SystemVerilog關鍵字
附錄C RTL模型中的X態樂觀與X態悲觀
附錄D 其他資源
