數(shù)字系統(tǒng)測(cè)試與可測(cè)試設(shè)計(jì)

譯者序
譯者簡(jiǎn)介
中文版前言
前言
本書(shū)是如何寫(xiě)出來(lái)的
第1章 緒論
第2章 建模
2.1 基本概念
2.2 邏輯級(jí)的功能建模
2.3 寄存器級(jí)的功能建模
2.4 結(jié)構(gòu)模型
2.5 建模的層次
參考文獻(xiàn)
習(xí)題
第3章 邏輯模擬
3.1 應(yīng)用
3.2 基于模擬設(shè)計(jì)驗(yàn)證中的問(wèn)題
3.3 模擬的類(lèi)型
3.4 未知的邏輯值
3.5 編譯后模擬
3.6 事件驅(qū)動(dòng)模擬
3.7 葉延模型
3.8 元件求值
3.9 冒險(xiǎn)檢測(cè)
3.10 門(mén)級(jí)事件驅(qū)動(dòng)模擬
3.11 模擬引擎
參考文獻(xiàn)
習(xí)題
第4章 故障模型
4.1 邏輯故障模型
4.2 故障檢測(cè)和冗余
4.3 故障等價(jià)和故障定位
4.4 故障支配
4.5 單固定型故障模型
4.6 多固定型故障模型
4.7 固定的RTL變量
4.8 故障變量
參考文獻(xiàn)
習(xí)題
第5章 故障模擬
5.1 應(yīng)用
5.2 通用故障模擬技術(shù)
5.3 組合電路的故障模擬
5.4 故障采樣
5.5 統(tǒng)計(jì)故障分析
5.6 本章小結(jié)
參考文獻(xiàn)
習(xí)題
第6章 單固定型故障測(cè)試
6.1 基本問(wèn)題
6.2 組合電路中的單固定型故障的自動(dòng)測(cè)試生成
6.3 時(shí)序電路SSF的ATC
6.4 本章小結(jié)
參考文獻(xiàn)
習(xí)題
第7章 橋接故障測(cè)試
7.1 橋接故障模型
7.2 無(wú)反饋橋接故障的檢測(cè)
7.3 橋接故障的檢測(cè)
7.4 橋接故障模擬
7.5 橋接故障的測(cè)試生成
7.6 本章小結(jié)
參考文獻(xiàn)
習(xí)題
第8章 功能測(cè)試
……
第9章 可測(cè)試性設(shè)計(jì)
第10章 測(cè)試壓縮技術(shù)
第11章 內(nèi)建自測(cè)試
第12章 邏輯級(jí)診斷
第13章 自校驗(yàn)設(shè)計(jì)
第14章 PLA測(cè)試
第15章 系統(tǒng)級(jí)診斷
索引