JPH05307585A - Failure simulator - Google Patents
Failure simulatorInfo
- Publication number
- JPH05307585A JPH05307585A JP11120492A JP11120492A JPH05307585A JP H05307585 A JPH05307585 A JP H05307585A JP 11120492 A JP11120492 A JP 11120492A JP 11120492 A JP11120492 A JP 11120492A JP H05307585 A JPH05307585 A JP H05307585A
- Authority
- JP
- Japan
- Prior art keywords
- fault
- simulation
- circuit
- failure
- output
- 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.)
- Withdrawn
Links
Landscapes
- Tests Of Electronic Circuits (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
Description
【0001】[0001]
【産業上の利用分野】本発明は、組み合わせ回路を対象
とした故障シミュレーション方式に関する。VLSIを
製造する場合には、その設計段階において、製品の不良
検査のためにテストパターンを生成する必要がある。故
障シミュレーションは、テストパターン生成で得られた
テストパターンが、どれだけの故障を検出できるかを調
べるために行なうものである。BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a fault simulation system for combinational circuits. When manufacturing a VLSI, it is necessary to generate a test pattern for product defect inspection at the design stage. The fault simulation is performed to check how many faults the test pattern obtained by the test pattern generation can detect.
【0002】また、故障シミュレーションは、テストパ
ターン生成において、ランダムな入力パターンから検出
しやすい故障を検出するための前処理としても使用され
ることがある。The fault simulation may also be used as a pre-process for detecting a fault that is easily detected from a random input pattern in test pattern generation.
【0003】[0003]
【従来の技術】従来から使われている故障シミュレーシ
ョンは、汎用計算機のソフトウェアにより実現されてい
る。図13は、故障シミュレーションについて説明する
図である。故障シミュレーションは、対象回路103,
104に対してある入力パターン100,101を与え
た時、正常な対象回路104の出力結果105と、故障
データ102が挿入されている対象回路103の出力結
果106とが同一か、異なるかを検査する。2. Description of the Related Art Conventionally used fault simulation is realized by software of a general-purpose computer. FIG. 13 is a diagram for explaining the failure simulation. The failure simulation is performed on the target circuit 103,
When certain input patterns 100 and 101 are given to 104, it is checked whether the output result 105 of the normal target circuit 104 and the output result 106 of the target circuit 103 in which the failure data 102 are inserted are the same or different. To do.
【0004】もし、出力結果105と、出力結果106
とが異なっているならば、その入力パターン100,1
01は対象回路103,104において、その故障を検
出することができたといえる。しかし、出力結果105
と、出力結果106とが同一であったならば、その入力
パターン100,101は対象回路103,104にお
いて、その故障を検出することはできないといえる。こ
の故障は、他の入力パターンで検出する必要がある。If output result 105 and output result 106
, And the input pattern 100, 1
It can be said that 01 can detect the failure in the target circuits 103 and 104. However, the output result 105
If the output result 106 is the same, it can be said that the input patterns 100 and 101 cannot detect the failure in the target circuits 103 and 104. This fault needs to be detected by another input pattern.
【0005】図14に、故障シミュレータの構成図を示
す。故障シミュレータ110は、対象回路の回路データ
111、入力パターン112、及び故障データ113を
ユーザから受け取る。故障シミュレータ110は、その
内部に対象回路の論理シミュレーションを行なう機構を
持ち、正常回路と故障回路の論理シミュレーションを行
なう。FIG. 14 shows a block diagram of the failure simulator. The failure simulator 110 receives the circuit data 111 of the target circuit, the input pattern 112, and the failure data 113 from the user. The fault simulator 110 has therein a mechanism for performing a logic simulation of a target circuit, and performs a logic simulation of a normal circuit and a fault circuit.
【0006】また、故障シミュレータ110は、その論
理シミュレーションの結果から、故障が検出されたかど
うかを調べる機構や、対象回路に入力を与える機構を持
つ。図15は、一般的な故障シミュレータが行なう故障
シミュレーションアルゴリズムを説明する流れ図であ
る。図中、英字符Sで始まる参照符S150〜S159
は、処理番号を表わすものとし、以下、その処理番号を
対応する説明の後に、括弧付き等で示すこととする。Further, the fault simulator 110 has a mechanism for checking whether or not a fault has been detected from the result of the logic simulation, and a mechanism for supplying an input to the target circuit. FIG. 15 is a flowchart illustrating a fault simulation algorithm performed by a general fault simulator. In the figure, reference marks S150 to S159 starting with the letter S
Represents a process number, and the process number will be shown in parentheses after the corresponding description.
【0007】まず、入力パターンリスト114に、まだ
シミュレーションをしていない入力パターンが残ってい
るかどうかを調べる。もしなければそこで処理を終了す
る(S150)。次のステップでは、入力パターンを対
象回路に与える(S151)。ここで、対象回路論理シ
ミュレーション116は、正常回路の論理シミュレーシ
ョンを行なう(S152)。First, it is checked whether or not there is an input pattern which has not been simulated yet in the input pattern list 114. If not, the process ends there (S150). In the next step, the input pattern is given to the target circuit (S151). Here, the target circuit logic simulation 116 performs a logic simulation of a normal circuit (S152).
【0008】そして、対象回路論理シミュレーション1
16は、故障を挿入していない状態での論理シミュレー
ションを行なう。なお、このときの対象回路の出力の論
理値は、正常回路出力117として保存しておくことと
する。Then, the target circuit logic simulation 1
16 performs a logic simulation with no fault inserted. The logical value of the output of the target circuit at this time is stored as the normal circuit output 117.
【0009】続いて、故障データリスト115にまだ挿
入していない故障が残っているかどうかを調べる。も
し、すべての故障を挿入していたならば、新たな入力パ
ターンを挿入するため、S150の処理に戻る(S15
3)。次のステップでは、対象回路に故障を挿入する
(S154)。この故障挿入とは、対象回路の信号線上
において、対象回路の外部からその論理値を書き換える
ことをいう。Next, it is checked whether or not there is a failure that has not been inserted in the failure data list 115. If all the faults have been inserted, the process returns to S150 to insert a new input pattern (S15).
3). In the next step, a fault is inserted in the target circuit (S154). This fault insertion means rewriting the logical value of the signal line of the target circuit from outside the target circuit.
【0010】故障を挿入したならば、論理シミュレーシ
ョンを行なう。ここでは、故障を挿入したことによって
対象回路で発生したイベントを処理する(S155)。
なお、このときの対象回路の出力の論理値は、故障回路
出力118として保存しておくこととする。When the fault is inserted, a logic simulation is performed. Here, the event generated in the target circuit due to the insertion of the fault is processed (S155).
The logical value of the output of the target circuit at this time is stored as the fault circuit output 118.
【0011】続いて、比較手段119を用いて、正常回
路出力117と、故障回路出力118の論理値を比較
し、故障が検出できたかを調べる(S156)。この比
較結果が異なっている場合には、そのとき対象回路に与
えている入力パターンで、そのとき挿入していた故障を
検出できることになる。Subsequently, the comparison means 119 is used to compare the logical values of the normal circuit output 117 and the fault circuit output 118 to check whether a fault can be detected (S156). If the comparison results are different, it is possible to detect the fault inserted at that time by the input pattern given to the target circuit at that time.
【0012】検出できることとなった故障は、故障ドロ
ップを行ない、故障データリストから取り除く(S15
7)。一度検出できた故障は、別の入力パターンでも検
出できるかを調べる必要がない。そのため、故障データ
のテーブルである未検出故障リストから、検出できるこ
ととなった故障データを削除する。故障ドロップとは、
検出できた故障データを未検出故障リストから削除する
処理をいう。Faults that can be detected are dropped and removed from the fault data list (S15).
7). A fault that can be detected once does not need to be examined whether it can be detected by another input pattern. Therefore, the failure data that can be detected is deleted from the undetected failure list, which is a table of failure data. What is a failure drop?
The process of deleting the detected failure data from the undetected failure list.
【0013】故障ドロップに続くステップでは、最初に
与えた故障データが、全て検出できたかを調べる。未検
出リストに故障データが残っていなくて、故障が全て検
出できていたならば、故障シミュレーションを終了する
(S158)。In the step following the failure drop, it is checked whether or not all the failure data given first can be detected. If no failure data remains in the undetected list and all the failures have been detected, the failure simulation ends (S158).
【0014】故障データがまだ残っていたならば、故障
削除を行ない(S159)、S153の処理に戻って、
残りの故障データについてのシミュレーションを行な
う。故障削除とは、S154の故障挿入によって書き換
えられた信号線の論理値を、故障挿入を行なう前の状態
に書き戻すことをいう。すなわち、この処理を行なうこ
とにより、対象回路内の全ての論理値は、正常回路と同
じ状態に戻る。If the fault data still remains, the fault is deleted (S159) and the process returns to S153.
The remaining failure data is simulated. Fault deletion refers to rewriting the logical value of the signal line rewritten by the fault insertion in S154 to the state before the fault insertion. That is, by performing this process, all the logical values in the target circuit return to the same state as in the normal circuit.
【0015】[0015]
【発明が解決しようとする課題】以上説明した従来の故
障シミュレータは、ソフトウェアで構成されていたた
め、その処理に膨大な時間を必要としていた。更に、近
年の設計回路の大規模化に伴い、その処理時間は、ます
ます増加する傾向にある。Since the conventional failure simulator described above is composed of software, its processing requires a huge amount of time. Further, with the recent increase in scale of design circuits, the processing time tends to increase more and more.
【0016】ところで、現在CADツールとして一般的
になりつつあるものとして、論理シミュレータ実行機構
というものがある。これは、論理シミュレーションを行
なうハードウェアツールで、現在、専用マシン、ハード
ウェアエミュレータなどが存在している。By the way, a logic simulator execution mechanism is becoming popular as a CAD tool at present. This is a hardware tool that performs logical simulation, and currently there are dedicated machines and hardware emulators.
【0017】専用マシンとは、論理シミュレーションを
高速に実行するために最適化されたアーキテクチャを持
つマシンで、それまでソフトウェアで実現されていた論
理シミュレーションの演算を、ハードウェアで並列に実
行するなどの手法を用いて高速化を実現させたものであ
る。The dedicated machine is a machine having an architecture optimized for high-speed execution of logic simulation, and executes operations of logic simulation, which have been realized by software until then, in parallel by hardware. This is a method that achieves high speed.
【0018】また、ハードウェアエミュレータとは、対
象回路をプログラマブルに実現するハードウェアで、対
象回路と同じ回路構造の回路をこの上で構築することに
より、論理シミュレーションを実現するものである。こ
れらの論理シミュレーション実行機構は、ソフトウェア
による論理シミュレーションに比べ、1000倍から1
00万倍の実行速度を誇る。The hardware emulator is hardware that implements a target circuit in a programmable manner, and implements a logic simulation by constructing a circuit having the same circuit structure as the target circuit on the hardware. These logic simulation execution mechanisms are 1000 times to 1 times as compared with the logic simulation by software.
Boasts an execution speed of, 000,000 times.
【0019】故障シミュレーションでも、論理シミュレ
ーションのように専用マシンは存在している。しかし、
ハードウェア開発において設計回路が仕様通りに動作す
るかを調べる論理シミュレーションに対し、故障シミュ
レーションは実行頻度が著しく少なく、構成も複雑なた
め、コストが高くなるという問題点がある。Even in the fault simulation, a dedicated machine exists like the logic simulation. But,
In contrast to the logical simulation for checking whether the design circuit operates according to the specifications in hardware development, the failure simulation has a problem that the cost is high because the execution frequency is extremely low and the configuration is complicated.
【0020】本発明は、論理シミュレーション実行機構
を使用して故障シミュレーションを行なおうとするもの
である。すなわち、故障シミュレーションアルゴリズム
を回路化して対象回路に組み込み、それを論理シミュレ
ーション実行機構上でシミュレーションすることによ
り、たいへん高速な故障シミュレーションを実現するこ
とを目的とする。The present invention is intended to perform a fault simulation using a logic simulation execution mechanism. That is, an object of the present invention is to realize a very high-speed fault simulation by converting the fault simulation algorithm into a circuit, incorporating it into a target circuit, and simulating it on a logic simulation execution mechanism.
【0021】[0021]
【課題を解決するための手段】本発明によれば、上述の
目的は、前記特許請求の範囲に記載した手段にて達成さ
れる。すなわち、本発明は、故障リストに存在する任意
の故障を検出するために作成する多様な入力パターン
が、実際に個々の故障を検出することができるものであ
るかどうかを調べ、その結果得られた入力パターンを用
いて故障シミュレーションを行なうための装置であっ
て、論理シミュレーション実行機構を擁し、正常な対象
回路、及び故障を挿入した対象回路の論理シミュレーシ
ョンを行なう回路シミュレーション部と、回路シミュレ
ーション部の出力に、故障の影響が発生したかを検査す
る出力検査部とを具備する故障シミュレータである。According to the present invention, the above object is achieved by means as set forth in the claims. That is, the present invention examines whether various input patterns created to detect any fault existing in the fault list can actually detect individual faults, and as a result, A device for performing a fault simulation using the input pattern, which has a logic simulation executing mechanism, and which performs a logic simulation of a normal target circuit and a target circuit in which a fault is inserted, and a circuit simulation unit. It is a failure simulator including an output inspection unit that inspects whether an influence of a failure has occurred on an output.
【0022】図1は、本発明の原理を説明する図であ
る。図中、回路シミュレーション部3、出力検査部4
は、故障シミュレーション回路、すなわち論理シミュレ
ーション実行機構上で実現し、それ以外はホストで処理
する。FIG. 1 is a diagram for explaining the principle of the present invention. In the figure, a circuit simulation unit 3 and an output inspection unit 4
Is implemented on the fault simulation circuit, that is, the logic simulation execution mechanism, and the others are processed by the host.
【0023】[0023]
【作用】図1において、入力パターン挿入部1は、入力
パターン7を回路シミュレーション部3に挿入する。故
障データ挿入部2は、故障データ抽出6が故障リスト8
から抽出した故障データを、回路シミュレーション部3
に挿入する。故障ドロップ5は、検出できることとなっ
た故障データを、故障リスト8から取り除く。In FIG. 1, the input pattern inserting section 1 inserts the input pattern 7 into the circuit simulation section 3. In the fault data insertion unit 2, the fault data extraction 6 is the fault list 8
The failure data extracted from the circuit simulation unit 3
To insert. The failure drop 5 removes failure data that can be detected from the failure list 8.
【0024】図2は、本発明の概念を説明する図であ
る。故障シミュレーションを実行する上では、回路デー
タ10、入力パターン12、故障データ11が必要であ
る。ホストマシン19は、回路変換13により、それら
のデータを、論理シミュレーション実行機構上で故障シ
ミュレーションを実行する回路のデータ、すなわち故障
シミュレーション回路データ14に変換する。FIG. 2 is a diagram for explaining the concept of the present invention. The circuit data 10, the input pattern 12, and the failure data 11 are necessary for executing the failure simulation. The host machine 19 converts the data into the data of the circuit that executes the failure simulation on the logic simulation execution mechanism, that is, the failure simulation circuit data 14 by the circuit conversion 13.
【0025】変換した回路データは、論理シミュレーシ
ョン実行機構20上で論理シミュレーション15する。
その論理シミュレーション結果16は、ホストマシン1
9へ送る。ホストマシン19では、論理シミュレーショ
ン結果16を解析し、データ変換17により、故障シミ
ュレーション結果18を得る。The converted circuit data is subjected to a logic simulation 15 on the logic simulation executing mechanism 20.
The logical simulation result 16 is the result of the host machine 1
Send to 9. The host machine 19 analyzes the logic simulation result 16 and obtains the failure simulation result 18 by the data conversion 17.
【0026】対象回路を、故障シミュレーション回路の
回路シミュレーション部に変換する概念図を図3に示
す。回路シミュレーション部は、入力パターン、故障デ
ータをその入力としている。回路シミュレーション部で
行なう処理は、 対象回路の論理シミュレーション 対象回路への故障挿入、削除 である。FIG. 3 shows a conceptual diagram for converting the target circuit into the circuit simulation section of the failure simulation circuit. The circuit simulation unit receives the input pattern and the failure data as its input. The processing performed by the circuit simulation unit is the logic simulation of the target circuit and the insertion and deletion of a fault in the target circuit.
【0027】の処理は、論理シミュレーション実行機
構上では、対象回路をそのまま実現させるだけでよい。
しかし、の処理は、対象回路の個々のゲート33〜3
5の入力線、出力線に対して、故障データ30〜32の
挿入、削除が可能な回路に変換する必要がある。図3
(b)に、回路変換後の故障データ36〜38及びゲー
ト39〜41を示す。The processing of (1) may be realized by directly implementing the target circuit on the logic simulation executing mechanism.
However, the process of (3) is performed on each gate 33 to 3 of the target circuit.
It is necessary to convert the input and output lines of No. 5 into circuits in which the failure data 30 to 32 can be inserted and deleted. Figure 3
(B) shows the fault data 36 to 38 and the gates 39 to 41 after the circuit conversion.
【0028】図4に、故障データによる対象回路のゲー
ト変換について示す。故障シミュレーションで用いる故
障モデルは、縮退故障モデルが一般的である。縮退故障
モデルというのは、素子の入出力線の論理値が”1”又
は”0”に固定される故障モデルである。FIG. 4 shows the gate conversion of the target circuit based on the failure data. The stuck-at fault model is generally used as the fault model used in the fault simulation. The stuck-at fault model is a fault model in which the logical value of the input / output line of the element is fixed to "1" or "0".
【0029】図4に示すように、対象回路のANDゲー
ト45に対する故障データとして、「ゲート出力にS.
A.1」という故障データがあった場合、例えば、変換
によって新たな入力fを加えることにより、図(b)中
に示す真理値表を満足するゲート回路46を得る。As shown in FIG. 4, as failure data for the AND gate 45 of the target circuit, "S.
A. When there is failure data "1", for example, a new input f is added by conversion to obtain the gate circuit 46 that satisfies the truth table shown in FIG.
【0030】図5に、出力検査部の構成例を示す。出力
検査部50では、故障を挿入しないときの対象回路の出
力の論理値と、対象回路に故障を挿入したときの出力の
論理値とを比較し、その結果から故障の影響が検出でき
たかを調べる。FIG. 5 shows a configuration example of the output inspection unit. The output inspection unit 50 compares the logical value of the output of the target circuit when the fault is not inserted with the logical value of the output when the fault is inserted in the target circuit, and determines whether the influence of the fault can be detected from the result. Find out.
【0031】図5において、切り替え部51では、その
出力を比較部52に設定するか記憶部53に設定するか
を、ホストからのセレクト信号によって決定する。記憶
部52では、比較部53からの回路出力の論理を、ホス
トからの書き込み信号があったときのみ、保存する。比
較部53では、記憶部52で記憶された論理と、切り替
え部51からの論理とを比較する。In FIG. 5, the switching unit 51 determines whether to set the output in the comparison unit 52 or the storage unit 53 according to a select signal from the host. The storage unit 52 stores the logic of the circuit output from the comparison unit 53 only when there is a write signal from the host. The comparison unit 53 compares the logic stored in the storage unit 52 with the logic from the switching unit 51.
【0032】検出部54では、比較部53による比較結
果から、対象回路の出力ピン全てのうち一つでも故障が
発生しているものがないかを調べ、ホストからの検出同
期クロックが送られてきたタイミングでのみ、その結果
をホストに送る。The detection unit 54 checks from the comparison result of the comparison unit 53 whether or not any one of the output pins of the target circuit has a failure, and the detection synchronization clock is sent from the host. The result is sent to the host only at the timing.
【0033】[0033]
【実施例】論理シミュレーション実行機構動作時のホス
トにおける処理の一例を、図6の流れ図に示す。図6に
おいて、まず入力パターンがあるかを調べ、入力パター
ンがなくなった場合には、これを終了条件とする(S6
0)。入力パターンがある場合には、次のステップで正
常回路シミュレーションを行ない(S61)、それか
ら、故障回路シミュレーションを行なう(S62)。DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENTS An example of processing in the host during operation of the logic simulation execution mechanism is shown in the flow chart of FIG. In FIG. 6, it is first checked whether there is an input pattern, and if there is no input pattern, this is set as the end condition (S6).
0). If there is an input pattern, a normal circuit simulation is performed in the next step (S61), and then a fault circuit simulation is performed (S62).
【0034】正常回路シミュレーションでは、対象回路
に入力パターンを与え、正常回路の論理シミュレーショ
ンを行なう。その詳細については、後述する。一方、故
障回路シミュレーションでは、正常回路に故障を与え、
その回路出力が変化したかを調べる。この処理は、保持
している故障データ全てに対して行なうが、その詳細に
ついては後述する。In the normal circuit simulation, an input pattern is given to the target circuit and a logic simulation of the normal circuit is performed. The details will be described later. On the other hand, in the fault circuit simulation, a fault is given to the normal circuit,
Check if the circuit output has changed. This processing is performed for all the failure data held, and details thereof will be described later.
【0035】図7に、正常回路シミュレーションの一例
について示す。図7の正常回路シミュレーションにおい
ては、まず入力パターンを与え(S70)、続いて論理
シミュレーション実行機構処理でシミュレーションを行
なう(S71)。なお、ここで、入力パターンによって
発生したイベントを評価する。FIG. 7 shows an example of a normal circuit simulation. In the normal circuit simulation of FIG. 7, first, an input pattern is given (S70), and then simulation is performed by the logic simulation execution mechanism processing (S71). Here, the event generated by the input pattern is evaluated.
【0036】次に、出力検査部における切り替え部の回
路出力が、記憶部となるように設定する(S72)。す
なわち、対象回路の出力が出力検査部の記憶部に流れる
ようにする。そして、出力検査部の記憶部への書き込み
信号をセットする(S73)。ここで、正常回路出力論
理を保存するため、送られてきた出力論理を記憶させる
手続きをする。Next, the circuit output of the switching unit in the output inspection unit is set to be the storage unit (S72). That is, the output of the target circuit is made to flow to the storage section of the output inspection section. Then, the write signal to the storage section of the output inspection section is set (S73). Here, in order to save the normal circuit output logic, a procedure for storing the output logic that has been sent is performed.
【0037】次のステップは、論理シミュレーション実
行機構処理であり、正常回路出力論理を記憶する(S7
4)。そして、最後に、出力検査部の記憶部に与えてい
る書き込み信号を解除する(S75)。The next step is the logic simulation execution mechanism process, which stores the normal circuit output logic (S7).
4). Then, finally, the write signal given to the storage section of the output inspection section is released (S75).
【0038】図8及び9において、故障回路シミュレー
ションの一例を示す。図8の故障回路シミュレーション
の例では、まずシミュレーションしていない故障はある
か調べている。すなわち、与えられた入力パターンにお
いて、未検出故障リストにある故障データで、まだ故障
回路シミュレーションを行なっていない故障データがあ
るかを調べている。なければ故障回路シミュレーション
を終了し、別の入力パターンによる正常回路シミュレー
ションを実行する(S80)。An example of a fault circuit simulation is shown in FIGS. In the example of the fault circuit simulation of FIG. 8, first, it is checked whether there is a fault that has not been simulated. That is, it is checked whether there is any failure data in the undetected failure list in the given input pattern that has not been subjected to the failure circuit simulation. If not, the fault circuit simulation is ended, and a normal circuit simulation is performed with another input pattern (S80).
【0039】次に、故障データ抽出を行なう。これは、
未検出故障リストから、まだ故障挿入を行なっていない
故障データを取り出すものである(S81)。この次に
は、故障挿入を行なう。これは、未検出リストから取り
出した故障データを、回路シミュレーション部に挿入す
るものである(S82)。Next, failure data is extracted. this is,
From the undetected failure list, failure data that has not been inserted yet is retrieved (S81). Then, the fault insertion is performed. This is to insert the failure data extracted from the undetected list into the circuit simulation unit (S82).
【0040】続いて、論理シミュレーション実行機構を
使用して、回路シミュレーション部によるシミュレーシ
ョンを行なう。ここでは、挿入した故障から、発生した
イベントの評価を行なう(S83)。Subsequently, a simulation is performed by the circuit simulation section using the logic simulation execution mechanism. Here, the event that has occurred is evaluated from the inserted failure (S83).
【0041】次に、出力検査部で、切り替え部の回路出
力が比較部になるよう設定する(S84)。例えば、論
理シミュレーション実行機構へ、出力検査部の切り替え
部の出力が比較部に送られるようなセレクト信号を送
る。出力検査部においては、論理シミュレーション実行
機構を使用して、例えば比較部が、記憶されている正常
回路出力論理と、故障挿入後の回路出力とを比較する
(S85)。Next, the output inspection unit sets the circuit output of the switching unit to the comparison unit (S84). For example, a select signal is sent to the logic simulation execution mechanism so that the output of the switching unit of the output inspection unit is sent to the comparison unit. In the output inspection unit, for example, the comparison unit compares the stored normal circuit output logic with the circuit output after the fault insertion by using the logic simulation execution mechanism (S85).
【0042】それから、出力検査部に検出同期クロック
を与える(S86)。出力検査部においては論理シミュ
レーション実行機構を使用して、検出部が、比較器から
のデータに従って故障検出信号を出力する(S87)。
この故障検出信号は、ホストに送られる。Then, a detection synchronization clock is given to the output inspection section (S86). In the output inspection unit, the logic simulation execution mechanism is used, and the detection unit outputs a failure detection signal according to the data from the comparator (S87).
This failure detection signal is sent to the host.
【0043】図9は、図8に接続する流れ図である。図
9に示す最初の処理においては、故障が検出されたかを
調べている(S90)。そして、論理シミュレーション
実行機構から送られてくる故障検出信号に基づき、故障
が検出されていた場合には、次の故障ドロップ処理を行
なう(S91)。この故障ドロップでは、未検出故障リ
ストから、検出された故障を削除する。FIG. 9 is a flow chart connecting to FIG. In the first process shown in FIG. 9, it is checked whether a failure has been detected (S90). Then, if a failure is detected based on the failure detection signal sent from the logic simulation execution mechanism, the next failure drop processing is performed (S91). In this failure drop, the detected failure is deleted from the undetected failure list.
【0044】続いて、全ての故障が検出されたか調べる
(S92)。未検出故障リストにおいてまだ検出されて
いない故障があるか調べ、全て検出されていたならば、
故障シミュレーションを終了し、全て検出されていなけ
れば、次の故障削除の処理に進む(S93)。ここで
は、対象回路を正常回路故障シミュレーション後と同じ
状態に戻すために、故障を挿入した箇所を、挿入する前
の状態に戻す。Then, it is checked whether or not all the failures have been detected (S92). Check if there are any undetected faults in the undetected fault list, and if all are detected,
If the failure simulation is completed and all are not detected, the process proceeds to the next failure deletion process (S93). Here, in order to return the target circuit to the same state as after the normal circuit failure simulation, the location where the failure is inserted is returned to the state before the insertion.
【0045】図9に示す最後の処理では、回路シミュレ
ーション部によるシミュレーションを行なう(S9
4)。これは、論理シミュレーション実行機構を使用し
て、故障削除によって発生したイベントを評価するもの
である。In the final processing shown in FIG. 9, a simulation is performed by the circuit simulation section (S9).
4). It uses a logic simulation executive to evaluate the events caused by fault elimination.
【0046】以下、対象回路から故障シミュレーション
回路に展開する例について述べる。まず、対象回路の例
を図10に示す。この対象回路は、入力I1 ,I2 ,I
3 ,I4と、出力O1 ,O2 とを有するものであり、ま
た五つのゲート60〜64を具備している。An example of expanding the target circuit into a failure simulation circuit will be described below. First, an example of the target circuit is shown in FIG. This target circuit has inputs I 1 , I 2 , I
3 , I 4 , and outputs O 1 and O 2, and also has five gates 60-64.
【0047】故障データは、「×」で示されている箇所
に対して「S.A.故障」を与えるものであるとする。
「S.A.故障」とは、故障を挿入する箇所に対して、
論理を”0”又は”1”に固定する故障モデルである。
「S.A.1」は、論理が”1”に固定される故障で、
一方の「S.A.0」は、論理が”0”に固定される故
障である。It is assumed that the failure data gives "SA failure" to the portion indicated by "X".
“S.A. failure” means that for the location where the failure is inserted,
It is a failure model in which the logic is fixed to "0" or "1".
“S.A.1” is a fault whose logic is fixed at “1”,
On the other hand, “S.A.0” is a fault whose logic is fixed at “0”.
【0048】図10に示す対象回路に対して、変換され
た後の故障シミュレーション回路の回路シミュレーショ
ン部を、図11に示す。図11において、図10で
「×」により示した箇所には、故障データを挿入するた
めの新たなゲート75〜83を設けてある。なお、図1
0のゲート60〜64は、図11のゲート70〜74に
それぞれ対応している。FIG. 11 shows a circuit simulation section of the fault simulation circuit after conversion for the target circuit shown in FIG. In FIG. 11, new gates 75 to 83 for inserting failure data are provided at the locations indicated by “x” in FIG. Note that FIG.
Gates 60-64 of 0 correspond to the gates 70-74 of FIG. 11, respectively.
【0049】ゲート73の入力、及びゲート74の入力
に挿入される故障は、それぞれゲート73の出口、ゲー
ト74の出力に挿入される故障と同じ入力パターンで検
出できる等価故障である。そのため、この例では、ゲー
ト73の入力、ゲート74の入力に挿入される故障デー
タは削除される。この処理は、故障データ生成の段階で
行われている。The faults inserted in the input of the gate 73 and the input of the gate 74 are equivalent faults which can be detected with the same input patterns as the faults inserted in the output of the gate 73 and the output of the gate 74, respectively. Therefore, in this example, the failure data inserted in the input of the gate 73 and the input of the gate 74 are deleted. This processing is performed at the stage of failure data generation.
【0050】ところで、「S.A.1」は、2入力OR
ゲートに、又「S.A.0」は、2入力ANDゲートに
置き換えることができる。従って、それらのゲートの入
力の片方に論理”1”を与えることによって、故障を挿
入することができる。By the way, "SA.1" is a 2-input OR.
The gate, or "S.A.0", can be replaced by a 2-input AND gate. Therefore, a fault can be inserted by applying a logic "1" to one of the inputs of those gates.
【0051】図12は、出力検査部を実際に論理回路に
変換した例を示すものである。図12の場合、切り替え
部は、五つのゲート86〜90で構成されている。ま
た、記憶部は二つのレジスタ91,92で、比較部は二
つのゲート93,94で、そして検出部も二つのゲート
95,96で構成されている。FIG. 12 shows an example in which the output inspection unit is actually converted into a logic circuit. In the case of FIG. 12, the switching unit includes five gates 86 to 90. Further, the storage unit is composed of two registers 91 and 92, the comparison unit is composed of two gates 93 and 94, and the detection unit is composed of two gates 95 and 96.
【0052】図12において、出力検査部は、ホストか
ら検出同期クロック、書き込み信号、セレクト信号を、
また回路シミュレーション部から対象回路出力として、
O1,O2 を受け取る。切り替え部は、セレクタになっ
ており、セレクト信号から出力先を切り替える。記憶部
は、レジスタで構成され、レジスタのクロック入力を書
き込み信号とする。In FIG. 12, the output inspecting section sends a detection synchronization clock, a write signal, and a select signal from the host.
Also, as the target circuit output from the circuit simulation unit,
Receives O 1 and O 2 . The switching unit serves as a selector, and switches the output destination from the select signal. The storage unit is composed of a register, and uses a clock input of the register as a write signal.
【0053】比較部では、記憶部の論理と回路シミュレ
ーション出力の論理とのNANDをとることによって、
二つの論理が一致しているかどうかを調べる。検出部で
は、比較部の結果の論理和を全てとることによって、一
つでも出力論理が一致していない場合を検出する。そし
て、ホストからの検出同期クロックに従って、その検出
結果を故障検出信号としてホストに送る。In the comparison section, by taking the NAND of the logic of the storage section and the logic of the circuit simulation output,
Check if the two logics match. The detection unit detects the case where even one output logic does not match by taking the logical sum of all the results of the comparison unit. Then, according to the detection synchronization clock from the host, the detection result is sent to the host as a failure detection signal.
【0054】[0054]
【発明の効果】図10に示した回路例では、対象回路を
故障シミュレーション回路に変換することによって、ゲ
ート数が、5ゲート60〜64から20ゲート75〜8
3,86〜96に増加している。すなわち四倍に増える
こととなるが、本発明では、論理シミュレーション実行
機構を使用しているので、本発明による故障シミュレー
ションは、大変高速なものとなる。In the circuit example shown in FIG. 10, the number of gates is changed from 5 gates 60 to 64 to 20 gates 75 to 8 by converting the target circuit into a failure simulation circuit.
It increased to 3,86-96. That is, although it increases four times, the fault simulation according to the present invention is very fast because the present invention uses the logic simulation execution mechanism.
【図1】本発明の原理を説明する図である。FIG. 1 is a diagram illustrating the principle of the present invention.
【図2】本発明の概念を説明する図である。FIG. 2 is a diagram illustrating the concept of the present invention.
【図3】回路変換について説明する図である。FIG. 3 is a diagram illustrating circuit conversion.
【図4】ゲート変換の概念を説明する図である。FIG. 4 is a diagram illustrating the concept of gate conversion.
【図5】出力検査部の構成例を示す図である。FIG. 5 is a diagram illustrating a configuration example of an output inspection unit.
【図6】本発明の一実施例を示す流れ図である。FIG. 6 is a flowchart showing an embodiment of the present invention.
【図7】正常回路シミュレーション方法の一例を示す流
れ図である。FIG. 7 is a flowchart showing an example of a normal circuit simulation method.
【図8】故障回路シミュレーション方法の一例を示す流
れ図である。FIG. 8 is a flowchart showing an example of a fault circuit simulation method.
【図9】図8に接続する流れ図である。9 is a flow chart connecting to FIG. 8. FIG.
【図10】対象回路例を示す図である。FIG. 10 is a diagram showing an example of a target circuit.
【図11】回路シミュレーション部の一例を示す図であ
る。FIG. 11 is a diagram illustrating an example of a circuit simulation unit.
【図12】出力検査部の変換例を示す図である。FIG. 12 is a diagram showing a conversion example of an output inspection unit.
【図13】故障シミュレーションについて説明する図で
ある。FIG. 13 is a diagram illustrating a failure simulation.
【図14】故障シミュレータの構成を示す図である。FIG. 14 is a diagram showing a configuration of a failure simulator.
【図15】故障シミュレーションアルゴリズムを説明す
る流れ図である。FIG. 15 is a flowchart illustrating a failure simulation algorithm.
1 入力パターン挿入部 2 故障データ挿入部 3 回路シミュレーション部 4,50 出力検査部 5 故障ドロップ 6 故障データ抽出 7,12,100,101,112 入力パターン 8 故障リスト 10,111 回路データ 11,30〜32,36〜38,102,113 故障
データ 13 回路変換 14 故障シミュレーション回路データ 15 論理シミュレーション 16 論理シミュレーション結果 17 データ変換 18 故障シミュレーション結果 19 ホストマシン 20 論理シミュレーション実行機構 33〜35,39〜41,45,46,60〜64,7
0〜83,86〜90,93〜96 ゲート 51 切り替え部 52 記憶部 53 比較部 54 検出部 91,92 レジスタ 103,104 対象回路 105,106 出力結果 110 故障シミュレータ 114 入力パターンリスト 115 故障データリスト 116 対象回路論理シミュレーション 117 正常回路出力 118 故障回路出力 119 比較手段1 Input Pattern Insertion Section 2 Failure Data Insertion Section 3 Circuit Simulation Section 4,50 Output Inspection Section 5 Failure Drop 6 Failure Data Extraction 7, 12, 100, 101, 112 Input Pattern 8 Failure List 10, 111 Circuit Data 11, 30 ~ 32, 36-38, 102, 113 Fault data 13 Circuit conversion 14 Fault simulation circuit data 15 Logic simulation 16 Logic simulation result 17 Data conversion 18 Fault simulation result 19 Host machine 20 Logic simulation execution mechanism 33-35, 39-41, 45 , 46, 60-64, 7
0-83, 86-90, 93-96 gate 51 switching unit 52 storage unit 53 comparing unit 54 detecting unit 91, 92 register 103, 104 target circuit 105, 106 output result 110 fault simulator 114 input pattern list 115 fault data list 116 Target circuit logic simulation 117 Normal circuit output 118 Fault circuit output 119 Comparison means
───────────────────────────────────────────────────── フロントページの続き (51)Int.Cl.5 識別記号 庁内整理番号 FI 技術表示箇所 G06F 15/20 D 7218−5L ─────────────────────────────────────────────────── ─── Continuation of the front page (51) Int.Cl. 5 Identification code Internal reference number FI technical display location G06F 15/20 D 7218-5L
Claims (1)
検出するために作成する多様な入力パターン(7)が、
実際に個々の故障を検出することができるものであるか
どうかを調べ、その結果得られた入力パターンを用いて
故障シミュレーションを行なうための装置であって、 論理シミュレーション実行機構を擁し、正常な対象回
路、及び故障を挿入した対象回路の論理シミュレーショ
ンを行なう回路シミュレーション部(3)と、回路シミ
ュレーション部の出力に、故障の影響が発生したかを検
査する出力検査部(4)とを具備することを特徴とする
故障シミュレータ。1. A variety of input patterns (7) created to detect an arbitrary fault existing in a fault list (8),
A device for investigating whether or not an individual fault can be actually detected, and performing a fault simulation using the input pattern obtained as a result, which has a logic simulation execution mechanism and is a normal target. A circuit simulation unit (3) that performs a logic simulation of a circuit and a target circuit in which a fault is inserted, and an output inspection unit (4) that inspects the output of the circuit simulation unit for the influence of the fault. Failure simulator characterized by.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP11120492A JPH05307585A (en) | 1992-04-30 | 1992-04-30 | Failure simulator |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP11120492A JPH05307585A (en) | 1992-04-30 | 1992-04-30 | Failure simulator |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH05307585A true JPH05307585A (en) | 1993-11-19 |
Family
ID=14555153
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP11120492A Withdrawn JPH05307585A (en) | 1992-04-30 | 1992-04-30 | Failure simulator |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH05307585A (en) |
-
1992
- 1992-04-30 JP JP11120492A patent/JPH05307585A/en not_active Withdrawn
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US7661050B2 (en) | Method and system for formal verification of partial good self test fencing structures | |
| US4727545A (en) | Method and apparatus for isolating faults in a digital logic circuit | |
| CN117094269B (en) | Verification method, verification device, electronic equipment and readable storage medium | |
| Chappell et al. | LAMP: Logic‐Circuit Simulators | |
| US7228262B2 (en) | Semiconductor integrated circuit verification system | |
| KR20000017333A (en) | Semiconductor integrated circuit design and evaluation system | |
| KR19990077472A (en) | Method for automatically generating behavioral environment for model checking | |
| JP3825572B2 (en) | Semiconductor integrated circuit design verification apparatus, method, and storage medium | |
| US6941499B1 (en) | Method to verify the performance of BIST circuitry for testing embedded memory | |
| JPH11149491A (en) | Failure detection rate evaluation method | |
| US6847927B2 (en) | Efficient array tracing in a logic simulator machine | |
| JPH10283394A (en) | Failure simulation method | |
| US6934656B2 (en) | Auto-linking of function logic state with testcase regression list | |
| Nelson et al. | Multiple-detect ATPG based on physical neighborhoods | |
| US6675323B2 (en) | Incremental fault dictionary | |
| US4726023A (en) | Determination of testability of combined logic end memory by ignoring memory | |
| JP2837703B2 (en) | Fault diagnosis device | |
| Huang et al. | Fpga-based emulation for accelerating transient fault reduction analysis | |
| Kaiss et al. | Seqver: A sequential equivalence verifier for hardware designs | |
| JP2672893B2 (en) | Failure simulation processor | |
| Kovijanic | A new look at test generation and verification | |
| JP2872076B2 (en) | Logic verification apparatus and method | |
| JPH08180095A (en) | Delay fault simulation method and delay fault analysis device | |
| JPH06324117A (en) | Failure detection rate calculation method and device | |
| CN121785911A (en) | Simulation hardware test method, simulation hardware test device, computer equipment, storage medium and computer program product |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A300 | Application deemed to be withdrawn because no request for examination was validly filed |
Free format text: JAPANESE INTERMEDIATE CODE: A300 Effective date: 19990706 |