JPH11203160A - Testing method for data processor - Google Patents

Testing method for data processor

Info

Publication number
JPH11203160A
JPH11203160A JP10006308A JP630898A JPH11203160A JP H11203160 A JPH11203160 A JP H11203160A JP 10006308 A JP10006308 A JP 10006308A JP 630898 A JP630898 A JP 630898A JP H11203160 A JPH11203160 A JP H11203160A
Authority
JP
Japan
Prior art keywords
instruction
test
execution result
error
instruction group
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
JP10006308A
Other languages
Japanese (ja)
Inventor
Joji Shirota
丈治 城田
Yutaka Kodama
豊 児玉
Hiroichi Mitsumata
博一 三俣
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.)
Hitachi Ltd
Hitachi Information Technology Co Ltd
Original Assignee
Hitachi Ltd
Hitachi Information Technology 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 Hitachi Ltd, Hitachi Information Technology Co Ltd filed Critical Hitachi Ltd
Priority to JP10006308A priority Critical patent/JPH11203160A/en
Publication of JPH11203160A publication Critical patent/JPH11203160A/en
Pending legal-status Critical Current

Links

Landscapes

  • Test And Diagnosis Of Digital Computers (AREA)

Abstract

PROBLEM TO BE SOLVED: To provide a testing method for a data processor which avoids the generation of an instruction string that becomes failure due to the same factor and is more efficient with high accuracy. SOLUTION: This method generates a test instruction group through a prescribed test instruction group generation condition with a random number as an input, simulates an instruction of a tent instruction group, produces expectation, executes the same instruction on a test object device, gets an execution result, compares the execution result with the expectation, retrieves an instruction that becomes noncoincidence, analyzes the cause and changes a test instruction group generation condition that corresponds to an error cause. Tests for count which designates the operation are carried out and are repeated until they are finished.

Description

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

【0001】[0001]

【発明の属する技術分野】本発明は、データ処理装置の
試験方法に関し、特にランダムに試験命令群を生成して
被試験データ処理装置の処理機能を試験する方法に関す
る。
BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a method for testing a data processing device, and more particularly to a method for randomly generating a test instruction group to test a processing function of a data processing device under test.

【0002】[0002]

【従来の技術】データ処理装置の高性能化を支える技術
として、命令をいくつかの処理ステージに分解し、各装
置(ユニット)が特定のステージを1マシンサイクル毎
に処理するパイプライン処理方式が広く採用されてい
る。この先行制御機能とも呼ばれるパイプライン処理
は、複雑かつ大規模な論理によって実現されており、年
々先行制御の度合いが非常に深くなっている。その為、
先行制御機能の検証は試験命令群の命令数拡大による複
雑な機能組み合わせの発生によって、データ処理装置
(命令プロセッサ)に高負荷を与えた条件下での試験が
重要となっている。
2. Description of the Related Art As a technique for supporting high performance of a data processing apparatus, a pipeline processing method in which an instruction is divided into several processing stages and each apparatus (unit) processes a specific stage every one machine cycle is used. Widely adopted. The pipeline processing, which is also called the advance control function, is realized by a complex and large-scale logic, and the degree of the advance control is becoming very deep year by year. For that reason,
For the verification of the advanced control function, a test under a condition that a high load is applied to a data processing device (instruction processor) is important due to the generation of a complicated function combination due to an increase in the number of test instruction groups.

【0003】論理検証を目的とした試験プログラムの中
で、乱数データを入力として試験命令群を生成する乱数
試験プログラムの従来の技術について説明する。特開平
8−166892号には、乱数データを入力として試験
命令群を生成する乱数試験プログラムを用いて、パイプ
ライン処理試験を高負荷環境で実行する為の大規模な試
験命令を生成し、不一致を発生する命令群を抽出する事
で不良となった原因の究明を容易にし、大規模な試験命
令の生成を可能とする方法が開示されている。しかし、
乱数データを用いて試験を繰り返し行う性格上、同一要
因による不良を発生する命令群を何度も生成してしまう
確率が高く、試験及び不良解析効率が低下してしまうと
いう問題があった。
A conventional technique of a random number test program for generating a test instruction group with random number data as an input in a test program for logic verification will be described. Japanese Patent Application Laid-Open No. 8-166892 discloses a method for generating a large-scale test instruction for executing a pipeline processing test in a high-load environment by using a random-number test program that generates a test instruction group by using random number data as an input. A method has been disclosed which makes it easy to find out the cause of the failure by extracting a group of instructions that cause the generation of a test instruction, and enables generation of a large-scale test instruction. But,
Due to the nature of repeating a test using random number data, there is a high probability that an instruction group that generates a defect due to the same factor is generated many times, and the test and defect analysis efficiency is reduced.

【0004】[0004]

【発明が解決しようとする課題】従来の技術では、乱数
データからのみ命令列を生成する為、過去に行った試験
を何度も繰り返す結果となる。この為、何度も同一要因
に起因する不良を摘出する命令列を生成し同一要因によ
る不良を多発する結果となる。本発明の目的は、上記の
課題を解決し、同一要因による不良となる命令列の生成
を避け、より効率の良い高精度なデータ処理装置の試験
方法を提供するものである。
In the prior art, since the instruction sequence is generated only from the random number data, the test performed in the past is repeated many times. For this reason, an instruction sequence for extracting a defect caused by the same factor is generated many times, resulting in a large number of defects caused by the same factor. SUMMARY OF THE INVENTION It is an object of the present invention to solve the above-described problems and to provide a more efficient and more accurate test method for a data processing device by avoiding generation of a defective instruction sequence due to the same factor.

【0005】[0005]

【課題を解決するための手段】上記目的を達成する為、
乱数データを入力として所定の試験命令群生成条件によ
り試験命令群を繰り返し生成し、試験命令群を被試験デ
ータ処理装置に実行させてデータ処理装置を試験する方
法において、シミュレーションにより作成した前記試験
命令群の実行結果の期待値と当該データ処理装置におけ
る実行結果との比較により不一致が生じた場合、不一致
の要因となった命令及び対象機能を見つけ出してエラー
原因を解析し、エラー原因に対応する試験命令群生成条
件を変更した後、試験を続行する。
In order to achieve the above object,
In the method of repeatedly generating a test instruction group based on a predetermined test instruction group generation condition with random number data as an input and causing the data processing device under test to execute the test instruction group to test the data processing device, the test instruction created by simulation If a mismatch occurs due to a comparison between the expected value of the execution result of the group and the execution result of the data processing device, an instruction and a target function that caused the mismatch are found, an error cause is analyzed, and a test corresponding to the error cause is performed. After changing the instruction group generation condition, the test is continued.

【0006】[0006]

【発明の実施の形態】以下、本発明の一実施例を図面に
より詳細に説明する。
DESCRIPTION OF THE PREFERRED EMBODIMENTS One embodiment of the present invention will be described below in detail with reference to the drawings.

【0007】図1は、情報処理装置の試験装置の構成を
示す本発明の一実施例のブロック図である。図1におい
て試験装置は、命令生成レートテーブル/機能構築レー
トテーブル(113)及び乱数値を用いて試験命令詳細
情報テーブル(109)及び試験命令群(110)及び
実行初期値(111)を生成する試験命令群生成部(1
01と、実行初期値(111)を用い試験命令群(11
0)をシミュレートして期待値(114)を生成する命
令シミュレート部(102)と、実行初期値(111)
を初期値とし試験命令群(110)を試験対象の情報処
理装置に実行させ実行結果値(115)を得る試験命令
群実行部(103)と、期待値(114)と実行結果値
(115)を比較して不一致を検出する実行結果比較部
(104)と、試験命令群(110)、実行初期値(1
11)、期待値(114)及び実行結果値(115)か
らエラーとなる結果を生成する命令を摘出するエラー命
令摘出部(105)と、試験命令詳細情報テーブル(1
09)、試験命令群(110)、実行初期値(11
1)、命令生成レートテーブル/機能構築レートテーブ
ル(113)、期待値(114)及び実行結果値(11
5)からエラー原因を解析しエラー解析結果(112)
を生成するエラー原因解析部(106)と、エラー解析
結果(112)を用い命令生成レートテーブル/機能構
築レートテーブル(113)を更新する命令生成レート
調整部(107)と、エラー解析結果(112)、期待
値(114)及び実行結果値(115)からエラーメッ
セージ(116)を作成するエラーメッセージ出力部
(108)とより構成される。
FIG. 1 is a block diagram of an embodiment of the present invention showing a configuration of a test apparatus of an information processing apparatus. In FIG. 1, the test apparatus generates a test instruction detailed information table (109), a test instruction group (110), and an initial execution value (111) using an instruction generation rate table / function construction rate table (113) and a random number. Test instruction group generation unit (1
01 and the test instruction group (11
0), an instruction simulating unit (102) for generating an expected value (114), and an initial execution value (111).
The test instruction group execution unit (103) for executing the test instruction group (110) by the information processing device to be tested to obtain the execution result value (115), the expected value (114) and the execution result value (115) , An execution result comparison unit (104) for detecting a mismatch, a test instruction group (110), and an execution initial value (1).
11), an error instruction extracting unit (105) for extracting an instruction that generates an error result from the expected value (114) and the execution result value (115), and a test instruction detailed information table (1).
09), test instruction group (110), execution initial value (11
1), instruction generation rate table / function construction rate table (113), expected value (114), and execution result value (11)
The cause of the error is analyzed from 5), and the error analysis result (112)
, An instruction generation rate adjustment unit (107) that updates the instruction generation rate table / function construction rate table (113) using the error analysis result (112), and an error analysis result (112). ), An error message output unit (108) for creating an error message (116) from the expected value (114) and the execution result value (115).

【0008】図2は、図1の試験装置全体の処理を示す
フローチャートである。命令生成レートテーブル/機能
構築レートテーブル及び乱数値を入力として試験命令詳
細情報テーブル、試験命令群及び実行初期値を生成し
(201)、試験命令群の命令をシミュレートし期待値
を作成する(202)。その後試験対象装置上で同一命
令を実行し実行結果値を得(203)、実行結果値と期
待値を比較チェックし(204)不一致となる実行結果
値を生成する命令を検索する(205)。(205)で
検索した命令の結果が不一致となった原因を解析してエ
ラー解析結果を生成する(206)。命令調整レート調
整部(207)はエラー原因解析(206)で得られた
解析結果を元に、命令生成レートテーブル/機能構築レ
ートテーブルを同一要因不良が出なくなるように更新す
る。該記操作を指定された回数分の試験を実行し終える
まで繰り返す(208)。
FIG. 2 is a flowchart showing the processing of the entire test apparatus of FIG. A test instruction detailed information table, a test instruction group, and an initial execution value are generated by inputting the instruction generation rate table / function construction rate table and the random number value (201), and the expected value is created by simulating the instructions of the test instruction group (201). 202). Thereafter, the same instruction is executed on the test target device to obtain an execution result value (203), the execution result value is compared with an expected value and checked (204), and an instruction for generating an unmatched execution result value is searched (205). An error analysis result is generated by analyzing the cause of the mismatch of the result of the instruction searched in (205) (206). The instruction adjustment rate adjustment unit (207) updates the instruction generation rate table / function construction rate table based on the analysis result obtained in the error cause analysis (206) so that the same factor defect does not occur. This operation is repeated until the specified number of tests are completed (208).

【0009】図3は、本発明の実施例で使用される各テ
ーブルのフォーマットを示す図である。試験命令詳細情
報テーブル(301)には、生成された各命令につい
て、命令種別、命令タイプ、フォーマット、使用したレ
ジスタ番号、生成された命令がメモリアクセス命令なら
ばアクセスしたアドレス等の詳細な情報が書込まれる。
機能構築レートテーブル(302)には、生成する命令
列が実現する機能の出現頻度が設定されている。命令生
成レートテーブルには、生成する命令列が実現しようと
する各機能に対応した命令タイプ毎の出現頻度が書込ま
れたものと(303)、命令タイプ内の命令種別毎の出
現頻度とコンフリクト幅とその頻度が書込まれたもの
(304)がある。
FIG. 3 is a diagram showing a format of each table used in the embodiment of the present invention. The test instruction detailed information table (301) includes, for each generated instruction, detailed information such as the instruction type, the instruction type, the format, the register number used, and the address accessed if the generated instruction is a memory access instruction. Written.
In the function construction rate table (302), the appearance frequency of the function realized by the generated instruction sequence is set. In the instruction generation rate table, the occurrence frequency of each instruction type corresponding to each function to be realized by the instruction sequence to be generated is written (303), and the occurrence frequency of each instruction type in the instruction type is conflicted. There is one in which the width and its frequency are written (304).

【0010】図4は、命令生成レート調整部の処理を示
すデータフロー図である。FRコンフリクト機能のテス
トが目的となっていて、フローティング演算命令でパイ
プライン動作不良となっていた場合(401)、フロー
ティング演算レジスタコンフリクトの試験発生頻度を下
げるように機能構築レートを更新し(402)、エラー
となった命令のエラー対象コンフリクト幅の発生頻度を
下げるように命令生成レートを更新する(403)。こ
の操作により、エラー原因となる命令パターンの生成を
抑止することができる。
FIG. 4 is a data flow diagram showing the processing of the instruction generation rate adjusting unit. If the purpose is to test the FR conflict function and the floating operation instruction causes a pipeline operation failure (401), the function construction rate is updated so as to reduce the frequency of occurrence of the floating operation register conflict test (402). Then, the instruction generation rate is updated so as to reduce the frequency of occurrence of the error-conflict width of the erroneous instruction (403). By this operation, generation of an instruction pattern that causes an error can be suppressed.

【0011】図5は、図2の試験命令群及び実行初期値
生成(201)の処理中の試験命令群生成方法を示すデ
ータフローである。機能構築レートテーブルの頻度より
生成する命令列が実現する機能を決定し(501)、命
令生成レートテーブルでは、選択された機能を実現する
為の命令タイプ毎命令出現頻度表を選択し、その頻度よ
り出現させる命令タイプを選択する(502)。命令タ
イプ毎の命令生成レートテーブル内の命令種別毎の頻度
によって生成命令を決定し(503)コンフリクト幅の
頻度によって試験命令詳細情報テーブルを決定しターゲ
ットとして使われたリソースデータを元にオペランドを
決定する(504)。この時、コンフリクト幅とはある
リソースを更新してから使用するまでに実行される命令
数を言う。
FIG. 5 is a data flow showing a test instruction group generation method during the processing of the test instruction group and execution initial value generation (201) of FIG. A function realized by the instruction sequence generated from the frequency of the function construction rate table is determined (501). In the instruction generation rate table, an instruction appearance frequency table for each instruction type for realizing the selected function is selected. An instruction type to be displayed is selected (502). The instruction to be generated is determined by the frequency of each instruction type in the instruction generation rate table for each instruction type (503) The test instruction detailed information table is determined by the frequency of the conflict width, and the operand is determined based on the resource data used as the target (504). At this time, the conflict width refers to the number of instructions executed from updating a certain resource to using it.

【0012】図6は、図2のエラー命令摘出処理(20
5)のフローチャートを示す図である。命令数カウンタ
値Nの初期値を1とする(601)。対象テスト命令列
の先頭から命令カウンタ値分の命令列を選択し(60
2)、当該命令列をシミュレート実行して期待値を生成
する(603)。その後対象装置上で同一命令を実行し
(604)、シミュレートで得た期待値と実行結果を比
較チェックする(605)。結果が正しい場合には、命
令数カウンタを+1(606)し、同様の処理を繰り返
す。結果が不正であった場合、実行した命令列中の最後
の命令が障害要因を持つエラー命令であると判断し、処
理を終了する。
FIG. 6 shows an error instruction extraction process (20) shown in FIG.
It is a figure which shows the flowchart of 5). The initial value of the instruction number counter value N is set to 1 (601). An instruction sequence corresponding to the instruction counter value is selected from the beginning of the target test instruction sequence (60
2) Simulate and execute the instruction sequence to generate an expected value (603). Thereafter, the same command is executed on the target device (604), and the expected value obtained by the simulation and the execution result are compared and checked (605). If the result is correct, the instruction counter is incremented by +1 (606), and the same processing is repeated. If the result is incorrect, it is determined that the last instruction in the executed instruction sequence is an error instruction having a cause of failure, and the process ends.

【0013】上記処理により、対象テスト命令列実行後
の被テスト対象装置上の情報(メモリ・レジスタ)では
障害部位が特定できないような複雑な動作シーケンスを
有するテスト命令列に於いて、障害要因を有するテスト
命令を特定することが可能となる。
According to the above-described processing, in the test instruction sequence having a complicated operation sequence in which the information (memory register) on the device under test after execution of the target test instruction sequence cannot identify the faulty part, the cause of the failure is determined. It is possible to specify the test instruction to have.

【0014】図7は、図2のエラー原因解析(206)
の処理を示すフローチャートである。TLB機能をoffと
し、命令群を実行して実行結果値を生成し(701)、
生成した実行結果値と期待値とを比較する(702)。
結果が等しければTLB不良によるエラーであることを報
告する(715)。結果が等しくない場合は命令コード
やオペランドデータをIn-cacheで実行して実行結果値を
生成し(703)、生成した実行結果値と期待値とを比
較する(704)。結果が等しければメモリアクセス不
良によるエラーであることを報告する(714)。結果
が等しくない場合はエラー命令の前にパイプライン調整
用命令(SYNC/NOP)を挿入して実行結果値を生成し(70
5)、生成した実行結果値と期待値とを比較する(70
6)。結果が等しければパイプライン不良によるエラー
であることを報告する(713)。結果が等しくない場
合は、エラー対象命令が使用しているレジスタ名を変更
して実行結果を生成し(707)、生成した実行結果値
と期待値とを比較する(708)。結果が等しくない場
合はデータ依存タイプのエラーである事を報告する(7
09)。結果が等しい場合は、エラー命令単体でのデー
タバリエーション試験を行い(710)、NGが発見さ
れればデータ依存タイプのエラーである事を報告する
(709)。NGがない場合は物理障害タイプのエラー
であることを報告する(712)。最後に、命令種別、
命令タイプ、機能構築データ等をエラー解析結果に書き
込む(716)。
FIG. 7 shows the error cause analysis (206) of FIG.
6 is a flowchart showing the processing of FIG. Turn off the TLB function, execute the instruction group and generate an execution result value (701),
The generated execution result value is compared with the expected value (702).
If the results are equal, an error due to TLB failure is reported (715). If the results are not equal, the instruction code or operand data is executed by the In-cache to generate an execution result value (703), and the generated execution result value is compared with an expected value (704). If the results are equal, an error due to a bad memory access is reported (714). If the results are not equal, an instruction for pipeline adjustment (SYNC / NOP) is inserted before the error instruction to generate an execution result value (70
5) Compare the generated execution result value with the expected value (70)
6). If the results are equal, it is reported that the error is due to a pipeline failure (713). If the results are not equal, an execution result is generated by changing the register name used by the error target instruction (707), and the generated execution result value is compared with an expected value (708). If the results are not equal, report a data-dependent error (7
09). If the results are equal, a data variation test is performed on the error instruction alone (710), and if an NG is found, a data dependent type error is reported (709). If there is no NG, the error is reported as a physical failure type error (712). Finally, the instruction type,
The instruction type, function construction data, and the like are written in the error analysis result (716).

【0015】対象装置がデグラモードをサポートしてい
る場合に於は、同様の障害解析を対象装置の機能で実現
可能である。
When the target device supports the degra mode, the same failure analysis can be realized by the function of the target device.

【0016】[0016]

【発明の効果】本発明により、同一要因による不良の発
生を回避することによって不良原因解析の工数を低減す
るとともに、検証精度を向上させることが可能となり、
短期間で高精度な論理検証が可能となる。
According to the present invention, it is possible to reduce the number of steps of failure cause analysis by avoiding the occurrence of defects due to the same factor, and to improve the verification accuracy.
High-accuracy logic verification is possible in a short period of time.

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

【図1】本発明の一実施例の試験方法によりデータ処理
装置の試験を実施する試験システムの構成を示すブロッ
ク図である。
FIG. 1 is a block diagram showing a configuration of a test system for performing a test of a data processing device by a test method according to an embodiment of the present invention.

【図2】本試験システム全体の処理を示すフローチャー
トである。
FIG. 2 is a flowchart showing processing of the entire test system.

【図3】本試験システムが使用するデータテーブルフォ
ーマット例である。
FIG. 3 is an example of a data table format used by the test system.

【図4】命令生成レート調整部の内部処理を示すブロッ
ク図である。
FIG. 4 is a block diagram showing internal processing of an instruction generation rate adjusting unit.

【図5】試験命令生成部の内部処理を示すブロック図で
ある。
FIG. 5 is a block diagram showing internal processing of a test instruction generation unit.

【図6】エラー命令摘出部の内部処理を示すフローチャ
ートである。
FIG. 6 is a flowchart illustrating internal processing of an error instruction extracting unit.

【図7】エラー原因解析部概略の内部処理を示すフロー
チャートである。
FIG. 7 is a flowchart illustrating an internal process of an error cause analysis unit.

【符号の説明】 101 試験命令生成部 102 命令シミュレート部 103 試験命令群実行部 104 実行結果比較部 105 エラー命令摘出部 106 エラー原因解析部 107 命令生成レート調整部 108 エラーメッセージ出力部 109 試験命令群詳細情報テーブル 110 試験命令群 111 実行初期値 112 エラー解析結果 113 命令生成レートテーブル/機能構築レートテー
ブル 114 期待値 115 実行結果値 116 エラーメッセージ
[Description of Signs] 101 Test instruction generation unit 102 Instruction simulation unit 103 Test instruction group execution unit 104 Execution result comparison unit 105 Error instruction extraction unit 106 Error cause analysis unit 107 Instruction generation rate adjustment unit 108 Error message output unit 109 Test instruction Group detail information table 110 Test instruction group 111 Initial execution value 112 Error analysis result 113 Instruction generation rate table / function construction rate table 114 Expected value 115 Execution result value 116 Error message

───────────────────────────────────────────────────── フロントページの続き (72)発明者 児玉 豊 神奈川県秦野市堀山下1番地 株式会社日 立インフォメーションテクノロジー内 (72)発明者 三俣 博一 神奈川県秦野市堀山下1番地 株式会社日 立インフォメーションテクノロジー内 ──────────────────────────────────────────────────続 き Continued on the front page (72) Inventor Yutaka Kodama 1st Horiyamashita, Hadano-shi, Kanagawa Prefecture Within Nichi Information Technology Co., Ltd. Within technology

Claims (1)

【特許請求の範囲】[Claims] 【請求項1】乱数データを入力として所定の試験命令群
生成条件により試験命令群を生成するステップ1と、前
記試験命令群の実行結果の期待値をシミュレーションよ
り作成するステップ2と、前記試験命令群を被試験デー
タ処理装置に実行させるステップ3と、前記シミュレー
ションにより作成した実行結果の期待値と前記データ処
理装置における実行結果の値とを比較するステップ4
と、比較により不一致が生じた場合に、不一致の要因と
なった命令及び機能を解析するステップ5と、解析結果
により前記試験命令群生成条件を変更するステップ5と
からなり、変更された試験命令群生成条件によりステッ
プ1からステップ5の処理を所定回数繰り返すことを特
徴とするデータ処理装置の試験方法。
A step of generating a test instruction group based on predetermined test instruction group generation conditions by using random number data as input; a step of generating an expected value of an execution result of the test instruction group by simulation; Step 3 of causing the data processing device under test to execute the group, and Step 4 of comparing the expected value of the execution result created by the simulation with the value of the execution result in the data processing device
And a step 5 of analyzing an instruction and a function causing the mismatch when a mismatch occurs by comparison, and a step 5 of changing the test instruction group generation condition based on the analysis result. A test method for a data processing apparatus, comprising repeating a process from step 1 to step 5 a predetermined number of times according to a group generation condition.
JP10006308A 1998-01-16 1998-01-16 Testing method for data processor Pending JPH11203160A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP10006308A JPH11203160A (en) 1998-01-16 1998-01-16 Testing method for data processor

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP10006308A JPH11203160A (en) 1998-01-16 1998-01-16 Testing method for data processor

Publications (1)

Publication Number Publication Date
JPH11203160A true JPH11203160A (en) 1999-07-30

Family

ID=11634755

Family Applications (1)

Application Number Title Priority Date Filing Date
JP10006308A Pending JPH11203160A (en) 1998-01-16 1998-01-16 Testing method for data processor

Country Status (1)

Country Link
JP (1) JPH11203160A (en)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8196111B2 (en) 2003-07-16 2012-06-05 International Business Machines Corporation Buckets of commands in a multiprocessor-based verification environment

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8196111B2 (en) 2003-07-16 2012-06-05 International Business Machines Corporation Buckets of commands in a multiprocessor-based verification environment

Similar Documents

Publication Publication Date Title
JP4266226B2 (en) Design verification system and method using checker validated selectively
US6141630A (en) System and method for automated design verification
US20070061641A1 (en) Apparatus and method for generating test driver
US20050149805A1 (en) Pending bug monitors for efficient processor development and debug
US20140047276A1 (en) Model-based testing of a graphical user interface
JPH05505271A (en) How to test and debug computer programs
US6847927B2 (en) Efficient array tracing in a logic simulator machine
US6721914B2 (en) Diagnosis of combinational logic circuit failures
US10853051B2 (en) Automated candidate repair patch generation
US10642716B1 (en) Automated software program repair
US10761962B1 (en) Automated software program repair
JPH11203160A (en) Testing method for data processor
US7051301B2 (en) System and method for building a test case including a summary of instructions
US6829572B2 (en) Method and system for efficiently overriding array net values in a logic simulator machine
JPH08166892A (en) Method for testing data processor
US6986110B1 (en) Automated method and system for backtracing of instruction parameters from specified instruction in test cases
JP2001051864A (en) Test conducting system for data processor
JPH07253909A (en) Microprogram verifying method
JP2001249906A (en) Test execution system for symmetric multiprocessors
JP3073848B2 (en) Test method for data processing equipment
JPH03252769A (en) Logical simulation system
JPH11282722A (en) Program verification method
JP2001022610A (en) Logic simulation system for data processor
JP2000010811A (en) Testing method for data processor
JPH0561935A (en) Logical simulation system