JPH04257974A - Crossing-over evaluating system for logical design evaluation system - Google Patents
Crossing-over evaluating system for logical design evaluation systemInfo
- Publication number
- JPH04257974A JPH04257974A JP3019673A JP1967391A JPH04257974A JP H04257974 A JPH04257974 A JP H04257974A JP 3019673 A JP3019673 A JP 3019673A JP 1967391 A JP1967391 A JP 1967391A JP H04257974 A JPH04257974 A JP H04257974A
- Authority
- JP
- Japan
- Prior art keywords
- simulator
- logic
- test
- instruction
- 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.)
- Pending
Links
- 238000011156 evaluation Methods 0.000 title claims abstract description 30
- 238000013461 design Methods 0.000 title claims abstract description 24
- 238000004088 simulation Methods 0.000 claims abstract description 20
- 238000012546 transfer Methods 0.000 claims description 8
- 238000012360 testing method Methods 0.000 description 22
- 238000012545 processing Methods 0.000 description 9
- 238000000034 method Methods 0.000 description 7
- 238000010586 diagram Methods 0.000 description 2
- 230000000694 effects Effects 0.000 description 1
- 230000010365 information processing Effects 0.000 description 1
- 238000007781 pre-processing Methods 0.000 description 1
- 238000012795 verification Methods 0.000 description 1
Landscapes
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
Description
【0001】0001
【産業上の利用分野】本発明は論理設計評価システムの
評価方式に関し、特にソフトウェア(SW)シミュレー
タとハードウェア論理(HW)シミュレータ間の乗り移
りの評価方式に関する。BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to an evaluation method for a logic design evaluation system, and more particularly to an evaluation method for switching between a software (SW) simulator and a hardware logic (HW) simulator.
【0002】0002
【従来の技術】従来、この種の論理設計評価システムと
しては、SWシミュレータとHWシミュレータとを組み
合せて、試験プログラムの全ステップ数の数パーセント
程度の被試験命令部分を論理レベルのHWシミュレータ
で実行させ、大半のステップ数を占める残りの部分であ
るモニタ処理、試験前処理、試験後処理を論理レベルで
はなく命令レベルでシミュレートすることでHWシミュ
レータに比べて数百倍速いSWシミュレータで実行させ
ることにより、HWシミュレータ上の論理設計評価を効
果的に行う評価方式がある(例えば、「超高速シミュレ
ータ(HAL)による効果的論理検証」情報処理学会第
37回(昭和63年後期)全国大会論文参照)。[Prior Art] Conventionally, this type of logic design evaluation system combines a SW simulator and a HW simulator, and executes a part of the instructions under test, which is about a few percent of the total number of steps of a test program, on a logic-level HW simulator. By simulating the remaining parts, which account for most of the steps, such as monitor processing, pre-test processing, and post-test processing, at the instruction level rather than the logic level, the SW simulator is several hundred times faster than the HW simulator. Therefore, there is an evaluation method that effectively evaluates the logic design on a HW simulator (for example, "Effective logic verification using an ultrahigh-speed simulator (HAL)" Information Processing Society of Japan 37th (late 1988) National Conference Paper reference).
【0003】0003
【発明が解決しようとする課題】上述した従来の論理設
計評価システムでは、論理設計が完了しなければ動作で
きないため論理設計評価と同時に乗り移り処理の評価を
行っていたことから、論理設計バグか、SWシミュレー
タとHWシミュレータとの乗り移りの問題かを切り分け
ながら論理設計評価を進めるため、トラブル解析の範囲
を評価ツールまで考えなければならないだけではなく、
トラブル解析の時間もかかる問題があった。[Problems to be Solved by the Invention] The conventional logic design evaluation system described above cannot operate unless the logic design is completed, so the transfer process is evaluated at the same time as the logic design evaluation. In order to proceed with the logical design evaluation while isolating whether it is a problem of switching between the SW simulator and the HW simulator, it is not only necessary to consider the scope of trouble analysis to include evaluation tools.
There were some problems that took time to troubleshoot.
【0004】0004
【課題を解決するための手段】本発明の論理設計評価シ
ステムの乗り移り評価方式は、命令レベルシミュレータ
である第1のソフトウェア論理シミュレータと評価対象
のハードウェア論理シミュレータとを接続し、メモリの
内容とソフトウェアビジブルレジスタの内容とを互いに
送受信しながら前記ハードウェア論理シミュレータ上の
装置論理の評価を行う論理設計評価システムにおいて、
前記ハードウェア論理シミュレータの代わりに、前記ハ
ードウェア論理シミュレータが有するモデル情報受取手
段とモデル情報送出手段と前記ハードウェア論理シミュ
レータとは異なり命令レベルでシミュレーションするシ
ミュレーション実行手段とシミュレーション終了手段と
を有する第2のソフトウェア論理シミュレータを備える
。[Means for Solving the Problems] The transfer evaluation method of the logic design evaluation system of the present invention connects a first software logic simulator, which is an instruction level simulator, and a hardware logic simulator to be evaluated. In a logic design evaluation system that evaluates device logic on the hardware logic simulator while transmitting and receiving contents of software visible registers to and from each other,
Instead of the hardware logic simulator, the hardware logic simulator has a model information receiving means, a model information sending means, and unlike the hardware logic simulator, a simulation execution means for simulating at an instruction level, and a simulation termination means. Equipped with two software logic simulators.
【0005】[0005]
【実施例】次に、本発明について図面を参照して説明す
る。DESCRIPTION OF THE PREFERRED EMBODIMENTS Next, the present invention will be explained with reference to the drawings.
【0006】図1は本発明の一実施例における論理設計
評価システムの評価システムの構成を示し、試験プログ
ラム4が格納されたメモリモデル11、SWビジブルレ
ジスタモデル12、モデル情報受取手段13、シミュレ
ーション実行手段14、シミュレーション終了手段15
、モデル情報送出手段16を有する第1のSWシミュレ
ータ1と、試験プログラム4が格納されるメモリモデル
21、SWビジブルレジスタモデル22、モデル情報受
取手段23、シミュレーション実行手段24、シミュレ
ーション終了手段25、モデル情報送出手段26を有す
る第2のSWシミュレータ2とが接続されている。FIG. 1 shows the configuration of an evaluation system of a logic design evaluation system according to an embodiment of the present invention, which includes a memory model 11 storing a test program 4, a SW visible register model 12, model information receiving means 13, and a simulation execution unit. Means 14, simulation termination means 15
, a first SW simulator 1 having a model information sending means 16, a memory model 21 in which the test program 4 is stored, an SW visible register model 22, a model information receiving means 23, a simulation execution means 24, a simulation termination means 25, a model A second SW simulator 2 having an information sending means 26 is connected.
【0007】また、図2は図1に示す試験プログラム4
により評価済みとなった第1のSWシミュレータ1と第
2のSWシミュレータ2のうち、第2のSWシミュレー
タ2の代わりにHWシミュレータ3が第1のSWシミュ
レータ1に接続されているHWの論理設計評価システム
の構成を示している。FIG. 2 also shows the test program 4 shown in FIG.
Of the first SW simulator 1 and the second SW simulator 2 that have been evaluated, the HW simulator 3 is connected to the first SW simulator 1 instead of the second SW simulator 2. The configuration of the evaluation system is shown.
【0008】図3は第1のSWシミュレータ1及び第2
のSWシミュレータ2の処理フローを示している。第1
のSWシミュレータ1及び第2のSWシミュレータ2は
、SWビジブルレジスタモデルのひとつであるICが示
すメモリにある命令を取り出す命令フェッチ処理301
に続いて、フェッチした命令の命令コードをチェックす
る命令デコード処理302、命令コードに従った処理を
行う個別命令処理303、ICに今実行した命令の命令
語長を加算するIC加算処理304、シミュレータ間通
信を含むイベントのポーリングと各種イベント処理を行
うイベントポーラ処理305の処理を繰り返し実行し命
令レベルのシミュレーションを行うようになっている。FIG. 3 shows the first SW simulator 1 and the second SW simulator 1.
The processing flow of the SW simulator 2 is shown. 1st
The SW simulator 1 and the second SW simulator 2 perform an instruction fetch process 301 that retrieves an instruction stored in the memory indicated by an IC, which is one of the SW visible register models.
Subsequently, an instruction decoding process 302 that checks the instruction code of the fetched instruction, an individual instruction process 303 that performs processing according to the instruction code, an IC addition process 304 that adds the instruction word length of the instruction just executed to the IC, and a simulator. An event poller process 305 that performs polling of events including intercommunication and various event processes is repeatedly executed to perform a command-level simulation.
【0009】試験プログラム4は図4に示すように試験
ユニット4−1〜4−nから成っている。また、試験ユ
ニットの一般的な処理は図5に示すようになっている。
試験環境を整える試験前処理51、試験命令の開始を示
すTEST−START命令52、試験実行をする試験
命令53、試験命令の終了を示すTEST−END命令
54、次の試験に影響を与えないようにする試験環境の
復旧を行う試験後処理55から成っている。The test program 4 consists of test units 4-1 to 4-n as shown in FIG. Further, the general processing of the test unit is as shown in FIG. A test preprocessing 51 that prepares the test environment, a TEST-START instruction 52 that indicates the start of a test instruction, a test instruction 53 that executes a test, a TEST-END instruction 54 that indicates the end of the test instruction, and a TEST-END instruction 54 that indicates the end of the test instruction so as not to affect the next test. It consists of post-test processing 55 for restoring the test environment.
【0010】続いて、論理設計評価システムでの試験プ
ログラム4を使用した評価方法を説明する。図2に示す
第1のSWシミュレータ1にロードされている試験プロ
グラム4は、メモリモデル11、SWビジブルレジスタ
モデル12を更新しながら実行するようになっている。
図5に示す試験前処理51に続いてTEST−STAR
T命令52を実行すると、シミュレーション終了手段1
5により第1のSWシミュレータ1でのシミュレーショ
ンを終了し、モデル情報送出手段16により現状のメモ
リモデル11とSWビジブルレジスタモデル12の内容
をHWシミュレータ3に送出する。HWシミュレータ3
のモデル情報受取手段33がこの送られてきた情報をも
とにメモリモデル31とSWビジブルレジスタモデル3
2に内容を設定した後、シミュレーション実行手段34
によりHWシミュレータ3で試験プログラム4を継続実
行する。これにより、HWシミュレータ3で図5に示す
試験命令53を実行する。続いて、HWシミュレータ3
上でTEST−END命令54を実行すると、シミュレ
ーション終了手段35によりHWシミュレータ3のシミ
ュレーションを終了し、モデル情報送出手段36により
現状のメモリモデル31とSWビジブルレジスタモデル
32の内容を第1のSWシミュレータ1に送出する。第
1のSWシミュレータ1のモデル情報受取手段13がこ
の送られてきた情報をもとにメモリモデル11とSWビ
ジブルレジスタモデル12に内容を設定した後、シミュ
レーション実行手段14により第1のSWシミュレータ
1で試験プログラム4を継続実行する。これにより、第
1のSWシミュレータ1で試験命令53を実行するよう
になっている。このようにして、論理設計評価しようと
するHWシミュレータ3上で目的とする試験命令53と
制御のためのTEST−END命令54のみを実行する
ようにして論理設計評価している。Next, an evaluation method using the test program 4 in the logic design evaluation system will be explained. The test program 4 loaded into the first SW simulator 1 shown in FIG. 2 is executed while updating the memory model 11 and SW visible register model 12. Following the test pretreatment 51 shown in FIG.
When the T command 52 is executed, the simulation termination means 1
5, the simulation in the first SW simulator 1 is ended, and the current contents of the memory model 11 and the SW visible register model 12 are sent to the HW simulator 3 by the model information sending means 16. HW simulator 3
The model information receiving means 33 of the memory model 31 and the SW visible register model 3 based on this sent information.
After setting the contents in 2, the simulation execution means 34
The test program 4 is continuously executed by the HW simulator 3. As a result, the HW simulator 3 executes the test command 53 shown in FIG. Next, HW simulator 3
When the TEST-END instruction 54 is executed above, the simulation in the HW simulator 3 is ended by the simulation ending means 35, and the contents of the current memory model 31 and SW visible register model 32 are transferred to the first SW simulator by the model information sending means 36. Send to 1. After the model information receiving means 13 of the first SW simulator 1 sets contents in the memory model 11 and the SW visible register model 12 based on the sent information, the simulation execution means 14 sets the contents of the first SW simulator 1. Continue running test program 4. As a result, the test command 53 is executed by the first SW simulator 1. In this way, the logic design is evaluated by executing only the target test instruction 53 and the TEST-END instruction 54 for control on the HW simulator 3 where the logic design is to be evaluated.
【0011】次に、論理設計評価システムの評価方法の
特徴を説明する。評価対象のHWシミュレータ3の代わ
りに評価済みの図1に示す第2のSWシミュレータ2を
接続し、HWシミュレータ3を接続した時と同様に、第
2のSWシミュレータ2上で試験命令53と制御のため
のTEST−END命令54のみを実行するようにする
。これにより、設計評価ツールである第1のSWシミュ
レータ1は試験プログラム4により評価しているが、H
Wシミュレータ3とのインタフェースであるTEST−
START命令52によるHWシミュレータ3へ乗り移
るための受け渡し情報及びTEST−END命令54に
よるHWシミュレータ3から乗り移るための受け渡し情
報の正当性と、試験プログラム4にコーディングし乗り
移りタイミングを与えるTEST−START,TES
T−END命令のコーディング誤りなどによるHWシミ
ュレータ3と第1のSWシミュレータ1との乗り移りに
関する評価をHWの設計評価前に行えるようになる。Next, the characteristics of the evaluation method of the logical design evaluation system will be explained. In place of the HW simulator 3 to be evaluated, the second SW simulator 2 shown in FIG. Only the TEST-END instruction 54 is executed. As a result, although the first SW simulator 1, which is a design evaluation tool, is evaluated using the test program 4,
TEST- which is an interface with W Simulator 3
The validity of the transfer information for transferring to the HW simulator 3 by the START instruction 52 and the transfer information for transferring from the HW simulator 3 by the TEST-END instruction 54, and the TEST-START, TES coded in the test program 4 to provide the transfer timing.
It becomes possible to evaluate the transfer between the HW simulator 3 and the first SW simulator 1 due to a coding error in the T-END command, etc., before evaluating the HW design.
【0012】なお、第1のSWシミュレータ1と第2の
SWシミュレータ2は、個別命令処理303にTEST
−START,TEST−END命令をサポートするこ
とにより、同一のプログラムとすることができる。[0012] The first SW simulator 1 and the second SW simulator 2 perform TEST in the individual instruction processing 303.
By supporting the -START and TEST-END instructions, the programs can be the same.
【0013】[0013]
【発明の効果】以上説明したように本発明によれば、S
WシミュレータとHWシミュレータの乗り移りのための
受け渡し情報などの正当性と、試験プログラムにコーデ
ィングする乗り移りタイミングを与えるTEST−ST
ART,TEST−END命令のコーディング誤りとを
SWシミュレータとHWシミュレータによるHWの設計
評価の前に評価でき、高価で台数の少ないHWシミュレ
ータによる装置の論理設計評価を効率良く、短期間に有
効に行える。[Effects of the Invention] As explained above, according to the present invention, S
TEST-ST provides the validity of the transfer information for switching between the W simulator and the HW simulator, and the timing of switching to be coded in the test program.
Coding errors in ART and TEST-END instructions can be evaluated before HW design evaluation using SW simulators and HW simulators, and logical design evaluation of equipment can be performed efficiently and effectively in a short period of time using expensive and small number of HW simulators. .
【図1】本発明の論理設計評価システムの評価システム
構成図である。FIG. 1 is an evaluation system configuration diagram of a logical design evaluation system of the present invention.
【図2】論理設計評価システムの構成図である。FIG. 2 is a configuration diagram of a logical design evaluation system.
【図3】図1,2に示す第1及び第2のSWシミュレー
タの処理フローを示す。FIG. 3 shows a processing flow of the first and second SW simulators shown in FIGS. 1 and 2. FIG.
【図4】図1,2に示す試験プログラムの構成を示す。FIG. 4 shows the configuration of the test program shown in FIGS. 1 and 2.
【図5】図1,2,4に示す試験プログラムの試験実行
のフローを示す。FIG. 5 shows a test execution flow of the test programs shown in FIGS. 1, 2, and 4.
1 第1のSWシミュレータ
11,21,31 メモリモデル12,22,3
2 SWビジブルレジスタモデル13,23,3
3 モデル情報受取手段14,24,34
シミュレーション実行手段15,25,35
シミュレーション終了手段16,26,36 モ
デル情報送出手段2 第2のSWシミュレータ
3 HWシミュレータ
4 試験プログラム1 First SW simulator 11, 21, 31 Memory model 12, 22, 3
2 SW visible register model 13, 23, 3
3 Model information receiving means 14, 24, 34
Simulation execution means 15, 25, 35
Simulation termination means 16, 26, 36 Model information sending means 2 Second SW simulator 3 HW simulator 4 Test program
Claims (1)
ソフトウェア論理シミュレータと評価対象のハードウェ
ア論理シミュレータとを接続し、メモリの内容とソフト
ウェアビジブルレジスタの内容とを互いに送受信しなが
ら前記ハードウェア論理シミュレータ上の装置論理の評
価を行う論理設計評価システムにおいて、前記ハードウ
ェア論理シミュレータの代わりに、前記ハードウェア論
理シミュレータが有するモデル情報受取手段とモデル情
報送出手段と前記ハードウェア論理シミュレータとは異
なり命令レベルでシミュレーションするシミュレーショ
ン実行手段とシミュレーション終了手段とを有する第2
のソフトウェア論理シミュレータを備えることを特徴と
する論理設計評価システムの乗り移り評価方式。1. A first software logic simulator, which is an instruction level simulator, and a hardware logic simulator to be evaluated are connected, and the contents of the memory and the contents of the software visible register are transmitted and received on the hardware logic simulator. In the logic design evaluation system for evaluating the device logic of a second comprising a simulation executing means for simulating and a simulation terminating means;
A transfer evaluation method for a logic design evaluation system characterized by comprising a software logic simulator.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3019673A JPH04257974A (en) | 1991-02-13 | 1991-02-13 | Crossing-over evaluating system for logical design evaluation system |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3019673A JPH04257974A (en) | 1991-02-13 | 1991-02-13 | Crossing-over evaluating system for logical design evaluation system |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH04257974A true JPH04257974A (en) | 1992-09-14 |
Family
ID=12005758
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP3019673A Pending JPH04257974A (en) | 1991-02-13 | 1991-02-13 | Crossing-over evaluating system for logical design evaluation system |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH04257974A (en) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| EP0683463A3 (en) * | 1994-05-16 | 1997-03-12 | Sun Microsystems Inc | System level simulation through software and hardware simulator integration. |
| JP2022041464A (en) * | 2020-09-01 | 2022-03-11 | ダイハツ工業株式会社 | Evaluation method for press work analysis software |
-
1991
- 1991-02-13 JP JP3019673A patent/JPH04257974A/en active Pending
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| EP0683463A3 (en) * | 1994-05-16 | 1997-03-12 | Sun Microsystems Inc | System level simulation through software and hardware simulator integration. |
| JP2022041464A (en) * | 2020-09-01 | 2022-03-11 | ダイハツ工業株式会社 | Evaluation method for press work analysis software |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CA1263759A (en) | Arrangement for on-line diagnostic testing of an off- line standby processor in a duplicated processor configuration | |
| US5546562A (en) | Method and apparatus to emulate VLSI circuits within a logic simulator | |
| US6757847B1 (en) | Synchronization for system analysis | |
| JP2776602B2 (en) | Test system and instruction execution sequence determination method | |
| US20090164861A1 (en) | Method and apparatus for a constrained random test bench | |
| CN103838899B (en) | Simulation verification system and method for interrupt controller of hard core MCU | |
| US7979822B2 (en) | Apparatus and method for performing a sequence of verification tests to verify a design of a data processing system | |
| US8504344B2 (en) | Interface between a verification environment and a hardware acceleration engine | |
| US5179672A (en) | Apparatus and method for modeling parallel processing of instructions using sequential execution hardware | |
| JPH11505645A (en) | Apparatus and method for simulating a digital system based on a processor | |
| US7627462B2 (en) | Hardware simulation using a test scenario manager | |
| CN103713977B (en) | Microprocessor IP (internet protocol) kernel comparison and verification implementation method | |
| US20030191616A1 (en) | Simulating program instruction execution and hardware device operation | |
| JPH04257974A (en) | Crossing-over evaluating system for logical design evaluation system | |
| JP2861962B2 (en) | Computer program simulation apparatus and method | |
| CN119201357A (en) | Computer Systems | |
| US6629174B1 (en) | Synchronization using bus arbitration control for system analysis | |
| JP2828590B2 (en) | Microprogram verification method | |
| EP1291773A2 (en) | Apparatus and method for improvement of communication between an emulator unit and a host device | |
| JP3085730B2 (en) | Parallel simulation method for complex CPU system | |
| JP2533489B2 (en) | Simulation system | |
| JP2000010813A (en) | Simulation test method | |
| JPS6222152A (en) | Hardware simulation device | |
| CN117112027A (en) | Data processing method, device, electronic equipment and readable medium | |
| JPS63300330A (en) | Debugging method for firmware |