特許
J-GLOBAL ID：201103051681370002
組合せ論理回路における故障伝搬経路推定システム及び方法並びにプログラム
発明者：
出願人/特許権者：
代理人 (1件)：
加藤 朝道
公報種別：特許公報
出願番号（国際出願番号）：特願2001-359012
公開番号（公開出願番号）：特開2003-021667
特許番号：特許第3614811号
出願日： 2001年11月26日
公開日（公表日）： 2003年01月24日
請求項（抜粋）：
【請求項1】論理状態の仮定と含意操作とを繰り返して組合せ論理回路内の論理状態を推定し、前記組合せ論理回路が正常動作するときの論理状態である期待値と比較することで、前記組合せ論理回路内の故障伝搬経路を推定する故障伝搬経路推定システムにおいて、論理状態の仮決定の回数を表す仮決定レベルに上限を設け、論理状態の仮決定の回数が前記仮決定レベルの上限を超えた場合に、論理状態の仮判定を、簡易的な故障伝搬経路の検索に切り替える仮決定制限判定手段と、ゲートの出力信号が故障状態であり、かつ、入出力信号線に論理状態がU(不定状態)である信号線を持つ未確定ゲートから、入力方向に前記組合せ論理回路のネットリストをトレースすることにより、ファンインコーンを抽出し、前記ファンインコーンに含まれる論理状態の定まっていない信号線を、故障伝搬経路として登録する第1の故障伝搬経路簡易検索手段と、を備えたことを特徴とする故障伝搬経路推定システム。
IPC (1件)：
FI (2件)：
G01R 31/28 F
, G01R 31/28 H
