JPH11153646A - 故障伝搬経路抽出システム及びその方法並びにその制御プログラムを記録した記録媒体 - Google Patents

Abstract

(57)【要約】 【課題】 組合せ回路において、高速な故障伝搬経路抽
出を可能にする。 【解決手段】 論理矛盾判定手段２４は第１の含意操作
手段２３での含意操作中に各信号線の論理状態の矛盾を
検出し、処理終了判定手段２５は矛盾が検出されなけれ
ば、全信号線の論理状態が“０”，“１”または“Ｘ”
に推定されたかを判定する。論理状態推定が終了してい
ないと判定されると、Ｕ（Ｕｎｋｎｏｗｎ）状態検索手
段２７は論理状態が不完全なＵｎｋｎｏｗｎ状態の信号
線を検索し、故障伝搬経路にゲートを介して接続してい
る信号線を検索する。検出した信号線に対して“０”と
仮決定を行い、仮決定の回数を表す仮決定レベルを１だ
け増加し、第１の含意操作手段２３による含意操作処理
に戻る。論理状態推定が終了したと判定すると、故障出
力端子接続関係線抽出手段３１は故障出力端子に直接影
響を与えるような故障伝搬経路を抽出し、出力装置５に
出力する。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は故障伝搬経路抽出シ
ステム及びその方法並びにその制御プログラムを記録し
た記録媒体に関し、特に組合せ論理回路において故障が
伝搬している可能性のある信号線を高速に求める故障伝
搬経路抽出方式に関する。

【０００２】

【従来の技術】従来、故障伝搬経路抽出方式において
は、テストパターンを入力して得られる入出力論理状態
が正常回路において期待される正常出力と異なる時、回
路内を故障が伝搬している可能性のある経路を抽出する
方式がある。この方式は特開平８−１４６０９３号公報
や特開平８−２１７３０１号公報に開示されているよう
に、順序回路の故障箇所推定システムの一部として使用
可能となっている。この場合、故障は組合せ回路内部に
存在してもよいし、あるいは入力パターンに故障状態が
含まれていてもよい。

【０００３】上記の故障伝搬経路抽出方式としては、Ｄ
ｏｎ’ｔ Ｃａｒｅ（ドントケア）を導入したバックト
ラック方式を用いた逆論理展開方式がある。この逆論理
展開方式は組合せ論理回路の出力端子の論理状態から入
力端子の論理状態を推定する方式である。

【０００４】１００Ｋゲート規模の順序回路の故障解析
に対して、上記の故障箇所推定システムを使用する場合
には、抽出される組合せ回路が１０Ｋゲート規模と予想
され、同程度の規模の組合せ回路の全ての入力信号パタ
ーンを推定する能力が必要とされる。

【０００５】ここで、バックトラック方式とは含意操作
（Ｉｍｐｌｉｃａｔｉｏｎ）と仮決定（Ｄｅｃｉｓｉｏ
ｎ）とを繰り返して全ての信号線の論理状態を推定する
方法であり、「ブランチアンドバウンド（Ｂｒａｎｃｈ
−ａｎｄ−ｂｏｕｎｄ）方式」とも呼ばれている。

【０００６】このバックトラック方式はメモリ使用量が
少なく、データ量がゲート数に比例するため、メモリ使
用量の予測が容易で、かつアルゴリズムが単純で、しか
も並列処理が容易であるという特徴を持っている。しか
しながら、バックトラック方式は回路規模が大きくなる
と、仮決定の回数が増大するため、全ての入力論理状態
を求めるには膨大な計算時間を必要とする。

【０００７】このバックトラック方式を逆論理展開に応
用することで、出力端子側から順番に入力端子まで、論
理回路の内部論理状態を推定することが可能である。
尚、バックトラック方式に関しては、「Ｍ．Ａｂｒａｍ
ｏｂｖｉｃｉ，Ｍ．Ａ．Ｂｒｅｕｅｒ，ａｎｄ Ａ．
Ｄ．Ｆｒｉｅｄｍａｎ，Ｄｉｇｉｔａｌ Ｓｙｓｔｅｍ
ｓＴｅｓｔｉｎｇ ａｎｄ Ｔｅｓｔａｂｌｅ Ｄｅｓ
ｉｇｎ，ＩＥＥＥ Ｐｒｅｓｓ，Ｎｅｗ Ｙｏｒｋ，ｐ
ｐ．１８６−１９６，１９９０」等に記載されている。

【０００８】上記の故障伝搬経路抽出方式は逆論理展開
によって求めた入力推定状態とその過程で求めた組合せ
論理回路内部の論理状態とを予め正常回路における論理
シミュレーションによって求めておいた正常論理値と比
較し、故障状態である信号線を認識して故障伝搬経路を
抽出する方法である。この方法は出力論理状態を満足す
るような入力論理状態及び回路の内部論理状態を全て求
めることが可能であり、正常論理値と比較することで故
障伝搬経路を抽出することが可能である。

【０００９】しかしながら、乗算回路等では仮決定の回
数が膨大になり、計算時間が長時間になることが予想さ
れる。また、回路が大きくなるにつれて求める入力論理
状態の数も膨大な数となる。これらの膨大な論理状態か
ら故障伝搬経路を抽出すると、故障出力に影響を与える
可能性のない経路まで抽出されてしまう。ここで、故障
出力に影響を与える可能性のない経路とは論理状態が正
常論理値と不一致であるが、経路上に故障があったとし
ても故障出力に故障を伝搬しないような経路のことであ
る。

【００１０】また、出力論理状態を満足する入力論理状
態を求める際に、組合せ回路が正常であることを仮定し
ているため、組合せ回路内部に起因する故障に対する故
障伝搬経路を抽出することができない。

【００１１】従来技術の実施の形態について図面を参照
して詳細に説明する。図１０を参照すると、従来技術の
実施の形態はキーボード等の入力装置１と、プログラム
制御によって動作するデータ処理装置２と、情報を記憶
する記憶装置４と、ディスプレイ装置や印刷装置等の出
力装置５とを含む。

【００１２】記憶装置４は論理回路構成記憶部４１と、
仮決定状態記憶部４２と、論理状態記憶部４３とを備え
ている。論理回路構成記憶部４１は論理回路の構成、す
なわちゲートの種類、ゲート同士の接続関係、ゲートと
信号線との接続関係、信号線同士の接続関係等、論理回
路の構成を予め記憶している。

【００１３】仮決定状態記憶部４２は何個の仮決定を行
ったかを表す仮決定レベルと、各信号線の論理状態が含
意操作によって推定された時点における仮決定レベルと
を記憶している。論理状態記憶部４３は処理中の各信号
線における論理状態及び回路が正常である時の各信号線
の論理状態（正常論理値）を記憶している。

【００１４】データ処理装置２は初期設定手段２１と、
Ｘ（Ｄｏｎ’ｔ Ｃａｒｅ）状態（以下、Ｘ状態とす
る）設定手段２２と、第１の含意操作手段２３と、論理
矛盾判定手段２４と、処理終了判定手段２５と、バック
トラック手段２６と、Ｕ（Ｕｎｋｎｏｗｎ）状態（以
下、Ｕ状態とする）検索手段２７と、論理値仮決定手段
２９と、論理値比較手段３０とを備えている。

【００１５】初期設定手段２１は入力装置１から与えら
れた論理回路の種類や入出力端子の論理状態の設定を行
う。Ｘ状態設定手段２２は論理回路構成記憶部４１に記
憶された論理回路構成と論理状態記憶部４３に記憶され
た各信号線の論理状態とを参照し、論理状態が確定して
いない各信号線の初期論理状態をＸ状態に設定し、論理
状態記憶部４３に記録する。ここで、Ｘ状態とは信号線
の論理状態が“０”及び“１”の両方とも論理回路全体
の論理状態に矛盾を生じない時に“０”及び“１”の両
方の論理状態を許すことを意味する論理状態である。

【００１６】第１の含意操作手段２３は、図１１に示す
ように、含意操作手段２３１と、論理矛盾検出手段２３
２と、第１の含意操作可能ゲート検索手段２３３と、含
意操作終了判定手段２３４とを含む。

【００１７】含意操作手段２３１は論理回路構成記憶部
４１に記憶している論理回路構成及び論理状態記憶部４
３に記憶している各信号線の論理状態を参照し、初期設
定手段２１で設定された入出力線、あるいは論理値仮決
定手段２９において仮決定した信号線に接続されたゲー
ト、第１の含意操作可能ゲート検索手段２３３において
検出されたゲートにおいて入出力線の論理状態の推定を
行う。論理状態の推定は“０”，“１”，“Ｘ”を使用
して行う。

【００１８】論理値が新たに推定された場合にはその論
理値を論理状態記憶部４３に記録し、さらに仮決定状態
記憶部４２にその推定が何個の仮決定の下に推定された
かを示す仮決定レベルを記録する。

【００１９】論理矛盾検出手段２３２は論理回路構成記
憶部４１に記憶されている論理回路構成及び論理状態記
憶部４３に記憶されている各信号線の論理状態を参照
し、含意操作手段２３１において新たに決定した論理状
態がその時点までに決定している論理状態との間で矛盾
が生じている場合にそれを検出する。

【００２０】第１の含意操作可能ゲート検索手段２３３
は論理回路構成記憶部４１に記憶されている論理回路構
成及び論理状態記憶部４３に記憶されている各信号線の
論理状態を参照し、含意操作が可能なゲートを検索す
る。含意操作が可能なゲートとはゲートの機能とそのゲ
ートに接続された既に論理状態が“０”または“１”に
決定している入出力線の論理状態とによって、そのゲー
トに接続された未だ論理状態が決定していない入出力線
の論理状態を含意して決定することができるようなゲー
トのことである。

【００２１】含意操作終了判定手段２３４は第１の含意
操作可能ゲート検索手段２３３において含意操作の対象
ゲートが検出されない場合、全ての含意操作が終了した
と判定して第１の含意操作手段２３の処理を終了する。

【００２２】論理矛盾判定手段２４は第１の含意操作手
段２３において信号線の論理状態に矛盾が生じているか
を検出する。処理終了判定手段２５は論理状態記憶部４
３に記憶された各信号線の論理状態を参照し、全信号線
の論理状態が推定されたかどうかの判定を行う。

【００２３】バックトラック手段２６は仮決定状態記憶
部４２に記憶された仮決定状態及び論理状態記憶部４３
に記憶された信号線の論理状態を参照し、既に処理の終
了した仮決定レベルの論理状態を消去し、各信号線の論
理状態を、仮決定を行う前の論理状態に戻す。Ｕ状態検
索手段２７は組合せ回路内のゲートの入出力の論理状態
を調べ、論理状態が不完全なＵｎｋｎｏｗｎ状態の信号
線を検索する。

【００２４】論理値仮決定手段２９はＵ状態検索手段２
７において検出した論理値が不定状態“Ｕ”の信号線に
対して論理状態を決定する。論理値比較手段３０は求め
た各信号線の論理状態を、正常回路において論理シミュ
レーションによって求めた各信号線の論理状態を表す正
常論理値と比較して故障伝搬経路を抽出し、そのデータ
を出力装置５に出力する。

【００２５】次に、図１０〜図１４を参照して従来技術
の実施の形態の動作について説明する。尚、論理状態
“Ｕ（Ｕｎｋｎｏｗｎ）”は信号線の論理状態が“０”
あるいは“１”に決定することができない不定状態を表
すのに対し、論理状態“Ｘ（Ｄｏｎ’ｔ Ｃａｒｅ）”
は信号線の論理状態が“０”及び“１”の両方とも論理
回路全体の論理状態に矛盾を生じない時に“０”及び
“１”の両方の論理状態を許すことを意味する論理状態
である。

【００２６】入力装置１から与えられた入出力端子の論
理状態を初期設定手段２１において設定し、仮決定の回
数を表す仮決定レベル（ｄｌｅｖｅｌ）を初期化する
（図１２ステップＳ５１，Ｓ５２）。論理状態が推定さ
れていない信号線に対して、含意操作の初期状態として
状態“Ｘ”を設定する。その結果を論理状態記憶部４３
に記憶する（図１２ステップＳ５３）。

【００２７】続いて、第１の含意操作手段２３において
含意操作を行う（図１２ステップＳ５４）。含意操作と
は各ゲートにおいて、既推定のゲートの入出力線の論理
状態から未推定のゲートの入出力線の論理状態を推定す
る操作である。

【００２８】まず、含意操作手段２３１（図１３ステッ
プＳ７１）においては検出されたゲートにて含意操作に
よって入出力線の論理状態の推定を行う。初期設定（図
１２ステップＳ５１）で設定された入出力線、あるいは
論理値仮決定手段２９において仮決定した信号線に接続
されたゲート、第１の含意操作可能ゲート検索手段２３
３で検出されたゲートにおいて入出力線の論理状態の推
定を行う。推定された論理状態はその時点の仮決定レベ
ルと共に記録される。一例として、２入力ナンド（ＮＡ
ＮＤ）ゲートの場合の含意操作例を図１４に示す。

【００２９】論理矛盾検出手段２３２においては新たに
決定した論理状態に対して矛盾が生じているかを検出す
る。矛盾を検出した場合には含意操作を終了する（図１
３ステップＳ７２）。ステップＳ７２において論理矛盾
が検出されなかった場合には、第１の含意操作可能ゲー
ト検索手段２３３（図１３ステップＳ７３）においてそ
の他の含意操作可能なゲートを検索する。

【００３０】続いて、含意操作終了判定手段２３４にお
いて含意操作が全て終了したかを判定する。ステップＳ
７３においてゲートが検出された場合にはステップＳ７
４において含意操作が未だ終了していないと判定する。
ステップＳ７３においてゲートが検出されない場合には
ステップＳ７４において含意操作が終了したと判定して
第１の含意操作を終了する。

【００３１】論理矛盾判定手段２４は含意操作中に各信
号線の論理状態の矛盾を検出する（図１２ステップＳ５
５）。論理矛盾判定手段２４において矛盾が検出されな
ければ、処理終了判定手段２５は論理状態記憶部３３に
記憶している信号線の論理状態を参照し、全信号線の論
理状態が“０”，“１”または“Ｘ”に推定されたかを
判定する（図１２ステップＳ５６）。

【００３２】ステップＳ５６において全信号線の論理状
態推定が終了していないと判定した場合、Ｕ状態検索手
段２７は組合せ回路内のゲートの入出力の論理状態を調
べ、論理状態が不完全なＵｎｋｎｏｗｎ状態の信号線を
検索する（図１２ステップＳ５７）。検出した信号線に
対して“０”と仮決定を行い、仮決定の回数を表す仮決
定レベル（ｄｌｅｖｅｌ）を１だけ増加し（図１２ステ
ップＳ５９）、第１の含意操作手段２３による含意操作
処理（図１２ステップＳ５４）に戻る。

【００３３】処理終了判定手段２５で全信号線の論理状
態が推定されたと判定された場合、回路内部の論理状態
が“０”，“１”または“Ｘ”に定まったわけであるか
ら、論理値比較手段３０（図１２ステップＳ５９）は正
常論理値と異なる状態を持つ信号線、すなわち故障伝搬
経路を抽出する。

【００３４】続いて、決定を行った全仮決定線に対して
“０”及び“１”の両方の仮決定処理が終了しているか
を判定する（図１２ステップＳ６０）。ステップＳ６０
において、全信号線の論理状態が推定されたと判定され
た場合には、組合せ論理回路内部の信号線の論理状態が
“０”，“１”または“Ｘ”と推定されている。論理矛
盾判定手段２４において矛盾が検出された場合にも、ス
テップＳ６０の判定処理が行われる。

【００３５】処理終了判定手段２５（図１２ステップＳ
６０）において、仮決定処理が終了していないと判定さ
れた場合、バックトラック手段２６は状態“１”と仮決
定していない仮決定線を仮決定レベルの大きい方から一
つ検索し、検出した仮決定線の仮決定レベル以上の仮決
定において推定された信号線の論理状態が不定状態であ
ることを示す状態“Ｕ”に初期化し、各信号線の論理状
態をその仮決定を行う前の論理状態に戻す（図１２ステ
ップＳ６１）。

【００３６】論理値仮決定手段２９はバックトラック手
段２６で検出された仮決定線の状態を“１”と仮決定し
（図１２ステップＳ６２）、第１の含意操作手段２３に
よる含意操作処理（図１２ステップＳ５４）に戻る。処
理終了判定手段２５（図１２ステップＳ６０）におい
て、仮決定処理が終了していると判定された場合には故
障伝搬経路抽出処理を終了する。

【００３７】次に、従来技術の故障伝搬経路抽出方式を
ＩＳＣＡＳ’８５（Ｔｈｅ １９８５ ＩＥＥＥ Ｉｎ
ｔｅｒｎａｔｉｏｎａｌ Ｓｙｍｐｏｓｉｕｍ ｏｎ
Ｃｉｒｃｕｉｔｓ ａｎｄ Ｓｙｓｔｅｍｓ）ベンチマ
ーク回路Ｃ１７（図３参照）に適用した時の決定木構造
を図１５に示す。尚、図１５において、出力端子の論理
状態（出力ベクタ）をｌｉｎｅ２２（ｌ２２）＝１，ｌ
ｉｎｅ２３（ｌ２３）＝１とする。

【００３８】決定木構造はノード（丸で囲まれた数字、
図１５では１，３，１０，１６）が仮決定を行う信号線
番号を表し、枝（ノード間をつなぐ実線）が仮決定した
論理状態を表している。図１５の場合、延べ４箇所の信
号線に対して“０”及び“１”の両方の仮決定を計８回
行うことによって、出力端子の論理状態を満足する５種
類の内部論理状態が求まり、各状態を正常論理値と比較
することで故障伝搬経路が求まる。

【００３９】尚、図１５において四角枠で示した各信号
線の論理状態はｌｉｎｅ１，ｌｉｎｅ２，ｌｉｎｅ３，
ｌｉｎｅ６，ｌｉｎｅ７，ｌｉｎｅ１０，ｌｉｎｅ１
１，ｌｉｎｅ１６，ｌｉｎｅ１９，ｌｉｎｅ２２，ｌｉ
ｎｅ２３の順番で示している。また、論理状態に下線を
記している状態は正常論理値と異なる故障伝搬経路を示
している。

【００４０】ここで、図３の回路図を参照すると、ｌｉ
ｎｅ１（ｌ１）及びｌｉｎｅ１０（ｌ１０）は、その信
号線上に故障が存在した場合に、ｌｉｎｅ２３（ｌ２
３）に故障を伝搬する可能性がないことがわかる。

【００４１】求まった５つの論理状態を比較すると、
（１１１０Ｘ０１０Ｘ１１）及び（０１１０Ｘ１１０Ｘ
１１）はｌｉｎｅ１及びｌｉｎｅ１０の論理状態が異な
り、また、（０１０ＸＸ１１０Ｘ１１）及び（１１０Ｘ
Ｘ１１０Ｘ１１）はｌｉｎｅ１の故障状態が異なるだけ
であり、故障出力端子に故障を伝搬する可能性のないｌ
ｉｎｅ１及びｌｉｎｅ１０を含んだ冗長なデータが出力
されることになる。

【００４２】その他の故障伝搬経路抽出方式として、予
め故障シミュレーションにより得られた故障辞書とテス
ト結果とを比較して故障箇所を推定する故障辞書法があ
る。しかしながら、故障辞書の作成は長時間の計算時間
を必要とする故障シミュレーションを必要とし、また回
路規模が大きくなるにつれて辞書のサイズが大きくなる
ため、故障の種類が単一故障に限られているのが普通で
ある。

【００４３】特開平１−２４４３８４号公報に開示され
た技術には故障出力端子からＥＢ（電子ビーム）テスタ
等の物理的解析手段によって信号線の論理状態を測定し
ながら故障伝搬経路を辿って故障箇所を特定する装置が
示されている。

【００４４】しかしながら、近年のＬＳＩ（大規模集積
回路）チップの微細化や配線の多層化によって、物理的
解析手段では回路内部の論理状態が測定困難になってき
ており、故障伝搬経路を物理的に辿ることは難しい。

【００４５】

【発明が解決しようとする課題】上述した従来の故障伝
搬経路抽出方式では、故障伝搬経路に接続していない信
号線に対しても仮決定及び含意操作を行うため、計算量
が多くなり、計算時間が長くなってしまう。

【００４６】元々、テストパターン生成は故障を回路内
部に仮定し、その故障が出力端子に伝搬して検出できる
ような入力パターンを求めることが目的であるので、１
つの入力パターンを高速に求めるように最適化されてい
る。そのため、出力論理状態を満足するような故障伝搬
経路を全て求めようとすると、膨大な計算時間を必要と
し、上記の従来技術と同様に、故障出力端子に影響を与
えうる故障伝搬経路のみを抽出するのは難しく、出力デ
ータ量が膨大になる。

【００４７】また、故障出力に故障を伝搬する可能性の
ない故障伝搬経路を出力するため、出力されるデータ量
が膨大となってしまう。さらに、逆論理展開方式を利用
して組合せ回路を正常と仮定して出力論理状態を満足す
る入力論理状態を求めてから故障伝搬経路を出力してい
るため、組合せ回路内部の故障に起因する故障伝搬経路
を抽出することができない。

【００４８】そこで、本発明の目的は上記の問題点を解
消し、高速な故障伝搬経路抽出アルゴリズム及び故障出
力に故障を伝搬する可能性のある故障伝搬経路のみを出
力する逆論理展開アルゴリズムを得ることができる故障
伝搬経路抽出システム及びその方法並びにその制御プロ
グラムを記録した記録媒体を提供することにある。

【００４９】本発明の他の目的は、組合せ回路内部の故
障に起因する故障伝搬経路を抽出することができる故障
伝搬経路抽出システム及びその方法並びにその制御プロ
グラムを記録した記録媒体を提供することにある。

【００５０】

【課題を解決するための手段】本発明による故障伝搬経
路抽出システムは、既推定のゲートの入出力線の論理状
態から未推定のゲートの入出力線の論理状態を推定する
含意操作と論理状態の仮決定とを繰り返して全ての信号
線の論理状態を推定するバックトラック方式を用いて、
組合せ論理回路の出力端子の論理状態から入力端子の論
理状態を推定する逆論理展開方式で故障伝搬経路を抽出
する故障伝搬経路抽出システムであって、前記故障伝搬
経路と接続している信号線を前記論理状態の仮決定の対
象とする信号線として検索する故障伝搬経路影響線検索
手段と、前記故障伝搬経路影響線検索手段の検索結果を
基に前記故障伝搬経路から故障出力端子に故障を伝搬す
る可能性のある信号線を抽出する故障出力端子接続関係
線抽出手段とを備えている。

【００５１】本発明による他の故障伝搬経路抽出システ
ムは、上記の構成のほかに、前記含意操作により推定さ
れた論理状態がその時点までに推定された論理状態との
間で矛盾が生じるかを確認しながら前記含意操作を進め
る含意操作手段を具備している。

【００５２】本発明による故障伝搬経路抽出方法は、既
推定のゲートの入出力線の論理状態から未推定のゲート
の入出力線の論理状態を推定する含意操作と論理状態の
仮決定とを繰り返して全ての信号線の論理状態を推定す
るバックトラック方式を用いて、組合せ論理回路の出力
端子の論理状態から入力端子の論理状態を推定する逆論
理展開方式で故障伝搬経路を抽出する故障伝搬経路抽出
方法であって、前記故障伝搬経路と接続している信号線
を前記論理状態の仮決定の対象とする信号線として検索
するステップと、前記故障伝搬経路影響線検索手段の検
索結果を基に前記故障伝搬経路から故障出力端子に故障
を伝搬する可能性のある信号線を抽出するステップとを
備えている。

【００５３】本発明による他の故障伝搬経路抽出方法
は、上記のステップのほかに、前記含意操作により推定
された論理状態がその時点までに推定された論理状態と
の間で矛盾が生じるかを確認しながら前記含意操作を進
めるステップを具備している。

【００５４】本発明による故障伝搬経路抽出制御プログ
ラムを記録した記録媒体は、既推定のゲートの入出力線
の論理状態から未推定のゲートの入出力線の論理状態を
推定する含意操作と論理状態の仮決定とを繰り返して全
ての信号線の論理状態を推定するバックトラック方式を
用いて、組合せ論理回路の出力端子の論理状態から入力
端子の論理状態を推定する逆論理展開方式で故障伝搬経
路を抽出する故障伝搬経路抽出制御プログラムを記録し
た記録媒体であって、前記故障伝搬経路抽出制御プログ
ラムは前記故障伝搬経路の抽出を制御する制御手段に、
前記故障伝搬経路と接続している信号線を前記論理状態
の仮決定の対象とする信号線として検索させ、前記故障
伝搬経路影響線検索手段の検索結果を基に前記故障伝搬
経路から故障出力端子に故障を伝搬する可能性のある信
号線を抽出させている。

【００５５】本発明による他の故障伝搬経路抽出制御プ
ログラムを記録した記録媒体は、上記の処理のほかに、
前記故障伝搬経路抽出制御プログラムは前記制御手段
に、前記含意操作により推定された論理状態がその時点
までに推定された論理状態との間で矛盾が生じるかを確
認しながら前記含意操作を進めさせている。

【００５６】すなわち、本発明の第１の故障箇所抽出方
式は、故障伝搬経路に接続している信号線にのみ論理値
の仮決定を行い、故障出力端子に故障を伝搬する可能性
のある故障伝搬経路のみを抽出する。

【００５７】より具体的には、論理状態が“Ｕ（Ｕｎｋ
ｎｏｗｎ）”でありかつ仮決定の対象とする信号線を検
索する際に故障伝搬経路に接続している信号線を検索す
る故障伝搬経路影響線検索手段と、抽出した故障伝搬経
路から経路と故障出力端子との物理的な接続関係を調べ
ることによって、故障出力端子に故障を伝搬する可能性
のある信号線を抽出する故障出力端子接続関係線抽出手
段とを備えている。

【００５８】また、本発明の第２の故障箇所抽出方式
は、組合せ回路内部の故障に起因する故障伝搬経路を抽
出するため、含意操作によって推定された論理状態がそ
の時点までに推定された論理状態との間で矛盾が生じる
かを確認しながら含意操作を進め、含意操作中に矛盾が
検出された時のデータを保存する。

【００５９】より具体的には、含意操作によって推定さ
れた論理状態がその時点までに推定された論理状態との
間で矛盾が生じるかを確認しながら含意操作を進める第
２の含意操作手段を有する。

【００６０】故障伝搬経路の接続線検索手段は仮決定の
対象とする信号線を検索する際に、故障伝搬経路と接続
している信号線のみに限定する。故障出力端子影響線抽
出手段は抽出された故障伝搬経路から故障出力端子に故
障を伝搬する可能性のある信号線を抽出する。第２の含
意操作手段は含意スタート線の論理状態がその時点まで
に決定している論理状態との間で矛盾が生じないかを確
認しながら含意操作を行う。

【００６１】これによって、本発明の故障箇所抽出方式
では、高速な故障伝搬経路抽出アルゴリズム、あるいは
故障出力に故障を伝搬する可能性のある故障伝搬経路の
みを出力する逆論理展開アルゴリズムを得ることがで
き、組合せ回路内部の故障に起因する故障伝搬経路を抽
出することができる。

【００６２】この場合、原理的には物理的解析手段を用
いずに故障伝搬経路を推定することが可能であり、今後
の微細化及び配線の多層化が進んだＬＳＩに対しても効
果が期待できる。また、テストパターンの生成方式を利
用することも可能である。

【００６３】

【発明の実施の形態】次に、本発明の実施例について図
面を参照して説明する。図１は本発明の一実施例による
故障伝搬経路抽出システムの構成を示すブロック図であ
る。図において、本発明の一実施例による故障伝搬経路
抽出システムはキーボード等の入力装置１と、プログラ
ム制御によって動作するデータ処理装置２と、情報を記
憶する記憶装置４と、ディスプレイ装置や印刷装置等の
出力装置５とを含む。

【００６４】記憶装置４は論理回路構成記憶部４１と、
仮決定状態記憶部４２と、論理状態記憶部４３とを備え
ている。論理回路構成記憶部４１は論理回路の構成、す
なわちゲートの種類、ゲート同士の接続関係、ゲートと
信号線の接続関係、信号線同士の接続関係等、論理回路
の構成を予め記憶している。

【００６５】仮決定状態記憶部４２は何個の仮決定を行
ったかを表す仮決定レベル、及び各信号線の論理状態が
含意操作によって推定された時点における仮決定レベル
を記憶している。論理状態記憶部４３は処理中の各信号
線における論理状態及び回路が正常である時の各信号線
の論理状態（正常論理値）を記憶している。

【００６６】データ処理装置２は初期設定手段２１と、
Ｘ（Ｄｏｎ’ｔ Ｃａｒｅ）状態（以下、Ｘ状態とす
る）設定手段２２と、第１の含意操作手段２３と、論理
矛盾判定手段２４と、処理終了判定手段２５と、バック
トラック手段２６と、Ｕ（Ｕｎｋｎｏｗｎ）状態（Ｕ状
態とする）検索手段２７と、故障伝搬経路影響線検索手
段２８と、論理値仮決定手段２９と、論理値比較手段３
０と、故障出力端子接続関係線抽出手段３１とを備えて
いる。

【００６７】初期設定手段２１は入力装置１から与えら
れた論理回路の種類、入出力端子の論理状態の設定を行
う。Ｘ状態設定手段２２は論理回路構成記憶部４１に記
憶された論理回路構成と論理状態記憶部４３に記憶され
た拡散の論理状態とを参照し、論理状態が確定していな
い各信号線の初期論理状態をＸ状態に設定して論理状態
記憶部４３に記録する。

【００６８】第１の含意操作手段２３は、図１１に示す
従来例による第１の含意操作手段２３と同様に、含意操
作手段２３１と、論理矛盾検出手段２３２と、第１の含
意操作可能ゲート検索手段２３３と、含意操作終了判定
手段２３４とを含んでいる。

【００６９】含意操作手段２３１は論理回路構成記憶部
４１に記憶されている論理回路構成及び論理状態記憶部
４３に記憶されている各信号線の論理状態を参照して初
期設定手段２１で設定された入出力線、あるいは論理値
仮決定手段２９において仮決定した信号線に接続された
ゲート、第１の含意操作可能ゲート検索手段２３３にお
いて検出されたゲートにおいて入出力線の論理状態の推
定を行う。論理状態の推定は“０”，“１”，“Ｘ”を
使用して行う。

【００７０】論理値が新たに推定された場合にはその論
理値を論理状態記憶部４３に記録し、さらに仮決定状態
記憶部４２にその推定が何個の仮決定の下に推定された
かを示す仮決定レベルを記録する。

【００７１】論理矛盾検出手段２３２は論理回路構成記
憶部４１に記憶されている論理回路構成及び論理状態記
憶部４３に記憶されている各信号線の論理状態を参照
し、含意操作手段２３１において新たに決定した論理状
態がその時点までに決定している論理状態との間で矛盾
が生じている場合にそれを検出する。

【００７２】第１の含意操作可能ゲート検索手段２３３
は論理回路構成記憶部４１に記憶されている論理回路構
成及び論理状態記憶部４３に記憶されている各信号線の
論理状態を参照し、含意操作が可能なゲートを検索す
る。含意操作が可能なゲートとはゲートの機能とそのゲ
ートに接続された既に論理状態が“０”または“１”に
決定している入出力線の論理状態とによって、そのゲー
トに接続された未だ論理状態が決定していない入出力線
の論理状態を含意して決定することができるようなゲー
トのことである。

【００７３】含意操作終了判定手段２３４は第１の含意
操作可能ゲート検索手段２３３において含意操作の対象
ゲートが検出されない場合、全ての含意操作が終了した
と判定して第１の含意操作手段２３の処理を終了する。

【００７４】論理矛盾判定手段２４は第１の含意操作手
段２３において信号線の論理状態に矛盾が生じているか
を検出する。処理終了判定手段２５は論理状態記憶部４
３に記憶された各信号線の論理状態を参照し、全信号線
の論理状態が推定されたかの判定を行う。

【００７５】バックトラック手段２６は仮決定状態記憶
部４２に記憶された仮決定状態及び論理状態記憶部４３
に記憶された信号線の論理状態を参照し、既に処理が終
了した仮決定レベルの論理状態を消去し、各信号線の論
理状態を、仮決定を行う前の論理状態に戻す。Ｕ状態検
索手段２７は組合せ回路内のゲートの入出力の論理状態
を調べ、論理状態が不完全なＵｎｋｎｏｗｎ状態の信号
線を検索する。

【００７６】故障伝搬経路影響線検索手段２８は論理回
路構成記憶部４１に記憶されている論理回路構成及び論
理状態記憶部４３に記憶されている各信号線の論理状態
を参照し、Ｕｎｋｎｏｗｎ状態の信号線から故障伝搬経
路に接続している信号線を検索する。故障伝搬経路に接
続している信号線とは故障伝搬経路、すなわち推定した
論理状態と正常論理値とが異なる信号線及びゲートを介
して接続しているため、故障伝搬経路が故障状態になっ
ていることで影響を受けて故障状態となる可能性のある
信号線のことである。

【００７７】論理値仮決定手段２９は故障伝搬経路影響
線検索手段２８において検出した論理値が不定状態
“Ｕ”で、かつ故障伝搬経路にゲートを介して接続して
いる信号線に対して論理状態を決定する。

【００７８】論理値比較手段３０は求めた各信号線の論
理状態を、正常回路において論理シミュレーションによ
って求めた各信号線の論理状態を表す正常論理値と比較
し、故障伝搬経路を抽出する。故障出力端子接続関係線
抽出手段３１は論理値比較手段３０において抽出した故
障伝搬経路のうち、経路と故障出力端子との物理的な接
続関係を調べることによって、その経路上に故障が存在
する時に故障出力端子に故障を伝搬する可能性のある故
障伝搬経路を抽出し、そのデータを出力装置５に出力す
る。

【００７９】図２は本発明の一実施例による故障伝搬経
路抽出システムの動作を示すフローチャートである。こ
れら図１及び図２と図１４に示す従来例の動作とを参照
して本発明の一実施例の動作について説明する。

【００８０】本発明の一実施例による故障伝搬経路抽出
システムに使用する信号線の論理状態は“０”，
“１”，“Ｕ（Ｕｎｋｎｏｗｎ）”及び“Ｘ（Ｄｏｎ’
ｔ Ｃａｒｅ）”である。尚、論理状態“Ｕ（Ｕｎｋｎ
ｏｗｎ）”は信号線の論理状態が“０”あるいは“１”
に決定することができない不定状態を表すのに対し、論
理状態“Ｘ（Ｄｏｎ’ｔ Ｃａｒｅ）”は信号線の論理
状態が“０”及び“１”の両方とも論理回路全体の論理
状態に矛盾を生じない時に“０”及び“１”の両方の論
理状態を許すことを意味する論理状態である。

【００８１】入力装置１から与えられた入出力端子の論
理状態を初期設定手段２１において設定し、仮決定の回
数を表す仮決定レベル（ｄｌｅｖｅｌ）を初期化する
（図２ステップＳ１，Ｓ２）。論理状態が推定されてい
ない信号線に対しては含意操作の初期状態として状態
“Ｘ”を設定し、その結果を論理状態記憶部４３に記憶
する（図２ステップＳ３）。

【００８２】続いて、第１の含意操作手段２３において
含意操作を行う（図２ステップＳ４）。含意操作とは各
ゲートにおいて、既推定のゲートの入出力線の論理状態
から未推定のゲートの入出力線の論理状態を推定する操
作である。

【００８３】この含意操作について、図１及び図１３に
示す従来例の含意操作を参照して説明する。まず、含意
操作手段２３１（図１３ステップＳ７１）においては検
出されたゲートにて含意操作によって入出力線の論理状
態の推定を行う。初期設定（図２ステップＳ１）で設定
された入出力線、あるいは論理値仮決定手段２９におい
て仮決定した信号線に接続されたゲート、第１の含意操
作可能ゲート検索手段２３３において検出されたゲート
において入出力線の論理状態の推定を行う。推定された
論理状態はその時点の仮決定レベルと共に記録される。
一例として、２入力ナンド（ＮＡＮＤ）ゲートの場合の
含意操作例を図１４に示す。

【００８４】論理矛盾検出手段２３２においては新たに
決定した論理状態に対して矛盾が生じているかを検出す
る。矛盾を検出した場合には含意操作を終了する（図１
３ステップＳ７２）。ステップＳ７２において論理矛盾
が検出されなかった場合には、第１の含意操作可能ゲー
ト検索手段２３３（図１３ステップＳ７３）においてそ
の他の含意操作可能なゲートを検索する。

【００８５】続いて、含意操作終了判定手段２３４にお
いては含意操作が全て終了したかを判定する。ステップ
Ｓ７３においてゲートが検出された場合にはステップＳ
７４において含意操作が未だ終了していないと判定す
る。ステップＳ７３においてゲートが検出されない場合
には、ステップＳ７４において含意操作が終了したと判
定して第１の含意操作を終了する。

【００８６】次に、論理矛盾判定手段２４によって含意
操作中に各信号線の論理状態の矛盾を検出する（図２ス
テップＳ５）。論理矛盾判定手段２４において矛盾が検
出されなければ、処理終了判定手段２５によって論理状
態記憶部３３に記憶されている信号線の論理状態を参照
し、全信号線の論理状態が“０”，“１”または“Ｘ”
に推定されたかを判定する（図２ステップＳ６）。ステ
ップＳ６において全信号線の論理状態推定が終了してい
ないと判定された場合にはＵ状態検索手段２７において
組合せ回路内のゲートの入出力の論理状態を調べ、論理
状態が不完全なＵｎｋｎｏｗｎ状態の信号線を検索する
（図２ステップＳ７）。

【００８７】その中から故障伝搬経路に接続している信
号線を検索する（図２ステップＳ８）。故障伝搬経路に
接続している信号線とは故障伝搬経路、すなわち推定し
た論理状態と正常論理値とが異なる信号線及びゲートを
介して接続している信号線のことである。

【００８８】検出した信号線に対して“０”と仮決定を
行い、仮決定の回数を表す仮決定レベル（ｄｌｅｖｅ
ｌ）を１だけ増加し（図２ステップＳ９）、第１の含意
操作手段２３による含意操作処理（図２ステップＳ４）
に戻る。処理終了判定手段２５において全信号線の論理
状態が推定されたと判定された場合には、回路内部の論
理状態が“０”，“１”または“Ｘ”に定まったわけで
あるから、論理値比較手段３０（図２ステップＳ１０）
において正常論理値と異なる状態を持つ信号線、すなわ
ち故障伝搬経路を抽出する。

【００８９】さらに、故障出力端子接続関係線抽出手段
３１において経路と故障出力端子との物理的な接続関係
を調べることによって、故障伝搬経路の中から経路上に
故障が存在する時に故障出力端子に直接影響を与えるよ
うな故障伝搬経路を抽出し、出力装置５に出力する（図
２ステップＳ１１）。

【００９０】次に、仮決定を行った全仮決定線に対して
“０”及び“１”の両方の仮決定処理が終了しているか
を判定する（図２ステップＳ１２）。ステップＳ１２に
おいて、全信号線の論理状態が推定されたと判定された
時には、組合せ論理回路内部の信号線の論理状態は
“０”，“１”または“Ｘ”と推定されている。論理矛
盾判定手段２４において矛盾が検出された場合にも、ス
テップＳ１２の判定処理が行われる。

【００９１】処理終了判定手段２５（図２ステップＳ１
２）において仮決定処理が終了していないと判定された
場合には、バックトラック手段２６において状態“１”
と仮決定していない仮決定線を仮決定レベルの大きい方
から一つ検索し、検出した仮決定線の仮決定レベル以上
の仮決定において推定された信号線の論理状態が不定状
態であることを示す状態“Ｕ”に初期化し、各信号線の
論理状態をその仮決定を行う前の論理状態に戻す（図２
ステップＳ１３）。

【００９２】論理値仮決定手段２９において、バックト
ラック手段２６で検出された仮決定線の状態を“１”と
仮決定し（図２ステップＳ１４）、第１の含意操作手段
２３による含意操作処理（図２ステップＳ４）に戻る。

【００９３】処理終了判定手段２５（図２ステップＳ１
２）において仮決定処理が終了していると判定された場
合には、故障伝搬経路抽出処理を終了する。ここで、Ｕ
状態検索手段２７及び故障伝搬経路影響線検索手段２８
の機能を合わせて、論理状態が“Ｕ”で故障伝搬経路と
接続している信号線を１つだけ求めるように変形するこ
とも可能である。

【００９４】本発明の一実施例による故障伝搬経路抽出
システムは、仮決定を行う信号線を検索する際に故障伝
搬経路と接続している信号線に限定して検索を行ってい
るので、故障伝搬経路と接続していない信号線に論理値
の仮決定を行うことがなくなることから仮決定の回数が
減少するため、故障伝搬経路を高速に抽出することがで
きる。

【００９５】また、抽出された故障伝搬経路から故障出
力端子に故障を伝搬しうる経路に限定して出力するた
め、故障出力端子に故障を伝搬する可能性のない余分な
経路を出力することがなくなる。さらに、対象とする故
障は故障辞書法のように単一故障に限らず、存在する可
能性のある故障伝搬経路を全て求めることが可能であ
る。さらにまた、論理値の仮決定は独立に処理すること
ができるため、並列処理による効率の良い高速化が実現
可能である。

【００９６】図３は本発明の一実施例による故障伝搬経
路抽出システムの動作を説明するための回路例を示す図
であり、図４は本発明の一実施例による故障伝搬経路抽
出システムの動作を説明するための決定木構造を示す図
である。これら図１〜図４と図１１に示す従来例による
第１の含意操作手段２３と図１３に示す従来例の含意操
作と図１４に示す従来例の動作とを参照して本発明の一
実施例による故障伝搬経路抽出システムの動作を、ＩＳ
ＣＡＳ’８５ベンチマーク回路Ｃ１７を用いて詳細に説
明する。

【００９７】ＩＳＣＡＳ’８５ベンチマーク回路Ｃ１７
の出力端子の論理状態がｌｉｎｅ２２＝１，ｌｉｎｅ２
３＝１となる時の故障伝搬経路を抽出する。但し、各信
号線の正常論理値は予め論理シミュレーションによって
求めておく。また、図中及び説明中のｌｉｎｅ及びＧａ
ｔｅは夫々信号線の番号及びゲートの番号を表し、ｌｉ
ｎｅ及びＧａｔｅ、またはｌ及びＧで表示する。

【００９８】例えば、番号１０の信号線をｌｉｎｅ１０
（ｌ１０）、ｌｉｎｅ１０を出力線として持つゲートを
Ｇａｔｅ１０（Ｇ１０）と表記する。また、図中及び説
明中の論理値のカッコ内の数値はその信号線の正常論理
値を示している。

【００９９】入力装置１によって、ＩＳＣＡＳ’８５ベ
ンチマーク回路Ｃ１７の出力端子の論理状態としてｌｉ
ｎｅ２２＝１（１），ｌｉｎｅ２３＝１（０）が入力さ
れると（図２ステップＳ１）、ｄｌｅｖｅｌが“０”に
初期化され（図２ステップＳ２）、初期設定手段２１及
びＸ状態設定手段２２によって出力端子ｌｉｎｅ２２，
ｌｉｎｅ２３の論理状態が両者とも“１”に、出力端子
以外の信号線の状態が“Ｘ”に設定される（図２ステッ
プＳ３）。

【０１００】第１の含意操作手段２３においては第１の
含意操作を行う（図２ステップＳ４）。含意操作可能な
全てのゲートにおいて矛盾が生じない限り含意操作を行
い、推定可能な信号線の論理状態を推定する。ここで含
意される信号線はない。

【０１０１】ステップＳ４で新たに論理状態が決定する
信号線はなかったので、ステップＳ５で矛盾は生じな
い。Ｕｎｋｎｏｗｎ線を検索するとｌｉｎｅ１０，ｌｉ
ｎｅ１６，ｌｉｎｅ１９が検出される（図２ステップＳ
７）。ここで、故障伝搬経路、すなわちｌｉｎｅ２３＝
１（０）に故障を伝搬する可能性のある信号線は、ｌｉ
ｎｅ１６，ｌｉｎｅ１９であるので（図２ステップＳ
８）、ｌｉｎｅ１６＝０と仮決定する。

【０１０２】ステップＳ４においてｌｉｎｅ１６＝０か
ら含意操作を行うと、Ｇａｔｅ１６における含意操作に
よって、ｌｉｎｅ２＝１，ｌｉｎｅ１１＝１が推定され
る（図１３ステップＳ７３）。ステップＳ４において新
たに決定した論理状態ｌｉｎｅ２＝１，ｌｉｎｅ１１＝
１は矛盾を生じない（図２ステップＳ５）。Ｕｎｋｎｏ
ｗｎ線を検索すると、ｌｉｎｅ３，ｌｉｎｅ６が検出さ
れ（図２ステップＳ７）、両方とも故障伝搬経路ｌｉｎ
ｅ２３＝１（０），ｌｉｎｅ１６＝０（１），ｌｉｎｅ
１１＝１（０）と接続しているのでｌｉｎｅ３を選択し
（図２ステップＳ８）、ｌｉｎｅ３＝０と仮決定する
（図２ステップＳ９）。ステップＳ４においてｌｉｎｅ
３＝０から含意操作を行うと、Ｇａｔｅ１０においてｌ
ｉｎｅ１０＝１が推定され、このとき，矛盾は生じな
い。

【０１０３】ステップＳ４における第１の含意操作にお
いて矛盾は生じない（図２ステップＳ５）、また、Ｕｎ
ｋｎｏｗｎ線がなくなったため推定処理を終了し（図２
ステップＳ６）、推定した論理状態と正常論理値とを比
較して故障伝搬経路を抽出すると、ｌｉｎｅ３＝０
（１），ｌｉｎｅ１０＝１（０），ｌｉｎｅ１１＝１
（０），ｌｉｎｅ１６＝０（１），ｌｉｎｅ２３＝１
（０）が抽出される（図２ステップＳ１０）。

【０１０４】しかしながら、ｌｉｎｅ１０は故障出力端
子に故障を伝搬しない。すなわち、ｌｉｎｅ１０＝１と
いう故障があったとしてもｌｉｎｅ２３＝１（０）とい
う故障出力の直接の原因とはならない。そこで、故障出
力端子に故障を伝搬する可能性のある故障伝搬経路とし
てｌｉｎｅ３＝０（１），ｌｉｎｅ１１＝１（０），ｌ
ｉｎｅ１６＝０（１），ｌｉｎｅ２３＝１（０）を出力
する。仮決定を行ったｌｉｎｅ３＝０をｌｉｎｅ３＝１
と仮決定をやり直し（図２ステップＳ１３，Ｓ１４）、
処理を続ける。

【０１０５】以下、図４に示した決定木構造に示すよう
に、仮決定と含意操作及びバックトラックとを繰り返し
てｌｉｎｅ２２＝１，ｌｉｎｅ２３＝１を満足するよう
な故障伝搬経路を求めることができる。

【０１０６】２箇所の信号線に対して、“０”及び
“１”の両方の仮決定を計４回行うことによって、出力
端子の論理状態を満足する３種類の故障伝搬経路を求め
ることができる。また、論理値の仮決定は独立に処理す
ることができるため、並列処理による効率の良い高速化
が実現可能である。例えば、図４において、ｌｉｎｅ１
６＝０及びｌｉｎｅ１６＝１の処理は独立に処理可能で
あるため、並列計算機による効率の良い高速処理が可能
である。

【０１０７】図５は本発明の他の実施例による故障伝搬
経路抽出システムの構成を示すブロック図であり、図６
は図５に示す第２の含意操作手段の構成を示すブロック
図である。これらの図において、本発明の他の実施例に
よる故障伝搬経路抽出システムはデータ処理装置６がデ
ータ処理装置２の第１の含意操作手段２３の代わりに第
２の含意操作手段６１を備え、論理矛盾判定手段２４か
ら論理値比較手段３０に至る処理フローを追加した以外
は図１に示す本発明の一実施例による故障伝搬経路抽出
システムと同様の構成となっており、同一構成要素には
同一符号を付してある。また、同一構成要素の動作は本
発明の一実施例と同様である。

【０１０８】第２の含意操作手段６１は、図６に示すよ
うに、第１の含意操作手段２３が有する含意操作手段２
３１と、論理矛盾検出手段２３２と、第１の含意操作可
能ゲート検索手段２３３と、含意操作終了判定手段２３
４との他に、含意スタート線設定手段６１１と、影響ゲ
ート検索手段６１２と、第２の含意操作可能ゲート検索
手段６１３と、入力方向含意操作手段６１４とを有して
いる。

【０１０９】含意スタート線設定手段６１１は論理値仮
決定手段２９、あるいは初期設定手段２１において論理
状態が決定した信号線を含意スタート線として設定す
る。影響ゲート検索手段６１２は含意スタート線の出力
側に接続している信号線、すなわち含意スタート線の論
理状態が決定したことによって影響を受けるゲートを検
索する。

【０１１０】第２の含意操作可能ゲート検索手段６１３
は論理回路構成記憶部４１に記憶されている論理回路構
成及び論理状態記憶部４３に記憶されている各信号線の
論理状態を参照し、含意操作手段２３１において論理状
態が決定した信号線に接続されたゲートを検索して含意
操作が可能なゲートを検索する。

【０１１１】入力方向含意操作手段６１４は第１の含意
操作可能ゲート検索手段２３３で検出されたゲートにお
いて、論理回路構成記憶部４１に記憶されている論理回
路構成及び論理状態記憶部４３に記憶されている各信号
線の論理状態を参照し、入力方向に含意操作を行う。

【０１１２】図７は本発明の他の実施例による故障伝搬
経路抽出システムの動作を示すフローチャートである。
これら図５〜図７を参照して本発明の他の実施例による
故障伝搬経路抽出システムの動作について説明する。

【０１１３】ここで、図７のステップＳ２１〜Ｓ２３，
Ｓ２６〜Ｓ３３は図２のステップＳ１〜Ｓ３，Ｓ６〜Ｓ
１３と同様である。Ｓ２１〜Ｓ２３，Ｓ２６〜Ｓ３３で
示される初期設定手段２１とＸ状態設定手段２２と第１
の含意操作手段２３と処理終了判定手段２５とバックト
ラック手段２６とＵ状態検索手段２７と故障伝搬経路影
響線検索手段２８と論理値仮決定手段２９と論理値比較
手段３０と故障出力端子接続関係線抽出手段３１との動
作は本発明の一実施例の動作と同一のため、その動作説
明を省略する。

【０１１４】本発明の一実施例による故障伝搬経路抽出
システムでは各信号線の論理状態を推定する際に組合せ
回路を正常な回路として扱い、含意操作の際に論理矛盾
が生じた場合にその時の情報を破棄してバックトラック
処理によって仮決定をやり直している。

【０１１５】組合せ回路内部に故障が存在する場合には
必然的に含意操作の際に矛盾が生じるはずであるので、
入力方向の含意操作によって信号線の論理状態が推定さ
れた際にはその状態がその時までに決定している論理状
態との間で矛盾が生じるかを確かめ、もし矛盾が生じる
場合にはそれまでに求めた故障伝搬経路を出力するよう
にしている。

【０１１６】そこで、本発明の他の実施例による故障伝
搬経路抽出システムでは論理矛盾判定手段２４（図７ス
テップＳ２５）において矛盾が検出されなければ、論理
値比較手段３０（図７ステップＳ３０）において、正常
論理値と異なる状態を持つ信号線、すなわち故障伝搬経
路を抽出する。

【０１１７】さらに、故障出力端子接続関係線抽出手段
３１において、経路と故障出力端子の物理的な接続関係
を調べることによって、故障伝搬経路の中から経路上に
故障が存在する時に故障出力端子に直接影響を与えるよ
うな故障伝搬経路を抽出し、出力装置５に出力する（図
７ステップＳ３１）。

【０１１８】図８は図６に示す第２の含意操作手段６１
による含意操作を示すフローチャートである。これら図
６及び図８を参照して第２の含意操作手段６１による含
意操作の動作について説明する。

【０１１９】含意スタート線設定手段６１１（図８ステ
ップＳ４１）において含意操作をスタートする信号線を
設定する。論理値仮決定手段２９、あるいは初期設定手
段２１において設定した故障出力線を含意スタート線と
して設定する。影響ゲート検索手段６１２（図８ステッ
プＳ４２）において、含意スタート線の出力側に接続し
ているゲート、すなわち含意スタート線の論理状態が決
定したことによって影響を受けるゲートを検索する。

【０１２０】含意操作手段２３１（図８ステップＳ４
３）において、ステップＳ４２で検出されたゲートにて
含意操作によって入出力線の論理状態の推定を行う。推
定された論理状態はその時点の仮決定レベルと共に記録
される。一例として、２入力ナンド（ＮＡＮＤ）ゲート
の場合の含意操作例を図１４に示す。

【０１２１】論理矛盾検出手段２３２（図８ステップＳ
４４）において、新たに決定した論理状態に対して矛盾
が生じているかを検出する。矛盾を検出した場合には含
意スタート線の論理状態が矛盾を生じさせる原因である
ので、含意スタート線を設定した時点まで各信号線の論
理状態を戻す。そして、含意スタート線の論理状態を反
転させてから（図８ステップＳ４５）、ステップＳ４８
の処理に移る。

【０１２２】ステップＳ４４において矛盾が検出されな
かった場合には第２の含意操作可能ゲート検索手段６１
３（図８ステップＳ４６）においてステップＳ４３で論
理状態が決定した信号線の影響を受けるゲートを検索す
る。ステップＳ４６において影響を受けるゲートが検出
された場合には、検出されたゲートの含意操作をするた
めに含意操作手段２３１の処理（図８ステップＳ４３）
に戻る。

【０１２３】ステップＳ４６において影響を受けるゲー
トが検出されなかった場合には、第１の含意操作可能ゲ
ート検索手段２３３（図８ステップＳ４８）においてそ
の他の含意操作可能なゲートを検索する。ここで検出さ
れるゲートは含意スタート線の入力側に接続しているゲ
ートである。

【０１２４】ステップＳ４４で矛盾が検出されることな
くステップＳ４８に処理が移った場合には、含意スター
ト線の論理状態が出力側の論理状態を満足し、この時点
までに求めた論理状態が回路の出力論理状態を満足して
いることを意味する。

【０１２５】続いて、含意操作終了判定手段２３４にお
いて含意操作が全て終了したかを判定する。ステップＳ
４８においてゲートが検出された場合はステップＳ４９
において含意操作が未だ終了していないと判定し、入力
方向含意操作手段６１４において、検出されたゲートの
入力方向に含意操作を行う（図８ステップＳ５０）。こ
こで、新たに論理状態が決定した信号線を含意スタート
線としてステップＳ４１に戻る。

【０１２６】ステップＳ４８においてゲートが検出され
ない場合には、ステップＳ４９において含意操作が終了
したと判定して第１の含意操作を終了する。ここで、論
理矛盾検出手段２３２（図８ステップＳ４４）におい
て、矛盾を検出した場合には含意スタート線を設定した
時点まで各信号線の論理状態を戻し、含意スタート線の
論理状態を反転させてから処理を継続しているが、反転
させなくても故障伝搬経路の抽出は可能である。

【０１２７】本発明の他の実施例による故障伝搬経路抽
出システムでは、含意操作によって推定された論理状態
がその時点までに推定された論理状態との間で矛盾が生
じるかを確認しながら含意操作を進めるため、論理矛盾
が生じた時点までに得られる故障伝搬経路は故障出力端
子に故障を伝搬しうる経路である。よって、組合せ回路
内部の故障に起因する故障伝搬経路を抽出することがで
きる。

【０１２８】さて、特開平８−９４７１４号公報には故
障出力端子から故障伝搬経路を入力方向に辿って組合せ
回路内部の故障箇所を推定する方式が開示されている。
この方式では故障状態の出力線を持つゲートの入力線に
対して故障を仮定してその故障が出力端子の論理状態を
満足した時、仮定した故障が存在しうると判断すること
で組合せ回路内部の故障箇所を推定する。

【０１２９】その結果、故障のみを辿ることによって故
障箇所推定の高速化が実現されているが、論理状態が正
常な信号線に対しては全く含意操作を行なわないため、
再収斂回路を含む組合せ回路に対しては適用することが
できない。

【０１３０】これに対し、本発明の他の実施例による故
障伝搬経路抽出システムでは、推定された信号線の論理
状態にかかわらず、その時点までに推定されている各信
号線の論理状態との間で矛盾が生じるかどうかを確認し
ながら処理を進めているため、再収斂回路を含む回路に
対しても有効である。

【０１３１】これら図３〜図８と図１１に示す従来例に
よる第１の含意操作手段２３と図１３に示す従来例の含
意操作と図１４に示す従来例の動作とを参照して本発明
の一実施例による故障伝搬経路抽出システムの動作を、
ＩＳＣＡＳ’８５ベンチマーク回路Ｃ１７を用いて詳細
に説明する。

【０１３２】ＩＳＣＡＳ’８５ベンチマーク回路Ｃ１７
の出力端子の論理状態がｌｉｎｅ２２＝１，ｌｉｎｅ２
３＝１となる時の故障伝搬経路を抽出する。但し、各信
号線の正常論理値は予め論理シミュレーションによって
求めておく。

【０１３３】入力装置１によって、ＩＳＣＡＳ’８５ベ
ンチマーク回路Ｃ１７の出力端子の論理状態がｌｉｎｅ
２２＝１（１），ｌｉｎｅ２３＝１（０）と入力される
と（図７ステップＳ２１）、ｄｌｅｖｅｌが“０”に初
期化され（図７ステップＳ２２）、初期設定手段２１及
びＸ状態設定手段２２によって出力端子ｌｉｎｅ２２，
ｌｉｎｅ２３の論理状態が両者とも“１”に、出力端子
以外の信号線の状態が“Ｘ”に夫々設定される（図７ス
テップＳ２３）。

【０１３４】第２の含意操作手段６１において、第２の
含意操作を行う（図７ステップＳ２４）。含意スタート
線設定手段６１１において故障出力端子であるｌｉｎｅ
２３を含意スタート線として設定する（図８ステップＳ
４１）。ｌｉｎｅ２３は出力端子であるため、影響を受
ける出力側のゲートは検出されない（図８ステップＳ４
２）。また、入力側ゲートとしてＧａｔｅ２３が検出さ
れるが（図８ステップＳ４８）、Ｇａｔｅ２３の入力線
の論理状態は含意されないので含意操作を終了する（図
８ステップＳ４９）。

【０１３５】ステップＳ２４で新たに論理状態が決定す
る信号線はなかったので、ステップＳ２５で矛盾は生じ
ない。Ｕｎｋｎｏｗｎ線を検索するとｌｉｎｅ１０，ｌ
ｉｎｅ１６，ｌｉｎｅ１９が検出されるが（図７ステッ
プＳ２７）、ここで故障伝搬経路、すなわちｌｉｎｅ２
３＝１（０）に故障を伝搬する可能性のある信号線は、
ｌｉｎｅ１６，ｌｉｎｅ１９であるので（図７ステップ
Ｓ２８）、ｌｉｎｅ１６＝０と仮決定する。

【０１３６】ｌｉｎｅ１６を含意スタート線に設定する
と（図８ステップＳ４１）、影響を受ける出力側のゲー
トはＧａｔｅ２２であるので（図８ステップＳ４２）、
Ｇａｔｅ２２において含意操作を行う（図８ステップＳ
４３）。ここでは、矛盾が検出されず（図８ステップＳ
４４）、新たに論理状態が決定する信号線がなかったの
で、含意操作によって影響を受けるゲートは検出されな
い（図８ステップＳ４７）。

【０１３７】含意スタート線（ｌｉｎｅ１６）の入力側
に接続されているＧａｔｅ１６が検出され（図８ステッ
プＳ４９）、ここで入力方向に含意操作を行い、ｌｉｎ
ｅ２＝１，ｌｉｎｅ１１＝１が推定される（図８ステッ
プＳ５０）。含意スタート線をｌｉｎｅ２，ｌｉｎｅ１
１として（図８ステップＳ４１）、第２の含意操作を続
ける。ｌｉｎｅ２が影響を与えるゲートは検出されない
が、ｌｉｎｅ１１が影響を与えるゲートとしてＧａｔｅ
１９が検出される（図８ステップＳ４２）。Ｇａｔｅ１
９における含意操作で新たに論理状態が決定される信号
線はなく、矛盾も生じない（図８ステップＳ４３，Ｓ４
４）。

【０１３８】含意スタート線の入力側のゲートを検索す
るとＧａｔｅ１１が検出されるが、Ｇａｔｅ１１の入力
線の論理状態は含意されないので含意操作を終了する
（図８ステップＳ４９）。ステップＳ２４において新た
に決定した論理状態ｌｉｎｅ２＝１，ｌｉｎｅ１１＝１
は矛盾を生じない（図７ステップＳ２５）。Ｕｎｋｎｏ
ｗｎ線を検索するとｌｉｎｅ３，ｌｉｎｅ６が検出され
（図７ステップＳ２７）、両方とも故障伝搬経路ｌｉｎ
ｅ２３＝１（０），ｌｉｎｅ１６＝０（１），ｌｉｎｅ
１１＝１（０）と接続しているのでｌｉｎｅ３を選択し
て（図７ステップＳ２８）、ｌｉｎｅ３＝０と仮決定す
る（図７ステップＳ２９）。

【０１３９】ｌｉｎｅ３を含意スタート線に設定すると
（図８ステップＳ４１）、影響を受ける出力側のゲート
はＧａｔｅ１０であるので（図８ステップＳ４２）、Ｇ
ａｔｅ１０において含意操作を行う（図８ステップＳ４
３）。ここで、矛盾は生じず、ｌｉｎｅ１０＝１が推定
され、その影響を受けるゲートとしてＧａｔｅ２２が検
出される（図８ステップＳ４３〜Ｓ４７）。Ｇａｔｅ２
２において含意操作を行うが新たに論理状態が決定され
る信号線はなく、矛盾も生じない（図８ステップＳ４
３，Ｓ４４）。

【０１４０】ステップＳ２４における第２の含意操作に
おいて矛盾は生じない（図７ステップＳ２５）。また、
Ｕｎｋｎｏｗｎ線がなくなったため推定処理を終了し
（図７ステップＳ２６）、推定した論理状態と正常論理
値とを比較して故障伝搬経路を抽出すると、ｌｉｎｅ３
＝０（１），ｌｉｎｅ１０＝１（０），ｌｉｎｅ１１＝
１（０），ｌｉｎｅ１６＝０（１），ｌｉｎｅ２３＝１
（０）が抽出される（図７ステップＳ３０）。

【０１４１】しかしながら、ｌｉｎｅ１０は故障出力端
子に故障を伝搬する可能性がない。すなわち、ｌｉｎｅ
１０＝１という故障があったとしても、ｌｉｎｅ２３＝
１（０）という故障出力の直接の原因とはならないた
め、故障出力端子に故障を伝搬する可能性のある故障伝
搬経路としてｌｉｎｅ３＝０（１），ｌｉｎｅ１１＝１
（０），ｌｉｎｅ１６＝０（１），ｌｉｎｅ２３＝１
（０）を出力する。仮決定を行ったｌｉｎｅ３＝０をｌ
ｉｎｅ３＝１として仮決定をやり直し（図７ステップＳ
３３，Ｓ３４）、処理を続ける。

【０１４２】以下、図４に示した決定木構造に示すよう
に、仮決定と含意操作及びバックトラックとを繰り返す
ことで、ｌｉｎｅ２２＝１，ｌｉｎｅ２３＝１を満足す
るような故障伝搬経路を求めることができる。

【０１４３】２箇所の信号線に対して、“０”及び
“１”の両方の仮決定を計４回行うことによって、出力
端子の論理状態を満足する３種類の故障伝搬経路を求め
ることができる。尚、図４の中で四角枠で示した各信号
線の論理状態はｌｉｎｅ１，ｌｉｎｅ２，ｌｉｎｅ３，
ｌｉｎｅ６，ｌｉｎｅ７，ｌｉｎｅ１０，ｌｉｎｅ１
１，ｌｉｎｅ１６，ｌｉｎｅ１９，ｌｉｎｅ２２，ｌｉ
ｎｅ２３の順番で示している。また、論理状態に下線を
記している状態は正常論理値と異なる故障伝搬経路を示
している。

【０１４４】この時、“Ｘ”状態の信号線は“０”及び
“１”のどちらの状態でも良いことを表しているので、
“Ｘ”状態の信号線も故障伝搬経路として扱ってよい。
この実施例では処理途中に矛盾が生じることはなかった
が、例えばｌｉｎｅ３を含意スタート線に設定して、ｌ
ｉｎｅ１０＝１が推定された際にその影響を受けるゲー
トとしてＧａｔｅ２２が検出されるが、ここで矛盾が生
じた際には含意スタート線すなわちｌｉｎｅ３を設定し
た時点まで各信号線の論理状態を戻すため、ｌｉｎｅ１
０＝Ｘとし、含意スタート線の論理状態を反転する（ｌ
ｉｎｅ３＝１）。

【０１４５】図９は本発明の別の実施例による故障伝搬
経路抽出システムの構成を示すブロック図である。図に
おいて、本発明の別の実施例による故障伝搬経路抽出シ
ステムは故障伝搬経路推定プログラムを記録した記録媒
体７を備えた以外は図１に示す本発明の一実施例による
故障伝搬経路抽出システムまたは図５に示す本発明の他
の実施例による故障伝搬経路抽出システムと同様の構成
となっており、同一構成要素には同一符号を付してあ
る。

【０１４６】この記録媒体７には故障伝搬経路推定プロ
グラムが予め格納されており、磁気ディスク記憶媒体や
半導体メモリ、及びその他の記録媒体から実現される。
故障伝搬経路推定プログラムは記録媒体７からデータ処
理装置８に読込まれ、データ処理装置８の動作を制御す
る。データ処理装置８は故障伝搬経路推定プログラムの
制御によって以下の処理、すなわち本発明の一実施例に
よる故障伝搬経路抽出システムのデータ処理装置２によ
る処理または本発明の他の実施例による故障伝搬経路抽
出システムのデータ処理装置６による処理と同一の処理
を実行する。

【０１４７】入力装置１から組合せ回路の入出力端子の
論理状態が与えられると、論理回路構成記憶部４１に記
憶されている回路構成を参照し、未推定の信号線の論理
状態を“Ｘ”とおく。仮決定状態記憶部４２及び論理状
態記憶部４３を参照して含意操作と仮決定とを繰り返す
ことによって、全ての信号線の論理状態を推定する。

【０１４８】全ての信号線の論理状態を推定した場合に
は、論理状態記憶部に記憶されている各信号線の論理状
態と正常論理値とを比較することによって、故障伝搬経
路を抽出し、さらに故障出力端子に故障を伝搬する可能
性のある故障伝搬経路のみを出力装置５に表示させる。

【０１４９】このように、論理状態が“Ｕ”である仮決
定の対象とする信号線を検索する際に、故障伝搬経路影
響線検索手段２８で故障伝搬経路に接続している信号線
を検索し、故障出力端子接続関係線抽出手段３１が故障
伝搬経路影響線検索手段２８で抽出された故障伝搬経路
から経路と故障出力端子との物理的な接続関係を調べる
ことで故障出力端子に故障を伝搬する可能性のある信号
線を抽出することによって、故障伝搬経路と接続してい
ない信号線に論理値の仮決定を行うことがなくなるの
で、仮決定の回数、つまりバックトラックの回数が減
り、故障伝搬経路抽出の計算速度を向上させることがで
きる。

【０１５０】この場合、故障伝搬経路出力時に抽出され
た故障伝搬経路から故障出力端子に故障を伝搬しうる経
路に限定して出力するので、故障出力端子に故障を伝搬
する可能性のない余分な経路を出力することがなくな
り、出力データ量を少なくすることができる。

【０１５１】また、組合せ回路内部の故障に起因する故
障伝搬経路を抽出するために、第２の含意操作手段６１
が含意操作によって推定された論理状態がその時点まで
に推定された論理状態との間で矛盾が生じるかを確認し
ながら含意操作を進め、含意操作中に矛盾が検出された
時のデータを保存することによって、論理矛盾が生じた
時点までに得られる故障伝搬経路が既にその経路上に故
障が存在したと仮定した時に故障出力端子に故障を伝搬
しうる経路とすることができるので、組合せ回路内部の
故障に起因する故障伝搬経路を抽出することができる。

【０１５２】これによって、高速な故障伝搬経路抽出ア
ルゴリズム、あるいは故障出力に故障を伝搬する可能性
のある故障伝搬経路のみを出力する逆論理展開アルゴリ
ズムを得ることができ、組合せ回路内部の故障に起因す
る故障伝搬経路を抽出することができる。

【０１５３】この場合、原理的には物理的解析手段を用
いずに故障伝搬経路を推定することが可能であり、今後
の微細化及び配線の多層化が進んだＬＳＩに対しても効
果が期待できる。また、テストパターンの生成方式を利
用することも可能である。

【０１５４】

【発明の効果】以上説明したように本発明の故障伝搬経
路抽出システムによれば、含意操作と仮決定とを繰り返
して全ての信号線の論理状態を推定するバックトラック
方式を用いて、組合せ論理回路の出力端子の論理状態か
ら入力端子の論理状態を推定する逆論理展開方式で故障
伝搬経路を抽出する故障伝搬経路抽出システムにおい
て、論理状態の仮決定の対象とする信号線を故障伝搬経
路と接続している信号線を検索し、故障伝搬経路影響線
検索手段の検索結果を基に前記故障伝搬経路から故障出
力端子に故障を伝搬する可能性のある信号線を抽出する
ことによって、高速な故障伝搬経路抽出アルゴリズム及
び故障出力に故障を伝搬する可能性のある故障伝搬経路
のみを出力する逆論理展開アルゴリズムを得ることがで
きるという効果がある。

【０１５５】また、本発明の他の故障伝搬経路抽出シス
テムによれば、含意操作により推定された論理状態がそ
の時点までに推定された論理状態との間で矛盾が生じる
かを確認しながら含意操作を進めることによって、組合
せ回路内部の故障に起因する故障伝搬経路を抽出するこ
とができるという効果がある。

【図面の簡単な説明】

【図１】本発明の一実施例による故障伝搬経路抽出シス
テムの構成を示すブロック図である。

【図２】本発明の一実施例による故障伝搬経路抽出シス
テムの動作を示すフローチャートである。

【図３】本発明の一実施例による故障伝搬経路抽出シス
テムの動作を説明するための回路例を示す図である。

【図４】本発明の一実施例による故障伝搬経路抽出シス
テムの動作を説明するための決定木構造を示す図であ
る。

【図５】本発明の他の実施例による故障伝搬経路抽出シ
ステムの構成を示すブロック図である。

【図６】図５に示す第２の含意操作手段の構成を示すブ
ロック図である。

【図７】本発明の他の実施例による故障伝搬経路抽出シ
ステムの動作を示すフローチャートである。

【図８】図６に示す第２の含意操作手段による含意操作
を示すフローチャートである。

【図９】本発明の別の実施例による故障伝搬経路抽出シ
ステムの構成を示すブロック図である。

【図１０】従来例による故障伝搬経路抽出システムの構
成を示すブロック図である。

【図１１】図１０に示す第１の含意操作手段の構成を示
すブロック図である。

【図１２】従来例による故障伝搬経路抽出システムの動
作を示すフローチャートである。

【図１３】図１１に示す第１の含意操作手段による含意
操作を示すフローチャートである。

【図１４】従来例による故障伝搬経路抽出システムの動
作を説明するための回路例を示す図である。

【図１５】従来例による故障伝搬経路抽出システムの動
作を説明するための決定木構造を示す図である。

【符号の説明】

１ 入力装置 ２，６，８ データ処理装置 ４ 記憶装置 ５ 出力装置 ２１ 初期設定手段 ２２ Ｘ（Ｄｏｎ’ｔ Ｃａｒｅ）状態設定手段 ２３ 第１の含意操作手段 ２４ 論理矛盾判定手段 ２５ 処理終了判定手段 ２６ バックトラック手段 ２７ Ｕ（Ｕｎｋｎｏｗｎ）状態検索手段 ２８ 故障伝搬経路影響線検索手段 ２９ 論理値仮決定手段 ３０ 論理値比較手段 ３１ 故障出力端子接続関係線抽出手段 ４１ 論理回路構成記憶部 ４２ 仮決定状態記憶部 ４３ 論理状態記憶部 ６１ 第２の含意操作手段 ２３１ 含意操作手段 ２３２ 論理矛盾検出手段 ２３３ 第１の含意操作可能ゲート検索手段 ２３４ 含意操作終了判定手段 ６１１ 含意スタート線設定手段 ６１２ 影響ゲート検索手段 ６１３ 第２の含意操作可能ゲート検索手段 ６１４ 入力方向含意操作手段

Claims (12)

【特許請求の範囲】
1. 【請求項１】 既推定のゲートの入出力線の論理状態か
   ら未推定のゲートの入出力線の論理状態を推定する含意
   操作と論理状態の仮決定とを繰り返して全ての信号線の
   論理状態を推定するバックトラック方式を用いて、組合
   せ論理回路の出力端子の論理状態から入力端子の論理状
   態を推定する逆論理展開方式で故障伝搬経路を抽出する
   故障伝搬経路抽出システムであって、 前記故障伝搬経路と接続している信号線を前記論理状態
   の仮決定の対象とする信号線として検索する故障伝搬経
   路影響線検索手段と、 前記故障伝搬経路影響線検索手段の検索結果を基に前記
   故障伝搬経路から故障出力端子に故障を伝搬する可能性
   のある信号線を抽出する故障出力端子接続関係線抽出手
   段とを有することを特徴とする故障伝搬経路抽出システ
   ム。
2. 【請求項２】 前記故障伝搬経路影響線検索手段は、前
   記論理状態が不定でありかつ仮決定の対象とする信号線
   を検索する際に前記故障伝搬経路に接続している信号線
   を検索するよう構成したことを特徴とする請求項１記載
   の故障伝搬経路抽出システム。
3. 【請求項３】 前記故障出力端子接続関係線抽出手段
   は、抽出した故障伝搬経路から経路と故障出力端子との
   物理的な接続関係を調べることで前記故障出力端子に故
   障を伝搬する可能性のある信号線を抽出するよう構成し
   たことを特徴とする請求項１または請求項２記載の故障
   伝搬経路抽出システム。
4. 【請求項４】 前記含意操作により推定された論理状態
   がその時点までに推定された論理状態との間で矛盾が生
   じるかを確認しながら前記含意操作を進める含意操作手
   段を含むことを特徴とする請求項１から請求項３のいず
   れか記載の故障伝搬経路抽出システム。
5. 【請求項５】 既推定のゲートの入出力線の論理状態か
   ら未推定のゲートの入出力線の論理状態を推定する含意
   操作と論理状態の仮決定とを繰り返して全ての信号線の
   論理状態を推定するバックトラック方式を用いて、組合
   せ論理回路の出力端子の論理状態から入力端子の論理状
   態を推定する逆論理展開方式で故障伝搬経路を抽出する
   故障伝搬経路抽出方法であって、前記故障伝搬経路と接
   続している信号線を前記論理状態の仮決定の対象とする
   信号線として検索するステップと、前記故障伝搬経路影
   響線検索手段の検索結果を基に前記故障伝搬経路から故
   障出力端子に故障を伝搬する可能性のある信号線を抽出
   するステップとを有することを特徴とする故障伝搬経路
   抽出方法。
6. 【請求項６】 前記故障伝搬経路と接続している信号線
   を検索するステップは、前記論理状態が不定でありかつ
   仮決定の対象とする信号線を検索する際に前記故障伝搬
   経路に接続している信号線を検索するようにしたことを
   特徴とする請求項５記載の故障伝搬経路抽出方法。
7. 【請求項７】 前記故障伝搬経路から故障出力端子に故
   障を伝搬する可能性のある信号線を抽出するステップ
   は、抽出した故障伝搬経路から経路と故障出力端子との
   物理的な接続関係を調べることで前記故障出力端子に故
   障を伝搬する可能性のある信号線を抽出するようにした
   ことを特徴とする請求項５または請求項６記載の故障伝
   搬経路抽出方法。
8. 【請求項８】 前記含意操作により推定された論理状態
   がその時点までに推定された論理状態との間で矛盾が生
   じるかを確認しながら前記含意操作を進めるステップを
   含むことを特徴とする請求項５から請求項７のいずれか
   記載の故障伝搬経路抽出方法。
9. 【請求項９】 既推定のゲートの入出力線の論理状態か
   ら未推定のゲートの入出力線の論理状態を推定する含意
   操作と論理状態の仮決定とを繰り返して全ての信号線の
   論理状態を推定するバックトラック方式を用いて、組合
   せ論理回路の出力端子の論理状態から入力端子の論理状
   態を推定する逆論理展開方式で故障伝搬経路を抽出する
   故障伝搬経路抽出制御プログラムを記録した記録媒体で
   あって、前記故障伝搬経路抽出制御プログラムは前記故
   障伝搬経路の抽出を制御する制御手段に、前記故障伝搬
   経路と接続している信号線を前記論理状態の仮決定の対
   象とする信号線として検索させ、前記故障伝搬経路影響
   線検索手段の検索結果を基に前記故障伝搬経路から故障
   出力端子に故障を伝搬する可能性のある信号線を抽出さ
   せることを特徴とする故障伝搬経路抽出制御プログラム
   を記録した記録媒体。
10. 【請求項１０】 前記故障伝搬経路抽出制御プログラム
    は前記制御手段に、前記論理状態が不定でありかつ仮決
    定の対象とする信号線を検索する際に前記故障伝搬経路
    に接続している信号線を検索させることを特徴とする請
    求項９記載の故障伝搬経路抽出制御プログラムを記録し
    た記録媒体。
11. 【請求項１１】 前記故障伝搬経路抽出制御プログラム
    は前記制御手段に、前記故障伝搬経路から故障出力端子
    に故障を伝搬する可能性のある信号線を抽出する際に、
    抽出した故障伝搬経路から経路と故障出力端子との物理
    的な接続関係を調べることで前記故障出力端子に故障を
    伝搬する可能性のある信号線を抽出させることを特徴と
    する請求項９または請求項１０記載の故障伝搬経路抽出
    制御プログラムを記録した記録媒体。
12. 【請求項１２】 前記故障伝搬経路抽出制御プログラム
    は前記制御手段に、前記含意操作により推定された論理
    状態がその時点までに推定された論理状態との間で矛盾
    が生じるかを確認しながら前記含意操作を進めさせるこ
    とを特徴とする請求項５から請求項７のいずれか記載の
    故障伝搬経路抽出制御プログラムを記録した記録媒体。