硬件設計驗證（基于模擬與形式的方法）

定　價：￥45.00

作　者：	（美）蘭姆
出版社：	機械工業(yè)出版社
叢編項：	電子與電氣工程叢書
標　簽：	計算機結構、設計與制造計算機科學理論計算機與互聯(lián)網(wǎng)

購買這本書可以去

ISBN：	9787111195023	出版時間：	2007-01-01	包裝：	平裝
開本：	16	頁數(shù)：	359	字數(shù)：

內(nèi)容簡介

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

作者簡介

　　本書提供作譯者介紹William K．Lam是Sun公司實驗室的資深經(jīng)理兼高級工程主管，曾獲得2002年度Sun公司最高技術成就獎——總裁創(chuàng)新獎。他擁有加州大學伯克利分校電氣與計算機工程系博士學位，曾獲得1994年優(yōu)秀博士論文D．J，Sakrison獎。他發(fā)表過大量論文及兩部專著，并擁有多項美國專利。.王維維博士，浙江大學副教授，碩士生導師。目前主要從事電子設計自動化、計算機科學等領域的教學與科研工作。曾參與多項國家自然科學基金、浙江省自然科學基金項目，發(fā)表論文多篇，參與教材編寫兩部。...

圖書目錄

第1章設計驗證的緣由
1. 1 什么是設計驗證
1. 2 驗證的基本原理
1. 3 驗證方法學
1. 4 基于模擬的驗證與形式驗證的比較
1. 5 形式驗證的局限性
1. 6 Verilog語言調(diào)度和執(zhí)行語義簡介
1. 7 本章小結
第2章編寫驗證的代碼
2. 1 功能正確性
2. 2 時序正確性
2. 3 模擬的性能
2. 4 可移植性與可維護性
2. 5 可綜合性. 可調(diào)試性與通用工具兼容性
2. 6 基于周期的模擬
2. 7 硬件模擬／仿真
2. 8 2狀態(tài)與4狀態(tài)模擬
2. 9 linter程序的設計與使用
2. 10 本章小結
2. 11 習題
第3章模擬器體系結構與操作
3. 1 編譯器
3. 2 模擬器
3. 3 模擬器的分類與比較
3. 4 模擬器的操作與應用
3. 5 增量式編譯
3. 6 模擬器控制臺
3. 7 本章小結
3. 8 習題
第4章測試基準組成與設計
4. 1 測試基準的分類與測試環(huán)境
4. 2 初始化機制
4. 3 時鐘生成與同步
4. 4 激勵生成
4. 5 響應評估
4. 6 驗證實用程序
4. 7 測試基準至系統(tǒng)設計接口
4. 8 常見的實際技術與方法
4. 9 本章小結
4. 10 習題
第5章測試構想. 斷言與覆蓋
5. 1 分層驗證
5. 2 測試規(guī)劃
5. 3 偽隨機測試生成程序
5. 4 斷言
5. 5 System Verilog斷言
5. 6 驗證覆蓋
5. 7 本章小結
5. 8 習題
第6章調(diào)試進程與驗證周期
6. 1 故障捕獲. 范圍壓縮與錯誤跟蹤..
6. 2 模擬數(shù)據(jù)轉儲
6. 3 潛在故障原因的隔離
6. 4 系統(tǒng)設計更新與維護：修改控制
6. 5 回歸. 發(fā)布機制與流片標準
6,596 本章小結
6. 7 習題
第7章形式驗證初步
7. 1 集合與運算
7. 2 關系. 劃分. 偏序集與格
7. 3 布爾函數(shù)與表示
7. 4 布爾函數(shù)運算符
7. 5 有限狀態(tài)自動機與語言
7. 6 本章小結
7. 7 習題
第8章判定圖. 等價檢驗與符號
模擬
8. 1 二叉判定圖
8. 2 判定圖的變異
8. 3 基于判定圖的等價檢驗
8. 4 布爾可滿足性
8. 5 符號模擬
8. 6 本章小結
8. 7 習題
第9章模型檢驗與符號計算
9. 1 性質(zhì). 規(guī)范與邏輯
9. 2 性質(zhì)檢驗
9. 3 符號計算與模型檢驗
9. 4 符號CTL模型檢驗
9. 5 計算改進
9. 6 模型檢驗工具的使用
9. 7 本章小結
9. 8 習題
參考文獻
縮寫詞匯表...