內容介紹
隨著數字邏輯設計的規模越來越大，複雜度越來越高，功能驗證已經成為設計過程中的首要瓶頸。縮短驗證時間是項目取得成功的關鍵。本書系統地闡述了當今最具價值的基於模擬和形式方法的驗證技術，幫助測試工程師和設計工程師為每個項目選擇最佳的解決方法，最快地在設計中建立起自信，並將它移植到更快的製造過程中。本書作者William K．Lam是設計驗證方面的世界級一流專家，書中匯聚了作者廣博的實踐經驗，既討論一般的測試原則，也展示具體的實踐方法，有些內容還提供了偽代碼形式的算法，讀者只需簡單地改寫為具體的程式設計語言，即可上機調試。無論高校學生還是企業的驗證工程師都可以從本書獲益。
本書全面介紹硬體系統設計驗證的技術和方法，主要涉及基於模擬和形式驗證的方法，內容涵蓋靜態檢驗、模擬器體系結構、測試基準設計、模擬規劃與策略、調試進程與驗證周期，形式驗證背景知識、判定圖與SAT問題、符號計算與模型檢驗。書中匯集大量設計驗證的基本概念與技術，內容深入淺出，敘述詳盡，既討淪一般的測試原則又展示具體的實踐方法，包含作者多午實踐經驗，實用性強。每章最後還配有各類習題，讀者可用來鞏固所學的知識。.
本書可作為高等院校電子科學與技術、計算機科學與技術等專業高年級本科生或低年級研究生教材，也可供相關專業工程師參考。
