JP2576378B2 - Failure simulation device - Google Patents

Failure simulation device

Info

Publication number
JP2576378B2
JP2576378B2 JP22486093A JP22486093A JP2576378B2 JP 2576378 B2 JP2576378 B2 JP 2576378B2 JP 22486093 A JP22486093 A JP 22486093A JP 22486093 A JP22486093 A JP 22486093A JP 2576378 B2 JP2576378 B2 JP 2576378B2
Authority
JP
Japan
Prior art keywords
fault
data
failure
processor
simulation
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 - Lifetime
Application number
JP22486093A
Other languages
Japanese (ja)
Other versions
JPH0784823A (en
Inventor
博之 福田
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
Nippon Electric Co Ltd
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 Nippon Electric Co Ltd filed Critical Nippon Electric Co Ltd
Priority to JP22486093A priority Critical patent/JP2576378B2/en
Publication of JPH0784823A publication Critical patent/JPH0784823A/en
Application granted granted Critical
Publication of JP2576378B2 publication Critical patent/JP2576378B2/en
Anticipated expiration legal-status Critical
Expired - Lifetime legal-status Critical Current

Links

Description

【発明の詳細な説明】DETAILED DESCRIPTION OF THE INVENTION

【0001】[0001]

【産業上の利用分野】本発明は並列プロセッサにおける
故障シミュレーション装置、特に論理回路のテストベク
トル作成及び故障シミュレーション装置に関する。
BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a fault simulation apparatus for a parallel processor, and more particularly to a test vector creation and fault simulation apparatus for a logic circuit.

【0002】[0002]

【従来の技術】従来この種の故障シミュレーションは、
例えば、可事賢二,川西宏,船津重宏,”超LSICADの基
礎.”,pp169-172,(オーム社)に記載されているよう
に、単一プロセッサにおけるのと同様な方法で行ってい
る。しかしながら、この方法では、対象となる故障定義
の全てをシミュレーションするには、計算機上に大量の
メモリを必要とする。データが実メモリからあふれた場
合、あふれたデータを仮想メモリに展開してもよいが、
これでは計算機能力が下がる。
2. Description of the Related Art Conventionally, this kind of failure simulation is
For example, as described in Kenji Koji, Hiroshi Kawanishi and Shigehiro Funatsu, "Basics of Ultra LSICAD.", Pp.169-172, (Ohm), it is performed in the same way as in a single processor. . However, this method requires a large amount of memory on a computer in order to simulate all of the target failure definitions. If data overflows from real memory, the overflowing data may be expanded to virtual memory,
This reduces the computing power.

【0003】そこでChappell, S.G.,Eimendorf,C.H.,an
d L.D,Schmidt,”LAMP:Logic Circuit Simulation,”Th
e Bell System Technical Journal,Vol.53,pp.1451-147
6,October1974.に記載されているように、実行時間効率
をあげるべく、実メモリからシミュレーションデータが
あふれないように定義されている故障の中から特定の故
障を検出対象外とし、データを縮小する手法が用いられ
ていることが知られている。この手法では特定の故障を
検出対象外として削除するため、シミュレーションの網
羅が保証されていない。従って、網羅度をあげるため
に、検出対象外となった故障に対し、テストベクトルの
最初から再度故障シミュレーションを実行する手法を用
いている。
[0003] Therefore, Chappell, SG, Eimendorf, CH, an
d LD, Schmidt, ”LAMP: Logic Circuit Simulation,” Th
e Bell System Technical Journal, Vol.53, pp.1451-147
As described in 6, October 1974, in order to improve execution time efficiency, specific faults are excluded from detection and are reduced from data that are defined so that simulation data does not overflow from real memory. It is known that techniques have been used. In this method, since a specific fault is deleted as a non-detection target, the coverage of the simulation is not guaranteed. Therefore, in order to increase the coverage, a method of executing a fault simulation again from the beginning of the test vector for a fault that is not detected is used.

【0004】[0004]

【発明が解決しようとする課題】上述した従来の故障シ
ミュレーション方式では、削除対象の故障に対して再度
のシミュレーション実行をテストベクトルの最初から実
行し、かつ、削除の行われたシミュレーションが終った
後でないと実行できないため、時間がかかるという欠点
がある。
In the above-described conventional fault simulation method, a simulation to be deleted is executed again from the beginning of the test vector for the fault to be deleted, and after the deleted simulation is completed. Otherwise, it cannot be executed, so that it takes time.

【0005】[0005]

【課題を解決するための手段】本発明の装置は、並列プ
ロセッサにおける故障シミュレーション装置において、
一つのプロセッサで故障シミュレーションを実行中に故
障回路のデータが増加してメモリオーバーフローが発生
すると前記故障回路データの一部を非動作状態にある他
のプロセッサに転送する手段と、前記一部の故障回路デ
ータを内部データから削除する手段と、前記他のプロセ
ッサで前記一部の故障回路データを基に故障シミュレー
ションを実行させる手段とを有することを特徴とする。
According to the present invention, there is provided an apparatus for simulating a fault in a parallel processor.
Means for transferring a part of the failed circuit data to another inactive processor when the data of the failed circuit increases and a memory overflow occurs during execution of the failure simulation in one processor; The present invention is characterized in that it comprises means for deleting circuit data from internal data, and means for causing the other processor to execute a failure simulation based on the partial failure circuit data.

【0006】[0006]

【実施例】本発明の一実施例を示す図1を参照すると、
本実施例は、並列プロセッサシステムにおいて、バス2
を介して接続される2つのプロセッサ1と1’が示され
ている。
FIG. 1 shows an embodiment of the present invention.
In this embodiment, the bus 2 is used in a parallel processor system.
Are shown, two processors 1 and 1 'connected via the.

【0007】いま、プロセッサ1において故障シミュレ
ーションを行う場合、プロセッサ1に故障シミュレータ
モジュール3をロードする。故障シミュレーションモジ
ュール3は、故障シミュレーションを実行制御する故障
シミュレータコア4と内部データからなる。内部データ
は、一つの正回路データ10と、定義された故障数に等
しい故障回路データからなる。
When a failure simulation is performed in the processor 1, a failure simulator module 3 is loaded into the processor 1. The failure simulation module 3 includes a failure simulator core 4 for executing and controlling a failure simulation and internal data. The internal data includes one positive circuit data 10 and fault circuit data equal to the defined number of faults.

【0008】シミュレーションが進むにつれて回路内に
故障が伝搬すると個々の故障回路のデータが増加する。
その結果、内部データ5が実メモリからあふれている場
合、故障シミュレータコア4は、故障回路データのうち
大きくメモリを消費している故障を削除対象故障回路デ
ータ11と定める。故障シミュレーションコア4は、空
いているプロセッサ1′に新規に故障シミュレーション
モジュール3′をロードする。故障シミュレータコア
4′は故障シミュレータコア4と同一である。故障シミ
ュレータモジュール3′は故障シミュレータコア4′と
内部データ5′からなる。
As the simulation progresses, if a fault propagates in the circuit, the data of each faulty circuit increases.
As a result, when the internal data 5 overflows from the real memory, the fault simulator core 4 determines a fault that consumes a large amount of memory among the fault circuit data as the fault circuit data 11 to be deleted. The failure simulation core 4 loads a new failure simulation module 3 'into the free processor 1'. The failure simulator core 4 'is the same as the failure simulator core 4. The failure simulator module 3 'includes a failure simulator core 4' and internal data 5 '.

【0009】故障シミュレータコア4は、正回路データ
抽出手段aと、削除対象故障回路データ抽出手段bを介
して正回路データ10及び削除対象故障回路データ11
を抽出し、データ転送手段dにより抽出データをバス2
を介して故障シミュレータコア4’に送り、不必要とな
った削除対象故障回路データ11を削除対象故障回路デ
ータ削除手段cにより削除する。
The fault simulator core 4 receives the correct circuit data 10 and the delete target fault circuit data 11 via the correct circuit data extractor a and the delete target fault circuit data extractor b.
And the extracted data is transferred to the bus 2 by the data transfer means d.
To the fault simulator core 4 ′ through the interface, and deletes unnecessary fault circuit data 11 to be deleted by the fault circuit data deleting means c.

【0010】故障シミュレータコア4’はバス2を介し
て送られたデータを正回路データ展開手段eと故障回路
データ展開手段fを介して正回路データ10’と故障回
路データ11’を内部データ5’に展開する。この後、
各々プロセッサ上で引続きシミュレーションを実行す
る。
The fault simulator core 4 'converts the data transmitted via the bus 2 into the normal circuit data 10' and the fault circuit data 11 'via the normal circuit data expanding means e and the fault circuit data expanding means f into the internal data 5'. 'To expand. After this,
The simulation is subsequently executed on each processor.

【0011】図2は、上述の実施例のフローチャートで
ある。故障シミュレーション開始(S1)によりシミュ
レータを起動する。先ず、各時刻での演算(S2)が終
了の後、メモリオーバフローが存在するか否かをチェッ
クし(S3)、メモリオーバフローが発生していない場
合は、NOが選択され次時刻の演算(S2)にはいる。
FIG. 2 is a flowchart of the above embodiment. The simulator is started by starting the failure simulation (S1). First, after completion of the operation (S2) at each time, it is checked whether or not a memory overflow exists (S3). If no memory overflow has occurred, NO is selected and the operation at the next time (S2) is performed. ).

【0012】メモリオーバフローが発生している場合
は、YESが選択され、他プロセッサ上で故障シミュレ
ータの起動し(S4)、メモリオーバフローを解消する
ために削除対象となる故障の決定をおこない(S5)、
正回答データ5および削除対象故障回路データ11を起
動故障シミュレータに対し転送する(S6,S7)。そ
して削除対象の故障を削除(S8)ののち、引続きシミ
ュレーションを実行する。一方、プロセッサ1’では、
故障シミュレータ起動(S4)により、故障シミュレー
ションを開始する(S10)。故障シミュレータは受信
した正回路データを展開(S11)および故障回路デー
タを展開(S12)し、シミュレーションを実行する。
If a memory overflow has occurred, YES is selected, a fault simulator is activated on another processor (S4), and a fault to be deleted is determined to eliminate the memory overflow (S5). ,
The correct answer data 5 and the deletion target fault circuit data 11 are transferred to the startup fault simulator (S6, S7). After deleting the fault to be deleted (S8), the simulation is continuously executed. On the other hand, in processor 1 ',
The failure simulation is started by starting the failure simulator (S4) (S10). The failure simulator expands the received positive circuit data (S11) and expands the failed circuit data (S12), and executes a simulation.

【0013】[0013]

【発明の効果】本発明は、従来故障故障検出対象外とな
った時点で捨てられていた情報を他のプロセッサで引続
き実行する構成としたため、再実行の無駄を省略でき、
処理時間が短くなるとという効果を有する。
According to the present invention, the information which has been discarded at the time when the fault is not detected is continuously executed by another processor.
This has the effect of shortening the processing time.

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

【図1】本発明の一実施例の構成を示す概略図である。FIG. 1 is a schematic diagram showing a configuration of an embodiment of the present invention.

【図2】図1の一実施例のフローチャートFIG. 2 is a flowchart of one embodiment of FIG. 1;

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

1 プロセッサ 1’ プロセッサ 2 バス 3 故障シミュレータモジュール 3’ 故障シミュレータモジュール 4 故障シミュレータコア 4’ 故障シミュレータコア 5 内部データ 5’ 内部データ 10 正回答データ 10’ 正回答データ 11 削除対象故障回路データ 11’ 故障回路データ a 正回路データ抽出手段 b 削除対象故障回路データ抽出手段 c 削除対象故障回路データ削除手段 d データ転送手段 e 正回答データ展開出手段 f 故障回路データ展開出手段 1 Processor 1 'Processor 2 Bus 3 Fault Simulator Module 3' Fault Simulator Module 4 Fault Simulator Core 4 'Fault Simulator Core 5 Internal Data 5' Internal Data 10 Correct Answer Data 10 'Correct Answer Data 11 Deletion Target Fault Circuit Data 11' Fault Circuit data a Positive circuit data extraction means b Deletion target fault circuit data extraction means c Deletion target fault circuit data deletion means d Data transfer means e Correct answer data expansion means f Faulty circuit data expansion means

Claims (2)

(57)【特許請求の範囲】(57) [Claims] 【請求項1】 並列プロセッサにおける故障シミュレー
ション装置において、一つのプロセッサで故障シミュレ
ーションを実行中に故障回路のデータが増加してメモリ
オーバーフローが発生すると前記故障回路データの一部
を非動作状態にある他のプロセッサに転送する手段と、
前記一部の故障回路データを内部データから削除する手
段と、前記他のプロセッサで前記一部の故障回路データ
を基に故障シミュレーションを実行させる手段とを有す
ることを特徴とする故障シミュレーション装置。
In a fault simulation device for a parallel processor, when a fault overflow occurs in one of the processors and a memory overflow occurs due to an increase in the data of the faulty circuit, a part of the faulty circuit data is inactive. Means for forwarding to the processor of the
A failure simulation apparatus comprising: means for deleting the part of the failed circuit data from the internal data; and means for causing the other processor to execute a failure simulation based on the part of the failed circuit data.
【請求項2】前記各手段を前記各プロセッサにロード可
能なプログラムモジュールで構成したことを特徴とする
請求項1記載の故障シミュレーション装置。
2. The failure simulation apparatus according to claim 1, wherein each of said means is constituted by a program module that can be loaded into each of said processors.
JP22486093A 1993-09-10 1993-09-10 Failure simulation device Expired - Lifetime JP2576378B2 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP22486093A JP2576378B2 (en) 1993-09-10 1993-09-10 Failure simulation device

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP22486093A JP2576378B2 (en) 1993-09-10 1993-09-10 Failure simulation device

Publications (2)

Publication Number Publication Date
JPH0784823A JPH0784823A (en) 1995-03-31
JP2576378B2 true JP2576378B2 (en) 1997-01-29

Family

ID=16820307

Family Applications (1)

Application Number Title Priority Date Filing Date
JP22486093A Expired - Lifetime JP2576378B2 (en) 1993-09-10 1993-09-10 Failure simulation device

Country Status (1)

Country Link
JP (1) JP2576378B2 (en)

Also Published As

Publication number Publication date
JPH0784823A (en) 1995-03-31

Similar Documents

Publication Publication Date Title
KR870002504A (en) Fault recovery method and apparatus in the calculation system
JPH06231097A (en) Equipment and method for starting of multiprocessor system
US4891773A (en) Logic simulation
JP2008282308A (en) Cooperation verification device, cooperation verification method, and cooperation verification program
JP2576378B2 (en) Failure simulation device
JP2001209556A (en) Verification supporting system
JP2585592B2 (en) Computer adjustment method
JPH10334125A (en) Device, system, and method for cad software automatic test, and recording medium
JP2000081467A (en) Method for controlling procedure of execution in semiconductor testing device
JPH021571A (en) Faulty simulation device
JPH05225275A (en) Fault simulation system
JP2616541B2 (en) Logic simulator
JPH02231634A (en) Method for maintaining interchangeability of software
JP3011591B2 (en) Method for determining malfunction of semiconductor integrated circuit
JPH07319732A (en) Test coverage measuring method
JP3685288B2 (en) Microprocessor emulation method and emulator device
JPH11250115A (en) Logical verification method using emulator
JPS63300330A (en) Debugging method for firmware
JPS58195974A (en) Data processor
JPS60101646A (en) Interruption processing method
JP2000339199A (en) Tm save analyzing method
JPH01292451A (en) Information processor
JPS6149254A (en) Test system of input/output processor
JPH06243190A (en) Logic simulator
JPH0519745B2 (en)

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: 19960910