JPH0470972A - Fault simulating device - Google Patents

Fault simulating device

Info

Publication number
JPH0470972A
JPH0470972A JP2177941A JP17794190A JPH0470972A JP H0470972 A JPH0470972 A JP H0470972A JP 2177941 A JP2177941 A JP 2177941A JP 17794190 A JP17794190 A JP 17794190A JP H0470972 A JPH0470972 A JP H0470972A
Authority
JP
Japan
Prior art keywords
fault
faults
simulation
logic
logic circuit
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Pending
Application number
JP2177941A
Other languages
Japanese (ja)
Inventor
Hatsuyoshi Katou
初儀 加藤
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 JP2177941A priority Critical patent/JPH0470972A/en
Publication of JPH0470972A publication Critical patent/JPH0470972A/en
Pending legal-status Critical Current

Links

Abstract

PURPOSE:To improve the reliability of a fault classification, and to realize the easy improving operation of the test pattern of a designer by using the inside information of a logic block from a library used for the preparation of a logic circuit net list, and discriminating multiple faults and a single fault. CONSTITUTION:A fault definition is realized by obtaining a library 12 in addition to a logic circuit unit list 11 or the inside information of the logical block. Then, the multiple faults are identified and resolved S2 into the single fault from this fault definition, and the corresponding information is stored 15. A fault simulation S3 is operated by using this information 15 resolved into the single fault and the test pattern 13, and a fault classification S4 is operated after getting the resolved single fault back to the original multiple faults, based on both the simulation result 14 and the stored corresponding information 15. Thus, the fault definition can be obtained after adding the inside information of the logical block from the library, the reliability of the fault classification can be improved, and the improving operation of the test pattern of the designer can be facilitated.

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は集積回路の設計に用いる故障シミュレーション
装置に利用される。本発明は、特に、LSI(大規模集
積回路)の故障分顎処理を行う故障シミュレーション装
置に関する。
DETAILED DESCRIPTION OF THE INVENTION [Industrial Application Field] The present invention is utilized in a failure simulation device used for designing integrated circuits. The present invention particularly relates to a failure simulation device that performs failure processing for LSI (Large Scale Integrated Circuit).

〔概要〕〔overview〕

本発明は、セミカスタム方式によって設計された論理回
路ネットリストからテストパターンにより故障シミュレ
ーションを行う故障シミニレ−ジョン装置において、 論理回路ネッ) IJストの作成に使用したライブラリ
により論理ブロックの内部情報を用い、多重故障と単一
故障とを判定できるようにすることにより、 故障分類の信頼性を高めるとともに、設計者のテストパ
ターンの改良作業を容易にしたものである。
The present invention provides a fault simulation device that performs fault simulation using test patterns from a logic circuit netlist designed by a semi-custom method, which uses internal information of a logic block using a library used to create a logic circuit netlist. By making it possible to distinguish between multiple failures and single failures, this system not only increases the reliability of failure classification, but also makes it easier for designers to improve test patterns.

〔従来の技術〕[Conventional technology]

従来、ゲートアレイまたはスタンダードセル方式のセミ
カスタム方式において、論理設計されたLSIの論理回
路ネットリストにおいては、ライブラリから選択して使
用された論理ブロックの内部回路は一般には公表されて
いない。このため、故障シミュレーションを行う場合、
論理ブロックの入力端子および出力端子に対して定義さ
れた故障に対してのみテストパターンを設計者が作成す
ることが多い。
Conventionally, in the logic circuit netlist of a logically designed LSI in a semi-custom method such as a gate array or standard cell method, the internal circuit of a logic block selected from a library and used is not generally disclosed. Therefore, when performing failure simulation,
Designers often create test patterns only for faults defined for input and output terminals of logic blocks.

現在、一般に行われる故障シミュレーションの故障モデ
ルは、論理ゲートの入力端子または出力端子に〇−縮退
故陣と1−縮退故障を仮定している。この場合、第3図
(a)の論理ブロック20の入力端子101に故障を定
義するとき、その入力端子を受は取る論理ブロック内部
の論理ゲートが複数個あると、第3図(社)のように、
論理ブロック20の各々の論理ゲート21および22の
入力端子102および103に同時に縮退故障を挿入す
る多重故障定義を用いて故障シミュレーションを行うこ
とがある。
Currently, fault models for fault simulations commonly performed assume a stuck-at fault group and a stuck-at fault group at the input terminal or output terminal of a logic gate. In this case, when defining a fault in the input terminal 101 of the logic block 20 in FIG. 3(a), if there are multiple logic gates inside the logic block that receive or receive that input terminal, like,
Fault simulation may be performed using a multiple fault definition that simultaneously inserts stuck-at faults into the input terminals 102 and 103 of each logic gate 21 and 22 of the logic block 20.

このとき、ライブラリの論理ブロックで入力端子が内部
の多くの論理ゲートに接続しているもののみが他の論理
ブロックに比較して故障密度が高くなり、同−論理ブロ
ック内での故障間の相互作用も複雑になる。なお、第3
図(a)および(b)において23は他論理ゲート部で
ある。
At this time, among the logic blocks in the library, only those whose input terminals are connected to many internal logic gates have a higher fault density than other logic blocks, and the interaction between faults within the same logic block increases. The effect is also complicated. In addition, the third
In FIGS. (a) and (b), 23 is another logic gate section.

このため、第4図(a)の論理ブロック30の入力端子
201に故障が指定された場合、第4図軸)および(C
)に示すように、その入力端子を受は取る内部の論理ゲ
ートの入力端子202および203のように各々の論理
ゲートに単一故障を定義して故障シミュレーションを行
うことも試みられている。なお、第4図(a)、ら)お
よび(C)において33は他論理ゲート部である。
Therefore, if a failure is specified in the input terminal 201 of the logic block 30 in FIG. 4(a),
), attempts have been made to perform fault simulation by defining a single fault in each logic gate, such as the input terminals 202 and 203 of the internal logic gates that receive the input terminals. In addition, in FIGS. 4(a), 4(a) and 4(c), 33 is another logic gate section.

故障シミュレーション結果は定義された故障の検出およ
び未検出の分類を行い、設計者はこの分類結果より作成
したテストパタンの改良を行い故障検出率を高める作業
を行う。
The fault simulation results are classified into detected and undetected faults, and the designer improves the test patterns created based on the classification results to increase the fault detection rate.

〔発明が解決しようとする課題〕[Problem to be solved by the invention]

ところで、設計者がテストパターンを改良する場合には
故障シミュレーション結果からの故障分類を使用し、そ
の未検出故障を検出可能とするように作業を行う。第3
図(a)およびら)に示した論理ブロック20の入力端
子101に関した多重故障の扱いでは、論理回路ネット
リスト中で設計者が命名した論理ブロック名称とその入
力端子名称で故障分1’lストを作成すればよいが、前
述のようにその入力端子に関する故障密度の点で故障分
類の信頼性が低い欠点がある。
By the way, when a designer improves a test pattern, he or she uses the fault classification based on the fault simulation results and works to make the undetected faults detectable. Third
In handling multiple faults related to the input terminal 101 of the logic block 20 shown in Figures (a) and (a), the number of faults is 1'l based on the logic block name and the input terminal name named by the designer in the logic circuit netlist. However, as mentioned above, the reliability of fault classification is low due to the fault density regarding the input terminals.

また、第4図(a)、(b)および(C)に示した論理
ブロック30の入力端子201に関した故障を単一故障
に分解して扱う場合には、論理ブロック内部の論理ゲー
トの名称を加味して故障分類リストを作成しても、その
論理ブロック内部の論理ゲートの接続情報が一般に公表
されていない現状では、設計者のテストパターンの改良
作業は困難となる欠点がある。
In addition, when handling the fault related to the input terminal 201 of the logic block 30 shown in FIGS. 4(a), (b), and (C) by breaking it down into single faults, the name of the logic gate inside the logic block Even if a failure classification list is created by taking these factors into consideration, there is a drawback that it is difficult for designers to improve test patterns in the current situation where the connection information of logic gates inside the logic block is not made publicly available.

本発明の目的は、前記の欠点を除去することにより、故
障分類の信頼性が高く、かつ設計者のテストパターンの
改良作業を容易にする故障分類リストを出力できる故障
シミュレーション装置を提供することにある。
SUMMARY OF THE INVENTION An object of the present invention is to provide a fault simulation device that can output a fault classification list that has high reliability in fault classification and facilitates the designer's task of improving test patterns by eliminating the above-mentioned drawbacks. be.

〔課題を解決するた釣の手段〕[Means of fishing to solve problems]

本発明は、セミカスタム方式によって設計された論理回
路ネットリストからテストパターンにより故障シミュレ
ーションを行う手段を備えた故障シミュレーション装置
において、前記論理回路リストとこの論理回路ユニット
の設計に使用したライブラリとにより、このライブラリ
中の論理ブロックの入力端子および出力端子に故障を定
義する故障定義手段と、この定義された故障から多重故
障定義を識別して単一故障に分解出力するとともにこの
多重故障と分解された単一故障との対応情報を生成する
多重故障抽出分解手段と、この生成された前記対応情報
を格納する対応情報格納手段と、前記テストパターンと
前記多重故障抽出分解手段からの出力とにより故障シミ
ュレーションを行い故障シミュレーション結果を出力す
る故障シミュレーション手段と、この出力された故障シ
ミュレーション結果を前記対応情報格納手段に格納され
た対応情報に基づき、多重故障か単一故障かを判別し故
障分類を行う故障分類処理手段とを備えたことを特徴と
する。
The present invention provides a fault simulation device equipped with means for performing fault simulation using a test pattern from a logic circuit netlist designed by a semi-custom method, which uses the logic circuit list and the library used to design the logic circuit unit. A fault definition means that defines faults at the input terminals and output terminals of the logic blocks in this library, identifies a multiple fault definition from this defined fault, decomposes it into a single fault, outputs it, and decomposes it into this multiple fault. A multiple fault extraction and decomposition means that generates correspondence information with a single fault, a correspondence information storage means that stores the generated correspondence information, and a fault simulation using the test pattern and the output from the multiple fault extraction and decomposition means. fault simulation means for performing fault simulation and outputting fault simulation results; and fault classification for determining whether the output fault simulation results are multiple faults or single faults based on correspondence information stored in the correspondence information storage means. The present invention is characterized by comprising a classification processing means.

また、本発明は、前記故障分類処理手段は、前記対応情
報に基づき多重故障から分解された単一故障が少なくと
も一つ検出された場合にその対応する論理ブロックに多
重故障が検出されたものとし、また分解された単一故障
が一つも検出できない場合には対応する論理ブロックは
故障が未検出であると判定する手段を含むことを特徴と
する。
Further, in the present invention, when at least one single fault decomposed from multiple faults based on the correspondence information is detected, the fault classification processing means determines that multiple faults are detected in the corresponding logical block. The present invention is also characterized in that it includes means for determining that the corresponding logic block has no faults detected when no single fault has been detected.

〔作用〕[Effect]

故障定義は論理回路ユニッ) IJストのほかにライブ
ラリから論理ブロックの内部情報を得て行う。
Fault definition is performed by obtaining the internal information of the logic block from the library in addition to the IJ strike (logic circuit unit).

そして、この故障定義から多重故障を識別し単一故障に
分解し、その対応情報を格納しておく、そして、故障シ
ミニレ−ジョンはこの単一故障に分解された情報とテス
トパターンとを用いて行い、そのシミュレーション結果
について格納された前記対応情報に基づいて、分解され
た単一故障を元の多重故障に戻して故障分類を行う。
Then, from this fault definition, multiple faults are identified and decomposed into single faults, and the corresponding information is stored.Fault simulation is performed using the information decomposed into single faults and the test pattern. Based on the correspondence information stored for the simulation results, the decomposed single fault is returned to the original multiple fault and fault classification is performed.

従って、ライブラリから論理ブロックの内部情報を加え
て故障定義を行っているので、故障分類の信頼性を高め
られるとともに、設計者のテストパターンの改良作業を
容易にすることができる。
Therefore, since the fault definition is performed by adding the internal information of the logical block from the library, it is possible to increase the reliability of fault classification and to facilitate the designer's task of improving the test pattern.

〔実施例〕〔Example〕

以下、本発明の実施例について図面を参照して説明する
Embodiments of the present invention will be described below with reference to the drawings.

第1図は本発明の一実施例を示すブロック構成図である
FIG. 1 is a block diagram showing one embodiment of the present invention.

本実施例は、ゲートアレイおよびマスクスライスなどの
セミカスタム方式によって設計された論理回路ネットリ
スト11からテストパターン13により故障シミュレー
ションを行う手段を備えた故障シミニレ−ジョン装置に
おいて、 本発明の特徴とするところの、 論理回路ネットリスト11とこの論理回路ユニットの設
計に使用したライブラリ12とにより、このライブラリ
12中の論理ブロックの入力端子および出方端子に故障
を定義する故障定義手段1と、この定義された故障から
多重故障を識別して単一故障に分解出力するとともにこ
の多重故障と分解された単一故障との対応情報15aを
生成する多重情報抽出分解手段2と、この生成された対
応情報15aを格納する対応情報格納手段としての対応
情報ファイル15と、テストパターン13と多重故障抽
出分解手段2の出力とにより故障シミュレーションを行
いシミ呈し−ション結果14を出力する故障シミュレー
ション手段3と、この出力されたシミュレーション結果
14を対応情報ファイル15に格納された対応情報15
aに基づき、多重故障か単一故障かを判別し故障分類を
行い故障分類リスト16を作成する故障分類処理手段4
とを備えている。
This embodiment is a fault simulation device equipped with a means for performing fault simulation using a test pattern 13 from a logic circuit netlist 11 designed by a semi-custom method such as gate array and mask slicing. However, based on the logic circuit netlist 11 and the library 12 used for designing this logic circuit unit, the fault definition means 1 that defines faults at the input terminals and output terminals of the logic blocks in this library 12, and this definition. a multiple information extracting and decomposing means 2 for identifying multiple faults from the detected faults, decomposing them into single faults and outputting them, and generating correspondence information 15a between the multiple faults and the decomposed single faults; and the generated correspondence information. 15a as a correspondence information storage means, a failure simulation means 3 that performs a failure simulation using the test pattern 13 and the output of the multiple fault extraction and decomposition means 2, and outputs a staining result 14; The output simulation result 14 is converted into the correspondence information 15 stored in the correspondence information file 15.
Fault classification processing means 4 that determines whether it is a multiple fault or a single fault based on a, performs fault classification, and creates a fault classification list 16.
It is equipped with

次に、本実施例の動作について第2図に示す流れ図を参
照して説明する。
Next, the operation of this embodiment will be explained with reference to the flowchart shown in FIG.

まず、ステップS1において、故障定義手段1により、
設計者がテストしようとする論理回路部分に対して故障
定義を発生させる。このときライブラリ12から論理ブ
ロックの内部情報を得る。
First, in step S1, the fault definition means 1
A fault definition is generated for the logic circuit portion that the designer intends to test. At this time, the internal information of the logical block is obtained from the library 12.

次に、ステップS2では、多重故障抽出分解手段2によ
り、論理回路ネットリスト11で使用されている論理ブ
ロックの入力端子および出力端子に対して故障定義を行
う。このとき、入力端子の故陣から多重故障とみられる
故障を単一故障に分解する。これと同時に、この多重故
障と分解された単一故障との対応情報15aを作成し対
応情報ファイル15に格納する。
Next, in step S2, the multiple fault extraction and decomposition means 2 defines faults for the input terminals and output terminals of the logic blocks used in the logic circuit netlist 11. At this time, failures that appear to be multiple failures are decomposed into single failures based on the input terminal layout. At the same time, correspondence information 15a between this multiple failure and the decomposed single failure is created and stored in the correspondence information file 15.

次に、ステップS3において、故障シミュレーション手
段3により、論理回路ネットリスト11中で定義されて
いる故障を検出しようとするために、設計者が作成した
テストパタン13と、論理回路ネットリスト11、ライ
ブラリ12および故障定義とを用いて故障シミニレ−ジ
ョンを行い、シミュレーション結果14を得る。
Next, in step S3, in order to detect a fault defined in the logic circuit netlist 11, the fault simulation means 3 uses the test pattern 13 created by the designer, the logic circuit netlist 11, and the library. 12 and the fault definition, fault simulation is performed to obtain a simulation result 14.

次に、ステップS4で、故障分類処理手段4により、シ
ミュレーション結果14と、対応情報ファイル15に格
納された多重故障と単一故障の対応情報15aとにより
、分解された単一故障中の少なくとも一つが検出された
場合に、その対応する論理ブロックの入力端子の故障す
なわちその多重故障が検出されたと見なし、この論理ブ
ロックの入力端子の故障が検出されたとして故障分類リ
スト16に出力する。また、分解された単一故障が全て
未検出となった場合には、単一故障に対応する論理ブロ
ックの入力端子故障も未検出であるとして故障分類リス
ト16に出力する。ここで、多重故障に対応しない通常
の単一故障は、単にその検出および未検出を故障分類リ
スト16に出力する。
Next, in step S4, the fault classification processing means 4 uses the simulation result 14 and the correspondence information 15a of multiple faults and single faults stored in the correspondence information file 15 to identify at least one of the decomposed single faults. When a fault is detected, it is assumed that a fault at the input terminal of the corresponding logic block, that is, a multiple fault has been detected, and outputted to the fault classification list 16 as a fault at the input terminal of this logic block is detected. Furthermore, if all the decomposed single faults are undetected, the input terminal fault of the logic block corresponding to the single fault is also output to the fault classification list 16 as being undetected. Here, for a normal single fault that does not correspond to multiple faults, its detection or non-detection is simply output to the fault classification list 16.

〔発明の効果〕 以上説明したように本発明は、ゲートアレイ、スタンダ
ードセル等のライブラリ中から必要な論理ブロックを選
択し組合せて設計されるLSIにおいて、論理設計者に
は公表されていない論理ブロックの内部論理情報も使用
しているため、故障分類処理から得られる故障の検出お
よび未検出の分類に対する信頼性が向上する効果がある
。また、設計者に対するテストパターン改良作業の容易
性を高める故障分類リストの出力が可能となる効果があ
る。
[Effects of the Invention] As explained above, the present invention provides an LSI that is designed by selecting and combining necessary logic blocks from libraries such as gate arrays and standard cells. Since internal logic information is also used, the reliability of the classification of faults detected and undetected obtained from fault classification processing is improved. Furthermore, it is possible to output a failure classification list that makes it easier for designers to improve test patterns.

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

第1図は本発明の一実施例を示すブロック構成図。 第2図はその動作を示す流れ図。 第3図(a)およびら)は従来例における処理例(1)
を示す説明図。 第4図(a)、(b)および(C)は従来例における処
理例(2)を示す説明図。 1・・・故障定義手段、2・・・多重故障抽出分解手段
、3・・・故障シミュレーション手段、4・・・故障分
類処理手段、11・・・論理回路ネットリスト、12・
・・ライブラリ、13・・・テストパターン、14・・
・シミュレーション結果、15・・・対応情報ファイル
、15a・・・対応情報、工6・・・故障分類リスト、
20.30・・・論理ブロック、21.22.31.3
2・・・論理ゲート、23.33・・・他論理ゲート部
、101.102.103.201.202.203・
・・入力端子。
FIG. 1 is a block diagram showing an embodiment of the present invention. FIG. 2 is a flowchart showing the operation. Figures 3(a) and 3) are processing examples (1) in the conventional example.
An explanatory diagram showing. FIGS. 4A, 4B, and 4C are explanatory diagrams showing processing example (2) in the conventional example. DESCRIPTION OF SYMBOLS 1... Fault definition means, 2... Multiple fault extraction and decomposition means, 3... Fault simulation means, 4... Fault classification processing means, 11... Logic circuit netlist, 12.
...Library, 13...Test pattern, 14...
・Simulation results, 15... Correspondence information file, 15a... Correspondence information, Engineering 6... Failure classification list,
20.30...Logic block, 21.22.31.3
2...Logic gate, 23.33...Other logic gate section, 101.102.103.201.202.203.
...Input terminal.

Claims (1)

【特許請求の範囲】 1、セミカスタム方式によって設計された論理回路ネッ
トリストからテストパターンにより故障シミュレーショ
ンを行う手段を備えた故障シミュレーション装置におい
て、 前記論理回路リストとこの論理回路ユニットの設計に使
用したライブラリとにより、このライブラリ中の論理ブ
ロックの入力端子および出力端子に故障を定義する故障
定義手段と、 この定義された故障から多重故障定義を識別して単一故
障に分解出力するとともにこの多重故障と分解された単
一故障との対応情報を生成する多重故障抽出分解手段と
、 この生成された前記対応情報を格納する対応情報格納手
段と、 前記テストパターンと前記多重故障抽出分解手段からの
出力とにより故障シミュレーションを行い故障シミュレ
ーション結果を出力する故障シミュレーション手段と、 この出力された故障シミュレーション結果を前記対応情
報格納手段に格納された対応情報に基づき、多重故障か
単一故障かを判別し故障分類を行う故障分類処理手段と を備えたことを特徴とする故障シミュレーション装置。 2、前記故障分類処理手段は、前記対応情報に基づき多
重故障から分解された単一故障が少なくとも一つ検出さ
れた場合にその対応する論理ブロックに多重故障が検出
されたものとし、また分解された単一故障が一つも検出
できない場合には対応する論理ブロックは故障が未検出
であると判定する手段を含む請求項1記載の故障シミュ
レーション装置。
[Scope of Claims] 1. In a fault simulation device equipped with means for performing fault simulation using a test pattern from a logic circuit netlist designed by a semi-custom method, the logic circuit list and the logic circuit unit used in designing the logic circuit unit are provided. The library includes a fault definition means that defines faults at the input terminals and output terminals of logic blocks in this library, and identifies multiple fault definitions from the defined faults, decomposes them into single faults, and outputs them. multiple fault extraction and decomposition means for generating correspondence information between the test pattern and the decomposed single fault; a correspondence information storage means for storing the generated correspondence information; and an output from the test pattern and the multiple fault extraction and decomposition means. a fault simulation means for performing a fault simulation and outputting a fault simulation result; 1. A failure simulation device comprising: failure classification processing means for performing classification. 2. The fault classification processing means determines that multiple faults have been detected in the corresponding logical block when at least one single fault that has been decomposed from multiple faults based on the correspondence information is detected, and 2. The fault simulation apparatus according to claim 1, further comprising means for determining that no fault has been detected in the corresponding logic block when no single fault has been detected.
JP2177941A 1990-07-04 1990-07-04 Fault simulating device Pending JPH0470972A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP2177941A JPH0470972A (en) 1990-07-04 1990-07-04 Fault simulating device

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2177941A JPH0470972A (en) 1990-07-04 1990-07-04 Fault simulating device

Publications (1)

Publication Number Publication Date
JPH0470972A true JPH0470972A (en) 1992-03-05

Family

ID=16039750

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2177941A Pending JPH0470972A (en) 1990-07-04 1990-07-04 Fault simulating device

Country Status (1)

Country Link
JP (1) JPH0470972A (en)

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6913805B2 (en) * 1994-12-29 2005-07-05 Electric Power Research Institute Controlled release ampule containing a fumigant
JP2008089549A (en) * 2006-10-05 2008-04-17 Nec Electronics Corp Failure spot estimation system of multiple failure in logic circuit, failure spot estimation method, and failure spot estimation program

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6913805B2 (en) * 1994-12-29 2005-07-05 Electric Power Research Institute Controlled release ampule containing a fumigant
JP2008089549A (en) * 2006-10-05 2008-04-17 Nec Electronics Corp Failure spot estimation system of multiple failure in logic circuit, failure spot estimation method, and failure spot estimation program
US7844873B2 (en) 2006-10-05 2010-11-30 Nec Electronics Corporation Fault location estimation system, fault location estimation method, and fault location estimation program for multiple faults in logic circuit

Similar Documents

Publication Publication Date Title
De et al. RSYN: A system for automated synthesis of reliable multilevel circuits
US6311318B1 (en) Design for test area optimization algorithm
Werner et al. Reverse engineering of cryptographic cores by structural interpretation through graph analysis
US10691855B2 (en) Device and method for detecting points of failures
JPH09145800A (en) Test pattern generation system
Pomeranz et al. On testing delay faults in macro-based combinational circuits
US8001501B2 (en) Method for circuit design
JPH0470972A (en) Fault simulating device
US8065642B1 (en) Isolation verification for implementing modular redundancy within programmable integrated circuits
JP2802140B2 (en) How to design logic circuits
Lin et al. Test-point insertion: Scan paths through functional logic
JPH1048300A (en) Individual test program generation system
Chang et al. LAMP: Controllability, observability, and maintenance engineering technique (COMET)
US7174530B2 (en) System and method of design for testability
EP1259165B1 (en) Modelling and testing of an integrated circuit
JP2773148B2 (en) Circuit design method for testability
JPH04241040A (en) Fault simulation method
JPS63140969A (en) Test facilitation system
US20220398367A1 (en) Finite State Machine Vulnerability and Pipeline Analysis Using Satisfiability Modeling
Michael et al. A unified framework for generating all propagation functions for logic errors and events
JP2990813B2 (en) Failure simulation method
CN111429427A (en) Priority ranking device, ranking method and storage medium for detecting object defect patterns
Chen et al. SEU/SET Evaluation of Digital VLSI Design from Register Transfer Level to Layout Level
Lee Yield model for WSI restructurable homogeneous processor arrays
Spiegel et al. Realistic fault modeling and extraction of multiple bridging and break faults