SystemVerilog 數字集成電路功能驗證
王旭
- 出版商: 人民郵電
- 出版日期: 2023-09-01
- 售價: $479
- 貴賓價: 9.5 折 $455
- 語言: 簡體中文
- 頁數: 316
- ISBN: 7115614059
- ISBN-13: 9787115614056
-
相關分類:
邏輯設計 Logic-design
立即出貨
買這商品的人也買了...
-
芯片驗證漫遊指南 : 從系統理論到 UVM 的驗證全視界$594$564 -
$336Vivado 從此開始 (進階篇) -
Deep Learning - Hardware Design$680$646 -
UVM 實戰$594$564 -
$300Verilog HDL 數字系統設計與驗證 — 以太網交換機案例分析 -
$594芯片設計 CMOS 模擬集成電路版圖設計與驗證 : 基於 Cadence IC 617 -
$550自動駕駛算法與芯片設計 -
IC 芯片設計中的靜態時序分析實踐$810$769 -
SoC 設計方法與實現, 4/e$479$455 -
芯片驗證調試手冊 -- 驗證疑難點工作錦囊$414$393 -
完全 OS 核心精修 - 熟稔 Windows API 高級篇$1,280$1,011 -
System Verilog 驗證：測試平臺編寫指南, 3/e (SystemVerilog for Verification: A Guide to Learning the Testbench Language Features, 3/e)$588$558 -
$504AI 加速器架構設計與實現圖書 -
$657數字 SoC 設計、驗證與實例 -
$351微弱信號檢測教程 -
最強 AI 投資分析：打造自己的股市顧問機器人，股票趨勢分析 × 年報解讀 × 選股推薦 × 風險管理$750$592 -
萬顆 GPU 的訓練 - 分散式機器學習 — 系統工程與實戰$1,280$1,011 -
$484集成電路設計 — 模擬、版圖、綜合、驗證及實踐 -
數字電路設計與驗證快速入門 — Verilog + SystemVerilog$594$564 -
$374開源 RISC-V 處理器架構分析與驗證 -
$327AI Agent：AI 的下一個風口 -
$564UVM 芯片驗證技術案例集 -
機器學習入門 ─ Weka$300$270 -
CPU 架構三雄鼎立 - RISC-V 處理器架構及驗證精練$780$616 -
深度學習 -- 最佳入門邁向 AI 專題實戰, 2/e$1,200$948
簡體書新到貨｜2書75折 (8/25--9/4) 詳見活動內容 »
-
85折
$550量子計算與人工智能 -
85折
$351圖解Skill+OpenClaw：零代碼打造你的AI智能助手 -
85折
$254OpenClaw快速上手極簡部署與實戰 -
79折
$943系統安全工程導論 -
79折
$611Seaborn 科技繪圖：基於 Matplotlib 的 Python 數據可視化 -
79折
$327機器人學基礎 第4版 -
79折
$283智能體的超級大腦：大模型工作原理揭秘 -
85折
$254國產龍蝦實操手冊：12款OpenClaw國產AI工具零基礎入門+全場景應用（視頻教學版） -
85折
$606openvela輕量系統開發實戰 -
85折
$504智能網聯汽車：AUTOSAR Adaptive平臺技術體系與應用指南 -
85折
$50930天輕松學會SQL -
85折
$254大模型賦能的智能體系統原理與實踐 -
85折
$856先進智能感知技術與應用 -
85折
$759視覺智能 — 技術前沿與應用探索 -
85折
$402分布式數據庫系統：原理解析與架構設計 -
85折
$453理解深度學習 -
85折
$351AI 優先：面向未來的企業和品牌行動指南 -
85折
$407飛書雲端安全養蝦 極簡OpenClaw實操手冊 -
85折
$504雲網融合的新型網絡架構 -
85折
$402Seedance創富手冊：零基礎做電商帶貨和自媒體 -
85折
$351Python辦公自動化：基於銀河麒麟（Kylin）系統的實現方法 -
85折
$453自然語言處理實踐：語義理解與信息抽取 -
85折
$300大模型應用 -
85折
$305生成式大模型項目實戰（微課版） -
85折
$652衛星導航系統多徑抑制技術
相關主題
商品描述
本書講解了 SystemVerilog 的基本語法和工作原理，同時結合了 UVM 驗證方法學中的驗證技術知識。講述的內容主要包括：基本數據類型、接口、類、隨機化、約束、進程同步、功能覆蓋和 DPI 技術。書中使用了約 270 個完整實例，詳細說明瞭每個知識點在實際項目中的應用。最後使用學過的驗證技術搭建一個基於SystemVerilog 的簡單驗證平臺。書中還介紹了 UVM 中的一些關鍵技術，主要包括：繼承和派生，拷貝函數、單例類、測試登記表、代理類和工廠機制。為接下來系統學習 UVM 驗證方法學打下堅實的基礎。
作者簡介
王旭，從事數字集成電路方面的教學和研發，目前在學校主要講述集成電路驗證的課程、在企業作為兼職顧問，負責為企業研發的芯片指定驗證方案、驗證計劃。
