JPH0894714A - Method for estimating failed part of lsi - Google Patents

Method for estimating failed part of lsi

Info

Publication number
JPH0894714A
JPH0894714A JP6233353A JP23335394A JPH0894714A JP H0894714 A JPH0894714 A JP H0894714A JP 6233353 A JP6233353 A JP 6233353A JP 23335394 A JP23335394 A JP 23335394A JP H0894714 A JPH0894714 A JP H0894714A
Authority
JP
Japan
Prior art keywords
procedure
flip
failure
fail
estimation
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
Application number
JP6233353A
Other languages
Japanese (ja)
Other versions
JP2701753B2 (en
Inventor
Toshio Ishiyama
敏夫 石山
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
NEC Corp
Original Assignee
NEC Corp
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by NEC Corp filed Critical NEC Corp
Priority to JP6233353A priority Critical patent/JP2701753B2/en
Priority to DE19536203A priority patent/DE19536203A1/en
Priority to US08/535,383 priority patent/US5640403A/en
Priority to KR1019950032517A priority patent/KR0180327B1/en
Publication of JPH0894714A publication Critical patent/JPH0894714A/en
Application granted granted Critical
Publication of JP2701753B2 publication Critical patent/JP2701753B2/en
Anticipated expiration legal-status Critical
Expired - Lifetime legal-status Critical Current

Links

Abstract

PURPOSE: To provide a method for estimating the failed part of a large-scale and multilayer-wired LSI with a short processing time without limiting to a single degeneracy failure by logic simulation and failure estimation processing. CONSTITUTION: Back track and forward track are performed from pass/fail information obtained by testing an LSI and a fail pin to extract a combination circuit with a plurality of I/O pins. A flip-flop obtains the total expectation value for each test vector by logic simulation. The expectation value is used and the total expectation value of each node of the combination circuit is obtained by logic simulation. The conformity/nonconformity of each net and block and fail value estimation are performed by the actual pass/fail result and a failure estimation part is outputted. Finally, the failure estimation part is weighted and the failure estimation part is outputted in the order of priority.

Description

【発明の詳細な説明】Detailed Description of the Invention

【0001】[0001]

【産業上の利用分野】本発明はLSIの故障箇所推定方
法に係わり、特に論理回路の故障箇所を推定する手法に
関する。
BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to an LSI failure location estimating method, and more particularly to a method for estimating a failure location of a logic circuit.

【0002】[0002]

【従来の技術】従来の故障箇所推定手法は、図5に示す
様に故障シミュレータを用いて予め故障辞書を作成する
手順19と、実際にLSIのテストを行ってフェイル情
報を得る手順20と、テスト結果のフェイル情報から前
記故障辞書を検索する手順21と、故障箇所を推定する
手順22とで構成されている。
2. Description of the Related Art A conventional failure location estimating method is, as shown in FIG. 5, a procedure 19 for creating a failure dictionary in advance using a failure simulator, and a procedure 20 for actually testing an LSI to obtain fail information. It is composed of a procedure 21 of searching the failure dictionary from the fail information of the test result and a procedure 22 of estimating the failure location.

【0003】故障シミュレータは、LSI内部に故障を
仮定して論理シミュレーションを行い、論理シミュレー
ションの結果と期待値との照合を行い、仮定した故障箇
所とその故障を検出したテストベクタを対応付けた故障
辞書を作成する。実際にLSIをテストした結果のフェ
イル情報から、前記故障辞書を検索し仮定故障箇所を求
め、複数のフェイル情報並びにパス情報を用いて、複数
得られる仮定故障の中から優先順位付けを行い、故障箇
所の推定を行うものである。
The fault simulator performs a logic simulation assuming a fault inside the LSI, collates the result of the logic simulation with an expected value, and associates the assumed fault location with the test vector detecting the fault. Create a dictionary. Based on the fail information as a result of actually testing the LSI, the failure dictionary is searched to find a supposed failure location, and a plurality of failure information and path information are used to prioritize a plurality of obtained failure failures, The location is estimated.

【0004】また、他の手法としては、前記手順を階層
的に行い、かつ電子ビームテスタでの内部観測手順を有
するものがある。上の階層から順に前記手順にて故障箇
所の推定を行い、その階層の境界で電子ビームテスタを
用いて内部観測を行い、下の階層へと故障箇所を絞り込
んでいくものである。
Another method is to carry out the above procedure hierarchically and have an internal observation procedure with an electron beam tester. The failure point is estimated in order from the upper layer by the above procedure, the internal observation is performed at the boundary of the layer using the electron beam tester, and the failure point is narrowed down to the lower layer.

【0005】[0005]

【発明が解決しようとする課題】これら従来の故障箇所
推定手法では故障辞書を予め作成しておく必要がある
が、故障辞書の作成は多大な故障シミュレーション時間
を要するため、LSIが大規模化すればするほど計算時
間も膨大となり、また、故障辞書のファイルも非常に大
きくなるという問題点があった。
In these conventional fault location estimating methods, it is necessary to create a fault dictionary in advance. However, since the fault dictionary requires a large amount of fault simulation time, the scale of the LSI may be increased. There is a problem in that the calculation time becomes enormous as it is extended, and the file of the failure dictionary becomes very large.

【0006】さらに故障シミュレーションで用いる故障
モデルは単一縮退故障が一般的であるため、ブリッジ故
障等の多重故障では実際と一致しないこともあり、故障
シミュレーションモデルを多重故障に拡張すると故障シ
ミュレーションの処理時間の点で実用的でないという問
題点があげられる。
Further, since the fault model used in the fault simulation is generally a single stuck-at fault, there are cases where multiple faults such as a bridge fault do not match the actual situation. Therefore, when the fault simulation model is extended to multiple faults, the fault simulation process is performed. The problem is that it is not practical in terms of time.

【0007】また、階層的な故障シミュレーションと電
子ビームテスタ併用の場合は、推定箇所を逐次観測しな
がら絞り込んでいくため有効な手段であるが、LSIが
大規模化し、多層配線となると下層の電位の観測が不可
能となるという問題点がある。
Further, in the case of using both the hierarchical failure simulation and the electron beam tester, it is an effective means for narrowing down while sequentially observing the estimated points, but if the LSI becomes large in scale and becomes a multi-layer wiring, the potential of the lower layer will be increased. There is a problem that it becomes impossible to observe.

【0008】[0008]

【課題を解決するための手段】本発明の故障箇所推定方
法は、ネットリストからフリップフロップを抽出する手
順と、LSI全体の論理シミュレーションにより抽出し
た全フリップフロップの全期待値を計算する手段と、実
際にLSIのテストをして全テストベクタに対するパス
/フェイルピン,フェイルベクタ情報を取得する手順
と、LSI全体のネットリストを用い、フェイルピンか
らのバックトラックとネットの分岐点からフォワードト
ラックにより、複数の出力ピンもしくはフリップフロッ
プ出力を入力とし、かつ複数の出力ピンもしくはフリッ
プフロップ入力を出力とする組合せ回路を抽出する手順
と、前記フリップフロップの全期待値を用いて前記抽出
した組合せ回路の全ノードの全期待値を論理シミュレー
ションにより求める手順と、フェイルピンからバックト
ラックし前記組合せ回路の各ノードの期待値と比較し、
フェイルが伝搬しているネットを推定し、ネットの分岐
点からフォワードトラックした出力の結果によりノード
の値を判定する手順により故障箇所の推定を行う。
A fault location estimating method according to the present invention comprises a procedure for extracting flip-flops from a netlist, means for calculating all expected values of all flip-flops extracted by logic simulation of the entire LSI, Using the procedure to actually test the LSI and obtain pass / fail pins and fail vector information for all test vectors, and the back track from the fail pin and the forward track from the branch point of the net using the net list of the entire LSI. A procedure for extracting a combinational circuit having a plurality of output pins or flip-flop outputs as inputs and a plurality of output pins or flip-flop inputs as an output, and a total of the extracted combinational circuits using all expected values of the flip-flops. Find all expected values of nodes by logic simulation Compares the sequence, the expected value of each node of the combinational circuit backtrack from the fail pin,
Estimate the net in which the fail is propagated, and estimate the fault location by the procedure of determining the value of the node from the result of the output forward-tracked from the branch point of the net.

【0009】[0009]

【作用】したがって故障シミュレーションによる故障辞
書作成が不要となり、処理時間の大幅削減を図ることが
可能となる。
Therefore, it is not necessary to create a fault dictionary by fault simulation, and the processing time can be greatly reduced.

【0010】[0010]

【実施例】次に本発明について図面を参照して説明す
る。図1乃至図3は本発明の推定手順を示すフローチャ
ートである。
The present invention will be described below with reference to the drawings. 1 to 3 are flowcharts showing the estimation procedure of the present invention.

【0011】まず一実施例を示す図1から説明する。手
順1はテスタで実際のLSIのテストを行い、全てのパ
ス/フェイル(pass/fail)情報を取得する。
パス/フェイル情報とは各ピンの判定/非判定を含めた
情報で、フェイルピン番号や、フェイルベクタ番号を同
時に格納する。手順2は、手順1で得られたフェイルピ
ンを始点としネットリストからバックトラックを行い、
またネットが分岐している場合はフォワードトラック,
バックトラックを行うことにより、入力ピンもしくはフ
リップフロップの出力を入力とし、かつ出力ピンもしく
はフリップフロップの入力を出力とするような複数の入
力と出力を有する組合せ回路を抽出する。
First, an embodiment will be described with reference to FIG. In the procedure 1, an actual LSI test is performed by a tester and all pass / fail information is acquired.
The pass / fail information is information including judgment / non-judgment of each pin, and stores the fail pin number and the fail vector number at the same time. Procedure 2 is to backtrack from the netlist starting from the fail pin obtained in Procedure 1,
If the net is branched, it is a forward track,
By performing backtracking, a combinational circuit having a plurality of inputs and outputs, the input of which is the output of the input pin or the flip-flop and the output of which is the input of the output pin or the flip-flop, is extracted.

【0012】他方、手順3ではLSIのネットリストか
ら含まれる全フリップフロップを抽出し、手順4でその
全フリップフロップの各ベクタ毎の全期待値を得るべ
く、論理シミュレーションを実行する。
On the other hand, in procedure 3, all flip-flops included in the LSI netlist are extracted, and in procedure 4, logic simulation is performed in order to obtain all expected values for each vector of all flip-flops.

【0013】手順5は手順2で得られた部分的でかつフ
ェイルを伝搬していると思われる組合せ回路に対し、手
順4で得られた全フリップフロップの期待値を用いて前
記組合せ回路の論理シミュレーションを実行し、前記組
合せ回路の全ノードに対する各ベクタ毎の全期待値を得
る。
The procedure 5 uses the expected values of all the flip-flops obtained in the procedure 4 for the combinational circuit obtained in the procedure 2 and which seems to propagate the fail, and the logic of the combination circuit is obtained. A simulation is executed to obtain all expected values for each vector for all nodes of the combinational circuit.

【0014】手順6では手順5で求めた組合せ回路の各
ノードの期待値と手順1のパス/フェイル情報を基に各
ノードのフェイル推定を順次繰り返して組合せ回路内で
の故障の絞り込みを行う。
In step 6, the failure estimation in each combination circuit is performed by sequentially repeating the fail estimation of each node based on the expected value of each node of the combination circuit obtained in step 5 and the pass / failure information of step 1.

【0015】図3に手順6の詳細手順を示し、図4を用
いて説明する。
FIG. 3 shows a detailed procedure of procedure 6, which will be described with reference to FIG.

【0016】図4は組合せ回路の1部を示したものであ
り、X,Y,Zは論理ブロック,a〜gはネットであ
る。今、bのネットがフェイルしていると仮定すると手
順14により、ネットbの分岐がないため、手順16の
バックトラック継続判定を行う。手順16ではネットが
入力ピンもしくはフリップフロップの出力に達するかも
しくは手順15でネットの推定値が正常とならない限
り、バックトラックが継続される。従って、ネットbで
はバックトラックし、ブロックYに到達する。手順17
はブロックYの真理値表を用いて、ネットd,e,bの
期待値とネットbの出力先のパス/フェイルを比較し、
ブロックYが故障しているか否かを判定する。手順18
ではブロックYの真理値表とネットd,e,bの期待値
とネットbのフェイル推定値を用いて、ブロックYのフ
ェイル伝搬入力を推定する。そこでdのネットがフェイ
ル推定されたと仮定する。すると手順14に戻るが、ネ
ットdは分岐点があるため、手順15に移る。手順15
はネットdをブロックX,ネットaという様に順次フォ
ワードトラックし、出力ピンもしくはフリップフロップ
に達するまで、フォワードトラックを繰り返す。そして
出力ピンのパス/フェイル情報もしくはフリップフロッ
プのパス/フェイル推定値と、ネットbのバックトラッ
クの始点の結果と比較することによりネットdの分岐点
の前が故障か、分岐点の後ろのブロックY入力側が故障
かを判定する。手順16で分岐点の後ろが故障、即ちブ
ロックZの出力が正常となればバックトラックは終了
し、分岐点の前が故障となればバックトラックを行い、
手順17によりブロックZの良/否判定を行う。
FIG. 4 shows a part of the combinational circuit, where X, Y and Z are logic blocks and a to g are nets. Assuming now that the net of b has failed, the backtrack continuation judgment of step 16 is performed in step 14 because there is no branch of net b. Backtracking is continued in step 16 unless the net reaches the input pin or the output of the flip-flop or the estimated value of the net becomes normal in step 15. Therefore, the net b is backtracked and the block Y is reached. Step 17
Compares the expected values of nets d, e, and b with the pass / fail of the output destination of net b using the truth table of block Y,
It is determined whether or not the block Y has a failure. Step 18
Then, the fail propagation input of the block Y is estimated using the truth table of the block Y, the expected values of the nets d, e, and b and the fail estimated value of the net b. Therefore, it is assumed that the net of d has been fail-estimated. Then, the procedure returns to step 14, but since the net d has a branch point, the procedure moves to step 15. Step 15
Sequentially forward-tracks the net d such as the block X and the net a, and repeats the forward-tracking until it reaches the output pin or the flip-flop. Then, by comparing the pass / failure information of the output pin or the pass / failure estimation value of the flip-flop with the result of the start point of the backtrack of the net b, a failure occurs before the branch point of the net d or a block after the branch point of the net d. It is determined whether the Y input side is out of order. In step 16, backtracking ends if there is a failure after the branch point, that is, if the output of block Z is normal, and backtracking occurs if there is a failure before the branch point,
In step 17, the pass / fail judgment of the block Z is performed.

【0017】この様にして組合せ回路の故障推定を行っ
た後、図1の手順7で絞り込み完了か否かを判定し、も
しバックトラックがフリップフロップに達してしまった
場合は絞り込みは完了していないため、手順8で組合せ
回路の入力フェイル推定、即ち、フリップフロップのフ
ェイル推定を行う。そして手順2に戻り、フェイルが伝
搬してきているフリップフロップを起点として、再度バ
ックトラック,分岐点のフォワードトラックにより、組
合せ回路を抽出し、推定を行う。もし、手順6でバック
トラックが終了となれば手順7で絞り込みが完了された
と判断し、それまでに得られたすべての故障推定箇所に
対し、手順9で重み付けを行う。手順10ではその重み
付けをもとに故障推定の優先度順にリスト出力をする。
After the failure of the combinational circuit is estimated in this way, it is judged in step 7 of FIG. 1 whether or not the narrowing is completed. If the backtrack reaches the flip-flop, the narrowing is completed. Since it does not exist, in step 8, input fail estimation of the combinational circuit, that is, flip-flop fail estimation is performed. Then, returning to the procedure 2, the combinational circuit is extracted again by the back track and the forward track of the branch point, starting from the flip-flop where the fail is propagated, and the estimation is performed. If backtracking is completed in step 6, it is determined that the narrowing down has been completed in step 7, and weighting is performed in step 9 for all the failure estimation points obtained up to that point. In step 10, the list is output in order of priority of failure estimation based on the weighting.

【0018】他の実施例を示す図2において、手順1は
図1と同様に、テスタで実際のLSIのテストを行い全
てのパス/フェイル情報を取得する。手順11は手順1
で得られたフェイルピンを始点としてネットリストから
バックトラックを行い、ネットが分岐している場合はフ
ォワードトラック,バックトラックを行うことにより、
入力ピンもしくはフリップフロップの出力を入力とし、
かつ出力ピンもしくはフリップフロップの入力を出力と
する様な複数の入力と出力を有する組合せ回路と、それ
らの入出力となるフリップフロップを抽出する。手順1
2は手順11で抽出したフリップフロップの各ベクタ毎
の全期待値を求めるべく、論理シミュレーションを実行
する。手順13は手順11で得られた部分的かつフェイ
ルを伝搬していると思われる組合せ回路に対し、手順1
2で得られたフリップフロップの期待値を用いて、前記
組合せ回路の論理シミュレーションを実行し、前記組合
せ回路の全ノードに対する各ベクタ毎の全期待値を得
る。
In FIG. 2 showing another embodiment, procedure 1 is the same as in FIG. 1, in which an actual LSI test is performed by a tester to acquire all pass / fail information. Procedure 11 is Procedure 1
By performing backtracking from the netlist starting from the fail pin obtained in step 1, and performing forwardtracking and backtracking when the net is branched,
Input pin or output of flip-flop,
Further, a combinational circuit having a plurality of inputs and outputs such that the output pin or the input of the flip-flop is used as an output, and the flip-flops serving as the inputs and outputs thereof are extracted. Step 1
In step 2, a logical simulation is executed in order to find all expected values for each vector of the flip-flops extracted in step 11. Procedure 13 is the same as the procedure 1 for the partial and fail-propagating combinational circuit obtained in Procedure 11.
The expected value of the flip-flop obtained in 2 is used to execute a logic simulation of the combinational circuit to obtain all expected values for each vector for all nodes of the combinational circuit.

【0019】図1と同様の手順6では手順13で求めた
組合せ回路の各ノードの期待値と手順1のパス/フェイ
ル情報を基に各ノードのフェイル推定を順次繰り返して
組合わせ回路内での故障の絞り込みを行う。
In procedure 6 similar to that in FIG. 1, fail estimation of each node is sequentially repeated based on the expected value of each node of the combinational circuit obtained in procedure 13 and the pass / failure information of procedure 1 in the combinational circuit. Narrow down the failure.

【0020】手順7では手順6での絞り込みの結果、バ
ックトラックがフリップフロップに達してしまった場
合、絞り込みは完了していないと判定し、手順8の組合
せ回路の入力フェイル推定、即ち、フリップフロップの
フェイル推定を行う。そして手順11に戻り、フェイル
が伝搬してきているフリップフロップを起点として、再
度、バックトラック,分岐点のフォワードトラックを行
い、組合せ回路及びそれらの入出力にあたるフリップフ
ロップを抽出し、判定を行う。もし、手順13でバック
トラックが終了となれば、手順7で絞り込みは完了と判
定し、それまで得られた全ての故障推定箇所に対し、手
順9で重み付けを行う。手順10ではその重み付けをも
とに故障推定の優先度順にリスト出力する。
In step 7, when the backtrack reaches the flip-flop as a result of the narrowing down in step 6, it is judged that the narrowing down is not completed, and the input fail estimation of the combinational circuit in step 8, that is, the flip-flop is performed. Fail estimation is performed. Then, returning to step 11, backtracking and forward branching of the branch point are performed again starting from the flip-flop through which the fail has propagated, and the combinational circuit and the flip-flops corresponding to their inputs and outputs are extracted and the determination is performed. If backtracking is completed in step 13, it is determined in step 7 that the narrowing is completed, and in step 9, weighting is applied to all the failure estimation points obtained up to that point. In procedure 10, the list is output in order of priority of failure estimation based on the weighting.

【0021】[0021]

【発明の効果】以上説明した様に本発明は、フリップフ
ロップの全期待値の論理シミュレーションと、バックト
ラック,フォワードトラックによる部分的な組合せ回路
抽出及びフリップフロップの期待値を用いての組合せ回
路の論理シミュレーションとその結果を用いてバックト
ラックし故障推定する手法であるため、故障シミュレー
ションによる故障辞書作成の必要がなく、処理時間が大
幅に短縮できるという効果を有する。この効果と同時
に、容量の大きな故障辞書を予め用意し、保存している
という手間も省ける利点もあげられる。これらの効果は
LSIが大規模化してノードが増加すればする程大きく
なる。また単一縮退故障でない場合も故障箇所が推定で
きるという利点もある。
As described above, according to the present invention, logical simulation of all expected values of flip-flops, partial combinational circuit extraction by backtrack and forward track, and combinational circuits using expected values of flip-flops are performed. Since it is a method of backtracking and fault estimation using the logic simulation and its result, there is no need to create a fault dictionary by fault simulation, and the processing time can be greatly shortened. At the same time as this effect, there is an advantage that the trouble of preparing and storing a large-capacity fault dictionary in advance can be saved. These effects increase as the scale of the LSI increases and the number of nodes increases. There is also an advantage that the failure location can be estimated even when the failure is not a single stuck-at failure.

【0022】EBテスタでの観測を併用する場合と比較
しても、多層配線の場合、EBテスタではすぐには観測
不可能であるのに対し、処理のみで故障箇所が推定でき
るという利点もあげられる。
Compared with the case of using the observation with the EB tester together, in the case of the multi-layer wiring, it is impossible to immediately observe with the EB tester, but there is an advantage that the failure location can be estimated only by the processing. To be

【図面の簡単な説明】[Brief description of drawings]

【図1】本発明の一実施例の処理手順を示すフローチャ
ートである。
FIG. 1 is a flowchart showing a processing procedure of an embodiment of the present invention.

【図2】本発明の他の実施例の処理手順を示すフローチ
ャートである。
FIG. 2 is a flowchart showing a processing procedure of another embodiment of the present invention.

【図3】組合せ回路の各期待値からバックトラックによ
る推定を行う処理手順を示すフローチャートである。
FIG. 3 is a flowchart showing a processing procedure for performing backtracking estimation from each expected value of a combinational circuit.

【図4】組合せ回路の一部分を例示して示したブロック
図である。
FIG. 4 is a block diagram showing a part of a combinational circuit.

【図5】従来技術の処理手順を示すフローチャートであ
る。
FIG. 5 is a flowchart showing a processing procedure of a conventional technique.

【符号の説明】[Explanation of symbols]

1〜22 処理手順 X,Y,Z 論理ゲート等のブロック a〜g ネットのノード名 1 to 22 Processing procedure X, Y, Z Blocks such as logic gates a to g Net node names

───────────────────────────────────────────────────── フロントページの続き (51)Int.Cl.6 識別記号 庁内整理番号 FI 技術表示箇所 G06F 11/25 ─────────────────────────────────────────────────── ─── Continuation of the front page (51) Int.Cl. 6 Identification code Internal reference number FI technical display location G06F 11/25

Claims (3)

【特許請求の範囲】[Claims] 【請求項1】 テスタでLSIのテストを行い、全ての
パス/フェイル情報並びにテスト時の各ピンの判定/非
判定情報を取得する手順と、フェイルピンもしくはフェ
イル推定フリップフロップを起点としネットリストから
バックトラックを行い、またネットが分岐している場合
はフォワードトラック,バックトラックを行うことによ
り、入力ピンもしくはフリップフロップの出力を入力と
し、かつ出力ピンもしくはフリップフロップの入力を出
力とする様な複数の入力と出力を有する組合せ回路を抽
出する手順と、ネットリストから含まれる全フリップフ
ロップを抽出する手順と、前記全フリップフロップの各
ベクタ毎の全期待値を得るための論理シミュレーション
手順と、前記抽出した組合せ回路と前記フリップフロッ
プの全期待値により組合せ回路の全ノードの全期待値を
得る論理シミュレーション手順と、前記組合せ回路の全
ノードの全期待値と前記取得したパス/フェイル情報を
用いてバックトラックを行い故障推定を行う手順と、絞
り込み完了によるバックトラック終了判定を行う手順
と、前記組合せ回路の故障推定手順により得られた結果
より、組合せ回路の入力となるフリップフロップ出力の
フェイル推定手順と、バックトラック終了時、上記推定
により得られた故障推定箇所の重み付けする手順と、そ
の重み付けにより優先度順にリスト出力する手順とによ
り故障箇所を推定することを特徴とするLSIの故障箇
所推定方法。
1. A procedure for performing an LSI test with a tester and acquiring all pass / fail information and judgment / non-judgment information of each pin at the time of testing, and from a net list starting from a fail pin or a fail estimation flip-flop. Backtracking is performed, and if the net is branched, forward tracking and backtracking are performed, so that the output of an input pin or flip-flop is used as an input, and the output of an output pin or flip-flop is used as an output. A procedure for extracting a combinational circuit having inputs and outputs, a procedure for extracting all flip-flops included in the netlist, a logic simulation procedure for obtaining all expected values for each vector of all the flip-flops, According to the extracted combinational circuit and all expected values of the flip-flops Logic simulation procedure for obtaining all expected values of all nodes of the combinational circuit, procedure of backtracking using all expected values of all nodes of the combinational circuit and the obtained pass / failure information, and completion of narrowing down Based on the results of the procedure for determining the end of backtrack by the above and the result of the failure estimation procedure for the combinational circuit, the failure estimation procedure for the flip-flop output that is the input to the combinational circuit, and the above estimation at the end of the backtracking are obtained. A method of estimating a failure location of an LSI, characterized in that a failure location is estimated by a weighting procedure of failure estimation locations and a procedure of outputting a list in order of priority according to the weighting.
【請求項2】 全フリップフロップ抽出手順と、全フリ
ップフロップの全期待値の論理シミュレーション手順を
用いるかわりに、バックトラック,フォワードトラック
による組合せ回路抽出並びにその組合せ回路の入出力と
なるフリップフロップ抽出手順と、前記抽出フリップフ
ロップの各ベクタ毎の全期待値を得るための論理シミュ
レーション手順を用い、抽出した組合せ回路の論理シミ
ュレーション,故障箇所推定を行うことを可能にするこ
とを特徴とする請求項1記載のLSIの故障箇所推定方
法。
2. Instead of using all flip-flop extraction procedure and logic expected procedure of all expected values of all flip-flops, combination circuit extraction by backtrack and forward track and flip-flop extraction procedure which becomes input / output of the combination circuit. And a logic simulation procedure for obtaining all expected values for each vector of the extracted flip-flops, which makes it possible to perform logic simulation of the extracted combinational circuit and fault location estimation. A method for estimating a failure location of the described LSI.
【請求項3】 組合せ回路の全ノードの全期待値と取得
したパス/フェイル情報を用いてバックトラックを行い
故障推定を行う手順において、ネットの分岐の有無を判
定する手順と、分岐がある場合、順次フォワードトラッ
クを行い、出力ピンもしくはフリップフロップを検出
し、出力ピンのパス/フェイル推定値とバックトラック
の起点のパス/フェイル情報もしくは推定値と比較し、
故障が分岐点の前か後ろかを判定する手順と、前記分岐
点前後の故障推定結果及び組合せ回路の入力か否かの判
定によるバックトラック継続判定を行う手順と、さらに
バックトラックしてブロックの真理値表や機能記述と、
ネットのフェイル推定値,ブロック入出力の期待値から
ブロック良否判定する手順と、ブロックの真理値表や機
能記述と、ネットのフェイル推定値ブロックの入力期待
値を用いてブロックのフェイル伝搬入力を推定する手順
とを用いて組合せ回路の故障推定を行うことを特徴とす
る請求項1記載のLSIの故障箇所推定方法。
3. In a procedure of backtracking by using all expected values of all nodes of a combinational circuit and acquired pass / failure information to perform failure estimation, a procedure of determining the presence or absence of a branch of a net, and a case of branching , Sequentially performing forward tracking, detecting an output pin or a flip-flop, and comparing the pass / fail estimated value of the output pin with the pass / fail information or estimated value of the starting point of the back track,
A procedure for determining whether the fault is before or after the branch point, a procedure for performing backtrack continuation determination by determining whether the fault estimation result before and after the branch point and the input of the combination circuit, and further backtracking the block. Truth table and function description,
Estimate a block's fail-propagation input using the net fail estimate value, the block input / output expected value, the block's truth table and functional description, and the net's fail estimate value's expected input value. 2. The method for estimating a failure location of an LSI according to claim 1, wherein the failure estimation of the combinational circuit is performed using the procedure described above.
JP6233353A 1994-09-28 1994-09-28 LSI failure location estimation method Expired - Lifetime JP2701753B2 (en)

Priority Applications (4)

Application Number Priority Date Filing Date Title
JP6233353A JP2701753B2 (en) 1994-09-28 1994-09-28 LSI failure location estimation method
DE19536203A DE19536203A1 (en) 1994-09-28 1995-09-28 Fault diagnosis method for locating error in LSI logic circuit
US08/535,383 US5640403A (en) 1994-09-28 1995-09-28 Fault diagnosis method for a sequential circuit
KR1019950032517A KR0180327B1 (en) 1994-09-28 1995-09-28 Fault diagnosis method for a sequential circuit

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP6233353A JP2701753B2 (en) 1994-09-28 1994-09-28 LSI failure location estimation method

Publications (2)

Publication Number Publication Date
JPH0894714A true JPH0894714A (en) 1996-04-12
JP2701753B2 JP2701753B2 (en) 1998-01-21

Family

ID=16953825

Family Applications (1)

Application Number Title Priority Date Filing Date
JP6233353A Expired - Lifetime JP2701753B2 (en) 1994-09-28 1994-09-28 LSI failure location estimation method

Country Status (1)

Country Link
JP (1) JP2701753B2 (en)

Cited By (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP0853220A2 (en) 1997-01-10 1998-07-15 Honda Giken Kogyo Kabushiki Kaisha Absorption refrigerating/heating apparatus
US6301685B1 (en) 1997-11-19 2001-10-09 Nec Corporation Error propagation path extraction system, error propagation path extraction method, and recording medium recording error propagation path extraction control program
US6397362B1 (en) 1997-09-24 2002-05-28 Nec Corporation Fault diagnosis method and system for a sequential circuit
US6490710B1 (en) 2000-04-06 2002-12-03 Mitsubishi Denki Kabushiki Kaisha Logic verification method and apparatus for logic verification
US7120829B2 (en) 2001-07-12 2006-10-10 Nec Electronics Corporation Failure propagation path estimate system

Cited By (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP0853220A2 (en) 1997-01-10 1998-07-15 Honda Giken Kogyo Kabushiki Kaisha Absorption refrigerating/heating apparatus
US6397362B1 (en) 1997-09-24 2002-05-28 Nec Corporation Fault diagnosis method and system for a sequential circuit
US6301685B1 (en) 1997-11-19 2001-10-09 Nec Corporation Error propagation path extraction system, error propagation path extraction method, and recording medium recording error propagation path extraction control program
US6490710B1 (en) 2000-04-06 2002-12-03 Mitsubishi Denki Kabushiki Kaisha Logic verification method and apparatus for logic verification
US7120829B2 (en) 2001-07-12 2006-10-10 Nec Electronics Corporation Failure propagation path estimate system

Also Published As

Publication number Publication date
JP2701753B2 (en) 1998-01-21

Similar Documents

Publication Publication Date Title
Pomeranz et al. Generation of functional broadside tests for transition faults
US5640403A (en) Fault diagnosis method for a sequential circuit
Tafertshofer et al. A SAT-based implication engine for efficient ATPG, equivalence checking, and optimization of netlists
JP3137056B2 (en) Fault propagation path extraction system and method, and recording medium on which control program is recorded
Tafertshofer et al. Igraine-an implication graph-based engine for fast implication, justification, and propagation
US5944847A (en) Method and system for identifying failure point
Kim et al. Multiple faults: Modeling, simulation and test
Iyer et al. Sequentially untestable faults identified without search (" simple implications beat exhaustive search!")
JP2701753B2 (en) LSI failure location estimation method
Chen et al. Fast detection of node mergers using logic implications
JP3168988B2 (en) Fault location estimation method for sequential circuit, candidate extraction in failure location estimation and weighting method thereof, and apparatus therefor
Agrawal et al. Compact and complete test set generation for multiple stuck-faults
EP0342787A2 (en) Search method for generating test vectors for sequential logic circuits
US6378096B1 (en) On-line partitioning for sequential circuit test generation
Mahlstedt DELTEST: Deterministic test generation for gate delay faults
Kim et al. Sequential test generators: past, present and future
Golubeva BDD and DNF based algorithms for constructing all testability functions of combinational circuit
Saldanha et al. Timing optimization with testability considerations
Sharma et al. Enhanced delay defect coverage with path-segments
Syal et al. A novel, low-cost algorithm for sequentially untestable fault identification
Lin et al. Cost-free scan: a low-overhead scan path design
JP2956624B2 (en) Inverse logic expansion method for combinational logic circuits
Yotsuyanagi et al. Undetectable fault removal of sequential circuits based on unreachable states
JP3312605B2 (en) Reverse logic development system, reverse logic development method, and machine-readable recording medium recording program
Boschini et al. Combining symbolic and genetic techniques for efficient sequential circuit test generation

Legal Events

Date Code Title Description
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 19970902

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20081003

Year of fee payment: 11

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20091003

Year of fee payment: 12

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20091003

Year of fee payment: 12

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20101003

Year of fee payment: 13

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20101003

Year of fee payment: 13

S533 Written request for registration of change of name

Free format text: JAPANESE INTERMEDIATE CODE: R313533

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20101003

Year of fee payment: 13

R350 Written notification of registration of transfer

Free format text: JAPANESE INTERMEDIATE CODE: R350

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20111003

Year of fee payment: 14

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20121003

Year of fee payment: 15

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20131003

Year of fee payment: 16

EXPY Cancellation because of completion of term