JPH01217644A - 故障辞書作成方式 - Google Patents
故障辞書作成方式Info
- Publication number
- JPH01217644A JPH01217644A JP63043686A JP4368688A JPH01217644A JP H01217644 A JPH01217644 A JP H01217644A JP 63043686 A JP63043686 A JP 63043686A JP 4368688 A JP4368688 A JP 4368688A JP H01217644 A JPH01217644 A JP H01217644A
- Authority
- JP
- Japan
- Prior art keywords
- fault
- circuit
- trouble
- dictionary
- logic circuit
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
- 238000004088 simulation Methods 0.000 claims abstract description 20
- 238000000034 method Methods 0.000 claims description 12
- 230000003247 decreasing effect Effects 0.000 abstract 1
- 238000010586 diagram Methods 0.000 description 5
- 230000000694 effects Effects 0.000 description 3
- 230000006835 compression Effects 0.000 description 2
- 238000007906 compression Methods 0.000 description 2
- 230000010365 information processing Effects 0.000 description 2
- 208000024891 symptom Diseases 0.000 description 2
- 238000007796 conventional method Methods 0.000 description 1
- 238000003745 diagnosis Methods 0.000 description 1
- 239000000284 extract Substances 0.000 description 1
- 238000000605 extraction Methods 0.000 description 1
- 230000000116 mitigating effect Effects 0.000 description 1
Landscapes
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
〔産業上の利用分野〕
本発明は大規模論理回路等の故障を診断ず・る際に使用
する故障辞書の作成方式に関する。
する故障辞書の作成方式に関する。
従来、この種の故障辞書の作成方式としては、例えば情
報処理学会「情報処理Ｊ ｖｏｌ ２２． Ｎｏ８ｐ７
７２〜ｐ７７３ ｒ論理回路の試験２診断」に記載され
ているように、論理回路を構成する全ての基本素子の出
力端子もしくは入力端子または入出力端子に故障を定義
して故障シミニレ−ジョンを実施し、故障辞書を作成す
るという方式をとっていた。
報処理学会「情報処理Ｊ ｖｏｌ ２２． Ｎｏ８ｐ７
７２〜ｐ７７３ ｒ論理回路の試験２診断」に記載され
ているように、論理回路を構成する全ての基本素子の出
力端子もしくは入力端子または入出力端子に故障を定義
して故障シミニレ−ジョンを実施し、故障辞書を作成す
るという方式をとっていた。
上述した従来の故障辞書作成方式は、論理回路を構成す
る基本素子毎に故障を定義している為、論理回路規模が
増大するにつれ故障シミュレーションを実行するのに必
要な計算機リソースも増大していた。即ち、論理回路規
模と故障シミュレーションを実行するのに必要な計算機
リソースとの関係は、 （回路規模の増加率）×（故障定義数の増加率）ｃｃ（
回路規模の増加率）ｔ の割合で増大するので、大規模論理回路に対しては、現
実的な計算機リソースでは故障辞書の作成が困難である
。
る基本素子毎に故障を定義している為、論理回路規模が
増大するにつれ故障シミュレーションを実行するのに必
要な計算機リソースも増大していた。即ち、論理回路規
模と故障シミュレーションを実行するのに必要な計算機
リソースとの関係は、 （回路規模の増加率）×（故障定義数の増加率）ｃｃ（
回路規模の増加率）ｔ の割合で増大するので、大規模論理回路に対しては、現
実的な計算機リソースでは故障辞書の作成が困難である
。
本発明の目的は、論理回路を複数の部分回路に分割して
、この部分回路の出力端子もしくは入力端子または入出
力端子に故障を定義することにより、少ない計算機リソ
ースで故障辞書が作成可能な故障辞書作成方式を提供す
ることにある。
、この部分回路の出力端子もしくは入力端子または入出
力端子に故障を定義することにより、少ない計算機リソ
ースで故障辞書が作成可能な故障辞書作成方式を提供す
ることにある。
本発明は上記目的を達成するために、論理回路の故障辞
書作成方式において、 前記論理回路を、少なくとも一つの部分回路は複数個の
基本素子を含む部分回路群に分割する回路分割手段と、 前記回路分割手段で求めた前記各部分回路の出力端子も
しくは入力端子または入出力端子に故障を定義する故障
定義手段とを有し、 前記故障定義手段で定義された故障に基づき故障シミュ
レーシせンを実行し、該故障シミュレーション結果を用
いて故障辞書を作成する。
書作成方式において、 前記論理回路を、少なくとも一つの部分回路は複数個の
基本素子を含む部分回路群に分割する回路分割手段と、 前記回路分割手段で求めた前記各部分回路の出力端子も
しくは入力端子または入出力端子に故障を定義する故障
定義手段とを有し、 前記故障定義手段で定義された故障に基づき故障シミュ
レーシせンを実行し、該故障シミュレーション結果を用
いて故障辞書を作成する。
故障シミュレーションに必要な計算機リソースは素子数
と故障定義数に比例する０回路分割手段は故障辞書を作
成しようとする論理回路を、少なくとも一つの部分回路
は複数個の基本素子を含む複数の部分回路に分割し、こ
の部分回路の入力端子もしくは出力端子または入出力端
子に故障定義手段で故障を定義するため、故障定義数が
少なくなり、その分必要な計算機リソースを抑えること
ができる。
と故障定義数に比例する０回路分割手段は故障辞書を作
成しようとする論理回路を、少なくとも一つの部分回路
は複数個の基本素子を含む複数の部分回路に分割し、こ
の部分回路の入力端子もしくは出力端子または入出力端
子に故障定義手段で故障を定義するため、故障定義数が
少なくなり、その分必要な計算機リソースを抑えること
ができる。
次に本発明の実施例について図面を参照して説明する。
第１図は本発明の実施例の構成を示す機能ブロック図で
あり、回路記述情報１０と機能記述情報１１とを入力情
報とする回路分割手段１と、回路分割手段１の処理結果
を入力とする故障定義手段２と、故障定義手段２の処理
結果とテストパターン情報１２とを入力情報とする故障
シミュレーション手段３と、故障シミュレーシッン手段
３の処理結果を入力とし故障辞書情報５を出力する故障
辞書作成手段４とで構成される。
あり、回路記述情報１０と機能記述情報１１とを入力情
報とする回路分割手段１と、回路分割手段１の処理結果
を入力とする故障定義手段２と、故障定義手段２の処理
結果とテストパターン情報１２とを入力情報とする故障
シミュレーション手段３と、故障シミュレーシッン手段
３の処理結果を入力とし故障辞書情報５を出力する故障
辞書作成手段４とで構成される。
機能記述情報１１には故障辞書を作成しようとする論理
回路を構成する機能素子（例えばカウンタ、シフタ等あ
るまとまった機能を持つ素子）、各機能素子間の接続情
報等が含まれている。
回路を構成する機能素子（例えばカウンタ、シフタ等あ
るまとまった機能を持つ素子）、各機能素子間の接続情
報等が含まれている。
回路記述情報１０は機能記述情報１１内の機能素子を実
際に論理回路を構成する基本素子（例えばゲート等）に
展開したものであり、論理回路を構成する基本素子、各
基本素子間の接続情報等が含まれる。
際に論理回路を構成する基本素子（例えばゲート等）に
展開したものであり、論理回路を構成する基本素子、各
基本素子間の接続情報等が含まれる。
回路分割手段１は機能記述情報１１に従って、回路記述
情報１０に記述されている論理回路を部分回路に分割を
する手段である０本実施例では各部分回路は機能素子に
対応したものとなる。
情報１０に記述されている論理回路を部分回路に分割を
する手段である０本実施例では各部分回路は機能素子に
対応したものとなる。
故障定義手段２は回路分割手段１で分割された部分回路
の入力端子もしくは出力端子または入出力端子にのみ故
障を定義し、部分回路内の基本素子には故障を定義しな
い。
の入力端子もしくは出力端子または入出力端子にのみ故
障を定義し、部分回路内の基本素子には故障を定義しな
い。
故障シミエレーシジン手段３はテストパターンファイル
等に格納されたテストパターン情報１２に従って、故障
定義手段２で定義した故障に対して公知の手段で故障シ
ミュレーシ四ンを実行しシンプトンを求める。
等に格納されたテストパターン情報１２に従って、故障
定義手段２で定義した故障に対して公知の手段で故障シ
ミュレーシ四ンを実行しシンプトンを求める。
故障辞書作成手段４は故障シミュレーション手段３から
渡されるシンブトンの圧縮等の処理を行ない、故障辞書
の内容である故障辞書情ｆ１５を出力する。
渡されるシンブトンの圧縮等の処理を行ない、故障辞書
の内容である故障辞書情ｆ１５を出力する。
第２図は本発明の実施例の動作を説明するために便宜上
想定した論理回路の要部ブロック図である。この論理回
路は、ナントゲート２１．アントゲ−）２２．２３．オ
アゲート２４．Ｄフリソプフロフプ２５とで構成される
。なお同図の各基本素子の信号線上の×印２１１．２２
１，２３１゜２４１．２５１は、従来方式において定義
される故障定義位置の一例を示し、各基本素子の出力に
故障を定義した場合のものである。また、第３図は本発
明の回路分割手段１によって第２図の論理回路を機能素
子単位に分割した際に得られる部分回路を示したもので
あり、ナントゲート２１．アンドゲート２２，２３．オ
アゲート２４から構成されるセレクタ３１とＤフリップ
フロップ２５との二つの部分回路に分割した例を示す、
故障定義手段２で定義される故障の位置は同図の×印２
５１．３１１の二ケ所になる。
想定した論理回路の要部ブロック図である。この論理回
路は、ナントゲート２１．アントゲ−）２２．２３．オ
アゲート２４．Ｄフリソプフロフプ２５とで構成される
。なお同図の各基本素子の信号線上の×印２１１．２２
１，２３１゜２４１．２５１は、従来方式において定義
される故障定義位置の一例を示し、各基本素子の出力に
故障を定義した場合のものである。また、第３図は本発
明の回路分割手段１によって第２図の論理回路を機能素
子単位に分割した際に得られる部分回路を示したもので
あり、ナントゲート２１．アンドゲート２２，２３．オ
アゲート２４から構成されるセレクタ３１とＤフリップ
フロップ２５との二つの部分回路に分割した例を示す、
故障定義手段２で定義される故障の位置は同図の×印２
５１．３１１の二ケ所になる。
以下、′各図を参照して本実施例の動作を説明する。
外部から故障辞書作成の開始が指示されると、先ず、回
路分割手段１が動作する。回路分割手段１は機能記述情
報１１から一つの機能素子を取出し、この機能素子に該
当する基本素子の集まりを・回路記述情報１０から探し
出し部分回路として出力する。以上の処理を機能記述情
報ｌｌ内の機能素子が回路記述情報１０内の全ての基本
素子に対応するまで繰り返す。
路分割手段１が動作する。回路分割手段１は機能記述情
報１１から一つの機能素子を取出し、この機能素子に該
当する基本素子の集まりを・回路記述情報１０から探し
出し部分回路として出力する。以上の処理を機能記述情
報ｌｌ内の機能素子が回路記述情報１０内の全ての基本
素子に対応するまで繰り返す。
以上のような処理が第２図の論理回路に実行されること
により、第３図に示すセレクタ３１．Ｄフリップフロッ
プ２５がそれぞれ部分回路として抽出される。即ち、機
能記述情報１１から機能素子であるセレクタ３１が取り
出されると、このセレクタ３１に対応する基本素子の集
まり（ナントゲート２１．アンドゲート２２．２３．及
びオアゲート２４）が回路記述情報１０から探し出され
一つの部分回路として出力され、Ｄフリップフロップ２
５はそれ単独で一つの部分回路として出力される。
により、第３図に示すセレクタ３１．Ｄフリップフロッ
プ２５がそれぞれ部分回路として抽出される。即ち、機
能記述情報１１から機能素子であるセレクタ３１が取り
出されると、このセレクタ３１に対応する基本素子の集
まり（ナントゲート２１．アンドゲート２２．２３．及
びオアゲート２４）が回路記述情報１０から探し出され
一つの部分回路として出力され、Ｄフリップフロップ２
５はそれ単独で一つの部分回路として出力される。
回路分割手段１による部分回路の抽出が完了すると故障
定義手段２は、各部分回路の出力端子にのみ故障定義を
行う。この処理を第３図の論理回路に行うことにより機
能素子として抽出されたＤフリップフロップ２５の出力
端子の故障定義として故障箇所２５１、機能素子として
抽出されたセレクタ３１の出力端子の故障定義として故
障箇所３１１が定義される。
定義手段２は、各部分回路の出力端子にのみ故障定義を
行う。この処理を第３図の論理回路に行うことにより機
能素子として抽出されたＤフリップフロップ２５の出力
端子の故障定義として故障箇所２５１、機能素子として
抽出されたセレクタ３１の出力端子の故障定義として故
障箇所３１１が定義される。
次に故障シミュレーション手段３はテストパターン情報
１２に基づき故障定義手段２で定義した故障に対し−て
公知の手段で故障シミュレーシロンを実行しシンプトン
を求める。
１２に基づき故障定義手段２で定義した故障に対し−て
公知の手段で故障シミュレーシロンを実行しシンプトン
を求める。
故障辞書作成手段４は故障シミュレーション手段３が求
めたシンブトンの圧縮等の処理を行い、故障辞書情報５
として出力する。
めたシンブトンの圧縮等の処理を行い、故障辞書情報５
として出力する。
以上の実施例では、故障辞書を作成しようとする論理回
路を機能記述情報１１に基づいて部分回路に分割すると
したが、他の方式、例えば故障定義総数を与えて、この
故障定義総数に従って論理回路を幾つかの部分回路に分
割する等の方式も勿論可能である。
路を機能記述情報１１に基づいて部分回路に分割すると
したが、他の方式、例えば故障定義総数を与えて、この
故障定義総数に従って論理回路を幾つかの部分回路に分
割する等の方式も勿論可能である。
以上説明したように、本発明は、故障辞書を作成しよう
とする論理回路を、少なくとも一つの部分回路は複数個
の基本素子を含む部分回路群に分割し、この部分回路群
の出力端子もしくは入力端子または入出力端子に故障を
定義することにより故障定義数の総数を減らしたもので
あり、故障シミュレーションに要する計算機リソースを
大幅に低減できる効果がある。
とする論理回路を、少なくとも一つの部分回路は複数個
の基本素子を含む部分回路群に分割し、この部分回路群
の出力端子もしくは入力端子または入出力端子に故障を
定義することにより故障定義数の総数を減らしたもので
あり、故障シミュレーションに要する計算機リソースを
大幅に低減できる効果がある。
更に、故障定義数を一定にするように論理回路を部分回
路に分割すれば故障シミュレーションに必要な計算機リ
ソースを回路規模に比例する程度に減することができる
。
路に分割すれば故障シミュレーションに必要な計算機リ
ソースを回路規模に比例する程度に減することができる
。
第１図は本発明の実施例の構成を示すプロ、り図、
第２図は本発明の実施例の動作を説明するために想定し
た論理回路の一例を示すブロック図および、 第３図は第２図の論理回路の部分回路を示す図である。 図において、 ｌ・・・回路分割手段 ２・・・故障定義手段 ３・・・故障シミュレーション手段 ４・・・故障辞書作成手段 ５・・・故障辞書情報 １０・・・回路記述情報 １１・・・機能記述情報 １２・・・テストパターン情報 ２５・・・Ｄフリフブフロソブ ３１・・・セレクタ
た論理回路の一例を示すブロック図および、 第３図は第２図の論理回路の部分回路を示す図である。 図において、 ｌ・・・回路分割手段 ２・・・故障定義手段 ３・・・故障シミュレーション手段 ４・・・故障辞書作成手段 ５・・・故障辞書情報 １０・・・回路記述情報 １１・・・機能記述情報 １２・・・テストパターン情報 ２５・・・Ｄフリフブフロソブ ３１・・・セレクタ
Claims (1)
- 【特許請求の範囲】 論理回路の故障辞書作成方式において、 前記論理回路を、少なくとも一つの部分回路は複数個の
基本素子を含む部分回路群に分割する回路分割手段と、 前記回路分割手段で求めた前記各部分回路の出力端子も
しくは入力端子または入出力端子に故障を定義する故障
定義手段とを有し、 前記故障定義手段で定義された故障に基づき故障シミュ
レーションを実行し、該故障シミュレーション結果を用
いて故障辞書を作成することを特徴とする故障辞書作成
方式。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP63043686A JPH01217644A (ja) | 1988-02-26 | 1988-02-26 | 故障辞書作成方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP63043686A JPH01217644A (ja) | 1988-02-26 | 1988-02-26 | 故障辞書作成方式 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH01217644A true JPH01217644A (ja) | 1989-08-31 |
Family
ID=12670724
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP63043686A Pending JPH01217644A (ja) | 1988-02-26 | 1988-02-26 | 故障辞書作成方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH01217644A (ja) |
-
1988
- 1988-02-26 JP JP63043686A patent/JPH01217644A/ja active Pending
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US5210699A (en) | Process for extracting logic from transistor and resistor data representations of circuits | |
| US5416719A (en) | Computerized generation of truth tables for sequential and combinatorial cells | |
| Lengauer et al. | Efficient solution of connectivity problems on hierarchically defined graphs | |
| JPH07198799A (ja) | 高速化した試験パターン発生器 | |
| JPH01217644A (ja) | 故障辞書作成方式 | |
| JP3905951B2 (ja) | シミュレーション／エミュレーションの効率を増すための論理変換方法 | |
| JP3080037B2 (ja) | 論理シミュレーション用モデルの作成方法 | |
| Du et al. | Circuit structure and switching function verification | |
| JP2962292B2 (ja) | レイアウト設計を考慮したｌｓｉ論理設計支援システム | |
| JP2535823B2 (ja) | 階層的パタ―ンレイアウト方法 | |
| JP2658857B2 (ja) | 等価故障抽出方法及び装置 | |
| JPH05165908A (ja) | 図面エディタ | |
| JPH021571A (ja) | 故障シミュレーション装置 | |
| JPH05225277A (ja) | 設計支援装置 | |
| Jain et al. | Hierarchical constraint solving in the parametric form with applications to efficient symbolic simulation based verification | |
| JPS62217172A (ja) | 回路の照合方法 | |
| JPH06266792A (ja) | 故障シミュレーション処理方法 | |
| JPH01237473A (ja) | 論理照合方式 | |
| Buschke et al. | Computer aided evalution of simulation results, the Simueva program package | |
| JPH03269277A (ja) | 回路分割方式 | |
| JPH04353976A (ja) | 論理シミュレーションモデル作成方式 | |
| JPH03157777A (ja) | 論理シミュレーション用回路データ作成方式 | |
| Ghosh | A new approach to distributed functional fault modeling | |
| JPH01241677A (ja) | 回路変換方式 | |
| JPH0658991A (ja) | 故障シミュレーション方式 |