邏輯陣列的錯誤偵測與定位

Abstract

本論文的主要目的是針對複雜的邏輯陣列系數找一個有系統且簡單的錯誤偵測與定位 的方法。我們發展出一個可常數測試樣本的產生法則, 它可適用於任何的邏輯陣列結 構, 只要陣列的細胞是相同的, 這方法是經由參考一個規則的轉態圖, 去考慮測試樣 本的控制與觀察能力。此外, 我們還介紹一些如何能使邏輯陣列做可常數測試的策略 , 這些策略對設計一個可常數測試的陣列有很大的幫助。關於錯誤定位, 我們提出了 幾個方法, 第一個方法是利用前文所提到的法則, 去產生重覆的測試樣本以增加其控 制能力, 并找出定位樣本的次序。另一個方法提出了一個錯誤傳送表, 它能分辨細胞 的錯誤輸出是從那一個輸入傳進來的, 利用這些資料我們可以一層層往回找尋錯誤的 來源。最後, 我們結合這兩個方法的特點, 設計出一個近似可常數定位的方法, 這方 法可利用錯誤偵測的結果去定出錯誤的位置, 不須再加送額外的測試樣本, 而這些樣 本的數目仍是個常數, 但對於某些特定的錯誤這方法仍不適用, 須引用第一個方法加 以輔助。以上這些方法, 不僅能確定這陣列中是那一個細胞出錯, 也可知道這細胞中 的那一條線出錯, 使我們能更準確的知道真正錯誤的位置與原因。