JP2000314760A - 故障診断装置及び方法並びに記録媒体 - Google Patents

Abstract

(57)【要約】 【課題】与えられた組合せ論理回路の故障箇所候補の特
定を高速化するとともに精度を向上する装置及び方法の
提供。 【解決手段】テストパタンデータとシミュレーションデ
ータを受け取りそれを振り分けするデータ受付部１と、
テストパタンの出力が正常であるときのシミュレーショ
ンデータを取得しシミュレーションデータから論理回路
の各ネットの論理値の推移を調査し、ネットの論理値が
ある値に偏っていることネットを検出した場合、前記偏
っている論理値と、前記ネットが入力端に接続されてい
る論理ゲートの種別とから、前記偏っている論理値とネ
ットが接続するゲートの種別とネットの縮退故障との関
係を規定した故障箇所判定条件にしたがって故障箇所候
補を特定する正常パタン時データ解析部３と、正常パタ
ン時データ解析部で特定された故障候補情報を出力する
故障候補出力部５と、を備える。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、論理回路の故障診
断装置及び方法に関する。

【０００２】

【従来の技術】従来より、ＬＳＩ故障診断技術における
故障箇所を特定する方法として、部分回路の出力状態か
ら、その出力状態をもたらす入力を推定する方法によ
り、故障が検出された回路の出力から入力方向に故障伝
搬経路を推定する故障さかのぼり法が用いられている。

【０００３】しかしながら、故障さかのぼり法は、故障
箇所の特定に要する計算量が膨大であり、故障伝搬経路
の候補となる経路数が、さかのぼる部分回路の数に対し
て指数関数的に増えてしまう、という問題があった。

【０００４】また例えば特開平８−３０４５１３号公報
には、ゲートの入出力の縮退故障だけでなくゲート内部
の縮退故障や短絡故障の故障箇所の絞り込みを可能と
し、大規模な回路に対しても短時間に効率よく故障箇所
を診断する方法の提供を目的として、被疑故障ゲートの
出力に不定故障を定義して故障シミュレーションを行な
い、不定故障によりエラーが検出された観測点で不定が
出力されたときに、被疑故障ゲートであると判定し、こ
の処理を繰り返し、最終的に残った被疑故障ゲートを診
断結果として表示する方法が提案されている。この方法
は、故障辞書を用いたシミュレーションにより故障箇所
特定の支援を行なっているが、故障箇所特定までシミュ
レーションを何回も行なわなければならない。

【０００５】また例えば特開平７−１０４０３４号公報
には、論理素子接続情報を基に正常時の信号線値が固定
している信号線を検出し、固定値信号線の影響で出力端
子から故障信号を観測できない領域を確定し、観測不能
信号線及び観測不能故障信号の情報から一意に冗長と判
定できる冗長故障を指摘し、残りの故障について個々の
故障ごとに故障信号伝搬の必要条件を考慮した経路探索
処理を行ない、出力端子に故障が影響が伝播しない故障
を冗長故障と判定し、冗長判定された故障を除いた残り
の故障をテストパタン生成対象とする論理回路の縮退故
障検査の方法が開示されている。

【０００６】

【発明が解決しようとする課題】上記したように、従来
の故障診断システムにおいては、故障箇所特定のために
シミュレーションを何度も行なわなくてはならず、演算
量が膨大なものとなる、という問題点を有している。

【０００７】その理由は、故障さかのぼり法では故障伝
搬経路の候補が指数関数的に増えてしまうためである。

【０００８】したがって本発明は、上記問題点に鑑みて
なされたものであって、その目的は、論理回路の故障診
断を効率的且つ短時間に実行可能とする装置及び方法を
提供することにある。

【０００９】

【課題を解決するための手段】前記目的を達成する本発
明に係る論理回路の故障診断装置は、テストパタンの出
力が正常であるときのシミュレーションデータを解析し
て、ネットの論理値がある値に偏っているネットを検出
した場合、前記ネットの周辺に縮退故障が存在する可能
性があるものと判定し、故障箇所候補の特定を行なう手
段を含む。

【００１０】また本発明に係る論理回路の故障診断方法
は、（ａ）記憶手段からテストパタンを読み出し該テス
トパタンの出力が正常であるとき同じパタンでのシミュ
レーションデータを記憶手段から入力し、（ｂ）前記シ
ミュレーションデータを解析し、ネットの論理値がある
値に偏っているネットことを検出した場合、前記ネット
の周辺に縮退故障が存在する可能性があるものと判定し
て故障箇所候補の特定を行なう。

【００１１】

【発明の実施の形態】本発明の実施の形態について説明
する。本発明の故障診断装置は、その好ましい実施の形
態において、テストパタンの出力が正常であるときのシ
ミュレーションデータを取得し、前記シミュレーション
データから、前記論理回路の各ネットの論理値の推移を
調査し、ネットの論理値がある値に偏っている（例え
ば、シミュレーションデータ中、あるネットで多数を占
める値でない方の論理値が所定数以下である）ネットを
検出した場合、前記偏っている論理値と、前記ネットが
入力端に接続されている論理ゲートの種別とから、前記
偏っている論理値とネットが接続するゲートの種別とネ
ットの縮退故障との関係を規定した故障箇所判定条件表
を参照して、故障箇所候補を特定する手段（図１の３）
を含む。

【００１２】より詳細には、本発明の故障診断装置は、
その好ましい実施の形態において、図１を参照すると、
テストパタンデータ（８）とシミュレーションデータ
（７）を受け取りそれを振り分けするデータ受け付け手
段（１）と、テストパタン（テストベクトル）の出力が
正常であるテストパタンに対応する論理回路のシミュレ
ーション結果であるシミュレーションデータを解析し故
障候補を特定する正常パタン時データ解析手段（３）
と、正常パタン時データ解析手段（３）で特定された故
障候補情報を出力する故障候補出力手段（５）と、を備
えている。

【００１３】本発明の実施の形態において、正常パタン
データ解析手段（３）は、図２を参照すると、データ受
け付け手段（１）からシミュレーションデータを受け取
り記憶手段（３０５）に格納する手段（３０１）と、シ
ミュレーションデータを入力し前記シミュレーションデ
ータから論理回路の各ネットの論理値の推移を調査し、
ネットの論理値がある値に偏っている（例えば、シミュ
レーションデータ中、あるネットで多数を占める値でな
い方の論理値が所定数以下である）ネットを検出した場
合、前記偏っている論理値と、前記ネットが入力端に接
続されている論理ゲートの種別とから、前記偏っている
論理値とネットが接続するゲートの種別とネットの縮退
故障との関係を規定した故障箇所判定条件テーブルを参
照して、故障候補ネットを記憶手段（３０６）に格納す
る手段（３０３）と、前記記憶手段（３０６）に格納さ
れた故障候補ネットと、ネットリストファイル（３０
８）から入力され記憶手段（３０７）に格納されたネッ
トリスト情報（３０７）を参照して、故障である可能性
があるネットを故障候補として前記故障候補出力手段
（５）に渡す手段（３０４）と、を備える。

【００１４】また本発明の故障解析装置は、その好まし
い実施の形態において、図７を参照すると、テストパタ
ンデータ（８）とシミュレーションデータ（７）を受け
取りそれを振り分けするデータ受け付け手段（１）と、
テストパタンの出力が異常（フェイル）であるパタンに
おける故障さかのぼりによる故障推定を行う故障推論手
段（２）と、テストパタンの出力が正常であるときのシ
ミュレーションデータを解析して、ネットの論理値があ
る値に偏っているネットを検出した場合、前記ネットの
周辺に縮退故障が存在する可能性があるものと判定し、
故障箇所候補の特定を行なう正常パタン時データ解析手
段（３）と、故障推論手段（２）と正常パタン時データ
解析手段（３）のそれぞれから故障箇所推定結果を受け
取り、故障推論手段（２）による推定結果と、正常パタ
ン時データ解析手段（３）の推定結果から、故障推論手
段（２）及び正常パタン時データ解析手段（３）の双方
で異常と判断された箇所を故障候補として特定する故障
候補特定手段（４）と、故障候補特定手段（４）からの
前記故障候補情報を出力する故障候補出力手段（５）
と、を備えて構成してみよい。

【００１５】本発明は、さらに別の実施の形態におい
て、ネットリスト情報、テストパタン、シミュレーショ
ンデータを入力し論理回路の故障診断を行うデータ処理
装置において、（ａ）前記テストパタンの出力が正常で
あるときのシミュレーションデータを取得する処理、
（ｂ）前記シミュレーションデータから、前記論理回路
の各ネットの論理値の推移を調査し、ネットの論理値が
ある値に偏っているネットを検出した場合、前記偏って
いる論理値と、前記ネットが入力端に接続されている論
理ゲートの種別とから、前記偏っている論理値とネット
が接続するゲートの種別とネットの縮退故障との関係を
規定した故障箇所判定条件テーブルを参照して、故障箇
所候補を特定する処理、の前記（ａ）、（ｂ）よりなる
正常パタン時データ解析手段（３）の処理は、前記デー
タ処理装置で実行されるプログラムにより実現してもよ
い。この場合、該プログラムを記録した記録媒体からも
しくは通信媒体を介して該プログラムを読み出しデータ
処理装置で実行することで正常パタン時データ解析手段
（３）の処理・機能が実現される。

【００１６】また本発明は、さらに別の実施の形態にお
いて、ネットリスト情報、テストパタン、シミュレーシ
ョンデータを入力し論理回路の故障診断を行うデータ処
理装置において、（ａ）前記テストパタンの出力が異常
（フェイル）であるパタンにおける故障さかのぼりによ
る故障推定を行う処理、（ｂ）前記テストパタンの出力
が正常（パス）であるときに同じパタンでのシミュレー
ションデータを記憶手段から取得する処理、（ｃ）前記
シミュレーションデータ中から、前記論理回路の各ネッ
トの論理値の推移を調査し、ネットの論理値がある値に
偏っているネットを検出した場合、前記偏っている論理
値と、前記ネットが入力端に接続されている論理ゲート
の種別とから、前記偏っている論理値とネットが接続す
るゲートの種別とネットの縮退故障との関係を規定する
所定の故障箇所判定条件に従って、故障箇所推定を行う
処理、（ｄ）前記処理（ａ）、（ｃ）で得られた故障箇
所推定結果を受け取り、双方の処理で異常と判断された
箇所を故障候補として特定する処理、の前記（ａ）乃至
（ｄ）の処理を前記データ処理装置で実行されるプログ
ラムにより実現してもよい。この場合、該プログラムを
記録した記録媒体から該プログラムを読み出しデータ処
理装置で実行することで、故障推論手段（２）、正常パ
タン時データ解析手段（３）、故障候補特定手段（４）
の処理・機能が実現される。

【００１７】このように、本発明の実施の形態において
は、正常パタン時データ解析手段は、出力が正常である
テストパタンでのシミュレーション結果に関して、出力
が正常である任意のテストパタンにおいて論理状態が同
一であるネットに着目して、縮退故障の可能性を見出す
ようにしたものである。

【００１８】また、出力が正常である任意のテストパタ
ンにおいて、論理状態が同一であるネットは、その値で
縮退故障となっているか、そのネットが入力と接続して
いるゲートの他の入力の故障を出力方向に伝搬している
可能性があることにより、故障箇所特定を簡便化してい
る。

【００１９】

【実施例】本発明の実施例について図面を参照して詳細
に説明する。

【００２０】図１は、本発明の第１の実施例の構成を示
す図である。図１を参照すると、本発明の第１の実施例
は、テストパタンデータ７とシミュレーションデータ８
を受け取りそれを振り分けするデータ受け付け部１と、
出力が正常であるテストパタンでの回路のシミュレーシ
ョン結果を解析し故障候補を特定する正常パタン時デー
タ解析部３と、正常パタン時データ解析部３が特定した
故障候補情報を出力する故障候補出力部５と、を備えて
いる。

【００２１】本発明の第１の実施例の動作について説明
する。図２は、本発明の第１の実施例における正常パタ
ンデータ解析部３の構成を示す図である。

【００２２】図２を参照すると、シミュレーションデー
タ受取部３０１は、データ受け付け部１からシミュレー
ションデータを受け取り、シミュレーションデータファ
イル３０５に格納する。ネット論理値推移調査部３０３
はシミュレーションデータファイル３０５からシミュレ
ーションデータを受け取り、回路の各ネットの論理値の
推移を調査し、故障候補ネット情報保存バッファ３０７
に故障候補の情報を格納する。ネットリストデータ受取
部３０２は、回路の接続情報を格納したネットリストフ
ァイル３０８からネットリストデータを読み込み、ネッ
トリスト格納用バッファ３０７に格納する。

【００２３】ネット故障可能性箇所判定部３０４は、故
障候補ネット情報保存バッファ３０６とネットリスト格
納用バッファ３０７の情報を参照して、故障である可能
性があるネットを故障候補としてあげ、その情報を、故
障候補出力部５に出力する。

【００２４】シミュレーションデータ受取部３０１の動
作について説明する。図３は、シミュレーションデータ
フォーマットの一例を示す図であり、ネット数がｎ個の
回路のシミュレーションファイルにおけるレコードフォ
ーマットを示したものである。図３を参照すると、パタ
ン番号と、ｉ番目のネットのパタン番号ｉのときの論理
値が、ｎ番目のネットについて格納されている。

【００２５】シミュレーションデータ受取部３０１は、
図３に示したフォーマットのシミュレーションデータを
受け取り、これと同じフォーマットでシミュレーション
データファイル３０５に格納する。

【００２６】次にネットリストデータ受取部３０２の動
作について説明する。ネットリストデータ受取部３０２
は、ネットリストデータ３０８を受け取り同じフォーマ
ットでネットリスト格納用バッファ３０７格納する。

【００２７】図４は、本発明の第１の実施例におけるネ
ット論理値推移調査部３０３の動作を説明するための流
れ図である。図４を参照して、ネット論理値推移調査部
３０３の動作について説明する。ネット論理値推移調査
部３０３は、シミュレーションデータファイル３０５か
ら、図３に示すフォーマットのシミュレーションデータ
を全て受け取る（ステップＳ１１）。

【００２８】次にネット論理値推移調査部３０３は、レ
コードの最初のネットを選択する（ステップＳ１２）。

【００２９】現選択ネットがシミュレーションの各パタ
ーンでとっている値のうち、多数でない方の論理値の出
現回数が、予め定められた所定値（例えばすべてのテス
トパタン数（テストベクトル数）／入出力端子数）以下
である場合（ステップＳ１３のＹｅｓ分岐）、現選択ネ
ットが故障候補になり得るネットであるものとして、ネ
ット故障可能性箇所判定部３０４に渡し、ネット故障可
能性箇所判定部３０４では、現選択ネットが入力に接続
しているゲートの論理により、縮退故障の可能性を検査
し（ステップＳ１４）、故障可能性調査結果を故障箇所
特定部４に渡し（ステップＳ１５）、ステップＳ１６の
判定に移る。

【００３０】一方、現選択ネットがシミュレーションの
各パターンでとっている値のうち多数でない側の論理値
の出現回数が、上記所定値を超える場合（ステップＳ１
３のＮｏ分岐）、現選択ネットは故障箇所の候補になり
得ないものとして、現選択ネットが最後のネットならば
処理を終了し（ステップＳ１６）、現選択ネットが最後
のネットでないならば（ステップＳ１６のＮｏ分岐）、
次のネットを選択して現選択ネットとし（ステップＳ１
７）、再びステップＳ１３に戻り、処理を繰り返す。

【００３１】次にネット故障可能性箇所判定部３０４の
動作について説明する。ネット故障可能性箇所判定部３
０４は、ネット論理値推移調査部３０３からネット名と
そのネットで多数を占める論理値を受け取る。

【００３２】次に、ネット故障可能性箇所判定部３０４
は受け取ったネット名でネットリスト格納用バッファ３
０７を検索し、当該ネットが入力端子に接続しているゲ
ートを検索し、そのゲートの種類（ＯＲ、ＡＮＤ、ＮＯ
Ｒ、ＮＡＮＤ等）と、該ゲートの他の入力に接続してい
るネットのネット名を得る。

【００３３】現ネットに接続しているゲートの種類を得
たネット故障可能性箇所判定部３０４は、例えば図５に
表形式で示したような判定条件でに従って、故障候補箇
所を特定する。

【００３４】図５に示す判定条件では、以下のような判
定が行われる（図４のステップＳ１４）。

【００３５】・現ネットで多数を占める値（論理値）が
“１”で現ネットが入力となるゲートがＯＲ回路なら
ば、現ネットの１縮退。 ・現ネットで多数を占める値が“０”で現ネットが入力
となるゲートがＯＲ回路ならば、現ネットと別のそのゲ
ートの入力端子に接続したネットの縮退。 ・現ネットで多数を占める値が“１”で現ネットが入力
となるゲートがＡＮＤ回路ならば、現ネットと別のその
ゲートの入力端子に接続したネットの縮退。 ・現ネットで多数を占める値が“０”で現ネットが入力
となるゲートがＡＮＤ回路ならば、現ネットの０縮退。 ・現ネットで多数を占める値が“１”で現ネットが入力
となるゲートがＮＯＲ回路ならば、現ネットと別のその
ゲートの入力端子に接続したネットの縮退。 ・現ネットで多数を占める値が“０”で現ネットが入力
となるゲートがＮＯＲ回路ならば、現ネットの０縮退。 ・現ネットで多数を占める値が“１”で現ネットが入力
となるゲートがＮＡＮＤ回路ならば、現ネットの１縮
退。 ・現ネットで多数を占める値が“０”で現ネットが入力
となるゲートがＮＡＮＤ回路ならば、現ネットと別のそ
のゲートの入力端子に接続したネットの縮退。

【００３６】ネット故障可能性箇所判定部３０４は、故
障可能性調査結果を出力する（図４のステップＳ１
５）。なお、図５に示した判定条件の一覧は、正常パタ
ン時データ解析部３にテーブルとして備えた構成として
もよい。

【００３７】次に本発明の第２の実施例について説明す
る。図６は、本発明の第２の実施例の構成を示す図であ
る。本発明の第２の実施例は、前記第１の実施例の正常
パタン時データ解析部３をプログラム制御で行なうもの
であり、データ処理装置上で、ＬＳＩ故障推定箇所推定
プログラムを実行することで正常パタン時データ解析部
３の機能・処理を実現している。なお、データ受け付け
部１、故障候補出力部５の制御もプログラム制御で行な
われる。図６を参照すると、本発明の第２の実施例にお
いて、ＬＳＩ故障箇所推定プログラムは、記録媒体６か
ら、データ処理装置に読み込まれ、正常パタン時データ
解析部３の動作を制御する。データ受け付け部１がテス
トパタンデータとシミュレーションデータを受け取りそ
れを振り分け、正常パタン時データ解析部３は、出力が
正常であるテストパタンでの回路のシミュレーション結
果を解析して故障候補を特定すると、故障候補情報を受
け取った故障候補出力部５が故障情報を出力する。

【００３８】正常パタン時データ解析部３の構成、及び
動作は、図２乃至図５を参照して説明したものと同一と
され、図３に示したシミュレーションデータ受取部３０
１、ネットリストデータ受取部３０２、ネット論理値推
移調査部３０３、ネット故障可能性箇所判定部３０４の
各部の処理はプログラムによりその処理が実現される。
なお、各部の処理の説明は、重複を避けるため省略す
る。

【００３９】図７は、本発明の第３の実施例の構成を示
す図である。図７を参照すると、本発明の第４の実施例
においては、データ受け付け部１が、テストパタンデー
タとシミュレーションデータを受け取りそれを振り分
け、出力が異常（フェイル）であるパタンにおける故障
さかのぼりによる故障推定を故障推論部２が行ない、正
常パタン時データ解析部３は、出力が正常（パス）であ
るテストパタンでの回路のシミュレーション結果を解析
して故障候補を特定し、故障推論部２と正常パタン時デ
ータ解析部３とから故障候補情報を受け取った故障候補
特定部４が故障候補の特定を行ない、その結果を故障候
補出力部５が故障情報を出力する。

【００４０】故障推論部２は、異常な回路の出力が異常
であるテストパタンにおいて、異常な信号を出力した出
力端子から故障伝搬経路を逆にさかのぼる方法により出
力が異常なテストパタンにおける故障推論を行ない、そ
の結果を故障候補特定部４に渡す。

【００４１】図８は、本発明の第３の実施例におけるデ
ータ受取部１の処理手順を示した流れ図である。テスト
パタンを１パタン分読み込み（ステップＳ２０）、読み
込んだテストパタンのパス／フェイルを判定し（ステッ
プＳ２１）、フェイルの場合、故障推論部２にテストパ
タンを渡し（ステップＳ２２）、パスの場合、同じパタ
ンでのシミュレーションデータを取得し（ステップＳ２
３）、シミュレーションデータを正常パタン時データ解
析部３に渡す（ステップＳ２４）。

【００４２】本発明の第３の実施例における正常パタン
時データ解析部３の構成及び動作は、前記第１の実施例
において図２乃至図５を参照して説明した通りであるた
め、その説明は省略する。

【００４３】データ受け付け部１が、テストパタンデー
タとシミュレーションデータを受け取りそれを振り分
け、テストパタン（テストベクトル）の出力が異常（フ
ェイル）であるパタンにおける故障さかのぼりによる故
障推定を故障推論部２が行ない、正常パタン時データ解
析部３は、出力が正常であるテストパタンでの回路のシ
ミュレーション結果を解析して故障候補を特定し、故障
推論部２と正常パタン時データ解析部３のそれぞれから
故障箇所推定結果を受け取った故障候補特定部４は、故
障推論部２における推定結果と正常パタン時データ解析
部４の推定結果の重なり部分、即ち故障推論部２でも正
常パタン時データ解析部４でも異常と判断された箇所を
故障候補として、故障候補出力部５に渡す。故障候補出
力部５は受け取った故障候補を外部に出力する。

【００４４】次に、本発明の第４の実施例について説明
する。図９は、本発明の第４の実施例の構成を示す図で
ある。本発明の第４の実施例においては、前記第３の実
施例における故障推論部２と正常パタン時データ解析部
３とをデータ処理装置上で実行されるプログラムを実行
することでその機能を実現したものである。記録媒体６
から、プログラムがデータ処理装置に読み込まれ、故障
推論部２と正常パタン時データ解析部３の動作を制御す
る。データ受け付け部１が、テストパタンデータとシミ
ュレーションデータを受け取りそれを振り分け、出力が
異常であるパタンにおける故障さかのぼりによる故障推
定を故障推論部３が行ない、正常パタン時データ解析部
３は、出力が正常であるテストパタンでの回路のシミュ
レーション結果を解析し故障候補を特定し、故障推論部
２と正常パタン時データ解析部３の故障候補情報を受け
取った故障候補特定部４が、故障推論部２における推定
結果と正常パタン時データ解析部３の推定結果の重なり
部分、即ち故障推論部２でも正常パタン時データ解析部
３でも異常と判断された箇所を故障候補として、故障候
補出力部５に渡す。故障候補出力部５は、受け取った故
障候補を外部に出力する。

【００４５】なお、本発明の第４の実施例における正常
パタン時データ解析部３の構成及び処理動作は前記第
１、及び第２の実施例で説明したものと同様であるた
め、その説明は省略する。

【００４６】

【発明の効果】以上説明したように、本発明によれば、
与えられた組合せ論理回路の故障箇所候補の絞り込み処
理を高速化するという効果を奏する。

【００４７】その理由は、本発明においては、故障のバ
ックトレースを行なうことなくシミュレーション結果の
解析により、少ない演算量で故障箇所候補絞り込みを行
なうことが出来るからである。

【図面の簡単な説明】

【図１】本発明の第１の実施例の構成を示す図である。

【図２】本発明の第１の実施例における正常パタン時デ
ータ解析部３の構成を示す図である。

【図３】本発明の第１の実施例におけるシミュレーショ
ンデータフォーマットを示す図である。

【図４】本発明の第１の実施例における故障箇所判定の
処理手順を示す流れ図である。

【図５】本発明の第１の実施例における故障箇所判定条
件表の一例を示す図である。

【図６】本発明の第２の実施例の構成を示す図である。

【図７】本発明の第３の実施例の構成を示す図である。

【図８】本発明の第１の実施例におけるデータ受付部１
の処理を説明する流れ図である。

【図９】本発明の第４の実施例の構成を示す図である。

【符号の説明】

１ データ受付部 ２ 故障推論部 ３ 正常パタン時データ解析部 ４ 故障候補特定部 ５ 故障候補出力部 ７ シミュレーションデータ ８ テストパタンデータ ３０１ シミュレーションデータ受け取り部 ３０２ ネットリストデータ受け取り部 ３０３ ネット論理値推論部 ３０４ ネット故障可能性箇所判定部 ３０５ シミュレーションデータファイル ３０６ 故障候補ネット情報保存バッファ ３０７ ネットリスト格納用バッファ ３０８ ネットリストファイル

Claims (11)

【特許請求の範囲】
1. 【請求項１】論理回路の故障診断装置において、 テストパタンの出力が正常であるときのシミュレーショ
   ンデータを解析して、ネットの論理値がある値に偏って
   いるネットを検出した場合、前記ネットの周辺に縮退故
   障が存在する可能性があるものと判定し、故障箇所候補
   の特定を行なう手段を含む、ことを特徴とする故障診断
   装置。
2. 【請求項２】論理回路の故障診断装置において、 テストパタンの出力が正常であるときのシミュレーショ
   ンデータを取得し、前記シミュレーションデータから、
   前記論理回路の各ネットの論理値の推移を調査し、ネッ
   トの論理値がある値に偏っているネットを検出した場
   合、前記偏っている論理値と、前記ネットが入力端に接
   続されている論理ゲートの種別とから、前記偏っている
   論理値と論理ゲートの種別とネットの縮退故障との関係
   を規定した故障箇所判定条件テーブルを参照して、故障
   箇所候補を特定する手段を含む、ことを特徴とする故障
   診断装置。
3. 【請求項３】テストパタンデータとシミュレーションデ
   ータを受け取りそれを振り分けするデータ受け付け手段
   と、 テストパタンの出力が正常であるテストパタンに対応す
   る論理回路のシミュレーション結果であるシミュレーシ
   ョンデータを解析し故障候補を特定する正常パタン時デ
   ータ解析手段と、 前記正常パタン時データ解析手段で特定された故障候補
   情報を出力する故障候補出力手段と、を備え、 前記正常パタンデータ解析手段が、テストパタンの出力
   が正常であるときのシミュレーションデータを取得し、
   前記シミュレーションデータから、前記論理回路の各ネ
   ットの論理値の推移を調査し、ネットの論理値がある値
   に偏っているネットを検出した場合、前記偏っている論
   理値と、前記ネットが入力端に接続されている論理ゲー
   トの種別とから、前記偏っている論理値とネットが接続
   する論理ゲートの種別とネットの縮退故障との関係を規
   定した故障箇所判定条件テーブルを参照して、故障箇所
   候補を特定する手段を備えたことを特徴とする故障診断
   装置。
4. 【請求項４】前記正常パタンデータ解析手段が、前記デ
   ータ受け付け手段からシミュレーションデータを受取り
   記憶手段に格納する手段と、 前記シミュレーションデータを入力し前記シミュレーシ
   ョンデータから論理回路の各ネットの論理値の推移を調
   査し、ネットの論理値がある値に偏っているネットを検
   出した場合、前記偏っている論理値と、前記ネットが入
   力端に接続されている論理ゲートの種別とから、前記偏
   っている論理値とネットが接続するゲートの種別とネッ
   トの縮退故障との関係を規定した故障箇所判定条件テー
   ブルを参照して、故障候補ネットを記憶手段に格納する
   手段と、 前記記憶手段に格納された故障候補ネットとネットリス
   ト情報を参照して、故障である可能性があるネットを故
   障候補として前記故障候補出力手段に渡す手段と、を備
   えたことを特徴とする請求項３記載の故障診断装置。
5. 【請求項５】テストパタンデータとシミュレーションデ
   ータを受け取りそれを振り分けするデータ受け付け手段
   と、 テストパタンの出力が異常（フェイル）であるパタンに
   おける故障を出力から入力方向にさかのぼることで故障
   推定を行う故障推論手段と、 テストパタンの出力が正常（パス）であるときのシミュ
   レーションデータを解析して、ネットの論理値がある値
   に偏っているネットを検出した場合、前記ネットの周辺
   に縮退故障が存在する可能性があるものと判定し、故障
   箇所候補の特定を行なう正常パタン時データ解析手段
   と、 前記故障推論手段と前記正常パタン時データ解析手段の
   それぞれから故障箇所推定結果を受け取り、前記故障推
   論手段における推定結果と、前記正常パタン時データ解
   析手段の推定結果から、前記故障推論手段及び前記正常
   パタン時データ解析手段の双方で異常と判断された箇所
   を故障候補として特定する故障候補特定手段と、 前記故障候補特定手段からの前記故障候補情報を出力す
   る故障候補出力手段と、 を備えたことを特徴とする故障診断装置。
6. 【請求項６】前記正常パタンデータ解析手段が、 前記データ受け付け手段からシミュレーションデータを
   受取り記憶手段に格納する手段と、 前記シミュレーションデータを入力し前記シミュレーシ
   ョンデータから論理回路の各ネットの論理値の推移を調
   査し、ネットの論理値がある値に偏っているネットを検
   出した場合、前記偏っている論理値と、前記ネットが入
   力端に接続されている論理ゲートの種別とから、前記偏
   っている論理値とネットが接続するゲートの種別とネッ
   トの縮退故障との関係を規定した故障箇所判定条件テー
   ブルを参照して、故障候補ネットを記憶手段に格納する
   手段と、 前記記憶手段に格納された故障候補ネットとネットリス
   ト情報を参照して、故障である可能性があるネットを故
   障候補として前記故障候補出力手段に渡す手段と、を備
   えた、ことを特徴とする請求項５記載の故障診断装置。
7. 【請求項７】論理回路の故障診断方法において、 （ａ）記憶手段からテストパタンを読み出し該テストパ
   タンの出力が正常であるときのシミュレーションデータ
   を記憶手段から入力するステップと、 （ｂ）前記シミュレーションデータを解析し、ネットの
   論理値がある値に偏っているネットことを検出した場
   合、前記ネットの周辺に縮退故障が存在する可能性があ
   るものと判定して故障箇所候補の特定を行なうステップ
   と、を含むことを特徴とする故障診断方法。
8. 【請求項８】論理回路の故障診断方法において、 （ａ）記憶手段から読み出したテストパタンの出力が正
   常であるときに同じパタンでのシミュレーションデータ
   を記憶手段から取得するステップと、 （ｂ）前記シミュレーションデータ中から、前記論理回
   路の各ネットの論理値の推移を調査するステップと、 （ｃ）ネットの論理値がある値に偏っているネットを検
   出した場合、前記偏っている論理値と、前記ネットが入
   力端に接続されている論理ゲートの種別とから、前記偏
   っている論理値とネットが接続するゲートの種別とネッ
   トの縮退故障との関係を規定する所定の故障箇所判定条
   件に従って、故障箇所候補を特定するステップと、 を含むことを特徴とする故障診断方法。
9. 【請求項９】論理回路の故障診断方法において、 （ａ）記憶手段から読み出したテストパタンの出力が異
   常（フェイル）であるパタンにおける故障さかのぼりに
   よる故障推定を行うステップと、 （ｂ）記憶手段から読み出したテストパタンの出力が正
   常（パス）であるときに同じパタンでのシミュレーショ
   ンデータを記憶手段から取得するステップと、 （ｃ）前記シミュレーションデータ中から、前記論理回
   路の各ネットの論理値の推移を調査するステップと、 （ｄ）ネットの論理値がある値に偏っているネットを検
   出した場合、前記偏っている論理値と、前記ネットが入
   力端に接続されている論理ゲートの種別とから、前記偏
   っている論理値とネットが接続するゲートの種別とネッ
   トの縮退故障との関係を規定する所定の故障箇所判定条
   件に従って、故障箇所推定を行うステップと、 （ｅ）前記ステップ（ａ）、（ｄ）で得られた故障箇所
   推定結果を受け取り、双方のステップで異常と判断され
   た箇所を故障候補として特定するステップと、 を含むことを特徴とする故障診断方法。
10. 【請求項１０】ネットリスト情報、テストパタン、シミ
    ュレーションデータを入力し論理回路の故障診断を行う
    データ処理装置において、 （ａ）前記テストパタンの出力が正常であるときのシミ
    ュレーションデータを取得する処理、 （ｂ）前記シミュレーションデータから、前記論理回路
    の各ネットの論理値の推移を調査し、ネットの論理値が
    ある値に偏っているネットを検出した場合、前記偏って
    いる論理値と、前記ネットが入力端に接続されている論
    理ゲートの種別とから、前記偏っている論理値とネット
    が接続するゲートの種別とネットの縮退故障との関係を
    規定した故障箇所判定条件テーブルを参照して、故障箇
    所候補を特定する処理、 の前記（ａ）、及び（ｂ）の処理を前記データ処理装置
    で実行させるためのプログラムを記録した記録媒体。
11. 【請求項１１】ネットリスト情報、テストパタン、シミ
    ュレーションデータを入力し論理回路の故障診断を行う
    データ処理装置において、 （ａ）前記テストパタンの出力が異常（フェイル）であ
    るパタンにおける故障さかのぼりによる故障推定を行う
    処理、 （ｂ）前記テストパタンの出力が正常であるときに同じ
    パタンでのシミュレーションデータを記憶手段から取得
    する処理、 （ｃ）前記シミュレーションデータ中から、前記論理回
    路の各ネットの論理値の推移を調査し、ネットの論理値
    がある値に偏っているネットを検出した場合、前記偏っ
    ている論理値と、前記ネットが入力端に接続されている
    論理ゲートの種別とから、前記偏っている論理値とネッ
    トが接続するゲートの種別とネットの縮退故障との関係
    を規定する所定の故障箇所判定条件に従って、故障箇所
    推定を行う処理、 （ｄ）前記処理（ａ）、（ｃ）で得られた故障箇所推定
    結果を受け取り、双方の処理で異常と判断された箇所を
    故障候補として特定する処理、 の前記（ａ）乃至（ｄ）の処理を前記データ処理装置で
    実行させるためのプログラムを記録した記録媒体。