JPH03189768A - 論理lsiの故障シミュレーションシステム - Google Patents
論理lsiの故障シミュレーションシステムInfo
- Publication number
- JPH03189768A JPH03189768A JP1329191A JP32919189A JPH03189768A JP H03189768 A JPH03189768 A JP H03189768A JP 1329191 A JP1329191 A JP 1329191A JP 32919189 A JP32919189 A JP 32919189A JP H03189768 A JPH03189768 A JP H03189768A
- Authority
- JP
- Japan
- Prior art keywords
- circuit
- faulty
- circuits
- fault
- normal
- 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
Landscapes
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
[産業上の利用分野]
本発明は、半導体集積回路のテスティング技術さらには
論理LSIのロジックテスト用パターンの故障検出率の
評価に適用して特に有効な技術に関し1例えばコンカレ
ント法による論理LSIの故障シミュレーションにおけ
るテスト用パターンの評価の高速化に利用して有効な技
術に関する。
論理LSIのロジックテスト用パターンの故障検出率の
評価に適用して特に有効な技術に関し1例えばコンカレ
ント法による論理LSIの故障シミュレーションにおけ
るテスト用パターンの評価の高速化に利用して有効な技
術に関する。
[従来の技術]
論理LSIの故障を検出するため、出力ビンを観測しな
がら入力ビンよりテスト用パターンを入力して出力信号
が期待値と一致するか否か判定する方式が実施されてい
る。しかしながら、論理LSIの大規模化に伴いテスト
用パターンの量も指数関数的に増大してしまい、100
%完全な故障発見率を達成するのは時間およびコストの
面から不可能となりつつある。そこで効率の良いテスト
用パターンの開発が重要となり、そのテスト用パターン
の評価のための故障シミュレーションが開発された。
がら入力ビンよりテスト用パターンを入力して出力信号
が期待値と一致するか否か判定する方式が実施されてい
る。しかしながら、論理LSIの大規模化に伴いテスト
用パターンの量も指数関数的に増大してしまい、100
%完全な故障発見率を達成するのは時間およびコストの
面から不可能となりつつある。そこで効率の良いテスト
用パターンの開発が重要となり、そのテスト用パターン
の評価のための故障シミュレーションが開発された。
論理回路における論理動作を検証するための故障シミュ
レーションは、模擬論理回路を構成する素子モデルに呼
応する正常回路と、それに対して単一縮退故障などによ
って仮定された故障回路とをシミュレートして、それぞ
れの回路の出力における信号値の違いの有無を検証する
ものである。
レーションは、模擬論理回路を構成する素子モデルに呼
応する正常回路と、それに対して単一縮退故障などによ
って仮定された故障回路とをシミュレートして、それぞ
れの回路の出力における信号値の違いの有無を検証する
ものである。
従来、故障シミュレーションとしては、シミュレーショ
ンを実行するコンピュータの1ワ一ド幅分の正常回路と
故障回路とを一度にシミュレートする並列シミュレーシ
ョン方式、故障情報の伝播を論理シミュレーションの結
果がら演鐸して得る演鐸シミュレーション方式、更には
、コンカレントシミュレーション方式などがあり、現在
ではコンカレント方式が主流となっている。コンカレン
トシミュレーション方式については、昭和5911月3
0日オーム社発行のrLSIハンドブックJP179な
どに記載されているように、故障の影響で、模擬論理回
路内の素子モデルの入力もしくは出力が正常回路のそれ
と異なる場合に、当該故障を識別するためのデータとそ
のときの入出力値を故障リストの形で保持し、正常回路
も故障回路も同様にシミュレーションを行なって故障リ
ストを更新していく方式である。
ンを実行するコンピュータの1ワ一ド幅分の正常回路と
故障回路とを一度にシミュレートする並列シミュレーシ
ョン方式、故障情報の伝播を論理シミュレーションの結
果がら演鐸して得る演鐸シミュレーション方式、更には
、コンカレントシミュレーション方式などがあり、現在
ではコンカレント方式が主流となっている。コンカレン
トシミュレーション方式については、昭和5911月3
0日オーム社発行のrLSIハンドブックJP179な
どに記載されているように、故障の影響で、模擬論理回
路内の素子モデルの入力もしくは出力が正常回路のそれ
と異なる場合に、当該故障を識別するためのデータとそ
のときの入出力値を故障リストの形で保持し、正常回路
も故障回路も同様にシミュレーションを行なって故障リ
ストを更新していく方式である。
すなわち、論理回路内に存在する故障モデル数だけ故障
回路を考え、正常な回路の論理動作をシミュレーション
すると同時に、テスト用パターンを入れて正常回路と異
なる信号値の情報を各故障回路毎に伝播していき出力ビ
ンでその違いを検出してテスト用パターンの故障検出率
を評価するものである。
回路を考え、正常な回路の論理動作をシミュレーション
すると同時に、テスト用パターンを入れて正常回路と異
なる信号値の情報を各故障回路毎に伝播していき出力ビ
ンでその違いを検出してテスト用パターンの故障検出率
を評価するものである。
しかしながら、上記コンカレント方式の故障シミュレー
ションにおいて、正常回路及び故障回路の双方を同時に
シミュレーションして故障リストを更新しながら、正常
回路と異なる信号値の情報を各故障回路毎に伝播させる
とき、1つの素子モデルに対応する全ての故障回路に対
して逐次論理シミュレーションを行なっていたのでは、
シミュレーション対象となる論理の大規模化に伴って故
障回路の数が著しく増大して、故障リストのためのメモ
リ容量及び演算時間が増大するという問題点があった。
ションにおいて、正常回路及び故障回路の双方を同時に
シミュレーションして故障リストを更新しながら、正常
回路と異なる信号値の情報を各故障回路毎に伝播させる
とき、1つの素子モデルに対応する全ての故障回路に対
して逐次論理シミュレーションを行なっていたのでは、
シミュレーション対象となる論理の大規模化に伴って故
障回路の数が著しく増大して、故障リストのためのメモ
リ容量及び演算時間が増大するという問題点があった。
そこで、本出願人は先に、模擬論理回路を構成する素子
モデルに呼応する正常回路と、それに対して単一縮退故
障によって仮定された故障回路との論理動作をシミュレ
ーションするシステムにおいて、所定の素子モデルにお
ける故障回路の状態を相互に比較判別することにより、
同一状態の故障回路を統合し、それに呼応する統合され
た識別データ及び入出力値を保持しながら、正常回路と
異なる信号値の情報を故障回路の所定の論理経路に伝播
させることにより、同一状態の故障回路を統合させると
ともに、それに呼応する故障リストを1つにまとめて記
憶させ、故障リストのために必要とされるメモリ容量を
低減させ、かつ統合された故障回路の数に呼応して故障
回路の素子の演算回数を低減させる方法(以下、たたみ
込み法と称する)を開発し、出願したく特開昭63−2
04338号公報)。
モデルに呼応する正常回路と、それに対して単一縮退故
障によって仮定された故障回路との論理動作をシミュレ
ーションするシステムにおいて、所定の素子モデルにお
ける故障回路の状態を相互に比較判別することにより、
同一状態の故障回路を統合し、それに呼応する統合され
た識別データ及び入出力値を保持しながら、正常回路と
異なる信号値の情報を故障回路の所定の論理経路に伝播
させることにより、同一状態の故障回路を統合させると
ともに、それに呼応する故障リストを1つにまとめて記
憶させ、故障リストのために必要とされるメモリ容量を
低減させ、かつ統合された故障回路の数に呼応して故障
回路の素子の演算回数を低減させる方法(以下、たたみ
込み法と称する)を開発し、出願したく特開昭63−2
04338号公報)。
[グδ明が解決しようとする課題]
上記たたみ込み法は、同一状態の故障回路を一つにまと
めるため故障回路の素子演算の回数を低減することがで
きるが、同一状態の故障回路を一つにまとめる際に、故
障回路間の入出力の比較判定回数が多くなり、この判定
に時間がかかるという問題があった。
めるため故障回路の素子演算の回数を低減することがで
きるが、同一状態の故障回路を一つにまとめる際に、故
障回路間の入出力の比較判定回数が多くなり、この判定
に時間がかかるという問題があった。
この発明の目的はたたみ込み法による故障シミュレーシ
ョンにおいて、故障回路の状態比較判定を簡略化して、
同一状態の故障回路の統合処理を高速化し、CPUの負
担を軽減することにある。
ョンにおいて、故障回路の状態比較判定を簡略化して、
同一状態の故障回路の統合処理を高速化し、CPUの負
担を軽減することにある。
この発明の前記ならびにそのほかの目的と新規な特徴に
ついては、本明細書の記述および添附図面から明らかに
なるであろう。
ついては、本明細書の記述および添附図面から明らかに
なるであろう。
[課題を解決するための手段]
本願において開示される発明のうち代表的なものの概要
を説明すれば、下記のとおりである。
を説明すれば、下記のとおりである。
すなわち、第1図に示すように各素子モデルごとに故障
回路の入出力の電圧値、正常と異なる端子位置などの故
障回路の入出力状態Siを数値(ビット)で表現してそ
の数値(もしくはこれと回路識別データ)をアドレスと
し、このアドレスが指すところ(故障回路状態テーブル
TT) 、または、そこにある指標(故障スタックテー
ブルSTのアドレス)が示す領域(ST)に故障回路の
識別データをセットし、これを故障回路数分繰り返すこ
とにより、同一状態の故障回路を統合させるようにする
ものである。
回路の入出力の電圧値、正常と異なる端子位置などの故
障回路の入出力状態Siを数値(ビット)で表現してそ
の数値(もしくはこれと回路識別データ)をアドレスと
し、このアドレスが指すところ(故障回路状態テーブル
TT) 、または、そこにある指標(故障スタックテー
ブルSTのアドレス)が示す領域(ST)に故障回路の
識別データをセットし、これを故障回路数分繰り返すこ
とにより、同一状態の故障回路を統合させるようにする
ものである。
なお、第1図において、口で囲まれた端子は正常回路の
端子と状態の異なる端子を示す。故障回路処理の入出力
状態としては、「OJ、「l」の他に出力端子について
は「出力値不定」、[ハイインピーダンスで出力値O」
、[ハイインピーダンスで出力値l」、[ハイインピー
ダンスで出力値不定」を、また入ツノ端子については「
入力値不定」を加え、それらを数値化してアドレスとし
てもよい。
端子と状態の異なる端子を示す。故障回路処理の入出力
状態としては、「OJ、「l」の他に出力端子について
は「出力値不定」、[ハイインピーダンスで出力値O」
、[ハイインピーダンスで出力値l」、[ハイインピー
ダンスで出力値不定」を、また入ツノ端子については「
入力値不定」を加え、それらを数値化してアドレスとし
てもよい。
[作用]
上記した手段によれば、同一状態の故障回路を一つにま
とめるたたみ込みの際に、同一数値(同一アドレス)の
故障回路は同一状態となり、一箇所に集められるため、
故障回路の状態を相互に比較判定せず・に、入出力状態
と対応された数値をアドレスとしてメモリ内に統合でき
、処理速度を向上させることができる。
とめるたたみ込みの際に、同一数値(同一アドレス)の
故障回路は同一状態となり、一箇所に集められるため、
故障回路の状態を相互に比較判定せず・に、入出力状態
と対応された数値をアドレスとしてメモリ内に統合でき
、処理速度を向上させることができる。
[実施例]
第1図は本充用に係る故障シミュレーションのたたみ込
み方式の原理図、第2図は当該シミュレーションシステ
ムにおけるたたみ込み処理の手順を示すフローチャート
である。本実施例の故障シミュレーションシステムは、
特に図示しないが、命令制御系及び命令制御系の制御に
基づく演算処理を実行する演算実行系としての機能を有
する中央処理装置と、各種データやプログラムが格納さ
れる半導体メモリのようなデータ記憶手段とを含むデー
タ処理システムから構成される。当該システムで実行可
能なシミュレーション方式は、模擬論理回路を構成する
素子モデルに呼応する正常回路と、それに対して単一縮
退故障(2以上の故障を含まない)によって仮定された
故障回路との双方を同時にシミュレーションして故障リ
ストを更新しながら、正常回路と異なる信号値の情報を
故障回路毎に伝播させる内容を基本とするものであるが
、1つの素子モデルに対応する全ての故障回路に対して
逐次論理シミュレーションを行なうのではなく、所定の
素子モデルにおける故障回路において同一状態の故障回
路を統合し、それに呼応する統合された識別データ及び
入出力値を故障リストとしての所定のメモリエリアに保
持しながら正常回路と異なる信号値の情報(故障回路)
を所定の論理回路に伝播させるものである。
み方式の原理図、第2図は当該シミュレーションシステ
ムにおけるたたみ込み処理の手順を示すフローチャート
である。本実施例の故障シミュレーションシステムは、
特に図示しないが、命令制御系及び命令制御系の制御に
基づく演算処理を実行する演算実行系としての機能を有
する中央処理装置と、各種データやプログラムが格納さ
れる半導体メモリのようなデータ記憶手段とを含むデー
タ処理システムから構成される。当該システムで実行可
能なシミュレーション方式は、模擬論理回路を構成する
素子モデルに呼応する正常回路と、それに対して単一縮
退故障(2以上の故障を含まない)によって仮定された
故障回路との双方を同時にシミュレーションして故障リ
ストを更新しながら、正常回路と異なる信号値の情報を
故障回路毎に伝播させる内容を基本とするものであるが
、1つの素子モデルに対応する全ての故障回路に対して
逐次論理シミュレーションを行なうのではなく、所定の
素子モデルにおける故障回路において同一状態の故障回
路を統合し、それに呼応する統合された識別データ及び
入出力値を故障リストとしての所定のメモリエリアに保
持しながら正常回路と異なる信号値の情報(故障回路)
を所定の論理回路に伝播させるものである。
具体的には第4図に示されるように、3人力型アンドゲ
ート回路と、そのアンドゲート回路の出力を1つの入力
とする3人力型オアゲート回路とを、代表的素子モデル
とする場合、3人力型アンドゲート回路によって構成さ
れる素子モデルに対しては、3人力がともに「1」とさ
れるアンドゲート回路を正常回路TAとし、また、3人
力型オアゲート回路によって構成される一つの入力信号
が[1」であって、その他の2人力がrOJとされるオ
アゲート回路を正常回路TBとする。すると、正常回路
TAに対し、単一縮退故障によって仮定される故障回路
は、3人力a、b、c及び出力dが順次rOJ、rlJ
、rlJ、rOJとされる故障回路EAI、3人力a、
b、c及び出力dが順次rlJ、rOJ、 rN、
rOJとされる故障回路EA2.3人力a、b、c及
び出力dが順次rtJ、rlJ、 rOJ、rOJと
される故障回路EA3の3種類とされる。上記正常回路
TAとの接続関係において、もう一方の正常回路TB側
の故障回路は、前記各故障回路EAI、EA2.EA3
とl対l対応で個別的に関係される3つの故障回路EB
I、EB2.EB3が考えられるが、それらは相互に入
出力値が同一とされている同一状態の故障回路であるか
ら、1つの故障回路UEBに統合される。
ート回路と、そのアンドゲート回路の出力を1つの入力
とする3人力型オアゲート回路とを、代表的素子モデル
とする場合、3人力型アンドゲート回路によって構成さ
れる素子モデルに対しては、3人力がともに「1」とさ
れるアンドゲート回路を正常回路TAとし、また、3人
力型オアゲート回路によって構成される一つの入力信号
が[1」であって、その他の2人力がrOJとされるオ
アゲート回路を正常回路TBとする。すると、正常回路
TAに対し、単一縮退故障によって仮定される故障回路
は、3人力a、b、c及び出力dが順次rOJ、rlJ
、rlJ、rOJとされる故障回路EAI、3人力a、
b、c及び出力dが順次rlJ、rOJ、 rN、
rOJとされる故障回路EA2.3人力a、b、c及
び出力dが順次rtJ、rlJ、 rOJ、rOJと
される故障回路EA3の3種類とされる。上記正常回路
TAとの接続関係において、もう一方の正常回路TB側
の故障回路は、前記各故障回路EAI、EA2.EA3
とl対l対応で個別的に関係される3つの故障回路EB
I、EB2.EB3が考えられるが、それらは相互に入
出力値が同一とされている同一状態の故障回路であるか
ら、1つの故障回路UEBに統合される。
正常回路と異なる信号値の情報即ち故障回路のデータは
、当該シミュレーションのためのデータ処理システムに
含まれる半導体メモリのようなデータ記憶手段に各故障
回路毎に(統合されたものは1つのグループとして)故
障リストとして保持されるが、その保持情報は、特に制
限されないが、故障回路を個々に特定するための故障回
路識別データ、正常回路と状態の異なる端子の位置を特
定するための端子識別データ、正常回路と状態の異なる
端子における値に応する伝播データ、および、統合され
た故障回路やその統合されたグループ名などを特定する
ための統合識別データである。
、当該シミュレーションのためのデータ処理システムに
含まれる半導体メモリのようなデータ記憶手段に各故障
回路毎に(統合されたものは1つのグループとして)故
障リストとして保持されるが、その保持情報は、特に制
限されないが、故障回路を個々に特定するための故障回
路識別データ、正常回路と状態の異なる端子の位置を特
定するための端子識別データ、正常回路と状態の異なる
端子における値に応する伝播データ、および、統合され
た故障回路やその統合されたグループ名などを特定する
ための統合識別データである。
水力式による故障シミュレーションの処理の流れは、第
2図に示されるように、先ず正常回路における変化を得
るために、順次、正常回路における入力信号の状態変化
をリストアツブ(ステップS1)し、それに基づいて正
常回路の入力状態を変化させ(ステップS2)、正常回
路の論理演算を行ない(ステップS3)、それから正常
回路の出力信号に変化があった場合におけるその値の登
録(ステップS4)を実行する。次いで、当該正常回路
に呼応する故障回路が存在するかの判別が行なわれ(ス
テップS5)、故障回路が存在しない場合には、処理ス
テップSlに戻され他の素子モデル(論理回路)の正常
回路に対する上記処理を行なう。
2図に示されるように、先ず正常回路における変化を得
るために、順次、正常回路における入力信号の状態変化
をリストアツブ(ステップS1)し、それに基づいて正
常回路の入力状態を変化させ(ステップS2)、正常回
路の論理演算を行ない(ステップS3)、それから正常
回路の出力信号に変化があった場合におけるその値の登
録(ステップS4)を実行する。次いで、当該正常回路
に呼応する故障回路が存在するかの判別が行なわれ(ス
テップS5)、故障回路が存在しない場合には、処理ス
テップSlに戻され他の素子モデル(論理回路)の正常
回路に対する上記処理を行なう。
上記ステップS5に判別において、故障回路が存在する
と判断されたときは、所定の故障回路における変化を得
るために、ステップS6へ移行して先ず故障回路におけ
る入力信号の状態変化を読み込んでからそれに基づいて
故障回路の状態を変化させ(ステップS7)、同一状態
の故障回路を統合したり、前回までの処理で統合されて
いた故障回路が今回の入力信号の変化によってその状態
が同一でなくなるものを統合グループから分離させる統
合・分離処理(ステップS8)を行なう。
と判断されたときは、所定の故障回路における変化を得
るために、ステップS6へ移行して先ず故障回路におけ
る入力信号の状態変化を読み込んでからそれに基づいて
故障回路の状態を変化させ(ステップS7)、同一状態
の故障回路を統合したり、前回までの処理で統合されて
いた故障回路が今回の入力信号の変化によってその状態
が同一でなくなるものを統合グループから分離させる統
合・分離処理(ステップS8)を行なう。
しかる後、故障回路の論理演算を行なって故障回路の出
力信号に変化が生じた場合にその値を登録(ステップS
9,5IO) してから、ステップS1へ戻り、次の論
理回路について上記処理を繰り返す。
力信号に変化が生じた場合にその値を登録(ステップS
9,5IO) してから、ステップS1へ戻り、次の論
理回路について上記処理を繰り返す。
第3図は、上記故障シミュレーションの処理フロー中の
故障回路の統合・分離処理(ステップS8)の具体的手
順を示す。すなわち、先ず故障回路の入出力状態を数値
化しくステップ581)、この数値をアドレスとして故
障回路状態テーブルTTを検索し、テーブル内に故障回
路スタックテーブルポインタPsiが入っていない場合
、新しい故障回路スタックテーブルのポインPsiを故
障回路状態テーブル内にセットしてから、新しいポイン
タが指す故障回路スタックテーブルSTに故障回路の識
別データfiを迫加する。このことにより、同一状態の
故障回路の統合、及び分離を、状態比較をせずに高速に
行なうことが可能となる。
故障回路の統合・分離処理(ステップS8)の具体的手
順を示す。すなわち、先ず故障回路の入出力状態を数値
化しくステップ581)、この数値をアドレスとして故
障回路状態テーブルTTを検索し、テーブル内に故障回
路スタックテーブルポインタPsiが入っていない場合
、新しい故障回路スタックテーブルのポインPsiを故
障回路状態テーブル内にセットしてから、新しいポイン
タが指す故障回路スタックテーブルSTに故障回路の識
別データfiを迫加する。このことにより、同一状態の
故障回路の統合、及び分離を、状態比較をせずに高速に
行なうことが可能となる。
そして、スタックテーブル更新後に、まだ未処理の故障
回路があるか判定しくステップ583)、あるときはス
テップS81へ戻り、ないときはステップS9へ移行す
る。
回路があるか判定しくステップ583)、あるときはス
テップS81へ戻り、ないときはステップS9へ移行す
る。
なお、上記実施例では、故障回路スタックテーブルへ故
障回路の識別データを登録するとしたが、識別データの
他に入出力値(故障状態)も併せて登録しておくように
してもよい。
障回路の識別データを登録するとしたが、識別データの
他に入出力値(故障状態)も併せて登録しておくように
してもよい。
上記実施例によれば、平均の素子モデルを2人力1出力
とし、比較すべき状態数を8個とし、正常回路と異なる
時の平均故障回路数を10個とすると、故障回路の統合
、分離の際の故障回路相互の状態比較が必要なくなった
ため、4倍のCPU時間の節約が期待できる。また、故
障シミュレーション中に故障回路の統合・分離処理が2
0%を占めるとすると、全体で15%のCPU時間短縮
が予想される。また、故障回路の入出力状態を数値化し
アドレスとしているため、ルックアップテーブル方式で
演算結果を得ることができる。
とし、比較すべき状態数を8個とし、正常回路と異なる
時の平均故障回路数を10個とすると、故障回路の統合
、分離の際の故障回路相互の状態比較が必要なくなった
ため、4倍のCPU時間の節約が期待できる。また、故
障シミュレーション中に故障回路の統合・分離処理が2
0%を占めるとすると、全体で15%のCPU時間短縮
が予想される。また、故障回路の入出力状態を数値化し
アドレスとしているため、ルックアップテーブル方式で
演算結果を得ることができる。
以上説明したように上記実施例は、故障回路の入出力の
電圧値、正常と異なる端子位置などの故障回路の入出力
状態を数値(ビット)で表現してその数値をアドレスと
し、このアドレスが指すところ(故障回路状態テーブル
TT)、または、そこにある指標(故障スタックテーブ
ルSTのアドレス)が示す領域(ST)に故障回路の識
別データをセットし、これを故障回路数分繰り返すこと
により、同一状態の故障回路を統合させるようにしたの
で、同一状態の故障回路を一つにまとめる際に、同一数
値(アドレス)の故障回路は同一状態となり、一箇所に
集められるため、故障回路の状態を相互に比較判定せず
に、入出力状態と対応された数値をアドレスとしてメモ
リ内に統合できるため、処理速度を向上させることがで
きるという効果がある。
電圧値、正常と異なる端子位置などの故障回路の入出力
状態を数値(ビット)で表現してその数値をアドレスと
し、このアドレスが指すところ(故障回路状態テーブル
TT)、または、そこにある指標(故障スタックテーブ
ルSTのアドレス)が示す領域(ST)に故障回路の識
別データをセットし、これを故障回路数分繰り返すこと
により、同一状態の故障回路を統合させるようにしたの
で、同一状態の故障回路を一つにまとめる際に、同一数
値(アドレス)の故障回路は同一状態となり、一箇所に
集められるため、故障回路の状態を相互に比較判定せず
に、入出力状態と対応された数値をアドレスとしてメモ
リ内に統合できるため、処理速度を向上させることがで
きるという効果がある。
以上本発明者によってなされた発明を実施例に基づき具
体的に説明したが、本発明は上記実施例に限定されるも
のではなく、その要旨を逸脱しない範囲で種々変更可能
であることはいうまでもない。例えば、上記実施例では
正常回路及び故障回路を、説明を簡単にするためにアン
ドゲート回路及びオアゲート回路として説明したが、そ
の回路もしくは素子は適宜に変更することができる。ま
た、上記実施例では、正常回路に対して単一縮退故障に
よって仮定された故障回路を考えたが、故障回路もしく
は故障モデルは、それに限定されず、多重縮退故障など
その他の故障モデルを採用することもできる。
体的に説明したが、本発明は上記実施例に限定されるも
のではなく、その要旨を逸脱しない範囲で種々変更可能
であることはいうまでもない。例えば、上記実施例では
正常回路及び故障回路を、説明を簡単にするためにアン
ドゲート回路及びオアゲート回路として説明したが、そ
の回路もしくは素子は適宜に変更することができる。ま
た、上記実施例では、正常回路に対して単一縮退故障に
よって仮定された故障回路を考えたが、故障回路もしく
は故障モデルは、それに限定されず、多重縮退故障など
その他の故障モデルを採用することもできる。
以上の説明では主として本発明者によってなされた発明
をその背景となった利用分野であるフンカレント方式の
故障シミュレーションに適用した場合について説明した
が、本発明はそれに限定されず、その他の方式の故障シ
ミュレーションにも適用することができる。
をその背景となった利用分野であるフンカレント方式の
故障シミュレーションに適用した場合について説明した
が、本発明はそれに限定されず、その他の方式の故障シ
ミュレーションにも適用することができる。
[発明の効果]
本願において開示される発明のうち代表的なものによっ
て得られる効果を簡単に説明すれば下記のとおりである
。
て得られる効果を簡単に説明すれば下記のとおりである
。
すなわち、模擬論理回路を構成する素子モデルに呼応す
る正常回路と、それに対応して設定された故障回路との
論理動作をシミュレーションするシステムにおいて、故
障回路の状態比較判定を簡略化して、同一状態の故障回
路の統合処理を高速化し、CPUの負担を軽減すること
ができる。
る正常回路と、それに対応して設定された故障回路との
論理動作をシミュレーションするシステムにおいて、故
障回路の状態比較判定を簡略化して、同一状態の故障回
路の統合処理を高速化し、CPUの負担を軽減すること
ができる。
@1図は本発明に係る故障シミュレーションのたたみ込
み方式の原理図、 第2図は当該シミュレーションシステムにおけるたたみ
込み処理の手順を示すフローチャート、第3図は第2図
のフローにおける故障回路の統合/分離処理の具体的手
順を示すフローチャート、第4図はたたみ込み法による
故障回路の統合処理の原理を示す説明図である。 T・・・・正常回路、f、〜f、・・・・故障回路、T
T・・・・故障回路状態テーブル、ST・・・・故障回
路スタックテーブル。 :楡・ 第り図 第2 図 第 図 6 ヌ、プッフ’S7 、Cソ 7−テソフ’59/−一
み方式の原理図、 第2図は当該シミュレーションシステムにおけるたたみ
込み処理の手順を示すフローチャート、第3図は第2図
のフローにおける故障回路の統合/分離処理の具体的手
順を示すフローチャート、第4図はたたみ込み法による
故障回路の統合処理の原理を示す説明図である。 T・・・・正常回路、f、〜f、・・・・故障回路、T
T・・・・故障回路状態テーブル、ST・・・・故障回
路スタックテーブル。 :楡・ 第り図 第2 図 第 図 6 ヌ、プッフ’S7 、Cソ 7−テソフ’59/−一
Claims (1)
- 【特許請求の範囲】 1、模擬論理回路を構成する素子モデルに呼応する正常
回路と、それに対応して設定された故障回路との論理動
作をシミュレーションするシステムにおいて、所定の素
子モデルにおける故障回路の状態を数値化し、それをア
ドレスとして故障回路の識別データをメモリに記憶する
ことにより、同一状態の故障回路を統合し、それに呼応
する統合された識別データ及び入出力値を保持しながら
シミュレーションを行なうことを特徴とする論理LSI
の故障シミュレーションシステム。 2、上記故障回路の識別データは、上記アドレスによっ
て指示されるテーブル内のポインタの示すメモリ領域に
格納されることを特徴とする請求項1記載の論理LSI
の故障シミュレーションシステム。 3、上記同一状態の故障回路を統合する処理に際しては
、それ以前に統合されていた故障回路を分離する処理が
含まれることを特徴とする請求項1もしくは請求項2記
載の論理LSIの故障シミュレーションシステム。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP1329191A JPH03189768A (ja) | 1989-12-19 | 1989-12-19 | 論理lsiの故障シミュレーションシステム |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP1329191A JPH03189768A (ja) | 1989-12-19 | 1989-12-19 | 論理lsiの故障シミュレーションシステム |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH03189768A true JPH03189768A (ja) | 1991-08-19 |
Family
ID=18218673
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP1329191A Pending JPH03189768A (ja) | 1989-12-19 | 1989-12-19 | 論理lsiの故障シミュレーションシステム |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH03189768A (ja) |
-
1989
- 1989-12-19 JP JP1329191A patent/JPH03189768A/ja active Pending
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US5513339A (en) | Concurrent fault simulation of circuits with both logic elements and functional circuits | |
| JPS63145549A (ja) | 論理回路シミユレ−シヨン方法 | |
| JPS6141017B2 (ja) | ||
| JPH03189768A (ja) | 論理lsiの故障シミュレーションシステム | |
| JP3144617B2 (ja) | 論理回路の検証方法 | |
| JPH0455774A (ja) | 同期型ff間のオーバディレイテスト方式 | |
| JP2000353185A (ja) | 論理回路の故障シミュレーション方法及び装置 | |
| Saxena | Fault Simulation Algorithms: Verilog Implementation | |
| JP3004669B2 (ja) | 論理シミュレータ | |
| JP3004670B2 (ja) | 論理シミュレータ | |
| JP2658857B2 (ja) | 等価故障抽出方法及び装置 | |
| JPH0342736A (ja) | 故障シミュレーション方法 | |
| JPS6229825B2 (ja) | ||
| JP2972558B2 (ja) | 論理回路の故障シミュレーション方法 | |
| JPH029370B2 (ja) | ||
| JPS62217172A (ja) | 回路の照合方法 | |
| Dokouzgiannis et al. | Determination of combinational logic circuit reliability through generation of fault diagnosis tests | |
| JPH0433170A (ja) | Lsiレイアウト設計の配線検証方法 | |
| JPS61273641A (ja) | 論理シミユレ−シヨン装置 | |
| JPS61273640A (ja) | 論理シミユレ−シヨン装置 | |
| JPH09325974A (ja) | 機能ブロック部の動作検証装置 | |
| JPH04147068A (ja) | 組合せ回路の故障シミュレーション方式 | |
| JPS6325377B2 (ja) | ||
| JPS6375576A (ja) | 集積回路の故障検出装置 | |
| JPH05242185A (ja) | 故障シミュレーション装置 |