版權資訊
書 名: 硬體設計驗證：基於模擬與形式的方法
作 者：
ISBN: 9787111195023
開本： 16
定價: 45.00 元
內容簡介
隨著數字邏輯設計的規模越來越大，複雜度越來越高，功能驗證已經成為設計過程中的首要瓶頸。縮短驗證時間是項目取得成功的關鍵。本書系統地闡述了當今最具價值的基於模擬和形式方法的驗證技術，幫助測試工程師和設計工程師為每個項目選擇最佳的解決方法，最快地在設計中建立起自信，並將它移植到更快的製造過程中。
本書作者WilliamK．Lam是設計驗證方面的世界級一流專家，書中匯聚了作者廣博的實踐經驗，既討論一般的測試原則，也展示具體的實踐方法，有些內容還提供了偽代碼形式的算法，讀者只需簡單地改寫為具體的程式設計語言，即可上機調試。無論高校學生還是企業的驗證工程師都可以從本書獲益。
本書全面介紹硬體系統設計驗證的技術和方法，主要涉及基於模擬和形式驗證的方法，內容涵蓋靜態檢驗、模擬器體系結構、測試基準設計、模擬規劃與策略、調試進程與驗證周期，形式驗證背景知識、判定圖與SAT問題、符號計算與模型檢驗。書中匯集大量設計驗證的基本概念與技術，內容深入淺出，敘述詳盡，既討淪一般的測試原則又展示具體的實踐方法，包含作者多午實踐經驗，實用性強。每章最後還配有各類習題，讀者可用來鞏固所學的知識。.
本書可作為高等院校電子科學與技術、計算機科學與技術等專業高年級本科生或低年級研究生教材，也可供相關專業工程師參考。
作者簡介
WilliamK.Lam是Sun公司實驗室的資深經理兼高級工程主管，曾獲得2002年度公司最高技術成就獎——總裁創新獎。他擁有加州大學伯克利分校電氣計算機工程系博士學位，曾獲得1994年優秀博士論文K.J.Sakrison獎。他發表過大量論文及兩部專著，並擁有多項美國專利。
目錄
譯者序
前言
致謝
第1章設計驗證的緣由
1.1什麼是設計驗證
1.2驗證的基本原理
……
