JPH0765047A - 論理シミュレーション装置 - Google Patents

Abstract

(57)【要約】 【目的】 命令レベルシミュレータとハードウェア論理
シミュレータとの間の交換データのデータ形式の変換時
間を短縮し、論理検証効率を向上させる。 【構成】 データ変換手段付加部２はシミュレーション
モデル１上に、演算単位の一種類であるデータ変換手段
１１を付加する。シミュレーションモデルロード部３は
シミュレーションモデル１をシミュレーションモデル格
納部８にロードする。データ変換手段１１は論理シミュ
レーション実行部１０でシミュレーションされること
で、その動作モードに応じて命令レベルシミュレータ４
とハードウェア論理シミュレータ１２との間のデータ形
式の変換を行う。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は論理シミュレーション装
置に関し、特に論理シミュレーションの前処理及び後処
理を命令レベルシミュレータで行い、論理シミュレーシ
ョンの試験命令の実行処理をハードウェア論理シミュレ
ータで行う論理シミュレーション方式に関する。

【０００２】

【従来の技術】従来、この種の論理シミュレーション方
式においては、論理シミュレーションの前処理及び後処
理に命令レベルシミュレータを用い、論理シミュレーシ
ョンの試験命令の実行処理のみにハードウェア論理シミ
ュレータを用いている。

【０００３】この場合、命令レベルシミュレータによる
論理シミュレーションの前処理の結果をソフトウェアで
ハードウェア論理シミュレータのデータ形式に変換して
からハードウェア論理シミュレータに渡している。

【０００４】また、ハードウェア論理シミュレータによ
る論理シミュレーションの試験命令の実行処理の結果を
ソフトウェアで命令レベルシミュレータのデータ形式に
変換してから命令レベルシミュレータに渡し、命令レベ
ルシミュレータによって論理シミュレーションの後処理
を行っている。

【０００５】

【発明が解決しようとする課題】上述した従来の論理シ
ミュレーション方式では、命令レベルシミュレータとハ
ードウェア論理シミュレータとの間の交換データをソフ
トウェアで夫々のデータ形式に変換しているので、デー
タ編集処理に時間がかかるという問題がある。

【０００６】そこで、本発明の目的は上記問題点を解消
し、命令レベルシミュレータとハードウェア論理シミュ
レータとの間の交換データのデータ形式の変換時間を短
縮することができ、論理検証効率を向上させることがで
きる論理シミュレーション装置を提供することにある。

【０００７】

【課題を解決するための手段】本発明による論理シミュ
レーション装置は、論理シミュレーションの前処理及び
後処理を行う命令レベルシミュレータと、前記論理シミ
ュレーションの試験命令の実行処理を行うハードウェア
論理シミュレータとを含む論理シミュレーション装置で
あって、前記命令レベルシミュレータと前記ハードウェ
ア論理シミュレータとの間のデータ転送を制御する手段
と、前記命令レベルシミュレータと前記ハードウェア論
理シミュレータとの間で転送されかつ前記命令レベルシ
ミュレータで使用する第１のデータ形式のデータを格納
する格納手段と、前記ハードウェア論理シミュレータの
演算単位でありかつ前記第１のデータ形式のデータと前
記ハードウェア論理シミュレータで使用する第２のデー
タ形式のデータとの相互変換を行う変換手段と、前記変
換手段を前記論理シミュレーションのシミュレーション
モデルに付加する手段とを備えている。

【０００８】

【実施例】次に、本発明の一実施例について図面を参照
して説明する。

【０００９】図１は本発明の一実施例の構成を示すブロ
ック図である。図において、シミュレーションモデル１
はハードウェア論理シミュレータ１２に合うように作成
されたシミュレーション対象回路のモデルである。

【００１０】データ変換手段付加部２は上記のシミュレ
ーションモデル１上に、演算単位の一種類であるデータ
変換手段１１を付加する。シミュレーションモデルロー
ド部３はデータ変換手段１１が付加されたシミュレーシ
ョンモデル１をハードウェア論理シミュレータ１２のシ
ミュレーションモデル格納部８にロードする。

【００１１】命令レベルシミュレータ４は論理シミュレ
ーションの前処理を行い、その前処理の結果のうちハー
ドウェア論理シミュレータ１２における試験命令の実行
処理に必要なデータをデータ転送部５を介してハードウ
ェア論理シミュレータ１２のデータ格納部７に転送す
る。

【００１２】また、命令レベルシミュレータ４はデータ
転送部５を介してデータ格納部７から転送されてきたハ
ードウェア論理シミュレータ１２における試験命令の実
行処理の結果のうちの後処理に必要なデータを基に論理
シミュレーションの後処理を行う。

【００１３】データ転送制御部６は命令レベルシミュレ
ータ４とデータ転送部５とハードウェア論理シミュレー
タ１２とを夫々制御し、命令レベルシミュレータ４とデ
ータ格納部７との間のデータ転送を行う。このデータ転
送におけるデータの形式は命令レベルシミュレータ４の
データ形式である。

【００１４】ハードウェア論理シミュレータ１２におい
てはデータ転送部５を介して転送されてきた命令レベル
シミュレータ４のデータ形式のデータをデータ格納部７
に格納する。このとき、データ転送制御部６はシミュレ
ーションモデル格納部８内のデータ変換手段１１の動作
モードを設定モードに設定する。

【００１５】この後、ハードウェア論理シミュレータ１
２では論理シミュレーションの試験命令の実行処理が以
下のようにして行われる。まず、論理シミュレーション
実行部１０は論理シミュレーション制御部９の制御を受
け、シミュレーションモデル格納部８に格納されたシミ
ュレーションモデル１内のデータ変換手段１１のみをシ
ミュレーションする。

【００１６】この場合、データ変換手段１１の動作モー
ドはデータ転送制御部６によって設定モードに設定され
ているので、論理シミュレーション実行部１０でシミュ
レーションされることによってデータ格納部７から試験
命令の実行処理に必要な命令レベルシミュレータ４のデ
ータ形式のデータが取得される。

【００１７】取得されたデータはこのシミュレーション
によってハードウェア論理シミュレータ１２のデータ形
式のデータに変換され、シミュレーションモデル１上に
設定される。

【００１８】次に、論理シミュレーション実行部１０は
論理シミュレーション制御部９の制御を受け、シミュレ
ーションモデル１内のデータ変換手段１１以外の演算単
位のシミュレーションを行い、論理シミュレーションの
試験命令の実行処理を実行する。この試験命令の実行処
理の結果はシミュレーションモデル格納部８内のシミュ
レーションモデル１上の対応する位置に格納される。

【００１９】論理シミュレーション実行部１０で論理シ
ミュレーションの試験命令の実行処理が終了すると、デ
ータ転送制御部６はデータ変換手段１１の動作モードを
編集モードに設定する。

【００２０】この後、論理シミュレーション実行部１０
は論理シミュレーション制御部９の制御を受け、シミュ
レーションモデル１内のデータ変換手段１１のみをシミ
ュレーションする。

【００２１】この場合、データ変換手段１１の動作モー
ドはデータ転送制御部６によって編集モードに設定され
ているので、論理シミュレーション実行部１０でシミュ
レーションされることによってシミュレーションモデル
１上から論理シミュレーションの後処理に必要なハード
ウェア論理シミュレータ１２のデータ形式のデータが取
得される。取得されたデータはこのシミュレーションに
よって命令レベルシミュレータ４のデータ形式のデータ
に変換され、データ格納部７に格納される。

【００２２】データ転送部５はデータ転送制御部６の制
御を受け、データ格納部７に格納された命令レベルシミ
ュレータ４のデータ形式のデータを命令レベルシミュレ
ータ４に転送する。データ転送部５によるデータ転送終
了後、命令レベルシミュレータ４は転送されてきたデー
タを基に論理シミュレーションの後処理を行う。

【００２３】図２は図１のデータ変換手段１１によるデ
ータ形式の変換例を示す図である。図２（ａ）は命令レ
ベルシミュレータ４のデータ形式とハードウェア論理シ
ミュレータ１２のデータ形式との関係を示し、図２
（ｂ）はデータ変換手段１１によるデータ形式の変換を
示している。

【００２４】これらの図において、Ａは命令レベルシミ
ュレータ４のデータ形式のデータであり、命令レベルシ
ミュレータ４の演算単位を示している。この演算単位は
機械語命令で操作可能な論理回路の構成要素である。

【００２５】ａ，ｂはハードウェア論理シミュレータ１
２のデータ形式のデータであり、ハードウェア論理シミ
ュレータ１２の演算単位を示している。この演算単位は
論理回路装置（シミュレーションモデル１と等化）を構
成する基本素子である。

【００２６】命令レベルシミュレータ４の演算単位Ａ
は、図２（ａ）に示すように、ハードウェア論理シミュ
レータ１２の演算単位ａ，ｂから構成されている。よっ
て、命令レベルシミュレータ４のデータ形式とハードウ
ェア論理シミュレータ１２のデータ形式との変換は演算
単位ａ，ｂの演算単位Ａからの分離あるいは演算単位Ａ
への結合によって行われる。

【００２７】データ変換手段１１はその動作モードに応
じて演算単位ａ，ｂの演算単位Ａからの分離あるいは演
算単位Ａへの結合を行う。すなわち、データ変換手段１
１はその動作モードが設定モードの場合、データ格納部
７から取出した演算単位Ａから演算単位ａ，ｂを夫々分
離させてシミュレーションモデル格納部８内のシミュレ
ーションモデル１上に設定する。

【００２８】また、データ変換手段１１はその動作モー
ドが編集モードの場合、シミュレーションモデル格納部
８内のシミュレーションモデル１上に設定された演算単
位ａ，ｂを夫々供給して演算単位Ａを生成し、データ格
納部７に格納する。

【００２９】これらの場合、データ変換手段１１は命令
レベルシミュレータ４の演算単位Ａに対応して存在し、
命令レベルシミュレータ４の演算単位Ａとハードウェア
論理シミュレータ１２の演算単位ａ，ｂとの対応情報を
保持している。よって、データ変換手段１１ではその対
応情報にしたがって演算単位ａ，ｂの演算単位Ａからの
分離あるいは演算単位Ａへの結合が行われる。

【００３０】尚、データ変換手段１１によるデータ形式
の変換は、上述したデータ形式以外のものにも適用可能
であり、その場合にはその形式にあった変換を演算単位
で行うようにすればよい。

【００３１】また、データ変換手段１１の動作モードの
設定モードあるいは編集モードへの設定は、データ変換
手段１１内に設けられた動作モードを記憶しておく手段
（図示せず）、例えば動作モードを示すフラグの値を
“０”または“１”に設定することによって行われる。

【００３２】このように、ハードウェア論理シミュレー
タ１２でシミュレーションすることによって命令レベル
シミュレータ４とハードウェア論理シミュレータ１２と
の間のデータ形式を変換するデータ変換手段１１をシミ
ュレーションモデル１に付加することによって、従来の
命令レベルシミュレータ４及びハードウェア論理シミュ
レータ１２で夫々行っていたソフトウェアによるデータ
形式の変換をシミュレーションモデル１内に取込んで一
本化することができる。

【００３３】よって、命令レベルシミュレータ４とハー
ドウェア論理シミュレータ１２との間のデータ変換時間
を短縮することができ、論理検証効率を向上させること
ができる。

【００３４】

【発明の効果】以上説明したように本発明によれば、ハ
ードウェア論理シミュレータの演算単位でありかつ命令
レベルシミュレータで使用する第１のデータ形式のデー
タとハードウェア論理シミュレータで使用する第２のデ
ータ形式のデータとの相互変換を行う変換手段を論理シ
ミュレーションのシミュレーションモデルに付加するこ
とによって、命令レベルシミュレータとハードウェア論
理シミュレータとの間の交換データのデータ形式の変換
時間を短縮することができ、論理検証効率を向上させる
ことができるという効果がある。

【図面の簡単な説明】

【図１】本発明の一実施例の構成を示すブロック図であ
る。

【図２】（ａ）は命令レベルシミュレータのデータ形式
とハードウェア論理シミュレータのデータ形式との関係
を示す図、（ｂ）はデータ変換手段によるデータ形式の
変換を示す図である。

【符号の説明】

１ シミュレーションモデル ２ データ変換手段付加部 ４ 命令レベルシミュレータ ７ データ格納部 ８ シミュレーションモデル格納部 １０ 論理シミュレーション実行部 １１ データ変換手段 １２ ハードウェア論理シミュレータ Ａ 命令レベルシミュレータの演算単位 ａ，ｂ ハードウェア論理シミュレータの演算単位

Claims (2)

【特許請求の範囲】
1. 【請求項１】 論理シミュレーションの前処理及び後処
   理を行う命令レベルシミュレータと、前記論理シミュレ
   ーションの試験命令の実行処理を行うハードウェア論理
   シミュレータとを含む論理シミュレーション装置であっ
   て、前記命令レベルシミュレータと前記ハードウェア論
   理シミュレータとの間のデータ転送を制御する手段と、
   前記命令レベルシミュレータと前記ハードウェア論理シ
   ミュレータとの間で転送されかつ前記命令レベルシミュ
   レータで使用する第１のデータ形式のデータを格納する
   格納手段と、前記ハードウェア論理シミュレータの演算
   単位でありかつ前記第１のデータ形式のデータと前記ハ
   ードウェア論理シミュレータで使用する第２のデータ形
   式のデータとの相互変換を行う変換手段と、前記変換手
   段を前記論理シミュレーションのシミュレーションモデ
   ルに付加する手段とを有することを特徴とする論理シミ
   ュレーション装置。
2. 【請求項２】 前記論理シミュレーションのシミュレー
   ションモデルを保持する保持手段を有し、前記ハードウ
   ェア論理シミュレータで前記変換手段をシミュレーショ
   ンすることで前記格納手段に格納されたデータと前記保
   持手段に保持されたデータとの相互変換を行うようにし
   たことを特徴とする請求項１記載の論理シミュレーショ
   ン装置。