數字系統的診斷和可靠性設計
作者：（美）Ｍ．Ａ．布魯爾．Ａ．Ｄ．弗里德曼著
出版社：人民郵電出版社
類別：理科、工程技術
出版時間：1983-08-01
內容簡介
本書主要介紹以下三部分內容：數字系統測試和故障診斷技術的理論和技術，其中重點介紹了測試向量的生成技術和方法以及測試向量的最佳化技術；數字系統可測性設計的基本概念和相關技術，其中對邊界掃描設計的原理和有關標準IEEE1149.1作了較詳細的敘述；數字系統的可靠性設計，包括數字可靠性的基本概念、硬體容錯技術、全自檢技術、編碼糾錯技術和軟體容錯技術等。此外，書中附有習題和答案或提示。
本書是自動化和計算機專業的本科生和研究生教材，也適合於從事數字系統設計、測試和維護的技術人員作參考
目錄
第1章緒論
1.1數字系統測試的發展概況
1.2故障和故障模型
1.3自動測試與故障診斷及檢測
1.4有關異或運算的一些問題
參考文獻
第2章組合邏輯電路的測試
2.1偽窮舉法測試
21.1單輸出電路
2.1.2多輸出電路
2.2布爾差分法
2.2.1一階布爾差分
2.2.2高階布爾差分
2.2.3偏差分
2.2.4布爾微分
2.2.5布爾差分與布爾微分之間的關係
2.3組合電路的測試生成算法
2.3.1邏輯函式的D立方
2.3.2D算法
2.3.3PODEM算法
2.3.4FAN算法
2.4特徵分析法
2.4.1由LFSR組成的特徵分析器
2.4.2跳變次數計數測試
2.4.3症候群測試
2.5因果函式分析法
2.5.1因果函式及其主要性質
2.5.2用因果函式求故障檢測矢量
2.5.3用因果函式求完全檢測集
2.6隨機測試生成技術
2.6.1隨機測試的向量序列長度的估算
2.6.2隨機測試的故障覆蓋率統計法估算
2.7完全測試集的極小化
2.7.1故障的合併與壓縮
2.7.2故障測試集的極小
小結
參考文獻
第3章時序電路的測試
3.1時序電路的功能測試
3.1.1三種序列的求法
3.1.2同步時序電路的功能核實序列
3.1.3異步時序電路的功能核實序列
3.2同步時序電路的測試生成
3.2.1時序電路的組合化模型
3.2.2測試序列的生成
3.2.3擴展D算法的過程
3.3九值算法及其改進
3.3.1九值模擬
3.3.2算法中的幾個重要步驟
