圖書信息
書名:全面的功能驗證:完整的工業流程作 者:(美)威立 ,沈海華,樂翔 譯
出版社:機械工業出版社
出版時間:2010-3-1
ISBN:9787111296416
開本:16開
定價:98.00元
內容簡介
本書分為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章 驗證實例
附錄 驗證術語表
參考文獻