JP2932749B2 - Test sequence generation method - Google Patents
Test sequence generation methodInfo
- Publication number
- JP2932749B2 JP2932749B2 JP3117259A JP11725991A JP2932749B2 JP 2932749 B2 JP2932749 B2 JP 2932749B2 JP 3117259 A JP3117259 A JP 3117259A JP 11725991 A JP11725991 A JP 11725991A JP 2932749 B2 JP2932749 B2 JP 2932749B2
- Authority
- JP
- Japan
- Prior art keywords
- test sequence
- fault
- failure
- state
- sequence
- 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.)
- Expired - Fee Related
Links
Landscapes
- Test And Diagnosis Of Digital Computers (AREA)
Description
【0001】[0001]
【産業上の利用分野】本発明は、デジタル回路の検査系
列生成方法に関するものである。BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a method for generating a test sequence for a digital circuit.
【0002】[0002]
【従来の技術】従来の検査系列生成方法は、プレンティ
スホール、イングルウッド クリフ、ニュー ジャージ
(PRENTICE−HALL,EnglewoodC
liff,NewJersey)発行の「フォールト
トレラント コンピューティングセオリ アンド テク
ニックス ボリューム I(FAULTTOLERAN
TCOMPUTINGTheoryandTechni
quesVolumeI)」のChapter1の1.
4.2「スタック アット フォールト テスティング
(StuckatFaultTesting)」と、1
989年のインターナショナルテストコンファレンスの
資料[M.H.SchulzandE.Auth,”E
SSENTIAL:AnEffectiveSelf−
LearningTestPatternGenera
tionAlgorithmforSequentia
lCircuits,”Proc.Int.TestC
onf.,pp.28−37,Aug.1989]およ
びこれらの参考文献に記載されている。2. Description of the Related Art Conventional test sequence generation methods include Prentice Hall, Inglewood Cliff, and New Jersey (Prentice-Hall, Englewood C).
life, New Jersey)
Tolerant Computing Theory and Techniques Volume I (FAULTTOLERAN)
TCOMPUTING TheoryandTechni
quesVolumeI) ”, Chapter 1.
4.2 “StuckatFaultTesting” and 1
Material of the International Test Conference of 989 [M. H. SchulzandE. Auth, "E
SENTIAL: AnEffectiveSelf-
LearningTestPatternGenera
TionAlgorithmforSequentia
1Circuits, "Proc. Int. TestC
onf. Pp. 28-37, Aug. 1989] and these references.
【0003】以下に本発明が関係する検査系列生成方法
の従来技術を図面を用いて説明する。図3は従来の順序
回路の検査系列生成方法を示す図である。The prior art of a test sequence generation method related to the present invention will be described below with reference to the drawings. FIG. 3 is a diagram showing a conventional test sequence generation method for a sequential circuit.
【0004】同図において、ステップ301は順序回路
の検査系列生成処理の開始を示す。まずステップ302
では、未検出故障でかつまだ検査系列生成の対象として
選択されていない故障が存在するか否かを判断し、未検
出故障でかつまだ検査系列生成の対象として選択されて
いない故障が存在すればステップ303に進み、存在し
なければステップ307に進む。In FIG. 1, step 301 indicates the start of a test sequence generation process for a sequential circuit. First, step 302
Then, it is determined whether or not there is a fault that has not been detected and has not yet been selected as a test sequence generation target. The process proceeds to step 303, and if not, the process proceeds to step 307.
【0005】次にステップ303では、未検出故障でか
つまだ検査系列生成の対象として選択されていない故障
群の中から目標故障として1つ故障を選択する。ステッ
プ304ではステップ303で選択した目標故障につい
て、故障箇所から任意の外部出力ピンへ目標故障を伝搬
する系列を生成する故障伝搬処理を行ない、その系列の
生成に成功したか否かを判断し、故障伝搬処理に成功す
ればステップ305に進み、失敗すればステップ302
へ進み次の故障の処理を行なう。Next, in step 303, one fault is selected as a target fault from a group of faults that have not been detected and have not yet been selected as test sequence generation targets. In step 304, for the target fault selected in step 303, a fault propagation process for generating a sequence for propagating the target fault from the fault location to an arbitrary external output pin is performed, and it is determined whether the generation of the sequence is successful. If the failure propagation process succeeds, the process proceeds to step 305;
Then, the next fault is processed.
【0006】次にステップ305では、回路の初期状態
から故障伝搬処理が終了した時点の回路の状態へ遷移さ
せる系列を生成する状態初期化処理を行ない、その系列
の生成に成功すればステップ306に進み、失敗すれば
ステップ302へ進み次の故障の処理を行なう。Next, in step 305, state initialization processing for generating a sequence for transitioning from the initial state of the circuit to the state of the circuit at the time when the failure propagation processing has been completed is performed. Proceeding, if unsuccessful, proceed to step 302 to perform processing for the next failure.
【0007】次にステップ306では、ステップ303
で選択した目標故障の検査系列で故障シミュレーション
を実行し、任意の外部出力ピンで検出された故障を未検
出故障群の中から削除する。Next, in step 306, step 303
The fault simulation is executed with the test sequence of the target fault selected in the above, and the fault detected at an arbitrary external output pin is deleted from the undetected fault group.
【0008】ステップ307は順序回路の検査系列生成
処理の終了を示す。図4は従来の順序回路の検査系列生
成方法の動作を示す図である。図4(a)は従来の順序
回路の検査系列生成方法の動作を説明するために用いる
3個のフリップフロップを持つ順序回路である。図4
(b)は図4(a)の順序回路中の故障に対して検査系
列生成を行ったときの概念図である。401は外部入力
ピンである。402は組合せ回路部分である。403は
外部出力ピンである。404〜406はフリップフロッ
プである。407は図4(a)の順序回路内の目標故障
である。408は目標故障407の故障伝搬経路であ
る。Step 307 indicates the end of the test sequence generation processing of the sequential circuit. FIG. 4 is a diagram showing the operation of a conventional test sequence generation method for a sequential circuit. FIG. 4A shows a sequential circuit having three flip-flops used for explaining the operation of a conventional test circuit generation method for a sequential circuit. FIG.
4B is a conceptual diagram when a test sequence is generated for a fault in the sequential circuit of FIG. Reference numeral 401 denotes an external input pin. 402 is a combinational circuit part. 403 is an external output pin. 404 to 406 are flip-flops. Reference numeral 407 denotes a target fault in the sequential circuit of FIG. 408 is a fault propagation path of the target fault 407.
【0009】以下に図4を用いて従来の順序回路の検査
系列生成方法の動作を説明する。目標故障407につい
て故障伝搬経路408で示すように、時刻t−1の故障
箇所から時刻tのフリップフロップ405を伝搬して時
刻tの任意の外部出力ピン403まで伝搬するような系
列を生成して、故障伝搬処理を行なう。次に状態初期化
処理を行ない、故障伝搬処理が終了した時刻t−1のフ
リップフロップ404〜406の状態から初期状態に一
致するような系列を生成する。ここで生成された系列を
合わして目標故障407に対する長さn+1の検査系列
が生成され、この検査系列で故障シミュレーションが実
行される。The operation of a conventional test circuit generation method for a sequential circuit will be described below with reference to FIG. For the target fault 407, as shown by the fault propagation path 408, a sequence is generated that propagates from the fault location at time t-1 through the flip-flop 405 at time t to any external output pin 403 at time t. And a fault propagation process. Next, a state initialization process is performed to generate a sequence that matches the initial state from the states of the flip-flops 404 to 406 at time t-1 at which the failure propagation process ends. The series generated here is
In addition, a test sequence having a length of n + 1 for the target fault 407 is generated, and a fault simulation is performed using this test sequence.
【0010】[0010]
【発明が解決しようとする課題】しかしながら上記のよ
うな検査系列生成方法では、故障伝搬処理または状態初
期化処理で失敗した場合、目標故障に対する検査系列を
途中まで生成していても検査系列を生成することをあき
らめ、次の目標故障の処理を行うため、目標故障の検査
系列生成が失敗することが多い場合、故障シミュレーシ
ョンを実行する回数が少なくなり、また回路の状態が変
化しなくなるので1度検査系列生成困難な状態に陥ると
他の故障についても検査系列生成が困難となる可能性が
大きく故障検出率が高くならないという問題点を有して
きた。However, in the above-described test sequence generation method, when the failure propagation process or the state initialization process fails, the test sequence is generated even if the test sequence for the target fault is generated halfway. If the test sequence generation of the target fault often fails in order to give up and process the next target fault, the frequency of executing the fault simulation is reduced and the state of the circuit does not change. If the test sequence generation becomes difficult, there is a high possibility that the test sequence generation becomes difficult for other faults, and the fault detection rate does not increase.
【0011】本発明は係る点に鑑みてなされ、高い故障
検出率を得ることのできる検査系列生成方法を提供する
ことを目的とする。SUMMARY OF THE INVENTION The present invention has been made in view of the above, and has as its object to provide a test sequence generation method capable of obtaining a high fault coverage.
【0012】[0012]
【課題を解決するための手段】本発明はこれらの問題点
を解決するために、順序回路中のある故障について検査
系列を求める処理において、前記故障を外部出力ピンま
で伝搬させる入力系列を生成する第1の処理と、前記順
序回路の初期状態から前記故障の伝搬が終了した時刻の
状態に遷移させる入力系列を生成する第2の処理と、前
記第1の処理と前記第2の処理で生成された入力系列を
合わせて故障の検査系列として生成し前記検査系列で故
障シミュレーションを実行する第3の処理を備え、前記
第1の処理または前記第2の処理のいずれかにおいて入
力系列の生成に失敗した際に、少なくとも失敗する直前
までに生成した途中までの検査系列の長さが1以上であ
る場合に、前記第3の処理において前記途中までの検査
系列で故障シミュレーションを実行することを特徴とす
る検査系列生成方法である。According to the present invention, in order to solve these problems, in a process for obtaining a test sequence for a certain fault in a sequential circuit, an input sequence for transmitting the fault to an external output pin is generated. a first processing and a second processing propagation of the fault from the initial state of the sequential circuit to generate an input sequence to transition to a state of time ended, before
The input sequence generated in the first processing and the second processing is
In addition, it is generated as a failure test sequence and
A third process for executing a failure simulation;
In either the first process or the second process,
When the generation of the force sequence has failed, if the length of the test sequence at least halfway through the generation just before the failure is at least 1 or more, a failure simulation is performed with the test sequence up to the halfway in the third process. This is a test sequence generation method characterized by being executed.
【0013】[0013]
【作用】本発明は、上記構成により、ある目標故障の検
査系列生成に失敗した場合にも、失敗するまでに生成し
た途中までの検査系列の長さが少なくても1以上であれ
ば、途中までに生成した検査系列で故障シミュレーショ
ンを実行することにより、目標故障以外の故障が検出で
きる可能性が大きくなり、また回路の状態が検査系列困
難な状態にあっても検査系列容易な状態に遷移できる可
能性が大きくなり高い故障検出率を得ることができる。According to the present invention, even if the test sequence generation for a certain target failure fails, if the length of the test sequence up to the halfway to be generated before the failure is at least 1 or more, the present invention will be described. By performing a fault simulation with the test sequence generated up to this point, the possibility of detecting a fault other than the target fault increases, and even if the circuit status is in a state where the test sequence is difficult, transition to a state where the test sequence is easy The possibility is increased, and a high failure detection rate can be obtained.
【0014】[0014]
【実施例】図1は本発明の実施例を示すために用いる順
序回路の検査系列方法の流れ図である。図1に於て、ス
テップ101は、順序回路の検査系列生成処理の開始を
示す。まずステップ102では、未検出故障でかつまだ
検査系列生成の対象として選択されていない故障が存在
するか否かを判断し、未検出故障でかつまだ検査系列生
成の対象として選択されていない故障が存在すればステ
ップ103に進み、存在しなければステップ108に進
む。FIG. 1 is a flow chart of a test sequence method for a sequential circuit used to show an embodiment of the present invention. In FIG. 1, step 101 indicates the start of the test sequence generation processing of the sequential circuit. First, in step 102, it is determined whether or not there is a fault that has not been detected and has not yet been selected as a test sequence generation target. If there is, the process proceeds to step 103, and if not, the process proceeds to step 108.
【0015】次にステップ103では、未検出故障でか
つまだ検査系列生成の対象として選択されていない故障
群の中から目標故障として1つ故障を選択する。ステッ
プ104ではステップ103で選択した目標故障につい
て、故障箇所から任意の外部出力ピンへ目標故障を伝搬
する系列を生成する故障伝搬処理を行ない、その系列の
生成に成功したか否かを判断し、故障伝搬処理に成功す
ればステップ105に進み、失敗すればステップ106
へ進む。Next, in step 103, one fault is selected as a target fault from a fault group that has not been detected yet and has not yet been selected as a test sequence generation target. In step 104, for the target fault selected in step 103, a fault propagation process for generating a sequence for propagating the target fault from the fault location to any external output pin is performed, and it is determined whether or not the generation of the sequence is successful. If the failure propagation process succeeds, the process proceeds to step 105;
Proceed to.
【0016】次にステップ105では、回路の初期状態
から故障伝搬処理が終了した時の回路の状態へ遷移させ
る系列を生成する状態初期化処理を行ない、その系列の
生成に成功すればステップ107に進み、失敗すればス
テップ106へ進む。Next, in step 105, state initialization processing for generating a sequence for transitioning from the initial state of the circuit to the state of the circuit when the failure propagation processing is completed is performed. If the generation of the series is successful, the process proceeds to step 107. Proceed to step 106 if unsuccessful.
【0017】次にステップ106では、ステップ104
とステップ105で生成された系列を合わして途中まで
の検査系列とし、検査系列生成に失敗した時点で途中ま
で生成した検査系列の長さが1以上であるか否かを判断
し、途中までの検査系列の長さが1以上であればステッ
プ107へ進み、1未満すなわち検査系列がまったく生
成できなかった場合であればステップ102へ進み、次
の故障の処理を行なう。Next, in step 106, step 104
And the series generated in step 105
When the test sequence generation fails, it is determined whether the length of the partially generated test sequence is 1 or more. If the length of the partial test sequence is 1 or more, step 107 is performed. If the result is less than 1, that is, if a test sequence cannot be generated at all, the process proceeds to step 102, where the next fault is processed.
【0018】次にステップ107では、ステップ103
で選択した目標故障のステップ104とステップ105
で生成された系列を合わした検査系列または途中まで生
成した長さ1以上の途中までの検査系列で故障シミュレ
ーションを実行し、任意の外部出力ピンで検出された故
障を未検出故障群の中から削除する。Next, in step 107, step 103
Step 104 and Step 105 of the target failure selected in
The fault simulation is executed with the test sequence obtained by combining the sequences generated in the above or the test sequence with a length of 1 or more that has been generated halfway, and the fault detected at any external output pin is selected from the undetected fault group. delete.
【0019】ステップ108は順序回路内のある故障の
検査系列生成処理の終了を示す。図2は本発明に係る順
序回路の検査系列生成の動作説明図である。図2(a)
は本発明に係る順序回路の検査系列生成の動作を説明す
るために用いる回路図である。図2(b)は図2(a)
の順序回路中の故障に対して検査系列生成を行ったとき
の概念図である。図2(c)は図2(b)で示す検査系
列生成を行なう時点での故障リストの伝搬状況を示した
図である。図2(d)は図2(a)の回路の状態遷移図
である。Step 108 indicates the end of the test sequence generation processing for a certain fault in the sequential circuit. FIG. 2 is an explanatory diagram of an operation of generating a test sequence of a sequential circuit according to the present invention. FIG. 2 (a)
FIG. 3 is a circuit diagram used to explain an operation of generating a test sequence in a sequential circuit according to the present invention. FIG. 2 (b) is the same as FIG.
3 is a conceptual diagram when a test sequence is generated for a fault in the sequential circuit of FIG. FIG. 2C is a diagram showing the propagation status of the fault list at the time of performing the test sequence generation shown in FIG. 2B. FIG. 2D is a state transition diagram of the circuit of FIG.
【0020】201は外部入力ピンである。202は組
合せ回路部分である。203は外部出力ピンである。2
04〜206はフリップフロップである。207は目標
故障である。208は故障伝搬経路である。209は目
標故障207に対する検査系列生成を行なう時点で、フ
リップフロップ204に伝搬している故障リストであ
る。210は目標故障207に対する検査系列生成を行
なう時点で、フリップフロップ205に伝搬している故
障リストである。211は目標故障207に対する検査
系列生成を行なう時点で、フリップフロップ206に伝
搬している故障リストである。212〜216は状態遷
移図中の状態を示す。217〜226は状態遷移図中の
遷移先を示す。Reference numeral 201 denotes an external input pin. 202 is a combinational circuit part. 203 is an external output pin. 2
04 to 206 are flip-flops. 207 is a target failure. 208 is a fault propagation path. Reference numeral 209 denotes a failure list that has been propagated to the flip-flop 204 when the test sequence is generated for the target failure 207. Reference numeral 210 denotes a fault list that has been propagated to the flip-flop 205 at the time of generating a test sequence for the target fault 207. Reference numeral 211 denotes a failure list that has been propagated to the flip-flop 206 at the time of generating a test sequence for the target failure 207. Reference numerals 212 to 216 denote states in the state transition diagram. 217 to 226 indicate transition destinations in the state transition diagram.
【0021】以下に図2を用いて本発明に係る順序回路
の検査系列生成方法の動作を説明する。図2(a)の順
序回路に対して検査系列生成を行なう。図2(b)に示
すようにまず目標故障として207を選択する。次に故
障伝搬経路208を伝搬して外部出力ピン203に故障
が伝搬するような系列を生成する。次に回路の初期状態
から時刻t−1の状態すなわち故障伝搬処理が終了した
時点での状態へ遷移するような系列を生成しようとする
が、その状態初期化処理の途中で状態初期化系列の生成
に失敗したとすると、失敗する直前までに生成していた
状態初期化系列と故障伝搬系列を合わした途中までの検
査系列で故障シミュレーションを実行する。The operation of the test sequence generation method for a sequential circuit according to the present invention will be described below with reference to FIG. Test sequence generation is performed on the sequential circuit of FIG. First, as shown in FIG. 2B, 207 is selected as the target failure. Next, a sequence is generated that propagates through the fault propagation path 208 and propagates the fault to the external output pin 203. Next, an attempt is made to generate a sequence that transitions from the initial state of the circuit to the state at time t−1, that is, the state at the time when the fault propagation processing ends, but during the state initialization processing, Assuming that generation has failed, it is necessary to perform a partial detection of the state initialization sequence and the fault propagation sequence that were generated just before the failure.
Execute failure simulation in the inspection sequence .
【0022】ここで図2(c)に示すように、目標故障
207に対する検査系列生成を行なう時点での故障リス
トの伝搬状況は、フリップフロップ204に故障aとb
を含んだ故障リスト209が、フリップフロップ205
に故障cとdを含んだ故障リスト210が、フリップフ
ロップ206に故障eとfを含んだ故障リスト211が
伝搬している。すなわち、故障aとbがフリップフロッ
プ204に、故障cとdがフリップフロップ205に、
故障eとfがフリップフロップ206に伝搬している。
目標故障207に対する検査系列生成は失敗したが、故
障伝搬系列の生成には少なくとも成功しており、故障伝
搬経路208に示すようにフリップフロップ204を伝
搬して外部出力ピン203に伝搬している、すなわちフ
リップフロップ204に伝搬している故障に対する検査
系列を生成しているので、検査系列生成に失敗する直前
までに生成していた状態初期化系列と故障伝搬系列を合
わした途中までの検査系列で故障シミュレーションを実
行するとフリップフロップ204まで伝搬していた故障
aとbが外部出力ピン203で検出される可能性があ
る。もちろん、目標故障以外の他の故障を外部出力ピン
203で検出できる可能性もある。Here, as shown in FIG. 2C, the propagation status of the fault list at the time of generating the test sequence for the target fault 207 indicates that the flip-flop 204 has faults a and b.
List 209 including the flip-flop 205
A fault list 210 including faults c and d is propagated to the flip-flop 206, and a fault list 211 including faults e and f is propagated to the flip-flop 206. That is, the faults a and b are in the flip-flop 204, the faults c and d are in the flip-flop 205,
Faults e and f have propagated to flip-flop 206.
Although the test sequence generation for the target fault 207 has failed, the generation of the fault propagation sequence has been at least successful, and the test sequence has propagated through the flip-flop 204 to the external output pin 203 as shown in the fault propagation path 208. That is, since the test sequence for the fault propagating to the flip-flop 204 is generated, the state initialization sequence and the fault propagation sequence generated just before the test sequence generation failed are combined.
When a failure simulation is performed in the test sequence up to the middle, the failures a and b that have propagated to the flip-flop 204 may be detected at the external output pin 203. Of course, there is a possibility that a failure other than the target failure can be detected by the external output pin 203.
【0023】また図2(d)に示すように、初期状態が
212で、216の状態に遷移しなければ検査系列生成
ができないような故障が数多く存在する時、212から
219を通って214の状態へ、214から220を通
って213の状態へ、213の状態から218を通って
212の状態へ遷移し、ループに陥り、検査系列生成に
失敗したとき、ある故障に対する検査系列生成の途中ま
での検査系列で故障シミュレーションすることによって
状態が215に遷移する可能性があるので、選択なしで
216の状態に遷移できることがわかる。よって216
の状態に遷移しなければ検査系列生成ができないような
他の故障についても検査系列生成に成功する可能性があ
る。図5にISCAS89(インターナショナルシンポ
ジュームサーキットアンドシステム89)のベンチマー
ク回路で実験した結果を示す。As shown in FIG. 2 (d), when the initial state is 212 and there are many faults that cannot be generated unless a transition to the state of 216 is made, a sequence of 214 through 212 to 219 is executed. The state transitions from state 214 to state 213 through state 220 to state 213 from state 213 to state 212 through state 218. When the state falls into a loop and the test sequence generation fails, the test sequence generation for a certain fault is performed halfway. Since the state may transition to 215 by performing a failure simulation with the test sequence of, it can be seen that the state can transition to 216 without selection. Therefore 216
There is a possibility that the test sequence generation may succeed even for other faults for which the test sequence cannot be generated unless the state transitions to the above state. FIG. 5 shows the results of an experiment performed using a benchmark circuit of ISCAS89 (International Symposium Circuit and System 89).
【0024】以上のように、本実施例によれば、ある目
標故障に対する検査系列生成に失敗しても、失敗する直
前までに少なくとも長さ1以上の検査系列を生成してい
れば、その途中までに生成した途中までの検査系列で故
障シミュレーションを実行することにより、目標故障以
外の他の故障を検出できる可能性があり、また初期状態
が検査系列生成困難な状態であり、検査系列生成に失敗
したときに、失敗する直前までに少なくとも長さ1以上
の途中までの検査系列を生成していれば、その途中まで
の検査系列で故障シミュレーションを実行することによ
り、検査系列生成が容易な状態に遷移する可能性があり
故障検出率が向上する。As described above, according to this embodiment, even if the generation of a test sequence for a certain target failure fails, if a test sequence having a length of at least 1 is generated immediately before the failure, the test sequence may be interrupted. By performing a fault simulation on the test sequence up to the middle of the test sequence, there is a possibility that other faults than the target fault can be detected.In addition, the initial state is a state where test sequence generation is difficult. If a test sequence at least halfway through the length of at least 1 has been generated just before the failure at the time of the failure, the failure simulation is performed on the test sequence up to the halfway to make it easy to generate the test sequence. And the fault detection rate is improved.
【0025】[0025]
【発明の効果】以上述べてきたように、本発明に係る検
査系列方法は、従来の順序回路の検査系列方法が有して
いた打ち切り故障が多発したときに、故障検出率が高く
ならないという課題を解決したものであり、高故障検出
率な検査系列を生成することができる。As described above, the test sequence method according to the present invention has a problem that the fault detection rate does not increase when a large number of censored faults occur in the conventional test sequence method for sequential circuits. Thus, a test sequence with a high failure detection rate can be generated.
【図1】本発明の実施例を示すために用いる検査系列生
成方法の流れ図FIG. 1 is a flowchart of a test sequence generation method used to show an embodiment of the present invention.
【図2】 (a)は本発明に係る順序回路の検査系列生成方法の動
作説明に用いる回路図 (b)は本発明に係る順序回路の検査系列生成方法の動
作を説明するための概念図 (c)は本発明に係る順序回路の検査系列生成方法を適
用する直前の故障リストの伝搬状況を説明するための回
路図 (d)は本発明に係る順序回路の検査系列生成方法の効
果を示すための状態遷移図FIG. 2A is a circuit diagram used for explaining the operation of a method for generating a test sequence of a sequential circuit according to the present invention; FIG. 2B is a conceptual diagram for explaining the operation of the method for generating a test sequence of a sequential circuit according to the present invention; (C) is a circuit diagram for explaining the propagation status of the fault list immediately before applying the test sequence generation method of the sequential circuit according to the present invention. (D) shows the effect of the test sequence generation method of the sequential circuit according to the present invention. State transition diagram for showing
【図3】従来の順序回路の検査系列生成方法の流れ図FIG. 3 is a flowchart of a conventional test circuit generation method for a sequential circuit;
【図4】 (a)は従来の順序回路の検査系列生成方法の動作説明
に用いる回路図 (b)は従来の順序回路の検査系列生成方法の動作を説
明するための概念図FIG. 4A is a circuit diagram used to explain the operation of a conventional sequential circuit test sequence generation method. FIG. 4B is a conceptual diagram for explaining the operation of a conventional sequential circuit test sequence generation method.
【図5】本発明と従来技術におけるISCAS89のベ
ンチマーク回路による実験結果を示した図FIG. 5 is a diagram showing an experimental result by a benchmark circuit of ISCAS89 in the present invention and the prior art.
106 故障伝搬処理または状態初期化処理に失敗した
場合、失敗する直前までに生成された途中までの検査系
列の長さが1以上であるか否かを判断する処理 107 ある目標故障に対する検査系列または処理10
6で故障伝搬処理または状態初期化処理に失敗した場
合、失敗する直前までに生成された検査系列の長さが1
以上である途中までの検査系列で故障シミュレーション
を実行する処理106 When the failure propagation process or the state initialization process fails, a process of determining whether or not the length of the partial test sequence generated just before the failure is 1 or more 107 Inspection sequence or processing 10 for failure
If the failure propagation processing or the state initialization processing fails in step 6, the length of the test sequence generated until immediately before the failure is 1
A process for executing a failure simulation with a test sequence up to the middle of the above
Claims (1)
を求める処理において、前記故障を外部出力ピンまで伝
搬させる入力系列を生成する第1の処理と、前記順序回
路の初期状態から前記故障の伝搬が終了した時刻の状態
に遷移させる入力系列を生成する第2の処理と、前記第
1の処理と前記第2の処理で生成された入力系列を合わ
せて故障の検査系列として生成し前記検査系列で故障シ
ミュレーションを実行する第3の処理を備え、前記第1
の処理または前記第2の処理のいずれかにおいて入力系
列の生成に失敗した際に、少なくとも失敗する直前まで
に生成した途中までの検査系列の長さが1以上である場
合に、前記第3の処理において前記途中までの検査系列
で故障シミュレーションを実行することを特徴とする検
査系列生成方法。In a process for obtaining a test sequence for a certain fault in a sequential circuit, a first process for generating an input sequence for transmitting the fault to an external output pin, and a process of transmitting the fault from an initial state of the sequential circuit A second process for generating an input sequence that causes a transition to a state at the time when the process has ended, and the input sequence generated in the first process and the second process are combined to generate a test sequence for a failure, and A third process for executing a failure simulation in the first
When the generation of the input sequence fails in any of the processing of the second processing or the second processing, if the length of the test sequence at least halfway through the generation before the failure is at least 1 or more, A test sequence generation method, characterized in that a fault simulation is executed in the test sequence halfway through the process.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3117259A JP2932749B2 (en) | 1991-05-22 | 1991-05-22 | Test sequence generation method |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3117259A JP2932749B2 (en) | 1991-05-22 | 1991-05-22 | Test sequence generation method |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH04344943A JPH04344943A (en) | 1992-12-01 |
| JP2932749B2 true JP2932749B2 (en) | 1999-08-09 |
Family
ID=14707335
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP3117259A Expired - Fee Related JP2932749B2 (en) | 1991-05-22 | 1991-05-22 | Test sequence generation method |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP2932749B2 (en) |
-
1991
- 1991-05-22 JP JP3117259A patent/JP2932749B2/en not_active Expired - Fee Related
Also Published As
| Publication number | Publication date |
|---|---|
| JPH04344943A (en) | 1992-12-01 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JP4488595B2 (en) | Test pattern generation method | |
| US9710586B2 (en) | Automated state machine extraction for rapid-single flux-quantum circuits | |
| JPH05113468A (en) | Inspection sequence generation method | |
| JPH11153646A (en) | Defective propagation path extracting system and its method, and a recording medium recording its control program | |
| JP2607029B2 (en) | Signal transition propagation detection method | |
| JP2932749B2 (en) | Test sequence generation method | |
| JP2616165B2 (en) | Test input generation method and test facilitation design method | |
| JPH0587885A (en) | Generation of inspection series | |
| JP2785901B2 (en) | Test sequence generation method and test sequence generation device | |
| Corno et al. | Improving topological ATPG with symbolic techniques | |
| Syal et al. | A novel, low-cost algorithm for sequentially untestable fault identification | |
| Kung et al. | HyHOPE: fast fault simulator with efficient simulation of hypertrophic faults | |
| JP4577475B2 (en) | Method and apparatus for property verification of synchronous sequential circuit | |
| Kajihara et al. | Efficient techniques for multiple fault test generation | |
| El-Maleh et al. | A fast sequential learning technique for real circuits with application to enhancing ATPG performance | |
| JP2017059185A (en) | Scan test circuit and scan test device | |
| Cheng | Test generation for delay faults in non-scan and partial scan sequential circuits | |
| Yotsuyanagi et al. | Undetectable fault removal of sequential circuits based on unreachable states | |
| JPH04344481A (en) | Method for generating inspection series | |
| JP2569881B2 (en) | Concurrent failure simulation method | |
| JP2621617B2 (en) | Test sequence generation method | |
| JP2996293B2 (en) | Failure simulation method | |
| Yoshimura et al. | A Don't Care Filling Method for Low Capture Power based on Correlation of FF Transitions Using SAT | |
| JP2855992B2 (en) | Automatic generation of test input sequence | |
| JP2658857B2 (en) | Equivalent fault extraction method and device |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| LAPS | Cancellation because of no payment of annual fees |