JPH052620A - 回路故障擬似試験装置及び回路故障擬似試験方法 - Google Patents
回路故障擬似試験装置及び回路故障擬似試験方法Info
- Publication number
- JPH052620A JPH052620A JP3193005A JP19300591A JPH052620A JP H052620 A JPH052620 A JP H052620A JP 3193005 A JP3193005 A JP 3193005A JP 19300591 A JP19300591 A JP 19300591A JP H052620 A JPH052620 A JP H052620A
- Authority
- JP
- Japan
- Prior art keywords
- failure
- fault
- information
- fsa0
- fsa1
- 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.)
- Granted
Links
Landscapes
- Tests Of Electronic Circuits (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
(57)【要約】
【目的】 本発明は回路故障擬似試験装置の簡易化に関
し、ゲート遅延時間や状態記憶を有する回路等の各論理
ゲートについて故障伝幡の有無を予め故障モードが定義
された故障情報に基づいて検出判断をし、故障検出評価
の簡易化を図ること、併せてメモリ容量及びCPUの負
担を軽減することを目的とする。 【構成】 予め定義された被試験半導体装置16の故障
モード情報Sa0 ,Sa1及び制御データD1を記憶する第1
の記憶手段11と、前記被試験半導体装置16の故障シ
ミュレーションをするテストデータDTを記憶する第2
の記憶手段12と、前記テストデータDTによる各論理
ゲートLG1, LG2,LGi…LGnでの故障伝幡に関し計算
された故障情報fSa0,fSa1 ,DSa0,DSa1 MSa0,MSa
1 を記憶する第3の記憶手段13と、前記定義処理に基
づく故障情報fSa0,fSa1 ,DSa0,DSa1 MSa0,MSa1
の検出をする情報検出手段14と、前記第1,第2,第
3の記憶手段11,12,13,情報検出手段14の入
出力を制御する制御手段15とを具備することを含み構
成する。
し、ゲート遅延時間や状態記憶を有する回路等の各論理
ゲートについて故障伝幡の有無を予め故障モードが定義
された故障情報に基づいて検出判断をし、故障検出評価
の簡易化を図ること、併せてメモリ容量及びCPUの負
担を軽減することを目的とする。 【構成】 予め定義された被試験半導体装置16の故障
モード情報Sa0 ,Sa1及び制御データD1を記憶する第1
の記憶手段11と、前記被試験半導体装置16の故障シ
ミュレーションをするテストデータDTを記憶する第2
の記憶手段12と、前記テストデータDTによる各論理
ゲートLG1, LG2,LGi…LGnでの故障伝幡に関し計算
された故障情報fSa0,fSa1 ,DSa0,DSa1 MSa0,MSa
1 を記憶する第3の記憶手段13と、前記定義処理に基
づく故障情報fSa0,fSa1 ,DSa0,DSa1 MSa0,MSa1
の検出をする情報検出手段14と、前記第1,第2,第
3の記憶手段11,12,13,情報検出手段14の入
出力を制御する制御手段15とを具備することを含み構
成する。
Description
【0001】〔目次〕
産業上の利用分野
従来の技術(図23,24)
発明が解決しようとする課題
課題を解決するための手段(図1〜3)
作用
実施例
(1)第1の実施例の説明 (図4〜9)
(2)第2の実施例の説明 (図10〜16)
(3)第3の実施例の説明 (第17〜22)
発明の効果
【0002】
【産業上の利用分野】本発明は、回路故障擬似試験装置
及び回路故障試験方法に関するものであり、更に詳しく
言えば、故障点が設定された被試験半導体装置(以下被
試験LSIという)にテストデータを供給して故障シミ
ュレーションをする装置及び方法の簡易化に関するもの
である。
及び回路故障試験方法に関するものであり、更に詳しく
言えば、故障点が設定された被試験半導体装置(以下被
試験LSIという)にテストデータを供給して故障シミ
ュレーションをする装置及び方法の簡易化に関するもの
である。
【0003】近年、半導体集積回路装置の超高集積化,
超高密度化に伴いLSI自動設計分野では、論理ゲート
が組まれた設計途中の被試験LSIが大型計算機を用い
た故障シミュレーションが行われている。
超高密度化に伴いLSI自動設計分野では、論理ゲート
が組まれた設計途中の被試験LSIが大型計算機を用い
た故障シミュレーションが行われている。
【0004】これによれば、被試験LSI内部に設定さ
れた故障を含む論理ゲートをテストデータに基づき、一
つずつの故障について故障シミュレーションを行うこと
により、その故障検出率や未検出故障等の情報が得られ
る。
れた故障を含む論理ゲートをテストデータに基づき、一
つずつの故障について故障シミュレーションを行うこと
により、その故障検出率や未検出故障等の情報が得られ
る。
【0005】このため、故障を含まない論理ゲート及び
故障を含む論理ゲートの各々について論理ゲートの出力
値を計算し、それぞれの結果を各論理ゲートの出力点に
おいて比較しなくてはならい。また、その故障結果が被
試験LSIの信号出力部まで伝幡するか否かについて一
つ一つの故障点について判定をしなくてはならい。
故障を含む論理ゲートの各々について論理ゲートの出力
値を計算し、それぞれの結果を各論理ゲートの出力点に
おいて比較しなくてはならい。また、その故障結果が被
試験LSIの信号出力部まで伝幡するか否かについて一
つ一つの故障点について判定をしなくてはならい。
【0006】これにより、被試験LSIの超高集積化,
超高密度化に伴い故障検出評価が益々困難になり、論理
ゲート設計期間の長期化を招くこととなる。また、故障
シミュレーションに係わる中央演算処理装置(以下CP
Uという)の使用(占有)時間が多くなったり、各論理
ゲートの出力値の計算やそれらの比較処理をするために
データ記憶装置のメモリ容量の増加が余儀無くされると
いう問題がある。
超高密度化に伴い故障検出評価が益々困難になり、論理
ゲート設計期間の長期化を招くこととなる。また、故障
シミュレーションに係わる中央演算処理装置(以下CP
Uという)の使用(占有)時間が多くなったり、各論理
ゲートの出力値の計算やそれらの比較処理をするために
データ記憶装置のメモリ容量の増加が余儀無くされると
いう問題がある。
【0007】そこで、ゲート遅延時間や状態記憶を有す
る回路等の各論理ゲートについて故障伝幡の有無を予め
故障モードが定義された故障情報に基づいて検出判断を
し、故障検出評価の簡易化を図ること、併せて、メモリ
容量及びCPUの負担を軽減することができる装置及び
方法が望まれている。
る回路等の各論理ゲートについて故障伝幡の有無を予め
故障モードが定義された故障情報に基づいて検出判断を
し、故障検出評価の簡易化を図ること、併せて、メモリ
容量及びCPUの負担を軽減することができる装置及び
方法が望まれている。
【0008】
【従来の技術】図23,24は、従来例に係る説明図であ
る。図23は従来例に係る故障シミュレーションを説明す
る構成図であり、図24はその比較/ 判定エディタの処理
フローチャートを示している。
る。図23は従来例に係る故障シミュレーションを説明す
る構成図であり、図24はその比較/ 判定エディタの処理
フローチャートを示している。
【0009】図23において、複数の論理ゲートLG1, L
G2,LGi…LGnが組み込まれた被試験LSI7の故障シ
ミュレーションをする装置は、故障シミュレーション制
御メモリ1,テストデータファイルメモリ2,故障情報
メモリ3,比較/判定エディタ4,CPU5,ディスプ
レイ6,キーボード9及びこれらの間のデータを伝送す
るシステムバス8から構成されている。
G2,LGi…LGnが組み込まれた被試験LSI7の故障シ
ミュレーションをする装置は、故障シミュレーション制
御メモリ1,テストデータファイルメモリ2,故障情報
メモリ3,比較/判定エディタ4,CPU5,ディスプ
レイ6,キーボード9及びこれらの間のデータを伝送す
るシステムバス8から構成されている。
【0010】当該装置の機能は、例えば、論理ゲートL
G1, LG2,LGi…LGnが組まれた設計途中の被試験LS
I7の故障シミュレーションを行なう場合、図24の比較
/ 判定エディタの処理フローチャートに示したように、
まず、ステップP1で被試験LSI7に故障点FLTを設
定し、該LSI7の信号入力部INにテストデータDT
の供給処理をする。この際に、被試験LSI7は表示デ
ータD3に基づいてディスプレイ6等に表示される。
G1, LG2,LGi…LGnが組まれた設計途中の被試験LS
I7の故障シミュレーションを行なう場合、図24の比較
/ 判定エディタの処理フローチャートに示したように、
まず、ステップP1で被試験LSI7に故障点FLTを設
定し、該LSI7の信号入力部INにテストデータDT
の供給処理をする。この際に、被試験LSI7は表示デ
ータD3に基づいてディスプレイ6等に表示される。
【0011】また、オペレータによりキーボード9を介
して故障点FLTに係る入力データD2が入力され、例え
ば、論理ゲートLG1の信号入力部INに故障点FLTが設
定される。また、テストデータDTがCPU5を介して
テストデータファイルメモリ2から読み出される。
して故障点FLTに係る入力データD2が入力され、例え
ば、論理ゲートLG1の信号入力部INに故障点FLTが設
定される。また、テストデータDTがCPU5を介して
テストデータファイルメモリ2から読み出される。
【0012】次いで、ステップP2で故障設定された被
試験LSI7の各論理ゲートLG1,LG2,LGi…LGnの
出力値と正常時の出力値とを比較処理をする。この際
に、故障シミュレーション制御メモリ1等より読み出さ
れた制御データD1に基づいて比較/判定エディタ4,
CPU5により演算処理される。
試験LSI7の各論理ゲートLG1,LG2,LGi…LGnの
出力値と正常時の出力値とを比較処理をする。この際
に、故障シミュレーション制御メモリ1等より読み出さ
れた制御データD1に基づいて比較/判定エディタ4,
CPU5により演算処理される。
【0013】この演算処理は、故障点FLTの影響を各論
理ゲートLG1, LG2,LGi…LGnについて、故障点FLT
が設定されない場合の正常時の出力値と故障点FLTが設
定された場合の故障時の出力値と一つずつ比較処理をす
ることにより故障シミュレーションが行なわれる。な
お、正常時の出力値,故障時の出力値及び比較結果デー
タは故障情報メモリ3に格納される。
理ゲートLG1, LG2,LGi…LGnについて、故障点FLT
が設定されない場合の正常時の出力値と故障点FLTが設
定された場合の故障時の出力値と一つずつ比較処理をす
ることにより故障シミュレーションが行なわれる。な
お、正常時の出力値,故障時の出力値及び比較結果デー
タは故障情報メモリ3に格納される。
【0014】その後、ステップP3で故障点FLTの影響
が信号出力部OUTに伝幡するか否かの判断処理をする。
この際に、Xの影響が信号出力部OUTに伝幡する場合
(YES)にはステップP4に移行して、「テストデータ
DTによって、故障点FLTの影響が観測できる」と判定
する。
が信号出力部OUTに伝幡するか否かの判断処理をする。
この際に、Xの影響が信号出力部OUTに伝幡する場合
(YES)にはステップP4に移行して、「テストデータ
DTによって、故障点FLTの影響が観測できる」と判定
する。
【0015】また、Xの影響が信号出力部OUTに伝幡し
ない場合(NO)にはステップP5に移行して、「テス
トデータDTでは、故障点FLTの影響が観測できない」
と判定する。以上ステップP1〜P5の処理を故障検出
の対象となる全故障,全テストデータDTについて行
う。
ない場合(NO)にはステップP5に移行して、「テス
トデータDTでは、故障点FLTの影響が観測できない」
と判定する。以上ステップP1〜P5の処理を故障検出
の対象となる全故障,全テストデータDTについて行
う。
【0016】これにより、被試験LSI7の内部に設定
された故障検出の対象とする全故障点に係る故障シミュ
レーションを行なうことができ、被試験LSI7に係る
故障検出率や未検出故障等の情報が得られる。
された故障検出の対象とする全故障点に係る故障シミュ
レーションを行なうことができ、被試験LSI7に係る
故障検出率や未検出故障等の情報が得られる。
【0017】
【発明が解決しようとする課題】ところで、従来例によ
れば被試験LSI7内部に設定された故障点FLTをテス
トデータDTに基づき、一つずつの故障について故障シ
ミュレーションを行うことにより、被試験LSI7の故
障検出率や未検出故障等の情報を得ている。
れば被試験LSI7内部に設定された故障点FLTをテス
トデータDTに基づき、一つずつの故障について故障シ
ミュレーションを行うことにより、被試験LSI7の故
障検出率や未検出故障等の情報を得ている。
【0018】このため、故障点FLTを含まない論理回路
の論理ゲートLG1,LG2,LGi…LGn及び故障点FLTを
含む論理回路の論理ゲートLG1,LG2,LGi…LGnの各
々について論理ゲートの出力値を比較/判定エディタ
4,CPU5により演算処理し、それぞれを各論理ゲー
ト出力点において比較処理しなくてはならい。
の論理ゲートLG1,LG2,LGi…LGn及び故障点FLTを
含む論理回路の論理ゲートLG1,LG2,LGi…LGnの各
々について論理ゲートの出力値を比較/判定エディタ
4,CPU5により演算処理し、それぞれを各論理ゲー
ト出力点において比較処理しなくてはならい。
【0019】また、その故障結果が被試験LSIの故障
検出判定点まで伝幡するか否かについて、一つずつの故
障点について判定をするため各演算処理の結果データを
故障情報メモリ3に記憶しなくてはならい。すなわち、
テストデータに対する故障点が設定された被試験LSI
と故障点を有しない被試験LSIとの各論理ゲートの出
力値の差が被試験LSIの信号出力部まで伝幡するか否
かを確認することとなる。
検出判定点まで伝幡するか否かについて、一つずつの故
障点について判定をするため各演算処理の結果データを
故障情報メモリ3に記憶しなくてはならい。すなわち、
テストデータに対する故障点が設定された被試験LSI
と故障点を有しない被試験LSIとの各論理ゲートの出
力値の差が被試験LSIの信号出力部まで伝幡するか否
かを確認することとなる。
【0020】これにより、被試験LSIが超高集積化,
超高密度化するのに伴い故障検出評価が益々困難にな
り、例えば、ゲート遅延時間や状態記憶を有する回路等
の論理ゲート設計期間の長期化を招くこととなる。ま
た、故障シミュレーションに係わるCPU5の使用(占
有)時間が多くなったり、各論理ゲートの出力値の計算
やそれらの比較処理をするための故障情報メモリ3のメ
モリ容量の増加が余儀無くされるという問題がある。
超高密度化するのに伴い故障検出評価が益々困難にな
り、例えば、ゲート遅延時間や状態記憶を有する回路等
の論理ゲート設計期間の長期化を招くこととなる。ま
た、故障シミュレーションに係わるCPU5の使用(占
有)時間が多くなったり、各論理ゲートの出力値の計算
やそれらの比較処理をするための故障情報メモリ3のメ
モリ容量の増加が余儀無くされるという問題がある。
【0021】本発明は、かかる従来例の問題点に鑑み創
作されたものであり、ゲート遅延時間や状態記憶を有す
る回路等の各論理ゲートについて故障伝幡の有無を予め
故障モードが定義された故障情報に基づいて検出判断を
し、故障検出評価の簡易化を図ること、併せて、メモリ
容量及びCPUの負担を軽減することが可能となる回路
故障擬似試験装置及び回路故障試験方法の提供を目的と
する。
作されたものであり、ゲート遅延時間や状態記憶を有す
る回路等の各論理ゲートについて故障伝幡の有無を予め
故障モードが定義された故障情報に基づいて検出判断を
し、故障検出評価の簡易化を図ること、併せて、メモリ
容量及びCPUの負担を軽減することが可能となる回路
故障擬似試験装置及び回路故障試験方法の提供を目的と
する。
【0022】
【課題を解決するための手段】図1,図2(a),
(b)は、本発明に係る回路故障擬似試験装置の原理図
(その1,2)であり、図3(a),(b)は、本発明
に係る回路故障試験方法の原理図を示している。
(b)は、本発明に係る回路故障擬似試験装置の原理図
(その1,2)であり、図3(a),(b)は、本発明
に係る回路故障試験方法の原理図を示している。
【0023】本発明の回路故障試験装置は、図1に示す
ように複数の論理ゲートLG1, LG2,LGi…LGnが組み
込まれた被試験半導体装置16の故障シミュレーション
をする装置であって、予め定義された被試験半導体装置
16の故障モード情報Sa0 ,Sa1及び制御データD1を記
憶する第1の記憶手段11と、前記被試験半導体装置1
6の故障シミュレーションをするテストデータDTを記
憶する第2の記憶手段12と、前記テストデータDTに
よる各論理ゲートLG1, LG2,LGi…LGnでの故障伝幡
に関し計算された故障情報fSa0,fSa1 ,DSa0,DSa1
MSa0,MSa1 を記憶する第3の記憶手段13と、前記定
義処理に基づく故障情報fSa0,fSa1 ,DSa0,DSa1 M
Sa0,MSa1 の検出をする情報検出手段14と、前記第
1,第2,第3の記憶手段11,12,13,情報検出
手段14の入出力を制御する制御手段15とを具備する
ことを特徴とする。
ように複数の論理ゲートLG1, LG2,LGi…LGnが組み
込まれた被試験半導体装置16の故障シミュレーション
をする装置であって、予め定義された被試験半導体装置
16の故障モード情報Sa0 ,Sa1及び制御データD1を記
憶する第1の記憶手段11と、前記被試験半導体装置1
6の故障シミュレーションをするテストデータDTを記
憶する第2の記憶手段12と、前記テストデータDTに
よる各論理ゲートLG1, LG2,LGi…LGnでの故障伝幡
に関し計算された故障情報fSa0,fSa1 ,DSa0,DSa1
MSa0,MSa1 を記憶する第3の記憶手段13と、前記定
義処理に基づく故障情報fSa0,fSa1 ,DSa0,DSa1 M
Sa0,MSa1 の検出をする情報検出手段14と、前記第
1,第2,第3の記憶手段11,12,13,情報検出
手段14の入出力を制御する制御手段15とを具備する
ことを特徴とする。
【0024】なお、前記回路故障擬似試験装置におい
て、前記第3の記憶手段13が図2(a)に示すよう
に、被試験半導体装置16の論理ゲートLG1, LG2,L
Gi…LGnの故障情報fSa0,fSa1 毎に係る伝幡予定時刻
ts0,ts1を記憶することを特徴とする。
て、前記第3の記憶手段13が図2(a)に示すよう
に、被試験半導体装置16の論理ゲートLG1, LG2,L
Gi…LGnの故障情報fSa0,fSa1 毎に係る伝幡予定時刻
ts0,ts1を記憶することを特徴とする。
【0025】また、前記回路故障擬似試験装置におい
て、前記第3の記憶手段13が図2(b)に示すよう
に、当該テストデータDTの一周期前の最終の故障検出
判定時刻T1から当該テストデータDTの現在周期に係
る任意の故障検出判定時刻TXに至るまでの故障情報f
Sa0,fSa1 と、前記伝幡予定時刻ts0,ts1に係る故障
情報DSa0,DSa1 を記憶することを特徴とする。
て、前記第3の記憶手段13が図2(b)に示すよう
に、当該テストデータDTの一周期前の最終の故障検出
判定時刻T1から当該テストデータDTの現在周期に係
る任意の故障検出判定時刻TXに至るまでの故障情報f
Sa0,fSa1 と、前記伝幡予定時刻ts0,ts1に係る故障
情報DSa0,DSa1 を記憶することを特徴とする。
【0026】さらに、本発明の第1の回路故障擬似試験
方法は、図3(a)に示すような複数の論理ゲートLG
1, LG2,LGi…LGnが組み込まれた被試験半導体装置
16の故障シミュレーションをする方法であって、図3
(b)のフローチャートに示すように予め、ステップP
1で被試験半導体装置16の故障モードM0,M1を定
義して故障伝幡を示す故障情報fSa0,fSa1 の定義処理
をし、次に、ステップP2で前記被試験半導体装置16
の信号入力部INにテストデータDTの供給処理をし、
次いで、ステップP3で前記テストデータDTに基づい
て各論理ゲートLG1, LG2,LGi…LGnでの故障伝幡に
関する故障情報fSa0,fSa1 の計算記憶処理をし、その
後、前記被試験半導体装置16の信号出力部OUTから前
記信号入力部INに向かって故障情報fSa0,fSa1 の検
出処理をすることを特徴とする。
方法は、図3(a)に示すような複数の論理ゲートLG
1, LG2,LGi…LGnが組み込まれた被試験半導体装置
16の故障シミュレーションをする方法であって、図3
(b)のフローチャートに示すように予め、ステップP
1で被試験半導体装置16の故障モードM0,M1を定
義して故障伝幡を示す故障情報fSa0,fSa1 の定義処理
をし、次に、ステップP2で前記被試験半導体装置16
の信号入力部INにテストデータDTの供給処理をし、
次いで、ステップP3で前記テストデータDTに基づい
て各論理ゲートLG1, LG2,LGi…LGnでの故障伝幡に
関する故障情報fSa0,fSa1 の計算記憶処理をし、その
後、前記被試験半導体装置16の信号出力部OUTから前
記信号入力部INに向かって故障情報fSa0,fSa1 の検
出処理をすることを特徴とする。
【0027】なお、前記第1の回路故障擬似試験方法に
おいて、前記故障モードM0,M1の定義処理は、前記
被試験半導体装置16に故障点FLTが設定された場合
に、前記論理ゲートLG1, LG2,LGi…LGnの出力信号
又は入力信号が論理「0」に固定する第1の縮退故障で
あって、前記第1の縮退故障が被試験半導体装置16に
一つだけ存在する第1の単一縮退故障M0及び前記論理
ゲートLG1, LG2,LGi…LGnの出力信号又は入力信号
が論理「1」に固定する第2の縮退故障であって、前記
第2の縮退故障が被試験半導体装置16に一つだけ存在
する第2の単一縮退故障M1と定義をすることを特徴と
する。
おいて、前記故障モードM0,M1の定義処理は、前記
被試験半導体装置16に故障点FLTが設定された場合
に、前記論理ゲートLG1, LG2,LGi…LGnの出力信号
又は入力信号が論理「0」に固定する第1の縮退故障で
あって、前記第1の縮退故障が被試験半導体装置16に
一つだけ存在する第1の単一縮退故障M0及び前記論理
ゲートLG1, LG2,LGi…LGnの出力信号又は入力信号
が論理「1」に固定する第2の縮退故障であって、前記
第2の縮退故障が被試験半導体装置16に一つだけ存在
する第2の単一縮退故障M1と定義をすることを特徴と
する。
【0028】また、前記第1の回路故障擬似試験方法に
おいて、前記故障伝幡を示す故障情報fSa0,fSa1 の定
義処理は、前記第1の単一縮退故障M0については、次
段の論理ゲートLGjへの伝幡の有無を示す第1の故障情
報fSa0 =1又は0と定義をし、前記第2の単一縮退故
障M1については、次段の論理ゲートLGjへの伝幡の有
無を示す第2の故障情報fSa1 =1又0と定義をするこ
とを特徴とする。
おいて、前記故障伝幡を示す故障情報fSa0,fSa1 の定
義処理は、前記第1の単一縮退故障M0については、次
段の論理ゲートLGjへの伝幡の有無を示す第1の故障情
報fSa0 =1又は0と定義をし、前記第2の単一縮退故
障M1については、次段の論理ゲートLGjへの伝幡の有
無を示す第2の故障情報fSa1 =1又0と定義をするこ
とを特徴とする。
【0029】さらに、本発明の第2の回路故障擬似試験
方法は前記第1の回路故障擬似試験方法において、図3
(b)のフローチャートのステップP3の計算記憶処理
には、前記論理ゲートLG1, LG2,LGi…LGnに故障点
FLTが設定された場合に、被試験半導体装置16の論理
ゲートLG1, LG2,LGi…LGnの故障情報fSa0,fSa1
毎に係る伝幡予定時刻ts0,ts1の記憶処理と、前記伝
幡予定時刻ts0,ts1に係る前回の信号変化時の故障情
報fSa0,fSa1 と現在時刻tcに係る当該信号変化時の
故障情報fSa0,fSa1 との比較処理に基づいて該伝幡予
定時刻ts0,ts1が現在時刻tcを経過している故障情
報fSa0,fSa1 を有効とする故障情報DSa0,DSa1 の計
算処理が含まれることを特徴とする。
方法は前記第1の回路故障擬似試験方法において、図3
(b)のフローチャートのステップP3の計算記憶処理
には、前記論理ゲートLG1, LG2,LGi…LGnに故障点
FLTが設定された場合に、被試験半導体装置16の論理
ゲートLG1, LG2,LGi…LGnの故障情報fSa0,fSa1
毎に係る伝幡予定時刻ts0,ts1の記憶処理と、前記伝
幡予定時刻ts0,ts1に係る前回の信号変化時の故障情
報fSa0,fSa1 と現在時刻tcに係る当該信号変化時の
故障情報fSa0,fSa1 との比較処理に基づいて該伝幡予
定時刻ts0,ts1が現在時刻tcを経過している故障情
報fSa0,fSa1 を有効とする故障情報DSa0,DSa1 の計
算処理が含まれることを特徴とする。
【0030】また、本発明の第3の回路故障擬似試験方
法は前記第1の回路故障擬似試験方法において、図3
(b)のフローチャートのステップP3の計算記憶処理
には、被試験半導体装置16に記憶素子MEMが含まれた
場合に、当該テストデータDTの一周期前の最終の故障
検出判定時刻T1に係る最新の故障情報fSa0,fSa1
と、前記最終の故障検出判定時刻T1から当該テストデ
ータDTの現在周期に係る任意の故障検出判定時刻TX
に至るまでの故障情報fSa0,fSa1 との記憶処理と、前
記最終の故障検出判定時刻T1から現在周期に係る任意
の故障検出判定時刻TXに至る間の故障情報MSa0,MSa
1 と前記現在周期に係る任意の故障検出判定時刻TXの
最新の故障情報fSa0,fSa1 との論理和演算処理が含ま
れることを特徴とする。
法は前記第1の回路故障擬似試験方法において、図3
(b)のフローチャートのステップP3の計算記憶処理
には、被試験半導体装置16に記憶素子MEMが含まれた
場合に、当該テストデータDTの一周期前の最終の故障
検出判定時刻T1に係る最新の故障情報fSa0,fSa1
と、前記最終の故障検出判定時刻T1から当該テストデ
ータDTの現在周期に係る任意の故障検出判定時刻TX
に至るまでの故障情報fSa0,fSa1 との記憶処理と、前
記最終の故障検出判定時刻T1から現在周期に係る任意
の故障検出判定時刻TXに至る間の故障情報MSa0,MSa
1 と前記現在周期に係る任意の故障検出判定時刻TXの
最新の故障情報fSa0,fSa1 との論理和演算処理が含ま
れることを特徴とする。
【0031】なお、前記第3の回路故障擬似試験方法に
おいて、図3(b)のフローチャートのステップP4の
検出処理には、被試験半導体装置16に記憶素子MEMが
含まれた場合に、前記被試験半導体装置16の信号出力
部OUTから記憶素子MEMに至るまでの第1の検索処理
と、前記記憶素子MEMの入力部から被試験半導体装置1
6の信号入力部INに至るまでの第2の検索処理が含ま
れることを特徴とする。
おいて、図3(b)のフローチャートのステップP4の
検出処理には、被試験半導体装置16に記憶素子MEMが
含まれた場合に、前記被試験半導体装置16の信号出力
部OUTから記憶素子MEMに至るまでの第1の検索処理
と、前記記憶素子MEMの入力部から被試験半導体装置1
6の信号入力部INに至るまでの第2の検索処理が含ま
れることを特徴とする。
【0032】また、前記第3の回路故障擬似試験方法に
おいて、図3(b)のフローチャートのステップP3の
計算記憶処理には、前記被試験半導体装置16に記憶素
子MEMが含まれた場合に、当該テストデータDTの現在
周期の最終の故障検出判定時刻T2に係る故障情報fSa
0,fSa1 ,DSa0,DSa1 ,MSa0,MSa1 の検出処理の後
に、当該テストデータDTの一周期前の最終の故障検出
判定時刻T1から当該テストデータDTの現在周期に係
る最終の故障検出判定時刻T2に至るまでの全ての故障
情報MSa0,MSa1 ,DSa0,DSa1 を当該テストデータD
Tの現在周期に係る最終の故障検出判定時刻T2の最新
の故障情報fSa0,fSa1 に一致させる計算処理を含むこ
とを特徴とし、上記目的を達成する。
おいて、図3(b)のフローチャートのステップP3の
計算記憶処理には、前記被試験半導体装置16に記憶素
子MEMが含まれた場合に、当該テストデータDTの現在
周期の最終の故障検出判定時刻T2に係る故障情報fSa
0,fSa1 ,DSa0,DSa1 ,MSa0,MSa1 の検出処理の後
に、当該テストデータDTの一周期前の最終の故障検出
判定時刻T1から当該テストデータDTの現在周期に係
る最終の故障検出判定時刻T2に至るまでの全ての故障
情報MSa0,MSa1 ,DSa0,DSa1 を当該テストデータD
Tの現在周期に係る最終の故障検出判定時刻T2の最新
の故障情報fSa0,fSa1 に一致させる計算処理を含むこ
とを特徴とし、上記目的を達成する。
【0033】
【作用】本発明の回路故障擬似試験装置によれば、図1
に示すように第1,第2,第3の記憶手段11,12,
13,情報検出手段14及び制御手段15が具備されて
いる。
に示すように第1,第2,第3の記憶手段11,12,
13,情報検出手段14及び制御手段15が具備されて
いる。
【0034】例えば、複数の論理ゲートLG1, LG2,L
Gi…LGnが組み込まれた被試験半導体装置16に故障点
FLTを設定して、回路故障シミュレーションをする場
合、予め定義された被試験半導体装置16の故障モード
情報Sa0 ,Sa1が第1の記憶手段11により記憶され、被
試験半導体装置16の故障シミュレーションをするテス
トデータDTが第2の記憶手段12により記憶される。
また、テストデータDTによる各論理ゲートLG1, LG
2,LGi… LGnでの故障伝幡に関する故障情報fSa0,
fSa1 が制御手段15を介して第3の記憶手段13によ
り記憶され、該定義処理に基づく故障情報fSa0, fSa
1 が情報検出手段14により検出される。
Gi…LGnが組み込まれた被試験半導体装置16に故障点
FLTを設定して、回路故障シミュレーションをする場
合、予め定義された被試験半導体装置16の故障モード
情報Sa0 ,Sa1が第1の記憶手段11により記憶され、被
試験半導体装置16の故障シミュレーションをするテス
トデータDTが第2の記憶手段12により記憶される。
また、テストデータDTによる各論理ゲートLG1, LG
2,LGi… LGnでの故障伝幡に関する故障情報fSa0,
fSa1 が制御手段15を介して第3の記憶手段13によ
り記憶され、該定義処理に基づく故障情報fSa0, fSa
1 が情報検出手段14により検出される。
【0035】このため、テストデータDTに対する故障
点を有する論理回路と故障点FLTを有しない論理回路で
それぞれ論理ゲートLG1, LG2,LGi…LGnの出力値を
計算して両者が一致するまで、又は、外部出力点に達す
るまで、従来例のように比較/判定エディタ4やCPU
5により比較,演算処理をすることが無くなる。このこ
とで、制御手段15の負担は各論理ゲートLG1,LG2,
LGi…LGnの入力点に残留される故障情報fSa0,fSa1
を計算し、それを第3の記憶手段13へ記憶する処理に
軽減される。
点を有する論理回路と故障点FLTを有しない論理回路で
それぞれ論理ゲートLG1, LG2,LGi…LGnの出力値を
計算して両者が一致するまで、又は、外部出力点に達す
るまで、従来例のように比較/判定エディタ4やCPU
5により比較,演算処理をすることが無くなる。このこ
とで、制御手段15の負担は各論理ゲートLG1,LG2,
LGi…LGnの入力点に残留される故障情報fSa0,fSa1
を計算し、それを第3の記憶手段13へ記憶する処理に
軽減される。
【0036】また、故障点FLTの影響が被試験半導体装
置16の信号出力部(故障検出判定点)まで伝幡するか
否か(故障伝幡)については、一つずつの故障について
各論理ゲートLG1,LG2,LGi…LGnの出力点毎につい
て判定がされないため従来例のような各論理ゲートLG
1,LG2,LGi…LGnの出力値の演算結果データの記憶
処理が不要となる。
置16の信号出力部(故障検出判定点)まで伝幡するか
否か(故障伝幡)については、一つずつの故障について
各論理ゲートLG1,LG2,LGi…LGnの出力点毎につい
て判定がされないため従来例のような各論理ゲートLG
1,LG2,LGi…LGnの出力値の演算結果データの記憶
処理が不要となる。
【0037】これにより、従来例に比べて制御手段15
の使用(占有)時間の短縮化を図ること,及び第3の記
憶手段(故障情報メモリ3)のメモリ容量の削減化を図
ることが可能となる。
の使用(占有)時間の短縮化を図ること,及び第3の記
憶手段(故障情報メモリ3)のメモリ容量の削減化を図
ることが可能となる。
【0038】なお、図2(a)に示すように、被試験半
導体装置16の論理ゲートLG1, LG2,LGi…LGnの故
障情報fSa0,fSa1 毎に係る伝幡予定時刻ts1,ts0を
第3の記憶手段13に記憶することにより、該論理ゲー
トLG1, LG2,LGi…LGnのゲート遅延時間tdを含め
た高精度の故障シミュレーションを行うことが可能とな
る。
導体装置16の論理ゲートLG1, LG2,LGi…LGnの故
障情報fSa0,fSa1 毎に係る伝幡予定時刻ts1,ts0を
第3の記憶手段13に記憶することにより、該論理ゲー
トLG1, LG2,LGi…LGnのゲート遅延時間tdを含め
た高精度の故障シミュレーションを行うことが可能とな
る。
【0039】また、図2(b)に示すように、当該テス
トデータDTの一周期前の最終の故障検出判定時刻T1
から当該テストデータDTの現在周期に係る任意の故障
検出判定時刻TXに至るまでの故障情報fSa0,fSa1 に
基づく故障情報DSa0,DSa1を第3の記憶手段13に記
憶することにより、記憶素子MEMを含む被試験半導体装
置16について、高精度な故障シミュレーションを行う
ことが可能となる。
トデータDTの一周期前の最終の故障検出判定時刻T1
から当該テストデータDTの現在周期に係る任意の故障
検出判定時刻TXに至るまでの故障情報fSa0,fSa1 に
基づく故障情報DSa0,DSa1を第3の記憶手段13に記
憶することにより、記憶素子MEMを含む被試験半導体装
置16について、高精度な故障シミュレーションを行う
ことが可能となる。
【0040】さらに、本発明の第1の回路故障擬似試験
方法によれば、図3(b)のフローチャートに示すよう
に、ステップP1で第1,第2の単一縮退故障M0,M
1等の故障伝幡を示す故障情報fSa0,fSa1 の定義処理
をし、ステップP2でテストデータDTの供給処理を
し、ステップP3で各論理ゲートLG1, LG2,LGi…L
Gnから出力される故障情報fSa0,fSa1 の記憶処理をし
ている。
方法によれば、図3(b)のフローチャートに示すよう
に、ステップP1で第1,第2の単一縮退故障M0,M
1等の故障伝幡を示す故障情報fSa0,fSa1 の定義処理
をし、ステップP2でテストデータDTの供給処理を
し、ステップP3で各論理ゲートLG1, LG2,LGi…L
Gnから出力される故障情報fSa0,fSa1 の記憶処理をし
ている。
【0041】このため、複数の論理ゲートLG1, LG2,
LGi…LGnが組み込まれた被試験半導体装置16に故障
点FLTを設定して、故障シミュレーションをする場合、
ステップP4で信号出力部OUTから信号入力部INに向
かって第1の単一縮退故障M0の伝幡可能性を示す最終
の故障情報fSa0 =1又は0や第2の単一縮退故障M1
の伝幡可能性を示す任意の故障情報fSa1 =1又0の検
出処理をすることにより、当該被試験半導体装置16の
故障検出評価を容易に行うことが可能となる。
LGi…LGnが組み込まれた被試験半導体装置16に故障
点FLTを設定して、故障シミュレーションをする場合、
ステップP4で信号出力部OUTから信号入力部INに向
かって第1の単一縮退故障M0の伝幡可能性を示す最終
の故障情報fSa0 =1又は0や第2の単一縮退故障M1
の伝幡可能性を示す任意の故障情報fSa1 =1又0の検
出処理をすることにより、当該被試験半導体装置16の
故障検出評価を容易に行うことが可能となる。
【0042】これにより、被試験半導体装置16の超高
集積化,超高密度化の要求があった場合でも、故障検出
評価の簡易化が図られ、その論理ゲートの設計期間の短
期化を図ることが可能なる。
集積化,超高密度化の要求があった場合でも、故障検出
評価の簡易化が図られ、その論理ゲートの設計期間の短
期化を図ることが可能なる。
【0043】また、本発明の第2の回路故障擬似試験方
法によれば、図3(b)のフローチャートのステップP
3の計算記憶処理の際に、故障情報fSa0,fSa1 に係る
伝幡予定時刻ts1,ts0の記憶処理と、現在時刻tcが
伝幡予定時刻ts1,ts0を経過している故障情報fSa0,
fSa1 を有効として故障情報DSa0,DSa1 を求める計算
処理を実行している。
法によれば、図3(b)のフローチャートのステップP
3の計算記憶処理の際に、故障情報fSa0,fSa1 に係る
伝幡予定時刻ts1,ts0の記憶処理と、現在時刻tcが
伝幡予定時刻ts1,ts0を経過している故障情報fSa0,
fSa1 を有効として故障情報DSa0,DSa1 を求める計算
処理を実行している。
【0044】このため、論理ゲートLG1, LG2,LGi…
LGnに故障点FLTが設定された場合に、例えば、入力ネ
ットに信号変化(イベント)が発生しても、正常回路の
出力ネットにイベントが発生しない場合,すなわち、該
論理ゲートLG1, LG2,LGi…LGnのゲート遅延時間後
の時刻に信号変化が伝幡予定される場合について、入力
ネットの信号発生時刻では無く、現在時刻tcがその伝
幡予定時刻ts1,ts0まで経過した故障を検出すること
が可能となる。換言すれば、故障点の影響がゲート遅延
時間後に出力ネットに伝幡された場合について、その時
点の故障情報fSa0,fSa1 を故障が伝幡したとする「f
Sa0,fSa1 =1」とすることが可能となる。
LGnに故障点FLTが設定された場合に、例えば、入力ネ
ットに信号変化(イベント)が発生しても、正常回路の
出力ネットにイベントが発生しない場合,すなわち、該
論理ゲートLG1, LG2,LGi…LGnのゲート遅延時間後
の時刻に信号変化が伝幡予定される場合について、入力
ネットの信号発生時刻では無く、現在時刻tcがその伝
幡予定時刻ts1,ts0まで経過した故障を検出すること
が可能となる。換言すれば、故障点の影響がゲート遅延
時間後に出力ネットに伝幡された場合について、その時
点の故障情報fSa0,fSa1 を故障が伝幡したとする「f
Sa0,fSa1 =1」とすることが可能となる。
【0045】これにより、該論理ゲートLG1, LG2,L
Gi…LGnのゲート遅延時間tdを考慮した実際の故障回
路に則した故障シミュレーションを高精度に実行するこ
とが可能となる。
Gi…LGnのゲート遅延時間tdを考慮した実際の故障回
路に則した故障シミュレーションを高精度に実行するこ
とが可能となる。
【0046】また、本発明の第3の回路故障擬似試験方
法によれば、図3(b)のフローチャートのステップP
3の計算記憶処理の際に、当該テストデータDTの一周
期前の最終の故障検出判定時刻T1に係る最新の故障情
報fSa0,fSa1 と当該テストデータDTの現在周期に係
る任意の故障検出判定時刻TXに至るまでの故障情報f
Sa0,fSa1 との論理和演算処理をしている。
法によれば、図3(b)のフローチャートのステップP
3の計算記憶処理の際に、当該テストデータDTの一周
期前の最終の故障検出判定時刻T1に係る最新の故障情
報fSa0,fSa1 と当該テストデータDTの現在周期に係
る任意の故障検出判定時刻TXに至るまでの故障情報f
Sa0,fSa1 との論理和演算処理をしている。
【0047】このため、被試験半導体装置16の論理ゲ
ートLG1, LG2,LGi…LGnに記憶素子MEMが含まれた
場合であっても、時間と共に変化をする記憶素子MEMの
内部状態について、例えば、当該テストデータDTの一
周期前の最終の故障検出判定時刻T1に係る最新の故障
情報fSa0,fSa1 と最終の故障検出判定時刻T1から当
該テストデータDTの現在周期に係る任意の故障検出判
定時刻TXに至るまでの故障情報fSa0,fSa1 が一度で
も故障が伝幡したとする「fSa0,fSa1 =1」とを論理
和演算処理をすることにより、記憶素子MEMに係る故障
伝幡性を判断することが可能となる。
ートLG1, LG2,LGi…LGnに記憶素子MEMが含まれた
場合であっても、時間と共に変化をする記憶素子MEMの
内部状態について、例えば、当該テストデータDTの一
周期前の最終の故障検出判定時刻T1に係る最新の故障
情報fSa0,fSa1 と最終の故障検出判定時刻T1から当
該テストデータDTの現在周期に係る任意の故障検出判
定時刻TXに至るまでの故障情報fSa0,fSa1 が一度で
も故障が伝幡したとする「fSa0,fSa1 =1」とを論理
和演算処理をすることにより、記憶素子MEMに係る故障
伝幡性を判断することが可能となる。
【0048】なお、ステップP4において、記憶素子M
EMが含まれた論理ゲートLG1, LG2,LGi…LGnの故障
情報fSa0,fSa1 の検出処理は第1,第2の検索処理に
より実行され、該検出処理の後に、当該テストデータD
Tの一周期前の最終の故障検出判定時刻T1に係る最新
の故障情報fSa0,fSa1 と最終の故障検出判定時刻T1
から当該テストデータDTの現在周期に係る最終の故障
検出判定時刻T2に至るまでの全ての故障情報MSa0,M
Sa1 ,DSa0,DSa1 を当該テストデータDTの現在周期
に係る最終の故障検出判定時刻T2の故障情報fSa0,f
Sa1 に一致させている。
EMが含まれた論理ゲートLG1, LG2,LGi…LGnの故障
情報fSa0,fSa1 の検出処理は第1,第2の検索処理に
より実行され、該検出処理の後に、当該テストデータD
Tの一周期前の最終の故障検出判定時刻T1に係る最新
の故障情報fSa0,fSa1 と最終の故障検出判定時刻T1
から当該テストデータDTの現在周期に係る最終の故障
検出判定時刻T2に至るまでの全ての故障情報MSa0,M
Sa1 ,DSa0,DSa1 を当該テストデータDTの現在周期
に係る最終の故障検出判定時刻T2の故障情報fSa0,f
Sa1 に一致させている。
【0049】このため、一回の演算処理によっては、記
憶素子MEMの入力ネットの故障の影響が出力ネットに反
映されない場合であっても、該記憶素子MEMに留まって
いる故障情報fSa0,fSa1 を無視することなく、再現性
良く該故障情報fSa0,fSa1を検出することが可能とな
る。
憶素子MEMの入力ネットの故障の影響が出力ネットに反
映されない場合であっても、該記憶素子MEMに留まって
いる故障情報fSa0,fSa1 を無視することなく、再現性
良く該故障情報fSa0,fSa1を検出することが可能とな
る。
【0050】これにより、記憶素子MEMを含む被試験半
導体装置16の高精度な故障シミュレーションを行うこ
とが可能となる。
導体装置16の高精度な故障シミュレーションを行うこ
とが可能となる。
【0051】
【実施例】次に図を参照しながら本発明の実施例につい
て説明をする。図4〜図22は、本発明の実施例に係る回
路故障擬似試験装置及び回路故障試験方法を説明する図
である。
て説明をする。図4〜図22は、本発明の実施例に係る回
路故障擬似試験装置及び回路故障試験方法を説明する図
である。
【0052】(1)第1の実施例の説明
図4は、本発明の各実施例に係る回路故障擬似試験装置
の構成図であり、図5,6はその補足説明図を示してい
る。
の構成図であり、図5,6はその補足説明図を示してい
る。
【0053】例えば、図8に示すような複数の論理ゲー
トLG1, LG2,LG3が組み込まれた被試験半導体装置
(以下被試験LSIという)16の故障シミュレーショ
ンをする装置は、図4において、故障シミュレーション
制御メモリ21,テストデータファイルメモリ22,故
障情報メモリ23,データ検索エディタ24,CPU2
5,ディスプレイ26,キーボード27及びこれらの間
のデータを伝送するシステムバス28から成る。
トLG1, LG2,LG3が組み込まれた被試験半導体装置
(以下被試験LSIという)16の故障シミュレーショ
ンをする装置は、図4において、故障シミュレーション
制御メモリ21,テストデータファイルメモリ22,故
障情報メモリ23,データ検索エディタ24,CPU2
5,ディスプレイ26,キーボード27及びこれらの間
のデータを伝送するシステムバス28から成る。
【0054】すなわち、故障シミュレーション制御メモ
リ21は第1の記憶手段11の一実施例であり、予め定
義された被試験LSI16の故障モード情報Sa0 ,Sa1や
制御データD1を記憶するものである。なお、定義処理
については図4,図5において説明をする。
リ21は第1の記憶手段11の一実施例であり、予め定
義された被試験LSI16の故障モード情報Sa0 ,Sa1や
制御データD1を記憶するものである。なお、定義処理
については図4,図5において説明をする。
【0055】テストデータファイルメモリ22は第2の
記憶手段12の一実施例であり、被試験LSI16の故
障シミュレーションをするテストデータDTを記憶する
ものである。
記憶手段12の一実施例であり、被試験LSI16の故
障シミュレーションをするテストデータDTを記憶する
ものである。
【0056】故障情報メモリ23は第3の記憶手段13
の一実施例であり、テストデータDTによる各論理ゲー
トLG1, LG2,LGi…LGnでの故障伝幡に関し計算され
た故障情報fSa0,fSa1 を記憶するものである(図5参
照)。なお、故障情報メモリ23は第2の実施例に係る
回路故障擬似試験方法においては、被試験LSI16の
論理ゲートLG1, LG2,LGi…LGnの故障情報fSa0,f
Sa1 毎に係る伝幡予定時刻ts1,ts0を記憶するもので
ある。
の一実施例であり、テストデータDTによる各論理ゲー
トLG1, LG2,LGi…LGnでの故障伝幡に関し計算され
た故障情報fSa0,fSa1 を記憶するものである(図5参
照)。なお、故障情報メモリ23は第2の実施例に係る
回路故障擬似試験方法においては、被試験LSI16の
論理ゲートLG1, LG2,LGi…LGnの故障情報fSa0,f
Sa1 毎に係る伝幡予定時刻ts1,ts0を記憶するもので
ある。
【0057】また、故障情報メモリ23は第3の実施例
に係る回路故障擬似試験方法においては、当該テストデ
ータDTの一周期前の最終の故障検出判定時刻T1に係
る最新の故障情報fSa0,fSa1 と、当該最終の故障検出
判定時刻T1から当該テストデータDTの現在周期に係
る任意の故障検出判定時刻TXに至るまでの故障情報f
Sa0,fSa1 とに基づく故障情報MSa0,MSa1 を記憶する
ものである。
に係る回路故障擬似試験方法においては、当該テストデ
ータDTの一周期前の最終の故障検出判定時刻T1に係
る最新の故障情報fSa0,fSa1 と、当該最終の故障検出
判定時刻T1から当該テストデータDTの現在周期に係
る任意の故障検出判定時刻TXに至るまでの故障情報f
Sa0,fSa1 とに基づく故障情報MSa0,MSa1 を記憶する
ものである。
【0058】データ検索エディタ24は情報検出手段1
4の一実施例であり、定義処理に基づいて各論理ゲート
ゲートLG1, LG2,LGi…LGnでの故障伝幡に関し計算
された故障情報fSa0,fSa1 ,MSa0,MSa1 の検出をす
るものである。
4の一実施例であり、定義処理に基づいて各論理ゲート
ゲートLG1, LG2,LGi…LGnでの故障伝幡に関し計算
された故障情報fSa0,fSa1 ,MSa0,MSa1 の検出をす
るものである。
【0059】CPU25は制御手段15の一実施例であ
り、故障シミュレーション制御メモリ21,テストデー
タファイルメモリ22,故障情報メモリ23,データ検
索エディタ24及びディスプレイ26等の入出力を制御
するものである。例えば、CPU25は当該テストデー
タDTの時刻管理,すなわち、故障情報fSa0,fSa1の
最新情報を取得する一周期前の最終の故障検出判定時刻
T1や該最終の故障検出判定時刻T1から当該テストデ
ータDTの現在周期に係る任意の故障検出判定時刻TX
に至るまで計数処理等をする。
り、故障シミュレーション制御メモリ21,テストデー
タファイルメモリ22,故障情報メモリ23,データ検
索エディタ24及びディスプレイ26等の入出力を制御
するものである。例えば、CPU25は当該テストデー
タDTの時刻管理,すなわち、故障情報fSa0,fSa1の
最新情報を取得する一周期前の最終の故障検出判定時刻
T1や該最終の故障検出判定時刻T1から当該テストデ
ータDTの現在周期に係る任意の故障検出判定時刻TX
に至るまで計数処理等をする。
【0060】また、CPU25は当該テストデータDT
の一周期前の最終の故障検出判定時刻T1から当該テス
トデータDTの現在周期に係る任意の故障検出判定時刻
TXに至るまでの故障情報fSa0,fSa1 に基づいて論理
和演算処理をした故障情報DSa0,DSa1 を出力するもの
である。
の一周期前の最終の故障検出判定時刻T1から当該テス
トデータDTの現在周期に係る任意の故障検出判定時刻
TXに至るまでの故障情報fSa0,fSa1 に基づいて論理
和演算処理をした故障情報DSa0,DSa1 を出力するもの
である。
【0061】なお、ディスプレイ26は表示データD3
に基づいて設計途中の被試験LSI16の表示等をする
ものである。キーボード27は、故障シミュレーション
をする際に、オペレータ等が故障点FLTに係る入力デー
タD2を入力するものである。例えば、論理ゲートLG1
の信号入力部INに故障点FLTが設定される。
に基づいて設計途中の被試験LSI16の表示等をする
ものである。キーボード27は、故障シミュレーション
をする際に、オペレータ等が故障点FLTに係る入力デー
タD2を入力するものである。例えば、論理ゲートLG1
の信号入力部INに故障点FLTが設定される。
【0062】図5は、本発明の第1の実施例に係る故障
モードメモリテーブルの内容説明図を示している。図5
において、Miは故障モードであり、第1,第2の単一
縮退故障M0,M1に分類される。第1の単一縮退故障
M0は、被試験LSI16に故障点FLTが設定された場
合に、論理ゲートLG1, LG2,LGi…LGnの出力信号又
は入力信号が論理「0」に固定する第1の縮退故障であ
って、第1の縮退故障が被試験LSI16に一つだけ存
在する故障モードをいう。
モードメモリテーブルの内容説明図を示している。図5
において、Miは故障モードであり、第1,第2の単一
縮退故障M0,M1に分類される。第1の単一縮退故障
M0は、被試験LSI16に故障点FLTが設定された場
合に、論理ゲートLG1, LG2,LGi…LGnの出力信号又
は入力信号が論理「0」に固定する第1の縮退故障であ
って、第1の縮退故障が被試験LSI16に一つだけ存
在する故障モードをいう。
【0063】例えば、二入力OR論理ゲート(以下OR
回路という)と二入力AND論理ゲート(以下AND回
路という)等の論1ゲートLGiの出力値が論理「0」に
固定するモードである。これは、OR回路やAND回路
の信号入力部の一線が,例えば、接地線GNDに触れる故
障等であり、常時、「0」レベルが該回路の一つ信号入
力部に印加されるものである。これにより、他の信号入
力部に「1」を入力した場合に該OR回路やAND回路
の出力値が「0」となるものである。この故障モード情
報をSaOと定義する。
回路という)と二入力AND論理ゲート(以下AND回
路という)等の論1ゲートLGiの出力値が論理「0」に
固定するモードである。これは、OR回路やAND回路
の信号入力部の一線が,例えば、接地線GNDに触れる故
障等であり、常時、「0」レベルが該回路の一つ信号入
力部に印加されるものである。これにより、他の信号入
力部に「1」を入力した場合に該OR回路やAND回路
の出力値が「0」となるものである。この故障モード情
報をSaOと定義する。
【0064】また、fSaOは最終の故障情報の一例とな
る第1の単一縮退故障M0の伝幡性を示す故障情報であ
る。例えば、第1の単一縮退故障M0が次段の論理ゲー
トLGiに伝幡しない場合をfSaO=0と定義する。ま
た、第1の単一縮退故障M0が次段の論理ゲートLGiに
伝幡する場合をfSaO=1と定義する。
る第1の単一縮退故障M0の伝幡性を示す故障情報であ
る。例えば、第1の単一縮退故障M0が次段の論理ゲー
トLGiに伝幡しない場合をfSaO=0と定義する。ま
た、第1の単一縮退故障M0が次段の論理ゲートLGiに
伝幡する場合をfSaO=1と定義する。
【0065】第2の単一縮退故障M1は、被試験LSI
16に故障点FLTが設定された場合に、論理ゲートLG
1,LG2,LGi…LGnの出力信号又は入力信号が論理
「1」に固定する第2の縮退故障であって、第2の縮退
故障が被試験LSI16に一つだけ存在する故障モード
をいう。例えば、OR回路やAND回路等の論理ゲート
LGiの出力値が論理「1」に固定するモードである。
16に故障点FLTが設定された場合に、論理ゲートLG
1,LG2,LGi…LGnの出力信号又は入力信号が論理
「1」に固定する第2の縮退故障であって、第2の縮退
故障が被試験LSI16に一つだけ存在する故障モード
をいう。例えば、OR回路やAND回路等の論理ゲート
LGiの出力値が論理「1」に固定するモードである。
【0066】これは、OR回路やAND回路の信号入力
部の一線が,例えば、断線等による故障により開放状態
となって、常時、「1」レベルが該回路の一つ信号入力
部に印加されるものである。これにより、他の信号入力
部に「1」を入力した場合に該OR回路やAND回路の
出力値が「1」となるものである。この故障モード情報
をSa1と定義する。また、fSa1は第2の故障情報の一
例となる第2の単一縮退故障M1の伝幡性を示す故障情
報である。例えば、第2の単一縮退故障M1が次段の論
理ゲートLGiに伝幡しない場合をfSa1=0と定義す
る。また、第2の単一縮退故障M1が次段の論理ゲート
LGiに伝幡する場合をfSa1=1と定義する。
部の一線が,例えば、断線等による故障により開放状態
となって、常時、「1」レベルが該回路の一つ信号入力
部に印加されるものである。これにより、他の信号入力
部に「1」を入力した場合に該OR回路やAND回路の
出力値が「1」となるものである。この故障モード情報
をSa1と定義する。また、fSa1は第2の故障情報の一
例となる第2の単一縮退故障M1の伝幡性を示す故障情
報である。例えば、第2の単一縮退故障M1が次段の論
理ゲートLGiに伝幡しない場合をfSa1=0と定義す
る。また、第2の単一縮退故障M1が次段の論理ゲート
LGiに伝幡する場合をfSa1=1と定義する。
【0067】なお、定義された故障モード情報Sa0,S
a1,第1,第2の故障情報fSa0,fSa1が制御データ
D1として故障シミュレーション制御メモリ21に格納
されている。
a1,第1,第2の故障情報fSa0,fSa1が制御データ
D1として故障シミュレーション制御メモリ21に格納
されている。
【0068】図6は、本発明の第1の実施例に係る故障
情報メモリテーブルの内容説明図を示している。図6に
おいて、mは故障情報メモリテーブルの内容であり、例
えば、OR回路やAND回路等の論理ゲートLGiの入力
ネットA,Bのいずれかに故障点FLTが設定された場合
の故障情報の格納状況を示している。
情報メモリテーブルの内容説明図を示している。図6に
おいて、mは故障情報メモリテーブルの内容であり、例
えば、OR回路やAND回路等の論理ゲートLGiの入力
ネットA,Bのいずれかに故障点FLTが設定された場合
の故障情報の格納状況を示している。
【0069】例えば、OR回路の入力ネットAについて
故障情報fSa0=1が格納されるのは、ネットAに第1
の単一縮退故障M0が存在する場合であって、次段の論
理ゲートLGiに伝幡する場合である。この際のOR回路
の出力値は正常時の出力値と異なる場合である。また、
同様にAについて故障情報fSa1=0が格納されるの
は、ネットAに第2の単一縮退故障M1が存在する場合
であって、次段の論理ゲートLGiに伝幡しない場合であ
る。この際のOR回路の出力値は正常時の出力値と同様
になる場合である。
故障情報fSa0=1が格納されるのは、ネットAに第1
の単一縮退故障M0が存在する場合であって、次段の論
理ゲートLGiに伝幡する場合である。この際のOR回路
の出力値は正常時の出力値と異なる場合である。また、
同様にAについて故障情報fSa1=0が格納されるの
は、ネットAに第2の単一縮退故障M1が存在する場合
であって、次段の論理ゲートLGiに伝幡しない場合であ
る。この際のOR回路の出力値は正常時の出力値と同様
になる場合である。
【0070】さらに、OR回路の入力ネットBについて
故障情報fSa0=0が格納されるのは、ネットBに第1
の単一縮退故障M0が存在する場合であって、次段の論
理ゲートLGiに伝幡しない場合である。この際のOR回
路の出力値は正常時の出力値と同様になる場合である。
また、同様にネットBについて故障情報fSa1=0が格
納されるのは、ネットBに第2の単一縮退故障M1が存
在する場合であって、次段の論理ゲートLGiに伝幡しな
い場合である。この際のOR回路の出力値は正常時の出
力値と同様になる場合である。
故障情報fSa0=0が格納されるのは、ネットBに第1
の単一縮退故障M0が存在する場合であって、次段の論
理ゲートLGiに伝幡しない場合である。この際のOR回
路の出力値は正常時の出力値と同様になる場合である。
また、同様にネットBについて故障情報fSa1=0が格
納されるのは、ネットBに第2の単一縮退故障M1が存
在する場合であって、次段の論理ゲートLGiに伝幡しな
い場合である。この際のOR回路の出力値は正常時の出
力値と同様になる場合である。
【0071】また、AND回路の入力ネットAについて
故障情報fSa0=0が格納されるのは、該ネットBに第
1の単一縮退故障M0が存在する場合であって、次段の
論理ゲートLGiに伝幡しない場合である。この際のAN
D回路の出力値は正常時の出力値と異なる場合である。
故障情報fSa0=0が格納されるのは、該ネットBに第
1の単一縮退故障M0が存在する場合であって、次段の
論理ゲートLGiに伝幡しない場合である。この際のAN
D回路の出力値は正常時の出力値と異なる場合である。
【0072】なお、同様にAについて故障情報fSa1=
0が格納されるのは、該ネットAに第2の単一縮退故障
M1が存在する場合であって、次段の論理ゲートLGiに
伝幡しない場合である。この際のAND回路の出力値は
正常時の出力値と同様になる場合である。
0が格納されるのは、該ネットAに第2の単一縮退故障
M1が存在する場合であって、次段の論理ゲートLGiに
伝幡しない場合である。この際のAND回路の出力値は
正常時の出力値と同様になる場合である。
【0073】さらに、AND回路の入力ネットBについ
て故障情報fSa0=0が格納されるのは、該ネットBに
第1の単一縮退故障M0が存在する場合であって、次段
の論理ゲートLGiに伝幡しない場合である。この際のA
ND回路の出力値は正常時の出力値と同様になる場合で
ある。
て故障情報fSa0=0が格納されるのは、該ネットBに
第1の単一縮退故障M0が存在する場合であって、次段
の論理ゲートLGiに伝幡しない場合である。この際のA
ND回路の出力値は正常時の出力値と同様になる場合で
ある。
【0074】また、同様にネットBについて故障情報f
Sa1=0が格納されるのは、該ネットBに第2の単一縮
退故障M1が存在する場合であって、次段の論理ゲート
LGiに伝幡する場合である。この際のAND回路の出力
値は正常時の出力値と同様になる場合である。
Sa1=0が格納されるのは、該ネットBに第2の単一縮
退故障M1が存在する場合であって、次段の論理ゲート
LGiに伝幡する場合である。この際のAND回路の出力
値は正常時の出力値と同様になる場合である。
【0075】なお、これらの故障情報fSa0=0,fS
a1=0,fSa1=1,fSa0=1はテストデータDTを
被試験LSI16に供給することにより、各論理ゲート
LGiでの故障伝幡に関し計算され、故障フラグとして得
られる。この故障情報fSa0=0,fSa1=0,fSa1
=1,fSa0=1が故障情報メモリ23に格納される。
なお、そのデータ量は被試験LSI16の回路構成によ
り決まる。従って、従来例に比べて故障情報メモリ23
に格納される故障情報量が大幅に減少する。
a1=0,fSa1=1,fSa0=1はテストデータDTを
被試験LSI16に供給することにより、各論理ゲート
LGiでの故障伝幡に関し計算され、故障フラグとして得
られる。この故障情報fSa0=0,fSa1=0,fSa1
=1,fSa0=1が故障情報メモリ23に格納される。
なお、そのデータ量は被試験LSI16の回路構成によ
り決まる。従って、従来例に比べて故障情報メモリ23
に格納される故障情報量が大幅に減少する。
【0076】このようにして、本発明の各実施例の回路
故障擬似試験装置によれば、図4に示すように故障シミ
ュレーション制御メモリ21,テストデータファイルメ
モリ22,故障情報メモリ23,データ検索エディタ2
4,CPU25,等が具備されている。
故障擬似試験装置によれば、図4に示すように故障シミ
ュレーション制御メモリ21,テストデータファイルメ
モリ22,故障情報メモリ23,データ検索エディタ2
4,CPU25,等が具備されている。
【0077】例えば、複数の論理ゲートLG1, LG2,L
Gi…LGnが組み込まれた被試験LSI16に故障点FLT
を設定して、故障シミュレーションをする場合、予め定
義された被試験LSI16の故障モード情報Sa0 ,Sa1が
故障シミュレーション制御メモリ21により記憶され、
被試験LSI16の故障シミュレーションをするテスト
データDTがテストデータファイルメモリ22により記
憶される。
Gi…LGnが組み込まれた被試験LSI16に故障点FLT
を設定して、故障シミュレーションをする場合、予め定
義された被試験LSI16の故障モード情報Sa0 ,Sa1が
故障シミュレーション制御メモリ21により記憶され、
被試験LSI16の故障シミュレーションをするテスト
データDTがテストデータファイルメモリ22により記
憶される。
【0078】また、テストデータDTに基づいて各論理
ゲートLG1, LG2,LGi…LGnから出力される故障情報
fSa0,fSa1 がCPU25を介して故障情報メモリ23
により記憶され、定義処理に基づく故障情報fSa0,fSa
1 がデータ検索エディタ24により検出される。
ゲートLG1, LG2,LGi…LGnから出力される故障情報
fSa0,fSa1 がCPU25を介して故障情報メモリ23
により記憶され、定義処理に基づく故障情報fSa0,fSa
1 がデータ検索エディタ24により検出される。
【0079】このため、テストデータDTに対する故障
点を有する論理回路と故障点を有しない論理回路でそれ
ぞれ論理ゲートLG1, LG2,LGi…LGnの出力値を計算
して両者が一致するまで、又は、外部出力点に達するま
で、従来例のように比較/判定エディタ4やCPU5に
より比較,演算処理をすることが無くなる。
点を有する論理回路と故障点を有しない論理回路でそれ
ぞれ論理ゲートLG1, LG2,LGi…LGnの出力値を計算
して両者が一致するまで、又は、外部出力点に達するま
で、従来例のように比較/判定エディタ4やCPU5に
より比較,演算処理をすることが無くなる。
【0080】このことで、CPU25の負担は各論理ゲ
ートLG1,LG2,LGi…LGnの入力点から得られる故障
情報fSa0,fSa1 を計算して、それを故障情報メモリ2
3に記憶する処理に軽減される。
ートLG1,LG2,LGi…LGnの入力点から得られる故障
情報fSa0,fSa1 を計算して、それを故障情報メモリ2
3に記憶する処理に軽減される。
【0081】また、故障点FLTの影響が被試験LSI1
6の信号出力部(故障検出判定点)まで伝幡するか否か
(故障伝幡性)については、一つずつの故障について各
論理ゲートLG1,LG2,LGi…LGnの出力点毎について
判定がされないため従来例のような各論理ゲートLG1,
LG2,LGi…LGnの出力値の演算結果データの記憶処理
が不要となる。
6の信号出力部(故障検出判定点)まで伝幡するか否か
(故障伝幡性)については、一つずつの故障について各
論理ゲートLG1,LG2,LGi…LGnの出力点毎について
判定がされないため従来例のような各論理ゲートLG1,
LG2,LGi…LGnの出力値の演算結果データの記憶処理
が不要となる。
【0082】なお、被試験LSI16の論理ゲートLG
1, LG2,LGi…LGnの故障情報fSa0,fSa1 毎に係る
伝幡予定時刻ts1,ts0を故障情報メモリ23に記憶す
ることにより、該論理ゲートLG1, LG2,LGi…LGnの
ゲート遅延時間tdを含めた高精度の故障シミュレーシ
ョンを行うことが可能となる(図11参照)。。
1, LG2,LGi…LGnの故障情報fSa0,fSa1 毎に係る
伝幡予定時刻ts1,ts0を故障情報メモリ23に記憶す
ることにより、該論理ゲートLG1, LG2,LGi…LGnの
ゲート遅延時間tdを含めた高精度の故障シミュレーシ
ョンを行うことが可能となる(図11参照)。。
【0083】また、当該テストデータDTの一周期前の
最終の故障検出判定時刻T1に係る最新の故障情報fSa
0,fSa1 と、該最終の故障検出判定時刻T1から当該テ
ストデータDTの現在周期に係る任意の故障検出判定時
刻TXに至るまでの全ての故障情報fSa0,fSa1 とに基
づく故障情報MSa0,MSa1 を故障情報メモリ23に記憶
することにより、状態記憶を有するフリップ・フロップ
回路FFを含む被試験LSI16について、高精度の故
障シミュレーションを行うことが可能となる。
最終の故障検出判定時刻T1に係る最新の故障情報fSa
0,fSa1 と、該最終の故障検出判定時刻T1から当該テ
ストデータDTの現在周期に係る任意の故障検出判定時
刻TXに至るまでの全ての故障情報fSa0,fSa1 とに基
づく故障情報MSa0,MSa1 を故障情報メモリ23に記憶
することにより、状態記憶を有するフリップ・フロップ
回路FFを含む被試験LSI16について、高精度の故
障シミュレーションを行うことが可能となる。
【0084】これにより、従来例に比べてCPU25の
使用(占有)時間の短縮を図ること,及び故障情報メモ
リ23のメモリ容量の削減を図ることが可能となる。次
に、本発明の実施例に係る回路故障擬似試験方法につい
て当該装置の動作を補足しながら説明をする。
使用(占有)時間の短縮を図ること,及び故障情報メモ
リ23のメモリ容量の削減を図ることが可能となる。次
に、本発明の実施例に係る回路故障擬似試験方法につい
て当該装置の動作を補足しながら説明をする。
【0085】図7は、本発明の第1の実施例に係る回路
故障擬似試験の処理フローチャートであり、図8は、そ
の補足説明図を示している。
故障擬似試験の処理フローチャートであり、図8は、そ
の補足説明図を示している。
【0086】例えば、図8に示すような3段の論理ゲー
トLG1=AND回路, LG2=OR回路,LG3=AND回
路が組み込まれた被試験LSI16の故障シミュレーシ
ョンをする場合、図7において、予め、ステップP1で
被試験LSI16の故障モードM0,M1を定義して故
障伝幡を示す故障情報fSa0,fSa1 の定義処理をする。
なお、本発明の実施例では被試験LSI16の入力ネッ
トAに故障点FLT〔fSa1 =1〕が設定されたものとす
る。
トLG1=AND回路, LG2=OR回路,LG3=AND回
路が組み込まれた被試験LSI16の故障シミュレーシ
ョンをする場合、図7において、予め、ステップP1で
被試験LSI16の故障モードM0,M1を定義して故
障伝幡を示す故障情報fSa0,fSa1 の定義処理をする。
なお、本発明の実施例では被試験LSI16の入力ネッ
トAに故障点FLT〔fSa1 =1〕が設定されたものとす
る。
【0087】この際の故障モードM0,M1の定義処理
は、論理ゲートLG1, LG2,LGi…LGnの出力信号又は
入力信号が論理「0」に固定する第1の縮退故障であっ
て、第1の縮退故障が被試験LSI16に一つだけ存在
する第1の単一縮退故障M0と、論理ゲートLG1, LG
2,LGi…LGnの出力信号又は入力信号が論理「1」に
固定する第2の縮退故障であって、第2の縮退故障が被
試験LSI16に一つだけ存在する第2の単一縮退故障
M1と定義をする。
は、論理ゲートLG1, LG2,LGi…LGnの出力信号又は
入力信号が論理「0」に固定する第1の縮退故障であっ
て、第1の縮退故障が被試験LSI16に一つだけ存在
する第1の単一縮退故障M0と、論理ゲートLG1, LG
2,LGi…LGnの出力信号又は入力信号が論理「1」に
固定する第2の縮退故障であって、第2の縮退故障が被
試験LSI16に一つだけ存在する第2の単一縮退故障
M1と定義をする。
【0088】また、故障伝幡を示す故障情報fSa0,fSa
1 の定義処理は、第1の単一縮退故障M0については、
次段の論理ゲートLGjへの伝幡の有無を示す第1の故障
情報fSa0 =1又は0と定義をする。さらに、第2の単
一縮退故障M1については、次段の論理ゲートLGjへの
伝幡の有無を示す第2の故障情報fSa1 =1又0と定義
をする(図5,6参照)。
1 の定義処理は、第1の単一縮退故障M0については、
次段の論理ゲートLGjへの伝幡の有無を示す第1の故障
情報fSa0 =1又は0と定義をする。さらに、第2の単
一縮退故障M1については、次段の論理ゲートLGjへの
伝幡の有無を示す第2の故障情報fSa1 =1又0と定義
をする(図5,6参照)。
【0089】次に、ステップP2で被試験LSI16の
信号入力部INにテストデータDTの供給処理をする。
この際に、被試験LSI16の故障シミュレーションを
するテストデータDT,例えば、「0,1,1,1」が
テストデータファイルメモリ22によりCPU25を介
して読み出される。
信号入力部INにテストデータDTの供給処理をする。
この際に、被試験LSI16の故障シミュレーションを
するテストデータDT,例えば、「0,1,1,1」が
テストデータファイルメモリ22によりCPU25を介
して読み出される。
【0090】次いで、ステップP3でテストデータDT
に基づいて各論理ゲートLG1=AND回路, LG2=OR
回路,LG3=AND回路でに故障伝幡に関する故障情報
fSa0,fSa1 を計算記憶処理する。この際に、テストデ
ータDTに基づいて各論理ゲートLG1, LG2,LG3で計
算された故障情報fSa0,fSa1 がCPU25を介して故
障情報メモリ23により記憶される。
に基づいて各論理ゲートLG1=AND回路, LG2=OR
回路,LG3=AND回路でに故障伝幡に関する故障情報
fSa0,fSa1 を計算記憶処理する。この際に、テストデ
ータDTに基づいて各論理ゲートLG1, LG2,LG3で計
算された故障情報fSa0,fSa1 がCPU25を介して故
障情報メモリ23により記憶される。
【0091】本発明の実施例では、各ネットC,D,
E,F,Gが故障情報fSa0 =1になった場合を示して
いる。その後、ステップP4で被試験LSI16の信号
出力部OUTから信号入力部INに向かって各ネットにつ
いて定義されている故障情報fSa0,fSa1 の検出処理を
する。この際に、定義処理に基づく故障情報fSa0,fSa
1 がデータ検索エディタ24により検出される。
E,F,Gが故障情報fSa0 =1になった場合を示して
いる。その後、ステップP4で被試験LSI16の信号
出力部OUTから信号入力部INに向かって各ネットにつ
いて定義されている故障情報fSa0,fSa1 の検出処理を
する。この際に、定義処理に基づく故障情報fSa0,fSa
1 がデータ検索エディタ24により検出される。
【0092】例えば、予め設定された故障検出判定時刻
において回路内部に信号変化が存在するか否かがチェッ
クされ、故障検出判定点Gとなる信号出力部OUTから各
ネット毎に故障情報fSa0,fSa1 の追跡が開始される。
において回路内部に信号変化が存在するか否かがチェッ
クされ、故障検出判定点Gとなる信号出力部OUTから各
ネット毎に故障情報fSa0,fSa1 の追跡が開始される。
【0093】そして、ステップP5で故障情報fSa0,f
Sa1 のいずれかが「1」及びfSa0,fSa1 のいずれも
「1」であるか又はfSa0,fSa1 のいずれもが「0」及
び信号入力部INに到達するか否かの判断処理をする。
この際に、故障情報fSa0,fSa1 のいずれかが「1」及
びfSa0,fSa1 のいずれも「1」である場合(YES)に
は、ステップP6に移行する。
Sa1 のいずれかが「1」及びfSa0,fSa1 のいずれも
「1」であるか又はfSa0,fSa1 のいずれもが「0」及
び信号入力部INに到達するか否かの判断処理をする。
この際に、故障情報fSa0,fSa1 のいずれかが「1」及
びfSa0,fSa1 のいずれも「1」である場合(YES)に
は、ステップP6に移行する。
【0094】また、故障情報fSa0,fSa1 のいずれもが
「0」及び信号入力部INに到達する場合(NO)に
は、ステップP7に移行して、故障情報fSa0,fSa1 の
検出処理を中断して「テストデータDTでは故障検出で
きない」と判定する。本発明の実施例では、ネットAが
fSa1 =1であるが故障検出判定点GからネットAに至
るネットEの故障情報fSa0,fSa1 のいずれもが「0」
となっているため、該故障情報fSa0,fSa1 はネットE
で中断される。
「0」及び信号入力部INに到達する場合(NO)に
は、ステップP7に移行して、故障情報fSa0,fSa1 の
検出処理を中断して「テストデータDTでは故障検出で
きない」と判定する。本発明の実施例では、ネットAが
fSa1 =1であるが故障検出判定点GからネットAに至
るネットEの故障情報fSa0,fSa1 のいずれもが「0」
となっているため、該故障情報fSa0,fSa1 はネットE
で中断される。
【0095】従って、「テストデータDT=「0,1,
1,1」では、ネットAの「1」縮退故障が故障検出判
定点Gにおいて観測できない」と判定することができ
る。なお、ステップP6では、「テストデータDTによ
って、故障点FLTの影響が観測できる」と判定する。す
なわち、テストデータDT=「0,1,1,1」により
故障検出判定点Gから入力ネットC,D,E,F,Gの
「0」縮退故障が観測することが可能となる。
1,1」では、ネットAの「1」縮退故障が故障検出判
定点Gにおいて観測できない」と判定することができ
る。なお、ステップP6では、「テストデータDTによ
って、故障点FLTの影響が観測できる」と判定する。す
なわち、テストデータDT=「0,1,1,1」により
故障検出判定点Gから入力ネットC,D,E,F,Gの
「0」縮退故障が観測することが可能となる。
【0096】以上ステップP1〜P7の処理を故障検出
の対象とする全故障,全テストデータDTについて行
う。これにより、論理ゲートLG1=AND回路, LG2=
OR回路,LG3=AND回路が組み込まれた被試験LS
I16の故障シミュレーションを行い、故障検出の対象
とする全故障点に係る故障検出率や未検出故障等の情報
が得られる。なお、この故障シミュレーション結果は、
実際に被試験LSI16が製造された際に、内部に故障
点が存在していた場合に、当該テストデータDTを供給
することで故障点の存在を確認することが可能となる。
の対象とする全故障,全テストデータDTについて行
う。これにより、論理ゲートLG1=AND回路, LG2=
OR回路,LG3=AND回路が組み込まれた被試験LS
I16の故障シミュレーションを行い、故障検出の対象
とする全故障点に係る故障検出率や未検出故障等の情報
が得られる。なお、この故障シミュレーション結果は、
実際に被試験LSI16が製造された際に、内部に故障
点が存在していた場合に、当該テストデータDTを供給
することで故障点の存在を確認することが可能となる。
【0097】このようにして、本発明の第1の実施例に
係る回路故障擬似試験方法によれば、図7のフローチャ
ートに示すように、ステップP1で第1,第2の単一縮
退故障M0,M1等の故障伝幡を示す故障情報fSa0,f
Sa1の定義処理をし、ステップP2でテストデータDT
の供給処理をし、ステップP3で各論理ゲートLG1,LG
2,LG3での故障伝幡に関する故障情報fSa0,fSa1 の
計算,記憶処理をしている。
係る回路故障擬似試験方法によれば、図7のフローチャ
ートに示すように、ステップP1で第1,第2の単一縮
退故障M0,M1等の故障伝幡を示す故障情報fSa0,f
Sa1の定義処理をし、ステップP2でテストデータDT
の供給処理をし、ステップP3で各論理ゲートLG1,LG
2,LG3での故障伝幡に関する故障情報fSa0,fSa1 の
計算,記憶処理をしている。
【0098】このため、複数の論理ゲートLG1, LG2,
LG3組み込まれた被試験LSI16に故障点FLTを設定
して、故障シミュレーションをする場合、ステップP4
で信号出力部OUT=故障検出判定点Gから信号入力部I
Nに向かって第1の単一縮退故障M0の伝幡可能性を示
す第1の故障情報fSa0 =1又は0や第2の単一縮退故
障M1の伝幡可能性を示す第2の故障情報fSa1 =1又
0の検出処理をすることにより、当該被試験LSI16
の故障検出評価を容易に行うことが可能となる。
LG3組み込まれた被試験LSI16に故障点FLTを設定
して、故障シミュレーションをする場合、ステップP4
で信号出力部OUT=故障検出判定点Gから信号入力部I
Nに向かって第1の単一縮退故障M0の伝幡可能性を示
す第1の故障情報fSa0 =1又は0や第2の単一縮退故
障M1の伝幡可能性を示す第2の故障情報fSa1 =1又
0の検出処理をすることにより、当該被試験LSI16
の故障検出評価を容易に行うことが可能となる。
【0099】これにより、被試験LSI16の超高集積
化,超高密度化が進んでも、故障検出評価の簡易化が図
られ、その論理ゲートの設計期間の短期化を図ることが
可能なる。
化,超高密度化が進んでも、故障検出評価の簡易化が図
られ、その論理ゲートの設計期間の短期化を図ることが
可能なる。
【0100】図9は、本発明の各実施例に係るLSI論
理設計方法のフローチャートを示している。図9におい
て、例えば、超高集積論理ゲートアレイ等を開発する場
合、まず、ステップP1で論理設計をし、次いで、ステ
ップP2で本発明による回路故障擬似試験処理をする。
理設計方法のフローチャートを示している。図9におい
て、例えば、超高集積論理ゲートアレイ等を開発する場
合、まず、ステップP1で論理設計をし、次いで、ステ
ップP2で本発明による回路故障擬似試験処理をする。
【0101】その後、ステップP3で故障検出率の高低
の判断処理をする。この際に、故障検出率が高い場合
(YES)には、ステップP5に移行して、故障シミュレ
ーションを行う。また、故障検出率が低い場合(NO)
には、ステップP4に移行してテストパターンの追加や
見直しを行い、再度ステップP2を実行する。
の判断処理をする。この際に、故障検出率が高い場合
(YES)には、ステップP5に移行して、故障シミュレ
ーションを行う。また、故障検出率が低い場合(NO)
には、ステップP4に移行してテストパターンの追加や
見直しを行い、再度ステップP2を実行する。
【0102】これにより、論理シミュレーションに比べ
て所要時間を要するものの、小型計算機でも故障検出率
の判定評価を行うことが可能となり、従来例に比べて設
計途中の超高集積論理ゲートアレイをテストデータDT
に基づいて、故障検出率等が容易に求められ、その故障
検出評価を容易に行うことが可能となる。このことで、
テストを考慮した論理設計をすることが可能となる。
て所要時間を要するものの、小型計算機でも故障検出率
の判定評価を行うことが可能となり、従来例に比べて設
計途中の超高集積論理ゲートアレイをテストデータDT
に基づいて、故障検出率等が容易に求められ、その故障
検出評価を容易に行うことが可能となる。このことで、
テストを考慮した論理設計をすることが可能となる。
【0103】(2)第2の実施例の説明
図10〜16は、本発明の第2の実施例に係る回路故障擬似
試験方法の説明図であり、図10はその回路故障擬似試験
の処理フローチャートであり、図11〜16はその補足説明
図を示している。
試験方法の説明図であり、図10はその回路故障擬似試験
の処理フローチャートであり、図11〜16はその補足説明
図を示している。
【0104】図10において、第1の実施例と異なるのは
第2の実施例では故障情報fSa0,fSa1 の計算記憶処理
の際に、該故障情報fSa0,fSa1 に係る伝幡予定時刻t
s1,ts0の記憶処理と、該伝幡予定時刻ts1,ts0が現
在時刻tcを経過している故障情報fSa0,fSa1 を有効
とする計算処理が含まれるものである。
第2の実施例では故障情報fSa0,fSa1 の計算記憶処理
の際に、該故障情報fSa0,fSa1 に係る伝幡予定時刻t
s1,ts0の記憶処理と、該伝幡予定時刻ts1,ts0が現
在時刻tcを経過している故障情報fSa0,fSa1 を有効
とする計算処理が含まれるものである。
【0105】これは、論理ゲートの入力ネットに信号変
化(以下イベントという)が発生してもゲート遅延時間
tdにより正常回路の出力ネットDにイベントが発生し
ない場合があるためであり、第1の実施例に係る回路故
障擬似試験方法を補うものとなる。なお、伝幡予定時刻
ts1は「1」縮退故障が伝幡する予定時刻であり、伝幡
予定時刻ts0は、「0」縮退故障が伝幡する予定時刻を
いうものとする。
化(以下イベントという)が発生してもゲート遅延時間
tdにより正常回路の出力ネットDにイベントが発生し
ない場合があるためであり、第1の実施例に係る回路故
障擬似試験方法を補うものとなる。なお、伝幡予定時刻
ts1は「1」縮退故障が伝幡する予定時刻であり、伝幡
予定時刻ts0は、「0」縮退故障が伝幡する予定時刻を
いうものとする。
【0106】例えば、図11に示すように被試験LSI1
6が3入力論理積回路(以下単に3入力AND回路とい
う)26の場合であって、入力ネットAに故障点FLTを
設定し、1縮退故障が伝幡する伝幡予定時刻ts1につい
て説明をすれば、図7の処理フローチャートのステップ
P3のサブルーチンとなる図10の処理フローチャートに
おいて、まず、ステップP1で正常/故障回路の場合分
け(モード)処理をする。
6が3入力論理積回路(以下単に3入力AND回路とい
う)26の場合であって、入力ネットAに故障点FLTを
設定し、1縮退故障が伝幡する伝幡予定時刻ts1につい
て説明をすれば、図7の処理フローチャートのステップ
P3のサブルーチンとなる図10の処理フローチャートに
おいて、まず、ステップP1で正常/故障回路の場合分
け(モード)処理をする。
【0107】この際に、正常回路の場合(YES)には、
ステップP2に移行する。また、故障回路の場合(N
O)には、ステップP5に移行する。従って、正常回路
の場合(YES)には、ステップP2で現在時刻tc=0
に係る信号変化の伝幡予定処理(以下イベントスケジュ
ーリング処理という)をする。この際に、図11に示した
被試験LSIの状態遷移図(a)において、最初の状態
である時刻tc=0に係る入力ネットの信号値(A,
B,C)=(0,0,1)に対する出力ネットDの信号
値=「0」を計算記憶する(図12参照)。
ステップP2に移行する。また、故障回路の場合(N
O)には、ステップP5に移行する。従って、正常回路
の場合(YES)には、ステップP2で現在時刻tc=0
に係る信号変化の伝幡予定処理(以下イベントスケジュ
ーリング処理という)をする。この際に、図11に示した
被試験LSIの状態遷移図(a)において、最初の状態
である時刻tc=0に係る入力ネットの信号値(A,
B,C)=(0,0,1)に対する出力ネットDの信号
値=「0」を計算記憶する(図12参照)。
【0108】次に、ステップP3で現在時刻tc=5に
係るイベントスケジューリング処理をする。この際に、
図11(b)の時刻tc=5では入力ネットBの信号値が
「0」から「1」に変化をして入力ネットの信号値は
(A,B,C)=(0,1,1)となる。なお、「1」
縮退故障が伝幡する場合には、伝幡予定時刻ts1の記憶
をし、「0」縮退故障が伝幡する場合には、伝幡予定時
刻ts0を記憶する。この時の出力ネットDの信号値は
「0」ままで変化をしない(図12参照)。
係るイベントスケジューリング処理をする。この際に、
図11(b)の時刻tc=5では入力ネットBの信号値が
「0」から「1」に変化をして入力ネットの信号値は
(A,B,C)=(0,1,1)となる。なお、「1」
縮退故障が伝幡する場合には、伝幡予定時刻ts1の記憶
をし、「0」縮退故障が伝幡する場合には、伝幡予定時
刻ts0を記憶する。この時の出力ネットDの信号値は
「0」ままで変化をしない(図12参照)。
【0109】次いで、ステップP4で現在時刻tc=13
に係るイベントスケジューリング処理をする。この際
に、図11(c)の入力ネットの変化から8時刻遅れて時
刻tc=13では入力ネットCの信号値が「1」から
「0」に変化をして入力ネットの信号値は(A,B,
C)=(0,1,0)となる。この時も、出力ネットD
の信号値は「0」ままである(図12参照)。
に係るイベントスケジューリング処理をする。この際
に、図11(c)の入力ネットの変化から8時刻遅れて時
刻tc=13では入力ネットCの信号値が「1」から
「0」に変化をして入力ネットの信号値は(A,B,
C)=(0,1,0)となる。この時も、出力ネットD
の信号値は「0」ままである(図12参照)。
【0110】一方、ステップP1で故障回路の場合(N
O)には、ステップP5に移行する。ここで、3入力A
ND回路のゲート遅延時間をtd=10とし、入力ネッ
トAに1縮退故障=sa1を設定した場合と仮定し、現
在時刻tcが伝幡予定時刻(以下イベントスケジュール
時刻という)ts1,ts0を過ぎている場合とそれが過ぎ
ていない場合について説明をする。
O)には、ステップP5に移行する。ここで、3入力A
ND回路のゲート遅延時間をtd=10とし、入力ネッ
トAに1縮退故障=sa1を設定した場合と仮定し、現
在時刻tcが伝幡予定時刻(以下イベントスケジュール
時刻という)ts1,ts0を過ぎている場合とそれが過ぎ
ていない場合について説明をする。
【0111】従って、ステップP5で故障が設定された
現在時刻tc=0に係るイベントスケジューリング処理
をする。この際に、図11(a)の被試験LSIの状態遷
移図において、最初の状態である時刻tc=0に係る入
力ネットの信号値(A,B,C)=(1,0,1)に対
する出力ネットDの信号値=「0」を正常回路と同様に
計算記憶する(図13参照)。
現在時刻tc=0に係るイベントスケジューリング処理
をする。この際に、図11(a)の被試験LSIの状態遷
移図において、最初の状態である時刻tc=0に係る入
力ネットの信号値(A,B,C)=(1,0,1)に対
する出力ネットDの信号値=「0」を正常回路と同様に
計算記憶する(図13参照)。
【0112】次に、ステップP6で現在時刻tc=5に
係るイベントスケジューリング処理をする。この際に、
図11(b)の時刻tc=5では入力ネットBの信号値が
「0」から「1」に変化をして入力ネットの信号値は
(A,B,C)=(1,1,1)となる。この時の出力
ネットDの信号値が「1」に変化をする。これにより、
ゲート遅延時間をtd=10と現在時刻tc=5が加算
されたイベントスケジュール時刻ts1=15が記憶処理
される(図13参照)。
係るイベントスケジューリング処理をする。この際に、
図11(b)の時刻tc=5では入力ネットBの信号値が
「0」から「1」に変化をして入力ネットの信号値は
(A,B,C)=(1,1,1)となる。この時の出力
ネットDの信号値が「1」に変化をする。これにより、
ゲート遅延時間をtd=10と現在時刻tc=5が加算
されたイベントスケジュール時刻ts1=15が記憶処理
される(図13参照)。
【0113】次いで、ステップP7で現在時刻tc=13
に係るイベントスケジューリング処理をする。この際
に、図11(c)の入力ネットの変化から8時刻遅れて時
刻tc=13では入力ネットCの信号値が「1」から
「0」に変化をして入力ネットの信号値は(A,B,
C)=(0,1,0)となる。この時も、出力ネットD
の信号値は「0」ままである(図13参照)。
に係るイベントスケジューリング処理をする。この際
に、図11(c)の入力ネットの変化から8時刻遅れて時
刻tc=13では入力ネットCの信号値が「1」から
「0」に変化をして入力ネットの信号値は(A,B,
C)=(0,1,0)となる。この時も、出力ネットD
の信号値は「0」ままである(図13参照)。
【0114】さらに、ステップP8では現在時刻tcと
イベントスケジュール時刻ts1の比較処理をする。この
際に、現在時刻tcがイベントスケジュール時刻ts1を
過ぎている場合(YES)には、ステップP9に移行し、
また、それが過ぎていない場合(NO)にはステップP
10に移行する。
イベントスケジュール時刻ts1の比較処理をする。この
際に、現在時刻tcがイベントスケジュール時刻ts1を
過ぎている場合(YES)には、ステップP9に移行し、
また、それが過ぎていない場合(NO)にはステップP
10に移行する。
【0115】例えば、図13の故障情報メモリの内容遷移
図に示すように現在時刻tcがイベントスケジュール時
刻ts1を過ぎていない場合(NO)にはステップP10で
イベントスケジュール処理を無効とする。
図に示すように現在時刻tcがイベントスケジュール時
刻ts1を過ぎていない場合(NO)にはステップP10で
イベントスケジュール処理を無効とする。
【0116】これは、先に設定された論理ゲートの立ち
上がり遅延時間tdを10とした場合に、出力ネットD
の信号値が「0」から「1」の変化するのは、入力ネッ
トBが変化をしてから10時刻遅れたイベントスケジュ
ール時刻ts1=15に出力ネットDの信号値=「1」が
イベントスケジュール処理されたことに基づくものであ
る。
上がり遅延時間tdを10とした場合に、出力ネットD
の信号値が「0」から「1」の変化するのは、入力ネッ
トBが変化をしてから10時刻遅れたイベントスケジュ
ール時刻ts1=15に出力ネットDの信号値=「1」が
イベントスケジュール処理されたことに基づくものであ
る。
【0117】これにより、現在時刻tc=13に係る出
力ネットDの信号値は変化していないのでイベントスケ
ジュール時刻ts1=15に係るイベントスケジュール処
理が無効となるものである。なお、図15は正常時の故障
情報メモリの内容遷移図である。
力ネットDの信号値は変化していないのでイベントスケ
ジュール時刻ts1=15に係るイベントスケジュール処
理が無効となるものである。なお、図15は正常時の故障
情報メモリの内容遷移図である。
【0118】また、図16の故障情報メモリの内容遷移図
に示すように現在時刻tcがイベントスケジュール時刻
ts1を過ぎている場合(YES)にはステップP9でイベ
ントスケジュール処理を有効とする。ここで、イベント
スケジュール時刻ts1に係る故障情報fSa0,fSa1 と現
在時刻tcに係る故障情報fSa0,fSa1 とが比較処理さ
れる。また、イベントスケジュール時刻ts1が現在時刻
tcを経過している故障情報fSa0,fSa1 を有効とする
計算処理が行われる。
に示すように現在時刻tcがイベントスケジュール時刻
ts1を過ぎている場合(YES)にはステップP9でイベ
ントスケジュール処理を有効とする。ここで、イベント
スケジュール時刻ts1に係る故障情報fSa0,fSa1 と現
在時刻tcに係る故障情報fSa0,fSa1 とが比較処理さ
れる。また、イベントスケジュール時刻ts1が現在時刻
tcを経過している故障情報fSa0,fSa1 を有効とする
計算処理が行われる。
【0119】これは、図14の被試験LSIの状態遷移図
(b)において、入力ネットBにイベントが起こった
後、12時刻遅れて現在時刻tc=17に図14(c)の
ように入力ネットCに信号値が「1」から「0」に変化
をするイベントが発生したものと仮定すれば、この時の
現在時刻tc=17では既に、図14(b)の入力ネット
Bのイベント発生時に設定された出力ネットD=1のイ
ベントスケジュール時刻,すなわち、伝幡予定時刻ts1
=15を過ぎているので、前に設定されている故障情報
fSa0,fSa1 を「故障が伝幡する」とするfSa0,f
Sa1 =1を有効とするものである。これを、伝幡予定時
刻ts1やts0に基づく故障情報DSa0,DSa1 と定義す
る(図16参照)。
(b)において、入力ネットBにイベントが起こった
後、12時刻遅れて現在時刻tc=17に図14(c)の
ように入力ネットCに信号値が「1」から「0」に変化
をするイベントが発生したものと仮定すれば、この時の
現在時刻tc=17では既に、図14(b)の入力ネット
Bのイベント発生時に設定された出力ネットD=1のイ
ベントスケジュール時刻,すなわち、伝幡予定時刻ts1
=15を過ぎているので、前に設定されている故障情報
fSa0,fSa1 を「故障が伝幡する」とするfSa0,f
Sa1 =1を有効とするものである。これを、伝幡予定時
刻ts1やts0に基づく故障情報DSa0,DSa1 と定義す
る(図16参照)。
【0120】このようにして、本発明の第2の実施例に
係る回路故障擬似試験方法によれば、図10の処理フロー
チャートのステップP3,P6の計算記憶処理の際に、
故障情報fSa0,fSa1 に係るイベントスケジュール時刻
ts1,ts0の記憶処理をし、ステップP9で現在時刻t
cを経過している故障情報fSa0,fSa1 を有効とする計
算処理を実行している。
係る回路故障擬似試験方法によれば、図10の処理フロー
チャートのステップP3,P6の計算記憶処理の際に、
故障情報fSa0,fSa1 に係るイベントスケジュール時刻
ts1,ts0の記憶処理をし、ステップP9で現在時刻t
cを経過している故障情報fSa0,fSa1 を有効とする計
算処理を実行している。
【0121】このため、3入力AND回路26に故障点
FLTが設定された場合に、例えば、入力ネットに信号変
化(イベント)が発生しても、正常回路の出力ネットD
にイベントが発生しない場合,すなわち、該3入力AN
D回路26のゲート遅延時間td後の時刻に信号変化が
伝幡予想される場合について、入力ネットの信号発生時
刻では無く、現在時刻tcがその伝幡予定時刻ts1,t
s0まで経過した故障を検出することが可能となる。
FLTが設定された場合に、例えば、入力ネットに信号変
化(イベント)が発生しても、正常回路の出力ネットD
にイベントが発生しない場合,すなわち、該3入力AN
D回路26のゲート遅延時間td後の時刻に信号変化が
伝幡予想される場合について、入力ネットの信号発生時
刻では無く、現在時刻tcがその伝幡予定時刻ts1,t
s0まで経過した故障を検出することが可能となる。
【0122】換言すれば、故障点FLTの影響がゲート遅
延時間td後に出力ネットDに伝幡された場合につい
て、その時点の故障情報fSa0,fSa1 を故障が伝幡した
とする「DSa0,DSa1 =1」とすることが可能となる。
延時間td後に出力ネットDに伝幡された場合につい
て、その時点の故障情報fSa0,fSa1 を故障が伝幡した
とする「DSa0,DSa1 =1」とすることが可能となる。
【0123】これにより、第1の実施例に比べて第2の
実施例ではイベントスケジュール時刻を意識して故障情
報fSa0 ,fSa1 が設定されるため、図1に示すような
論理ゲートLG1, LG2,LGi…LGnのゲート遅延時間t
dを含めた実際の故障回路に則した故障シミュレーショ
ンを高精度に実行することが可能となる。このことで、
第1の実施例と同様に故障検出評価の実用性を向上を図
ることが可能となる。
実施例ではイベントスケジュール時刻を意識して故障情
報fSa0 ,fSa1 が設定されるため、図1に示すような
論理ゲートLG1, LG2,LGi…LGnのゲート遅延時間t
dを含めた実際の故障回路に則した故障シミュレーショ
ンを高精度に実行することが可能となる。このことで、
第1の実施例と同様に故障検出評価の実用性を向上を図
ることが可能となる。
【0124】(3)第3の実施例の説明
図17〜22は、本発明の第3の実施例に係る回路故障擬似
試験方法の説明図であり、図17はその回路故障擬似試験
の処理フローチャートであり、図18〜22はその補足説明
図を示している。
試験方法の説明図であり、図17はその回路故障擬似試験
の処理フローチャートであり、図18〜22はその補足説明
図を示している。
【0125】図17において、第1,第2の実施例と異な
るのは第3の実施例では故障情報fSa0,fSa1 の計算記
憶処理の際に、当該テストデータDTの一周期前の最終
の故障検出判定時刻T1に係る最新の故障情報fSa0,f
Sa1 と当該テストデータDTの現在周期の任意の故障検
出判定時刻TXに至るまでの故障情報fSa0,fSa1 の記
憶処理と、両時刻T1,TXに係る故障情報fSa0,fSa
1 の論理和演算処理とが含まれるものである。
るのは第3の実施例では故障情報fSa0,fSa1 の計算記
憶処理の際に、当該テストデータDTの一周期前の最終
の故障検出判定時刻T1に係る最新の故障情報fSa0,f
Sa1 と当該テストデータDTの現在周期の任意の故障検
出判定時刻TXに至るまでの故障情報fSa0,fSa1 の記
憶処理と、両時刻T1,TXに係る故障情報fSa0,fSa
1 の論理和演算処理とが含まれるものである。
【0126】なお、説明を簡略化するために、当該フロ
ーチャートは図7のフローチャートのステップP3,P
4に係るサブルーン処理を示すものとし、フリップ・フ
ロップ(以下FF回路という)回路付被試験LSI36
の故障検出判定時刻は、テストデータDTの一つの周期
内に一箇所のみ設定されたものとし、その状態変化は図
21のFF回路付被試験LSIの状態遷移図(a)から
(b)以外に生じなかったものと仮定をする。
ーチャートは図7のフローチャートのステップP3,P
4に係るサブルーン処理を示すものとし、フリップ・フ
ロップ(以下FF回路という)回路付被試験LSI36
の故障検出判定時刻は、テストデータDTの一つの周期
内に一箇所のみ設定されたものとし、その状態変化は図
21のFF回路付被試験LSIの状態遷移図(a)から
(b)以外に生じなかったものと仮定をする。
【0127】例えば、図19に示すようなバッファ回路B
1〜B5,インバータIN1,IN2から成る被試験LSI
36に図18に示すようなFF回路36Aが含まれた場合、
図17の処理フローチャートにおいて、まず、ステップP
1で当該被試験LSI36のテストデータDTの一周期
前の最終の故障検出判定時刻T1に係る最新の故障情報
fSa0,fSa1と最終の故障検出判定時刻T1から当該テ
ストデータDTの現在周期に係る任意の故障検出判定時
刻TXに至るまでの故障情報fSa0,fSa1 の記憶処理を
する(図19,20参照)。
1〜B5,インバータIN1,IN2から成る被試験LSI
36に図18に示すようなFF回路36Aが含まれた場合、
図17の処理フローチャートにおいて、まず、ステップP
1で当該被試験LSI36のテストデータDTの一周期
前の最終の故障検出判定時刻T1に係る最新の故障情報
fSa0,fSa1と最終の故障検出判定時刻T1から当該テ
ストデータDTの現在周期に係る任意の故障検出判定時
刻TXに至るまでの故障情報fSa0,fSa1 の記憶処理を
する(図19,20参照)。
【0128】なお、図18はFF回路36Aの信号入力状態
XPR(リセット),D(データ),CK(クロッ
ク),XCL(クリア),内部状態M及びその出力状態
Qについて、その27通りの出力状態を整理したもので
あり、入力論理信号「1」,「0」の他に、不定値
「X」が関与した出力状態を示している。
XPR(リセット),D(データ),CK(クロッ
ク),XCL(クリア),内部状態M及びその出力状態
Qについて、その27通りの出力状態を整理したもので
あり、入力論理信号「1」,「0」の他に、不定値
「X」が関与した出力状態を示している。
【0129】この際に、図20のFF回路付被試験LSI
の状態遷移図(a)や図21のタイムチャートにおいて、
最終の故障検出判定時刻T1に係る入力ネット(A,
B,C,D)の信号値(1,0,1,1)に基づく各ネ
ットの故障情報fSa0,fSa1 が故障情報メモリ23に記
憶される。
の状態遷移図(a)や図21のタイムチャートにおいて、
最終の故障検出判定時刻T1に係る入力ネット(A,
B,C,D)の信号値(1,0,1,1)に基づく各ネ
ットの故障情報fSa0,fSa1 が故障情報メモリ23に記
憶される。
【0130】また、図20のFF回路付被試験LSIの状
態遷移図(b)において、同様に任意の故障検出判定時
刻T2に係る入力ネット(A,B,C,D)の信号値
(1,1,0,1)に基づく各ネットの故障情報fSa0,
fSa1 が故障情報メモリ23に記憶される。
態遷移図(b)において、同様に任意の故障検出判定時
刻T2に係る入力ネット(A,B,C,D)の信号値
(1,1,0,1)に基づく各ネットの故障情報fSa0,
fSa1 が故障情報メモリ23に記憶される。
【0131】次に、ステップP2で最終の故障検出判定
時刻T1から任意の故障検出判定時刻TXに至る間の故
障情報fSa0,fSa1 と最終の故障検出判定時刻T1に係
る最新の故障情報fSa0,fSa1 との論理和演算処理をす
る。
時刻T1から任意の故障検出判定時刻TXに至る間の故
障情報fSa0,fSa1 と最終の故障検出判定時刻T1に係
る最新の故障情報fSa0,fSa1 との論理和演算処理をす
る。
【0132】例えば、故障検出判定時刻T1の最新の故
障情報fsa1 ,fsa0 と、故障検出判定時刻T1からn
+1番目のテストパターン周期に係る故障検出判定時刻
T2の間で一度でも該故障情報fsa1 ,fsa0 が「1」
となったことのある故障情報fsa1 ,fsa0 との論理和
を演算する。
障情報fsa1 ,fsa0 と、故障検出判定時刻T1からn
+1番目のテストパターン周期に係る故障検出判定時刻
T2の間で一度でも該故障情報fsa1 ,fsa0 が「1」
となったことのある故障情報fsa1 ,fsa0 との論理和
を演算する。
【0133】この論理和に係る故障情報fsa1 ,fsa0
が当該テストデータDTの最終の故障検出判定時刻T2
に係る故障情報Msa1 ,Msa0 と定義する。同様に、故
障検出判定時刻T3の故障検出判定処理時における故障
情報メモリ23には、故障検出判定時刻T1の最新のf
sa1 ,fsa0 と故障検出判定時刻T1から故障検出判定
時刻T3の間で一度でも「1」となったことのある故障
情報fsa1 ,fsa0 との論理和に係る故障情報Msa1 ,
Msa0 が記憶される。
が当該テストデータDTの最終の故障検出判定時刻T2
に係る故障情報Msa1 ,Msa0 と定義する。同様に、故
障検出判定時刻T3の故障検出判定処理時における故障
情報メモリ23には、故障検出判定時刻T1の最新のf
sa1 ,fsa0 と故障検出判定時刻T1から故障検出判定
時刻T3の間で一度でも「1」となったことのある故障
情報fsa1 ,fsa0 との論理和に係る故障情報Msa1 ,
Msa0 が記憶される。
【0134】なお、ステップP3で被試験LSI36の
信号出力部OUTからFF回路36Aに至るまでの第1の検
索処理をする。この際に、例えば、図20のFF回路付被
試験LSIの状態遷移図(b)であって、図21の故障判
定時刻T2において、故障検出判定処理が行われたもの
とすれば、第1の検索処理により図22の検出処理を説明
する図(b)において、FF回路36Aより外部出力端子
側Aのネットにおける最新の故障情報fsa1 ,fsa0 が
検索される。
信号出力部OUTからFF回路36Aに至るまでの第1の検
索処理をする。この際に、例えば、図20のFF回路付被
試験LSIの状態遷移図(b)であって、図21の故障判
定時刻T2において、故障検出判定処理が行われたもの
とすれば、第1の検索処理により図22の検出処理を説明
する図(b)において、FF回路36Aより外部出力端子
側Aのネットにおける最新の故障情報fsa1 ,fsa0 が
検索される。
【0135】これにより、ネットJ,Kに存在する1縮
退故障sa1とネットLに存在する0縮退故障sa0が
検出可能とされる。さらに、ステップP4でFF回路36
Aの入力部から被試験LSI36の信号入力部INに至
るまでの第2の検索処理をする。この際に、例えば、図
20のFF回路付被試験LSIの状態遷移図(a)であっ
て、図21の故障判定時刻T1において、故障検出判定処
理が行われたものとすれば、第2の検索処理により図22
の検出処理を説明する図(a)において、FF回路36A
の外部入力端子(信号入力部IN)側Bのネットについ
ては、故障情報メモリ23に保持された最新と最新以外
の故障情報Msa1 ,Msa0 を検出する第2の検索処理を
する。
退故障sa1とネットLに存在する0縮退故障sa0が
検出可能とされる。さらに、ステップP4でFF回路36
Aの入力部から被試験LSI36の信号入力部INに至
るまでの第2の検索処理をする。この際に、例えば、図
20のFF回路付被試験LSIの状態遷移図(a)であっ
て、図21の故障判定時刻T1において、故障検出判定処
理が行われたものとすれば、第2の検索処理により図22
の検出処理を説明する図(a)において、FF回路36A
の外部入力端子(信号入力部IN)側Bのネットについ
ては、故障情報メモリ23に保持された最新と最新以外
の故障情報Msa1 ,Msa0 を検出する第2の検索処理を
する。
【0136】例えば、図21のタイムチャートにおいて、
n番目のテストパターン周期に係る故障検出判定時刻T
1における故障情報メモリ23に保持された最新と最新
以外の故障情報fsa1 ,fsa0 を検索する。
n番目のテストパターン周期に係る故障検出判定時刻T
1における故障情報メモリ23に保持された最新と最新
以外の故障情報fsa1 ,fsa0 を検索する。
【0137】その後に、ステップP5で当該テストデー
タDTの一周期前の最終の故障検出判定時刻T1に係る
最新の故障情報fSa0,fSa1 と、最終の故障検出判定時
刻T1から当該テストデータDTの現在周期に係る任意
の故障検出判定時刻TXに至るまでの故障情報MSa0,M
Sa1 とを一致させる計算処理をする。
タDTの一周期前の最終の故障検出判定時刻T1に係る
最新の故障情報fSa0,fSa1 と、最終の故障検出判定時
刻T1から当該テストデータDTの現在周期に係る任意
の故障検出判定時刻TXに至るまでの故障情報MSa0,M
Sa1 とを一致させる計算処理をする。
【0138】なお、故障検出判定時刻T3の故障検出判
定処理の終了時における故障情報メモリ23の内容は、
n+2番目のテストパターン周期に係る故障検出判定処
理に使用される。
定処理の終了時における故障情報メモリ23の内容は、
n+2番目のテストパターン周期に係る故障検出判定処
理に使用される。
【0139】これにより、外部出力端子側Aのネットに
おける最新の故障情報fsa1 ,fsa0 が検索され、該故
障情報fsa1 ,fsa0 をチェックすることにより、第1
の実施例では未検出とされたネットBに存在する1縮退
故障sa1が検出可能となる。
おける最新の故障情報fsa1 ,fsa0 が検索され、該故
障情報fsa1 ,fsa0 をチェックすることにより、第1
の実施例では未検出とされたネットBに存在する1縮退
故障sa1が検出可能となる。
【0140】このようにして、本発明の第3の実施例に
係る回路故障擬似試験方法によれば、図21のフローチャ
ートのステップP2で最終の故障検出判定時刻T1から
任意の故障検出判定時刻TXに至るまでの故障情報fSa
0,fSa1 との論理和演算処理をしている。
係る回路故障擬似試験方法によれば、図21のフローチャ
ートのステップP2で最終の故障検出判定時刻T1から
任意の故障検出判定時刻TXに至るまでの故障情報fSa
0,fSa1 との論理和演算処理をしている。
【0141】このため、被試験LSI36にFF回路36
Aが含まれた場合であっても、時間と共に変化をするF
F回路36Aの内部状態について、例えば、当該テストデ
ータDTの一周期前の最終の故障検出判定時刻T1に係
る最新の故障情報fSa0,fSa1 と最終の故障検出判定時
刻T1から当該テストデータDTの現在周期に係る任意
の故障検出判定時刻TXに至るまでの故障情報fSa0,f
Sa1 が一度でも故障が伝幡したとして「fSa0,fSa1 =
1」をしたものの論理和演算処理をすることにより、F
F回路36Aに係る故障伝幡性を判断することが可能とな
る。
Aが含まれた場合であっても、時間と共に変化をするF
F回路36Aの内部状態について、例えば、当該テストデ
ータDTの一周期前の最終の故障検出判定時刻T1に係
る最新の故障情報fSa0,fSa1 と最終の故障検出判定時
刻T1から当該テストデータDTの現在周期に係る任意
の故障検出判定時刻TXに至るまでの故障情報fSa0,f
Sa1 が一度でも故障が伝幡したとして「fSa0,fSa1 =
1」をしたものの論理和演算処理をすることにより、F
F回路36Aに係る故障伝幡性を判断することが可能とな
る。
【0142】なお、ステップP3,P4において、FF
回路36Aが含まれた被試験LSI36の故障情報fSa0,
fSa1 が第1,第2の検索処理により実行され、該検出
処理の後に、ステップP5で当該テストデータDTの一
周期前の最終の故障検出判定時刻T1に係る最新の故障
情報fSa0,fSa1 を当該テストデータDTの現在周期に
係る最終の故障検出判定時刻T2の故障情報MSa0,MSa
1 に一致させている。
回路36Aが含まれた被試験LSI36の故障情報fSa0,
fSa1 が第1,第2の検索処理により実行され、該検出
処理の後に、ステップP5で当該テストデータDTの一
周期前の最終の故障検出判定時刻T1に係る最新の故障
情報fSa0,fSa1 を当該テストデータDTの現在周期に
係る最終の故障検出判定時刻T2の故障情報MSa0,MSa
1 に一致させている。
【0143】このため、一回の演算処理によっては、F
F回路36Aの入力ネットの故障の影響が出力ネットDに
反映されない場合であっても、該FF回路36Aに留まっ
ている「0」縮退故障M0 や「1」縮退故障M1 を無視
することなく、再現性良く該故障M0,M1を検出する
ことが可能となる。
F回路36Aの入力ネットの故障の影響が出力ネットDに
反映されない場合であっても、該FF回路36Aに留まっ
ている「0」縮退故障M0 や「1」縮退故障M1 を無視
することなく、再現性良く該故障M0,M1を検出する
ことが可能となる。
【0144】これにより、第1の実施例では未検出とさ
れたネットBに存在する1縮退故障sa1が検出可能と
なることから、状態記憶を有するフリップ・フロップ回
路36A等を含めた被試験LSI36の高精度な故障シミ
ュレーションを行うことが可能となる。
れたネットBに存在する1縮退故障sa1が検出可能と
なることから、状態記憶を有するフリップ・フロップ回
路36A等を含めた被試験LSI36の高精度な故障シミ
ュレーションを行うことが可能となる。
【0145】
【発明の効果】以上説明したように、本発明の装置によ
れば第1,第2,第3の記憶手段,情報検出手段及び制
御手段が具備され、被試験LSIのテストデータに基づ
いて各論理ゲートでの故障伝幡に関し計算された故障情
報が制御手段を介して第3の記憶手段により記憶され、
予め定義された故障モード情報に基づく故障情報が情報
検出手段により検出される。
れば第1,第2,第3の記憶手段,情報検出手段及び制
御手段が具備され、被試験LSIのテストデータに基づ
いて各論理ゲートでの故障伝幡に関し計算された故障情
報が制御手段を介して第3の記憶手段により記憶され、
予め定義された故障モード情報に基づく故障情報が情報
検出手段により検出される。
【0146】このため、該テストデータに対する各論理
ゲートの出力点における出力値は、故障が伝幡する場合
には、予め定義処理された故障情報となる。このこと
で、制御手段の負担は各論理ゲートの入力点に残留され
た故障情報の記憶処理に軽減される。また、故障点から
故障検出判定点までの故障伝幡については、各故障点に
ついて、各論理ゲートの出力点毎について判定がされな
いため従来例のような大容量のメモリが不要となる。
ゲートの出力点における出力値は、故障が伝幡する場合
には、予め定義処理された故障情報となる。このこと
で、制御手段の負担は各論理ゲートの入力点に残留され
た故障情報の記憶処理に軽減される。また、故障点から
故障検出判定点までの故障伝幡については、各故障点に
ついて、各論理ゲートの出力点毎について判定がされな
いため従来例のような大容量のメモリが不要となる。
【0147】なお、被試験半導体装置の論理ゲート毎に
故障情報に係る伝幡予定時刻を第3の記憶手段に記憶す
ることにより、該論理ゲートの遅延時間を含めた高精度
の故障シミュレーションを行うことが可能となる。
故障情報に係る伝幡予定時刻を第3の記憶手段に記憶す
ることにより、該論理ゲートの遅延時間を含めた高精度
の故障シミュレーションを行うことが可能となる。
【0148】また、当該テストデータの一周期前の故障
検出判定時刻に係る最新の故障情報と、該故障検出判定
時刻から現在周期に係る故障検出判定時刻に至るまでの
故障情報とに基づく演算結果データに基づいて、状態記
憶を有する記憶素子を含む被試験半導体装置の高精度な
故障シミュレーションを行うことが可能となる。
検出判定時刻に係る最新の故障情報と、該故障検出判定
時刻から現在周期に係る故障検出判定時刻に至るまでの
故障情報とに基づく演算結果データに基づいて、状態記
憶を有する記憶素子を含む被試験半導体装置の高精度な
故障シミュレーションを行うことが可能となる。
【0149】このことから、従来例に比べて制御手段の
使用(占有)時間の短縮化を図ること,及び故障情報メ
モリのメモリ容量の削減化を図ることが可能となる。ま
た、本発明の第1〜第3の回路故障擬似試験方法によれ
ば、第1,第2の単一縮退故障等の故障伝幡を示す故障
情報の定義処理,テストデータの供給処理,該故障情報
に係る伝幡予定時刻の記憶処理,現在時刻を基準とした
該故障情報の効力判断及び最新の故障情報と過去の故障
検出判定時刻に係る故障情報との論理和演算処理等の故
障伝幡に関する計算記憶処理をしている。
使用(占有)時間の短縮化を図ること,及び故障情報メ
モリのメモリ容量の削減化を図ることが可能となる。ま
た、本発明の第1〜第3の回路故障擬似試験方法によれ
ば、第1,第2の単一縮退故障等の故障伝幡を示す故障
情報の定義処理,テストデータの供給処理,該故障情報
に係る伝幡予定時刻の記憶処理,現在時刻を基準とした
該故障情報の効力判断及び最新の故障情報と過去の故障
検出判定時刻に係る故障情報との論理和演算処理等の故
障伝幡に関する計算記憶処理をしている。
【0150】このため、記憶素子を含む複数の論理ゲー
トが組み込まれた被試験LSIに故障点を設定して、回
路故障シミュレーションをする場合、故障検出判定点か
ら信号入力部に向かって第1の単一縮退故障の伝幡可能
性を示す最終の故障情報1又は0や第2の単一縮退故障
の伝幡可能性を示す任意の故障情報1又0の検出処理を
することにより、当該故障の故障判定に基づいて被試験
LSIの故障検出評価を容易に行うことが可能となる。
トが組み込まれた被試験LSIに故障点を設定して、回
路故障シミュレーションをする場合、故障検出判定点か
ら信号入力部に向かって第1の単一縮退故障の伝幡可能
性を示す最終の故障情報1又は0や第2の単一縮退故障
の伝幡可能性を示す任意の故障情報1又0の検出処理を
することにより、当該故障の故障判定に基づいて被試験
LSIの故障検出評価を容易に行うことが可能となる。
【0151】また、該故障情報に係る伝幡予定時刻の記
憶処理に基づいて論理ゲートの遅延時間を含めた実際の
故障回路に則した故障シミュレーションを論理シミュレ
ーションの5倍程度の処理時間により実行することが可
能となる。
憶処理に基づいて論理ゲートの遅延時間を含めた実際の
故障回路に則した故障シミュレーションを論理シミュレ
ーションの5倍程度の処理時間により実行することが可
能となる。
【0152】さらに、被試験半導体装置に記憶素子が含
まれた場合であっても、現在時刻を基準とした該故障情
報の効力判断,最新の故障情報と過去の故障検出判定時
刻に係る故障情報との論理和演算処理等を実行すること
により、記憶素子に係る故障伝幡性を判断することが可
能となる。このことで、記憶素子を含む被試験半導体装
置の高精度な故障シミュレーションを小型計算機を用い
て行うことが可能となる。
まれた場合であっても、現在時刻を基準とした該故障情
報の効力判断,最新の故障情報と過去の故障検出判定時
刻に係る故障情報との論理和演算処理等を実行すること
により、記憶素子に係る故障伝幡性を判断することが可
能となる。このことで、記憶素子を含む被試験半導体装
置の高精度な故障シミュレーションを小型計算機を用い
て行うことが可能となる。
【0153】これにより、記憶素子を含む数百万ゲート
の半導体集積回路装置を製造要求があった場合でも、故
障検出評価の簡易化が図られ、その論理ゲートの設計期
間の短期化に寄与するところが大きい。
の半導体集積回路装置を製造要求があった場合でも、故
障検出評価の簡易化が図られ、その論理ゲートの設計期
間の短期化に寄与するところが大きい。
【図1】本発明に係る回路故障擬似試験装置の原理図
(その1)である。
(その1)である。
【図2】本発明に係る回路故障擬似試験装置の原理図
(その2)である。
(その2)である。
【図3】本発明に係る回路故障擬似試験方法の原理図で
ある。
ある。
【図4】本発明の各実施例に係る故障シミュレーション
システムの構成図である。
システムの構成図である。
【図5】本発明の各実施例に係る故障モードメモリテー
ブルの内容説明図である。
ブルの内容説明図である。
【図6】本発明の各実施例に係る故障情報メモリテーブ
ルの内容説明図である。
ルの内容説明図である。
【図7】本発明の第1の実施例に係る回路故障擬似試験
の処理フローチャートである。
の処理フローチャートである。
【図8】本発明の第1の実施例に係る回路故障擬似試験
方法の補足説明図である。
方法の補足説明図である。
【図9】本発明の各実施例に係るLSI論理設計方法の
フローチャートである。
フローチャートである。
【図10】本発明の第2の実施例に係る回路故障擬似試験
の処理フローチャートである。
の処理フローチャートである。
【図11】本発明の第2の実施例に係る被試験LSIの状
態遷移図(その1)である。
態遷移図(その1)である。
【図12】本発明の第2の実施例に係る正常時の故障情報
メモリの内容遷移図(その1)である。
メモリの内容遷移図(その1)である。
【図13】本発明の第2の実施例に係る故障時の故障情報
メモリの内容遷移図(その1)である。
メモリの内容遷移図(その1)である。
【図14】本発明の第2の実施例に係る被試験LSIの状
態遷移図(その2)である。
態遷移図(その2)である。
【図15】本発明の第2の実施例に係る正常時の故障情報
メモリの内容遷移図(その2)である。
メモリの内容遷移図(その2)である。
【図16】本発明の第2の実施例に係る故障時の故障情報
メモリの内容遷移図(その2)である。
メモリの内容遷移図(その2)である。
【図17】本発明の第3の実施例に係る回路故障擬似試験
の処理フローチャートである。
の処理フローチャートである。
【図18】本発明の第3の実施例に係るフリップ・フロッ
プ回路の説明図である。
プ回路の説明図である。
【図19】本発明の第3の実施例に係る回路故障擬似試験
方法の補足説明図である。
方法の補足説明図である。
【図20】本発明の第3の実施例に係るFF回路付被試験
LSIの状態遷移図である。
LSIの状態遷移図である。
【図21】本発明の第3の実施例に係る故障判定時刻を説
明するタイムチャートである。
明するタイムチャートである。
【図22】本発明の第3の実施例に係るFF回路付被試験
LSIの検出処理の説明図である。
LSIの検出処理の説明図である。
【図23】従来例に係る故障シミュレーションを説明する
構成図である。
構成図である。
【図24】従来例に係る比較/ 判定エディタの処理フロー
チャートである。
チャートである。
11…第1の記憶手段、
12…第2の記憶手段、
13…第3の記憶手段、
14…情報検出手段、
15…制御手段、
LG1, LG2, LGi, LGn…論理ゲート、
MEM…記憶素子、
DT…テストデータ、
D1…制御データ、
Sa0, Sa1…故障モード情報、
fSa0, fSa1,DSa0, DSa1,MSa0,MSa1…故
障情報、 FLT…故障点、 ts1,ts0…伝幡予定時刻、 tc…現在時刻、 td…ゲート遅延時間、 IN…信号入力部、 OUT…信号出力部。
障情報、 FLT…故障点、 ts1,ts0…伝幡予定時刻、 tc…現在時刻、 td…ゲート遅延時間、 IN…信号入力部、 OUT…信号出力部。
─────────────────────────────────────────────────────
フロントページの続き
(51)Int.Cl.5 識別記号 庁内整理番号 FI 技術表示箇所
G06F 11/26 310 9072−5B
Claims (10)
- 【請求項1】 複数の論理ゲート(LG1, LG2,LGi…
LGn)が組み込まれた被試験半導体装置(16)の故障
シミュレーションをする装置であって、予め定義された
被試験半導体装置(16)の故障モード情報(Sa0 ,Sa
1)及び制御データ(D1)を記憶する第1の記憶手段
(11)と、前記被試験半導体装置(16)の故障シミ
ュレーションをするテストデータ(DT)を記憶する第
2の記憶手段(12)と、前記テストデータ(DT)に
よる各論理ゲート(LG1, LG2,LGi…LGn)での故障
伝幡に関し計算された故障情報(fSa0,fSa1 ,MSa0,
MSa1 ,DSa0,DSa1 )を記憶する第3の記憶手段(1
3)と、前記定義処理に基づく故障情報(fSa0,fSa1
,MSa0,MSa1 ,DSa0,DSa1 )の検出をする情報検
出手段(14)と、前記第1,第2,第3の記憶手段
(11,12,13),情報検出手段(14)の入出力
を制御する制御手段(15)とを具備することを特徴と
する回路故障擬似試験装置。 - 【請求項2】 請求項1記載の回路故障擬似試験装置に
おいて、前記第3の記憶手段(13)が被試験半導体装
置(16)の論理ゲート(LG1, LG2,LGi…LGn)の
故障情報(fSa0,fSa1 )毎に係る伝幡予定時刻(ts
0,ts1)を記憶することを特徴とする回路故障擬似試
験装置。 - 【請求項3】 請求項1記載の回路故障擬似試験装置に
おいて、前記第3の記憶手段(13)が当該テストデー
タ(DT)の一周期前の最終の故障検出判定時刻(T
1)から当該テストデータ(DT)の現在周期に係る任
意の故障検出判定時刻(TX)に至るまでの故障情報
(fSa0,fSa1 )と、前記伝幡予定時刻(ts0,ts1)
に係る故障情報(DSa0,DSa1 )を記憶することを特徴
とする回路故障擬似試験装置。 - 【請求項4】 複数の論理ゲート(LG1, LG2,LGi…
LGn)が組み込まれた被試験半導体装置(16)の故障
シミュレーションをする方法であって、予め、被試験半
導体装置(16)の故障モード(M0,M1)を定義し
て故障伝幡を示す故障情報(fSa0,fSa1 )の定義処理
をし、前記被試験半導体装置(16)の信号入力部(I
N)にテストデータ(DT)の供給処理をし、前記テス
トデータ(DT)に基づいて各論理ゲート(LG1, LG
2,LGi…LGn)での故障伝幡に関する故障情報(fSa
0,fSa1 )の計算記憶処理をし、前記被試験半導体装置
(16)の信号出力部(OUT)から前記信号入力部(I
N)に向かって故障情報(fSa0,fSa1 )の検出処理を
することを特徴とする回路故障擬似試験方法。 - 【請求項5】 請求項4記載の回路故障擬似試験方法に
おいて、前記故障モード(M0,M1)の定義処理は、
前記被試験半導体装置(16)に故障点(FLT)が設定
された場合に、前記論理ゲート(LG1, LG2,LGi…L
Gn)の出力信号又は入力信号が論理「0」に固定する第
1の縮退故障であって、前記第1の縮退故障が被試験半
導体装置(16)に一つだけ存在する第1の単一縮退故
障(M0)及び、前記論理ゲート(LG1, LG2,LGi…
LGn)の出力信号又は入力信号が論理「1」に固定する
第2の縮退故障であって、前記第2の縮退故障が被試験
半導体装置(16)に一つだけ存在する第2の単一縮退
故障(M1)と定義をすることを特徴とする回路故障擬
似試験方法。 - 【請求項6】 請求項4記載の回路故障擬似試験方法に
おいて、前記故障伝幡を示す故障情報(fSa0,fSa1 )
の定義処理は、前記第1の単一縮退故障(M0)につい
ては、次段の論理ゲート(LGj)への伝幡の有無を示す
第1の故障情報(fSa0 =1又は0)と定義をし、前記
第2の単一縮退故障(M1)については、次段の論理ゲ
ート(LGj)への伝幡の有無を示す第2の故障情報(f
Sa1 =1又0)と定義をすることを特徴とする回路故障
擬似試験方法。 - 【請求項7】 請求項4記載の回路故障擬似試験方法に
おいて、前記計算記憶処理には、前記論理ゲート(LG
1, LG2,LGi…LGn)に故障点(FLT)が設定された
場合に、被試験半導体装置(16)の論理ゲート(LG
1, LG2,LGi…LGn)の故障情報(fSa0,fSa1 )毎
に係る伝幡予定時刻(ts0,ts1)の記憶処理と、前記
伝幡予定時刻(ts0,ts1)に係る前回の信号変化時の
故障情報(fSa0,fSa1 )と現在時刻(tc)に係る当
該信号変化時の故障情報(fSa0,fSa1 )との比較処理
に基づいて該伝幡予定時刻(ts0,ts1)が現在時刻
(tc)を経過している故障情報(fSa0,fSa1 )を有
効とする故障情報(DSa0,DSa1)の計算処理が含まれ
ることを特徴とする回路故障擬似試験方法。 - 【請求項8】 請求項4記載の回路故障擬似試験方法に
おいて、前記計算記憶処理には、被試験半導体装置(1
6)に記憶素子(MEM)が含まれた場合に、当該テスト
データ(DT)の一周期前の最終の故障検出判定時刻
(T1)に係る最新の故障情報(fSa0,fSa1 )と、前
記最終の故障検出判定時刻(T1)から当該テストデー
タ(DT)の現在周期に係る任意の故障検出判定時刻
(TX)に至るまでの故障情報(fSa0,fSa1 )との記
憶処理と、前記最終の故障検出判定時刻(T1)から現
在周期に係る任意の故障検出判定時刻(TX)に至る間
の故障情報(MSa0,MSa1 )と前記現在周期に係る任意
の故障検出判定時刻(TX)の最新の故障情報(fSa0,
fSa1 )との論理和演算処理が含まれることを特徴とす
る回路故障擬似試験方法。 - 【請求項9】 請求項4記載の回路故障擬似試験方法に
おいて、前記検出処理には、被試験半導体装置(16)
に記憶素子(MEM)が含まれた場合に、前記被試験半導
体装置(16)の信号出力部(OUT)から記憶素子(M
EM)に至るまでの第1の検索処理と、前記記憶素子(M
EM)の入力部から被試験半導体装置(16)の信号入力
部(IN)に至るまでの第2の検索処理が含まれること
を特徴とする回路故障擬似試験方法。 - 【請求項10】 請求項4記載の回路故障擬似試験方法に
おいて、前記計算記憶処理には、前記被試験半導体装置
(16)に記憶素子(MEM)が含まれた場合に、当該テ
ストデータ(DT)の現在周期の最終の故障検出判定時
刻(T2)に係る故障情報(fSa0,fSa1 ,DSa0,DSa
1 ,MSa0,MSa1 )の検出処理の後に、当該テストデー
タ(DT)の一周期前の最終の故障検出判定時刻(T
1)から当該テストデータ(DT)の現在周期に係る最
終の故障検出判定時刻(T2)に至るまでの全ての故障
情報(MSa0,MSa1 ,DSa0,DSa1 )を当該テストデー
タ(DT)の現在周期に係る最終の故障検出判定時刻
(T2)の最新の故障情報(fSa0,fSa1 )に一致させ
る計算処理を含むことを特徴とする回路故障擬似試験方
法。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3193005A JP2669968B2 (ja) | 1990-11-30 | 1991-08-01 | 回路故障擬似試験装置及び回路故障擬似試験方法 |
Applications Claiming Priority (3)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP33474390 | 1990-11-30 | ||
| JP2-334743 | 1990-11-30 | ||
| JP3193005A JP2669968B2 (ja) | 1990-11-30 | 1991-08-01 | 回路故障擬似試験装置及び回路故障擬似試験方法 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH052620A true JPH052620A (ja) | 1993-01-08 |
| JP2669968B2 JP2669968B2 (ja) | 1997-10-29 |
Family
ID=26507639
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP3193005A Expired - Fee Related JP2669968B2 (ja) | 1990-11-30 | 1991-08-01 | 回路故障擬似試験装置及び回路故障擬似試験方法 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP2669968B2 (ja) |
Cited By (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US7480998B2 (en) | 2005-05-09 | 2009-01-27 | Fuji Jukogyo Kabushiki Kaisha | Bush cutter |
| US7493697B2 (en) | 2004-10-15 | 2009-02-24 | Fuji Jukogyo Kabushiki Kaisha | Lawn mower |
| US7493696B2 (en) | 2004-10-15 | 2009-02-24 | Fuji Jukogyo Kabushiki Kaisha | Bush cutting machine |
| CN107490758A (zh) * | 2017-07-14 | 2017-12-19 | 电子科技大学 | 基于故障传播的模块化bp神经网络电路故障诊断方法 |
Citations (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH01240939A (ja) * | 1988-03-22 | 1989-09-26 | Nippon Telegr & Teleph Corp <Ntt> | 故障シミュレーション方式 |
-
1991
- 1991-08-01 JP JP3193005A patent/JP2669968B2/ja not_active Expired - Fee Related
Patent Citations (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH01240939A (ja) * | 1988-03-22 | 1989-09-26 | Nippon Telegr & Teleph Corp <Ntt> | 故障シミュレーション方式 |
Cited By (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US7493697B2 (en) | 2004-10-15 | 2009-02-24 | Fuji Jukogyo Kabushiki Kaisha | Lawn mower |
| US7493696B2 (en) | 2004-10-15 | 2009-02-24 | Fuji Jukogyo Kabushiki Kaisha | Bush cutting machine |
| US7480998B2 (en) | 2005-05-09 | 2009-01-27 | Fuji Jukogyo Kabushiki Kaisha | Bush cutter |
| CN107490758A (zh) * | 2017-07-14 | 2017-12-19 | 电子科技大学 | 基于故障传播的模块化bp神经网络电路故障诊断方法 |
| CN107490758B (zh) * | 2017-07-14 | 2019-08-13 | 电子科技大学 | 基于故障传播的模块化bp神经网络电路故障诊断方法 |
Also Published As
| Publication number | Publication date |
|---|---|
| JP2669968B2 (ja) | 1997-10-29 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US5513339A (en) | Concurrent fault simulation of circuits with both logic elements and functional circuits | |
| US6795951B2 (en) | Method and system for fault-tolerant static timing analysis | |
| US20150370955A1 (en) | Method for adjusting a timing derate for static timing analysis | |
| CN118150991B (zh) | 脉冲发生逻辑的检测方法、装置、电子设备、存储介质及计算机程序产品 | |
| Breuer | The effects of races, delays, and delay faults on test generation | |
| KR20180112725A (ko) | 장애 지점을 검출하기 위한 장치 및 방법 | |
| US10235485B1 (en) | Partial reconfiguration debugging using hybrid models | |
| CN117907812B (zh) | 电路检测方法及装置、电子设备、存储介质、程序产品 | |
| US20040015338A1 (en) | Method and apparatus for automated signal integrity checking | |
| US6934656B2 (en) | Auto-linking of function logic state with testcase regression list | |
| US8468409B2 (en) | Speed-path debug using at-speed scan test patterns | |
| KR0134036B1 (ko) | 논리 시뮬레이션 방법 | |
| US8181136B2 (en) | Circuit operation verification method and apparatus | |
| JP2669968B2 (ja) | 回路故障擬似試験装置及び回路故障擬似試験方法 | |
| JP5567322B2 (ja) | テストフロー提示コンピュータプログラム、テストフロー提示コンピュータシステム | |
| CN120850942A (zh) | 面向电路可测试性的设计规则检查方法、装置和存储介质 | |
| US11023357B1 (en) | Method and system for sequential equivalence checking | |
| US6546514B1 (en) | Integrated circuit analysis and design involving defective circuit element replacement on a netlist | |
| JPH0641968B2 (ja) | デイジタル回路試験装置 | |
| Oh et al. | Efficient logic-level timing analysis using constraint-guided critical path search | |
| JP5145167B2 (ja) | クロックドメインチェック方法及びクロックドメインチェック用プログラム並びに記録媒体 | |
| Tuzov et al. | Accurately simulating the effects of faults in vhdl models described at the implementation-level | |
| JP2001188807A (ja) | 時間故障シミュレーション方法 | |
| WO2025048819A1 (en) | Test pattern generation | |
| WO2025048823A1 (en) | Cell library characterization |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 19960820 |
|
| A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 19970624 |
|
| LAPS | Cancellation because of no payment of annual fees |