內容簡介
本書分為5個部分。靠前部分的內容是功能驗證概述,包括概念背景、驗證計劃、驗證策略和一些基本練習。靠前部分還介紹了驗證周期的概念和層次化驗證的概念,以及在實踐中怎樣將巨型設計分解為可驗。第2部分和第3部分關注兩個很主要的功能驗證方法:基於模擬的驗證方法和形式驗證方法。第4部分把注意力集中在驗證周期的後期階段,包括回歸測試和“逃逸”錯誤分析,以及一些不錯的驗證技術。第5部分,是一些驗證實例研究的集合,進一步強調了驗證周期和驗證過程中的相關概念。本書既可作為科研院所、高等工科院校計算機、電子、微電子等專業的教材或教學參考書,也可作為集成電路驗證領域的工程師的技術指南或工具書。