硬件設(shè)計(jì)驗(yàn)證圖書目錄

譯者序

前言

致謝

第1章 設(shè)計(jì)驗(yàn)證的緣由

1.1 什么是設(shè)計(jì)驗(yàn)證

1.2 驗(yàn)證的基本原理

1.3 驗(yàn)證方法學(xué)

1.4 基于模擬的驗(yàn)證與形式驗(yàn)證的比較

1.5 形式驗(yàn)證的局限性

1.6 Verilog語(yǔ)言調(diào)度和執(zhí)行語(yǔ)義簡(jiǎn)介

1.7 本章小結(jié)

第2章 編寫驗(yàn)證的代碼

2.1 功能正確性

2.2 時(shí)序正確性

2.3 模擬的性能

2.4 可移植性與可維護(hù)性

2.5 可綜合性、可調(diào)試性與通用工具兼容性

2.6 基于周期的模擬

2.7 硬件模擬/仿真

2.8 2狀態(tài)與4狀態(tài)模擬

2.9 lineter程序的設(shè)計(jì)與使用

2.10 本章小結(jié)

2.11 習(xí)題

第3章 模擬器體系結(jié)構(gòu)與操作

3.1 編譯器

3.2 模擬器

3.3 模擬器的分類與比較

3.4 模擬器的操作與應(yīng)用

3.5 增量式編譯

3.6 模擬器控制臺(tái)

3.7 本章小結(jié)

3.8 習(xí)題

第4章 測(cè)試基準(zhǔn)組成與設(shè)計(jì)

4.1 測(cè)試基準(zhǔn)的分類與測(cè)試環(huán)境

4.2 初始化機(jī)制

4.3 時(shí)鐘生成與同步

4.4 激勵(lì)生成

4.5 響應(yīng)評(píng)估

4.6 驗(yàn)證實(shí)用程序

4.7 測(cè)試基準(zhǔn)至系統(tǒng)設(shè)計(jì)接口

4.8 常見的實(shí)際技術(shù)與方法

4.9 本章小結(jié)

4.10 習(xí)題

第5章 測(cè)試構(gòu)想、斷言與覆蓋

第6章 調(diào)試進(jìn)程與驗(yàn)證周期

第7章 形式驗(yàn)證初頻

第8章 判定圖、等價(jià)檢驗(yàn)與符號(hào)

第9章 模型檢驗(yàn)與符號(hào)計(jì)算

參考文獻(xiàn)

縮寫詞匯表 2100433B

William K .Lam是Sun公司實(shí)驗(yàn)室的資深經(jīng)理兼高級(jí)工程主管，曾獲得2002年度公司最高技術(shù)成就獎(jiǎng)——總裁創(chuàng)新獎(jiǎng)。他擁有加州大學(xué)伯克利分校電氣計(jì)算機(jī)工程系博士學(xué)位，曾獲得1994年優(yōu)秀博士論文K.J.Sakrison獎(jiǎng)。他發(fā)表過大量論文及兩部專著，并擁有多項(xiàng)美國(guó)專利。

隨著數(shù)字邏輯設(shè)計(jì)的規(guī)模越來越大，復(fù)雜度越來越高，功能驗(yàn)證已經(jīng)成為設(shè)計(jì)過程中的首要瓶頸。縮短驗(yàn)證時(shí)間是項(xiàng)目取得成功的關(guān)鍵。本書系統(tǒng)地闡述了當(dāng)今最具價(jià)值的基于模擬和形式方法的驗(yàn)證技術(shù)，幫助測(cè)試工程師和設(shè)計(jì)工程師為每個(gè)項(xiàng)目選擇最佳的解決方法，最快地在設(shè)計(jì)中建立起自信，并將它移植到更快的制造過程中。

本書作者William K．Lam是設(shè)計(jì)驗(yàn)證方面的世界級(jí)一流專家，書中匯聚了作者廣博的實(shí)踐經(jīng)驗(yàn)，既討論一般的測(cè)試原則，也展示具體的實(shí)踐方法，有些內(nèi)容還提供了偽代碼形式的算法，讀者只需簡(jiǎn)單地改寫為具體的程序設(shè)計(jì)語(yǔ)言，即可上機(jī)調(diào)試。無論高校學(xué)生還是企業(yè)的驗(yàn)證工程師都可以從本書獲益。

本書全面介紹硬件系統(tǒng)設(shè)計(jì)驗(yàn)證的技術(shù)和方法，主要涉及基于模擬和形式驗(yàn)證的方法，內(nèi)容涵蓋靜態(tài)檢驗(yàn)、模擬器體系結(jié)構(gòu)、測(cè)試基準(zhǔn)設(shè)計(jì)、模擬規(guī)劃與策略、調(diào)試進(jìn)程與驗(yàn)證周期，形式驗(yàn)證背景知識(shí)、判定圖與SAT問題、符號(hào)計(jì)算與模型檢驗(yàn)。書中匯集大量設(shè)計(jì)驗(yàn)證的基本概念與技術(shù)，內(nèi)容深入淺出，敘述詳盡，既討淪一般的測(cè)試原則又展示具體的實(shí)踐方法，包含作者多午實(shí)踐經(jīng)驗(yàn)，實(shí)用性強(qiáng)。每章最后還配有各類習(xí)題，讀者可用來鞏固所學(xué)的知識(shí)。.

本書可作為高等院校電子科學(xué)與技術(shù)、計(jì)算機(jī)科學(xué)與技術(shù)等專業(yè)高年級(jí)本科生或低年級(jí)研究生教材，也可供相關(guān)專業(yè)工程師參考。

（1）設(shè)計(jì)驗(yàn)證環(huán)境：系統(tǒng)功能仿真、 硬件設(shè)計(jì)操作（時(shí)序）仿真、軟件功能仿真；

（2）開發(fā)驗(yàn)證環(huán)境：硬件測(cè)試、軟件測(cè)試、軟硬件綜合測(cè)試；

（3）系統(tǒng)驗(yàn)證環(huán)境：與各種環(huán)境、各種型號(hào)、各種廠家的產(chǎn)品綜合試驗(yàn)環(huán)境；

（4） 例行試驗(yàn)環(huán)境：溫度、振動(dòng)、場(chǎng)強(qiáng)、電磁干擾試驗(yàn)等

一個(gè)完整的溫度驗(yàn)證系統(tǒng)包括溫度驗(yàn)證儀本體，干體式溫度校驗(yàn)爐(或恒溫油槽、恒溫水槽、標(biāo)準(zhǔn)溫度計(jì))、熱電偶或者熱電阻傳感器、軟件系統(tǒng)、設(shè)備對(duì)接引線器等附件。其中溫度驗(yàn)證儀本體是系統(tǒng)的主體部分，是一款精密的多通道溫度記錄和數(shù)據(jù)采集設(shè)備，與電腦連接采用以太網(wǎng)接口，可與筆記本電腦進(jìn)行有線或無線連接。干體爐填補(bǔ)了液槽在高溫區(qū)工作的不足在溫度超過250℃時(shí)，由于冒煙、燃燒的危險(xiǎn)和安全方面的考慮，采用攪拌液體的方式很不實(shí)用。多個(gè)品牌的多種溫度量程和校驗(yàn)容量的干體爐，其卓越的性能和品質(zhì)一定能滿足你的要求。

驗(yàn)證儀發(fā)展的早期主要是采用熱電阻傳感器，但是熱電阻具有一定的局限性，無法滿足日益發(fā)展的驗(yàn)證儀市場(chǎng)需求，取而代之的熱電偶傳感器正在被眾多驗(yàn)證儀廠商實(shí)用。熱電偶具有構(gòu)造簡(jiǎn)單、適用溫度范圍廣、使用方便、承受熱、機(jī)械沖擊能力強(qiáng)以及響應(yīng)速度快等特點(diǎn)，更可用于高溫區(qū)域、振動(dòng)沖擊大等惡劣環(huán)境以及適合于微小結(jié)構(gòu)測(cè)溫場(chǎng)合。

溫度驗(yàn)證儀是包括校準(zhǔn)系統(tǒng)、記錄分析系統(tǒng)、傳感器系統(tǒng)等設(shè)備的綜合性儀器。溫度驗(yàn)證儀必須符合FDA 21CFR Part 11條款的要求， EN285、EN554以及HTM2010等法規(guī)也有具體的要求。

溫度驗(yàn)證儀分有線系統(tǒng)與無線系統(tǒng)。有線的溫度驗(yàn)證系統(tǒng)精度高，價(jià)格相對(duì)于無線產(chǎn)品的價(jià)格要低廉的多，且容易校準(zhǔn)，耗材價(jià)格也更加便宜。但是在某些全封閉的區(qū)域內(nèi)無法使用有線的溫度驗(yàn)證儀對(duì)設(shè)備進(jìn)行驗(yàn)證，這個(gè)時(shí)候就需要選擇無線的來代替有線。無線的溫度驗(yàn)證系統(tǒng)經(jīng)過多年的更新發(fā)展，有的產(chǎn)品能夠測(cè)量低于零下100℃，精度可以達(dá)到±0.1℃。溫度驗(yàn)證系統(tǒng)已經(jīng)被眾多行業(yè)廣泛應(yīng)用，尤其在生物化工、制藥與食品等領(lǐng)域內(nèi)。

通過現(xiàn)場(chǎng)驗(yàn)證與監(jiān)測(cè)所獲得的數(shù)據(jù)，可以預(yù)測(cè)一些不良地質(zhì)現(xiàn)象的發(fā)展演化趨勢(shì)及其對(duì)工程建筑物的可能危害，以便采取防治對(duì)策和措施；也可以通過“足尺試驗(yàn)”進(jìn)行反分析，求取巖土體的某些工程參數(shù)，以此為依據(jù)及時(shí)修正勘察成果，優(yōu)化工程設(shè)計(jì)，必要時(shí)應(yīng)進(jìn)行補(bǔ)充勘察；它對(duì)巖土工程施工質(zhì)量進(jìn)行監(jiān)控，以保證工程的質(zhì)量和安全。顯然，現(xiàn)場(chǎng)驗(yàn)證與監(jiān)測(cè)在提高工程的經(jīng)濟(jì)效益、社會(huì)效益和環(huán)境效益中，起著十分重要的作用。 2100433B