TW200831935A - Conversion device, conversion method, program, and recording medium - Google Patents

Description

200831935 九、發明說明： 【發明所屬之技術領域】 本發明是關於變換裝置、變換方 於電腦之程式及記錄該程式之記錄媒 邏輯電路預先給予的測試樣本（test 值不同的位元構成之測試樣本之變換 【先前技術】 / 以下針對以由以往所提出ί (stuck-at fault detect ion)為前提 (don’t care)之抽出手法來說明。 圖 9 是一般的邏輯電路中 (full-scan sequential circuit)的 一般半導體邏輯電路主要為貌 circuit)。循序電路是由如下構成· t 及閘（NAND gate)、或閘（〇R gate)、 ι 的邏輯元件組成的組合電路部1 2 〇 J ; 之正反器（flip-fl〇ps)12〇3。此情男 具有：外部輸入線（PI)、正反器的輸 外部輸入線（PPI)、外部輸出線（p〇)、 擬外部輸出線（ΡΡ0)。給予組合電路^ •由外部輸入線給予者與經由虛擬外 且，來自組合電路部1201的輸出有直 者與出現在虛擬外部輸出線者。 法、可執行變換方法 體’特別是關於將對 pattern)變換成邏輯 裝置等。 々黏著性故障檢測 之測試樣本内的隨意 的全掃瞄循序電路 模式圖。 ^ 序電路（sequent i a 1 及閘（ANDgate)、反 反或閘（NOR gate)等 記憶電路的内部狀態 多，組合電路部 1 2 〇 1 出線之虛擬（pseudo-) 正反器的輸入線之虛 郎1201的輸入有直接 部輸入線給予者。而 •接出現在外部輸出線 4 200831935 但是，循序電路的正反器1 203的輸出線（虛擬外部輸 入線）與輸入線（虛擬外部輸出線）一般無法直接由外部存 取（a c c e s s)。因此，對於測試組合電路部丨2 〇 1而言，在严 擬外部輸入線的可控制性（〇：0111^〇1131；)1111^)及虛擬外部 輸出線的可觀測性（〇 b s e r v a b i 1 i t y )有問題。 解決上述組合電路部1201的測試中的可控制性及可 觀測性的問題之主要的手法有全掃瞄設計（fuli san design)。全掃瞄設計是指在將正反器置換成掃描正反器 (scan fliP-fl〇ps)後’使用此等掃描正反器形成—條或複 數條掃描鏈（scan chain) ^掃描正反器的動作是由掃描致 能（SE)(scan enable)訊號線控制。例如當SE = 〇時，進行 與習知的正反器相同的動作，若給予時鐘脈衝（d〇ck pulse)，則掃描正反器的輸出值被來自組合電路部ΐ2〇ι 的值更新，而且，當SE=1時，形成位於相同的掃描鏈之其 他的掃描正反器與一個移位暫存器（shift register)，若 給予時鐘脈衝，則新的值會由外部移入（shift_in)掃描正 反器，同時在掃描正反器，現存的值會被移出（shift_〇ut) 至外部。一般，位於相同的掃描鏈之掃描正反器雖然共有 相同的掃描致能（SE)訊號線，惟不同的掃描鏈的掃能 (S E) §fi號線有相同的情形’也有不同的情形。 全掃瞄循序電路的組合電路部之測試是藉由重複掃描 移位（scan shift)與掃描擷取（scan capture)而進行。掃 描移位是在掃描致能（SE)訊號被設為邏輯值i的移位模式 (shift mode)下進行。在移位模式中，給予一個或複數個 5 200831935 時鐘脈衝’一個或複數個新的 掃描正反器。而且與此同時广移入知描鏈内的 ,目六从乂 a f在該知描鏈内的掃描正反哭， 現存的-個或複數個值會被移出至外部。掃描操 - 描致能（SE)訊號被設為邏輯值 疋 下進行。在擷取模式中，你於一 1取杈式mode) .« π 0. .^ 於一個掃描鏈之所有的掃描正 山““ 衝’組合電路部的虛擬外部輸 出線的值會被取入所有的掃描正反器。 掃描移位是以經由虛擬外部輸二線施加 合電路部1201，以及經由虛擬外部輸出線，由組合電路部 觀測測試響應的方式而被採用。而且，掃描掘取是以 將組合電路部1201的測試響應取入掃描正反器的方式而 被採用。對所有的測試向量，可藉由重複掃描移位與掃描 操取來=試組合電路部。這種測試方式稱為掃描測試方式。 在掃描測試方式巾，測試向量之施加於组合電路部 具〇外部輸入直接進行的部分與#由掃描移位進 行的4刀因可藉由掃描移位將任意的邏輯值設定於任意 的掃描正反器，故虛擬外部輸入線的可控制性問題被解 決。來自組合電路部12〇1的測試響應的觀測具有由外部輸 出直接進行的部分與藉由掃描移位進行的部分。因可藉由 掃描移位觀測任意的掃描正反器的輸出值，故虛擬外部輸 出線的可觀測性問題被解決。如此，在掃描測試方式中， 僅使用自動測試樣本產生（以下稱為ATPG)程式 (Automatic Test Pattern Generation program)求測試向 3：及期望測試響應（eXpecte(j test response)就足夠。 200831935 圖1 〇是顯示測試輸入與測試響應的關係之模式圖。 在圖10中，當測試向量存在隨意（don，t care) (χ)時， 據此，在測試響應也出現隨意。存在隨意的原因乃是因為 了檢測一個或複數個黏著性故障（stuck—at fault)，僅在 測試輸入的一部分的位元決定邏輯值的話就足夠。具有這 種隨意之測試向量也被稱為測試立方（t e s t cube)，是透過 ATPG或隨意發現手法求得。在隨意可自由分配邏輯值〇或 卜 針對抽出隨意之方法的技術揭示有幾個（非專利文獻 卜非專利文獻7)。此處是針對非專利文獻！與非專利文獻 2的技術簡單地說明。 在非專利文獻1中係針對根據被稱為位元獨立的手法 之方法而敘述。首1，測試向量V是以決定僅能以V檢測 之所有的故障F(v)的方式而執行有故障模擬（fauu • mulat ion)。其-人，假设v的最初的位元為隨意（“n，t care)，驗證F(v)實際上能否以3值故障模擬（3 —vdued = Ult/imulati〇n)檢測。若可檢測，則原封不動地當作隨 意’若不可檢測，貝返回到原來的值。藉由針對全位元重 複該步驟以抽出隨意。 在非專利文獻2中係使用故障模擬與ATpG的處理順序 的-部分，求盡可能多的隨意的組合。但初始測試樣本的 故障：測率被維持。以下使用例子簡單地說明。圖u是顯 不决疋測，式樣本中的隨意的情形的例子之電路圖。 H又對黏著性故障之初^則試樣本被給^，則在該初 7 200831935 始測試攝本之中的位元有即使變更為相反的邏輯值，也不 會使故障檢測率降低之位元。這種位元可當作隨意。例如 在圖11中，測試向量<a，b，c，d> = <1，0,0,1:>被給予，將該 測4向里视為僅檢測訊號線e的丨黏著性故障之測試向 量。測試向量<a，b, C，d> = <l，0, 0,丨>是表示訊號線（a，b，c，d) 各自被施加值（1，〇, 〇, υ 。由於測試向量 <a，b，c，d> = <i，〇, 〇,丨〉若僅能檢測訊號線e的丨黏著性故障 的活即可，故汛唬線b或C的邏輯值〇不需要，任一個邏 / 輯值都可當作隨意。檢测黏著性故障的條件係保證故障的 活化（excitation)與故障的傳播（pr〇pagati〇n)。 首先針對故障的活化看圖i i的電路，為了檢測訊號 線e的1黏著性故障，需分配邏輯值〇至訊號線卜因此， 需將號線b或c的任一綠 < 炎、产μ 1 條汉為邏輯值0，惟另一條訊號 線即使成為邏輯值0鱼1 Μ γ 科值υ /、丨的任一個值都不會影響活化。因 此，該訊號線的值可變更兔左立 艾又馬Ik思。在該例子中係以施加至 訊號線C的邏輯值當作隨音。 其次’針對故障的傳播來 f爾术看，在圖11的電路圖中由故 P早位置e至外部輸出（h與i )右 有兩條傳播路徑（pr〇pagati〇n path)(e-f-h 與 e-g—i)。如 如此’ *有複數條傳播路徑時， 可依照任意的基準選擇僂嬙一 擇得播路#。在該例子中係選擇傳播 路徑e-f-h。為了活化該傳播路命 彳工 #在成號線a施加邏 輯值1。據此，訊號線e的 — ▲ 的1黏者性故障可傳播至外部輸 出h ’因而檢測變成可能。 因此，剩餘的訊號線d可當作 隨意。其結果，所得到的 幻測试立方 <a，b，c，d> = <1，〇，x，x> 8 200831935 與測試向量<a，b，c，d> = <l，0, 0, 1>相同，可檢測訊號線 e 的1黏著性故障。如該例子般，測試樣本中的幾個位元有 不使故障檢測率降低而能變更為隨意的情形。該非專利文 ' 獻2的方法因並非針對測試樣本中的所有的位元進行模擬 (s i m u 1 a t i ο η )，故在執行時間上格外地比在非專利文獻 1 提出的手法還高速。 [非專利文獻 1 ] R· Sankara 1 ingam，Ν· A· Touba、“Control 1 ing peak power during scan testing” 、 Proceedings of the / IEEE VLSI Test Symposium、pp· 153-159、2002.

[非專利文獻 2] S. Kajihara，K. Miyase、” On Identifying Don’ t Care Inputs of Test Patterns for Combinational Circuits”、ICCAD-2001、pp. 364-369、Nov.2001.

[非專利文獻 3] A.E1-Maleh，and，A.Al-Suwaiyan、“An efficient test relaxation technique for combinational & full-scan sequential circuits.” 、 Proceedings of IEEE VLSI Test Symposium ^ pp. 53-59 - April 2002.

[非專利文獻 4] A.El-Maleh，and，K.Al-Utaibi、“An efficient test relaxation technique for synchronous sequential circuits.” 'Proceedings of IEEE VLSI Test Symposium、 pp. 179,185、April 2003.

[非專利文獻 5] Y· Higami，S. Kajihara, S. Kobayashi, Y. Takamatsu， * and， I.Pomeranz、 “A method to find don’ t care values in test sequences for sequential circuits·” 、 Proceedings of IEEE International Conference on 9 200831935

Computer Design、ρρ· 397-399、Oct· 2003· [非專利文獻 6] B. Koenemann，et· al·、“A smart BIST variant guaranteed encoding.” 'Proceedings of 10th Asian Test Symposium、pp. 325-330、November 2001.

[非專利文獻 7] H· -G· Liang，S. Hellebrand，and，H. -J. Wunderlich、 Two-dimensional test data compaction for scan-based deterministic BIST·”、Proceedings of IEEE International Test Conference 、 pp.894-901 、 November 2001. 【發明内容】 近年來伴隨著半導體電路的大規模微細化，與VLSI的 時序（timing)有關的缺陷正在增大中。因此，即便是在 VLS I的測試中，保證在實際動作速度下的性能也變的重 要。與時序有關的缺陷於在黏著性故障模型（s t u c k _ a t f au 11 mode 1 )下作成的黏著性故障檢測用測試樣本中無法 檢測。因此，需要在使用轉變延遲故障模型（transiti〇n V delay faul t model)或路徑延遲故障模型（path delay fault model)之實際動作速度下的測試。但是，在對延遲 故P早模型之實際動作速度測試中，在上述的習知的黏著性 _故障的測試以上，測試樣本的大小變的龐大，伴隨著測試 樣本大小的龐大，測試施加時間也增大。而且，也有測試 時的功率消耗（power dissi pat i〇n)增大的問題。 為了檢測一個黏著性故障，能以一個測試向量檢測， 惟為了檢測一個延遲故障則需兩個測試向量。此為與黏著 200831935 性故p早檢測用的測試揭太 、 '樣本的大小比較，延遲故障檢測用的 測试樣本的大小增大的 ί 穴的理由。為了解決測試樣本的大小增 大的問題之有力的線帝，刹 '、利用測我樣本内的隨意之測試樣 本壓縮手法被提出。 措么但非專利文獻1的技術由於重複故障模擬的次數 僅為測試樣本中的位元的數 y旦& ^ ]数目故處理時間與故障數、測 播參 、 的位兀數成比例。因此，對於大規 模電路的適用在處理時間的面上不實用。 而且，應用故障模擬與ATPG之北垂u , ,μ * 非專利文獻2的手法血 非專利文獻1比較，執杆# "Λ Μ # H iir ^ 、曰1丑為特徵。但是，現狀為以 黏者性故P早檢測為前提，為 手法尚未被提出。 l遲故P早檢測而抽出隨意之 與上述一樣，關於非㈣Μ 3 黏著性故障檢測用的測試樣本為對象夕^ 都疋以 於：目，丨田、目丨4接， …^象之手法’對延遲故障 核利用測5式樣本係無法保障適用可能性。 因此，本發明其目的是為了解^ 變換裝置、變換方法太述問心如供-種 錄該程式之記錄媒體，不：:； =於電腦之程式及記 延遲故障的故障檢測率，構成要素檢測之轉變 成邏輯值不同的位元構成之測試樣本。 換 與申請專利範圍第1 传將斟、羅短带々 項有關的發明是一種變換裝置， 你將對邏輯電路預弈仏； 4且 格預无…予的剛試樣 位元構成之測試樣本， I俠戚璉輯值不问的 該測試樣本的構成要素 Μ為至^、兩個連續被施加的測試 200831935 向量， 該構成要素的施加 條件之測試樣本中 而檢測的該邏 的邏輯值的組 包含··決定滿足藉由 輯電路的延遲故障的檢測 合之決定手段。 -、明專利範圍帛2項有關的發明是 1項之變換裝置，丨中談、、卜“疋申明專利祀圍弟 障的檢、>j铬I 、疋手奴係決定滿足在該延遲故 障的檢測條件之訊號值變化 後的訊號值之條件的兩料相確認變化 輯值的組纟。 4的# —個之測試樣本中的邏 與申請專利範圍第^ 2項之變換裝置，其中包含明…專利範圍第 定的邏輯值的組合之位元 ：：於错由該決定手段決 段。 t輯值®作隨意之隨意決定手 與申請專利範圍第 係將對邏輯電路預先給 位元構成之測試樣本， 兩個連續被施加的測試 藉由1 2亥構成要素的施加而檢 ’貝J條件之測試樣本中的邏輯值 1 項有關的發明是一種變換方法， 予的測試樣本變換成邏輯值不同的 該測試樣本的構成要素為至少 向量， 包含：決定手段決定滿 測的該邏輯電路的故障的檢 的組合之決定步驟。 與申凊專利範圍第5項有 4項之變換方法…該決定步驟申請專利範圍第 在該故障的檢測條件之訊號值二疋手段決定滿足 2 1匕則必要之初始條件及確 的兩個條件的任一 項有關的發明是申 β項有關的發明是一 請專利範圍第7項之 200831935 認變化後的訊號值之條件 中的邏輯值的組合。 與申請專利範圍第6 5項之變換方法，其中包八 is :以不包含於透過 決定手段所決定的邏輯佶认^ ^ m的組合之位元的邏 之隨意決定步驟。 與申請專利範圍第7 士 ea f項有關的發明是一 執行申請專利範圍第4項$始p 巧至弟6項中任一項 電腦。 與申請專利範圍第 係記錄電腦可執行的申 【發明的功效】 依照本發明，因實現藉 用的測試樣本之有效的手I 試樣本的大小變的龐大< $ 障的測試施加時間。 *且，依照本發明，藉由變換成測試時 被削減之測試樣本，可削減測試時的功率消 對防止良率（yield)的降低有用。 而且，依照本發明，不使預先給予的初 故障檢測率降低，可使其具有壓縮測試樣本I 而且，依照本發明，因延遲故障檢測用 大小變小，因而對於以往由於測試樣本的大 個之測試樣本 睛專利範圍第 该決定步驟該 輯值當作隨意 種程式，係可 之變換方法於 種記錄媒體， 程式。 由壓縮削減轉變 ，故轉變延遲故 題被改善，可縮 延遲故障檢測 障檢测用的測 短轉變延遲故 的功率消耗量 耗量。因此， 始测試樣本的 L之新的特徵。 的測試樣本的 小魔大而使測 13 200831935 試施加時間增大，盞法☆八α ^ ▲ …、居充刀地進行測試之延遲故障的 變成可能。因此，到目# & ^ 巧目則為止因為測試不充分，本來 良品卻被當作良品出貨之本道 田貞之+導體裝置的測試變成可能 半導體裝置的品質提高。 而且’本發明的手法囡 灸因不依存於掃描電路的方式 脈（clock)的種類、時脈的愈 、 了脈的數目，故可對適用全掃瞄設 半導體裝置全體適用。亦即， 對存在稷數條掃描鍵之 體裝置、存在複數個驅動掃# 莉谉钿電路的時脈之半導體裝 或者在掃描電路由組合雷敗 、 口冤路部分取入值至正反器之時 同的半導體裝置均能適用。 【實施方式】 說明關於本發明的概要。本發明是用以保證於 的測試中’在實際動作速度下的性能之測試手法，本 為能根據預先給予的初始測試樣本的各測試向量檢測 變延遲故障的資訊，在測試樣本内決定隨意之手法， 低故障檢測率（fault coverage)，合併（merge)各測 $，壓縮所給予的測試樣本等的應用為可能。而且， 使用於壓縮測試樣本，也能使用於避免起因於伴隨著 正反器的擷取動作時的功率消耗的增大之電源電壓下 誤測試用的測試樣本的變換等的各種目的。 圖1是顯示本發明的概要之圖。 在圖1中，初始測試樣本1〇〇a是藉由預先給予的 4的手法產生的測试資料（^es t da t a)。初始測試樣本 測試 為不 ，故 及時 計的 半導 置， 序不 VLSI 質上 之轉 不降 試向 不僅 掃描 降之 ATPG 1 0 〇a 200831935 量。在圖1中係具備兩個測試向量。 遲故障，需要如此連續的兩個測試 各構成要素至少具備兩個測試向 具備複數個構成要素 l〇〇a是藉由變換裝置100如 條件之邏輯值的組合（在圖中 (在圖中以□表示）。 為了檢測一個轉變延 向量。初始測試樣本 圖示，決定有滿足故障的檢測 以〇表示），同時決定有隨意 變換裝置1GG是產生中間測試樣本IGOb。中間測試樣 本mb具備複數個構成要素，各構成要素具備兩個測試立 方。 邏輯值分配裝置m是對所產生的中間測試樣本議 的隨意分配邏輯值。邏輯值分配裝置1〇1具體上是壓縮測 試資料的裝置或削減測試時的功率消耗用的裝置。依照各 自的目的將適合的邏輯值分配至隨意。 所有的隨意分配有邏輯值之測試資料係當作最終測試 樣本100c而被變換◊最終測試樣本1〇〇c與初始测試樣1 l〇〇a —樣具備複數個構成要素，各構成要素具備兩2測試 向量。但是，資料的内容是與初始測試樣本1〇〇a不同的。 該最終測試樣本100c係被變換成故障檢測率與初始測試 樣本1 00a相同，但資料量藉由壓縮而被削減，或測試時= 功率、/肖耗可削減之測試樣本。 ^ 、 其次，針對本發明的實施形態來說明。 在本發明中是進行檢測轉變延遲故障之測試樣本的身 換，而檢測轉變延遲故障之方法係有兩個方法廣為人4

其一為launch-of f-shi ft (啟動-停止-移位）方々 Q 八，另一為 200831935 寬面啟動測試（broadside test)(launch-off - capture(啟 動-停止—梅取）方式）。在本發明中為了檢測轉變延遲故障 係假想使用寬面啟動測試（launch_〇f f — capture方式）的

It幵>。概述關於開始廣泛被使用於對轉變延遲故障模型之 實際動作速度測試之寬面啟動測試。在實際動作速度測試 中’因時鐘（clock)的時序（timing)的控制容易，故寬面啟 動測試被使用。延遲測試通常需要2樣本測試。開始的樣 本稱為initialization樣本，其次的樣本稱為launch樣 / 本 ^使用覓面啟動測試時，launch樣本是由對 initialization樣本之測試響應導出。亦即，launch樣本 是大大地依存於initialization樣本。於是，會發生必要 的launch樣本無法導出的情形。但是，寬面啟動測試因時 鐘時序的控制比launch-0ff-shift方式的測試還容易，故 為了檢測延遲故障，一般係使用寬面啟動測試。為了以和 習知技術所示的黏著性故障的檢測之技術一樣的方式處理 使用寬面啟動測試的轉變延遲故障，2時刻展開電路被使 入用。 在本發明中，對根據寬面啟動測試之轉變延遲故障用 的初始測試樣本決定隨意。首先，針對和習知技術所示的 黏著性故障的檢測之技術一樣地處理轉變延遲故障用之2 •時刻展開來說明。據此，可將對黏著性故障檢測用的測試 -樣本之隨意的決定擴張至對轉變延遲故障檢測用的測試樣 本之隨意的決定。 為了在使用寬面啟動測試的情形下進行隨意的決定，2 16 200831935 時刻地展開被檢查對象電路。在圖2顯示2時刻展開的情 形之電路構造。2時刻展開電路係空間地展開一個電路的 各時刻的邏輯動作。在所展開的電路中，時鐘的概念消失， 被表示成像一個大的組合電路般。第一時刻可當作 initialization階段處理，第二時刻可當作“㈣化階段 處理。launch樣本是由initiaHzati〇n樣本導出。 其次，定義為了當使用2時刻展開電路時，延遲故障 的檢測為可能之條件。該延遲故障的檢測的條件可明確地 ρ公式化（formulate)。若使用該公式（f〇rmulati〇n)，則即 使對轉變延遲故障用的初始測試樣本也能決定隨意。 針對轉變延遲故障的檢測條件來說明。為了檢測訊號 線a的轉變延遲故障f，需以相當於訊號線&的第二時刻 之訊號線a2進行黏著性故障的檢測。為了以第二時刻的電 路保證故障的活化，訊號線a的值在第一時刻與第二時刻 必須為相反的邏輯值。因此，在第一時刻的訊號線al分配 與a2相反的邏輯值。在a2假設i黏著性故障的情形之故 '障2檢測係視為上升轉變延遲故障的檢測。在a2假設〇 黏著性故障的情幵k i欠障的⑯測係視為了 _冑延遲故障 的檢測。於是，轉變延遲故障的檢測條件可如以下而公式 化。 訊號線a的上升故障f的檢測條件 (1)、檢測訊號線a2的〇黏著性故障 ⑴、在訊號、線al進行與…目反的邏輯值分配 訊號線a的下降故障f的檢測條件 17 200831935 (1 )、檢測I (2 )、在訊I 藉由在於上 加上上述的檢測 本，在維持其故 此外，上述 成為對象之轉變 其次’因在 ^ 測之故障，故此 的削減在本發明 實際速度測 制的情形。例如 入的邏輯值變化 相同之訊號線。 輯值而被導出的 由施加於至少一 I 訊號線值的情形 可能性。其他的； 在本發明中因有 對象故障除去。 有在作為前提之 ’障。 以下針對與 裝置來說明。 民號線a2的1黏著性故障 免線al進行與a2相反的邏輯值分配 述習知技術所示的黏著性故障檢測的手法 條件，可對轉變延遲故障用的初始測試樣 障檢測率下進行隨意的決定。 條件是指只要滿足上述（1 )、（ 2 )的條件， 延遲故障的檢測就可能之條件。 2時刻展開電路中存在得知構造上不可檢 等故障預先由對象故障除去。該對象故障 中直接與處理時間的縮短有關。 試的情形有在launch樣本的導出存在限 在第時刻與弟一時刻不使施加於外部輸 。據此’有第一時刻與第二時刻的值一直 此乃疋由於值僅藉由施加至外部輸入的邏 訊號線存在而引起。於是，可考慮為僅藉 個以上的虛擬外部輸入的邏輯值而導出有 ’才有該訊號線的轉變延遲故障被檢測的 故P早在该限制之下被檢測係不可能。因此， 構造上不可檢測的故障，故這種故障是由 據此’在本發明的檢測對象故障僅成為具 實際速度測試環境下被檢測的可能性之故 本發明的實施形態有關的變換裝置及壓縮 18 200831935 圖3是顯示與本發明的實施形態有 縮裝置的構成之一例的方塊圖。 變換裝置2 0 0具備記憶體部2 1 0與 入介面240與資料（data)記憶部250。 故障列表部2 1 2與測試樣本部2 1 6。處 抽出部2 2 2與測試樣本變換部2 2 5。演 具備測試樣本邏輯值組合決定部2 2 6與 分布調整部2 3 0。資料記憶部2 5 0具備 f 間測試樣本254。 壓縮裝置201與變換裝置200 —樣 與處理部270與輸出入介面280與資舉 體部2 6 0具備合併資訊部2 6 2。處理部 2 7 2與邏輯值分配部2 7 4。資料記憶 試向量集合292。 簡潔地說明變換裝置2 〇 〇與壓縮裝 要。藉由ATPG等的手法產生的初始測試 、換裝置20 0的輸出入介面24〇輸入至故 章抽出部2 2 2係抽出輸入的初始測試考 表保持於$憶體部21 0的故障列表部 換4 2 2 5是根據保持於故障列表部2 1 2 ^意的分布，一邊決定測試樣本的邏輯 疋的測試樣本係保持於測試樣本部2玉6 :刪試樣本部21 6的資訊，#由隨意決 意，包含隨意之中間測試樣本254係$ 關的變換裝置及壓 處理部220與輸出 記憶體部2 1 0具備 理部220具備故障 丨試樣本變換部2 2 5 隨意決定部2 3 2與 初始樣本252與中 ’具備記憶體部2 6 0 I*記憶部290。記憶 270具備合併處理 部2 9 0具備最終測 置2 0 1的處理的概 樣本252是經由變 障抽出部222。故 良本252的故障列 2 1 2。測試樣本變 的資訊，一邊調整 值的組合。該被決 。而且，根據保持 定部232決定有隨 果持於資料記憶部 200831935 2 5 0 〇 破置2 0 1係將藉由變換梦 樣本254的資44 ν^置2GG產生的中間測試 280輸入至声. 己[思一 290，經由輸出入介面 义理口Ρ 270的合併處理部 是根據所輪人&吹μ人^ a併處理部272 挪入的資料合併測試向署， 持於記憶體％ % η & μ被a併的資料被保 聪。卩260的合併資訊部 是合徘沓句a 遲輯值分配部274

疋口併貝訊部262所保持的資 M 產生有最炊、日， ' 中刀配邏輯值至隨意， 名取終剛試樣本292。 图4 <顯示與本發明的 縮裝置的處、有關的變換裝置及壓 首先理之一例的方塊圖。 自尤，在步驟ST301中使用图q从、 的資料，藉 圖3的仞始測試樣本252 貝寸错由故障抽出部222抽中右a炎认 象故障。所抽 有成為榀測的對象之對 212。在步騍s j表係被保持於故障列表部 ^ T 3 0 2中根據保持於 藉由測試樣本邏輯 、早歹J表°P川的資訊， 輯值的組合。决疋部226決定有測試樣本的邏 问時藉由分布調整邱？ q 分布的調整。+ i 门蝥邛230進订有對象故障的 门楚。在步驟ST303中，p左立、i — * 於在步驟ST309、、i…, 炚思決疋部232將不包含 〇2決疋的邏輯值的 人 隨意而決定。 的、、且a之位元的邏輯值當作 此處’針對測試樣本的邏 決定詳細地說曰月。值的組合之決定及隨意的 圖5是'田、 及隨意的決定:說明測試樣本的邏輯值的組合的決定方法 路，圖5 /夫之叫列的簡單的電路圖。對® 5(a)的電 …、2時刻展開的情形的電路。顯示使用該圖5 20 200831935 的電路對測試樣本知^ ^ β +如何决定隨意。 首先，考慮測試向 輸入（a，c，d)與虛擬外* al’bl，cl，dl> = <l，l，〇,〇>對外部 向量<al，bl，cl，dl> $輪入（b)施加的情形。假設該測試 線b的下降轉變延遲:1。，〇, 〇>的檢㈣象故障僅為訊號 必須在第-時刻的訊°為了檢測下降轉變延遲故障， b2保證黏著性故障的：、、Μ刀配邏輯值卜必須以訊號線 播至外部輸出，必項在&與其傳播。為了將故障的影響傳 對於訊號線_ Γ黏！1號線a2分配邏輯值卜而且，因 為邏輯值故需分故障的活化必須設定訊號線μ 施加於剩餘的訊二，值0至訊號線cl或d1。而且， ㈣过線之邏輯值可當作隨 分配邏輯值0至訊垆 W卞中係 測試立方〈aUbr〗訊號線dl的值可變更為隨意。 ，’c，dl〉= <1’I 〇, χ>可由測試向量 ，，dl>〈i’1’0，^〉導出，且檢測相同的故障。若 設對檢測訊號線 又丨早右假 、、 的上升轉變延遲故障之測試向量 ，l el’ dl> = <l，〇,丨，1;>進行隨意的決定，則該決定 -個隨意都未發現就結束。其理由乃因測試向量的所有 = 、輯值對於檢測訊號線b的上升轉變延遲故障為必要。、 人左2回圖4,若在步驟ST3〇3中決定有隨意，產生有包 3 ^ μ的中間測試樣本254，則在步驟ST304中透過圖3 2壓縮裂置2G1的合併處理部m進行合併處理。藉由該 口併處理，中間測試樣本2 5 4被壓縮而保持於

262。 τ 貝讯口P 此處’針對測試壓縮來說明。 21 200831935 中間測試樣本中的被決定的隨意可使用於各種用途。 其有效的利用法之一有在測試壓縮利用隨意之方法。恩縮 測試樣本因削減測試樣本的大小，據此測試施加時間也同 樣可削減’故為非常有效的利用法。 右 d予包3卩通思之中間測試樣本，則幾個測試立方 會使故障檢測率降低而能合併。若進行測試壓縮，則兩個 或兩個以上的測試立方被合併，可當作一個測試立方· 理，據^可削減測試樣本的大小。使用圖6說明包含= ^ 意的測咸樣本如何被合併。 通 圖6是顯示測試壓縮的處理的例子之圖。 :丨試立方⑴^上能與測試立方…^山人 併。5併兩個測試立方’使測試立方〈〇」，被導出二 且’該測試立方〈(M’U〉可進—步與測 …。，“’(^合併’測試立方^从叫皮導出 所示，測試立方m，1，1》可檢測藉由測試立方tl、t3 t6檢測之所有的故障。因此’不會使故障檢測率降低而 :削減測試立方數。以同樣的方法，測試立方^们月匕 係藉由合併測試立方㈣’以山與測試立方t4<1 χ’，:> 而導出。測試立方t,3<1，0，u>是與測試立方以"’/〉 同一的。為何如此？乃因測試立 ’，> — ^ ^ …、J合併的測試古 方，故原封不動地卩t，3而殘留。而且 '立 瑕終求付测試描 - 本G 1、t，2、t，3)。該測試樣 '樣 像本的故障檢測率與測試樣太 (tl、t2、t3、t4、t5、t6)相同。作是 本 上s 0 仁疋利成立方數因為由6 削減至3,故測試樣本的大小可削減成原來的測試樣本的 22 200831935 一半。 其他或許存在合併得到更高的壓縮的效果之測試立方 的組合，惟發現最佳的合併的組合為NP-完全問題。而且 雖然也存在發現良好的組合之有效的探索的 演算法（algorithm)，但該演算法也需要許多的計算時間。 因此，在本發明的實施形態中，單純地由上方依降序探索 測試樣本，以合併可合併者之方法進行。若為該處理，則 在0(n2)結束，能以比較短的時間得到良好的壓縮的效果。 返回到圖4 ’在步驟s T 3 0 5中邏輯值被分配至隨意， 產生有最終測試樣本2 9 2，結束處理。 以下說明本發明的實驗結果。 在本實驗中，在 PC(0S:FreeBSD 4.11 Release， CPU:Athlon XP 1 80 0+ 1.53GHz， memory:768MB)上使用 c 程式語言執行（implement)，對ISCAS，89基準效能評估電 路（benchmark circuit)進行。實驗所使用的測試樣本係使 用寬面啟動測試，使用對轉變延遲故障產生之測試樣本。 該測試樣本是用以下的方法導出。此外，假設在第一時刻 與第二時刻不能使施加於外部輸入的邏輯值變化，而且， 故障檢測疋假没僅能在虛擬外部輸出進行，無法在外部輸 出進行。 首先，選擇一個對象故障，對該故障進行測試樣本的 " 產生，以所產生的測試樣本執行故障模擬。據此，以該測 試樣本檢測的故障無須進行測試產生，可減少進行測試產 生的次數。透過需要測試產生該處理，且執行至未處理的 23 200831935 對象故障消失為止，以導出測試樣本。而且，對象故障集 合僅由在initialization階段與launch階段具有值會改 變的可能性之訊號線上的故障構成。其他的故障只要使用 寬面啟動測試，就當作經常不可檢測的故障而由對象故障 集合除去。 圖7是顯示對初始測試樣本進行隨意的決定之實驗結 果的表。圖7的表中的最初的列是顯示電路名。接著電路 名的三列是分別表示外部輸入數、虛擬外部輸入數、所給 予的測試樣本的測試向量數。接著的三列是分別以％表示在 各自的測試樣本中決定的隨意的平均的比例、包含最多的 隨意之測試向量中的隨意的比例、包含最少的隨意之測試 向量中的隨意的比例。接著的兩列是分別表示對象故障數 與以所給予的測試樣本檢測的故障數。最後的列是以秒表 示CPU的處理時間。 對所給予的測試樣本，在本發明中是於測試樣本中決 定74%以上的隨意。而且，列，，％χ-max”是表示隨意決定 後，包含全部都以隨意構成之測試立方。這種測試立方可 削除或使用於提高測試品質。而且，列” ％X-min”是表示 包含幾個電路的測試樣本完全不包含隨意之測試向量。在 這種測試向量中係意味著所有的輸入值使用於檢測轉變延 遲故障。CPU處理時間係依存於所給予的測試樣本的測試 向量數與電路規模。此乃因本發明的方法係串列處理測試 向量。 圖8是顯示對以圖7所示的實驗決定有隨意之測試樣 24 200831935 本進行測試壓縮的情形之實驗結果的表。在該實驗中，對 於測試壓縮係如以上所示般，使用單純地由上方依降序探 索的方法。圖8的表的最初的列是表示電路名。接著的 列’’ #tests”是表示壓縮前與壓縮後的測試樣本中的測試 向量數。列’’ ％(壓縮率），，是以％表示對所給予的測試樣本 之測試壓縮後的測試向量數的比例。其結果係顯示可壓縮 所給予的測試樣本至67%。關於CPU處理時間，即使是對 圖8所示的大規模電路，也是以數秒的計算時間結束。 由上述實驗結果，顯示了本發明的方法在測試樣本中 平均可決定74%以上的隨意。而且，實驗結果對決定有隨 意之測試樣本顯示良好的測試壓縮的效果。此點係表示在 測試樣本中決定隨意之有效性。 此外’在以上中雖然是使用2時刻展開電路，藉由兩 個連續被施加的測試向量檢測延遲故障，但不限於2時刻

展開，使用N時刻展開電路也可以。而且，也可以藉由N 個連續被施加的測試向量檢測故障。此情形的故障不被限 定於延遲故障。 而且，在本發明的實施形態中雖然是進行轉變延遲故 障的檢測，惟除了路;^ μ、屈 ^ 于j俗位延遲故障（path delay fault)外， 若為串擾（crosstalk)、 梭 u疋開路（stuck-open)、橋接 (br i dge )等能以複數個泪丨丨兮 」4樣本檢測的故障，則也能應用。 …而I’滿足上述條件之测試樣本的邏輯值的組合為該 測試樣本的全部或一部分约可 而且雖然疋區分變換裝置與壓縮裝置而顯示，惟將 25 變換 邏輯 分配 用以 此情 以〇 【圖 形之 縮裝 縮裝 決定 果的 本， 200831935 裝置與壓縮裝置當作—個 我置而把握也可以。 而且，上述實施形態中 的壓^ 1置也可以為：用以 值至ik意，俾削減測試時 、α 、于的最大功率之裝置，或 k輯值至酼忍，俾削減測試時的平均功率之裝置 刀配逯輯值至隨意’俾檢测N次對象故障之裝置 形將此等裝置與變換裝置當作一個I置而把握 式簡單說明】 圖1是顯示本發明的概要之圖。 圖2(a)、（b)是顯示2時刻展開被檢查對象電路 電路構造之圖。 圖3是顯示與本發明的實施形態有關的變換裝置 置的構成之一例的方塊圖。 圖4是顯示與本發明的實施形態有關的變換裝置 置的處理之一例的流程圖。 圖5 (a )、（ b)是用以說明測試樣本的邏輯值的組 方法及隨意的決定方法的一例之簡單的電路圖。 圖6是顯示測試壓縮的處理的例子之圖。 圖7是顯示對初始測試樣本進行隨意的決定之實 表。 圖8是顯示對以圖7所示的實驗決定有隨意之測 進行測試壓縮的情形之實驗結果的表。 圖9(a)、（b)是一般的邏輯電路中的全掃描循序 分配 用以 ，或 等。 也可 的情 及壓 及壓 合的 驗結 試樣 電路 200831935 之模式圖。 圖1 〇是顯示測試輸入與測試響應的關係之模式圖。 圖11是顯示決定測試樣本中的隨意的情形之例子的 電路圖。 【主要元件符號說明】 1 0 0 :變換裝置 1 0 0 a :初始測試樣本 10Ob:中間測試樣本 1 0 0 c :最終測試樣本 1 0 1 :邏輯值分配裝置 20 0:變換裝置 201 :壓縮裝置 2 1 0 :記憶體部 2 1 2 :故障列表部 2 1 6 :測試樣本部 ^ 2 2 0 :處理部 2 2 2 :故障抽出部 225 •.測試樣本變換部 2 2 6 :測試樣本邏輯值組合決定部 2 3 0 :分布調整部 _ 2 3 2 :隨意決定部 240 :輸出入介面部 250:資料記憶部 27 200831935 252: 初 始 樣 本 254: 中 間 測 試 樣 本 260 : 記 憶 體 部 262 : 合 併 資 訊 部 270 : 處 理 部 272: 合 併 處 理 部 274: 邏 輯 值 分 配 部 280 : 出 入 介 面 290 : 資 料 記 憶 部 292: 最 終 測 試 向 量集合 1201 : 組合電路部 1 20 3: 正反器 28

Claims (1)

1. 200831935 十、申請專利範圍： 1、一種變換 本變換成邏輯佶、 將對邏輯電路預先給予的測 值不同的位元構成之測試樣本， 該測試樣本的槿占I主 向量， 幻構成要素為至少兩個連續被施加的 & j :決定湓g姑丄 _ ^ ^ 足猎由該構成要素的施加而檢測的 輯電路的延遲故ρ Μ k、 早的4双測條件之測試樣本中的邏輯值 合之決定手段。 ^ 如申明專利範圍第1項之變換裝置，其中該決 段係決定滿足在該延遲故障的檢測條件之訊號值變化 要初始條件及確魂變化後的訊號值之條件的兩個條 任一個之測試樣本中的邏輯值的組合。 3、 如申凊專利範圍第2項之變換裝置，其中包^ 不包含於藉由該&定手&》定的邏輯值的、組合之位元 輯值當作隨意之隨意決定手段。 4、 一種變換方法，係將對邏輯電路預先給予的測 i本變換成邏輯值不同的位元構成之測試樣本， 該測試樣本的構成要素為至少兩個連續被施加的 向量， 包含··決定手段決定滿足藉由該構成要素的施加 測的該邏輯電路的故障的檢測條件之測試樣本中的邏 的組合之決定步驟。 5、 如申請專利範圍第4項之變換方法，其中該決 驟係該決定手段決定滿足在該故障的檢測條件之訊號 試樣 測試 該邏 的組 定手 前必 件的 卜：以 的邏 試樣 測試 而檢 輯值 定步 值變 29 200831935 化前 條件 不包 合之 項中 第7 必要之初始條件及確認變化後的訊號值之條件的兩個 的任一個之測試樣本中的邏輯值的組合。 6、 如申請專利範圍第5項之變換方法，其中包含：以 含於透過該決定步驟該決定手段所決定的邏輯值的組 位元的邏輯值當作隨意之隨意決定步驟。 7、 一種程式，係可執行申請專利範圍第4項至第6 任一項之變換方法於電腦。 8、 一種記錄媒體，係記錄電腦可執行的申請專利範圍 項之程式。 30