JP2003015965A - Test system in symmetric multi-processor environment - Google Patents

Test system in symmetric multi-processor environment

Info

Publication number
JP2003015965A
JP2003015965A JP2001202910A JP2001202910A JP2003015965A JP 2003015965 A JP2003015965 A JP 2003015965A JP 2001202910 A JP2001202910 A JP 2001202910A JP 2001202910 A JP2001202910 A JP 2001202910A JP 2003015965 A JP2003015965 A JP 2003015965A
Authority
JP
Japan
Prior art keywords
test
processor
instruction
memory
generating
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
JP2001202910A
Other languages
Japanese (ja)
Inventor
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
Original Assignee
Hitachi 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 filed Critical Hitachi Ltd
Priority to JP2001202910A priority Critical patent/JP2003015965A/en
Publication of JP2003015965A publication Critical patent/JP2003015965A/en
Pending legal-status Critical Current

Links

Abstract

PROBLEM TO BE SOLVED: To provide a test system automatically generating a command row generating an access to a memory by same timing from a plurality of processors in a symmetric multi-processor sharing a memory. SOLUTION: A test program has test environment setting process, a command simulator generating an expectation value, test command row performance trace information generating processing, result comparison processing, coverage information storing processing of a test command, and generating processing of a test command row, the test command row is generated in parallel every processor, a kind of an issuing memory access and an address and the number of estimation performance command cycles are accumulated to coverage information, the coverage information is referred by command generation of the processor side, the test command equivalent to the number of the performance command cycles of the processor side of an existing component is selected, and the test command row conflicting the access is generated for the memory of the address by the same timing from the plurality of the processors.

Description

【発明の詳細な説明】Detailed Description of the Invention

【0001】[0001]

【発明の属する技術分野】本発明は、メモリを共有する
Symmetric Multi プロセッサ上での試験方法に関し、特
に複数プロセッサから同一タイミングでメモリに対して
データの読み出し、及び書き込みを試験する方法に関す
る。
FIELD OF THE INVENTION The present invention shares memory.
The present invention relates to a test method on a Symmetric Multi processor, and more particularly to a method for testing reading and writing of data from a plurality of processors to a memory at the same timing.

【0002】[0002]

【従来の技術】Symmetric Multi プロセッサで試験プロ
グラムを実行させる方法において、各プロセッサ単位で
試験命令列を単独に生成する為、他プロセッサと同一タ
イミングで同一アドレスのメモリに対してのアクセスの
競合、および各プロセッサからのメモリへの書き込み・
読み出し等の各種動作を同一タイミングで競合させるた
め試験命令列の実現は長時間の実行に委ねられていた。
2. Description of the Related Art In a method of executing a test program on a Symmetric Multi processor, a test instruction sequence is generated individually for each processor, so that access competition to a memory at the same address at the same timing as other processors, and Writing to memory from each processor
The realization of a test instruction sequence has been left to execution for a long time in order to cause various operations such as reading to compete at the same timing.

【0003】そのため各命令プロセッサの試験命令列の
同一タイミングで同一アドレスのメモリに対してアクセ
スを行うケース、及びメモリへの書き込み・読み出し等
の各種動作を同一タイミングで競合するケースはランダ
ム性に依存するため発生頻度が少なく、また各プロセッ
サからの命令実行のタイミングに依存していた。
Therefore, the case of accessing the memory of the same address at the same timing of the test instruction sequence of each instruction processor and the case of competing various operations such as writing / reading to the memory at the same timing depend on randomness. Therefore, the frequency of occurrence is low and it depends on the timing of instruction execution from each processor.

【0004】また、特願平7−99206号にはSymmet
ric Multiプロセッサ構成の計算機システム上の各命令
プロセッサで同時に試験命令列を発行する方法が開示さ
れているが、各命令プロセッサで多数のメモリアクセス
命令を実行する場合はこの方法を適用するのは困難であ
る。
Further, Japanese Patent Application No. 7-99206 discloses Symmet.
A method has been disclosed in which each instruction processor in a computer system with a ric Multi processor configuration issues a test instruction sequence at the same time, but it is difficult to apply this method when a large number of memory access instructions are executed by each instruction processor. Is.

【0005】[0005]

【発明が解決しようとする課題】従来の技術では、各プ
ロセッサ単位で試験命令列を単独に生成する為、他プロ
セッサと同一タイミングで同一アドレスのメモリに対し
てのアクセスの競合、および各プロセッサからのメモリ
への書き込み・読み出し等の各種動作を同一タイミング
で競合させるため試験命令列の発生は出現する確率が低
いため、各プロセッサから同一タイミングで競合させる
試験命令列が生成できない恐れがある。
In the prior art, since the test instruction sequence is independently generated for each processor, access competition with respect to the memory of the same address at the same timing as the other processors, and from each processor. Since various operations such as writing / reading to and from the memory compete with each other at the same timing, the probability of occurrence of a test instruction sequence is low. Therefore, it is possible that each processor cannot generate a test instruction sequence to compete at the same timing.

【0006】この為、複数プロセッサから同一タイミン
グでメモリへのアクセスを競合させる試験を行う場合、
各プロセッサでロック制御用命令を発行し、各プロセッ
サの実行動作の完了を待ってから対象となる命令列の実
行制御を行う必要があった。
For this reason, when a test for competing access to the memory from a plurality of processors at the same timing is performed,
It was necessary for each processor to issue a lock control instruction, wait for the completion of the execution operation of each processor, and then control the execution of the target instruction sequence.

【0007】本発明の目的は、上記の課題を解決し、Sy
mmetric Multi プロセッサ間の任意の命令列で同一タイ
ミングでメモリアクセスの競合ケースを生成し、より効
率のよい高精度なSymmetric Multi プロセッサの試験方
法を提供するものである。
The object of the present invention is to solve the above-mentioned problems by
It is intended to provide a more efficient and highly accurate Symmetric Multi processor test method by generating a memory access conflict case at the same timing with an arbitrary instruction sequence between mmetric Multi processors.

【0008】[0008]

【課題を解決するための手段】上記目的を達成する為、
メモリを共有するSymmetric Multi プロセッサにおい
て、試験プログラムで各命令プロセッサよりメモリに対
してデータの読み出し、及び書き込みを実行させて試験
する方法において、試験環境設定処理、期待値を生成す
る命令シミュレータ、試験命令列実行トレース情報生成
処理、結果比較処理、試験命令のカバレージ情報蓄積処
理、試験命令列の生成処理を有し、実行プロセッサ台数
分の試験命令列を各プロセッサ毎に数命令ずつブロック
単位で並行に生成し、各プロセッサから発行されるメモ
リアクセスの種類・メモリアクセスのアドレス、及び推
測の実行命令サイクル数をカバレージ情報に蓄積し、他
プロセッサ側の命令生成で、前記カバレージ情報を参照
し、既生成分のプロセッサ側の実行命令サイクル数に相
当する試験命令を選択し、複数プロセッサから同一タイ
ミングで同一アドレスのメモリに対してのアクセスの競
合、およびメモリへの書き込み・読み出し等の各種動作
が競合する試験命令列を繰り返し生成する機能を有する
事を特徴とするものである。
[Means for Solving the Problems] To achieve the above object,
In the Symmetric Multi processor that shares the memory, in the method of testing by reading and writing data from and to each memory by the test program, the test environment setting process, the instruction simulator that generates the expected value, the test instruction It has column execution trace information generation processing, result comparison processing, test instruction coverage information accumulation processing, and test instruction string generation processing, and test instruction strings for the number of executing processors are executed in parallel in block units, with several instructions for each processor. Generates and stores the type of memory access issued from each processor, the address of memory access, and the number of speculative execution instruction cycles in the coverage information, and the instruction generation on the other processor side refers to the coverage information to generate it. Minutes, select a test instruction equivalent to the number of execution instruction cycles on the processor side, It is characterized by having a function of repeatedly generating a test instruction sequence in which multiple processors compete for access to the memory of the same address at the same timing and various operations such as writing / reading to / from the memory compete. .

【0009】[0009]

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

【0010】図1は、データ処理装置での試験プログラ
ム実行方式を示す本発明の一実施例のブロック図であ
る。当該データ処理装置の任意のメモリ上に試験命令列
(106)を、レジスタ等の各ハードウェア・リソース
に実行初期値(107)を、試験命令列の実行情報を試
験命令列カバレージ情報(108)に設定する試験命令
列環境設定部(101)。
FIG. 1 is a block diagram of an embodiment of the present invention showing a test program execution system in a data processing device. The test instruction sequence (106) is stored in an arbitrary memory of the data processor, the execution initial value (107) is stored in each hardware resource such as a register, and the execution information of the test instruction sequence is stored in the test instruction sequence coverage information (108). A test instruction sequence environment setting unit (101) to be set.

【0011】試験命令列(106)、及び実行初期値
(107)を用いて期待値(110)、各命令での期待
する実行シーケンスをテーブル化した試験命令列実行ト
レース情報(109)を生成する命令シミュレート部
(102)。実行初期値(107)を初期値とし、試験
命令列(106)を試験対象のデータ処理装置で実行し
実行結果値(111)を得る、またはタイマー監視によ
って試験命令列が障害により終了しなかった時はタイマ
ー割込み発生により強制終了をさせる試験命令列実行制
御部(103)。
The test instruction sequence (106) and the initial value of execution (107) are used to generate an expected value (110) and test instruction sequence execution trace information (109) which is a table of the expected execution sequence of each instruction. Instruction simulation unit (102). The execution initial value (107) is used as an initial value, the test instruction sequence (106) is executed by the data processing device to be tested to obtain the execution result value (111), or the test instruction sequence did not end due to a failure due to timer monitoring. At the time, the test instruction sequence execution control unit (103) forcibly ending the timer interrupt generation.

【0012】期待値(110)と実行結果値(111)
を比較して不一致を検出時にエラーメッセージ(11
2)を出力する実行結果比較部(104)。試験命令列
(106)、試験命令列カバレージ情報(108)から
必要情報を抽出し、試験命令列タイミング調整部(10
5)により対象となるプロセッサの試験命令列(10
6)を補正する。
Expected value (110) and execution result value (111)
Error message (11
Execution result comparison unit (104) that outputs 2). Necessary information is extracted from the test instruction sequence (106) and the test instruction sequence coverage information (108), and the test instruction sequence timing adjustment unit (10) is extracted.
5) the test instruction sequence (10
Correct 6).

【0013】図2は、図1の試験装置全体の処理を示す
フローチャートである。実行初期値データ群より各プロ
セッサの実行初期値を設定(ステップ201)する。オ
ペレータから指定された、あるいはランダム値により選
択されたパラメータ群から各プロセッサ毎にテストパラ
メータ情報を生成する(ステップ202)。最初に命令
生成するプロセッサは、当該プロセッサのテストパラメ
ータの情報のみを基に決められた対象ブロック範囲(2
0〜40命令分)の試験命令列を生成する(ステップ2
03)。生成した試験命令列の情報は試験命令列カバレ
ージ情報に蓄積する(ステップ204)。
FIG. 2 is a flow chart showing the processing of the entire test apparatus of FIG. The execution initial value of each processor is set from the execution initial value data group (step 201). Test parameter information is generated for each processor from a parameter group designated by the operator or selected by a random value (step 202). The processor that first generates an instruction determines the target block range (2
A test instruction sequence of 0 to 40 instructions is generated (step 2)
03). Information on the generated test instruction sequence is stored in the test instruction sequence coverage information (step 204).

【0014】2番目以降に命令生成するプロセッサは、
当該プロセッサのテストパラメータの情報と共に試験命
令列カバレージ情報を参照し、蓄積されている他プロセ
ッサの試験命令列の実行サイクル数を算出し、当該プロ
セッサで生成する試験命令列の命令サイクル数を考慮
し、他プロセッサでの実行サイクル数が長い場合は当該
プロセッサ側の実行サイクル数が長くなるように前後の
命令とレジスタ競合するように使用レジスタを設定、キ
ャッシュミス、あるいはTLBミスさせるように使用する
メモリアドレスを調整する。反対に他プロセッサでの実
行サイクル数が短い場合は同等サイクルで実行完了する
命令タイプを選択、生成する。前記方法で各プロセッサ
毎に数命令分の試験命令列を順次生成し、各プロセッサ
で生成した試験命令列の情報を前記試験命令列カバレー
ジ情報に蓄積する(ステップ204)。上記処理を全プ
ロセッサにおいて対象ブロック範囲N個分まで繰り返し
生成する(ステップ205)。
The second and subsequent processors that generate instructions are
By referring to the test instruction string coverage information together with the information on the test parameters of the processor, calculate the number of execution cycles of the accumulated test instruction string of another processor, and consider the number of instruction cycles of the test instruction string generated by the processor. , If the number of execution cycles in another processor is long, set the register to use so that the number of execution cycles on the processor side becomes long and register conflict with the preceding and following instructions, and use the memory to cause cache miss or TLB miss Adjust the address. On the other hand, if the number of execution cycles in another processor is short, an instruction type that completes execution in an equivalent cycle is selected and generated. The test instruction sequence for several instructions is sequentially generated for each processor by the above method, and the information of the test instruction sequence generated by each processor is stored in the test instruction sequence coverage information (step 204). The above processing is repeatedly generated up to N target block ranges in all processors (step 205).

【0015】前記生成された全プロセッサの対象ブロッ
ク範囲の試験命令カバレージ情報を参照し、各プロセッ
サの命令実行番号毎に実行サイクル数を比較し、任意の
プロセッサの実行サイクル数が偏っていないか、同一タ
イミングでのメモリアクセスが複数プロセッサで競合し
ているかを検索し、実行サイクル数が長い場合は、当該
命令のタイプを実行サイクル数の短い命令に置き換え
る。反対に短い場合には当該命令の前にダミーとなる命
令を挿入し、実行サイクル数を他のプロセッサに合わせ
る。全プロセッサ分の調整・変更完了後、命令シミュレ
ートにより期待値を生成する。前記実行初期値及び試験
命令列を基に各命令をシミュレートし期待値及び試験命
令列実行トレース情報を生成する(ステップ206)。
全プロセッサ分の試験命令列が全て終了するまでステッ
プ202からステップ206を繰り返す(ステップ20
7)。
With reference to the generated test instruction coverage information of the target block range of all processors, the number of execution cycles is compared for each instruction execution number of each processor, and the number of execution cycles of any processor is not biased. A search is made to see if memory accesses at the same timing are competing among multiple processors. If the number of execution cycles is long, the type of the instruction is replaced with an instruction having a short number of execution cycles. On the contrary, if it is short, a dummy instruction is inserted before the relevant instruction, and the number of execution cycles is adjusted to the other processor. After the adjustment / change of all processors is completed, the expected value is generated by instruction simulation. Each instruction is simulated based on the execution initial value and the test instruction sequence to generate expected value and test instruction sequence execution trace information (step 206).
Steps 202 to 206 are repeated until the test instruction sequences for all processors are completed (step 20).
7).

【0016】各プロセッサのリソースに初期値を設定し
試験対象処理装置上で試験命令列を実行し、実行結果を
得る(ステップ208)。
Initial values are set for the resources of each processor, the test instruction sequence is executed on the test target processor, and the execution result is obtained (step 208).

【0017】期待値と実行結果値を比較し(ステップ2
09)、不一致が生じた場合は、エラー情報を出力(ス
テップ210)し、全試験の実行が終了するまで前記ス
テップ201からステップ210まで繰り返す(ステッ
プ211)。
The expected value and the execution result value are compared (step 2
09), if a mismatch occurs, error information is output (step 210), and the steps 201 to 210 are repeated until the execution of all tests is completed (step 211).

【0018】図3は、試験命令列の生成処理のフローチ
ャートを示す。各プロセッサの試験命令カバレージ情報
を検索し(ステップ301)、テストパラメータよりメ
モリアクセス動作を決定(ステップ302)する。
FIG. 3 shows a flow chart of the test instruction sequence generation processing. The test instruction coverage information of each processor is retrieved (step 301), and the memory access operation is determined from the test parameters (step 302).

【0019】テストパラメータで同一メモリへのアクセ
スを選択するか否かを選択(ステップ303)し、当該
試験命令で同一メモリへのアクセスを選択した場合は、
メモリアクセスアドレス情報からアクセス頻度の低い順
にアクセスアドレスを選択する。選択したアクセスアド
レスが試験命令カバレージ情報に登録されている場合に
は当該アクセスアドレスを選択する。登録されていない
場合は試験命令カバレージ情報で使用されているアドレ
スを選択し、メモリアクセス情報を更新する(ステップ
304)。同一メモリへのアクセスをしない場合は試験
命令カバレージ情報で使用していないアドレスを検索
し、メモリアクセスアドレス情報からアクセス頻度の低
いアクセスアドレスを選択し、更新する(ステップ30
5)。ステップ302、ステップ304、ステップ30
5により決定したメモリアクセス動作・アドレスを基に
当該試験命令を生成(ステップ306)する。前記処理
を1命令ずつ繰り返し生成する。
If the access to the same memory is selected by the test parameter (step 303) and the access to the same memory is selected by the test instruction,
An access address is selected from the memory access address information in ascending order of access frequency. If the selected access address is registered in the test instruction coverage information, the access address is selected. If it is not registered, the address used in the test instruction coverage information is selected and the memory access information is updated (step 304). When the same memory is not accessed, an unused address is searched for in the test instruction coverage information, and an access address having a low access frequency is selected from the memory access address information and updated (step 30).
5). Step 302, Step 304, Step 30
The test instruction is generated based on the memory access operation / address determined in step 5 (step 306). The above process is repeatedly generated one instruction at a time.

【0020】[0020]

【発明の効果】本発明により、複数プロセッサから同一
タイミングでの同一メモリへのアクセス、および同一タ
イミングでメモリアクセス動作を競合させることが実現
出来、検証精度を向上させることが可能となり、高精度
な論理検証が可能となる。
According to the present invention, it is possible to realize access to the same memory from a plurality of processors at the same timing, and to compete memory access operations at the same timing, and it is possible to improve the verification accuracy and to achieve high accuracy. Logical verification is possible.

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

【図1】本発明の一実施例の試験方法によりSymmetric
Multi プロセッサの試験を実施する試験処理の構成を示
すブロック図である。
FIG. 1 shows a Symmetric test method according to an embodiment of the present invention.
It is a block diagram which shows the structure of the test process which implements the test of a Multi processor.

【図2】図1の試験プログラム全体の処理を示すフロー
チャートである。
FIG. 2 is a flowchart showing the processing of the entire test program shown in FIG.

【図3】図1の試験命令列生成処理のフローチャートで
ある。
FIG. 3 is a flowchart of a test instruction sequence generation process in FIG.

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

101 試験命令列環境設定部 102 命令シミュレート部 103 試験命令列実行制御部 104 実行結果比較 105 試験命令列タイミング調整部 106 試験命令列 107 実行初期値 108 試験命令列カバレージ情報 109 試験命令列実行トレース情報 110 期待値 111 実行結果値 112 エラーメッセージ 101 Test instruction sequence environment setting unit 102 Instruction simulation part 103 test instruction sequence execution control unit 104 Execution result comparison 105 Test instruction sequence timing adjustment unit 106 test instruction sequence 107 Initial execution value 108 Test instruction sequence coverage information 109 Test instruction string execution trace information 110 expected value 111 Execution result value 112 Error message

───────────────────────────────────────────────────── フロントページの続き (51)Int.Cl.7 識別記号 FI テーマコート゛(参考) G06F 11/22 350 G06F 11/22 350F 15/177 678 15/177 678H Fターム(参考) 5B018 GA03 JA04 JA22 MA04 QA13 5B045 EE02 JJ02 5B048 AA19 CC02 DD03 DD05 DD14 FF03 ─────────────────────────────────────────────────── ─── Continuation of front page (51) Int.Cl. 7 Identification code FI theme code (reference) G06F 11/22 350 G06F 11/22 350F 15/177 678 15/177 678H F term (reference) 5B018 GA03 JA04 JA22 MA04 QA13 5B045 EE02 JJ02 5B048 AA19 CC02 DD03 DD05 DD14 FF03

Claims (3)

【特許請求の範囲】[Claims] 【請求項1】メモリを共有するSymmetric Multi プロセ
ッサにおいて、試験プログラムで各命令プロセッサより
メモリに対してデータの読み出し、及び書き込みを試験
する方法において、試験環境設定処理、期待値を生成す
る命令シミュレータ、試験命令列実行トレース情報生成
処理、結果比較処理、試験命令のカバレージ情報蓄積処
理、試験命令列の生成処理を有し、試験命令列を当該Sy
mmetric Multi プロセッサの台数分、各プロセッサ毎に
数命令ずつブロック単位で生成し、各プロセッサから発
行されるメモリアクセスの種類・頻度を調節し、生成さ
れた全プロセッサ分のブロック単位での試験命令を命令
シミュレータで期待値を生成し、全試験命令列を繰り返
し生成する機能を有する事を特徴とするSymmetric Mult
i プロセッサの試験実行方式。
1. In a Symmetric Multi processor sharing a memory, a test environment setting process and an instruction simulator for generating an expected value in a method of testing reading and writing of data from and to each memory by a test program in a test program, The test instruction sequence execution trace information generation process, the result comparison process, the test instruction coverage information accumulation process, and the test instruction sequence generation process are included.
mmetric Multi Generates several instructions for each processor in block units, adjusts the type and frequency of memory access issued by each processor, and generates test instructions in block units for all generated processors. Symmetric Mult, which has the function of generating expected values with an instruction simulator and repeatedly generating all test instruction sequences
i Processor test execution method.
【請求項2】請求項1記載の試験命令列生成処理であっ
て、Symmetric Multi プロセッサにおいて各命令プロセ
ッサの試験命令列でメモリをアクセスする命令を選択し
た場合、他プロセッサでの同一タイミングでの試験命令
の種類・アクセスアドレスを認識し、メモリへの書き込
みあるいは読みだしを決定し、アクセスするアドレスを
決定し、同一アドレスのメモリへのアクセスの競合を任
意に生成する機能を有する事を特徴としたSymmetric Mu
lti プロセッサの試験実行方式。
2. The test instruction sequence generation process according to claim 1, wherein in the Symmetric Multi processor, when an instruction for accessing a memory is selected in the test instruction sequence of each instruction processor, the test is performed at the same timing in another processor. Characterized by having the function of recognizing the type and access address of the instruction, deciding whether to write or read to the memory, deciding the address to access, and arbitrarily generating the conflict of access to the memory of the same address Symmetric Mu
lti Processor test execution method.
【請求項3】請求項1記載の試験命令列生成処理であっ
て、テストパラメータと試験命令のカバレージ情報を参
照することにより、各命令プロセッサの試験命令列生成
において既生成分のプロセッサの試験命令列の種類・機
能、メモリアクセスのアドレス、及び生成された命令の
実行サイクル数より生成する命令の種類・機能・メモリ
アクセスのアドレス等を調節し、テストパラメータによ
り指定されたテストに相当する試験命令列を生成する機
能を有する事を特徴とするSymmetric Multi プロセッサ
の試験実行方式。
3. The test instruction sequence generation process according to claim 1, wherein by referring to the test parameter and the coverage information of the test instruction, the test instructions of the already generated processor are generated in the test instruction sequence generation of each instruction processor. A test instruction corresponding to the test specified by the test parameter by adjusting the type / function of the column, the memory access address, and the type / function / memory access address of the generated instruction based on the number of execution cycles of the generated instruction. A test execution method for the Symmetric Multi processor, which has the function of generating columns.
JP2001202910A 2001-07-04 2001-07-04 Test system in symmetric multi-processor environment Pending JP2003015965A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP2001202910A JP2003015965A (en) 2001-07-04 2001-07-04 Test system in symmetric multi-processor environment

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2001202910A JP2003015965A (en) 2001-07-04 2001-07-04 Test system in symmetric multi-processor environment

Publications (1)

Publication Number Publication Date
JP2003015965A true JP2003015965A (en) 2003-01-17

Family

ID=19039628

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2001202910A Pending JP2003015965A (en) 2001-07-04 2001-07-04 Test system in symmetric multi-processor environment

Country Status (1)

Country Link
JP (1) JP2003015965A (en)

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8423723B2 (en) 2009-03-27 2013-04-16 Samsung Electronics Co., Ltd. Multi-processor system device and method declaring and using variables
US8990062B2 (en) 2010-09-22 2015-03-24 International Business Machines Corporation Method and program for estimating operation of program

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8423723B2 (en) 2009-03-27 2013-04-16 Samsung Electronics Co., Ltd. Multi-processor system device and method declaring and using variables
US8990062B2 (en) 2010-09-22 2015-03-24 International Business Machines Corporation Method and program for estimating operation of program

Similar Documents

Publication Publication Date Title
US7472034B2 (en) System and method for test generation for system level verification using parallel algorithms
US7877659B2 (en) Memory model for functional verification of multi-processor systems
EP3391224B1 (en) Method and apparatus for data mining from core traces
JP5308098B2 (en) Information processing apparatus test program and method
US6212493B1 (en) Profile directed simulation used to target time-critical crossproducts during random vector testing
US20180300146A1 (en) Database operating method and apparatus
US7673288B1 (en) Bypassing execution of a software test using a file cache
US8412507B2 (en) Testing the compliance of a design with the synchronization requirements of a memory model
EP3933639B1 (en) Transaction processing method, apparatus, and electronic device for blockchain
US7502966B2 (en) Testcase generation via a pool of parameter files
CN113421095A (en) Parallel execution acceleration method for block chain transaction
JP2019091144A (en) Simulation device, simulation system, simulation method, and simulation program
CN113821898A (en) Random verification method, device, equipment and storage medium of chip subsystem
JP2003015965A (en) Test system in symmetric multi-processor environment
CN116167310A (en) Method and device for verifying cache consistency of multi-core processor
CN114328062B (en) Method, device and storage medium for checking cache consistency
US7761280B2 (en) Data processing apparatus simulation by generating anticipated timing information for bus data transfers
US8185697B1 (en) Methods and systems for coherence protocol tuning
CN115510782B (en) Method for locating verification errors, electronic device and storage medium
JP3647287B2 (en) Multiprocessor system performance evaluation method and apparatus
US6986110B1 (en) Automated method and system for backtracing of instruction parameters from specified instruction in test cases
JP2001249906A (en) Test execution system for symmetric multiprocessors
JP5390464B2 (en) Simulation apparatus, simulation apparatus control method, and program
JP6949440B2 (en) Vector generator and vector generator program
KR100421316B1 (en) An Event Selection Algorithm for Two-pass On-the-fly Detection of the First Races in Parallel Programs with Synchronization