[高等教育]電子測量第8章數(shù)字系統(tǒng)測試技術(shù)-展示頁
2025-03-02 07:54本頁面
【正文】 數(shù)據(jù)流的顯示方式 (1)數(shù)字信號通常是按時序傳遞的； (2)信號幾乎都是多位傳輸?shù)模? (3)信息的傳遞方式是多種多樣的； (4)數(shù)字信號的速度變化范圍很寬； (5)信號往往是單次的或非周期性的； (6)數(shù)字系統(tǒng)故障判別與模擬系統(tǒng)不同。 功能測試 ，對表征被測器件性能的邏輯功能的測試。 (2) 時序電路測試 ，通常采用迭接陣列、測試序列（同步、引導 和區(qū)分序列）等方法。 4 故障模型 ◆ 故障的模型化與模型化故障 （ 1） 固定型故障 （ Stuck Faults ） 固定 1故障 (stuckat1)， sa1 固定 0故障 (stuckat0)， sa0 （ 2）橋接故障 （ Bridge Faults ） ◆ 橋接故障 :兩根或多根信號線間的短接故障 x1x2x3x3x2 x1 x1 x1x2x2 x3 x3（ 2）橋接故障 （ Bridge Faults ） F x1...xsxs+1...xnYp1ps x1xs...Y xnxs+1...（ 3）延遲故障 （ Delay Faults ） ◆ 延遲故障 :電路延遲超過允許值而引起的故障 ◆ 時延測試驗證電路中任何通路的傳輸延遲不超 過系統(tǒng)時鐘周期 數(shù)據(jù)域測試原理概述 組合電路測試方法簡介 ? 1 敏化通路法 2 布爾差分法 1 敏化通路法 ◆ 通路 和 敏化通路 （ 1）敏化通路法 ABx1x2x3abcdefgyC a f y 0→1 0→1 0→1 1→0 1→0 1→0 ◆ 故障 a →f→y: 故障傳播 或 前向跟蹤 ◆ 一致性檢驗 或 反相跟蹤 電路的敏化過程 組合邏輯電路測試方法 通路敏化基本原理 ：從故障點選擇某條通路到達電路的任一原始輸出，如果給這條通路上的一些門的輸入指定相應的信號值，以便使故障信號沿所選通路傳播到輸出，就認為該通路被敏化了。 x1x2x3abcdefgyx2:s a 0 有扇出電路的敏化過程 1 敏化通路法 x1x2x3 單通路敏化成功，雙通路敏化失敗的例子 （ 111）不是 x2： sa0的測試矢量 （ 110）和（ 011）是 x2： sa0的測試矢量 1 敏化通路法 ◆ Schneider提出的 反例 證明某些故障只通過一條通路不可能敏化成功，必須同時沿兩條或兩條以上的通路才能成功敏化 x 1x2x3x4G55G66G77G88G99G1010G1111G1212ysa0同時沿 G6G9G12 和 G6G10G12 敏化方可成功 G6（ sa0）的測試 :(x1x2x3x4)=(0000) 1 敏化通路法 ◆ 扇出對敏化通路的影響 ， 三種情況： 單通路和多通路都產(chǎn)生測試矢量 僅單通路能產(chǎn)生測試矢量 僅多通路能產(chǎn)生測試矢量 小結(jié) ◆ Schneider反例說明一維敏化不是一種算法 ◆ 對一特定故障尋找敏化通路時，還應考慮同時敏 化多個單通路的可能組合 多維敏化 ◆ 對于多維敏化 ，必須尋球一種真正的算法 D算法 2 布爾差分法 ◆ 用數(shù)學方法來研究故障的傳播 ◆ 優(yōu)點：普遍性、完備性、嚴格、簡潔、明晰 ◆ 可以用于多輸出電路及多故障的測試 對布爾函數(shù) f(x)=f(x1,x2,…,x n)，定義 ),0,()0(),1,()1(),()(),()(112111212121niiiniiiniiniixxxxxffxxxxxffxxxxfxfxxxxfxf????????????????2 布爾差分法 ◆ 對一邏輯函數(shù) f(X)， xi∈X, X=(x 1,x2,… ,xn)，用符號 fi(α) 表示 xi=α(α∈{0,1}) 時 f(X)的值，則 ( ) ( 1 ) ( 0 )i i i if X x f x f??◆ 有一個組合邏輯系統(tǒng)： f(x)=f(x1,x2,… ,xi,… ,xn),如果布爾表達式 ( ) ( ) 1iiy f x f x? ? ?成立 則表明系統(tǒng)內(nèi)部任何一個節(jié)點 xi（或主輸入）上信號的邏輯值的變化能使輸出端 y的邏輯值作相應的變化，從而可根據(jù) y的變化來測試出 xi的變化，以達到對 xi故障測試的目的 2 布爾差分法 ◆ 定義 為函數(shù) f相對于變量 xi的 一階布爾差分 () ( ) ( )iiid f x f x f xdx ??()idf xdx的含義： xi從 xi變成 xi時， f(xi)與 f（ xi）之間的差異量 2 布爾差分法 ◆ 偵查故障 xi=sa1和故障 xi:sa0的測試矢量集 分別用 T1和 T0表示為 ????????????????1)(1)(01iiiidxxdfxTdxxdfxT() ( ) ( )( 1 ) ( 0 )iiiiid f x f x f xdxff??????????? ?? ? 2 布爾差分法 ◆ 如果 h是邏輯變量 X的函數(shù) ， 而 f又是變量 h和 X的函數(shù) ，則測試故障 h： sa1和 h： sa0的測試矢量集分別為 ????????????????1),(1),(01dhXhdfhTdhXhdfhT2 布爾差分法 舉例：求偵查下圖中故障 x1:sa1， x1:sa0， h:sa1的測試矢量集 x 1x 2x 3x 4hf解： 寫出 f的邏輯表達式 )()(43221432214322143243221xxxhhxxxxxxxxxxxxxxxxxxxxf?????????????????2 布爾差分法 求 f相對變量 x1的一階布爾差分 24324321432143243221)()()0()1(xxxxxxxdxdfxxxfxxxxxxxf?????????所以偵查故障 x1:sa1和 x1:sa0的測試矢量集分別為 ? ?1111211dfTxdxxx???????????? ? ? ?0111211dfTxdxxx?????????? ?? ?2 布爾差分法 T1=（ 0100， 0101， 0110， 0111） T0=（ 1100， 1101， 1110， 1111） 求 f相對于變量 h的布爾差分 因為 fh(1)=x1x2， fh(0)=1 所以 1 2 1 21df x x x xdh ? ? ? ?檢測故障 h： sa1的測試矢量為 ? ?? ?1
教學課件相關(guān)推薦
鄂ICP備17016276號-1