買這商品的人也買了...
-
$594PCI Express 體系結構導讀 -
深度學習 (Deep Learning)(繁體中文版)$1,200$1,020 -
$474片上互連網絡 — 多核／眾核處理器關鍵技術 -
FPGA 進階開發與實踐$648$616 -
Scratch 超人氣遊戲大改造：動腦想、動手玩，讓程式與遊戲設計都變有趣！$490$387 -
$2,161A Practical Guide to Verilog-A: Mastering the Modeling Language for Analog Devices, Circuits and Systems (Paperback) -
敏捷硬件開發語言 Chisel 與數字系統設計$414$393 -
$454Wi-Fi 7 開發參考：技術原理、標準和應用 -
半導體製程與整合$620$608 -
$407GPT 圖解 : 大模型是怎樣構建的 -
硬件設計指南從裝置認知到手機基帶設計$594$564 -
FLAG'S 創客‧自造者工作坊 -- 用創客玩 ChatGPT x Python AI 語音大應用$1,599$1,439 -
$556高效能並行運行時系統:設計與實現 -
C++ 之美：代碼簡潔、安全又跑得快的 30個要訣 (Beautiful C++: 30 Core Guidelines for Writing Clean, Safe, and Fast Code)$654$621 -
高級 HDL 綜合和 SoC 原型設計$468$445 -
$528基於 Vivado 的 FPGA 時序約束實戰 -
$611AI 處理器硬件架構設計 -
$354Verilog HDL計算機網絡典型電路算法設計與實現 -
RISC-V 架構 DSP 處理器設計$534$507 -
$839陶哲軒實分析, 4/e -
$528矽後驗證與調試 -
$474大模型核心技術與應用（微課視頻版） -
$375智能醫學影像處理方法 -
$432人工智能邊緣計算芯片與系統設計 -
$414集成電路測試技術（含實訓任務單）
相關主題
商品描述
本書系統介紹了形式化驗證的概念和原理，並通過豐富的實例生動展示了形式化驗證所需的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創業公司，擔任芯片設計經理。
