買這商品的人也買了...
-
C++ 沉思錄 (Ruminations on C++ : A Decade of Programming Insight and Experience)$520$442 -
Mastering Python Regular Expressions (Paperback)$1,070$1,017 -
自己動手寫 CPU$620$490 -
Design of Analog CMOS Integrated Circuits, 2/e (IE-Paperback)$1,600$1,568 -
系統管理員懶人包｜Shell Script 自動化指令集 (Wicked Cool Shell Scripts)$480$379 -
wxPython Recipes: A Problem - Solution Approach (Paperback)$2,660$2,527 -
Python 技術者們 - 練功！老手帶路教你精通正宗 Python 程式 (The Quick Python Book, 3/e)$780$663 -
System Verilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications, 3/e (Paperback)$4,160$3,952 -
$556MATLAB 2020 GUI 程序設計從入門到精通 -
Scratch 超人氣遊戲大改造：動腦想、動手玩，讓程式與遊戲設計都變有趣！$490$387 -
文科生也能懂的 Python 程式設計｜用 Python 寫出國中數學解題程式$450$356 -
野火 STM32 挑戰者開發板套件 V2 (底板+挑戰者F429核心板 + DAP下載器)$4,400$4,180 -
野火5吋電容式觸控螢幕(F429適用、RGB、800x480)$2,000$1,900 -
A Practical Guide to Verilog-A: Mastering the Modeling Language for Analog Devices, Circuits and Systems (Paperback)$2,275$2,161 -
Probabilistic Machine Learning: An Introduction (Hardcover)$2,650$2,597 -
內嵌作業系統 - ARM Linux 驅動程式開發動手做$1,280$1,011 -
徹底研究 C語言指標 (經典修復版) (Pointers on C)$980$686 -
FLAG'S 創客‧自造者工作坊 -- 用創客玩 ChatGPT x Python AI 語音大應用$1,599$1,263 -
$564UVM 芯片驗證技術案例集 -
A Practical Guide to Adopting the Universal Verification Methodology (UVM), 2/e (Paperback)$2,130$2,024 -
SystemVerilog 硬件設計：RTL 設計和驗證$468$445 -
基於 Vivado 的 FPGA 時序約束實戰$528$502 -
$588使用 SystemVerilog 進行 RTL 建模 (基於 SystemVerilog 的 ASIC 與 FPGA 設計) -
AI 處理器硬件架構設計$774$735 -
$534RISC-V 架構 DSP 處理器設計
相關主題
商品描述
本書系統介紹了形式化驗證的概念和原理，並通過豐富的實例生動展示了形式化驗證所需的TCL和SVA語言語法規則，同時揭示了其在商業上的潛在價值和廣闊前景。書中以目前廣泛采用的RISC-V架構為例，借助新思科技的VC Formal形式化驗證工具，深入淺出地講解了各種形式化驗證應用的流程、使用方法以及常見陷阱，為讀者提供了從基礎知識到 應用的學習途徑。 本書包括三個部分： ? 基礎篇（ ～6章），主要介紹形式化驗證的工具、語言和設計； ? 實戰篇（第7～13章），主要展示相關工具的使用方法、常見問題以及對應的解決方案； ? 進階篇（ 4～17章），主要探討簡化、簽核和加速等關鍵形式化驗證技術。 本書不僅適合芯片設計和開發領域的從業人員快速入門和實踐形式化驗證，也可以作為電子工程等相關專業的教學參考書。
作者簡介
王亮
IC工程師，2008年畢業於西北工業大學計算機系統結構專業，擁有接近20年的芯片行業工作經驗，先後就職於S3 Graphics（VIA，2年）、艾薩華科技（LSI，6年）、超微半導體（AMD，9年），目前就職於AMD GPU部門做GPU驗證工作。
譚永亮
IC設計工程師，2008年研究生畢業於西北工業大學電路與系統專業，擁有接近20年的工作經驗，目前就職於某IC創業公司，擔任芯片設計經理。
