隨著數字邏輯設計的規模越來越大，復雜度越來越高，功能驗證已經成為設計過程中的首要瓶頸。縮短驗證時間是項目取得成功的關鍵。本書係統地闡述瞭當今最具價值的基於模擬和形式方法的驗證技術，幫助測試工程師和設計工程師為每個項目選擇最佳的解決方法，最快地在設計中建立起自信，並將它移植到更快的製造過程中。
本書作者William K．Lam是設計驗證方麵的世界級一流專傢，書中匯聚瞭作者廣博的實踐經驗，既討論一般的測試原則，也展示具體的實踐方法，有些內容還提供瞭僞代碼形式的算法，讀者隻需簡單地改寫為具體的程序設計語言，即可上機調試。無論高校學生還是企業的驗證工程師都可以從本書獲益。
本書全麵介紹硬件係統設計驗證的技術和方法，主要涉及基於模擬和形式驗證的方法，內容涵蓋靜態檢驗、模擬器體係結構、測試基準設計、模擬規劃與策略、調試進程與驗證周期，形式驗證背景知識、判定圖與SAT問題、符號計算與模型檢驗。書中匯集大量設計驗證的基本概念與技術，內容深入淺齣，敘述詳盡，既討淪一般的測試原則又展示具體的實踐方法，包含作者多午實踐經驗，實用性強。每章最後還配有各類習題，讀者可用來鞏固所學的知識。.
本書可作為高等院校電子科學與技術、計算機科學與技術等專業高年級本科生或低年級研究生教材，也可供相關專業工程師參考。
具體描述
讀後感
評分
評分
評分
評分
用戶評價
書的後半部分，關於形式驗證的部分，很有意義。
评分書的後半部分，關於形式驗證的部分，很有意義。
评分書的後半部分，關於形式驗證的部分，很有意義。
评分書的後半部分，關於形式驗證的部分，很有意義。
评分書的後半部分，關於形式驗證的部分，很有意義。
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有