同類熱銷排行榜

晶元EDA實戰(新一代晶元驗證語言Eagle和PVM驗證平台)

作者：易敏|責編:張淑謙//王海霞
出版社：機械工業
ISBN：9787111754909

出版日期：2024/07/01
裝幀：平裝
頁數：403

人民幣：RMB 139 元售價：元

內容大鋼

    本書從晶元驗證的目的出發，完善了功能覆蓋率的定義，闡述了新的隨機測試方法，即「功能覆蓋率直接驅動的隨機測試方法」，以及一種新的驗證語言EagleLang，即Eagle語言。該編程語言具有類似腳本語言的簡潔語法，專用於晶元驗證，也可以用於文本處理、數學計算、多線程編程等應用領域。該語言的編譯執行具有接近C＋＋語言的效率，eagle是該語言的編譯器工具。
    晶元模擬驗證效率是影響晶元項目周期的主要因素，本書提出了新一代的驗證方法學PVM（Parallel Verification Methodology），採用多核並行技術搭建的PvM驗證平台，具有執行效率高的特點，可以有效實現晶元模擬驗證加速。另外，在PvM驗證平台中採用工廠模式和動態編程技術，可以實現驗證組件、測試用例的動態生成，減少驗證平台、測試用例的編譯時間。
    本書主要適合晶元驗證工程師、晶元驅動軟體丌發工程師、晶元系統建模工程師、晶元設計工程師閱讀。本書也可以作為從事晶元EDA工具開發的軟體工程師、編譯器開發軟體工程師的參考書籍。本書還可以作為高校師生了解晶元設計與驗證技術的參考書籍。

作者介紹

易敏|責編:張淑謙//王海霞
易敏，畢業於武漢測繪科技大學電子工程系，2000-2018年就職于某知名通信公司及其晶元設計公司，一直從事晶元相關的研發工作。2022年創辦濟南新語軟體科技有限公司，從事晶元EDA研發工作，發明了Eagle編程語言和PVM驗證平台。

前言
第一篇  驗證方法學基礎晶元驗證目的
  第1章  晶元驗證目的
    1.1  晶元驗證與晶元質量
    1.2  晶元驗證質量度量方法
      1.2.1  代碼覆蓋率
      1.2.2  斷言覆蓋率
      1.2.3  功能覆蓋率
      1.2.4  覆蓋率度量方法比較
    1.3  功能覆蓋率
      1.3.1  驗證目標定義
      1.3.2  晶元系統模型
      1.3.3  激勵數據模型
      1.3.4  功能覆蓋率定義
      1.3.5  交叉組合功能覆蓋率
      1.3.6  順序組合功能覆蓋率
      1.3.7  功能覆蓋率直接驅動的隨機驗證
  第2章  晶元驗證方法
    2.1  模擬驗證方法
      2.1.1  晶元驗證方法演進
      2.1.2  驗證效率成本問題
      2.1.3  測試和驗證的概念辨析
    2.2  驗證效率提升
      2.2.1  當前存在的效率問題
      2.2.2  編程效率和編譯效率提升
      2.2.3  模擬執行效率提升
    2.3  晶元驗證流程管理
      2.3.1  晶元項目階段劃分
      2.3.2  驗證分層
      2.3.3  全面度量管理
      2.3.4  驗證技術手段
      2.3.5  模擬驗證技術發展思考
  ……
第二篇  Eagle編程語言
第三篇  PVM和DVM驗證平台
第四篇  PVM驗證平台配套工具
附錄A  術語

Δ訂單支付
付款方式
運費計算方式

Δ關於我們
關於美商天龍
聯絡我們

首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ 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

同類熱銷排行榜

最近瀏覽的商品

晶元EDA實戰(新一代晶元驗證語言Eagle和PVM驗證平台)