晶元EDA實戰-新一代晶元驗證語言Eagle和PVM驗證平臺易敏 9787111754909 【台灣高等教育出版社】

Name: 晶元EDA實戰-新一代晶元驗證語言Eagle和PVM驗證平臺 易敏 9787111754909 【台灣高等教育出版社】
Brand: abooksthep
Price: 884.0 TWD
Availability: InStock

圖書均為代購，正常情形下，訂後約兩周可抵台。
物品所在地：中國大陸
原出版社：機械工業

NT$884

商品編號:

供貨狀況: 尚有庫存

加入最愛

商品介紹

*完成訂單後正常情形下約兩周可抵台。
*本賣場提供之資訊僅供參考，以到貨標的為正確資訊。
印行年月：202407*若逾兩年請先於私訊洽詢存貨情況，謝謝。
台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。
書名：晶元EDA實戰-新一代晶元驗證語言Eagle和PVM驗證平臺
ISBN：9787111754909
出版社：機械工業
著編譯者：易敏
頁數：403
所在地：中國大陸 *此為代購商品
書號：1661407
可大量預訂，請先連絡。

內容簡介

本書從晶元驗證的目的出發，完善了功能覆蓋率的定義，闡述了新的隨機測試方法，即「功能覆蓋率直接驅動的隨機測試方法」，以及一種新的驗證語言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 術語
詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於PChome商店街私訊告知ISBN或書號，我們即儘速上架。