(57)【特許請求の範囲】
【請求項１】
論理状態の仮決定と含意操作を繰り返して組合せ論理回路内の論理状態を推定し、前記組合せ論理回路が正常動作するときの論理状態である期待値と比較することで、前記組合せ論理回路内の故障伝搬経路を抽出する故障伝搬経路推定方法であって、
前記含意操作によって前記期待値と等しい論理状態に推定された正常な信号線の入力側に接続されたゲート及び前記期待値と異なる論理状態に推定された故障状態の信号線の入出力側に接続されたゲートを新たに含意可能なゲートとして検出し、
前記含意可能なゲートに対する含意操作によって前記期待値と等しい論理状態に推定されたゲートの出力側の信号線を前記含意操作前の論理状態に初期化する故障伝搬経路推定方法。
【請求項２】
論理状態の仮決定と含意操作を繰り返して組合せ論理回路内の論理状態を推定し、前記組合せ論理回路が正常動作するときの論理状態である期待値と比較することで、前記組合せ論理回路内の故障伝搬経路を抽出する故障伝搬経路推定方法であって、
前記含意操作で新たに推定した論理状態と以前に推定した論理状態との間で論理の矛盾が生じた場合に、
該論理の矛盾が生じた信号線を登録すると共に、前記論理の矛盾の発生回数を記録する故障伝搬経路推定方法。
【請求項３】
前記含意操作の結果を履歴情報として保存し、
前記論理の矛盾の発生回数が予め設定した許容回数を越えた場合に、
前記発生回数が前記許容回数内に納まるまで、前記履歴情報を溯って前記許容回数を越えた論理の矛盾の原因となる信号線の論理状態を含意操作前の状態に初期化する請求項２記載の故障伝搬経路推定方法。
【請求項４】
前記履歴情報を木構造で保存する請求項３記載の故障伝搬経路推定方法。
【請求項５】
前記履歴情報をスタック構造で保存する請求項３記載の故障伝搬経路推定方法。
【請求項６】
論理状態の仮決定と含意操作を繰り返して組合せ論理回路内の論理状態を推定し、前記組合せ論理回路が正常動作するときの論理状態である期待値と比較することで、前記組合せ論理回路内の故障伝搬経路を抽出する故障伝搬経路推定装置であって、
前記含意操作によって前記期待値と等しい論理状態に推定された正常な信号線の入力側に接続されたゲートを新たに含意可能なゲートとして検出する含意可能正常信号線検索部と、
前記含意操作によって前記期待値と異なる論理状態に推定された故障状態の信号線の入出力側に接続されたゲートを新たに含意可能なゲートとして検出する含意可能故障信号線検索部と、
前記含意可能なゲートに対する含意操作によって前記期待値と等しい論理状態に推定されたゲートの出力側の信号線を前記含意操作前の論理状態に初期化する正常出力線論理状態初期化部と、
を有する故障伝搬経路推定装置。
【請求項７】
論理状態の仮決定と含意操作を繰り返して組合せ論理回路内の論理状態を推定し、前記組合せ論理回路が正常動作するときの論理状態である期待値と比較することで、前記組合せ論理回路内の故障伝搬経路を抽出する故障伝搬経路推定装置であって、
前記含意操作で新たに推定した論理状態と以前に推定した論理状態との間で論理の矛盾が生じた信号線、及び前記論理の矛盾の発生回数が記録される論理矛盾記憶部と、
前記含意操作で新たに推定した論理状態と以前に推定した論理状態との間で論理の矛盾が生じた場合に、論理矛盾記憶部に、該論理の矛盾が生じた信号線を登録すると共に、前記論理の矛盾の発生回数を記録する論理矛盾登録部と、
を有する故障伝搬経路推定装置。
【請求項８】
前記含意操作の結果が履歴情報として保存される論理状態記憶部と、
前記論理の矛盾の発生回数が予め設定した許容回数を越えた場合に、前記発生回数が前記許容回数内に納まるまで、前記履歴情報を溯って前記許容回数を越えた論理の矛盾の原因となる信号線の論理状態を含意操作前の状態に初期化する矛盾信号線初期化部と、
を有する請求項７記載の故障伝搬経路推定装置。
【請求項９】
前記論理状態記憶部は、
前記履歴情報を木構造で保存する請求項８記載の故障伝搬経路推定装置。
【請求項１０】
前記論理状態記憶部は、
前記履歴情報をスタック構造で保存する請求項８記載の故障伝搬経路推定装置。
【請求項１１】
論理状態の仮決定と含意操作を繰り返して組合せ論理回路内の論理状態を推定し、前記組合せ論理回路が正常動作するときの論理状態である期待値と比較することで、前記組合せ論理回路内の故障伝搬経路を抽出する故障伝搬経路推定処理をコンピュータに実行させるためのプログラムが記録された記録媒体であって、
前記含意操作によって前記期待値と等しい論理状態に推定された正常な信号線の入力側に接続されたゲートを新たに含意可能なゲートとして検出する含意可能正常信号線検索処理と、
前記含意操作によって前記期待値と異なる論理状態に推定された故障状態の信号線の入出力側に接続されたゲートを新たに含意可能なゲートとして検出する含意可能故障信号線検索処理と、
前記含意可能なゲートに対する含意操作によって前記期待値と等しい論理状態に推定されたゲートの出力側の信号線を前記含意操作前の論理状態に初期化する正常出力線論理状態初期化処理と、
をコンピュータに実行させるためのプログラムが記録された記録媒体。
【請求項１２】
論理状態の仮決定と含意操作を繰り返して組合せ論理回路内の論理状態を推定し、前記組合せ論理回路が正常動作するときの論理状態である期待値と比較することで、前記組合せ論理回路内の故障伝搬経路を抽出する故障伝搬経路推定処理をコンピュータに実行させるためのプログラムが記録された記録媒体であって、
前記含意操作で新たに推定した論理状態と以前に推定した論理状態との間で論理の矛盾が生じた場合に、該論理の矛盾が生じた信号線を登録すると共に、前記論理の矛盾の発生回数を記録する論理矛盾登録処理をコンピュータに実行させるためのプログラムが記録された記録媒体。
【請求項１３】
前記含意操作の結果を履歴情報として保存する論理状態記憶処理と、
前記論理の矛盾の発生回数が予め設定した許容回数を越えた場合に、前記発生回数が前記許容回数内に納まるまで、前記履歴情報を溯って前記許容回数を越えた論理の矛盾の原因となる信号線の論理状態を含意操作前の状態に初期化する矛盾信号線初期化処理と、
をコンピュータに実行させるためのプログラムが記録された請求項１２記載の記録媒体。
【請求項１４】
前記履歴情報を木構造で保存するためのプログラムが記録された請求項１３記載の記録媒体。
【請求項１５】
前記履歴情報をスタック構造で保存するためのプログラムが記録された請求項１３記載の記録媒体。
【発明の詳細な説明】
【０００１】
【発明の属する技術分野】
本発明は組合せ論理回路における故障箇所を高精度に推定するための故障伝搬経路推定方法、故障伝搬経路推定装置及びその記録媒体に関する。
【０００２】
【従来の技術】
故障伝搬経路推定装置は、組合せ論理回路において故障状態が伝搬する可能性のある経路を抽出するものであり、例えば、特開平０８−１４６０９３号公報、あるいは特開平１０−０６２４９４号公報に記載されているような順序回路の故障診断システムの一部として使用可能である。ここで、故障は組合せ論理回路の内部に存在する場合と、入力信号パターンに故障状態が含まれている場合とがある。
【０００３】
故障伝搬経路を推定する従来の方法として、例えば、特開平１０−１５４１７１号公報で開示されたバックトラック法を応用した逆論理展開方法がある。これは、逆論理展開方法によって求めた入力信号の推定論理状態、及びその過程で求めた組合せ論理回路内部の論理状態と、予め正常回路を論理シミュレーションすることで求めた各ノードの論理状態（以下、期待値と称す）を比較することで故障伝搬経路を抽出する方法である。
【０００４】
しかしながら、このような方法では、各信号線（回路の構成要素であるゲートどうしを接続する線）の論理状態推定時に、組合せ論理回路内に乗算器等があると、信号線に対する論理状態の仮決定（Ｄｅｃｉｓｉｏｎ）回数が膨大になるため、計算時間が長時間になることが予想される。そこで、仮決定処理を故障伝搬経路に関係する信号線に限定することで故障伝搬経路の推定処理を高速化する方法が考えられる。このような処理を行う従来の故障伝搬経路推定装置について図面を用いて以下に説明する。
【０００５】
図１１は従来の故障伝搬経路推定装置の構成を示すブロック図であり、図１２は図１１に示した含意操作部の構成を示すブロック図である。なお、図１１に示した故障伝搬経路推定装置は、組合せ論理回路内の論理状態が既知の信号線から仮決定及び含意操作を繰り返すことで故障伝搬経路を論理的に推定するものであり、組合せ論理回路に実際に信号を入力して故障伝搬経路を推定するものではない。
【０００６】
図１１において、従来の故障伝搬経路推定装置は、キーボード等の入力装置１１と、組合せ論理回路の故障伝搬経路を推定するデータ処理装置１２と、ハードディスクやメモリ等からなる情報を記憶する記憶装置１４と、ディスプレイ装置や印刷装置等の出力装置１５とを備えた構成である。
【０００７】
記憶装置１４は、回路の構成要素であるゲートの種類、ゲートどうしの接続関係、ゲートと信号線の接続関係、及び信号線どうしの接続関係等、故障伝搬経路の推定対象である組合せ論理回路の構成を記憶する論理回路構成記憶部１４１と、後述する含意操作による各信号線の論理状態推定時の仮決定レベルを記憶する仮決定状態記憶部１４３と、推定処理中の各信号線の論理状態及び各信号線の期待値をそれぞれ記憶する論理状態記憶部４５とを備えた構成である。なお、仮決定レベルは、信号線に対して論理状態の仮決定を行った時点の仮決定累積数（回路全体）を示している。
【０００８】
データ処理装置２は、故障伝搬経路の推定処理時に、組合せ論理回路の入出力端子の論理状態を指定された状態に設定する初期設定部１２１と、組合せ論理回路の各信号線毎に論理状態の推定を行う含意操作部１２３と、含意操作部１２３で推定された信号線の論理状態に矛盾が生じているか否かを判定する論理矛盾判定部１２４と、組合せ論理回路の全信号線の論理状態が推定されたか否かを判定する処理終了判定部１２５と、論理状態が推定されていない信号線の初期論理状態をＸ（Ｄｏｎ’ｔ  Ｃａｒｅ）状態に設定し、論理状態記憶部４５に記録するＸ（Ｄｏｎ’ｔ  Ｃａｒｅ）状態設定部１２２と、既に論理状態の推定処理が終了した信号線の仮決定された論理状態を消去し、各信号線の論理状態を仮決定前の論理状態に戻すバックトラック部１２６と、含意操作で推定された各信号線の論理状態と各信号線の期待値とを比較し、故障伝搬経路を抽出する論理値比較部１３０と、論理値比較部１３０で抽出した故障伝搬経路のうち、その経路上の故障が出力端子に直接影響を与えるような故障伝搬経路を抽出し、出力装置５にそのデータを出力する故障出力端子接続関係線抽出部１３１と、組合せ論理回路の構成要素である各ゲートの入出力の論理状態を調べ、論理状態がＵｎｋｎｏｗｎ（不定）の信号線を検出するＵ（Ｕｎｋｎｏｗｎ）状態検索部１２７と、Ｕｎｋｎｏｗｎ状態の信号線から故障伝搬経路に関係する信号線を検出する故障伝搬経路影響線検索部１２８と、故障伝搬経路影響線検索部１２８で検出された、故障伝搬経路中の信号線にゲートを介して接続され、かつ論理状態がＵｎｋｎｏｗｎの信号線に対して論理状態を仮決定する論理値仮決定部１２９とを備えた構成である。なお、故障伝搬経路中の信号線とは、推定した論理状態と期待値とが異なる信号線のことである。
【０００９】
図１２に示すように、含意操作部１２３は、含意操作が可能なゲートを検出する含意操作可能ゲート検索部２３８と、初期設定部１２１で設定された入出力端子に接続されたゲート、論理値仮決定部１２９で仮決定された信号線に接続されたゲート、及び含意操作可能ゲート検索部２３８で検出されたゲートについて、それぞれの入出力信号線の論理状態を推定する基本含意操作部２４１と、基本含意操作部２４１で新たに推定した論理状態が、それ以前に推定された論理状態と矛盾しているか否かを検出する論理矛盾検出部２４０と、含意操作可能なゲートが検出されない場合に全ての含意操作が終了したと判定する含意操作終了判定部２３９とを備えた構成である。
【００１０】
各信号線の論理状態は、基本含意操作部２３１によって“０”，“１”，“Ｘ”，“Ｕ”のいずれかに推定され、新たに推定された信号線の論理状態は論理状態記憶部１４４に記録され、その時点における仮決定レベルは仮決定状態記憶部１４３に記録される。なお、含意操作が可能なゲートとは、既に決定している入出力信号線の論理状態（“０”または“１”）から、論理状態が決定していない入出力信号線の論理状態を、ゲートの機能に基づき含意操作によって推定することが可能なゲートのことである。
【００１１】
次に、図１１及び図１２を参照しつつ、図１３〜図１５を用いて従来の故障伝搬経路推定装置の動作について説明する。
【００１２】
図１３は図１１に示したデータ処理装置の処理手順を示すフローチャートであり、図１４は図１２に示した含意操作部の処理手順を示すフローチャートである。また、図１５は従来の故障伝搬経路推定装置の含意操作結果の一例を示す図であり、２入力ＮＡＮＤゲートの入出力論理状態の推定結果を示す回路図である。
【００１３】
なお、図１１に示した従来の故障伝搬経路推定装置で推定される各信号線の論理状態は“０”、“１”、“Ｕ（Ｕｎｋｎｏｗｎ）”、“Ｘ（Ｄｏｎ’ｔ  Ｃａｒｅ）”である。“Ｕ（Ｕｎｋｎｏｗｎ）”は信号線の論理状態が“０”及び“１”のどちらにも決定できない不定状態を示し、“Ｘ（Ｄｏｎ’ｔ  Ｃａｒｅ）”は信号線の論理状態が“０”、“１”のどちらであっても組合せ論理回路全体の論理状態に矛盾を生じない場合、すなわち、どちらの論理状態であってもよいことを示している。
【００１４】
図１１に示した従来の故障伝搬経路推定装置は、論理状態が既知の信号線を基点として、該信号線に接続されるゲートについてそれぞれ含意操作を行い、該ゲートを挟んで位置する信号線の論理状態をそれぞれ推定する。そして、該推定した論理状態に基づいてさらに同様の処理を繰り返すことで組合せ論理回路内の信号線の論理状態をそれぞれ推定する装置である。また、故障伝搬経路中の信号線にゲートを介して接続され、かつ論理状態が“Ｕ（Ｕｎｋｎｏｗｎ）”の信号線について、論理状態を“０”及び“１”にそれぞれ仮決定し、仮決定した論理状態に基づいて上記と同様の含意操作を繰り返し、故障伝搬経路を抽出する。なお、組合せ論理回路中に故障がある場合、仮決定による含意操作を繰り返すことで故障伝搬経路中で論理の矛盾が発生するため、図１１に示した故障伝搬経路推定装置では論理の矛盾を検出した時点で含意処理を終了している。
【００１５】
図１３において、まず、データ処理装置１２は、初期設定部１２１を用いて、故障経路の推定対象である組合せ論理回路の入出力端子の論理状態を入力装置１１を介して指定された状態に設定し（ステップＣ１）、仮決定レベルを初期化（ｄｌｅｖｅｌ＝０）する（ステップＣ２）。また、論理状態が決定していない信号線の論理状態を含意操作の初期状態である“Ｘ”に設定し、その処理結果を論理状態記憶部１４４に記録する（ステップＣ３）。
【００１６】
次に、データ処理装置１２は、含意操作部１２３を用いて含意操作を行う（ステップＣ４）。含意操作とは、既推定のゲートの入出力信号線の論理状態により未推定の入出力信号線の論理状態を推定する処理である。この含意操作の手順について図１４を用いて説明する。
【００１７】
図１４において、まず、含意操作部１２３は、含意操作可能ゲート検索部２３８を用いて含意操作が可能なゲートを検出する（ステップＤ１）。
【００１８】
続いて、含意操作終了判定部２３９を用いて含意操作が全て終了したか否かを判定する（ステップＤ２）。ステップＤ２では、ステップＤ１で含意操作可能なゲートが検出された場合に含意操作が終了していないと判定し、含意操作可能なゲートが検出されない場合は含意操作が終了したと判定する。
【００１９】
ステップＤ２で含意操作が全て終了したと判定した場合、図１３に示すステップＣ５の処理に移行する。また、含意操作が全て終了していないと判定した場合、含意操作部１２３は、基本含意操作部２４１を用いてステップＤ１で検出したゲートについて含意操作を行い、入出力信号線の論理状態をそれぞれ推定する。
【００２０】
基本含意操作部２４１は、図１３のステップＣ１で初期設定した入出力信号線、論理値仮決定部１２９で論理状態を仮決定した信号線に接続されたゲート、及び含意操作可能ゲート検索部２３８で検出した含意操作可能なゲートについて、それぞれの入出力信号線の論理状態を推定する。推定された論理状態は論理状態記憶部１４４に記録され、その時点の仮決定レベルは仮決定状態記憶部１４３に記録される。
【００２１】
ここで、従来の故障伝搬経路推定装置の含意操作の一例として、２入力ＮＡＮＤゲートに対する含意操作結果を図１５に示す。図１５（ａ）は２入力ＮＡＮＤゲートの入力信号線の論理状態が決定されている場合の出力信号線の論理状態推定結果を示し、図１５（ｂ）は２入力ＮＡＮＤゲートの出力信号線の論理状態が決定されている場合の入力信号線の論理状態推定結果を示している。
【００２２】
図１５（ａ）に示すように、ＮＡＮＤゲートの場合、入力信号線に論理状態“０”が１つでも存在すれば、出力信号線は論理状態“１”と推定される。また、入力信号線の論理状態が全て“１”であれば、出力信号線は論理状態“０”と推定される。
【００２３】
図１５（ｂ）に示すように、２入力ＮＡＮＤゲートの出力線の状態が“０”であれば、入力信号線の論理状態は全て“１”と推定される。また、２入力ＮＡＮＤゲートの出力線の状態が“１”で、かつ入力信号線の一方の論理状態が“１”であれば、入力信号線の他方の論理状態は“０”と推定される。
【００２４】
図１４に示したステップＤ３の含意操作が終了すると、含意操作部１２３は、論理矛盾検出部２４０を用いて新たに推定した論理状態と以前に推定した論理状態に矛盾が生じているか否かを検出する（ステップＤ４）。論理の矛盾が検出されない場合はステップＤ１の処理に戻り、ステップＤ１〜Ｄ４の処理を繰り返す。また、ステップＤ４で論理の矛盾を検出した場合は含意操作を終了し、図１３に示すステップＣ５の処理に移行する。
【００２５】
データ処理装置１２は、ステップＣ４の含意操作が終了すると、論理矛盾判定部１２４を用いて含意操作で生じた各信号線の論理の矛盾の有無を判定する（ステップＣ５）。ここで、論理の矛盾が有る場合は後述するステップＣ１２の処理に移行する。また、論理の矛盾が無い場合は、処理終了判定部１２５を用いて全信号線の論理状態を推定したか否かを判定する（ステップＣ６）。
【００２６】
全信号線の論理状態を推定していないと判定した場合、データ処理装置１２は、Ｕ（Ｕｎｋｎｏｗｎ）状態検索部１２７を用いて組合せ論理回路の各ゲートの入出力論理状態を調べ、論理状態が不定のＵｎｋｎｏｗｎ状態の信号線を検索し（ステップＣ７）、故障伝搬経路影響線検索部１２８を用いてＵｎｋｎｏｗｎ状態の信号線の中から故障伝搬経路に関係する信号線を検出する（ステップＣ８）。
【００２７】
続いて、論理値仮決定部１２９を用いて、故障伝搬経路影響線検索部１２８で検出した信号線の論理状態を“０”に仮決定し、仮決定レベルを１だけ増加（ｄｌｅｖｅｌ＋１）させる（ステップＣ９）。そして、ステップＣ４に戻り、含意操作部１２３を用いて該信号線の含意操作を実行する。
【００２８】
一方、ステップＣ６で全信号線の論理状態を推定したと判定した場合、信号線の論理状態は“０”、“１”または“Ｘ”に定まっているため、論理値比較部１３０を用いて期待値と異なる論理状態の信号線、すなわち故障伝搬経路を抽出する（ステップＣ１０）。
【００２９】
さらに、故障出力端子接続関係線抽出部１３１を用いて、組合せ論理回路の出力端子（故障出力端子）に影響が現れる故障伝搬経路を抽出し、該故障伝搬経路を出力装置１５を用いて出力する（ステップＣ１１）。
【００３０】
次に、データ処理装置１２は、処理終了判定部１２５を用いて、仮決定を行った信号線（以下、仮決定線と称す）について“０”及び“１”の両方の仮決定処理が終了しているか否かを判定し（ステップＣ１２）、仮決定処理が全て終了している場合は、故障伝搬経路抽出処理を終了する。
【００３１】
また、仮決定処理が全て終了していない場合は、バックトラック部１２６を用いて、未だ“１”に仮決定していない仮決定線のうち、仮決定レベルの大きい方から１つ抽出し、抽出した仮決定線よりも大きい仮決定レベルに対応する仮決定処理で推定された信号線の論理状態を“Ｕ”に初期化し、各信号線の論理状態をその仮決定前の論理状態に戻す（ステップＣ１３）。
【００３２】
続いて、ステップＣ１３で抽出した仮決定線の論理状態を“１”に仮決定し（ステップＣ１４）、ステップＣ４の処理に戻って含意操作を再び実行する。
【００３３】
次に、図１６及び図１７に示す組合せ論理回路を例にして従来の故障伝搬経路抽出装置の故障伝搬経路の推定処理を具体的に説明する。
【００３４】
図１６及び図１７は故障伝搬経路の推定対象である組合せ論理回路の一例を示す回路図である。まず、図１６に示した組合せ論理回路の故障伝搬経路を図１１に示した従来の故障伝搬経路抽出装置で抽出する場合で説明する。なお、図１６に示した組合せ論理回路は故障がゲートＧ１の出力信号線で発生しているものとし、初期設定時に、入力端子Ｌ１、Ｌ２、及び出力端子Ｌ７、Ｌ８、Ｌ９の論理状態がそれぞれ与えられるものとする。各信号線の括弧［  ］内の記号は、期待値との比較結果であり、正常状態（Ｔ：Ｔｒｕｅ）または故障状態（Ｆ：Ｆａｌｓｅ）を示している。図１６に示した組合せ論理回路の場合、ゲートＧ１の出力で生じた故障は信号線Ｌ３、Ｌ５、及びＬ６を伝搬して出力端子に接続された信号線Ｌ７及びＬ９に到達する。ここでは入力端子及び出力端子の論理状態のみが観測可能であり、それ以外の信号線の論理状態はわからないものとする。
【００３５】
図１６において、入力端子及び出力端子の論理状態が、入力装置１を介してＬ１＝［Ｔ］、Ｌ２＝［Ｔ］、Ｌ７＝［Ｆ］、Ｌ８＝［Ｔ］、Ｌ９＝［Ｆ］に指定されると、データ処理装置１２は、初期設定部１２１を用いて入出力端子の論理状態を指定された状態にそれぞれ設定し、Ｘ（Ｄｏｎ’ｔ  Ｃａｒｅ）状態設定部１２２を用いて入出力端子以外の信号線の論理状態を“Ｘ”に設定する（ステップＣ１〜Ｃ３）。
【００３６】
次に、データ処理装置１２は、含意操作部１２３の含意操作可能ゲート検索部２３８を用いて、組合せ論理回路中から含意操作可能なゲートを検出する（ステップＤ１）。ここでは、ゲートＧ５、Ｇ６、Ｇ７が検出され、含意操作が終了していないと判定されて含意操作処理が継続される（ステップＤ２）。
【００３７】
次に、データ処理装置１２は、含意操作部１２３の基本含意操作部２４１を用いて含意操作を行い、ゲートＧ５に対する含意操作でＬ５＝［Ｆ］、ゲートＧ６に対する含意操作でＬ６＝［Ｆ］、ゲートＧ７に対する含意操作でＬ４＝［Ｔ］と推定する（ステップＤ３）。
【００３８】
続いて、データ処理装置１２は、含意操作部１２３の論理矛盾検出部２４０を用いて、基本含意操作部２４１で推定した論理状態に論理の矛盾がないか否かをそれぞれ判定する（ステップＤ４）。具体的には、各ゲートの入出力信号線の論理状態を真理値表を用いて“０”または“１”と推定し、その結果と期待値を比較して［Ｔ］あるいは［Ｆ］を判定する。
【００３９】
ここでは、論理の矛盾が生じていないため、含意操作部１２３は、ステップＤ１に戻って含意操作可能なゲートを再び検索し、ゲートＧ２、Ｇ３、Ｇ４を検出する（ステップＤ１）。
【００４０】
次に、データ処理装置１２の含意操作部１２３は、基本含意操作部２４１を用いてステップＤ１で検出した各ゲートについてそれぞれ含意操作を行い、ゲートＧ２に対する含意操作でＬ２＝［Ｔ］、ゲートＧ３に対する含意操作でＬ３＝［Ｆ］、ゲートＧ４に対する含意操作でＬ３＝［Ｆ］と推定する（ステップＤ３）。
【００４１】
続いて、含意操作部１２３は論理矛盾検出部２４０を用いて基本含意操作部２４１で推定した論理状態に論理の矛盾がないか否かをそれぞれ判定するが、ここでも既に推定された論理状態との間で論理の矛盾は生じていない（ステップＤ４）。よって、含意操作部１２３は、ステップＤ１に戻って含意操作可能なゲートを再び検索し、ゲートＧ１を検出する。
【００４２】
次に、データ処理装置１２は、ゲートＧ１に対する含意操作でＬ１＝［Ｆ］と推定するが（ステップＤ３）、入力端子Ｌ１は初期設定時にＬ１＝［Ｔ］と指定されているため、論理の矛盾を検出して含意操作処理を終了する（ステップＤ４）。
【００４３】
以上の処理によって全ての信号線の論理状態がそれぞれ推定され、故障伝搬経路として信号線Ｌ３、Ｌ５、Ｌ６、Ｌ７、Ｌ９が得られる。
【００４４】
次に、図１７に示すようなループが存在する組合せ論理回路に従来の故障伝搬経路推定装置で故障伝搬経路を推定する場合で説明する。
【００４５】
図１７に示した組合せ論理回路の故障伝搬経路を抽出する場合、入出力端子の論理状態がＬ１＝［Ｔ］、Ｌ２＝［Ｔ］、Ｌ７＝［Ｆ］、Ｌ８＝［Ｔ］、Ｌ９＝［Ｆ］にそれぞれ初期設定されるまでの手順は図１６に示した組合せ論理回路に対する処理と同様である（ステップＣ１〜Ｃ３）。
【００４６】
次に、データ処理装置１２は、含意操作部１２３の含意操作可能ゲート検索部２３８を用いて含意操作可能なゲートを検索する（ステップＤ１）。ここでは、ゲートＧ１、Ｇ５、Ｇ６、Ｇ７が検出され、含意操作が終了していないと判断されて含意操作処理が継続される（ステップＤ２）。
【００４７】
続いて、データ処理装置１２は、含意操作部１２３の基本含意操作部２４１を用いてステップＤ１で検出した各ゲートに対してそれぞれ含意操作を行い、ゲートＧ５に対する含意操作でＬ５＝［Ｆ］、ゲートＧ６に対する含意操作でＬ６＝［Ｆ］、ゲートＧ７に対する含意操作でＬ４＝［Ｔ］と推定する。また、図１７に示した組合せ論理回路では出力端子Ｌ８とゲートＧ１の入力とが接続されているため、ゲートＧ１に対する含意操作でＬ３＝［Ｔ］と推定する（ステップＤ３）。
【００４８】
次に、データ処理装置１２は、含意操作部１２３の論理矛盾検出部２４０を用いて、基本含意操作部２４１で推定した論理状態に矛盾がないか否かをそれぞれ判定する（ステップＤ４）。ここでは論理の矛盾がないため、ステップＤ１に戻って、含意操作可能なゲートを再び検索し、ゲートＧ２、Ｇ３、Ｇ４を検出する（ステップＤ１）。
【００４９】
続いて、データ処理装置１２は、含意操作部１２３の基本含意操作部２４１を用いてステップＤ１で検出した各ゲートについてそれぞれ含意操作を行い、ゲートＧ２に対する含意操作でＬ２＝［Ｔ］、ゲートＧ３に対する含意操作でＬ３＝［Ｆ］、ゲートＧ４に対する含意操作でＬ３＝［Ｆ］と推定する。このとき、信号線Ｌ３の論理状態は、既にＬ３＝［Ｔ］と推定されているため、ステップＤ４で論理の矛盾を検出し、含意操作処理を終了する。
【００５０】
以上の処理によって全ての信号線の論理状態が推定され、故障伝搬経路として信号線Ｌ５、Ｌ６、Ｌ７、Ｌ７、Ｌ９を得ることができる。しかしながら、故障箇所である信号線Ｌ３は［Ｔ］と推定されているため、故障伝搬経路と推定されずに故障候補に含まれない。
【００５１】
【発明が解決しようとする課題】
上述したように、従来の故障伝搬経路推定装置では、故障伝搬経路の推定対象である組合せ論理回路内にループが存在する場合に、故障が発生している信号線を故障伝搬経路として抽出できない場合があるため、故障箇所の推定精度が低いという問題があった。
【００５２】
また、論理の矛盾を検出した時点で含意操作を終了するため、含意操作中に論理矛盾が生じない、図１８（ａ）に示すような「組合せ論理回路が正常であり、入力端子から故障状態が伝搬して組合せ論理回路内を通過する故障伝搬経路」、あるいは処理途中で論理矛盾の生じる、図１８（ｂ）に示すような「組合せ論理回路内に存在する故障から伝搬する故障伝搬経路」は推定することができるが、図１８（ｃ）、あるいは（ｄ）に示すような「組合せ論理回路内に故障が存在し、かつ入力端子から故障状態が伝搬する故障伝搬経路」は推定することができないという問題がある。また、論理の矛盾が複数発生する多重故障が生じた組合せ論理回路の故障伝搬経路も推定できないため、用途が限られてしまう。
【００５３】
さらに、含意操作の履歴を保存していないため処理の任意の時点における組合せ論理回路内の故障伝搬経路を再現することができないという問題もあった。
【００５４】
ところで、故障伝搬経路推定装置の他の例として、予め故障シミュレーションを行なうことで作成した故障辞書とテスト結果を比較して故障箇所を推定する故障辞書方法が知られている。しかしながら、故障辞書を作成するためには長時間の計算時間を要する故障シミュレーションを行わなければならず、また、回路規模が大きくなるにつれて辞書のサイズが大きくなるため、単一故障の検出に限って用いられるのが普通である。
【００５５】
また、特開平１−２４４３８４号公報には、出力端子からＥＢテスター等の物理的な解析手段によって配線の論理状態をそれぞれ測定しながら故障伝搬経路を辿り、故障箇所を特定する装置が記載されている。しかしながら、近年のＬＳＩはチップの微細化や配線の多層化がより進んでいるため、物理的な解析手段によって回路内部の論理状態を測定することは困難である。
【００５６】
さらに、所定のテストパターンを組合せ論理回路に入力し、それに対する出力結果で故障経路を推定する方法もあるが、この方法は、故障が組合せ論理回路内部で発生したと仮定し、その故障を出力端子で検出可能にするテストパターンを作成する必要があるため、テストパターンの作成に膨大な計算時間を要してしまう。また、このような方法では、故障が論理状態に影響していると認められる出力端子（故障端子）に関係する故障伝搬経路のみを抽出することが困難であり、故障伝搬経路を特定しようとすると出力データ量が膨大になってしまう。
【００５７】
本発明は上記したような従来の技術が有する問題点を解決するためになされたものであり、組合せ論理回路内にループが存在する場合でも故障箇所を高精度に推定することができる故障伝搬経路推定装置を提供することを目的とする。
【００５８】
また、本発明の故障伝搬経路推定装置の他の目的は、組合せ論理回路内に故障が存在し、かつ入力端子から故障状態が伝搬しているような場合でも故障伝搬経路の推定が可能であり、含意操作途中の故障伝搬経路を再現することのできる故障伝搬経路推定方法及び故障伝搬経路推定装置を提供することにある。
【００５９】
【課題を解決するための手段】
上記目的を達成するため本発明の故障伝搬経路推定方法は、論理状態の仮決定と含意操作を繰り返して組合せ論理回路内の論理状態を推定し、前記組合せ論理回路が正常動作するときの論理状態である期待値と比較することで、前記組合せ論理回路内の故障伝搬経路を抽出する故障伝搬経路推定方法であって、
前記含意操作によって前記期待値と等しい論理状態に推定された正常な信号線の入力側に接続されたゲート及び前記期待値と異なる論理状態に推定された故障状態の信号線の入出力側に接続されたゲートを新たに含意可能なゲートとして検出し、
前記含意可能なゲートに対する含意操作によって前記期待値と等しい論理状態に推定されたゲートの出力側の信号線を前記含意操作前の論理状態に初期化する方法である。
【００６０】
また、論理状態の仮決定と含意操作を繰り返して組合せ論理回路内の論理状態を推定し、前記組合せ論理回路が正常動作するときの論理状態である期待値と比較することで、前記組合せ論理回路内の故障伝搬経路を抽出する故障伝搬経路推定方法であって、
前記含意操作で新たに推定した論理状態と以前に推定した論理状態との間で論理の矛盾が生じた場合に、
該論理の矛盾が生じた信号線を登録すると共に、前記論理の矛盾の発生回数を記録する方法である。
【００６１】
このとき、前記含意操作の結果を履歴情報として保存し、
前記論理の矛盾の発生回数が予め設定した許容回数を越えた場合に、
前記発生回数が前記許容回数内に納まるまで、前記履歴情報を溯って前記許容回数を越えた論理の矛盾の原因となる信号線の論理状態を含意操作前の状態に初期化してもよく、
前記履歴情報は、木構造またはスタック構造で保存してもよい。
【００６２】
一方、本発明の故障伝搬経路推定装置は、論理状態の仮決定と含意操作を繰り返して組合せ論理回路内の論理状態を推定し、前記組合せ論理回路が正常動作するときの論理状態である期待値と比較することで、前記組合せ論理回路内の故障伝搬経路を抽出する故障伝搬経路推定装置であって、
前記含意操作によって前記期待値と等しい論理状態に推定された正常な信号線の入力側に接続されたゲートを新たに含意可能なゲートとして検出する含意可能正常信号線検索部と、
前記含意操作によって前記期待値と異なる論理状態に推定された故障状態の信号線の入出力側に接続されたゲートを新たに含意可能なゲートとして検出する含意可能故障信号線検索部と、
前記含意可能なゲートに対する含意操作によって前記期待値と等しい論理状態に推定されたゲートの出力側の信号線を前記含意操作前の論理状態に初期化する正常出力線論理状態初期化部とを有する構成である。
【００６３】
また、論理状態の仮決定と含意操作を繰り返して組合せ論理回路内の論理状態を推定し、前記組合せ論理回路が正常動作するときの論理状態である期待値と比較することで、前記組合せ論理回路内の故障伝搬経路を抽出する故障伝搬経路推定装置であって、
前記含意操作で新たに推定した論理状態と以前に推定した論理状態との間で論理の矛盾が生じた信号線、及び前記論理の矛盾の発生回数が記録される論理矛盾記憶部と、
前記含意操作で新たに推定した論理状態と以前に推定した論理状態との間で論理の矛盾が生じた場合に、論理矛盾記憶部に、該論理の矛盾が生じた信号線を登録すると共に、前記論理の矛盾の発生回数を記録する論理矛盾登録部とを有する構成である。
【００６４】
このとき、前記含意操作の結果が履歴情報として保存される論理状態記憶部と、
前記論理の矛盾の発生回数が予め設定した許容回数を越えた場合に、前記発生回数が前記許容回数内に納まるまで、前記履歴情報を溯って前記許容回数を越えた論理の矛盾の原因となる信号線の論理状態を含意操作前の状態に初期化する矛盾信号線初期化部とをさらに有していてもよく、
前記論理状態記憶部は、
前記履歴情報を木構造、またはスタック構造で保存してもよい。
【００６５】
上記のような故障伝搬経路推定方法及び故障伝搬経路推定装置では、含意操作によって期待値と等しい論理状態に推定された正常な信号線の入力側に接続されたゲートを新たに含意可能なゲートとして検出し、正常な信号線の出力側に接続されたゲートを含意可能なゲートにしないこと、及び含意可能なゲートに対する含意操作によって期待値と等しい論理状態に推定されたゲートの出力側の信号線を含意操作前の論理状態に初期化することで、推定途中で正常な論理状態が出力側に伝搬することが防止される。
【００６６】
また、含意操作で新たに推定した論理状態と以前に推定した論理状態との間で論理の矛盾が生じた場合に、論理の矛盾が生じた信号線を登録すると共に、論理の矛盾の発生回数を記録することで、論理矛盾が発生しても含意操作を継続することができる。
【００６７】
さらに、含意操作の結果を履歴情報として保存し、論理の矛盾の発生回数が予め設定した許容回数を越えた場合に、論理の矛盾の発生回数が許容回数内に納まるまで、履歴情報を溯って許容回数を越えた論理の矛盾の原因となる信号線の論理状態を含意操作前の状態に初期化することで、論理の矛盾の発生回数が許容回数内に納まる故障伝搬経路を再現することができる。
【００６８】
【発明の実施の形態】
次に本発明について図面を参照して説明する。
【００６９】
（第１の実施の形態）
図１は本発明の故障伝搬経路推定装置の第１の実施の形態の構成を示すブロック図であり、図２は図１に示した含意操作部の一構成例を示すブロック図である。なお、図１に示した故障伝搬経路推定装置は、組合せ論理回路内の論理状態が既知の信号線から仮決定及び含意操作を繰り返すことで故障伝搬経路を論理的に推定するものであり、組合せ論理回路に実際に信号を入力して故障伝搬経路を推定するものではない。
【００７０】
図１において、本実施形態の故障伝搬経路推定装置は、キーボード等の入力装置１と、組合せ論理回路の故障伝搬経路を推定するデータ処理装置２と、ハードディスクやメモリ等からなる情報を記憶する記憶装置４と、ディスプレイ装置や印刷装置等の出力装置５とを備えた構成である。
【００７１】
記憶装置４は、回路の構成要素であるゲートの種類、ゲートどうしの接続関係、ゲートと信号線の接続関係、及び信号線どうしの接続関係等、故障伝搬経路の推定対象である組合せ論理回路の構成を記憶する論理回路構成記憶部４１と、含意操作の結果、論理の矛盾が発生したゲート及びその発生回数を記憶する論理矛盾記憶部４２と、含意操作による各信号線の論理状態推定時に、各信号線の仮決定レベルを記憶する仮決定状態記憶部４３と、推定処理中の各信号線の論理状態及び各信号線の期待値をそれぞれ記憶する論理状態記憶部４５とを備えた構成である。
【００７２】
組合せ論理回路の入力信号とそれに対する出力信号は、組合せ論理回路が正常であれば論理の矛盾が生じることはない。すなわち、入力信号に故障状態が含まれていないにも係わらず論理の矛盾が発生したときには組合せ論理回路内で故障が発生していることを示している。単一故障の場合、論理の矛盾は発生しても１回程度である。
【００７３】
データ処理装置２は、入出力端子の論理状態を指定された値に設定する初期設定部２１と、論理状態が推定されていない信号線の初期論理状態をＸ（Ｄｏｎ’ｔ  Ｃａｒｅ）状態に設定し、論理状態記憶部４５に記録するＸ（Ｄｏｎ’ｔ  Ｃａｒｅ）状態設定部２２と、各信号線毎に論理状態の推定を行う含意操作部２３と、含意操作部２３で推定された信号線の論理状態に矛盾が生じているか否かを検出し、論理矛盾の回数が予め設定された許容回数を越えているか否かを判定する論理矛盾判定部２４と、全信号線の論理状態が推定されたか否かを判定する処理終了判定部２５と、既に推定処理が終了した信号線の仮決定された論理状態を消去し、各信号線の論理状態を仮決定前の論理状態に戻すバックトラック部２６と、推定された各信号線の論理状態と各信号線の期待値とを比較し、故障伝搬経路を抽出する論理値比較部３０と、論理値比較部３０で抽出した故障伝搬経路のうち、その経路上の故障が出力端子に直接影響を与えるような故障伝搬経路を抽出し、出力装置５にそのデータを出力する故障出力端子接続関係線抽出部３１と、組合せ論理回路の構成要素である各ゲートの入出力の論理状態を調べ、Ｕｎｋｎｏｗｎ（不定）状態の信号線を検出するＵ（Ｕｎｋｎｏｗｎ）状態検索部２７と、Ｕｎｋｎｏｗｎ状態の信号線から故障伝搬経路に関係する信号線を検出する故障伝搬経路影響線検索部２８と、故障伝搬経路影響線検索部２８で検出された、故障伝搬経路中の信号線にゲートを介して接続され、かつ論理状態がＵｎｋｎｏｗｎの信号線に対して論理状態を仮決定する論理値仮決定部２９とを備えた構成である。
【００７４】
なお、図１に示したデータ処理装置２の各ブロックは、それぞれ論理回路で容易に構成することが可能であり、これらを１チップ化することで高速な処理が期待できる。特に、記憶装置４に半導体メモリを用いることで、システムＬＳＩに組み込むことができるため、更なる高速処理が期待できる。
【００７５】
図２に示すように、含意操作部２３は、初期設定部２１で設定された入出力信号線に接続されたゲート、論理値仮決定部２８で論理状態が仮決定された信号線に接続されたゲート、及び後述する含意可能故障信号線検索部２３５または含意可能正常信号線検索部２３６で検出されたゲートについて、それぞれの入出力信号線の論理状態を推定する基本含意操作部２３１と、基本含意操作部２３１で新たに推定した信号線の論理状態が、それ以前に推定された論理状態と矛盾しているか否かを検出し、論理矛盾の発生したゲートが論理矛盾記憶部４２に登録されていない場合はそのゲートを登録すると共に論理矛盾の発生数を記録し、論理矛盾の発生数が予め設定された許容回数を越えているか否かを判定する論理矛盾登録部２３２と、論理矛盾発生数が許容回数を越えている場合に、論理回路構成記憶部４１、論理矛盾記憶部４２、及び論理状態記憶部４４で記憶されている含意操作の履歴を参照し、論理矛盾の原因となっている信号線の論理状態を初期化し、その結果にしたがって、論理矛盾記憶部４２、仮決定状態記憶部４３、及び論理状態記憶部４４の内容をそれぞれ更新する矛盾信号線初期化部２３３と、含意操作で論理状態が推定されたゲートの出力信号線のうち、期待値と等しい出力信号線（正常出力線）の論理状態を初期化し、論理状態記憶部４４に記録する正常出力線論理状態初期化部２３４と、論理矛盾記憶部４２に記録されている論理矛盾の発生したゲートを除いて、論理状態が推定された信号線から期待値と異なる信号線を検出し、検出した信号線に接続されたゲートを含意操作可能なゲートとする含意可能故障信号線検索部２３５と、論理矛盾記憶部４２に記録された論理矛盾の発生したゲートを除いて、論理状態が推定された信号線から期待値と等しい信号線を検出し、検出した信号線に接続されたゲートを含意操作可能なゲートとする含意可能正常信号線検索部２３６と、含意可能正常信号線検索部２３６または含意可能故障信号線検索部２３５で含意操作可能なゲートが検出されない場合に、全ての含意操作が終了したと判定し、含意操作部２３の処理を終了する含意操作終了判定部２３７とを有する構成である。
【００７６】
次に、図３〜図５を用いて本実施形態の故障伝搬経路推定装置の動作について説明する。
【００７７】
図３は図１に示したデータ処理装置の処理手順を示すフローチャートであり、図４は図２に示した含意操作部の処理手順を示すフローチャートである。また、図５は図１に示した故障伝搬経路推定装置の含意操作結果の一例を示す図であり、２入力ＮＡＮＤゲートの入出力論理状態の推定結果を示す回路図である。
【００７８】
本実施形態では、各信号線の論理状態を“０”、“１”、“Ｕ（Ｕｎｋｎｏｗｎ）”、及び“Ｘ（Ｄｏｎ’ｔ  Ｃａｒｅ）”の４つの状態で表現する。なお、異なる表現で論理状態を示す場合も本実施形態は適用可能である。
【００７９】
本実施形態の故障伝搬経路推定装置は、図１１に示した従来の故障伝搬経路推定装置と同様に、論理状態が既知の信号線を基点として、該信号線に接続されるゲートについてそれぞれ含意操作を行い、該ゲートを挟んで位置する信号線の論理状態をそれぞれ推定する。そして、該推定した論理状態に基づいてさらに同様の処理を繰り返すことで組合せ論理回路内の信号線の論理状態をそれぞれ推定する装置である。また、故障伝搬経路中の信号線にゲートを介して接続され、かつ論理状態が“Ｕ（Ｕｎｋｎｏｗｎ）”の信号線について、論理状態を“０”及び“１”にそれぞれ仮決定し、仮決定した論理状態に基づいて含意操作を繰り返し、故障伝搬経路を抽出する。その際、推定途中で正常な論理状態が出力側に伝搬することを防止するため、期待値と等しい論理状態に推定された正常な信号線の入力側に接続されたゲートを含意可能なゲートとして検出し、正常な信号線の出力側に接続されたゲートを含意可能なゲートにしない。また、含意可能なゲートに対する含意操作によって期待値と等しい論理状態に推定されたゲートの出力側の信号線を含意操作前の論理状態に初期化する。
【００８０】
また、含意操作で新たに推定した論理状態と以前に推定した論理状態との間で論理の矛盾が生じた場合に、論理の矛盾が生じた信号線を登録し、論理の矛盾の発生回数を記録し、論理の矛盾が生じても含意操作を続行する。
【００８１】
さらに、含意操作の結果を履歴情報として保存し、論理の矛盾の発生回数が予め設定した許容回数を越えた場合に、論理の矛盾の発生回数が許容回数内に納まるまで、履歴情報を溯って許容回数を越えた論理の矛盾の原因となる信号線の論理状態を含意操作前の状態に初期化する。
【００８２】
図３において、本実施形態のデータ処理装置２は、まず、初期設定部２１を用いて、故障経路の推定対象である組合せ論理回路の入出力端子の論理状態を、入力装置１を介して指定された状態に設定し（ステップＡ１）、仮決定レベルを初期化（ｄｌｅｖｅｌ＝０）する（ステップＡ２）。また、論理状態が決定していない信号線の論理状態を含意操作の初期状態である“Ｘ”に設定し、その処理結果を論理状態記憶部４４に記録する（ステップＡ３）。
【００８３】
次に、データ処理部２は、含意操作部２３を用いて含意操作をおこなう（ステップＡ４）。図４に示すように、本実施形態の含意操作部２３は、まず、含意可能正常信号線２３６を用いて、論理状態が推定された信号線のうち、期待値と等しい正常な信号線の入力側に接続されたゲートを含意操作可能なゲートとして検出する（ステップＢ２）。このように含意操作可能なゲートの検出時に正常な信号線の出力側に接続されたゲートを除くことで、推定途中で正常な信号が出力側に伝搬することを防止する。ここでは、初期設定（ステップＡ１）で設定された入出力信号線、あるいは論理値仮決定部２８で仮決定された正常な信号線の入力側に接続されたゲートが検出される。
【００８４】
次に、含意操作部２３は、含意操作終了判定部２３７を用いて含意操作が全て終了したか否かを判定する（ステップＢ３）。ステップＢ２または後述するステップＢ１で含意操作が可能なゲートが検出されない場合は含意操作が全て終了したと判定し、含意操作を終了して図３に示すステップＡ５の処理に移行する。
【００８５】
また、ステップＢ２またはステップＢ１で含意操作が可能なゲートが検出された場合は含意操作が終了していないと判定し、図４に示すステップＢ４の処理に移行する。
【００８６】
ステップＢ４において、含意操作部２３は、基本含意操作部２３１を用いてステップＢ２で検出した含意操作可能な各ゲートの入出力信号線の論理状態をそれぞれ推定する。基本含意操作部２３１で推定した論理状態は含意操作の履歴情報と共に論理状態記憶部４４に記録され、その時点の仮決定レベルは仮決定状態記憶部４３に記録される。なお、含意操作の履歴情報は、信号線の論理状態の含意履歴を管理するために木構造で保存することが望ましいが、スタック構造で保存することも可能である。
【００８７】
続いて、含意操作部２３は、論理矛盾登録部２３２を用いて、新たに推定した論理状態とそれ以前に推定した論理状態が矛盾しているゲートを検出し、検出したゲートが論理矛盾記憶部４２に登録されていない場合は論理矛盾記憶部４２に登録する。さらに、論理矛盾記憶部４２を参照し、その時点までに検出した論理矛盾の発生数を記憶し、あらかじめ設定された許容回数を越えているか否かを判定する（ステップＢ５）。
【００８８】
ステップＢ５で論理矛盾の発生数が許容回数を越えている場合、含意操作部２３は、矛盾信号線初期化部２３３を用いて、論理状態記憶部４４に記録されている含意操作の履歴情報と論理矛盾記憶部４２の内容を参照し、論理矛盾が許容回数を越えなくなるまで、基本含意操作部で行なった含意操作（ステップＢ４）の履歴をさかのぼり、その論理矛盾の原因となる信号線の論理状態を初期化する（ステップＢ６）。
【００８９】
次に、含意操作部２３は、正常出力線論理状態初期化部２３４を用いて、含意操作で論理状態が推定されたゲートの出力側の信号線について、論理状態記憶部４３で記憶した推定値と期待値を比較し、両者が等しい正常信号線を検出して、その論理状態をステップＢ３の含意操作前の論理状態に戻して初期化する（ステップＢ７）。
【００９０】
次に、含意操作部２３は、含意可能故障信号線２３５を用いて故障伝搬経路と推定した信号線に接続されたゲートを含意操作可能ゲートとして検出し（ステップＢ１）、上述したステップＢ３の処理に移行して、含意操作終了判定部２３４を用いて含意操作が全て終了したか否かを判定する。
【００９１】
続いて、含意操作部２３は、基本含意操作部２３１を用いてステップＢ１で検出された含意操作可能なゲートの入出力信号線の論理状態をそれぞれ推定する。基本含意操作部２３１で推定した論理状態は含意操作の履歴情報と共に論理状態記憶部４４に記録され、その時点の仮決定レベルは仮決定状態記憶部４３に記録される（ステップＢ４）。以降、上述したステップＢ５〜Ｂ７の処理を再び実行する。
【００９２】
なお、ステップＢ１及びステップＢ２は、含意操作可能なゲートが検出されなくなってから他方の処理に移行する。例えば、ステップＢ２で含意操作可能なゲートを検出されている間は、ステップＢ２で検出されたゲートについて含意操作処理（ステップＢ３〜Ｂ７）を行い、ステップＢ２でゲートが検出されなくなってから、ステップＢ１で検出されたゲートについて含意操作処理を行う。ステップＢ１、Ｂ２の両方でゲートが検出されなくなった時点で含意操作が終了したと判定される（ステップＢ３）。
【００９３】
以上の処理により、故障伝搬経路中のゲートのみ含意操作を行うことが可能になるため、正常な論理状態がゲートの出力側に伝搬することがなくなる。
【００９４】
ここで、本実施形態の故障伝搬経路推定装置の含意操作の一例として、２入力ＮＡＮＤゲートに対する含意操作結果を図５に示す。図５（ａ）は２入力ＮＡＮＤゲートの入力信号線の一方の論理状態が“０”の時の出力信号線の論理状態の推定結果を示し、図５（ｂ）は２入力ＮＡＮＤゲートの出力信号線の論理状態が“０”の時の入力信号線の論理状態の推定結果を示している。なお、括弧［  ］内の数字は期待値である。
【００９５】
従来の故障伝搬経路推定装置では、図１５（ａ）に示したように、ＮＡＮＤゲートの入力信号線の論理状態が“０”の場合、出力信号線は含意操作によって“１”に推定される。しかしながら、本実施形態では、図５（ａ）、（ｂ）に示すように、期待値と異なる出力信号線の論理状態のみ含意操作によって推定する。そのため、図１７に示したループを有する組合せ論理回路であっても、ゲートＧ１に対する含意操作時にその出力信号線Ｌ３が正常状態に推定されることがないため、故障伝搬経路を組合せ論理回路の出力側から追跡できるようになる。
【００９６】
次に、図４に示したステップＢ３で含意操作が可能なゲートが検出されない場合、データ処理装置２は含意操作を終了して図３に示すステップＡ５の処理に移行する。
【００９７】
ステップＡ５では、論理矛盾判定部２４を用いて論理矛盾の発生数が許容回数を越えているか否かを判定する。論理矛盾の発生数が許容回数を越えていなければ、処理終了判定部２５を用いて、論理状態記憶部４４で記憶している各信号線の論理状態を参照し、全ての信号線の論理状態が“０”、“１”または“Ｘ”に推定されたか否かを判定する（ステップＡ６）。
【００９８】
ステップＡ６で全ての信号線の論理状態の推定が終了していないと判定した場合、データ処理装置２はＵ（Ｕｎｋｎｏｗｎ）状態検索部２７を用いて各ゲートの入出力論理状態をそれぞれ調べ、論理状態がＵｎｋｎｏｗｎ状態の信号線を検出する（ステップＡ７）。そして、ステップＡ７で検出したＵｎｋｎｏｗｎ状態の信号線の中から故障伝搬経路影響線検索部２８を用いて故障伝搬経路に関係する信号線を検出する（ステップＡ８）。
【００９９】
続いて、故障伝搬経路影響線検索部２８で検出した信号線の論理状態を、論理値仮決定部２９を用いて“０”に仮決定し、仮決定の回数を表す仮決定レベルを１だけ増加（ｄｌｅｖｅｌ＋１）させて（ステップＡ９）、含意操作部２３による含意操作処理（ステップＡ４）に戻る。
【０１００】
一方、ステップＡ６で全ての信号線の論理状態が推定されたと判定した場合は、組合せ論理回路の全ての信号線の論理状態は“０”、“１”または“Ｘ”に定まっているため、論理値比較部３０を用いて、期待値と異なる論理状態である信号線、すなわち故障伝搬経路を抽出する（ステップＡ１０）。
【０１０１】
さらに、故障出力端子接続関係線抽出部３１を用いて、組合せ論理回路の出力端子（故障出力端子）に影響が現れる故障伝搬経路を抽出し、該故障伝搬経路を出力装置５を用いて出力する（ステップＡ１１）。
【０１０２】
次に、データ処理装置２は、処理終了判定部２５を用いて、仮決定線について“０”及び“１”の両方の仮決定処理が終了しているか否かを判定し（ステップＡ１２）、仮決定処理が全て終了している場合は、故障伝搬経路抽出処理を終了する。
【０１０３】
また、仮決定処理が全て終了していない場合は、バックトラック部２６を用いて、未だ“１”に仮決定していない仮決定線のうち、仮決定レベルの大きい方から１つ抽出し、抽出した仮決定線よりも大きい仮決定レベルに対応する仮決定処理で推定された信号線の論理状態を“Ｕ”に初期化し、各信号線の論理状態をその仮決定前の論理状態に戻す（ステップＡ１３）。
【０１０４】
続いて、ステップＡ１３で取り出した仮決定線の論理状態を“１”に仮決定し（ステップＡ１４）、ステップＡ４の処理に戻って含意操作部２３による含意操作を再び実行する。
【０１０５】
以上説明したように、本実施形態では、正常な論理状態を出力側に伝搬させることなく含意操作を行うため、故障箇所を正常信号線と誤って推定することがなくなり、故障伝搬経路の推定精度が向上する。
【０１０６】
また、論理矛盾記憶部４２に、含意操作途中で論理矛盾が発生したゲート及び論理矛盾の発生数を記録し、論理矛盾が発生しても含意操作を継続するため、任意の処理時点における論理状態を再現することが可能となる。
【０１０７】
さらに、論理状態記憶部４４に記録した含意操作の履歴情報及び論理矛盾記憶部４２に記録した論理矛盾情報を利用し、論理矛盾の発生数が予め定めた許容回数を越えた場合に、許容回数を越えなくなるまで含意操作の履歴を遡るため、「組合せ論理回路内で故障が発生し、かつ入力側から故障状態が伝搬して相互に影響している故障伝搬経路」が推定可能になり、故障伝搬経路の推定精度が向上する。
【０１０８】
次に、従来の故障伝搬経路抽出装置と同様に、図１６及び図１７に示す論理回路を例にして、本実施形態の故障伝搬経路推定装置の具体的な故障伝搬経路の推定手順びついて説明する。
【０１０９】
まず、図１６に示した組合せ論理回路の故障伝搬経路を図１に示した従来の故障伝搬経路抽出装置で抽出する場合で説明する。なお、図１６に示した組合せ論理回路は従来と同様に故障がゲートＧ１の出力信号線で生じているものとし、初期設定時に入力端子Ｌ１、Ｌ２、及び出力端子Ｌ７、Ｌ８、Ｌ９の論理状態がそれぞれ与えられるものとする。また、各信号線の括弧［  ］内の記号は、期待値との比較結果であり、正常状態（Ｔｒｕｅ）または故障状態（Ｆａｌｓｅ）を示している。図１６に示した組合せ論理回路の場合、ゲートＧ１の出力で生じた故障は信号線Ｌ３、Ｌ５、及びＬ６を伝搬して出力端子に接続された信号線Ｌ７及びＬ９に到達する。ここでは入力端子及び出力端子の論理状態のみが観測可能であり、それ以外の信号線の論理状態はわからないものとする。
【０１１０】
図１６において、入出力端子の論理状態が、入力装置１を介してＬ１＝［Ｔ］、Ｌ２＝［Ｔ］、Ｌ７＝［Ｆ］、Ｌ８＝［Ｔ］、Ｌ９＝［Ｆ］に指定されると、まず、データ処理装置２は、初期設定部２１を用いて、入出力端子の論理状態を指定された状態にそれぞれ設定し、Ｘ（Ｄｏｎ’ｔ  Ｃａｒｅ）状態設定部２２を用いて入出力端子以外の信号線の論理状態を“Ｘ”に設定する（ステップＡ１〜Ａ３）。
【０１１１】
次に、データ処理装置２は、含意操作部２３の含意可能正常信号線検索部２３６を用いて、組合せ論理回路中から正常信号線に接続されている入力側のゲートを検出する。ここでは、信号線Ｌ８に接続されているゲートＧ６が検出され（ステップＢ２）、含意操作が終了していないと判断されて含意操作処理が継続される（ステップＢ３）。
【０１１２】
次に、データ処理装置２は、含意操作部２３の基本含意操作部２３１を用いて基本含意操作を行なう（ステップＢ４）。具体的には、各ゲートの真理値表から入出力線の論理状態を“０”あるいは“１”に推定し、その結果と期待値を比較して［Ｔ］あるいは［Ｆ］を判断する。
【０１１３】
ここでは、ゲートＧ６を「出力が故障状態の時、入力信号線の片方または両方が故障状態であるようなゲート」とする。このときゲートＧ６の入力信号線Ｌ５、Ｌ６の論理状態は推定することができない。したがって、論理矛盾登録部２３２では矛盾が検出されず（ステップＢ５）、正常出力線論理状態初期化部２３４で初期化する信号線は検出されない（ステップＢ７）。
【０１１４】
続いて、データ処理装置２は、含意操作部２３の含意可能故障信号線検索部２３５を用いて故障伝搬信号線に接続されているゲートを検索し、信号線Ｌ７に接続されているゲートＧ５、および信号線Ｌ９に接続されているゲートＧ７を検出する（ステップＢ１）。
【０１１５】
ステップＢ１で含意可能なゲートが検出されたため、データ処理装置２は、含意操作部２３の基本含意操作部２３１を用いて、ゲートＧ５に対する含意操作でＬ５＝［Ｆ］、ゲートＧ７に対する含意操作でＬ４＝［Ｔ］、Ｌ６＝［Ｆ］と推定し（ステップＢ４）、論理矛盾登録部２３２を用いて論理矛盾を判定する（ステップＢ５）。
【０１１６】
次に、データ処理装置２は、含意操作部２３の正常出力線論理状態初期化部２３４を用いて、含意操作をおこなった出力側の正常信号線を検出し、含意操作前の論理状態に初期化するが（ステップＢ７）。ここでは、該当する信号線は無い。
【０１１７】
次に、データ処理装置２は、ステップＢ２に戻って含意操作部２３の含意可能正常信号線検索部２３４を用いてＬ４＝［Ｔ］に接続されているゲートＧ２を検出する。このとき、ゲートＧ４は信号線Ｌ４の出力側に接続されているため検出対象からはずれる。
【０１１８】
続いて、基本含意操作部２３１を用いて基本含意操作を行なうが（ステップＢ４）、新たに推定される信号線はない。したがって、論理矛盾は検出されず（ステップＢ５）、正常出力線論理状態初期化部２３４で初期化する信号線はない（ステップＢ７）。
【０１１９】
次に、データ処理装置２は、ステップＢ１に戻り、含意操作部２３の含意可能故障信号線検索部２３５を用いて、故障伝搬信号線に接続されているゲートを検索し、信号線Ｌ５に接続されているゲートＧ３、および信号線Ｌ６に接続されているゲートＧ４をそれぞれ検出する。
【０１２０】
続いて、基本含意操作部２３１を用いて、ゲートＧ３およびＧ４に対する含意操作でＬ３＝［Ｆ］と推定し（ステップＢ４）、論理矛盾登録部２３２を用いて論理矛盾を判定するが（ステップＢ５）、ここでは、論理矛盾は検出されず、正常出力線論理状態初期化部２３４で初期化する信号線はない（ステップＢ７）。
【０１２１】
次に、データ処理装置２は、ステップＢ１に戻り、含意操作部２３の含意可能故障信号線検索部２３５を用いて、故障伝搬信号線に接続されているゲートを検索し、信号線Ｌ３に接続されているゲートＧ１を検出する。
【０１２２】
続いて、基本含意操作部２３１を用いて、ゲートＧ１に対する含意操作でＬ１＝［Ｆ］と推定する（ステップＢ４）。信号線Ｌ１は初期設定時に［Ｔ］と指定されているため、ステップＢ５で論理矛盾が検出される。ここで、論理矛盾の許容回数を１とすると、最初の矛盾であるので、許容回数を越えていない。したがって、そのまま処理が続行されるが、この段階で全ての信号線に対する推定が終了しているため、ステップＢ３で含意可能なゲートがないと判断され、含意操作が終了する。
【０１２３】
以上の処理によって全ての信号線の論理状態がそれぞれ推定され、故障伝搬経路として信号線Ｌ３、Ｌ５、Ｌ６、Ｌ７、Ｌ９が得られる。
【０１２４】
次に、図１７に示すようなループが存在する組合せ論理回路に本実施形態の故障伝搬経路推定装置で故障伝搬経路を抽出する場合で説明する。
【０１２５】
図１７に示す組合せ論理回路の故障伝搬経路を抽出する場合、入出力端子の論理状態がＬ１＝［Ｔ］、Ｌ２＝［Ｔ］、Ｌ７＝［Ｆ］、Ｌ８＝［Ｔ］、Ｌ９＝［Ｆ］にそれぞれ初期設定されるまでの手順は図１６に示した組合せ論理回路に対する処理と同様である（ステップＡ１〜Ａ３）。
【０１２６】
次に、データ処理装置２は、含意操作部２３の含意可能正常信号線検索部２３６を用いて正常信号線に接続された入力側のゲートを検索し、信号線Ｌ８に接続されたゲートＧ６が検出される（ステップＢ２）。ゲートＧ１は信号線Ｌ８の出力側に接続されているため検出されない。以下、図１６に示した組合せ論理回路に対する手順と同様にして各信号線の論理状態がそれぞれ推定され、故障伝搬経路として信号線Ｌ３、Ｌ５、Ｌ６、Ｌ７、Ｌ９が得られる。
【０１２７】
したがって、正常信号がゲートの出力側に伝搬することがないため、故障箇所を正常信号線と推定することがなくなり、回路内にループが存在する場合にも正しく故障伝搬経路を推定することが可能となる。
【０１２８】
ところで、図１８（ｃ）、（ｄ）に示したような「組合せ論理回路内に故障が存在し、故障状態が入力側から伝搬している故障伝搬経路」を求めるためには、論理矛盾が発生しても含意操作を継続する必要がある。
【０１２９】
本実施形態の故障伝搬経路推定装置は、論理状態記憶部４４に記録された含意履歴と論理矛盾記憶部４２に記録された論理矛盾の発生信号線と発生回数の情報を用いることで、論理矛盾が発生しても予め設定した許容回数に満たない場合には含意操作を継続している。また、論理矛盾の発生数が許容回数を越えた場合は、以下のように許容回数を越えなくなるまで含意履歴を遡ることで許容範囲内に納まるようにする。
【０１３０】
例えば、図６に示した組合せ論理回路に対して論理矛盾の許容回数を１にした時、ゲートＧ７とゲートＧ２における含意操作で論理矛盾が発生した場合を考える。
【０１３１】
まず、ゲートＧ７に対する含意操作で論理矛盾が発生した場合、その段階では論理矛盾の発生回数が１回目であるため、論理矛盾発生箇所としてゲートＧ７を論理矛盾記憶部４２に登録する。続いて、ゲートＧ２に対する含意操作で論理矛盾が発生すると、論理矛盾発生箇所として論理矛盾記憶部４２に登録するが、論理矛盾の発生回数が２回目であるため、信号線Ｌ８の論理状態が間違っていると判断し、信号線Ｌ８を頂点とする木構造を初期化して、ゲートＧ２の代わりにゲートＧ５を論理矛盾発生箇所として登録する。
【０１３２】
しかしながら、それでもゲートＧ５、Ｇ７の２箇所で論理矛盾が発生し、許容範囲を越えているため、信号線Ｌ１０の論理状態が間違っていると判断し、信号線Ｌ１０のＳｕｂ−Ｔｒｅｅデータを初期化して、ゲートＧ５、Ｇ７の代わりにゲートＧ４を矛盾箇所として登録する。以上の処理で矛盾箇所は１箇所となり、論理矛盾が許容範囲に納まる。
【０１３３】
なお、論理状態記憶部４４は、上述したように含意操作によって推定された各信号線の論理状態の履歴（含意履歴）を木構造形式またはスタック構造形式で管理している。そのため、任意の信号線の論理状態を含意操作前に戻したい時には、木構造またはスタック構造のデータの一部を消去することで、容易に過去の論理状態に戻すことができる。この含意履歴の記録方法について図６〜図９を用いて以下に説明する。
【０１３４】
図６は図１に示した故障伝搬経路推定装置の含意履歴の記録対象である組合せ論理回路の一例を示す回路図であり、図７は図６に示した組合せ論理回路の信号線Ｌ６を基点とする含意履歴を木構造で示した模式図である。また、図８は図７に示した木構造による含意履歴を実現するためのデータの保存形態を示すテーブル図であり、図９は図６に示した組合せ論理回路の信号線Ｌ６を基点とする含意履歴をスタック構造で記録するためのデータの保存形態を示すテーブル図である。
【０１３５】
例えば、図６に示す組合せ論理回路の信号線Ｌ６を基点として含意操作を行う場合、含意操作は、信号線Ｌ６の出力側のゲートＧ３、Ｇ４、信号線Ｌ６の入力側のゲートＧ１の順に行われ、信号線Ｌ９、Ｌ１０、Ｌ１、Ｌ２の論理状態がそれぞれ推定される。なお、図６中の矢印の尾は含意元の信号線を示し、矢印の先は含意先の信号線を示している。
【０１３６】
図７は図６に示した組合せ論理回路の信号線Ｌ６を基点とする含意操作の履歴を木構造で示したものである。例えば、信号線Ｌ１０の含意操作前の論理状態は、木構造の一部、つまり信号線Ｌ１０を頂点とする木構造のデータを消去することによって得られる。
【０１３７】
木構造形式によるデータの保存方法は、例えば、図８に示すように各Ｓｕｂ−Ｔｒｅｅ毎にテーブル（ＴＢＬ１、ＴＢＬ２、ＴＢＬ３）を作成し、配下にＳｕｂ−Ｔｒｅｅを持つ信号線のデータに配下のテーブルの先頭アドレスを記録することで木構造を実現する。ここでは、テーブルＴＢＬ１の信号線Ｌ１０のデータに配下のテーブルＴＢＬ２の先頭アドレスを保存し、テーブルＴＢＬ２の信号線Ｌ８のデータに配下のテーブルＴＢＬ３の先頭アドレスを保存する。
【０１３８】
また、含意履歴は図９に示すようなスタック構造形式でも保存可能である。図９では、含意操作によって論理状態が推定された順番に信号線の番号と含意レベルをテーブル形式でそれぞれ記録（スタック）していく。ここで、含意レベルとは、含意操作の起点である信号線から何回の含意操作で論理状態が推定されたかを示す数字であり、例えば、含意操作の起点である信号線Ｌ６の含意レベルを０、信号線Ｌ６によって含意操作される信号線の含意レベルを１とする。
【０１３９】
図９に示すようなスタック構造の含意履歴を用いて、信号線Ｌ１０の論理状態を含意操作の直前の状態に戻すためには、信号線Ｌ１０より後に含意操作されたデータを削除すればよい。すなわち、信号線Ｌ１０よりも含意レベルの大きいデータ（Ｌ１１、Ｌ１２、Ｌ８、Ｌ４、Ｌ７）を削除することにより、信号線Ｌ１０を頂点とする木構造形式のデータのＳｕｂ−Ｔｒｅｅを削除する場合と同様の処理となる。
【０１４０】
（第２の実施の形態）
次に、本発明の第２の実施の形態について図面を参照して説明する。
【０１４１】
図１０は本発明の故障伝搬経路推定装置の第２の実施の形態の構成を示すブロック図である。
【０１４２】
図１０において、本実施形態のデータ処理装置３は、ＣＰＵ、及びその処理で必要な情報を一時的に記憶するための記憶素子を備えたコンピュータによって構成されている。また、本実施形態の故障伝搬経路推定装置は、組合せ論理回路の故障伝搬経路を推定するための故障伝搬経路推定プログラムを記録した記録媒体６を有する構成である。なお、記録媒体６は磁気ディスク、光ディスク、半導体メモリあるいはその他の記録媒体であってよい。
【０１４３】
データ処理装置３は、記録媒体６から故障伝搬経路推定プログラムを読み込み、故障伝搬経路推定プログラムにしたがって第１の実施の形態の各ブロックがそれぞれ実行する処理と同様の処理を実行する。その他の構成は第１の実施の形態と同様であるため、その説明は省略する。
【０１４４】
【発明の効果】
本発明は以上説明したように構成されているので、以下に記載する効果を奏する。
【０１４５】
含意操作によって期待値と等しい論理状態に推定された正常な信号線の入力側に接続されたゲートを新たに含意可能なゲートとして検出し、正常な信号線の出力側に接続されたゲートを含意可能なゲートにしないこと、及び含意可能なゲートに対する含意操作によって期待値と等しい論理状態に推定されたゲートの出力側の信号線を含意操作前の論理状態に初期化することで、推定途中で正常な論理状態が出力側に伝搬することが防止される。したがって、正常な論理状態を出力側に伝搬させずに含意操作を行うことができるため、故障箇所を正常信号線と誤って推定することがなくなり、故障伝搬経路の推定精度が向上する。
【０１４６】
また、含意操作で新たに推定した論理状態と以前に推定した論理状態との間で論理の矛盾が生じた場合に、論理の矛盾が生じた信号線を登録すると共に、論理の矛盾の発生回数を記録することで、論理矛盾が発生しても含意操作を継続することができるため、任意の処理時点における論理状態を再現することが可能となる。
【０１４７】
さらに、含意操作の結果を履歴情報として保存し、論理の矛盾の発生回数が予め設定した許容回数を越えた場合に、論理の矛盾の発生回数が許容回数内に納まるまで、履歴情報を溯って許容回数を越えた論理の矛盾の原因となる信号線の論理状態を含意操作前の状態に初期化することで、論理の矛盾の発生回数が許容回数内に納まる故障伝搬経路を再現することができる。したがって、「組合せ論理回路内で故障が発生し、かつ入力側から故障状態が伝搬して相互に影響している故障伝搬経路」が推定可能になり、故障伝搬経路の推定精度が向上する。
【図面の簡単な説明】
【図１】本発明の故障伝搬経路推定装置の第１の実施の形態の構成を示すブロック図である。
【図２】図１に示した含意操作部の一構成例を示すブロック図である。
【図３】図１に示したデータ処理装置の処理手順を示すフローチャートである。
【図４】図２に示した含意操作部の処理手順を示すフローチャートである。
【図５】図１に示した故障伝搬経路推定装置の含意操作結果の一例を示す図であり、２入力ＮＡＮＤゲートの入出力論理状態の推定結果を示す回路図である。
【図６】図１に示した故障伝搬経路推定装置の含意履歴の記録対象である組合せ論理回路の一例を示す回路図である。
【図７】図６に示した組合せ論理回路の信号線Ｌ６を基点とする含意履歴を木構造で示した模式図である。
【図８】図７に示した木構造による含意履歴を実現するためのデータの保存形態を示すテーブル図である。
【図９】図６に示した組合せ論理回路の信号線Ｌ６を基点とする含意履歴をスタック構造で記録するためのデータの保存形態を示すテーブル図である。
【図１０】本発明の故障伝搬経路推定装置の第２の実施の形態の構成を示すブロック図である。
【図１１】従来の故障伝搬経路推定装置の構成を示すブロック図である。
【図１２】図１１に示した含意操作部の構成を示すブロック図である。
【図１３】図１１に示したデータ処理装置の処理手順を示すフローチャートである。
【図１４】図１２に示した含意操作部の処理手順を示すフローチャートである。
【図１５】従来の故障伝搬経路推定装置の含意操作結果の一例を示す図であり、２入力ＮＡＮＤゲートの入出力論理状態の推定結果を示す回路図である。
【図１６】故障伝搬経路の推定対象である組合せ論理回路の一例を示す回路図である。
【図１７】故障伝搬経路の推定対象である組合せ論理回路の一例を示す回路図である。
【図１８】組合せ論理回路内で発生した故障の伝搬経路の例を示す模式図である。
【符号の説明】
１    入力装置
２、３    データ処理装置
４    記憶装置
５    出力装置
６    記録媒体
２１    初期設定部部
２２    Ｘ（Ｄｏｎ’ｔ  Ｃａｒｅ）状態設定部
２３    含意操作部
２４    論理矛盾判定部
２５    処理終了判定部
２６    バックトラック部
２７    Ｕ（Ｕｎｋｎｏｗｎ）状態検索部
２８    故障伝搬経路影響線検索部
２９    論理値仮決定部
３０    論理値比較部
３１    故障出力端子接続関係線抽出部
４１    論理回路構成記憶部
４２    論理矛盾記憶部
４３    仮決定状態記憶部
４４    論理状態記憶部
２３１    基本含意操作部
２３２    論理矛盾登録部
２３３    矛盾信号線初期化部
２３４    正常出力線論理状態初期化部
２３５    含意可能故障信号線検索部
２３６    含意可能正常信号線検索部
【図１】
0003555071.tif 000002
【図２】
0003555071.tif 000003
【図３】
0003555071.tif 000004
【図４】
0003555071.tif 000005
【図５】
0003555071.tif 000006
【図６】
0003555071.tif 000007
【図７】
0003555071.tif 000008
【図８】
0003555071.tif 000009
【図９】
0003555071.tif 000010
【図１０】
0003555071.tif 000011
【図１１】
0003555071.tif 000012
【図１２】
0003555071.tif 000013
【図１３】
0003555071.tif 000014
【図１４】
0003555071.tif 000015
【図１５】
0003555071.tif 000016
【図１６】
0003555071.tif 000017
【図１７】
0003555071.tif 000018
【図１８】
0003555071.tif 000019