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

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