硬體設計驗證：基於模擬與形式的方法

(711229)

硬體設計驗證：基於模擬與形式的方法
Ying Qian Shi Ji ren Zhen: Ji Yu Mo Ni Yu Xin Shi De Fang Fa
作者: 蘭姆
譯者: 王維維

平均評分:

用戶評語(0) 暫時没有此貨品的用戶評語

登入後可上載此產品的圖片.

產品內容

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

(711229-0701)

硬體設計驗證：基於模擬與形式的方法 [Books]
(日期：2007-03-27)
售價($)： HK$93 (US$)
發行商：機械工業出版社

產品語言: 簡體中文
國際書碼: 9787111195027
出版年月: 2007/01/01
印刷年月: 2007/01/01
印刷版次: 1
Nil