全面的功能驗證

內容介紹

《全面的功能驗證:完整的工業流程》分為5個部分。第1部分的內容是功能驗證概述，包括概念背景、驗證計畫、驗證策略和一些基本練習。第1部分還介紹了驗證周期的概念和層次化驗證的概念，以及在實踐中怎樣將巨型設計分解為可驗證的單元。第2部分和第3部分關注兩個最主要的功能驗證方法：基於模擬的驗證方法和形式驗證方法。第4部分把注意力集中在驗證周期的後期階段，包括回歸測試和“逃逸”錯誤分析，以及一些高級的驗證技術。第5部分，是一些驗證實例研究的集合，進一步強調了驗證周期和驗證過程中的相關概念。

《全面的功能驗證:完整的工業流程》既可作為科研院所、高等工科院校計算機、電子、微電子等專業的教材或教學參考書，也可作為積體電路驗證領域的工程師的技術指南或工具書。