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 -
Verilog HDL 數字系統設計與驗證 — 以太網交換機案例分析$354$336 -
$594芯片設計 CMOS 模擬集成電路版圖設計與驗證 : 基於 Cadence IC 617 -
$551自動駕駛算法與芯片設計 -
IC 芯片設計中的靜態時序分析實踐$810$770 -
$378SoC 設計方法與實現, 4/e -
芯片驗證調試手冊 -- 驗證疑難點工作錦囊$414$393 -
完全 OS 核心精修 - 熟稔 Windows API 高級篇$1,280$1,011 -
AI 加速器架構設計與實現圖書$594$564 -
$658數字 SoC 設計、驗證與實例 -
$352微弱信號檢測教程 -
最強 AI 投資分析:打造自己的股市顧問機器人,股票趨勢分析×年報解讀×選股推薦×風險管理$750$593 -
萬顆 GPU 的訓練 - 分散式機器學習 — 系統工程與實戰$1,280$1,011 -
$485集成電路設計 — 模擬、版圖、綜合、驗證及實踐 -
數字電路設計與驗證快速入門 — Verilog + SystemVerilog$594$564 -
開源 RISC-V 處理器架構分析與驗證$474$450 -
$327AI Agent:AI 的下一個風口 -
Vivado 從此開始, 2/e$390$371 -
$564UVM 芯片驗證技術案例集 -
機器學習入門 ─ Weka$300$270 -
CPU 架構三雄鼎立 - RISC-V 處理器架構及驗證精練$780$616 -
深度學習 -- 最佳入門邁向 AI 專題實戰, 2/e$1,200$948
簡體館年度書展|現貨2書79折3書75折 詳見活動內容 »
-
VIP 95折
深入淺出 SSD 測試 : 固態存儲測試流程 方法與工具$594$564 -
VIP 95折
MCP 開發從入門到實戰$515$489 -
85折
$806Linux x64 匯編語言編程 -
VIP 95折
MCP 極簡開發 : 輕鬆打造高效智能體$479$455 -
VIP 95折
RISC-V 架構 DSP 處理器設計$534$507 -
VIP 95折
硬件系統模糊測試:技術揭秘與案例剖析$419$398 -
85折
$454RAG 實踐權威指南:構建精準、高效大模型之道 -
VIP 95折
CUDA 並行編程與性能優化$714$678 -
VIP 95折
生成式視覺模型原理與實踐$288$274 -
87折
$459AI大模型:賦能通信產業 -
VIP 95折
科學預測——預見科學之美$408$388 -
VIP 95折
Processing創意編程入門:從編程原理到項目案例$299$284 -
VIP 95折
大模型驅動的具身智能 架構,設計與實現$534$507 -
VIP 95折
納米級CMOS VLSI電路(可制造性設計)$474$450 -
VIP 95折
Manus應用與AI Agent設計指南:從入門到精通$359$341 -
87折
$360高薪Offer 簡歷、面試、談薪完全攻略 -
VIP 95折
軟件系統優化$534$507 -
VIP 95折
芯片的較量 (日美半導體風雲)$414$393 -
VIP 95折
Manus AI 智能體從入門到精通$294$279 -
87折
$981深度學習:基礎與概念 -
85折
$505GitHub Copilot 編程指南 -
VIP 95折
Cursor 與 Copilot 開發實戰 : 讓煩瑣編程智能化$539$512 -
85折
$551C#核心編程200例(視頻課程+全套源程序) -
VIP 95折
Verilog HDL計算機網絡典型電路算法設計與實現$354$336 -
VIP 95折
SAAS + AI 架構實戰:業務解析、架構設計、AI 應用$708$673
簡體館年度書展|現貨2書79折3書75折 詳見活動內容 »
-
85折
$806Linux x64 匯編語言編程 -
VIP 95折
MCP 極簡開發 : 輕鬆打造高效智能體$479$455 -
VIP 95折
硬件系統模糊測試:技術揭秘與案例剖析$419$398 -
VIP 95折
生成式視覺模型原理與實踐$288$274 -
87折
$459AI大模型:賦能通信產業 -
VIP 95折
科學預測——預見科學之美$408$388 -
VIP 95折
Processing創意編程入門:從編程原理到項目案例$299$284 -
87折
$360高薪Offer 簡歷、面試、談薪完全攻略 -
VIP 95折
軟件系統優化$534$507 -
85折
$505GitHub Copilot 編程指南 -
85折
$551C#核心編程200例(視頻課程+全套源程序) -
VIP 95折
SAAS + AI 架構實戰:業務解析、架構設計、AI 應用$708$673 -
VIP 95折
深入淺出 Docker, 2/e$419$398 -
85折
$658Unity 特效制作:Shader Graph 案例精講 -
79折
$275零基礎玩轉國產大模型DeepSeek -
VIP 95折
人工智能大模型:機器學習基礎$774$735 -
VIP 95折
RAG 極簡入門:原理與實踐$419$398 -
VIP 95折
大模型實戰 : 從零實現 RAG 與 Agent 系統$419$398 -
VIP 95折
算法趣學(第2版)$348$331 -
VIP 95折
大模型理論與實踐——打造行業智能助手$354$336 -
VIP 95折
大模型應用開發 RAG 實戰課$599$569 -
85折
$509生成式人工智能 (基於 PyTorch 實現) -
VIP 95折
機器人抓取力學$894$849 -
VIP 95折
集成電路版圖設計從入門到精通$474$450 -
VIP 95折
Java 學習筆記, 6/e$839$797
相關主題
商品描述
本書講解了 SystemVerilog 的基本語法和工作原理,同時結合了 UVM 驗證方法學中的驗證技術知識。講述的內容主要包括:基本數據類型、接口、類、隨機化、約束、進程同步、功能覆蓋和 DPI 技術。書中使用了約 270 個完整實例,詳細說明瞭每個知識點在實際項目中的應用。最後使用學過的驗證技術搭建一個基於SystemVerilog 的簡單驗證平臺。書中還介紹了 UVM 中的一些關鍵技術,主要包括:繼承和派生,拷貝函數、單例類、測試登記表、代理類和工廠機制。為接下來系統學習 UVM 驗證方法學打下堅實的基礎。
作者簡介
王旭,從事數字集成電路方面的教學和研發,目前在學校主要講述集成電路驗證的課程、在企業作為兼職顧問,負責為企業研發的芯片指定驗證方案、驗證計劃。


