JP2002365346A - テスト刺激コンパクション装置および方法 - Google Patents

テスト刺激コンパクション装置および方法

Info

Publication number
JP2002365346A
JP2002365346A JP2001168951A JP2001168951A JP2002365346A JP 2002365346 A JP2002365346 A JP 2002365346A JP 2001168951 A JP2001168951 A JP 2001168951A JP 2001168951 A JP2001168951 A JP 2001168951A JP 2002365346 A JP2002365346 A JP 2002365346A
Authority
JP
Japan
Prior art keywords
test
subset
stimuli
test stimuli
essential
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Pending
Application number
JP2001168951A
Other languages
English (en)
Inventor
Osei Boateng Kwame
オセイ ボアテン クァメ
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Fujitsu Ltd
Original Assignee
Fujitsu Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Fujitsu Ltd filed Critical Fujitsu Ltd
Priority to JP2001168951A priority Critical patent/JP2002365346A/ja
Priority to US09/985,768 priority patent/US7260793B2/en
Priority to DE10200833A priority patent/DE10200833A1/de
Publication of JP2002365346A publication Critical patent/JP2002365346A/ja
Pending legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
    • G06F11/26—Functional testing
    • G06F11/263—Generation of test inputs, e.g. test vectors, patterns or sequences ; with adaptation of the tested hardware for testability with external testers
    • G—PHYSICS
    • G01—MEASURING; TESTING
    • G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
    • G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
    • G01R31/28—Testing of electronic circuits, e.g. by signal tracer
    • G01R31/317—Testing of digital circuits
    • G01R31/3181—Functional testing
    • G01R31/3183—Generation of test inputs, e.g. test vectors, patterns or sequences
    • G01R31/318335—Test pattern compression or decompression
    • G—PHYSICS
    • G01—MEASURING; TESTING
    • G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
    • G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
    • G01R31/28—Testing of electronic circuits, e.g. by signal tracer
    • G01R31/317—Testing of digital circuits
    • G01R31/3181—Functional testing
    • G01R31/319—Tester hardware, i.e. output processing circuits
    • G01R31/31917—Stimuli generation or application of test patterns to the device under test [DUT]
    • G01R31/31919—Storing and outputting test patterns
    • G01R31/31921—Storing and outputting test patterns using compression techniques, e.g. patterns sequencer

Abstract

(57)【要約】 【課題】 一般的なデジタル回路に対して適用可能なテ
スト刺激コンパクションを提供することが課題である。 【解決手段】 テストベクトルの集合は故障の集合にマ
ップされ、各故障には、それを検出可能なテストベクト
ルの数を表すカウンタが設けられる。カウンタが１であ
る故障にマップされたテストベクトルｔ3 ，ｔ5 ，ｔ
6 ，ｔ7 は、エッセンシャルベクトルとして選択され、
残りのテストベクトルについてマッピングが更新され
る。そして、次に、ｔ2 がエッセンシャルベクトルとし
て選択され、残りの冗長なテストベクトルｔ1 およびｔ
4 は廃棄される。

Description

【発明の詳細な説明】
【０００１】
【発明の属する技術分野】本発明は、デジタル回路のテ
ストに係り、さらに詳しくはテスト刺激のコンパクショ
ンを行う装置および方法に関する。
【０００２】
【従来の技術および発明が解決しようとする課題】信頼
できるデジタル／コンピュータシステムの製造を保証す
るために、システムをテストするテスト刺激（test sti
muli）が生成される。デジタル回路の場合、１つのテス
ト刺激が単一の入力パターンのときもあり、初期化サブ
シーケンス（initializing subsequence）、鋭敏化サブ
シーケンス（sensitizing subsequence ）、および伝播
サブシーケンス（propagation subsequence ）のような
複数の入力パターンの列のときもある。また、鋭敏化サ
ブシーケンスが伝播サブシーケンスと同じ場合もある。
【０００３】以下では、デジタル回路のテスト刺激を表
す用語として、「テストベクトル」が用いられることも
ある。また、テストベクトルの集合を表す用語として
は、「テスト集合」が用いられる。
【０００４】テスト生成の重要な目的は、被テスト回路
（circuit under test）のために生成されたテストベク
トルによる高い故障カバー率（故障検出率）を達成する
ことである。このため、生成アルゴリズムは、必然的に
故障カバー率を重視し、冗長性のあるテストベクトルの
集合を生成することになる。この冗長性は簡単には検出
することができず、結果として大規模なテストベクトル
の集合が得られる。
【０００５】テスト機器のコストはそのメモリ容量に関
係しているため、このような大規模なテストベクトルの
集合を用いると、その印加コストが増大する。したがっ
て、テストベクトルの数がテストのコストに強く影響
し、信頼できるデジタル／コンピュータシステムの製造
と保守のためにそのコストは不可欠となる。メモリ容量
は、テスト機器のコストを決定する重要な要素の１つで
あり、大きなメモリ容量は高いコストにつながる。
【０００６】利用可能なテスト機器がすべてのテストベ
クトルをロードするのに必要なメモリ容量を持っていな
ければ、被テスト回路へのテスト印加中にテスト機器へ
のロードを２回以上行う必要がある。つまり、テスト機
器のメモリに収容可能な数を超えるテストベクトルの場
合、テスト印加中にメモリの更新（テストベクトルの部
分集合の再ローディング）が発生する。
【０００７】テスト中のテスト機器への再ローディング
は、テスト印加時間（test application time ，ＴＡ
Ｔ）を著しく増大させ、１回のメモリ更新でもテスト印
加時間の大幅な増大を招くことになる。長いテスト印加
時間は、製造されたＩＣ（integrated circuit）製品の
出荷所要時間（time-to-market）に強い影響を与える。
【０００８】以上の説明から明らかなように、テストコ
ストを削減し、信頼できるシステムの出荷所要時間を短
縮するためには、小規模なテスト集合を用いることが望
ましい。したがって、テストベクトルの数を少なくする
必要がある。故障カバー率を損なうことなくテストベク
トルの数を削減する技術は、テストコンパクション（テ
スト簡単化）と呼ばれる。テストコンパクションのアル
ゴリズムは、故障カバー率を低下させることなく小さな
テスト集合を得る方法を見つけなければならない。言い
換えれば、なるべく高い故障カバー率を保ちながら、テ
ストベクトルの数を少なくしなければならない。
【０００９】コンパクション技術としては、動的コンパ
クションと静的コンパクションの２種類がある。動的コ
ンパクションは、テストベクトルの生成中にそれらの数
を削減する技術であり、しばしば、テスト生成器の変更
を必要とする。一方、静的コンパクションは、既に生成
されたテストベクトルの数を削減する技術であり、テス
ト生成の後処理ステップとなる。したがって、静的コン
パクションはテスト生成に依存せず、生成アルゴリズム
のいかなる変更も必要としない。
【００１０】また、テスト生成で動的コンパクションが
用いられたとしても、生成されたテスト集合の大きさを
静的コンパクションによりさらに削減することが可能で
ある。このことは、テスト集合の大きさおよび後続テス
トのコストの削減において、静的コンパクションがより
効果的であることを示唆している。
【００１１】Hsiao らは、以下の文献において、順序回
路に対するテストシーケンスコンパクションの方法に関
する成果について報告している。 （１）M. S. Hsiao and S. T. Chakradhar, “Partitio
ning and reordering techniques for static test seq
uence compaction of sequential circuits,”Proc. of
the 7th IEEE Asian Test Symposium, pp.452-457, 19
98. （２）M. S. Hsiao and S. T. Chakradhar, “State re
laxation based subsequence removal for fast static
compaction in sequential circuits, ”Proc.of Desi
gn, Automation, and Test in Europe Conf., pp.577-5
82, 1998. （３）M. S. Hsiao, E. M. Rudnick and J. H. Patel,
“Fast algorithms forstatic compaction of sequenti
al circuit test vectors, ”Proc. of IEEE VLSI Test
Symposium, pp.188-195, 1997. 彼らの方法は、シーケンスを短くする方法である。一
方、Pomeranzらは、以下の文献において、テスト応答の
効率的な格納方法を提案している。 （４）I. Pomeranz and S. M. Reddy,“On test compac
tion objectives for combinational and sequential c
ircuits,”Proc. of IEEE International Conference o
n VLSI Design, pp.279-284, 1998. また、KajiharaらとHamzaoglu らは、以下の文献におい
て、組み合わせ回路に対するテストパターンコンパクシ
ョンに関する成果について報告している。 （５）S. Kajihara and K. Saluja,“On test pattern
compaction using random pattern fault simulation,
”Proc. Of IEEE International Conference onVLSI D
esign, pp.464-469, 1998. （６）I. Hamzaoglu and J. H. Patel, “Test set com
paction algorithms forcombinational circuits,”Pro
c. of ACM International Conference on CAD,pp.283-2
89, 1997. 彼らは、以前に提案されたコンパクトテスト生成方法に
適合する静的コンパクションの方法を開発した。
【００１２】しかし、デジタルシステムには順序回路と
組み合わせ回路の両方が含まれ、異なるテストパッケー
ジには異なるテスト生成アルゴリズムが含まれる。した
がって、一般的なデジタル回路に対しては、いかなるテ
スト生成アルゴリズムにもまったく依存しない、一般的
な静的テストコンパクションの方法が必要となる。
【００１３】本発明の課題は、一般的なデジタル回路に
対して適用可能なテスト刺激コンパクションのための装
置および方法を提供することである。
【００１４】
【課題を解決するための手段】図１は、本発明のテスト
刺激コンパクション装置の原理図である。図１のコンパ
クション装置は、選択手段Ｄ１、削除手段Ｄ２、および
出力手段Ｄ３を備え、デジタル回路のテスト刺激の集合
のコンパクションを行う。
【００１５】選択手段Ｄ１は、上記テスト刺激の集合の
部分集合から、その部分集合内の他のテスト刺激により
検出不可能な少なくとも１つの故障を検出する、エッセ
ンシャルテスト刺激を選択する。削除手段Ｄ２は、部分
集合からエッセンシャルテスト刺激を選択した後のテス
ト刺激の部分集合から、冗長なテスト刺激を削除する。
出力手段Ｄ３は、選択されたエッセンシャルテスト刺激
からなる簡単化された集合を出力する。
【００１６】テスト刺激の集合（または、削除手段Ｄ２
からの部分集合）が与えられると、選択手段Ｄ１は、そ
のテスト刺激の集合から現在特定可能なエッセンシャル
テスト刺激の集合を選択して、出力手段Ｄ３に渡し、残
りのテスト刺激を削除手段Ｄ２に渡す。削除手段Ｄ２
は、選択手段Ｄ１から受け取ったテスト刺激の部分集合
に含まれる、現在特定可能な冗長なテスト刺激の集合を
削除して、残ったテスト刺激を選択手段Ｄ１に返す。出
力手段Ｄ３は、選択手段Ｄ１から受け取ったエッセンシ
ャルテスト刺激を、簡単化された集合として出力する。
【００１７】このようなコンパクション装置によれば、
元のテスト集合により検出可能なすべての故障の検出に
不可欠となる、様々な階層のエッセンシャルテスト刺激
が、与えられたテスト集合から抽出される。このコンパ
クション方法は、テスト生成アルゴリズムにまったく依
存しないため、いかなる生成アルゴリズムにより生成さ
れたテスト刺激の静的コンパクションに対しても有効で
ある。
【００１８】図１の選択手段Ｄ１および削除手段Ｄ２
は、例えば、後述する図１６のＣＰＵ（中央処理装置）
５１とメモリ５２の組み合わせに対応し、図１の出力手
段Ｄ３は、例えば、図１６のＣＰＵ５１とメモリ５２の
組み合わせ、出力装置５４、またはネットワーク接続装
置５７に対応する。また、エッセンシャルテスト刺激
は、後述するエッセンシャルテストベクトルに対応す
る。
【００１９】
【発明の実施の形態】以下、図面を参照しながら、本発
明の実施の形態を詳細に説明する。本実施形態において
は、テスト刺激（テストベクトル）の静的コンパクショ
ンのタスクを、最小カバー問題（最小被覆問題）として
定式化する。実際には、コンパクション装置は、元のテ
スト集合により検出可能な対象回路中のすべての故障
を、どのテストベクトルも変更することなく検出（カバ
ー）できるような、元のテスト集合の最小部分集合を求
める。コンパクション装置が用いる方法は、情報処理の
２つのメインプロシージャの組み合わせで表される。１
つはエッセンシャルテストベクトルの選択であり、もう
１つは冗長なテストベクトルの削除である。
【００２０】また、コンパクション装置は、効率的な実
行時間を保証するために、最小カバーの概念に伴うメモ
リ消費の多い行列の使用を回避できるようなデータ構造
を用いる。さらに、最小化問題の解が最小テスト集合で
あることを保証するために、冗長なテストベクトルを削
除する際、ソートアルゴリズムが用いられる。この静的
コンパクションの基本概念は、以下の通りである。定義
１：回路Ｃにおいて、テストベクトルの集合Ｔset によ
り検出可能なすべての故障の集合Ｆset は、Ｔset のカ
バーを形成する。Ｔset によるＦset のカバー状況を表
すテーブルは、カバーテーブルと呼ばれる。定義２：回
路Ｃの故障ｆがテスト集合Ｔset のテストベクトルｔep
により検出可能であり、Ｔset の他のテストベクトルが
ｆを検出できないとき、ｔepはＴsetのエッセンシャル
ベクトルであり、故障ｆはＴset に関する回路Ｃのエッ
センシャル故障である。
【００２１】最小カバーの概念は、論理最適化において
しばしば用いられるよく知られたアルゴリズムである。
このアルゴリズムには、大きなメモリ容量を必要とする
という欠点がある。
【００２２】ここで、テストベクトルの集合Ｔ＝｛ｔ
1 ，ｔ2 ，ｔ3 ，ｔ4 ，ｔ5 ，ｔ6 ，ｔ7 ｝が、回路Ｃ
の一部を形成する信号線Ｌ1 ，Ｌ2 ，Ｌ3 ，Ｌ4 ，Ｌ
5 ，Ｌ6上のすべてのスタック故障（stuck-at fault）
をカバーする場合を考える。対応する故障集合をＦ＝
｛ｆ1 ，ｆ2 ，ｆ3 ，ｆ4 ，．．．，ｆ11，ｆ12｝と
し、図２に示すようなカバーテーブルをＴのカバーテー
ブルとする。
【００２３】このカバーテーブルにおいて、ｔi の行と
ｆj の列の交点の“×”印は、単一故障仮定（single f
ault assumption ）の下で、テストベクトルｔi が故障
（fault ）ｆj を検出することを表している。この単一
故障仮定は、ｆj が被テスト回路内の唯一の故障である
という仮定に相当する。このテーブルからは、ｔ3 ，ｔ
5 ，ｔ6 ，ｔ7 が、エッセンシャル故障ｆ9 ，ｆ10，ｆ
11，ｆ12に対応するＴのエッセンシャルベクトルである
ことが分かる。
【００２４】ｔ3 ，ｔ5 ，ｔ6 ，ｔ7 をＴから取り除
き、それらがカバーするすべての故障を元のカバーＦか
ら取り除くと、図３に示すような部分カバーテーブルが
得られる。このテーブルでは、故障ｆ1 およびｆ3 のい
ずれも、更新されたテスト集合Ｔ＝｛ｔ1 ，ｔ2 ，ｔ
4 ｝に関してエッセンシャルではない。
【００２５】Ｔに残されたテストベクトルｔ1 ，ｔ2 ，
ｔ4 を、残りの故障のカバー状況についてこの順にチェ
ックすると、ｔ4 が冗長であることが判明する。この冗
長なテストベクトルｔ4 を廃棄すると、ｆ3 がＴ＝｛ｔ
1 ，ｔ2 ｝に関するエッセンシャル故障となり、ｔ2 が
対応するエッセンシャルベクトルとなる。
【００２６】そこで、Ｔからエッセンシャルベクトルｔ
2 を選択し、それにより検出可能な故障をＦ＝｛ｆ1 ，
ｆ3 ｝から取り除くと、Ｆは空になる。したがって、Ｔ
に残されたテストベクトルｔ1 も廃棄される。こうし
て、ｔ1 およびｔ4 を含まない、簡単化されたテスト集
合ＣＴ＝｛ｔ2 ，ｔ3 ，ｔ5 ，ｔ6 ，ｔ7 ｝が得られ
る。
【００２７】一般に、エッセンシャルベクトルの選択と
冗長なベクトルの廃棄を数回繰り返すことで、静的コン
パクションが効率よく行われる。このコンパクション方
法の利点は以下の通りである。レンマ１：回路Ｃの与え
られた故障集合に対して、エッセンシャルベクトルを持
たないいかなるテスト集合Ｔも、集合Ｔa ＝Ｔ＼｛ｔ｝
に関して冗長な少なくとも１つのテストベクトルｔを有
する。証明：繰り返しのあるサイクルで、テストベクト
ルτ1 ，τ2 ，．．．，τi ，．．．，τN が残された
とする。これらのテストベクトルの中にエッセンシャル
ベクトルがなければ、これらのテストベクトルの集合の
カバーに含まれ、ベクトルτj により検出可能ないかな
る故障も、同じ集合内の他のベクトルτk （ｋ≠ｊ）に
より検出可能である。したがって、少なくともτj は冗
長である。
【００２８】Ｑ．Ｅ．Ｄ．レンマ１は、エッセンシャル
ベクトルの選択と冗長なベクトルの廃棄を繰り返し適用
する処理において、エッセンシャルベクトルと冗長なベ
クトルのいずれも存在しない行き詰まりの状況は生じな
いことを示している。
【００２９】ところで、図３に示した残りのデータを処
理すると、非最小解に到達する場合も想定される。例え
ば、ｔ2 がｆ3 のみを検出し、ｔ4 がｆ3 に加えてさら
にｆ 1 を検出するような場合、ｔ1 とｔ2 がエッセンシ
ャルベクトルとして選択され、ｔ4 が冗長なベクトルと
なってしまう。この場合、ｔ4 だけしか削除されない。
このような観点から静的コンパクション問題の最小解を
保証するために、次のような処理が用いられる。
【００３０】まず、与えられた故障の集合を最適にカバ
ーするテスト刺激の部分集合を求める。そして、得られ
たテスト刺激以外の１つ以上のテスト刺激を、冗長なテ
スト刺激として削除する。
【００３１】具体的には、エッセンシャルベクトルの集
合を選択する度に、残りのｎ個のテストベクトルのう
ち、集合Ｆ内の残りの故障を最も多く検出するものを最
初に取り置きする。次に、取り置きされたベクトルによ
り検出可能なＦ内の故障の集合をＣ1 として、集合Ｓ＝
Ｆ＼Ｃ1 内の故障を最も多く検出するテストベクトルを
取り置きする。一般には、ｊ番目に取り置きされたベク
トルにより検出可能なＦ内の故障の集合をＣj とし、
外１ とすると、ｉ番目に取り置きされるテストベクト
ルは、
【００３２】
【外１】
【００３３】集合Ｓ＝Ｆ＼Γ内の故障を最も多く検出す
るものである。このような処理は、ｋ番目のテストベク
トルが取り置きされてΓ＝Ｆとなるまで続けられる。そ
して、この時点で残りの（ｎ−ｋ）個のベクトルは廃棄
されて、エッセンシャルベクトルの次の階層を選択する
新たなサイクルが開始される。
【００３４】また、最小カバーアルゴリズムを直接適用
すると、テストベクトルのカバーテーブルを表す行列が
必要となる。このため、実用上の回路では、現存しない
大容量のメモリが要求されることになり、コンパクショ
ン方法の実用上の回路への適用が制限される。この問題
を回避するため、行列の２次元データ空間を、以下の方
法で、より扱いやすい１次元データ空間に変換する。
【００３５】まず、各々の故障に付随して、その故障を
検出可能なテストベクトルの数を表すカウンタを設け、
元のテスト集合を用いて対象回路のシミュレーションを
行う。このとき、各テストベクトルについて、検出可能
な故障をプライマリ出力から逆方向にトレースし、故障
がトレースされる度に、その故障に付随するカウンタを
インクリメントする。また、テストベクトルを故障にマ
ップ（写像）する。
【００３６】このようなシミュレーションとしては、以
下の文献に示された方法を適用することができる。この
方法によれば、故障シミュレーションを何度も繰り返す
ことなく、元のテスト集合によりカバーされる故障の情
報を、容易に抽出することができる。 （７）K. O. Boateng, H. Takahashi and Y. Takamats
u, “Diagnosing delay faults in combinational circ
uits under the ambiguous delay model,”IEICETransa
ction on Information and Systems, Vol.E82-D, No.1
2, pp.1563-1571,Dec. 1999. （８）K. O. Boateng, H. Takahashi and Y. Takamats
u, “Multiple gate delay fault diagnosis using tes
t-pairs for marginal delays,” IEICE Transaction o
n Information and Systems, Vol.E81-D, No.7, pp.706
-715, July 1998. （９）N. Yanagida, H. Takahashi and Y. Takamatsu,
“Multiple fault diagnosis by sensitizing input pa
irs,”IEEE Design & Test of Computers, Vol.12, No.
3, pp.44-52, Sept. 1995. ここで、カウンタの値が１であるようなすべての故障は
エッセンシャル故障となり、それらにマップされたそれ
ぞれのテストベクトルはエッセンシャルベクトルとな
る。そして、エッセンシャルベクトルが選択される度
に、そのベクトルが検出するすべての故障が故障集合か
ら取り除かれる。また、冗長なテストベクトルが特定さ
れる度に、更新された故障集合内でそのベクトルがマッ
プされた各故障のカウンタがデクリメントされる。
【００３７】図４は、このようなコンパクション装置に
より行われる静的コンパクション処理のフローチャート
である。この処理は２つのフェーズに分けられる。第１
フェーズにおいて、コンパクション装置は、シミュレー
ションを行って故障をトレースし、ベクトル−故障マッ
ピングを確立する（ステップＳ１）。故障トレース中に
は、故障カウンタがインクリメントされる。また、第２
フェーズでは、エッセンシャルベクトルの選択処理と冗
長なベクトルの廃棄処理を行う（ステップＳ２）。
【００３８】図５は、第１フェーズの処理のフローチャ
ートである。コンパクション装置は、まず、ベクトル−
故障マッピングを確立するためのシミュレーションを行
い、故障がトレースされると、それに付随するカウンタ
をインクリメントする（ステップＳ１１）。次に、すべ
てのテストベクトルを集合Ｔ＿set に入れ、トレースさ
れたすべての故障を集合Ｆ＿set に入れる（ステップＳ
１２）。そして、集合ＣＴ＿set 、Ｔ１＿set 、および
Ｆ１＿set を空集合｛ ｝に設定する（ステップＳ１
３）。ステップＳ１１の処理結果と同様のものがテスト
生成により得られている場合、このステップの処理は不
要である。
【００３９】図６および図７は、第２フェーズの処理の
フローチャートである。コンパクション装置は、まず、
現在のすべてのエッセンシャル故障を求め（図６のステ
ップＳ２１）、それらに対応するエッセンシャルベクト
ルを特定する（ステップＳ２２）。次に、それらのエッ
センシャルベクトルにより検出可能なすべての故障をＦ
＿set から削除し（ステップＳ２３）、それらのエッセ
ンシャルベクトルをＴ＿set からＣＴ＿set に移す（ス
テップＳ２４）。そして、Ｆ＿set が空か否かをチェッ
クする（ステップＳ２５）。
【００４０】Ｆ＿set が空であれば、Ｔ＿set 内のテス
トベクトルをすべて冗長なテストベクトルとして廃棄
し、処理を終了する。Ｆ＿set が空でなければ、次に、
Ｆ＿set 内の故障を最も多くカバーするＴ＿set 内のテ
ストベクトルｒｔを求め（ステップＳ２６）、ｒｔをＣ
Ｔ＿set に入れる（ステップＳ２７）。そして、ｒｔに
より検出可能な（カバーされる）Ｆ＿set 内のすべての
故障をＦ１＿set に移し、再びＦ＿set が空か否かをチ
ェックする（ステップＳ２９）。
【００４１】Ｆ＿set が空でなければ、ステップＳ２６
以降の処理を繰り返す。Ｆ＿set が空であれば、次に、
Ｔ＿set 内にまだ残っている各テストベクトルτについ
て、τにより検出可能なＦ１＿set 内のすべての故障の
カウンタをデクリメントし（図７のステップＳ３０）、
Ｔ＿set 内に残っているすべてのテストベクトルを冗長
なテストベクトルとして廃棄する（ステップＳ３１）。
そして、Ｆ１＿setをＦ＿set に移して空にし（ステッ
プＳ３２）、Ｔ１＿set をＴ＿set に移して空にして
（ステップＳ３３）、図６のステップＳ２１以降の処理
を繰り返す。
【００４２】このようなコンパクション処理によれば、
コンパクションの終了時には、ＣＴ＿set 内に簡単化さ
れたテスト集合が格納される。第１フェーズの処理の
後、図２のカバーテーブルのデータは、図８に示すよう
な構成となる。このデータ構造において、Ｔ＿set ＝
｛ｔ1 ，ｔ2 ，ｔ3 ，ｔ4，ｔ5 ，ｔ6 ，ｔ7 ｝、Ｆ＿s
et ＝｛ｆ1 ，ｆ2 ，ｆ3 ，ｆ4 ，．．．，ｆ11，
ｆ12｝であり、Ｔ＿set 内の各テストベクトルからＦ＿
set 内の故障へと向かう矢印は、そのベクトルがそれら
の故障をカバーすることを表している。Ｃｏｕｎｔｅｒ
＝１は、エッセンシャル故障およびエッセンシャルベク
トルを特定する基準となる。エッセンシャルベクトルか
らの矢印は太線で記されている。
【００４３】例えば、Ｔ＿set 、Ｆ＿set 、およびカウ
ンタはそれぞれ１次元配列に格納され、テストベクトル
から故障へと向かう矢印は、Ｆ＿set の配列の対応する
インデックスのようなポインティング情報により表され
る。これにより、テストベクトルが故障に関係付けられ
る。
【００４４】現在のエッセンシャルベクトルを選択し、
それらがカバーするすべての故障を削除して、Ｔ＿set
とＦ＿set を更新すると、図９に示すような新たなマッ
ピングが得られる。残りのテストベクトルは、各ベクト
ルが残りの故障をいくつ検出可能であるかを調査するた
めに、ｔ1 →ｔ2 →ｔ4 の順にチェックされる。その結
果、ｔ2 が最大カバーのテストベクトルとして特定され
る。
【００４５】そこで、ｔ2 をＴ１＿set に移し、ｆ1 と
ｆ3 をＦ１＿set に移すと、Ｆ＿set が空となる。した
がって、ｔ1 とｔ4 が廃棄され、ｔ1 とｔ4 により検出
可能な故障であるｆ1 とｆ3 のカウンタがデクリメント
される。更新されたＴ＿setとＦ＿set は、図１０に示
すような構成となり、ｔ2 は、次に選択されるべきエッ
センシャルベクトルとして残される。そして、ｔ2 を選
択し、ｔ2 により検出可能なＦ＿set 内の故障を削除す
ると、Ｆ＿set は空となる。こうして、簡単化されたテ
スト集合は、ＣＴ＿set ＝｛ｔ2 ，ｔ3 ，ｔ5 ，ｔ6 ，
ｔ7 ｝となる。
【００４６】図１１は、被テスト回路の具体例を示して
おり、図１２は、この回路のテスト集合を示している。
図１２において、１６個のテストベクトルのパターンは
３値論理で表されており、“２”は未知論理を表す。テ
ストベクトルｔi （ｉ＝１，２，．．．，１６）により
検出される故障の集合をＦtiと記し、信号線Ｌ（＝１，
２，３，．．．，３６，３７，３８）が論理α（＝０，
１）にスタックする故障（ stuck-at-α fault）をＬ／
αと記すことにすると、各ｔi に対するＦtiは以下のよ
うになる。 Ｆt1＝｛１／１；２／０；５／０；６／１；９／０；１
３／１；１５／０；１６／０；１７／０；１８／１；１
９／０；２４／１；２５／０；２６／０；２７／０；２
９／１；３０／１；３２／１；３３／１；３４／１；３
６／１；３８／０｝ Ｆt2＝｛１／０；５／０；６／０；１３／０；１４／
０；１５／０；１６／０；１７／１；１８／１；１９／
１；２１／１；２４／１；２５／１；２９／０；３２／
０｝ Ｆt3＝｛２／１；４／１；１０／１；１５／１；１８／
０；２４／０；２５／０；２９／１；３２／１｝ Ｆt4＝｛２／０；５／０；１０／０；１５／０；１６／
０；１８／１；２４／１｝ Ｆt5＝｛２／１；３／１；４／０；５／０；８／１；９
／１；１１／１；１４／１；１５／０；１６／０；１７
／０；１８／１；１９／０；２２／１；２４／１；２５
／０；２７／１；２９／１；３０／０；３２／１；３４
／０；３５／０；３６／０；３７／０；３８／１｝ Ｆt6＝｛１／０；２／１；３／０；４／０；５／０；６
／０；９／１；１１／０；１３／０；１４／０；１５／
０；１６／０；１７／１；１８／１；１９／１；２１／
１；２２／１；２４／１；２５／１；２７／１；２９／
０；３０／０；３２／０；３５／０；３６／０；３７／
０；３８／１｝ Ｆt7＝｛４／０；５／０；１５／０；１６／０；１８／
１；２４／１；３６／０；３７／０；３８／１｝ Ｆt8＝｛５／１；１６／１；１８／０；２４／０；２５
／０；２９／１；３２／１｝ Ｆt9＝｛５／０；１５／０；１６／０；１８／１；２４
／１｝ Ｆt10 ＝｛５／１；１６／１；１８／０；２４／０；２
５／０；２９／１；３２／１；３８／０｝ Ｆt11 ＝｛１／０；２／０；３／１；５／０；６／０；
８／０；１２／１；１３／０；１４／０；１５／０；１
６／０；１７／１；１８／１；１９／１；２０／１；２
１／１；２４／１；２５／１；２６／１；２９／０；３
０／０；３２／０；３５／０；３６／０；３７／０；３
８／１｝ Ｆt12 ＝｛１／１；２／１；４／０；５／０；６／１；
９／１；１３／１；１５／０；１６／０；１７／０；１
８／１；１９／０；２２／１；２４／１；２５／０；２
７／１；２９／１；３０／０；３２／１；３４／０；３
６／０；３７／０；３８／１｝ Ｆt13 ＝｛１／１；２／０；５／０；６／１；９／０；
１３／１；１５／０；１６／０；１７／０；１８／１；
１９／０；２４／１；２５／０；２６／０；２７／０；
２９／１；３０／１；３２／１；３３／１；３４／１；
３６／１；３８／０｝ Ｆt14 ＝｛１／０；２／０；３／１；５／０；６／０；
８／０；１２／１；１３／０；１４／０；１５／０；１
６／０；１７／１；１８／１；１９／１；２０／１；２
１／１；２４／１；２５／１；２６／１；２９／０；３
０／０；３２／０；３５／０；３６／０；３７／０；３
８／１｝ Ｆt15 ＝｛１／０；２／０；３／０；５／０；６／０；
７／０；９／０；１２／０；１３／０；１４／０；１５
／０；１６／０；１７／１；１８／１；１９／１；２１
／１；２４／１；２５／１；２６／０；２７／０；２８
／０；２９／０；３０／１；３１／１；３２／０；３５
／１；３７／１；３８／０｝ Ｆt16 ＝｛５／１；１６／１；１８／０；２４／０；２
５／０；２９／１；３２／１；３８／０｝図６に示した
第２フェーズの初期段階では、ｔ3 ，ｔ4 ，ｔ5 ，ｔ
6 ，ｔ15がエッセンシャルベクトルとなる。これらのエ
ッセンシャルベクトルを選択し、それらが検出する故障
を削除すると、残りのデータは図１３のようになる。冗
長なベクトルの削除処理の初めには、Ｆ＿set ＝｛１／
１；５／１；６／１；８／０；１２／１；１３／１；１
６／１；２０／１；２６／１；３３／１；３４／１；３
６／１｝となり、ベクトルｔ1 ，ｔ2 ，ｔ7 ，ｔ8 ，ｔ
9 ，ｔ10，ｔ11，ｔ12，ｔ13，ｔ14，ｔ16は、それぞ
れ、残りの故障のうち６，０，０，２，０，２，４，
３，６，４，２個を検出する。
【００４７】まず、ｔ1 がｒｔ1 として選択され、それ
により検出される故障の集合は、Ｃ 1 ＝｛１／１；６／
１；１３／１；３３／１；３４／１；３６／１｝とな
る。このとき、Ｆ＿set ＼Ｃ1 ＝｛５／１；８／０；１
２／１；１６／１；２０／１；２６／１｝となり、ベク
トルｔ2 ，ｔ7 ，ｔ8 ，ｔ9 ，ｔ10，ｔ11，ｔ12，
ｔ13，ｔ14，ｔ16は、それぞれ、残りの故障のうち０，
０，２，０，２，４，０，０，４，２個を検出する。
【００４８】次に、ｔ11がｒｔ2 として選択され、Ｃ2
＝｛８／０；１２／１；２０／１；２６／１｝となる。
このとき、Ｆ＿set ＼（Ｃ1 ∪Ｃ2 ）＝｛５／１；１６
／１｝となり、ベクトルｔ2 ，ｔ7 ，ｔ8 ，ｔ9 ，
ｔ10，ｔ12，ｔ13，ｔ14，ｔ16は、それぞれ、残りの故
障のうち０，０，２，０，２，０，０，０，２個を検出
する。
【００４９】さらに、ｔ8 がｒｔ3 として選択され、Ｃ
3 ＝｛５／１；１６／１｝となる。この段階で、Ｆ＿se
t ＼（Ｃ1 ∪Ｃ2 ∪Ｃ3 ）＝｛ ｝となるので、Ｃ1 ∪
Ｃ2∪Ｃ3 ＝Ｆ＿set となる。残りのベクトルｔ2 ，ｔ7
，ｔ9 ，ｔ10，ｔ12，ｔ13，ｔ14，ｔ16の各々につい
て、それがカバーするすべての故障のカウンタをデクリ
メントした後、これらのベクトルは廃棄される。そし
て、現在の冗長なベクトルの削除処理が終了する。
【００５０】こうして、Ｆ＿set ＝｛１／１；５／１；
６／１；８／０；１２／１；１３／１；１６／１；２０
／１；２６／１；３３／１；３４／１；３６／１｝のす
べての故障はエッセンシャルとなり、それゆえｒｔ1 ＝
ｔ1 、ｒｔ2 ＝ｔ11、およびｒｔ3 ＝ｔ8 はエッセンシ
ャルベクトルの２番目の階層を形成する。
【００５１】これらの３つのベクトルを最初のエッセン
シャルベクトルの集合に加えると、元の１６個のベクト
ルのテスト集合により検出可能なすべての故障をカバー
する８個のベクトルの集合｛ｔ1 ，ｔ3 ，ｔ4 ，ｔ5 ，
ｔ6 ，ｔ8 ，ｔ11，ｔ15｝が生成される。こうして、コ
ンパクション処理により、故障カバー率を変更すること
なく、テスト集合は半分の大きさになった。
【００５２】以上説明した例では、スタック故障モデル
が用いられているが、本発明のコンパクション処理は他
の故障モデルにも適用できる。また、組み合わせ回路の
テスト刺激の大きさはテストモデルに依存する。そこ
で、次に、スタック故障モデルと遅延故障（delay faul
t ）モデルの違いについて説明する。
【００５３】図１４は、スタック故障モデルの例を示し
ている。ＡＮＤゲートＧ１の出力が０にスタックする故
障は、入力パターンにかかわらず出力値を０に設定して
しまう。この故障を検出するには、出力を論理１に設定
する単一の入力パターン“１，１”が印加される。もし
予想される論理１が出力として観測されれば、故障は存
在せず、逆に出力値が０になれば、故障の存在が確認さ
れる。このように、スタック故障をテストするには、１
つの入力パターンのテスト刺激が必要である。
【００５４】図１５は、遅延故障モデルの例を示してい
る。遅延故障とは、ゲートの入力に発生した変化が出力
に伝わるのに、予想より長い時間を要するような状況に
相当する。遷移遅延故障（transition delay fault）モ
デルでは、遅延故障は遷移と時間の組み合わせで表され
る。この場合、ゲート出力には、立ち下がり遅延（slow
-to-fall）と立ち上がり遅延（slow-to-rise）の２つの
故障が起こり得る。
【００５５】ＡＮＤゲートＧ２の出力の立ち上がり遅延
故障を検出するには、まず、“０，１”のような第１の
パターンにより出力を論理“ＬＯＷ”（論理０）に設定
する。次に、第２のパターン“１，１”を印加した後に
所定時間（δユニット）経過したところで、出力論理を
“ＨＩＧＨ”に変更する（０から１に立ち上がらせる）
ことを試みる。
【００５６】もし第２のパターンの印加からδユニット
経過した後に出力論理が１に変われば、故障は存在せ
ず、そうならなければ、遅延故障が検出されることにな
る。このように、単一の遅延故障をテストするには、２
つの入力パターンからなるテスト刺激が必要となる。
【００５７】また、コンパクション方法を順序回路に適
用するには、初期化サブシーケンス、鋭敏化サブシーケ
ンス、および伝播サブシーケンスの列を単一のテスト刺
激として扱えばよい。
【００５８】ところで、本実施形態のコンパクション装
置は、例えば、図１６に示すような情報処理装置（コン
ピュータ）を用いて構成することができる。図１６の情
報処理装置は、ＣＰＵ（中央処理装置）５１、メモリ５
２、入力装置５３、出力装置５４、外部記憶装置５５、
媒体駆動装置５６、およびネットワーク接続装置５７を
備え、それらはバス５８により互いに接続されている。
【００５９】メモリ５２は、例えば、ＲＯＭ（read onl
y memory）、ＲＡＭ（random access memory）等を含
み、コンパクション処理に用いられるプログラムとデー
タを格納する。ＣＰＵ５１は、メモリ５２を利用してプ
ログラムを実行することにより、必要な処理を行う。
【００６０】入力装置５３は、例えば、キーボード、ポ
インティングデバイス、タッチパネル等であり、ユーザ
からの指示や情報の入力に用いられる。出力装置５４
は、例えば、ディスプレイ、プリンタ、スピーカ等であ
り、ユーザへの問い合わせや処理結果の出力に用いられ
る。
【００６１】外部記憶装置５５は、例えば、磁気ディス
ク装置、光ディスク装置、光磁気ディスク装置、テープ
装置等である。情報処理装置は、この外部記憶装置５５
に、上述のプログラムとデータを保存しておき、必要に
応じて、それらをメモリ５２にロードして使用する。
【００６２】媒体駆動装置５６は、可搬記録媒体５９を
駆動し、その記録内容にアクセスする。可搬記録媒体５
９としては、メモリカード、フロッピー（登録商標）デ
ィスク、ＣＤ−ＲＯＭ（compact disk read only memor
y ）、光ディスク、光磁気ディスク等、任意のコンピュ
ータ読み取り可能な記録媒体が用いられる。ユーザは、
この可搬記録媒体５９に上述のプログラムとデータを格
納しておき、必要に応じて、それらをメモリ５２にロー
ドして使用する。
【００６３】ネットワーク接続装置５７は、ＬＡＮ（lo
cal area network）等の任意の通信ネットワークに接続
され、通信に伴うデータ変換を行う。また、情報処理装
置は、上述のプログラムとデータをネットワーク接続装
置５７を介して他の装置から受け取り、必要に応じて、
それらをメモリ５２にロードして使用する。
【００６４】図１７は、図１６の情報処理装置にプログ
ラムとデータを供給することのできるコンピュータ読み
取り可能な記録媒体を示している。可搬記録媒体５９や
サーバ６０のデータベース６１に保存されたプログラム
とデータは、メモリ５２にロードされる。このとき、サ
ーバ６０は、プログラムとデータを搬送する搬送信号を
生成し、ネットワーク上の任意の伝送媒体を介して情報
処理装置に送信する。そして、ＣＰＵ５１は、そのデー
タを用いてそのプログラムを実行し、必要な処理を行
う。
【００６５】（付記１） デジタル回路のテスト刺激の
集合のコンパクションを行うコンパクション装置であっ
て、前記テスト刺激の集合の部分集合から、該部分集合
内の他のテスト刺激により検出不可能な少なくとも１つ
の故障を検出する、エッセンシャルテスト刺激を選択す
る選択手段と、各部分集合からエッセンシャルテスト刺
激を選択した後のテスト刺激の部分集合から、冗長なテ
スト刺激を削除する削除手段と、選択されたエッセンシ
ャルテスト刺激からなる簡単化された集合を出力する出
力手段とを備えることを特徴とするコンパクション装
置。 （付記２） 前記出力手段は、前記テスト刺激の集合に
より検出可能な故障を、テスト刺激を変更することなく
カバーするような、該テスト刺激の集合の最小の部分集
合を、前記簡単化された集合として出力することを特徴
とする付記１記載のコンパクション装置。 （付記３） 前記選択手段は、前記部分集合から冗長な
テスト刺激を削除した後のテスト刺激の部分集合からエ
ッセンシャルテスト刺激を選択することを階層的に繰り
返し、前記出力手段は、選択されたエッセンシャルテス
ト刺激からなる簡単化された集合を出力することを特徴
とする付記１記載のコンパクション装置。 （付記４） 前記削除手段は、与えられた故障の集合を
最適にカバーするテスト刺激の部分集合を求め、得られ
たテスト刺激以外の１つ以上のテスト刺激を、前記冗長
なテスト刺激として削除することを特徴とする付記１記
載のコンパクション装置。 （付記５） 前記テスト刺激の集合の情報と、該テスト
刺激の集合がカバーする故障の情報と、各テスト刺激を
該テスト刺激により検出可能な故障に関係付けるポイン
ティング情報とを格納する格納手段をさらに備え、前記
選択手段および削除手段は、それぞれ該格納手段に格納
された情報を参照して、選択および削除を行うことを特
徴とする付記１記載のコンパクション装置。 （付記６） 前記テスト刺激の集合を用いて前記デジタ
ル回路のシミュレーションを行い、前記テスト刺激の集
合がカバーする故障をトレースするシミュレーション手
段をさらに備え、前記格納手段は、各故障に付随して、
対応する故障を検出可能なテスト刺激の数を表すカウン
タ情報を格納し、前記シミュレーション手段は、前記シ
ミュレーション中に該対応する故障がトレースされたと
きに該カウンタ情報をインクリメントし、前記選択手段
は、該カウンタ情報が１であるような故障をカバーする
テスト刺激を、前記エッセンシャルテスト刺激として選
択することを特徴とする付記５記載のコンパクション装
置。 （付記７） スタック故障モデルの故障を検出可能なテ
スト刺激の集合のコンパクションを行うことを特徴とす
る付記１記載のコンパクション装置。 （付記８） 遅延故障モデルの故障を検出可能なテスト
刺激の集合のコンパクションを行うことを特徴とする付
記１記載のコンパクション装置。 （付記９） 初期化サブシーケンス、鋭敏化サブシーケ
ンス、および伝播サブシーケンスの列を単一のテスト刺
激とみなして、前記テスト刺激の集合のコンパクション
を行うことを特徴とする付記１記載のコンパクション装
置。 （付記１０） デジタル回路のテスト刺激の集合のコン
パクションを行うコンピュータのためのプログラムを記
録した記録媒体であって、該プログラムは、前記テスト
刺激の集合の部分集合から、該部分集合内の他のテスト
刺激により検出不可能な少なくとも１つの故障を検出す
る、エッセンシャルテスト刺激を選択し、各部分集合か
らエッセンシャルテスト刺激を選択した後のテスト刺激
の部分集合から、冗長なテスト刺激を削除し、選択され
たエッセンシャルテスト刺激からなる簡単化された集合
を出力する処理を前記コンピュータに実行させることを
特徴とするコンピュータ読み取り可能な記録媒体。 （付記１１） デジタル回路のテスト刺激の集合のコン
パクションを行うコンピュータのためのプログラムであ
って、前記テスト刺激の集合の部分集合から、該部分集
合内の他のテスト刺激により検出不可能な少なくとも１
つの故障を検出する、エッセンシャルテスト刺激を選択
し、各部分集合からエッセンシャルテスト刺激を選択し
た後のテスト刺激の部分集合から、冗長なテスト刺激を
削除し、選択されたエッセンシャルテスト刺激からなる
簡単化された集合を出力する処理を前記コンピュータに
実行させるためのプログラム。 （付記１２） デジタル回路のテスト刺激の集合のコン
パクションを行うコンピュータにプログラムを搬送する
搬送信号であって、該プログラムは、前記テスト刺激の
集合の部分集合から、該部分集合内の他のテスト刺激に
より検出不可能な少なくとも１つの故障を検出する、エ
ッセンシャルテスト刺激を選択し、各部分集合からエッ
センシャルテスト刺激を選択した後のテスト刺激の部分
集合から、冗長なテスト刺激を削除し、選択されたエッ
センシャルテスト刺激からなる簡単化された集合を出力
する処理を前記コンピュータに実行させることを特徴と
する搬送信号。 （付記１３） デジタル回路のテスト刺激の集合のコン
パクションを行うコンパクション方法であって、前記テ
スト刺激の集合の部分集合から、該部分集合内の他のテ
スト刺激により検出不可能な少なくとも１つの故障を検
出する、エッセンシャルテスト刺激を選択し、各部分集
合からエッセンシャルテスト刺激を選択した後のテスト
刺激の部分集合から、冗長なテスト刺激を削除し、選択
されたエッセンシャルテスト刺激からなる簡単化された
集合を生成することを特徴とするコンパクション方法。
【００６６】
【発明の効果】本発明によれば、テスト刺激の静的コン
パクションを最小カバー問題として扱うことで、テスト
生成アルゴリズムに依存しないテスト刺激コンパクショ
ンが実現される。このコンパクションは、一般的なデジ
タル回路の任意のテスト生成アルゴリズムにより生成さ
れたテスト刺激に対して有効である。
【図面の簡単な説明】
【図１】本発明のテスト刺激コンパクション装置の原理
図である。
【図２】テスト集合のカバーテーブルを示す図である。
【図３】テスト集合の部分カバーテーブルを示す図であ
る。
【図４】コンパクション処理のフローチャートである。
【図５】第１フェーズの処理のフローチャートである。
【図６】第２フェーズの処理のフローチャート（その
１）である。
【図７】第２フェーズの処理のフローチャート（その
２）である。
【図８】最初のベクトル−故障マッピングを示す図であ
る。
【図９】更新されたベクトル−故障マッピングを示す図
である。
【図１０】さらに更新されたベクトル−故障マッピング
を示す図である。
【図１１】デジタル回路の例を示す図である。
【図１２】デジタル回路のテスト集合を示す図である。
【図１３】部分カバーテーブルの概要を示す図である。
【図１４】スタック故障モデルを示す図である。
【図１５】遅延故障モデルを示す図である。
【図１６】情報処理装置の構成図である。
【図１７】記録媒体を示す図である。
【符号の説明】
１〜４１ 信号線 ５１ ＣＰＵ ５２ メモリ ５３ 入力装置 ５４ 出力装置 ５５ 外部記憶装置 ５６ 媒体駆動装置 ５７ ネットワーク接続装置 ５８ バス ５９ 可搬記録媒体 ６０ サーバ ６１ データベース Ｄ１ 選択手段 Ｄ２ 削除手段 Ｄ３ 出力手段

Claims (9)

    【特許請求の範囲】
  1. 【請求項１】 デジタル回路のテスト刺激の集合のコン
    パクションを行うコンパクション装置であって、 前記テスト刺激の集合の部分集合から、該部分集合内の
    他のテスト刺激により検出不可能な少なくとも１つの故
    障を検出する、エッセンシャルテスト刺激を選択する選
    択手段と、 各部分集合からエッセンシャルテスト刺激を選択した後
    のテスト刺激の部分集合から、冗長なテスト刺激を削除
    する削除手段と、 選択されたエッセンシャルテスト刺激からなる簡単化さ
    れた集合を出力する出力手段とを備えることを特徴とす
    るコンパクション装置。
  2. 【請求項２】 前記出力手段は、前記テスト刺激の集合
    により検出可能な故障を、テスト刺激を変更することな
    くカバーするような、該テスト刺激の集合の最小の部分
    集合を、前記簡単化された集合として出力することを特
    徴とする請求項１記載のコンパクション装置。
  3. 【請求項３】 前記選択手段は、前記部分集合から冗長
    なテスト刺激を削除した後のテスト刺激の部分集合から
    エッセンシャルテスト刺激を選択することを階層的に繰
    り返し、前記出力手段は、選択されたエッセンシャルテ
    スト刺激からなる簡単化された集合を出力することを特
    徴とする請求項１記載のコンパクション装置。
  4. 【請求項４】 前記削除手段は、与えられた故障の集合
    を最適にカバーするテスト刺激の部分集合を求め、得ら
    れたテスト刺激以外の１つ以上のテスト刺激を、前記冗
    長なテスト刺激として削除することを特徴とする請求項
    １記載のコンパクション装置。
  5. 【請求項５】 前記テスト刺激の集合の情報と、該テス
    ト刺激の集合がカバーする故障の情報と、各テスト刺激
    を該テスト刺激により検出可能な故障に関係付けるポイ
    ンティング情報とを格納する格納手段をさらに備え、前
    記選択手段および削除手段は、それぞれ該格納手段に格
    納された情報を参照して、選択および削除を行うことを
    特徴とする請求項１記載のコンパクション装置。
  6. 【請求項６】 前記テスト刺激の集合を用いて前記デジ
    タル回路のシミュレーションを行い、前記テスト刺激の
    集合がカバーする故障をトレースするシミュレーション
    手段をさらに備え、前記格納手段は、各故障に付随し
    て、対応する故障を検出可能なテスト刺激の数を表すカ
    ウンタ情報を格納し、前記シミュレーション手段は、前
    記シミュレーション中に該対応する故障がトレースされ
    たときに該カウンタ情報をインクリメントし、前記選択
    手段は、該カウンタ情報が１であるような故障をカバー
    するテスト刺激を、前記エッセンシャルテスト刺激とし
    て選択することを特徴とする請求項５記載のコンパクシ
    ョン装置。
  7. 【請求項７】 デジタル回路のテスト刺激の集合のコン
    パクションを行うコンピュータのためのプログラムを記
    録した記録媒体であって、該プログラムは、 前記テスト刺激の集合の部分集合から、該部分集合内の
    他のテスト刺激により検出不可能な少なくとも１つの故
    障を検出する、エッセンシャルテスト刺激を選択し、 各部分集合からエッセンシャルテスト刺激を選択した後
    のテスト刺激の部分集合から、冗長なテスト刺激を削除
    し、 選択されたエッセンシャルテスト刺激からなる簡単化さ
    れた集合を出力する処理を前記コンピュータに実行させ
    ることを特徴とするコンピュータ読み取り可能な記録媒
    体。
  8. 【請求項８】 デジタル回路のテスト刺激の集合のコン
    パクションを行うコンピュータのためのプログラムであ
    って、 前記テスト刺激の集合の部分集合から、該部分集合内の
    他のテスト刺激により検出不可能な少なくとも１つの故
    障を検出する、エッセンシャルテスト刺激を選択し、 各部分集合からエッセンシャルテスト刺激を選択した後
    のテスト刺激の部分集合から、冗長なテスト刺激を削除
    し、 選択されたエッセンシャルテスト刺激からなる簡単化さ
    れた集合を出力する処理を前記コンピュータに実行させ
    るためのプログラム。
  9. 【請求項９】 デジタル回路のテスト刺激の集合のコン
    パクションを行うコンパクション方法であって、 前記テスト刺激の集合の部分集合から、該部分集合内の
    他のテスト刺激により検出不可能な少なくとも１つの故
    障を検出する、エッセンシャルテスト刺激を選択し、 各部分集合からエッセンシャルテスト刺激を選択した後
    のテスト刺激の部分集合から、冗長なテスト刺激を削除
    し、 選択されたエッセンシャルテスト刺激からなる簡単化さ
    れた集合を生成することを特徴とするコンパクション方
    法。
JP2001168951A 2001-06-05 2001-06-05 テスト刺激コンパクション装置および方法 Pending JP2002365346A (ja)

Priority Applications (3)

Application Number Priority Date Filing Date Title
JP2001168951A JP2002365346A (ja) 2001-06-05 2001-06-05 テスト刺激コンパクション装置および方法
US09/985,768 US7260793B2 (en) 2001-06-05 2001-11-06 Apparatus and method for test-stimuli compaction
DE10200833A DE10200833A1 (de) 2001-06-05 2002-01-10 Gerät und Verfahren für eine Teststimuliverdichtung

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2001168951A JP2002365346A (ja) 2001-06-05 2001-06-05 テスト刺激コンパクション装置および方法

Publications (1)

Publication Number Publication Date
JP2002365346A true JP2002365346A (ja) 2002-12-18

Family

ID=19011085

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2001168951A Pending JP2002365346A (ja) 2001-06-05 2001-06-05 テスト刺激コンパクション装置および方法

Country Status (3)

Country Link
US (1) US7260793B2 (ja)
JP (1) JP2002365346A (ja)
DE (1) DE10200833A1 (ja)

Families Citing this family (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7000141B1 (en) * 2001-11-14 2006-02-14 Hewlett-Packard Development Company, L.P. Data placement for fault tolerance
US8769361B2 (en) * 2003-10-07 2014-07-01 Advantest (Singapore) Pte Ltd Cost estimation for device testing
US7137083B2 (en) * 2004-04-01 2006-11-14 Verigy Ipco Verification of integrated circuit tests using test simulation and integrated circuit simulation with simulated failure
US7970594B2 (en) * 2005-06-30 2011-06-28 The Mathworks, Inc. System and method for using model analysis to generate directed test vectors
US20070260926A1 (en) * 2006-04-13 2007-11-08 International Business Machines Corporation Static and dynamic learning test generation method
US8180142B2 (en) * 2008-12-02 2012-05-15 International Business Machines Corporation Test fail analysis on VLSI chips
US9401222B1 (en) 2015-11-23 2016-07-26 International Business Machines Corporation Determining categories for memory fail conditions
CN115184055B (zh) * 2022-06-28 2023-05-12 中国人民解放军海军航空大学 一种分级测试性优化的测试集确定方法及系统

Family Cites Families (13)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5340644A (en) * 1990-10-05 1994-08-23 Hercules Incorporated Organosilicon compositions
US5523374A (en) * 1992-12-03 1996-06-04 Hercules Incorporated Curable and cured organosilicon compositions
DE19530095A1 (de) 1995-08-16 1997-02-20 Martin Engwicht Zugriff-Überwachendes-Hilfsmittel auf Speichereinheiten
US5726996A (en) 1995-09-18 1998-03-10 Nec Usa, Inc. Process for dynamic composition and test cycles reduction
US5762996A (en) * 1996-04-15 1998-06-09 Lucas; Daniel R. Silicone balloon catheter
US5771243A (en) * 1997-02-07 1998-06-23 Etron Technology, Inc. Method of identifying redundant test patterns
US6223316B1 (en) 1998-05-27 2001-04-24 Nec Usa, Inc. Vector restoration using accelerated validation and refinement
US6256505B1 (en) * 1998-05-28 2001-07-03 Ericsson Lnc. GSM transceiver unit equipped for time of arrival measurements
US6212667B1 (en) * 1998-07-30 2001-04-03 International Business Machines Corporation Integrated circuit test coverage evaluation and adjustment mechanism and method
US6467058B1 (en) 1999-01-20 2002-10-15 Nec Usa, Inc. Segmented compaction with pruning and critical fault elimination
US6810372B1 (en) * 1999-12-07 2004-10-26 Hewlett-Packard Development Company, L.P. Multimodal optimization technique in test generation
US6782501B2 (en) * 2001-01-23 2004-08-24 Cadence Design Systems, Inc. System for reducing test data volume in the testing of logic products
US7103816B2 (en) * 2001-01-23 2006-09-05 Cadence Design Systems, Inc. Method and system for reducing test data volume in the testing of logic products

Also Published As

Publication number Publication date
US20020184587A1 (en) 2002-12-05
DE10200833A1 (de) 2002-12-12
US7260793B2 (en) 2007-08-21

Similar Documents

Publication Publication Date Title
JP4074738B2 (ja) イベントベース半導体試験システム及びｌｓｉデバイス設計試験システム
Ghosh et al. Automatic test pattern generation for functional register-transfer level circuits using assignment decision diagrams
EP1374103A2 (en) System and method for test generation with dynamic constraints using static analysis
US6339837B1 (en) Hybrid method for design verification
Nicolici et al. Multiple scan chains for power minimization during test application in sequential circuits
Gaur et al. Efficient hardware verification using machine learning approach
JP2002365346A (ja) テスト刺激コンパクション装置および方法
CN110637235B (zh) 集成电路测试设备和方法
KR100966010B1 (ko) 하나 이상의 중복 테스트 제거 및 하나 이상의 비효율적테스트 재배열 방법
Eggersglüß et al. Robust algorithms for high quality test pattern generation using Boolean satisfiability
Nowick et al. Synthesis of asynchronous circuits for stuck-at and robust path delay fault testability
Chakradhar et al. Finite state machine synthesis with fault tolerant test function
Westerman et al. Discrete event system approach for delay fault analysis in digital circuits
Chen et al. A new framework for static timing analysis, incremental timing refinement, and timing simulation
CN112861455B (zh) Fpga建模验证系统及方法
US20080235640A1 (en) Method and apparatus for performing static analysis optimization in a design verification system
US5515526A (en) Apparatus for detecting redundant circuit included in logic circuit and method therefor
US6854102B1 (en) System and method of acquiring delay, setup and hold values for integrated circuit cells
Huang et al. Using embedded infrastructure IP for SOC post-silicon verification
Miyase et al. On improving defect coverage of stuck-at fault tests
Jacob et al. Functional test generation for sequential circuits
JP3863423B2 (ja) 論理回路の故障箇所推定方法、および、論理回路の故障箇所推定プログラム
Lingappan et al. Unsatisfiability based efficient design for testability solution for register-transfer level circuits
Kocan et al. Dynamic fault diagnosis of combinational and sequential circuits on reconfigurable hardware
CN116593876A (zh) 一种测试方法、现场可编程门阵列、上位机和测试系统

Legal Events

Date Code Title Description
A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20060612

A977 Report on retrieval

Free format text: JAPANESE INTERMEDIATE CODE: A971007

Effective date: 20090528

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20090602

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20090729

A02 Decision of refusal

Free format text: JAPANESE INTERMEDIATE CODE: A02

Effective date: 20091006