[發明專利]路徑延遲故障測試向量壓縮方法及裝置

有效

• 申請號: 200810056676.7
• 申請日: 2008-01-23
• 公開（公告）號: CN101221216A
• 公開（公告）日: 2008-07-16
• 發明（設計）人: 向東;李開偉
• 申請（專利權）人: 清華大學
• 主分類號: G01R31/3183
• 分類號: G01R31/3183
• 代理公司: 北京同達信恒知識產權代理有限公司
• 代理人: 郭潤湘

1.一種路徑延遲故障測試向量的壓縮方法，其特征在于，該方法包括：

A、輸入測試電路中各路徑的可測路徑延遲故障構成的故障集以及測試電路的電路拓撲結構，對所述測試電路的每個原始輸入分別計算輸入相關區域；所述輸入相關區域為與所述原始輸入具有共同組合后繼的所有原始輸入；

B、當所述原始輸入的輸入相關區域互不重疊時，將與所述原始輸入相關路徑的路徑延遲故障對應的測試向量進行壓縮，得到第一壓縮測試向量集；對所述第一壓縮測試向量集中各測試向量分別進行故障模擬，將故障模擬過程中測試出的路徑延遲故障從所述故障集中刪除；

C、將所述故障集中剩余的路徑延遲故障對應的測試向量進行壓縮，得到第二壓縮測試向量集；

D、將所述第一壓縮測試向量集和第二壓縮測試向量集合并為壓縮測試向量集。

2.如權利要求1所述的方法，其特征在于，所述步驟B包括：

B1、對所述故障集中的所有路徑延遲故障按其對應的路徑的起始點是否相同分類，將具有同一起始點的所有路徑對應的路徑延遲故障歸入對應的子集；

B2、置所述測試電路原始輸入的邏輯值為非確定值；

B3、對于每一個所述子集，當子集非空且當前輸入相關區域中所有的原始輸入的邏輯值均為非確定值，則從該子集中隨機選出某個路徑延遲故障，將該路徑延遲故障對應的測試向量存入所述第一壓縮測試向量集中，并根據所述測試向量更新原始輸入的邏輯值；

B4、用所述測試向量進行故障模擬，將故障模擬過程中測試出的路徑延遲故障從所述故障集中刪除。

3.如權利要求2所述的方法，其特征在于，所述步驟C包括：

C1、從所述故障集中選擇設定數量的路徑延遲故障的對應路徑；

C2、將選擇出的路徑放入當前目標集，根據故障激活和傳播條件設置當前目標集中所有路徑的信號線邏輯值及旁路輸入信號線邏輯值，若同一條信號線的邏輯值相同，則執行步驟C3；否則，執行步驟C4；

C3、根據信號線的賦值要求逐步反向求值到所述測試電路的原始輸入，若反向求值成功，則將所述反向求值結果作為測試向量保存到所述第二壓縮測試向量集，并返回執行步驟C1；否則，執行步驟C4；

C4、判斷所述故障集是否為空，若是，將選出的路徑對應路徑延遲故障分別進行測試向量生成，并保存到所述第二壓縮測試向量集；否則，將選出的路徑對應路徑延遲故障放回所述故障集，并返回執行步驟C1。

4.一種路徑延遲故障測試向量的壓縮方法，其特征在于，該方法包括：

a、輸入測試電路中各路徑的可測路徑延遲故障構成的故障集以及測試電路的電路拓撲結構，對所述測試電路的每個原始輸入分別計算輸出相關區域；所述輸出相關區域包括能夠到達對應的原始輸出的所有原始輸入；

b、當所述原始輸出的輸出相關區域互不重疊時，將與所述原始輸出相關路徑的路徑延遲故障對應的測試向量進行壓縮，得到第一壓縮測試向量集；對所述第一壓縮測試向量集中各測試向量分別進行故障模擬，將故障模擬過程中測試出的路徑延遲故障從所述故障集中刪除；

c、將所述故障集中剩余的路徑延遲故障對應的測試向量進行壓縮，得到第二壓縮測試向量集；

d、將所述第一壓縮測試向量集和第二壓縮測試向量集合并為壓縮測試向量集。

5.如權利要求4所述的方法，其特征在于，所述步驟b包括：

b1、對所述故障集中的所有路徑延遲故障按其對應的路徑的終止點是否相同分類，將具有同一終止點的所有路徑對應的路徑延遲故障歸入對應的子集；

b2、置所述測試電路原始輸入的邏輯值為非確定值；

b3、對于每一個所述子集，當子集非空且當前輸出相關區域中所有的原始輸入的邏輯值均為非確定值，則從該子集中隨機選出某個路徑延遲故障，將該路徑延遲故障對應的測試向量存入所述第一壓縮測試向量集中，并根據所述測試向量更新原始輸入的邏輯值；

b4、用所述測試向量進行故障模擬，將故障模擬過程中測試出的路徑延遲故障從所述故障集中刪除。