JPH0895823A - マイクロプログラムシミュレーション方法 - Google Patents
マイクロプログラムシミュレーション方法Info
- Publication number
- JPH0895823A JPH0895823A JP6234786A JP23478694A JPH0895823A JP H0895823 A JPH0895823 A JP H0895823A JP 6234786 A JP6234786 A JP 6234786A JP 23478694 A JP23478694 A JP 23478694A JP H0895823 A JPH0895823 A JP H0895823A
- Authority
- JP
- Japan
- Prior art keywords
- hardware resource
- microprogram
- undefined
- microinstruction
- file
- 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
- Debugging And Monitoring (AREA)
Abstract
(57)【要約】
【目的】計算機システムに内蔵されるマイクロプログラ
ムの論理検証を行う際、マイクロ命令動作情報の動作記
述で未定義のハードウエアリソースが出現した場合に
も、誤動作することなくシミュレーションを続行させる
ことを目的とする。 【構成】マイクロ命令動作情報の動作記述で未定義のハ
ードウエアリソースが出現した場合に、該未定義ハード
ウエアリソースを自動的に定義し、データを設定する。
ムの論理検証を行う際、マイクロ命令動作情報の動作記
述で未定義のハードウエアリソースが出現した場合に
も、誤動作することなくシミュレーションを続行させる
ことを目的とする。 【構成】マイクロ命令動作情報の動作記述で未定義のハ
ードウエアリソースが出現した場合に、該未定義ハード
ウエアリソースを自動的に定義し、データを設定する。
Description
【０００１】
【産業上の利用分野】本発明は、マイクロプログラムの
シミュレーション方法に関し、特にマイクロ命令動作情
報の動作記述に未定義ハードウェアリソースが存在して
もシミュレート続行可能な機能を有して、マイクロプロ
グラムのソースやオブジェクトレベルで、対象計算機シ
ステムのマイクロプログラムを論理検証するのに好適な
マイクロプログラムシミュレーション方法に関する。
シミュレーション方法に関し、特にマイクロ命令動作情
報の動作記述に未定義ハードウェアリソースが存在して
もシミュレート続行可能な機能を有して、マイクロプロ
グラムのソースやオブジェクトレベルで、対象計算機シ
ステムのマイクロプログラムを論理検証するのに好適な
マイクロプログラムシミュレーション方法に関する。
【０００２】
【従来の技術】従来、マイクロプログラムの論理検証の
方法としては、対象計算機上で、実行形式（オブジェク
ト）のマイクロプログラムを実行して動作状況を検証す
る方式、あるいは、ハードウェア論理をＬＳＩゲートレ
ベルで擬似実行するための論理シミュレータを用い、実
行形式のマイクロプログラムを該シミュレータで動作可
能な形式に変換することにより擬似実行する方式、動作
記述言語により記述されたマイクロ命令動作仕様に従い
動作するマイクロプログラム・シミュレータにより擬似
実行する方式、さらには、マイクロプログラムソースレ
ベルでマイクロ命令の仕様制限を静的に検証する方式な
どが知られている。たとえば、特開昭６２−２９０９４
４号公報や特開昭６２−２９３３５７号公報には対象計
算機システムまたはゲートレベルで擬似実行するための
論理シミュレータ上でマイクロプログラムを動作させ、
その動作状況によりマイクロプログラムの評価を行う方
法が開示されている。
方法としては、対象計算機上で、実行形式（オブジェク
ト）のマイクロプログラムを実行して動作状況を検証す
る方式、あるいは、ハードウェア論理をＬＳＩゲートレ
ベルで擬似実行するための論理シミュレータを用い、実
行形式のマイクロプログラムを該シミュレータで動作可
能な形式に変換することにより擬似実行する方式、動作
記述言語により記述されたマイクロ命令動作仕様に従い
動作するマイクロプログラム・シミュレータにより擬似
実行する方式、さらには、マイクロプログラムソースレ
ベルでマイクロ命令の仕様制限を静的に検証する方式な
どが知られている。たとえば、特開昭６２−２９０９４
４号公報や特開昭６２−２９３３５７号公報には対象計
算機システムまたはゲートレベルで擬似実行するための
論理シミュレータ上でマイクロプログラムを動作させ、
その動作状況によりマイクロプログラムの評価を行う方
法が開示されている。
【０００３】また、特開平２−９０２４３号公報には、
マイクロプログラム・ソースをソースステップ単位に分
割し、マイクロ命令動作仕様を参照して各マイクロ命令
を逐次実行するマイクロプログラム・エミュレーション
方式が開示されている。
マイクロプログラム・ソースをソースステップ単位に分
割し、マイクロ命令動作仕様を参照して各マイクロ命令
を逐次実行するマイクロプログラム・エミュレーション
方式が開示されている。
【０００４】
【発明が解決しようとする課題】従来技術で特に、特開
平２−９０２４３号公報に示されるような方式を用いて
いるマイクロプログラム・シミュレート検証方式では、
あらかじめ人手により作成されたマイクロ命令動作仕
様、ハードウェア情報等を参照して、検証を行ってい
る。
平２−９０２４３号公報に示されるような方式を用いて
いるマイクロプログラム・シミュレート検証方式では、
あらかじめ人手により作成されたマイクロ命令動作仕
様、ハードウェア情報等を参照して、検証を行ってい
る。
【０００５】しかし、人手により作成されたマイクロ命
令動作仕様、ハードウェア情報に記述洩れ（特に、未定
義のハードウェアリソース）が出現した場合、シミュレ
ーションを中断するか、もしくは、誤動作する可能性が
非常に高く、誤動作した場合には、その原因を調査する
のに時間を要する。
令動作仕様、ハードウェア情報に記述洩れ（特に、未定
義のハードウェアリソース）が出現した場合、シミュレ
ーションを中断するか、もしくは、誤動作する可能性が
非常に高く、誤動作した場合には、その原因を調査する
のに時間を要する。
【０００６】本発明の目的は、このような従来の問題点
を解決し、シミュレーションを中断することなく実行さ
せる方式を実現することにある。
を解決し、シミュレーションを中断することなく実行さ
せる方式を実現することにある。
【０００７】
【課題を解決するための手段】上記目的を達成するため
に、本発明は、マイクロ命令動作情報の動作記述に未定
義のハードウェアリソースが出現した際に、該未定義ハ
ードウェアリソースを自動的に定義し、データを設定す
る機能を有する。未定義のハードウェアリソースを自動
的に定義する際、オペレータに通知すると共に、自動作
成したハードウェアリソースをファイル内に蓄積して未
定義情報を参照することも可能である。また、未定義の
ハードウェアリソースが出現しても、シミュレーション
を中断することなく実行させる。
に、本発明は、マイクロ命令動作情報の動作記述に未定
義のハードウェアリソースが出現した際に、該未定義ハ
ードウェアリソースを自動的に定義し、データを設定す
る機能を有する。未定義のハードウェアリソースを自動
的に定義する際、オペレータに通知すると共に、自動作
成したハードウェアリソースをファイル内に蓄積して未
定義情報を参照することも可能である。また、未定義の
ハードウェアリソースが出現しても、シミュレーション
を中断することなく実行させる。
【０００８】
【作用】本発明では、計算機システムに内蔵されるマイ
クロプログラムを対象計算機と等価な擬似実行環境で走
行せしめて論理検証を行う際、マイクロプログラムのソ
ースステップ単位で逐次シミュレートするがマイクロ命
令動作情報の動作記述に未定義のハードウェアリソース
が出現した場合、該未定義ハードウェアリソースを自動
定義して、ハードウェアリソースファイルに追加する。
さらに、未定義ハードウェアリソースが出現したことを
オペレータに通知し、さらに、未定義ハードウェアリソ
ースファイルに蓄積して参照することも可能である。こ
れにより、未定義のハードウェアリソースが出現した場
合でも、シミュレートを中断、もしくは、誤動作するこ
となく実行させ、マイクロプログラムの検証ができる。
クロプログラムを対象計算機と等価な擬似実行環境で走
行せしめて論理検証を行う際、マイクロプログラムのソ
ースステップ単位で逐次シミュレートするがマイクロ命
令動作情報の動作記述に未定義のハードウェアリソース
が出現した場合、該未定義ハードウェアリソースを自動
定義して、ハードウェアリソースファイルに追加する。
さらに、未定義ハードウェアリソースが出現したことを
オペレータに通知し、さらに、未定義ハードウェアリソ
ースファイルに蓄積して参照することも可能である。こ
れにより、未定義のハードウェアリソースが出現した場
合でも、シミュレートを中断、もしくは、誤動作するこ
となく実行させ、マイクロプログラムの検証ができる。
【０００９】
【実施例】以下、図面に従って、本発明の一実施例につ
いて説明する。
いて説明する。
【００１０】図１は、本発明の一実施例を示すブロック
図である。図１において、１はマイクロプログラムをマ
イクロ命令単位でシミュレートするマイクロ命令シミュ
レータ、２は検証対象のマイクロプログラム・ソースを
格納しているマイクロプログラムソースファイル、３は
マイクロ命令の動作（ハードウェア論理動作を含む）を
記述したマイクロ命令動作記述ファイル、４はハードウ
ェアリソース、具体的にはレジスタ・ラッチの情報とデ
ータを格納するハードウェアリソースファイル、５はマ
イクロ命令動作記述ファイル３を使用してシミュレート
する際、該マイクロ命令動作記述ファイル３に未定義の
ハードウェアリソースファイルが出現した場合に、その
未定義ハードウェアリソースに関する情報を蓄積する未
定義ハードウェアリソース蓄積ファイル、６はマイクロ
命令動作記述ファイル３に未定義ハードウェアリソース
が出現した場合にメッセージを出力するため、また、オ
ペレーションするための端末である。
図である。図１において、１はマイクロプログラムをマ
イクロ命令単位でシミュレートするマイクロ命令シミュ
レータ、２は検証対象のマイクロプログラム・ソースを
格納しているマイクロプログラムソースファイル、３は
マイクロ命令の動作（ハードウェア論理動作を含む）を
記述したマイクロ命令動作記述ファイル、４はハードウ
ェアリソース、具体的にはレジスタ・ラッチの情報とデ
ータを格納するハードウェアリソースファイル、５はマ
イクロ命令動作記述ファイル３を使用してシミュレート
する際、該マイクロ命令動作記述ファイル３に未定義の
ハードウェアリソースファイルが出現した場合に、その
未定義ハードウェアリソースに関する情報を蓄積する未
定義ハードウェアリソース蓄積ファイル、６はマイクロ
命令動作記述ファイル３に未定義ハードウェアリソース
が出現した場合にメッセージを出力するため、また、オ
ペレーションするための端末である。
【００１１】図２は、マイクロ命令の動作を記述したマ
イクロ命令動作記述ファイル３の記述例である。
イクロ命令動作記述ファイル３の記述例である。
【００１２】マイクロ命令シミュレータは、マイクロプ
ログラムソースファイル２から１ステップ毎に読み出し
て、マイクロ命令動作記述ファイル３の動作記述に従い
逐次シミュレートする。シミュレートした結果得られる
ハードウェアリソース、つまり、レジスタ・ラッチはハ
ードウェアリソースファイル４に格納される。
ログラムソースファイル２から１ステップ毎に読み出し
て、マイクロ命令動作記述ファイル３の動作記述に従い
逐次シミュレートする。シミュレートした結果得られる
ハードウェアリソース、つまり、レジスタ・ラッチはハ
ードウェアリソースファイル４に格納される。
【００１３】ここで、シミュレートする１ソースステッ
プに、図２に示すマイクロ命令動作記述ファイル３内の
動作記述３０のマイクロ命令Ａとマイクロ命令Ｂが発行
されたとき、マイクロ命令ＡではレジスタＣが未定義で
あり、マイクロ命令ＢではレジスタＤが未定義であった
と仮定する。該ソースステップをシミュレートする直前
データを図３（ａ）レジスタ／ラッチ情報４０とすると
動作記述３０に示すマイクロ命令Ａの動作記述では、レ
ジスタ／ラッチ情報４０に存在しないレジスタＣが出現
する。このとき、マイクロ命令シミュレータ１は、レジ
スタ／ラッチ情報４０を参照して未定義のレジスタであ
るレジスタＣを認識し、自動的にレジスタＣの名称とデ
ータ幅を定義してハードウェアリソースファイル４に追
加する。同様にマイクロ命令ＢにおいてレジスタＥが未
定義であるので、ハードウェアリソースファイル４に追
加する。
プに、図２に示すマイクロ命令動作記述ファイル３内の
動作記述３０のマイクロ命令Ａとマイクロ命令Ｂが発行
されたとき、マイクロ命令ＡではレジスタＣが未定義で
あり、マイクロ命令ＢではレジスタＤが未定義であった
と仮定する。該ソースステップをシミュレートする直前
データを図３（ａ）レジスタ／ラッチ情報４０とすると
動作記述３０に示すマイクロ命令Ａの動作記述では、レ
ジスタ／ラッチ情報４０に存在しないレジスタＣが出現
する。このとき、マイクロ命令シミュレータ１は、レジ
スタ／ラッチ情報４０を参照して未定義のレジスタであ
るレジスタＣを認識し、自動的にレジスタＣの名称とデ
ータ幅を定義してハードウェアリソースファイル４に追
加する。同様にマイクロ命令ＢにおいてレジスタＥが未
定義であるので、ハードウェアリソースファイル４に追
加する。
【００１４】追加する際のデータ幅は右辺と左辺の関係
から容易に確定できる。また、追加するレジスタＣのデ
ータは出力側のレジスタであるため特に規定する必要が
なくマイクロ命令Ａは正常に動作してレジスタＣが確定
する。追加するレジスタＥは、入力側であるため、デー
タを規定しなければならないが、本実施例では、偶発的
に正常に動作してしまうことを避けるために乱数値をデ
ータとして与えている。もちろん、乱数値ではなく、オ
ペレータが指定したデータを与えることも可能であるこ
とは言うまでもない。
から容易に確定できる。また、追加するレジスタＣのデ
ータは出力側のレジスタであるため特に規定する必要が
なくマイクロ命令Ａは正常に動作してレジスタＣが確定
する。追加するレジスタＥは、入力側であるため、デー
タを規定しなければならないが、本実施例では、偶発的
に正常に動作してしまうことを避けるために乱数値をデ
ータとして与えている。もちろん、乱数値ではなく、オ
ペレータが指定したデータを与えることも可能であるこ
とは言うまでもない。
【００１５】未定義レジスタを自動定義して実行させた
結果、ハードウェアリソースファイル４は、図３（ｂ）
に示すレジスタ／ラッチ情報４１に更新されている。
結果、ハードウェアリソースファイル４は、図３（ｂ）
に示すレジスタ／ラッチ情報４１に更新されている。
【００１６】さらに、未定義ハードウェアリソースが出
現したことをオペレータに通知し、未定義ハードウェア
リソースファイルに蓄積して後に参照することも可能で
ある。これにより、未定義のハードウェアリソースが出
現した場合でも、シミュレートを中断、もしくは、誤動
作することなく実行させ、マイクロプログラムの検証が
できる。
現したことをオペレータに通知し、未定義ハードウェア
リソースファイルに蓄積して後に参照することも可能で
ある。これにより、未定義のハードウェアリソースが出
現した場合でも、シミュレートを中断、もしくは、誤動
作することなく実行させ、マイクロプログラムの検証が
できる。
【００１７】
【発明の効果】以上説明したように、本発明のマイクロ
プログラムシミュレーション方式によれば、未定義ハー
ドウェアリソースが出現した際に、未定義レジスタを自
動定義して、シミュレートを中断、もしくは、誤動作す
ることなく実行させ、マイクロプログラムの検証ができ
る。 また、未定義ハードウェアリソースファイルに蓄
積して後に参照することにより、未定義リソースを後に
確認することができ、マイクロ命令仕様のハードウェア
リソース定義を容易に変更することができる。
プログラムシミュレーション方式によれば、未定義ハー
ドウェアリソースが出現した際に、未定義レジスタを自
動定義して、シミュレートを中断、もしくは、誤動作す
ることなく実行させ、マイクロプログラムの検証ができ
る。 また、未定義ハードウェアリソースファイルに蓄
積して後に参照することにより、未定義リソースを後に
確認することができ、マイクロ命令仕様のハードウェア
リソース定義を容易に変更することができる。
【図１】本発明の一実施例を示すブロック構成図であ
る。
る。
【図２】マイクロ命令動作記述ファイルの内部構造を示
す図である。
す図である。
【図３】ハードウェアリソースファイルの内部構造と未
定義レジスタの定義方法を説明する図である。
定義レジスタの定義方法を説明する図である。
１ マイクロ命令シミュレータ ２ マイクロプログラムソースファイル ３ マイクロ命令動作記述ファイル ４ ハードウェアリソースファイル ５ 未定義ハードウェアリソース蓄積ファイル ６ オペレータ端末
───────────────────────────────────────────────────── フロントページの続き (72)発明者 染谷 哲 神奈川県秦野市堀山下１番地株式会社日立 コンピュータエレクトロニクス内 (72)発明者 龍門 正樹 神奈川県秦野市堀山下１番地株式会社日立 コンピュータエレクトロニクス内
Claims (1)
- 【請求項１】計算機システムに内蔵されるマイクロプロ
グラムを該計算機システムと等価な擬似実行環境で走行
せしめて論理検証を行うマイクロプログラムのシミュレ
ーション方法において、マイクロプログラムのソースス
テップを逐次実行する際、マイクロプログラム仕様に記
述されたマイクロ命令動作情報の動作記述で未定義のハ
ードウェアリソースが出現した時に、該未定義ハードウ
ェアリソースを自動的に作成し、シミュレーションを中
断することなく続行させることを特徴としたマイクロプ
ログラムシミュレーション方法。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP6234786A JPH0895823A (ja) | 1994-09-29 | 1994-09-29 | マイクロプログラムシミュレーション方法 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP6234786A JPH0895823A (ja) | 1994-09-29 | 1994-09-29 | マイクロプログラムシミュレーション方法 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH0895823A true JPH0895823A (ja) | 1996-04-12 |
Family
ID=16976363
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP6234786A Pending JPH0895823A (ja) | 1994-09-29 | 1994-09-29 | マイクロプログラムシミュレーション方法 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH0895823A (ja) |
-
1994
- 1994-09-29 JP JP6234786A patent/JPH0895823A/ja active Pending
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN104460646B (zh) | 用于对虚拟控制器进行实时测试的测试装置 | |
| US5960182A (en) | Hardware-software co-simulation system, hardware-software co-simulation method, and computer-readable memory containing a hardware-software co-simulation program | |
| JP3144950B2 (ja) | 論理シミュレーション方式 | |
| US6993734B2 (en) | Use of time step information in a design verification system | |
| JP6603746B2 (ja) | 仮想化されたシステム上で組み込みソフトウェアを自動で生成する方法及びコンピューティングシステム | |
| JPH10312315A (ja) | ソフトウェア／ハードウェア協調シミュレーション方式 | |
| JP2828590B2 (ja) | マイクロプログラム検証方法 | |
| JPH0895823A (ja) | マイクロプログラムシミュレーション方法 | |
| JPH0561931A (ja) | シミユレーシヨン装置 | |
| JP2020144509A (ja) | 自動コード生成方法、及び自動コード生成プログラム | |
| JP7084505B2 (ja) | 検証装置および検証方法 | |
| JP3161314B2 (ja) | 論理シミュレーション装置および論理シミュレート方法 | |
| JP7735410B2 (ja) | 制約充足問題としての変換によってトラフィックシナリオにおける具体的なインスタンスを提供するための技法 | |
| US20070198957A1 (en) | Circuit simulator and circuit simulation program storage medium | |
| US9830174B2 (en) | Dynamic host code generation from architecture description for fast simulation | |
| JP6949440B2 (ja) | ベクタ生成装置及びベクタ生成用プログラム | |
| JP2632964B2 (ja) | 諭理装置の試験処理方式 | |
| JP2606658B2 (ja) | 論理シミュレータおよび制御方法 | |
| JP2924080B2 (ja) | 論理シミュレーション支援システム | |
| JP2000242681A (ja) | シミュレーション装置 | |
| JP2000207249A (ja) | シミュレ―ション装置 | |
| JP2007156822A (ja) | 計算機システムの模擬アプリケーション試験装置 | |
| JP2785708B2 (ja) | 論理シミュレーション方法 | |
| CN119415133A (zh) | 代码开发同步方法、装置、设备及存储介质 | |
| JPH08185342A (ja) | プログラム評価装置 |