JPH04257974A - Crossing-over evaluating system for logical design evaluation system - Google Patents

Crossing-over evaluating system for logical design evaluation system

Info

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
Application number
JP3019673A
Other languages
Japanese (ja)
Inventor
Kitsuya Tsuchiya
土屋 喫哉
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 JP3019673A priority Critical patent/JPH04257974A/en
Publication of JPH04257974A publication Critical patent/JPH04257974A/en
Pending legal-status Critical Current

Links

Landscapes

  • Test And Diagnosis Of Digital Computers (AREA)

Abstract

PURPOSE:To evaluate the validity of dispatch information or the like for crossing-over between a software logic(SW) simulator and a hardware(HW) simulator and the coding error of an instruction to apply timing for crossing- over before evaluating the design of an HW by the SW simulator and the HW simulator. CONSTITUTION:This system connects a first SW logic simulator 1 as an instruction level simulator to an HW logic simulator 3 as an evaluation object and evaluates device logic on the HW logic simulator while exchanging the contents of a memory 11 and the contents of an SW visible register 12 each other, and in place of the HW logic simulator, a second SW logic simulator 2 is provided with a model information receiving means 23 provided at the HW logic simulator, model information transmitting means 26, simulation executing means 25 to execute simulation at an instruction level, and simulation ending means 25.

Description

【発明の詳細な説明】[Detailed description of the invention]

【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. .

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

【図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.

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

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)

【特許請求の範囲】[Claims] 【請求項1】  命令レベルシミュレータである第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.
JP3019673A 1991-02-13 1991-02-13 Crossing-over evaluating system for logical design evaluation system Pending JPH04257974A (en)

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)

* Cited by examiner, † Cited by third party
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

Cited By (2)

* Cited by examiner, † Cited by third party
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