幫助中心 | 我的帳號 | 關於我們
進階搜尋
car

同類熱銷排行榜

最近瀏覽的商品

晶元形式化驗證原理方法與實戰/集成電路技術叢書

  • 作者：編者:王亮//譚永亮|責編:朱劼//王榮
  • 出版社：機械工業
  • ISBN：9787111782681
  • 出版日期：2025/07/01
  • 裝幀：平裝
  • 頁數：286
人民幣：RMB 99 元      售價：元
放入購物車
加入收藏夾
內容大鋼
    內容簡介
    本書系統介紹了形式化驗證的概念和原理，並通過豐富的實例生動展示了形式化驗證所需的TCL和SVA語言語法規則，同時揭示了其在商業上的潛在價值和廣闊前景。書中以目前廣泛採用的RISC-V架構為例，借助新思科技的VC Formal形式化驗證工具，深入淺出地講解了各種形式化驗證應用的流程、使用方法以及常見陷阱，為讀者提供了從基礎知識到高級應用的學習途徑。
    本書包括三個部分：
    - 基礎篇（第1~6章），主要介紹形式化驗證的工具、語言和設計；
    - 實戰篇（第7~13章），主要展示相關工具的使用方法、常見問題以及對應的解決方案；
    - 進階篇（第14~17章），主要探討簡化、簽核和加速等關鍵形式化驗證技術。
    本書不僅適合晶元設計和開發領域的從業人員快速入門和實踐形式化驗證，也可以作為電子工程等相關專業的教學參考書。
作者介紹
編者:王亮//譚永亮|責編:朱劼//王榮
目錄
推薦序
前言
基礎篇
  第1章  晶元驗證
    1.1  什麼是晶元驗證
    1.2  晶元驗證的種類和過程
    1.3  驗證的現狀
    1.4  本章小結
  第2章  驗證策略概述
    2.1  動態驗證
      2.1.1  EDA模擬
      2.1.2  硬體模擬
      2.1.3  FPGA原型驗證
      2.1.4  三種動態驗證方式的比較
    2.2  靜態檢查
      2.2.1  語法語義檢查
      2.2.2  形式化驗證
    2.3  形式化驗證和動態驗證的優缺點對比
    2.4  形式化驗證的現狀和商業價值
    2.5  學習形式化驗證能做什麼
    2.6  本章小結
  第3章  形式化驗證基本原理和演算法
    3.1  形式化驗證概述
      3.1.1  等價性驗證
      3.1.2  模型檢查
      3.1.3  定理證明
    3.2  硬體電路的形式化驗證原理
    3.3  二叉決策圖概述
      3.3.1  二叉決策圖原理
      3.3.2  有序二叉決策圖
      3.3.3  精簡有序二叉決策圖
      3.3.4  BDD的不足
    3.4  基於SAT的形式化驗證
      3.4.1  SAT原理
      3.4.2  有界模型檢查問題
    3.5  BDD和SAT的比較
    3.6  本章小結
  第4章  形式化驗證的流程和方法
    4.1  形式化驗證「三板斧」
      ——語言、工具和設計
  ……
實戰篇
進階篇
附錄  代碼包的目錄及說明
技術術語表
參考文獻

  • 商品搜索：
  • | 高級搜索
首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ Top↑│
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司 臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話：02-2381-2033 02-2381-1863　時間：週一-週五 10:00-17:00
　服務信箱：bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證：浙B2-20060032