《全面的功能驗證完整的工業流程》是2010年機械工業出版社出版的圖書，作者是（美）威立。
基本介紹
- 書名：全面的功能 驗證：完整的工業流程
- 作者：（美）威立
- 譯者：沈海華、樂翔
- ISBN：9787111296416
- 頁數：487
- 定價：98.00元
- 出版社：機械工業出版社
- 出版時間：2010-3-1
- 裝幀：平裝
- 開本：16開
內容簡介,圖書目錄,
內容簡介
本書分為5個部分。第1部分的內容是功能驗證概述，包括概念背景、驗證計畫、驗證策略和一些基本練習。第1部分還介紹了驗證周期的概念和層次化驗證的概念，以及在實踐中怎樣將巨型設計分解為可驗證的單元。第2部分和第3部分關注兩個最主要的功能驗證方法：基於模擬的驗證方法和形式驗證方法。第4部分把注意力集中在驗證周期的後期階段，包括回歸測試和“逃逸”錯誤分析，以及一些高級的驗證技術。第5部分，是一些驗證實例研究的集合，進一步強調了驗證周期和驗證過程中的相關概念。
本書既可作為科研院所、高等工科院校計算機、電子、微電子等專業的教材或教學參考書，也可作為積體電路驗證領域的工程師的技術指南或工具書。
圖書目錄
譯者序
對本書的評論
原書序
前言
第1部分 驗 證 簡 介
第1章 晶片設計的驗證
第2章 驗證流程
第3章 基於模擬的驗證基礎
第4章 驗證計畫
第2部分 基於模擬的驗證
第5章 硬體描述語言和模擬引擎
第6章 創建環境
第7章 基於模擬的測試激勵生成策略
第8章 基於模擬的驗證中的結果檢查策略
第9章 廣義的功能驗證
第10章 重用策略與系統模擬
第3部分 形 式 驗 證
第11章 形式驗證簡介
第12章 形式驗證的使用
第4部分 全面的驗證
第13章 完成驗證周期
第14章 高級驗證技術
第5部分 驗證實例研究
第15章 驗證實例
附錄 驗證術語表
參考文獻
