JPH03250225A - 論理シミュレーション環境設定方式 - Google Patents
論理シミュレーション環境設定方式Info
- Publication number
- JPH03250225A JPH03250225A JP2049048A JP4904890A JPH03250225A JP H03250225 A JPH03250225 A JP H03250225A JP 2049048 A JP2049048 A JP 2049048A JP 4904890 A JP4904890 A JP 4904890A JP H03250225 A JPH03250225 A JP H03250225A
- Authority
- JP
- Japan
- Prior art keywords
- data
- test instruction
- environment setting
- logic
- instruction string
- 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
Landscapes
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
〔産業上の利用分野〕
本発明は、論理シミュレータを用いて論理検証する際の
論理検証資産を再利用するようにした論理シミュレーシ
ョン環境設定方式に関する。
論理検証資産を再利用するようにした論理シミュレーシ
ョン環境設定方式に関する。
従来、論理シミュレータを用いて詳細な論理検証を実施
する際、論理シミュレーションテスト命令列と論理シミ
ュレーション初期環境設定条件を論理シミュレーション
対象の内部仕様に合わせて個々に作成していた。
する際、論理シミュレーションテスト命令列と論理シミ
ュレーション初期環境設定条件を論理シミュレーション
対象の内部仕様に合わせて個々に作成していた。
なお、この種の公知文献としては特開平１−２０９５４
２号公報が挙げられる。
２号公報が挙げられる。
上記従来技術では、内部仕様の異なる複数の論理シミュ
レーション対象を論理シミュレータを用いて検証する点
について配慮がされておらず、論理シミュレーション対
象となる論理構成に対応した論理シミュレーションテス
ト命令列と論理シミュレーション初期環境設定条件をそ
れぞれ個別に作成しなければならないという問題があっ
た。
レーション対象を論理シミュレータを用いて検証する点
について配慮がされておらず、論理シミュレーション対
象となる論理構成に対応した論理シミュレーションテス
ト命令列と論理シミュレーション初期環境設定条件をそ
れぞれ個別に作成しなければならないという問題があっ
た。
本発明は、前記問題点を解決するためになされたもので
ある。
ある。
本発明の目的は、論理シミュレーション対象毎にテスト
命令列、初期環境設定条件を作成する必要がない論理シ
ミュレーション環境設定方式を提供することにある。
命令列、初期環境設定条件を作成する必要がない論理シ
ミュレーション環境設定方式を提供することにある。
前記目的を達成するために、本発明は、論理シミュレー
ションテスト命令列と論理シミュレーション初期環境設
定条件を論理シミュレーション対象の仕様に依存しない
形式で作成、蓄積する手段と、該作成されたテスト命令
列と初期環境設定条件を論理シミュレーション対象の仕
様に変換する手段と、該変換されたテスト命令列と初期
環境設定条件を論理シミュレータに設定する手段とを有
することにより達成される。
ションテスト命令列と論理シミュレーション初期環境設
定条件を論理シミュレーション対象の仕様に依存しない
形式で作成、蓄積する手段と、該作成されたテスト命令
列と初期環境設定条件を論理シミュレーション対象の仕
様に変換する手段と、該変換されたテスト命令列と初期
環境設定条件を論理シミュレータに設定する手段とを有
することにより達成される。
前述した手段によれば、テスト命令列と初期環境設定条
件を、論理シミュレーション対象の内部仕様に依存しな
い書式で作成・蓄積・管理することによって、異なる内
部仕様で設計された論理シミュレーション対象の論理検
証を行う際に、論理シミュレーション対象の内部仕様に
依存したテスト命令列と初期環境設定条件を作成するこ
となく、蓄積・管理された論理検証資産によって高性能
、高精度な論理検証ができる。
件を、論理シミュレーション対象の内部仕様に依存しな
い書式で作成・蓄積・管理することによって、異なる内
部仕様で設計された論理シミュレーション対象の論理検
証を行う際に、論理シミュレーション対象の内部仕様に
依存したテスト命令列と初期環境設定条件を作成するこ
となく、蓄積・管理された論理検証資産によって高性能
、高精度な論理検証ができる。
以下、本発明の一実施例を図面を用いて具体的に説明す
る。
る。
第１図は、本発明の一実施例に係る論理シミュレーショ
ン環境設定方式の全体構成を示す図、第２＠は、論理シ
ミュレーション用テスト命令列を示す図、第３図は、テ
スト命令列実行時のＲＡＭ初期値データを示す図、第４
．５図は、論理シミュレーション対象ハードウェア用に
作成されたデータの一例を示す図である。
ン環境設定方式の全体構成を示す図、第２＠は、論理シ
ミュレーション用テスト命令列を示す図、第３図は、テ
スト命令列実行時のＲＡＭ初期値データを示す図、第４
．５図は、論理シミュレーション対象ハードウェア用に
作成されたデータの一例を示す図である。
第１図において、ホスト計算機工は、データ入力部２、
システム制御部３．データファイル読み出し部４、デー
タ変換部５ｌ−５ｎ、ｆａ連理シミュレータ制御６から
構成されている。さらにこのホスト計算機１には、論理
シミュレータ７、キーボード８、ＴＳＳ端末９、プリン
タ！０．データファイル群１１が接続されている。
システム制御部３．データファイル読み出し部４、デー
タ変換部５ｌ−５ｎ、ｆａ連理シミュレータ制御６から
構成されている。さらにこのホスト計算機１には、論理
シミュレータ７、キーボード８、ＴＳＳ端末９、プリン
タ！０．データファイル群１１が接続されている。
データ入力部２は、ＴＳＳ端末９にマンマシンインタフ
ェース画面を表示し、オペレータとの会話により論理シ
ミュレーション用テスト命令列２００およびテスト命令
列実行時のＲＡＭ初期値データ３００（プログラマブル
レジスタ、メモリ及びハードウェアレジスタ、メモリ）
の作成、更新を行い、作成されたデータをデータファイ
ル群１１に蓄積する。
ェース画面を表示し、オペレータとの会話により論理シ
ミュレーション用テスト命令列２００およびテスト命令
列実行時のＲＡＭ初期値データ３００（プログラマブル
レジスタ、メモリ及びハードウェアレジスタ、メモリ）
の作成、更新を行い、作成されたデータをデータファイ
ル群１１に蓄積する。
データファイル読み出し部４は、データ入力部２により
蓄積された論理シミュレーション用テスト命令列２００
およびテスト命令列実行時のＲＡＭ初期値データ３００
をデータファイル群１１から読み出し、論理シミュレー
ション対象ハードウェアに対応するデータ変換部５１＝
５ｎにデータを渡す。
蓄積された論理シミュレーション用テスト命令列２００
およびテスト命令列実行時のＲＡＭ初期値データ３００
をデータファイル群１１から読み出し、論理シミュレー
ション対象ハードウェアに対応するデータ変換部５１＝
５ｎにデータを渡す。
この時、論理シミュレーション対象ハードウェアの選択
はオペレータが指示する。
はオペレータが指示する。
データ変換部５１〜５ｎは、作成された論理シミュレー
ション用テスト命令列２００およびテスト命令列実行時
のＲＡＭ初期値データ３００を、論理シミュレーション
対象ハードウェアのデータ仕様に変換する。
ション用テスト命令列２００およびテスト命令列実行時
のＲＡＭ初期値データ３００を、論理シミュレーション
対象ハードウェアのデータ仕様に変換する。
メモリ、キャシュメモリを除くハードウェアＲＡＭへの
データ設定は、テスト命令列実行時のＲＡＭ初期値デー
タ３００の中から、論理シミュレーション対象ハードウ
ェアのハードウェアＲＡＭデータの作成に必要な要素３
０１を抽出しデータを生成する方法と、論理シミュレー
ション用テスト命令列中の指定された個所２０１に設定
指示ビットを立てる方法によって行う。
データ設定は、テスト命令列実行時のＲＡＭ初期値デー
タ３００の中から、論理シミュレーション対象ハードウ
ェアのハードウェアＲＡＭデータの作成に必要な要素３
０１を抽出しデータを生成する方法と、論理シミュレー
ション用テスト命令列中の指定された個所２０１に設定
指示ビットを立てる方法によって行う。
メモリ、キャシュメモリへのデータ設定は、論理シミュ
レーション用テスト命令列中の指定された個所２０２に
設定指示ビットを立てることにより命令及びデータを設
定する方法と、前述したと同様にテスト命令列実行時の
ＲＡＭ初期値データとして指定３０２する方法によって
行う。
レーション用テスト命令列中の指定された個所２０２に
設定指示ビットを立てることにより命令及びデータを設
定する方法と、前述したと同様にテスト命令列実行時の
ＲＡＭ初期値データとして指定３０２する方法によって
行う。
そして、変換後のデータは、使用した論理シミュレーシ
ョン用テスト命令列２００およびテスト命令列実行時の
ＲＡＭ初期値データ３００が同じであっても、異なるデ
ータ変換部５１〜５ｎを用いて作成されるハードウェア
ＲＡＭ及びメモリ等のデータは異なるものとなる。
ョン用テスト命令列２００およびテスト命令列実行時の
ＲＡＭ初期値データ３００が同じであっても、異なるデ
ータ変換部５１〜５ｎを用いて作成されるハードウェア
ＲＡＭ及びメモリ等のデータは異なるものとなる。
第４図にシミュレーション対象ハードウェアをＡ機種と
した場合のデータの流れと、Ａ機種用に変換されたデー
タ４００を、第５図にシミュレーション対象ハードウェ
アをＢ機種とした場合のデータの流れと、Ｂ機種用に変
換されたデータ５００をそれぞれ示す。
した場合のデータの流れと、Ａ機種用に変換されたデー
タ４００を、第５図にシミュレーション対象ハードウェ
アをＢ機種とした場合のデータの流れと、Ｂ機種用に変
換されたデータ５００をそれぞれ示す。
Ａ機種用に変換されたデータ４００と、Ｂ機種用に変換
されたデータ５００は、それぞれ異なっているが、各論
理シミュレーション対象ハードウェアからみると全く同
じ内容であり、Ａ機種用に変換されたデータ４００を用
いてＡ機種をシミュレートした場合と、Ｂ機種用に変換
されたデータ５００を用いてＢ機種をシミュレートした
場合とでは１両輪環シミュレーション対象ハードウェア
に対して同じ動作をさせることができる。
されたデータ５００は、それぞれ異なっているが、各論
理シミュレーション対象ハードウェアからみると全く同
じ内容であり、Ａ機種用に変換されたデータ４００を用
いてＡ機種をシミュレートした場合と、Ｂ機種用に変換
されたデータ５００を用いてＢ機種をシミュレートした
場合とでは１両輪環シミュレーション対象ハードウェア
に対して同じ動作をさせることができる。
論理シミュレータ制御部６は、所定の手順で、論理シミ
ユレータ７内部のＲＡＭにデータ変換部５１〜５ｎで変
換されたデータを書き込み、書き込んだデータをＴＳＳ
端末９、プリンタ１０に出力する。
ユレータ７内部のＲＡＭにデータ変換部５１〜５ｎで変
換されたデータを書き込み、書き込んだデータをＴＳＳ
端末９、プリンタ１０に出力する。
以上、説明したように、本発明によれば、論理シミュレ
ーション対象毎にテスト命令列、初期環境設定条件を作
成する必要がなく、またテスト命令列データ、初期環境
設定条件データの一元管理も可能となる。
ーション対象毎にテスト命令列、初期環境設定条件を作
成する必要がなく、またテスト命令列データ、初期環境
設定条件データの一元管理も可能となる。
第１図は、本発明の一実施例に係る論理シミュレーショ
ン環境設定方式の全体構成を示す図、第２図は、論理シ
ミュレーション用テスト命令列を示す図。 第３図は、テスト命令列実行時のＲＡＭ初期値データを
示す図、 第４図及び第５図は、論理シミュレーション対象ハード
ウェア用に作成されたデータの一例を示す図である。
ン環境設定方式の全体構成を示す図、第２図は、論理シ
ミュレーション用テスト命令列を示す図。 第３図は、テスト命令列実行時のＲＡＭ初期値データを
示す図、 第４図及び第５図は、論理シミュレーション対象ハード
ウェア用に作成されたデータの一例を示す図である。
Claims (1)
- １、論理シミュレータを用いて論理検証を行うシミュレ
ーション方式において、論理シミュレーションテスト命
令列と論理シミュレーション初期環境設定条件を論理シ
ミュレーション対象の仕様に依存しない形式で作成、蓄
積する手段と、該作成されたテスト命令列と初期環境設
定条件を論理シミュレーション対象の仕様に変換する手
段と、該変換されたテスト命令列と初期環境設定条件を
論理シミュレータに設定する手段とを有することを特徴
とする論理シミュレーション環境設定方式。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2049048A JPH03250225A (ja) | 1990-02-27 | 1990-02-27 | 論理シミュレーション環境設定方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2049048A JPH03250225A (ja) | 1990-02-27 | 1990-02-27 | 論理シミュレーション環境設定方式 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH03250225A true JPH03250225A (ja) | 1991-11-08 |
Family
ID=12820203
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2049048A Pending JPH03250225A (ja) | 1990-02-27 | 1990-02-27 | 論理シミュレーション環境設定方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH03250225A (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH05274385A (ja) * | 1992-03-25 | 1993-10-22 | Hitachi Ltd | 論理検証環境制御装置 |
-
1990
- 1990-02-27 JP JP2049048A patent/JPH03250225A/ja active Pending
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH05274385A (ja) * | 1992-03-25 | 1993-10-22 | Hitachi Ltd | 論理検証環境制御装置 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JP3027009B2 (ja) | 設計取り込みシステム | |
| US5960182A (en) | Hardware-software co-simulation system, hardware-software co-simulation method, and computer-readable memory containing a hardware-software co-simulation program | |
| JPS5948424B2 (ja) | 並列計算システム | |
| JPS63145549A (ja) | 論理回路シミユレ−シヨン方法 | |
| JP5056511B2 (ja) | 検証支援プログラム、該プログラムを記録した記録媒体、検証支援装置、および検証支援方法 | |
| US6853968B2 (en) | Simulation of data processing apparatus | |
| JPH03250225A (ja) | 論理シミュレーション環境設定方式 | |
| JP3212709B2 (ja) | ロジックシミュレーション装置 | |
| US6898562B2 (en) | Method and system for efficiently overriding net values in a logic simulator machine | |
| JP3302547B2 (ja) | 論理シミュレータにおけるテストベクタの作成方法およびシステム | |
| JP2009140028A (ja) | ハードウェア検証用プログラミング記述生成装置、ハードウェア検証用プログラミング記述生成方法、制御プログラムおよび可読記録媒体 | |
| CN116701190A (zh) | 一种检前记录装置的上位机软件测试方法、系统及介质 | |
| JPH021572A (ja) | 論理シミュレーション方法 | |
| JPH05266124A (ja) | 論理回路シミュレーション用回路素子ライブラリの作成方法 | |
| JPS5938859A (ja) | 高速論理シミユレ−シヨンシステム | |
| JPH05282395A (ja) | ハードウェアシミュレータの双方向ピン入出力切換え方法 | |
| Dearth et al. | Networked object oriented verification with C++ and Verilog | |
| JPH0895817A (ja) | 情報処理装置の試験方法 | |
| JPH04233605A (ja) | ロボット言語編集装置 | |
| JPH0434624A (ja) | パリティデータ初期条件設定装置 | |
| JPH01209542A (ja) | 論理検証装置 | |
| JPH05324754A (ja) | 論理シミュレーション用ゲート論理回路生成方法 | |
| JP2005122636A (ja) | シミュレーションモデル生成装置および方法 | |
| JPH04117566A (ja) | 論理回路検証方式 | |
| JP2002334126A (ja) | 並行動作するハードウェア設計の検証装置 |