內容簡介
本書全面介紹硬件繫統設計驗證的技術和方法,主要涉及基於模擬和形式驗證的方法,內容涵蓋靜態檢驗、模擬器體繫結構、測試基準設計、模擬規劃與策略、調試進程與驗證周期,形式驗證背景知識、判定圖與SAT問題、符號計算與模型檢驗。書中彙集大量設計驗證的基本概念與技術,內容深入淺出,敘述詳盡,既討淪一般的測試原則又展示具體的實踐方法,包含作者多午實踐經驗,實用性強。每章後還配有各類習題,讀者可用來鞏固所學的知識。.
本書可作為高等院校電子科學與技術、計算機科學與技術等專業高年級本科生或低年級研究生教材,也可供相關專業工程師參考。
本書可作為高等院校電子科學與技術、計算機科學與技術等專業高年級本科生或低年級研究生教材,也可供相關專業工程師參考。