編寫測試平台

本書首先介紹驗證的基本概念和各種工具，驗證的重要性和代價，比較了不同的驗證方法，以及測試和驗證的區別。 然後從方法學的角度探討了驗證的策略和層次，介紹了覆蓋率模型和如何制定完整的驗證計畫。 本書還介紹了如何編寫自檢驗測試平台、設計基於匯流排功能模型的隨機激勵發生器。

內容介紹

驗證是製造出功能正確的晶片的必要步驟，是一個證明設計思路是如何實現的過程。本書首先介紹驗證的基本概念和各種工具，驗證的重要性和代價，比較了不同的驗證方法，以及測試和驗證的區別。然後從方法學的角度探討了驗證的策略和層次，介紹了覆蓋率模型和如何制定完整的驗證計畫。在驗證的方法和技術方面，本書引入了硬體驗證語言（HVL），討論了使用行為描述進行高層次建模的方法，介紹了施加激勵和監視回響的技術，以及通過使用匯流排功能模型把物理層次的事務抽象為更高層次的過程，並結合各種測試語言講解了仿真管理的各個要素。本書提出了覆蓋率驅動的受約束的隨機事務級自檢驗測試平台，並圍繞這種結構對其中各個部分原理及設計要素進行了系統的討論。本書還介紹了如何編寫自檢驗測試平台、設計基於匯流排功能模型的隨機激勵發生器。
本書適合於從事ASIC、SoC及系統設計與驗證的人員閱讀。