JPH01240939A - 故障シミュレーション方式 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は、故障シミュレーション方式に関し、特に、論
理回路を検査するための入力信号系列の入カバターンを
生成し、生成した入カバターンにより論理回路中のどの
ような故障を検査することができるかを評価し、また、
論理回路の故障時の動作解析を行うための故障シミュレ
ーション方式％式％ 〔従来の技術〕 従来、論理回路の故障シミュレーションに関しては、対
象とする論理回路に単一縮退故障を仮定し、考えられる
全ての故障に対応して、故障の数の回数の故障シミュレ
ーションと正常論理回路シミュレーションを効率よく処
理するためのいくつかの手法が提案されている。例えば
、このような故障シミュレーションの手法として、パラ
レル法、コンカレント法、ディダクティブ法などがある
。

しかしながら、上記のいずれの手法を用いても、対象と
する論理回路の論理ゲート数が数千ゲートを越える場合
には、シミュレーションの処理時間は飛躍的に増大し、
実用にならない。

これに対しては、故障が検出される場所を一回の探索で
ダイレクトに求めるようにしたクリティカル・パス・ト
レース法と呼ばれるシミュレーションの手法がある。こ
の手法は、故障を予め仮定せず、そのかわり、正常論理
回路シミュレーション結果の情報から、各論理ゲートの
出力ピンに故障が伝搬される場合は、当該論理ゲートの
入力ピンにどのような故障が伝搬された場合であるかの
情報を予め求めておき、この情報を用いて、故障が出力
ピンまで伝搬される経路を、論理回路の出力側から入力
側へ逆に探索して、故障が検出される場所を一回の探索
でダイレクトに求めるようにした手法である。（Ｍ、　
Ａｂｒａｍｏｖｉｅｉ　ｅｔ　ａｌ、、　”Ｃｒ１−ｔ
ｉｃａｌ　　Ｐａｔｈ　　Ｔｒａｃｉｎｇ　　：　　Ａ
ｎ　　Ａｌｔｅｒｎａｔｉｖｅ　　ｔｏ　　Ｆａｕｌｔ
Ｓｉｍｕｌａｔｉｏｎ”、　　ＩＥＥＥ　Ｄｅｓｉｇｎ
　ａｎｄ　Ｔｅ５ｔ　ｏｆ　Ｃｏｍｐｕ−ｔｅｒｓ、Ｖ
ｏｌ、１．Ｎｏ、１．Ｆｅｂ、１９８４．ｐｐ８３〜９
３．）　　。

〔発明が解決しようとする課題〕

ところで、クリティカル・パス・トレース法では、設定
した故障が最終的に出力ピンに到達しない場合のシミュ
レーションのかかわる処理を行わないため、上記の他の
手法よりは効率的なシミュレーション処理が行え、高速
に処理を行うことができるような手法となっている。し
かし、その半面、クリティカル・パス・トレース法は、
各論理ゲートにおいて故障が出力に伝搬される故障入力
が単一である場合のみを仮定して、故障が出力さ　−れ
るまで伝搬する経路を決定する処理を行っている。すな
わち、各論理ゲートにおいて複数の故障入力は仮定しな
いで、故障が出力されるまで伝搬する経路を決定してい
る。そのため、例えば、第７図に示すように、論理回路
において信号が複数に分かれる回路部分（この回路部分
をファンアウトブランチと呼ぶ）７０における故障検出
の有無の判断は、検出不可能の場合があり、また、検出
の判断に要する処理の手順が長いという問題点があった
。

本発明は、前記問題点を解決するためになされたもので
ある。

本発明の目的は、故障検出の判断に要する処理の手順が
短く、高精度で高速な処理が可能な故障シミュレーショ
ン方式を提供することにある。

本発明の前記ならびにその他の目的と新規な特徴は、本
明細書の記述及び添付図面によって明らかになるであろ
う。

〔課題を解決するための手段〕

上記目的を達成するため１本発明においては、論理接続
記述ファイルと、入力パターンファイルとを備え、論理
回路の正常論理シミュレーションおよび故障シミュレー
ションを行うシステムにおいて、正常論理シミュレーシ
ョンの結果情報を用いて論理ゲートの出力ピンに故障信
号が伝搬される場合の論理ゲートの入力ピンに印加され
る故障信号および正常信号の組合せから複数種の故障伝
搬タイプの１つを論理回路の各論理ゲートに対して設定
する故障入力処理手段と、故障を出力に伝搬するかしな
いかを表わす複数種の故障情報フラグを規定し、各々の
故障伝搬タイプに対応して出力ピン側の故障情報フラグ
を入力ピン側の故障情報フラグへ変換する規則を規定し
た故障情報伝搬規則を備えた故障情報伝搬規則ファイル
と、各論理ゲートに対して設定した故障伝搬タイプと故
障情報伝搬規則により、論理回路の出力ピンに設定した
故障情報フラグを出力側から入力側へ伝搬させて変換し
、故障情報フラグを論理回路中の全ての論理ゲートの入
出力ピンに設定し、故障が論理回路の出力ピンに伝搬さ
れる経路上の故障検出湯所を求める処理手段とを備える
ことを特徴とする。

〔作用〕

前記手段によれば、故障入力処理手段と、故障情報伝搬
規則ファイルと、故障検出湯所を求める処理手段とが備
えられる。故障入力処理手段は。

正常論理シミュレーションの結果情報を用いて論環ゲー
トの出力ピンに故障信号が伝搬される場合の論理ゲート
の入力ピンに印加される故障信号および正常信号の組合
せから複数種の故障伝搬タイプの１つを論理回路の各論
理ゲートに対して設定する。故障情報伝搬規則ファイル
には、故障を出力に伝搬するかしないかを表わす複数種
の故障情報フラグを規定し、各々の故障伝搬タイプに対
応して出力ピン側の故障情報フラグを入力ピン側の故障
情報フラグへ変換する規則を規定した故障情報伝搬規則
が設けである。故障検出場所を求める処理手段は、各論
理ゲートに対して設定した故障伝搬タイプと故障情報伝
搬規則により、論理回路の出力ピンに設定した故障情報
フラグを出力側から入力側へ伝搬させて変換し、故障情
報フラグを論理回路中の全ての論理ゲートの入出力ピン
に設定し、故障が論理回路の出力ピンに伝搬される経路
上の故障検出場所を求める。

このように、故障が論理回路の出力ピンに伝搬される経
路上の故障検出場所を求める処理は、出力ピンから入力
ピンに向って故障情報フラグを故障情報伝搬規則にした
がって決定して行くだけなので、故障検出の判断に要す
る処理手順が短くなり、与えられた入力バタンに対して
、全ての故障検出される場所を高速に発見することがで
きる。

また、故障情報伝搬規則においてファンアウトブランチ
における伝搬規則も規定しておくので、ファンアウトブ
ランチにおいて故障検出が不可能な場合が存在せず、ど
のような論理回路の構成でも、与えられた入力バタンに
対して全ての故障検出される場所を高速に求めることが
できる。

〔実施例〕

以下、本発明の一実施例を図面を用いて具体的に説明す
る。

第１ａ図および第１、ｂ図は、本発明の一実施例にかか
る故障シミュレーションシステムにおける処理の流れを
示すブロック図である。第１ａ図において、１は論理接
続記述ファイル、２は入力パターンファイル、３はリコ
ンバージェント回路の出力論理ゲートの検出処理、４は
正常論理回路シミュレーション処理、５は故障入カバタ
ーン設定処理、６は故障伝搬の可能性のないゲートの検
出処理である。第１ｂ図において、７は未探索の出力ピ
ンがあるか否かの判定処理、８は故障情報フラグ伝搬を
開始する出力ピンの指定処理、９は入力ピンに到達して
いない故、障情報フラグがあるか否かの判定処理、１０
は論理ゲートの出力ピンから入力ピンへの故障情報フラ
グの伝搬処理、１１は論理ゲートの入力ピンから該入力
ピンに接続されている前段の論理ゲートの出力ピンへの
故障情報フラグの伝搬処理、１２はファンアウトブラン
チの故障の判定処理、１３は論理回路の各点の０／１縮
退故障の検出処理、１４は故障シミュレーション結果の
故障リストファイルである。また、１５は故障情報伝搬
規則ファイル、１６は故障検出場所判定処理、１７は故
障入力処理である。

故障入力処理１７は、故障入カバターン設定処理５、故
障伝搬の可能性のないゲートの検出処理６の各処理を要
部の構成要素とし、正常論理シミュレーションの結果情
報を用いて論理ゲートの出力ピンに故障信号が伝搬され
る場合の論理ゲートの入力ピンに印加される故障信号お
よび正常信号の組合せから複数種の故障伝搬タイプの１
つを論理回路の各論理ゲートに対して設定する処理を行
う。

また、故障検出場所判定処理１６は、参照番号７〜１３
の各処理を要部の構成要素とし、故障入力処理１７で各
論理ゲートに対して設定した故障伝搬タイプと、故障情
報伝搬規則ファイル１５の故障情報伝搬規則により、論
理回路の出力ピンに設定した故障情報フラグを出力側か
ら入力側へ伝搬させて変換し、故障情報フラグを論理回
路中の全ての論理ゲートの入出力ピンに設定し、故障が
論理回路の出力ピンに伝搬される経路上の故障検出場所
を求める処理を行う。

次に、第１ａ図および第１ｂ図に示した故障シミュレー
ションシステムにおける処理要素の各処理について説明
する。

リコンバージェント回路の出力論理ゲートの検出処理３
においては、論理接続記述ファイル１の論理接続記述デ
ータから、例えば、第２ａ図に示すような処理対象の論
理回路２０において、リコンバージエンド回路を含んだ
論理回路の出力論理ゲート２５を検出する処理を行う。

この処理は次のステップ１〜ステツプ６の手順の処理を
行うことにより実行される。以下に処理手順を示す。

ステップ１：出力ピンがファンアラ１−ブランチ２１に
つながっている論理ゲート２２にＦＯＢフラグ２３を設
定する（第２ａ図）。

ステップ２　：　ＦＯＢフラグの設定された論理ゲート
２２のうち一個を選択し、ＦＯＢフラグをＳＥＬフラグ
２４に変更する（第２ｂ図）。

ステップ３：、ＳＥＬフラグの設定された論理ゲートの
出力ピン２６から外部出力ピン２７まで、フラグを可能
な経路を伝搬させ、通過した各論理ゲートの入力ピンに
Ｒ Ｏフラグを設定する（第２ｃ図）。

ステップ４　：　ＦＯＢフラグの設定された論理ゲート
が存在するか否かを判定し、存在 する場合にはステップ２へ戻り、存在 しない場合には次のステップ５へ進む。

ステップ５：ＲＯフラグが２つ以上の入力ピンに設定さ
れている論理ゲートを検出し、リコンバージェント回路
の出力論理ゲ ート２５として登録し、次のステップ６へ進む（第２ｄ
図）。

ステップ６：処理の対象となった論理ゲートのＦＯＲフ
ラグをクリアして、他にＦＯ Ｂフラグがまだ残っているかチエツク する。ＦＯＢフラグが残っている場合 ステップ２に戻り、残っていない場合 には、処理を終了する。

正常論理回路シミュレーション処理４においては、論理
接続記述ファイル１の論理接続記述データによる論理回
路の構成に対して、入力パターンファイル２の入カバタ
ーンに応じて、論理シミュレーションを行い、各論理ゲ
ートの入出力ピン上の信号値を決定する。

故障入カバターン設定処理５においては、正常論理回路
シミュレーション処理４で求めた各論理ゲートの入出力
ピン上の信号値から、各論理ゲートに対して、第３図に
示すような故障伝搬タイプの故障入カバターンを設定す
る処理を行う。

論理ゲートの出力ピンに故障信号が伝搬される場合に論
理ゲートの入力ピンに印加される故障信号と正常信号の
組合せから、ＡＮＤゲート、ＮＡＮＤゲート、ＯＲゲー
ト、ＮＯＲゲート、ＮＯＴゲート、２人力Ｘ０Ｒ（排他
的論理和）ゲートの各基本論理ゲートがとり得る故障入
カバターンを分類することができ、その故障伝搬タイプ
から、第３図に示ような４つのタイプの論理ゲートに分
類することができる。第３図において、タイプ１とタイ
プ２の・印は、この論理ゲートの出力ピンに故障信号が
伝搬するために必要な故障信号が入力される入力ピンを
識別する印であり、これをｆフラグとする。４つの故障
伝搬タイプの各タイプの意味を次に示す。

タイプ１：ｆフラグの設定された任意の１本の入力ピン
にのみ故障が伝搬された時 のみ出力に故障が伝搬される。この タイプの論理ゲートをタイプ１ゲー トと称する。

タイプ２：ｆフラグの設定された任意の２本以上の入力
ピン全てに同時に故障が伝 搬されたときのみ出力に故障が伝搬 される。このタイプの論理ゲー１〜を タイプ２ゲートと称する。

タイプ３：どのようなパタンで故障が入力されても、必
ず出力に故障が伝搬される。

このタイプの論理ゲートをタイプ３ ゲートと称する。

タイプ４：２人力のどちらか一方に故障が入力した時の
み出力に故障が伝搬される。

このタイプの論理ゲートをタイプ４ ゲートと称する。

ＡＮＤゲート、ＮＡＮＤゲート、ＯＲゲート。

ＮＯＲゲート、ＮｏＴゲート、２人力ＸＯＲゲートの各
基本論理ゲートに対して、故障人カッくターンを設定し
、各論理ゲートの故障伝搬タイプを設定する処理におい
ては、次の故障入カッ（ターン設定規則に従う。

［設定規則コ （ｉ−１）　Ａ　Ｎ　Ｄゲートの場合、入力が全て１の
とき、タイプ３ゲートとする。入力がそれ以外のときは
、入力がＯのピンにｆフラグを設定する。

（ｉ〜２）ＯＲゲートの場合、入力全てが０のとき。

タイプ３ゲートとする。入力がそれ以外のときは、入力
が１のピンにｆフラグを設定する。

（ｉ−３）　Ｎ　ＯＴゲートの場合、タイプ１ゲートと
する。

（ｉ−４）　２人力ＸＯＲゲートの場合、タイプ４ゲー
トとする。

また、論理回路の各々の論理ゲートには１回路構成上か
ら故障信号の伝搬の可能性のない論理ゲートが存在する
。したがって、故障入カバターンを設定し、各論理ゲー
トの故障伝搬タイプを設定する処理の一連の処理におい
て、故障信号の伝搬の可能性のない論理ゲートをタイプ
Ｏゲートとして設定する処理を行う。この処理は、故障
伝搬の可能性のない論理ゲー１−の検出処理６が行う。

故障伝搬の可能性のない論理ゲートの検出処理６では、
故障入カバターン処理５で求めた故障伝搬タイプの情報
と、リコンバージェント回路の出力論理ゲートの検出処
理３で求めた情報を用いることにより、また、次に示す
伝搬規則１により各々のフラグを伝搬させる処理を行う
ことにより、各々のフラグの状態を判定して、故障伝搬
の可能性のない論理ゲートであるタイプＯゲートを検出
する処理を行う。この処理は次のステップ７およびステ
ップ８の処理手順により実行される。

ステップ７：第４ａ図に示すように、リコンバージエン
ト回路の出力論理ゲートの検 出処理３設定した各論理ゲートのＲ○ フラグの情報と、故障入カバターン設 定処理５で求めた故障伝搬タイプの情 報により、タイプ２の故障伝搬タイプ を持つ論理ゲートにおいて、ｆフラグ の設定されている入力ピンのうち、Ｒ Ｏフラグが設定されていない入力ピン が少なくとも一つある論理ゲート４１をタイプＯゲート
とする。

ステップ８：第４ｂ図に示すように、入力端子から、次
の伝搬規則１にしたがって２ 種類のフラグ（Ｔフラグ、Ｂフラグ） を伝搬させ、全ての出力ピンにどちら かのフラグが伝搬した時点で伝搬の処 理を終え、ｆフラグが一つも設定され ていない論理ゲート４２を新たにタイプ０ゲートとし、
処理を終了する。

［伝搬規則１］ （ｐ−１）入力端子からはＴフラグを出力する。

（ｐ−２）ファンアウトブランチでは各ブランチ先へＢ
フラグを出力する。

（ｐ−３）タイプ０ゲートからはＴフラグを出力する。

（Ｐ〜４）タイプ１ゲートのｆフラグの設定された入力
ピンにＴフラグが入るとＴフラグを出力し、Ｂフラグが
入るとＢフラグを出力する。

（ｐ−５）タイプ２ゲートのｆフラグの設定された入力
ピンのうち少なくとも１本にＴフラグが入ると、そのゲ
ートのｆフラグを全て消去しＴフラグを出力する。それ
以外は、Ｂフラグを出力する。

（ｐ−６）タイプ３ゲートの入力ピンのうち少なくとも
一本にＢフラグが入ると、Ｂフラグを出力する。それ以
外は、Ｔフラグを出力する。

（ｐ−７）タイプ４ゲートの入力ピンのうち少なくとも
一本にＢフラグが入ると、Ｂフラグを出力する。それ以
外は、Ｔフラグを出力する。

このような処理（故障入力処理１７）により、複数種の
故障伝搬タイプの１つを論理回路の各論理ゲートに対し
て設定する処理が行われたので、次に故障検出場所判定
処理１６（第１ｂ図）を行う。

まず、故障検出場所判定処理１６においては、未探索の
出力ピンがあるか否かの判定処理７を行う。

この判定処理で未探索の出力ピンがある場合、故障情報
フラグ伝搬の開始出力ピンの指定処理８を行う。この故
障情報フラグ伝搬の開始出力ピンの指定処理８では、故
障情報フラグ伝搬を開始する出力ピンを任意に指定する
。次に、入力ピンに到達していない故障情報フラグがあ
るか否かの判定処理９を行い、入力ピンに到達していな
い故障情報フラグがない場合には未探索の出力ピンがあ
るか否かの判定処理７に戻る。また、入力ピンに到達し
ていない故障情報フラグがある場合には、次に、論理ゲ
ートの出力ピンから入力ピンへの故障情報フラグの伝搬
処理１０を行う。

論理ゲートの出力ピンから入力ピンへの故障情報フラグ
の伝搬処理１０では、故障入力処理１７で設定した各論
理ゲートの故障伝搬タイプの情報により１次に示す６種
類の故障情報フラグと、この故障情報フラグの伝搬規則
を規定した伝搬規則２により故障情報フラグを、開始出
力ピンの指定処理８で決定した出力ピンから、各論理ゲ
ートの出力側から入力側へ伝搬させる処理を行う。その
とき、出力ピンには最初にＤフラグを設定しておく。な
お、この出力ピンに対して、出力ピンから全ての入力ピ
ンに故障情報フラグが伝搬すると、開始出力ピンの指定
処理８により次の出力ピンを指定して、次の出力ピンに
対する故障情報フラグの伝搬処理を行う。６種類の故障
情報フラグは、故障を出力に伝搬するかしないかを表わ
すフラグであり、次に示すとおりである。各フラグには
次のようにプライオリティが設定されている。

Ｘフラグ：プライオリティ１を設定する。

Ｄフラグ：プライオリティ２を設定する。

Ｍフラグ：プライオリティ３を設定する。

Ｒフラグ：プライオリティ４を設定する。

Ｅフラグ：プライオリティ４を設定する。

Ｐフラグ：プライオリティ５を設定する。

この故障情報フラグの伝搬規則を規定した伝搬規則２は
、故障情報伝搬規則ファイル１５に備えられている。

［伝搬規則２］ （ｇ−１）タイプ１ゲートの出力ピンにＤフラグが入る
場合、ｆフラグの設定された入力ピンからＤフラグを出
力し、それ以外の入力ピンからは、リコンバージェント
回路の出力の論理ゲートではＥフラグを出力し、他の論
理ゲートではＰフラグを出力する。

（ｇ−２）タイプ２ゲートの出力ピンにＤフラグが入る
場合、ｆフラグの設定された入力ピンからＲフラグを出
力し、それ以外の入力ピンからはＥフラグを出力する。

（ｇ−３）タイプ３ゲートの出力ピンにＤフラグが入る
場合、全ての入力ピンからＤフラグを出力する。

（ｇ−４）タイプ４ゲートの出力ピンにＤフラグが入る
場合、リコンバージェント回路の出力の論理ゲートでは
全ての入力ピンからＸフラグを出力し、他の論理ゲート
では全ての入力ピンからＤフラグを出力する。

（ｇ−５）タイプ１ゲートの出力ピンにＲフラグが入る
場合、ｆフラグの設定された入力ピンからＲフラグを出
力し、それ以外の入力ピンからは、リコンバージェント
回路の出力の論理ゲートではＥフラグを出力し、他の論
理ゲートではＰフラグを出力する。

（ｇ−６）タイプ２ゲートの出力ピンにＲフラグが入る
場合、ｆフラグの設定された入力ピンがらＲフラグを出
力し、それ以外の入力ピンからはＥフラグを出力する。

（ｇ−７）タイプ３ゲートの出力ピンにＲフラグが入る
場合、全ての入力ピンからＲフラグを出力する。

（ｇ−８）タイプ４ゲートの出力ピンにＲフラグが入る
場合、全ての入力ピンからＲフラグを出力する。

（ｇ−９）タイプ１ゲートの出力ピンにＥフラグが入る
場合、ｆフラグの設定された入力ピンがらＥフラグを出
力し、それ以外の入力ピンからはＰフラグを出力する。

（ｇ−１０）タイプ２ゲートの出力ピンにＥフラグが入
る場合、ｆフラグの設定された入力ピンがらＥフラグを
出力し、それ以外の入力ピンからはＰフラグを出力する
。

（ｇ−１１）タイプ３ゲートの出力ピンにＥフラグが入
る場合、全ての入力ピンからＥフラグを出力する。

（ｇ−１２）タイプ４ゲートの出力ピンにＥフラグが入
る場合、全ての入力ピンからＥフラグを出力する。

（ｇ−１３）タイプ１ゲートの出力ピンにＭフラグが入
る場合、ｆフラグの設定された入力ピンからＭフラグを
出力し、それ以外の入力ピンからは、リコンバージエン
ト回路の出力の論理ゲートではＥフラグを出力し、他の
論理ゲートではＰフラグを出力する。

（ｇ−１４）タイプ２ゲートの出力ピンにＭフラグが入
る場合、ｆフラグの設定された入力ピンからＭフラグを
出力し、それ以外の入力ピンからはＥフラグを出力する
。

（ｇ−１５）タイプ３ゲートの出力ピンにＭフラグが入
る場合、全ての入力ピンからＭフラグを出力する。

（ｇ−１６）タイプ４ゲートの出力ピンにＭフラグが入
る場合、全ての入力ピンからＭフラグを出力する。

（ｇ−１７）タイプ１ゲートの出力ピンにＰフラグが入
る場合、全ての入力ピンからＰフラグを出力する。

（ｇ−１８）タイプ２ゲートの出力ピンにＰフラグが入
る場合、全ての入力ピンからＰフラグを出力する。

（ｇ−１９）タイプ３ゲートの出力ピンにＰフラグが入
る場合、全ての入力ピンからＰフラグを出力する。

（ｇ−２０）タイプ４ゲートの出力ピンにＰフラグが入
る場合、全ての入力ピンからＰフラグを出力する。

（ｇ−２１）タイプ１ゲートの出力ピンにＸフラグが入
る場合、ｆフラグの設定された入力ピンからＸフラグを
出力し、それ以外の入力ピンからは、リコンバージェン
ト回路の出力の論理ゲートでばＥフラグを出力し、他の
論理ゲートではＰフラグを出力する。

（ｇ−２２）タイプ２ゲー１−の出力ピンにＸフラグが
入る場合、ｆフラグの設定された入力ピンからＸフラグ
を出力し、それ以外の入力ピンからはＥフラグを出力す
る。

（ｇ〜２３）タイプ３ゲートの出力ピンにＸフラグが入
る場合、全ての入力ピンからＸフラグを出力する。

（ｇ−２４）タイプ４ゲートの出力ピンにＸフラグが入
る場合、全ての入力ピンからＸフラグを出力する。

（ｇ−２５）タイプ１ゲートは出力ピンに入るフラグの
種類にかかわらず、全ての入力ピンからＰフラグを出力
する。

このように伝搬規則により故障情報フラグを伝搬して、
各々の論理ゲートの入出力ピンに各々の故障情報フラグ
を設定する。後の処理において、結果として、ここで求
めたＸフラグ、Ｄフラグが伝搬している経路上に故障が
検出されるとして故障シミュレーションが行ねねれる。

次に、論理ゲートの入力ピンから該入力ピンに接続され
ている論理ゲートの出力ピンへの故障情報フラグの伝搬
処理１１を行う。この伝搬処理１１では、入力ピンから
前段の論理ゲートの出力ピンへの接続がファンアウトブ
ランチになっている場合、ファンアラ１−ブランチにお
ける故障情報フラグの伝搬規則は、次に示す伝搬規則３
にしたがって決定される。それ以外の場合は、入力ピン
のフラグ情報は、そのまま出力ピンに伝わるとして故障
情報フラグの伝搬処理を行う。なお、伝搬規則３に示さ
れているファンアウトブランチの伝搬規則により故障検
出を行う場合は、次のファンアウトブランチの故障判定
処理１２において、故障情報フラグが決定される。

［伝搬規則３］ （ｓ−０）各ファンアウトブランチに伝搬されるフラグ
が１個のＲフラグと１個または複数のＥフラグの場合、
ファンアウトブランチにはＭフラグが出力される。

（ｓ−１）各ファンアウトブランチに伝搬されるフラグ
が次の場合には、ファンアウトブランチの故障が検出さ
れるかどうかの判断を行う。

判断は、ファンアラ１〜ブランチの故障判定処理１２で
行う。

（ｓ−１ａ）複数のＸフラグが存在し、Ｄフラグが存在
しない場合。

（ｓ−１ｂ）複数のＭフラグが存在し、Ｄフラグが存在
しない場合。

（ｓ−１ｃ）複数のＲフラグが存在し、Ｄフラグが存在
しない場合。

（ｓ−１ｄ）ＸフラグとＥフラグの組あるいはＸフラグ
とＭフラグの組が存在する場合。

（ｓ−１ｅ）ＤフラグとＥフラグの組あるいはＤフラグ
とＭフラグの組が存在する場合。

（ｓ−２）判断の結果、故障が検出される場合には、（
ｓ−１ｂ）の場合および（ｓ−１ｅ）の場合を除いて、
各ファンアウトブランチに伝搬された故障検出フラグの
うち、プライオリティの高いほうのフラグを出力する。

（ｓ−１ｂ）の場合はＤフラグを出力する。（ｓ−１ｅ
）の場合は、Ｘフラグを出力する。

（ｓ−３）判断の結果、故障が検出されない場合は。

各ファンアウトブランチに伝搬された故障非検出フラグ
のうち、プライオリティの一番高いフラグを出力する。

（ｓ−４）　（ｓ−ｉ）以外の場合は、各ファンアウト
ブランチに伝搬された故障情報フラグのうち、プライオ
リティの一番高いフラグを出力する。ただし、（ｓ−０
）で定義したように、ＲフラグとＥフラグが一番高いフ
ラグとして存在する場合には、Ｍフラグを出力する。

次にファンアウトブランチの故障判定処理１２を行う。

この故障判定処理１２を、故障情報フラグの伝搬処理１
１で判断できなかったファンアウトブランチに対して１
次に示すようなステップ９〜ステツプ１２の手順で故障
情報フラグを決定する。

ステップ９：判定すべきファンアウトブランチに故障を
設定する。

ステップ１０ニステツプ９で設定した故障の設定点から
同一ネットワークの入力へ故障 を伝搬させる。

ステップ１１：次の故障検出規則にしたがって故障検出
の有無を判定する。この故障検 出規則で判定されない場合、次のステ ップ１２に進む。

ステップ１２：故障を１段出力側のネットワークに伝搬
して、ステップ１０に戻る。

［故障検出フラグ （ｊ−１）　Ｄフラグの乗った経路のみに故障が伝搬し
ている場合、故障は出力まで伝搬し処理を終了する。

（ｊ−２）故障検出の有無を判定するファンアウトブラ
ンチから出力ピンまでの経路において。

Ｘフラグが存在しなければ、Ｒフラグの乗った全ての経
路上に故障が伝搬し、かつそれ以外の経路に故障が伝搬
しない場合、故障は出力まで伝搬し処理を終了する。

（ｊ−３）故障が出力ピンに達して、（ｊ−１）の場合
および（ｊ−２）以外の場合、故障は出力まで伝搬しな
い。

このような処理を行い、１つの出力ピンを指定して（開
始出力ピンの指定処理８）、出力ピンから全ての入力ピ
ンに故障情報フラグを伝搬させると、次の出力ピンを指
定して、当該出力ピンから全ての入力ピンに故障情報フ
ラグを伝搬させる処理を行い、全ての出力ピンに対する
処理が終了すると、これを判定処理７で判定して、０／
１縮退故障の検出処理１３を行う。すなわち、論理回路
の各論理ゲートの入出力ピンに対して故障情報フラグを
設定して、次のＯ／１縮退故障の検出処理１３を行う。

０／１縮退故障の検出処理１３では、与えられた論理回
路の各点における０／１縮退故障の有無を次のように決
定する。すなわち、ＸフラグとＤフラグの乗った経路上
の故障に対して、正常シミユレーション値がＩＩ　ＯＩ
Ｔの場所には１縮退故障が、また、正常シミユレーショ
ン値がパ１′″の場所にはＯ縮退故障が検出されるとし
て、故障故障シミュレーションが実行される。

このようにして得られた故障シミュレーションの結果は
、故障リストファイル１４に出力される。

こりにより、故障リストとして、与えられた入カバター
ンに対して、与えられた論理回路の各点における０／１
縮退故障の検出の有無の情報が得られる。

次に、このような一連の処理による故障シミュレーショ
ンの処理の具体例を概略的に説明する。

第５ａ図および第５ｂ図は、故障シミュレーションの処
理の具体例を説明する図である。第５ａ図に示すように
、論理回路を構成する各々の論理ゲート５１．５２．５
３に対して、与えらた入カバターンのデータにより、各
論理ゲートの入出力ピンに論理値が設定される。次に、
この論理値のデータを用いて、故障入カバターン設定規
則により、各々の入力ピンにｆフラグ（・印）が設定さ
れる。

ｆフラグの設定により、各々の論理ゲートの故障伝搬タ
イプが設定される。この例では、全てタイプ１のゲート
となっている。次に、故障情報フラグの伝搬処理１０に
したがって、出力端子側からＤフラグを伝搬規則２によ
り伝搬させて、各々の入出力ピンに、各々のフラグを伝
搬させる。すなわち、第５ａ図の矢印に示すように、論
理ゲート５３では伝搬規則２の規則（ｇ−１）により、
論理ゲート５２では伝搬規則２の規則（ｇ（７）により
、また、論理ゲート５１では同じく伝搬規則２の規則（
ｇ−１）により、各々の故障情報フラグ（Ｄフラグ、Ｐ
フラグ）を伝搬させる。これにより、各々の論理ゲート
の入出力ピンに各々の故障情報フラグが設定され、故障
が伝搬される経路が判定される。この場合、Ｄフラグが
乗っている経路のみに故障が伝搬するとして、第５ｂ図
に示すように、Ｄフラグの乗った経路上の故障に対して
、正常シミユレーション値がＬＬ　Ｏ１１の場所には１
縮退故障５−ａ−１が、また、正常シミユレーション値
が“１”の場所にはＯ縮退故障５−ａ−０が検出される
として、故障故障シミュレーションが実行される。

第６ａ図、第６ｂ図および第６ｃ図は、故障シミュレー
ションの処理の他の具体例を説明する図である。上述の
具体例と同様にして、第６ａ図に示すように、各論理ゲ
ートの入出力ピンに対して、伝搬規則２の各の規則（ｇ
−１）、（ｇ−３）、　（ｇ−９）によって、各々の論
理ゲートで故障情報フラグ（Ｄフラグ、Ｅフラグ、Ｐフ
ラグ）を伝搬させて、各々の論理ゲートの入出力ピンに
各々の故障情報フラグを設定する。この具体例の論理回
路の場合には、ファンアウトブランチ６５．６６、６７
があるので、このファンアウトブランチ６５．６６、６
７に対する故障情報フラグの伝搬処理を、伝搬規則３の
各々の規則によって処理される。この結果、第６ａ図に
示すように故障情報フラグが各論理ゲートの入出力ピン
に設定される。第６ｂ図に示すように、Ｄフラグが乗っ
ている経路のみに故障（×印）が伝搬されるので、ファ
ンアウトブランチの故障も検出されて、第６ｃ図に示す
ように、Ｄフラグの乗った経路上の故障に対して、正常
シミユレーション値が０”の場所には１縮退故障５−ａ
−１が、また、正常シミユレーション値が１１１１＋の
場所にはＯ縮退故障５−ａ−０が検出されるとして、故
障故障シミュレーションが実行される。

以上、本発明を実施例にもとづき具体的に説明したが、
本発明は、前記実施例に限定されるものではなく、その
要旨を逸脱しない範囲において種々変更可能であること
は言うまでもない。

〔発明の効果〕

以」二、説明したように、本発明によれば、与えられた
論理回路は入力バタンに対して、与えられた論理回路の
各点におけるＯ／１縮退故障の検出の有無の情報を正確
に、しかも、論理回路中の局所的な情報に基づいた単純
な規則で処理することにより、故障シミュレーションを
高速に処理するることかできる。

【図面の簡単な説明】 第１ａ図および第１ｂ図は、本発明の一実施例にかかる
故障シミュレーションシステムにおける処理の流れを示
すブロック図、 第２ａ図、第２ｂ図、第２ｃ図および第２ｄ図は、リコ
ンバージェント回路の出力論理ゲートの検出処理を説明
する図、 第３図は、論理ゲートの４つの故障伝搬タイプのシンボ
ルを示す図、 第４ａ図および第４ｂ図は、故障伝搬の可能性のない論
理ゲートの検出処理を説明する図、第５ａ図および第５
ｂ図は、故障シミュレーションの処理の具体例を説明す
る図、 第６ａ図、第６ｂ図および第６ｃ図は、故障シミュレー
ションの処理の他の具体例を説明する図、第７図は、論
理回路のファンアウトブランチを有する回路部分の一例
を示す図である。 図中、１・・・論理接続記述ファイル、２・・・入力パ
ターンファイル、１４・・・故障リストファイル、１５
・・・故障情報伝搬規則ファイル、１６・・・故障検出
場所判定処理、１７・・・故障入力処理。

Claims (1)

【特許請求の範囲】
1. （１）論理接続記述ファイルと、入力パターンファイル
   とを備え、論理回路の正常論理シミュレーションおよび
   故障シミュレーションを行うシステムにおいて、正常論
   理シミュレーションの結果情報を用いて論理ゲートの出
   力ピンに故障信号が伝搬される場合の論理ゲートの入力
   ピンに印加される故障信号および正常信号の組合せから
   複数種の故障伝搬タイプの１つを論理回路の各論理ゲー
   トに対して設定する故障入力処理手段と、故障を出力に
   伝搬するかしないかを表わす複数種の故障情報フラグを
   規定し、各々の故障伝搬タイプに対応して出力ピン側の
   故障情報フラグを入力ピン側の故障情報フラグへ変換す
   る規則を規定した故障情報伝搬規則を備えた故障情報伝
   搬規則ファイルと、各論理ゲートに対して設定した故障
   伝搬タイプと故障情報伝搬規則により、論理回路の出力
   ピンに設定した故障情報フラグを出力側から入力側へ伝
   搬させて変換し、故障情報フラグを論理回路中の全ての
   論理ゲートの入出力ピンに設定し、故障が論理回路の出
   力ピンに伝搬される経路上の故障検出場所を求める処理
   手段とを備えることを特徴とする故障シミュレーション
   方式。