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

定　價：￥45.00

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

購買這本書可以去

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

內(nèi)容簡介

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

作者簡介

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

圖書目錄

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