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