JP3099810B2 - 論理シミュレーション装置及びそれに用いる論理検証の高速化手法並びにその制御プログラムを記録した記録媒体 - Google Patents

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は論理検証の高速化手
法に関し、特にソフトウェアの論理検証を行うためのシ
ミュレーション方法に関する。

【０００２】

【従来の技術】従来、ソフトウェアのシミュレーション
方法においては、図４に示すように、ソフトウェア（シ
ミュレーションモデル）６１をシミュレータ６上で動作
させることで、論理シミュレーションを、つまりそのソ
フトウェアの論理検証を行っている。

【０００３】しかしながら、ソフトウェアの論理検証に
おいては、シミュレータ６上でのシミュレーションモデ
ル６１の動作中にディスク装置５に対するディスク読出
しルーチンにおけるセクタ読出しルーチンが連続的に繰
返し行われる場合があり、この繰返しルーチンが不要な
シミュレーションの繰返しとなってしまう。

【０００４】

【発明が解決しようとする課題】上述した従来のソフト
ウェアのシミュレーション方法では、不要なシミュレー
ションの繰返しを避けるために人手でシミュレーション
ベクトルやソフトウェアの作直しが必要であり、これに
多大な工数がかかってしまう。

【０００５】そこで、本発明の目的は上記の問題点を解
消し、人手によるシミュレーションベクトルの作直しや
ソフトウェアの作直しを必要とすることなく、不要なシ
ミュレーションの繰返しを避けることができる論理シミ
ュレーション装置及びそれに用いる論理検証の高速化手
法並びにその制御プログラムを記録した記録媒体を提供
することにある。

【０００６】

【課題を解決するための手段】本発明による論理シミュ
レーション装置は、論理シミュレーションを実行する論
理シミュレーション装置であって、前記論理シミュレー
ションにおいて繰返し実行されるサブルーチンを検出す
る検出手段と、前記検出手段で検出された前記サブルー
チンを代行する代行手段とを備え、前記サブルーチンの
シミュレーション回数を検証に必要な数に制限し、それ
以上の処理を前記代行手段に代行させている。

【０００７】本発明による論理シミュレーション装置の
論理検証の高速化手法は、論理シミュレーションを実行
する論理シミュレーション装置の論理検証の高速化手法
であって、前記論理シミュレーションにおいて繰返し実
行されるサブルーチンを検出するステップと、検出され
た前記サブルーチンを代行するステップとを備え、前記
サブルーチンのシミュレーション回数を検証に必要な数
に制限し、それ以上の処理を他の手段で代行するように
している。

【０００８】本発明による論理検証の高速化制御プログ
ラムを記録した記録媒体は、コンピュータに、論理シミ
ュレーションを実行させるための論理検証の高速化制御
プログラムを記録した記録媒体であって、前記高速化制
御プログラムは前記コンピュータに、前記論理シミュレ
ーションにおいて繰返し実行されるサブルーチンを検出
させ、検出された前記サブルーチンを代行させること
で、前記サブルーチンのシミュレーション回数を検証に
必要な数に制限し、それ以上の処理を代行させるように
している。

【０００９】すなわち、本発明の論理検証の高速化手法
は、論理シミュレーションを主体とした論理検証手法に
おいて、ＯＳ（Ｏｐｅｒａｔｉｎｇ Ｓｙｓｔｅｍ）ブ
ート等の論理シミュレーションを行う際に、頻繁に実行
されるサブルーチンのシミュレーション回数を検証に必
要な数に制限し、それ以上の処理をエージェントに代行
させることで、論理シミュレーションを高速化してい
る。

【００１０】より具体的には、論理シミュレーションの
対象となるモデルが準備作業の設定に基づいてシミュレ
ーションを行い、トレーサからのトラップによってシミ
ュレーションを一時停止する。一時停止したシミュレー
ションはエージェントの終了によって再開される。

【００１１】トレーサはトラップを発生させるパターン
を登録し、シミュレーションモデルの動作をトレース
し、登録パターンとマッチした時にシミュレーションモ
デルに対するトラップの発行とエージェントの呼び出し
とを行う。

【００１２】また、トレーサはエージェントに代行させ
た部分を記憶し、シミュレーションモデルに対してより
効率的なシミュレーションを行わせる。エージェントは
シミュレーションモデルを代行して繰返し部分の処理を
行い、シミュレーションモデルに対して結果を返却す
る。

【００１３】このように、トレーサがシミュレーション
モデルの動作をトレースし、エージェントが不要なシミ
ュレーションに代わって処理を代行することで、論理検
証の高速化を図っている。

【００１４】

【発明の実施の形態】次に、本発明の一実施例について
図面を参照して説明する。図１は本発明の一実施例によ
るシミュレーション装置の構成を示すブロック図であ
る。図において、シミュレータ４はシミュレーションモ
デル１と、トレーサ２と、エージェント３と、制御メモ
リ４１とから構成されている。

【００１５】シミュレーションモデル１はメインルーチ
ンを動作させることによってソフトウェアのシミュレー
ションを行う。トレーサ２はシミュレーションモデル１
によるメインルーチンの動作をトレースし、同じルーチ
ン（例えば、ディスク装置５に対する読出しルーチンに
おける連続するセクタ読出しルーチン等）が繰返し行わ
れることを検出すると、そのルーチンの代行をエージェ
ント３に指示する。エージェント３はそのルーチンを代
行して実行し、その結果をシミュレーションモデル１に
渡す。

【００１６】制御メモリ４１はシミュレータ４において
シミュレーションモデル１とトレーサ２とエージェント
３とが夫々動作するためのプログラムを記録しており、
ＲＯＭ（リードオンリメモリ）やフロッピディスク等が
使用可能である。

【００１７】図２は本発明の一実施例による論理検証の
高速化手法の処理を示すフローチャートである。図にお
いて、シミュレーションモデル１はまずシミュレーショ
ン（ＳＩＭ）の準備を行う（図１ステップＳ１１）。ト
レーサ２は予めトラップ対象とするルーチンのパターン
登録を行う（図１ステップＳ２１）。

【００１８】シミュレーションの実行が開始されると
（図１ステップＳ１２）、シミュレーションモデル１は
上記のシミュレーションの準備で設定した通りに動作し
ていく。トレーサ２はその動作のトレース処理４１を実
行し（図１ステップＳ２２）、トレース結果が先にパタ
ーンの登録で登録されたパターンにマッチしたか否かの
判断を行う（図１ステップＳ２３）。

【００１９】トレーサ２はそれらがマッチしない場合に
そのままトレース処理４１を続け、それらがマッチする
とシミュレーションモデル１へトラップ４２を発行し、
エージェント３に対して処理の代行の指令５１を発行す
る（エージェント３の呼出し）（図１ステップＳ２
４）。

【００２０】エージェント３はシミュレーションモデル
１に代わってトラップ４２以降の処理を代行し（図１ス
テップＳ３１）、その代行の終了時に（図１ステップＳ
３２）、その結果として得られたデータをシミュレーシ
ョンモデル１に再設定する（図１ステップＳ１４）。ま
た、エージェント３はこの代行の記録をトレーサ２に送
り、トレーサ２はそれを新たなパターンとして登録する
（図１ステップＳ２５，Ｓ２１）。

【００２１】図３は本発明の一実施例によるシミュレー
ション処理を示すシーケンスチャートである。これら図
２及び図３を参照して本発明の一実施例によるシミュレ
ーション処理について説明する。

【００２２】メインルーチン１０１をシミュレートして
いるシミュレーションモデル１は、まずメインルーチン
１０１中でデータをロードするためにディスク読出しの
Ｒｅａｄ ｄｉｓｋルーチン１０２へ行く。シミュレー
ションモデル１においてはこのＲｅａｄ ｄｉｓｋルー
チン１０２をシミュレートするのが最初なので、トレー
サ２はトラップを出さず、シミュレーションモデル１に
よるメインルーチン１０１のシミュレートが続行され
る。

【００２３】次に、セクタ読出しのＲｅａｄ ｓｅｃｔ
ｏｒルーチン１０３が実行される。ここで、データが複
数のセクタにまたがっている場合にはシミュレーション
モデル１が再びＲｅａｄ ｓｅｃｔｏｒルーチン１０３
を実行しようとする。

【００２４】トレーサ２はＲｅａｄ ｓｅｃｔｏｒルー
チン１０３の実行が２回目であることを検出し、トラッ
プ１５１を発行する。トラップ１５１のかかったシミュ
レーションモデル１１はシミュレーションを停止する。
また、トレーサ２はエージェント３に対してＲｅａｄ
ｓｅｃｔｏｒルーチン１０３の代行を指令する。

【００２５】エージェント３はＲｅａｄ ｓｅｃｔｏｒ
ルーチン１０３を代行するエージェント（Ｒｅａｄ ｓ
ｅｃｔｏｒ）処理１１１を行い、あたかもそのシミュレ
ーションがシミュレーションモデル１１で行われたかの
ように処理した結果のデータをシミュレーションモデル
１の内部に引渡して停止する。

【００２６】エージェント（Ｒｅａｄ ｓｅｃｔｏｒ）
処理１１１の停止を待っていたシミュレーションモデル
１はシミュレーションを再開し、やがてＲｅａｄ ｄｉ
ｓｋルーチン１０２を終了してメインルーチン１０１へ
戻る。

【００２７】また、トレーサ２はエージェント３による
エージェント（Ｒｅａｄ ｓｅｃｔｏｒ）処理１１１の
終了情報を受取り、再びＲｅａｄ ｄｉｓｋルーチン１
０２がシミュレーションで呼ばれる時に備える。

【００２８】さらに、メインルーチン１０１のシミュレ
ーションが進み、再びＲｅａｄ ｄｉｓｋルーチン１０
２が呼ばれようとする。トレーサ２は先ほどのＲｅａｄ
ｓｅｃｔｏｒルーチン１０３と同様にＲｅａｄ ｄｉ
ｓｋルーチン１０２の実行が２回目であることを検出
し、トラップ１５２を発行してエージェント３に対して
Ｒｅａｄ ｄｉｓｋルーチン１０２の代行を指令する。

【００２９】エージェント３はＲｅａｄ ｄｉｓｋルー
チン１０２を代行するエージェント（Ｒｅａｄ ｄｉｓ
ｋ）処理１１２を行い、この時、さらにＲｅａｄ ｓｅ
ｃｔｏｒルーチン１０３が実行される場合にエージェン
ト３内部ですべて処理し、トラップ１５１の時と同様
に、エージェント（Ｒｅａｄ ｄｉｓｋ）処理１１２の
実行結果をシミュレーションモデル１に引渡す。

【００３０】エージェント（Ｒｅａｄ ｄｉｓｋ）処理
１１２の実行結果を受取ったシミュレーションモデル１
は、再びメインルーチン１０１のシミュレーションを続
行する。

【００３１】このように、シミュレーションモデル１に
よるメインルーチン１０１のシミュレートをトレースし
ているトレーサ２が繰返し行われるルーチン（例えば、
Ｒｅａｄ ｓｅｃｔｏｒルーチン１０３）を検出した時
に、そのルーチンの代行をエージェント３に指令するこ
とによって、ソフトウェア中にあるサブルーチンのシミ
ュレーションの繰返しを抑えることができ、無駄なシミ
ュレーションを省いて論理検証を高速化することができ
る。

【００３２】また、トレーサ２でシミュレーションモデ
ル１によるメインルーチン１０１のシミュレートの繰返
し部分を自動的に判定しているので、人手によるシミュ
レーションベクトルの作直しやソフトウェアの作直しが
必要なくなる。

【００３３】よって、人手によるシミュレーションベク
トルの作直しやソフトウェアの作直しを必要とすること
なく、不要なシミュレーションの繰返しを避けることが
できる。

【００３４】

【発明の効果】以上説明したように本発明によれば、論
理シミュレーションを実行する論理シミュレーション装
置において、論理シミュレーションにおいて繰返し実行
されるサブルーチンを検出し、その検出されたサブルー
チンを代行することで、サブルーチンのシミュレーショ
ン回数を検証に必要な数に制限し、それ以上の処理を代
行させることによって、人手によるシミュレーションベ
クトルの作直しやソフトウェアの作直しを必要とするこ
となく、不要なシミュレーションの繰返しを避けること
ができるという効果がある。

【図面の簡単な説明】

【図１】本発明の一実施例によるシミュレーション装置
の構成を示すブロック図である。

【図２】本発明の一実施例による論理検証の高速化手法
の処理を示すフローチャートである。

【図３】本発明の一実施例によるシミュレーション処理
を示すシーケンスチャートである。

【図４】従来例によるシミュレーション装置の構成を示
すブロック図である。

【符号の説明】

１ シミュレーションモデル ２ トレーサ ３ エージェント ４ シミュレータ ５ ディスク装置 ４１ 制御メモリ

フロントページの続き (58)調査した分野(Int.Cl.⁷，ＤＢ名) G06F 11/28

Claims (15)

(57)【特許請求の範囲】
1. 【請求項１】 論理シミュレーションを実行する論理シ
   ミュレーション装置であって、前記論理シミュレーショ
   ンにおいて繰返し実行されるサブルーチンを検出する検
   出手段と、前記検出手段で検出された前記サブルーチン
   を代行する代行手段とを有し、前記サブルーチンのシミ
   ュレーション回数を検証に必要な数に制限し、それ以上
   の処理を前記代行手段に代行させることを特徴とする論
   理シミュレーション装置。
2. 【請求項２】 前記検出手段は、前記論理シミュレーシ
   ョンをトレースすることで前記サブルーチンの繰返し処
   理を検出するよう構成したことを特徴とする請求項１記
   載の論理シミュレーション装置。
3. 【請求項３】 前記検出手段による前記サブルーチンの
   繰返し処理の検出時に前記論理シミュレーションを一時
   停止する手段を含むことを特徴とする請求項２記載の論
   理シミュレーション装置。
4. 【請求項４】 前記代行手段による代行処理の終了時に
   前記論理シミュレーションを再開させる手段を含むこと
   を特徴とする請求項３記載の論理シミュレーション装
   置。
5. 【請求項５】 前記代行手段は、前記サブルーチンの代
   行が終了した時に前記論理シミュレーションに当該サブ
   ルーチンの実行結果を渡すよう構成したことを特徴とす
   る請求項１から請求項４のいずれか記載の論理シミュレ
   ーション装置。
6. 【請求項６】 論理シミュレーションを実行する論理シ
   ミュレーション装置の論理検証の高速化手法であって、
   前記論理シミュレーションにおいて繰返し実行されるサ
   ブルーチンを検出するステップと、検出された前記サブ
   ルーチンを代行するステップとを有し、前記サブルーチ
   ンのシミュレーション回数を検証に必要な数に制限し、
   それ以上の処理を他の手段で代行するようにしたことを
   特徴とする論理検証の高速化手法。
7. 【請求項７】 前記サブルーチンを検出するステップ
   は、前記論理シミュレーションをトレースすることで前
   記サブルーチンの繰返し処理を検出するようにしたこと
   を特徴とする請求項６記載の論理検証の高速化手法。
8. 【請求項８】 前記サブルーチンの繰返し処理の検出時
   に前記論理シミュレーションを一時停止するステップを
   含むことを特徴とする請求項７記載の論理検証の高速化
   手法。
9. 【請求項９】 前記サブルーチンの代行処理の終了時に
   前記論理シミュレーションを再開させるステップを含む
   ことを特徴とする請求項８記載の論理検証の高速化手
   法。
10. 【請求項１０】 前記サブルーチンを代行するステップ
    は、前記サブルーチンの代行が終了した時に前記論理シ
    ミュレーションに当該サブルーチンの実行結果を渡すよ
    うにしたことを特徴とする請求項６から請求項９のいず
    れか記載の論理検証の高速化手法。
11. 【請求項１１】 コンピュータに、論理シミュレーショ
    ンを実行させるための論理検証の高速化制御プログラム
    を記録した記録媒体であって、前記高速化制御プログラ
    ムは前記コンピュータに、前記論理シミュレーションに
    おいて繰返し実行されるサブルーチンを検出させ、検出
    された前記サブルーチンを代行させることで、前記サブ
    ルーチンのシミュレーション回数を検証に必要な数に制
    限し、それ以上の処理を代行させるようにしたことを特
    徴とする論理検証の高速化制御プログラムを記録した記
    録媒体。
12. 【請求項１２】 前記高速化制御プログラムは前記コン
    ピュータに、前記サブルーチンを検出させる際に、前記
    論理シミュレーションをトレースさせることで前記サブ
    ルーチンの繰返し処理を検出させることを特徴とする請
    求項１１記載の論理検証の高速化制御プログラムを記録
    した記録媒体。
13. 【請求項１３】 前記高速化制御プログラムは前記コン
    ピュータに、前記サブルーチンの繰返し処理の検出時に
    前記論理シミュレーションを一時停止させることを特徴
    とする請求項１２記載の論理検証の高速化制御プログラ
    ムを記録した記録媒体。
14. 【請求項１４】 前記高速化制御プログラムは前記コン
    ピュータに、前記サブルーチンの代行処理の終了時に前
    記論理シミュレーションを再開させることを特徴とする
    請求項１３記載の論理検証の高速化制御プログラムを記
    録した記録媒体。
15. 【請求項１５】 前記高速化制御プログラムは前記コン
    ピュータに、前記サブルーチンを代行させる際に、前記
    サブルーチンの代行が終了した時に前記論理シミュレー
    ションに当該サブルーチンの実行結果を渡させることを
    特徴とする請求項１１から請求項１４のいずれか記載の
    論理検証の高速化制御プログラムを記録した記録媒体。