(57)【要約】【課題】  さまざまなシミュレーションパターンを容易に起こせるようにすること。【解決手段】  ＬＳＩ開発における論理回路を検証するための論理シミュレーションで用いられる動作モデルとなる検証装置に、シミュレーションパターン発生に必要となる動作パラメータを自動生成する手段と動作パラメータを検証担当者が設定する手段の２つを備え、また、その手段をシミュレーション中に動的に切り替えれるようにする。【選択図】  図１
2006127109.tif 000002
【特許請求の範囲】
【請求項１】
ＬＳＩ開発における論理回路を検証するための論理シミュレーションで用いられる動作モデルとなる検証装置において、シミュレーションパターン発生に必要となる動作パラメータを自動生成する手段と動作パラメータを検証担当者が明示的に設定する手段の２つを持つことを特徴とする検証装置。
【請求項２】
上記請求項１における検証装置において、シミュレーションパターンを発生するための動作パラメータを、自動生成するのか、設定された動作パラメータを使用するのかの切り替えを論理シミュレーション中に動的に出来ることを特徴とする検証装置。
【請求項３】
上記請求項１における検証装置において、動作パラメータの明示的な設定を論理シミュレーション中の任意の時に行えることを特徴とする検証装置。
【請求項４】
上記請求項１における検証装置において、自動生成された動作パラメータは、特定のパラメータもしくは規定範囲内でランダムなパラメータであることを特徴とする検証装置。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、ＬＳＩ開発における論理回路の検証に関するものである。
【背景技術】
【０００２】
従来、ＬＳＩ開発での論理シミュレーションで用いられる動作モデルとなる検証装置は、シミュレーションパターンを発生するのに必要となる動作パラメータを  特定のパラメータもしくは規定の範囲内でランダムなパラメータを自動生成する検証装置か、もしくは、検証担当者が明示的に設定する検証装置のどちらかであった。
【０００３】
２つの従来例を図２、図３を用いて詳しく説明する。
【０００４】
（従来例１）
動作パラメータを自動生成する検証装置を用いた例である。図２を用いて説明する。
【０００５】
図２において、１はモジュールＡとモジュールＢ間のバスのインターフェースプロトコル波形である。１のｃｌｏｃｋ信号はモジュールＡからモジュールＢへの同期信号、ｅｎａｂｌｅ１信号はモジュールＢからモジュールＡへのデータ・イネーブル信号、ｅｎａｂｌｅ２信号はモジュールＡからモジュールＢへのデータ・イネーブル信号、そして、ｄａｔａ信号はモジュールＡからモジュールＢへのデータ信号で、ｅｎａｂｌｅ１信号とｅｎａｂｌｅ２信号が共に１のとき、モジュールＢはｄａｔａ信号のデータを受信する。２は検証対象であるモジュールＡである。３は２のモジュールＡを検証することを目的としたモジュールＢのバス動作モデルである動作パラメータを自動生成する検証装置で、ｅｎａｂｌｅ１信号シミュレーションパターン発生ブロック、ｅｎａｂｌｅ１信号シミュレーションパターン発生に必要な動作パラメータであるｅｎａｂｌｅ１信号の１のｃｌｏｃｋ周期期間と０のｃｌｏｃｋ周期期間を自動的に生成するｅｎａｂｌｅ１動作パラメータ自動生成ブロック、そして、ｄａｔａ信号を受信し格納するｄａｔａ受信ブロックから構成される。４は３の検証装置のｅｎａｂｌｅ１動作パラメータ自動生成ブロックにおいて動作パラメータを生成する上での制約で、ｅｎａｂｌｅ１信号の１のｃｌｏｃｋ周期期間を２から２９、ｅｎａｂｌｅ１信号の０のｃｌｏｃｋ周期期間を２から１９の間でランダムに生成するための制約である。
検証対象であるモジュールＡの論理を検証するには、モジュールＢからさまざまなシミュレーションパターンを発生させなければならない。
【０００６】
検証装置のシミュレーションパターン発生ブロックは、動作パラメータが必要になるごとに自動生成ブロックで制約に基づいてランダムに動作パラメータを生成してもらい、その動作パラメータに基づいてｅｎａｂｌｅ１信号のシミュレーションパターンを発生する。
【０００７】
これにより、検証担当者が動作パラメータを作成および設定する手間が省け、また、検証担当者では考えられないシミュレーションパターンをランダムに発生させることができ、モジュールＡの思わぬ不具合を見つけることが可能性となる。
【０００８】
（従来例２）
検証担当者が動作パラメータを明示的に設定する検証装置を用いた例である。図３を用いて説明する。
【０００９】
図３において、１はモジュールＡとモジュールＢ間のバスのインターフェースプロトコル波形である。１のｃｌｏｃｋ信号はモジュールＡからモジュールＢへの同期信号、ｅｎａｂｌｅ１信号はモジュールＢからモジュールＡへのデータ・イネーブル信号、ｅｎａｂｌｅ２信号はモジュールＡからモジュールＢへのデータ・イネーブル信号、そして、ｄａｔａ信号はモジュールＡからモジュールＢへのデータ信号で、ｅｎａｂｌｅ１信号とｅｎａｂｌｅ２信号が共に１のとき、モジュールＢはｄａｔａ信号のデータを受信する。２は検証対象であるモジュールＡである。３は２のモジュールＡを検証することを目的としたモジュールＢのバス動作モデルである検証担当者が動作パラメータを明示的に設定する検証装置で、ｅｎａｂｌｅ１信号シミュレーションパターン発生ブロック、ｅｎａｂｌｅ１信号シミュレーションパターン発生に必要な動作パラメータであるｅｎａｂｌｅ１信号の１のｃｌｏｃｋ周期期間と０のｃｌｏｃｋ周期期間を格納したｅｎａｂｌｅ１動作パラメータリスト、そして、ｄａｔａ信号を受信し格納するｄａｔａ受信ブロックから構成される。４は３の検証装置のｅｎａｂｌｅ１動作パラメータリストに格納する動作パラメータを収めたパラメータファイルである。
検証対象であるモジュールＡの論理を検証するには、モジュールＢからさまざまなシミュレーションパターンを発生させなけならない。
【００１０】
検証担当者は、動作パラメータのリストをファイルとして用意し、シミュレーションを行うときに、もしくは、シミュレーション中に、３の検証装置のｅｎａｂｌｅ１動作パラメータリストを空にさせないように、ファイルから動作パラメータリストに動作パラメータを格納する。３の検証装置のシミュレーションパターン発生ブロックは、動作パラメータが必要になるごとに動作パラメータリストから順次動作パラメータを取得そして動作パラメータリストから削除し、その動作パラメータに基づいてｅｎａｂｌｅ１信号のシミュレーションパターンを発生する。
【００１１】
これにより、検証担当者は、検証装置の動きを思い通りにコントロールすることが可能である。例えば、ｅｎａｂｌｅ１の１のｃｌｏｃｋ周期期間を３、０のｃｌｏｃｋ周期期間を４、１のｃｌｏｃｋ周期期間を５、０のｃｌｏｃｋ周期期間を６の時系列で、ｅｎａｂｌｅ１信号のシミュレーションパターンを発生させてモジュールＡの検証を行いたいときは、３の動作パラメータリストに３，４，５，６を格納すればよい。
【００１２】
又、別の従来例としては、テストベンチ上に実際に起こるよりも厳しい条件を簡単に発生させ、検証対象回路のバグ出しを行ない設計品質の向上を図る課題に対して、テストベンチ上に実際の回路とは異なるマスタモデルやスレーブモデルを複数配置し各種データ転送をランダムに発生させる論理検証手法（例えば特許文献１参照）をあげることが出来る。
【特許文献１】特開２００３−１５７１８２号公報
【発明の開示】
【発明が解決しようとする課題】
【００１３】
従来例１と従来例２で説明した動作パラメータを自動生成する検証装置と検証担当者が動作パラメータを明示的に設定する検証装置には、それぞれ以下のような課題がある。
【００１４】
自動生成する検証装置では、検証装置に思い通りのシーケンスシミュレーションパターンを発生させることが難しい。動作パラメータを設定する検証装置では、ランダムな動作パラメータ自動生成による思わぬ不具合を見つけることが出来ず、また、検証担当者が動作パラメータを常に用意しなければならないという手間が生じる。
【００１５】
また、上記２つの検証装置を用意し、目的に応じて使い分けることは、検証環境の変更・検証装置の使い方が異なるなどといった負荷が生じるという課題がある。
【課題を解決するための手段】
【００１６】
上記の課題を解決するために、論理シミュレーションで用いられる動作モデルとなる検証装置に、シミュレーションパターン発生に必要となる動作パラメータを自動生成する手段と動作パラメータを検証担当者が明示的に設定する手段の２つを設け、その２つの手段を論理シミュレーション中に動的に切り替えられる仕組みを設ける。また、検証担当者が、明示的に動作パラメータを設定するのは、論理シミュレーションの任意の時間で行えるようにする。
【００１７】
（作用）
本発明のシミュレーションパターン発生に必要となる動作パラメータを自動生成する手段と動作パラメータを検証担当者が明示的に設定する手段を設け、２つの手段を動的に切り替えられる検証装置によって、１つのシミュレーションの中で、ランダムな動作パラメータ自動生成によるシミュレーションと、動作パラメータの設定によるシミュレーションの２つを行うことが出来る。
【００１８】
動作パラメータをランダムに自動生成してシミュレーションを行いつつ、注目したい、また、自動生成では起こしにくいシミュレーションパターンを行いたいときは動作パラメータを明示的に設定することにより、動作パラメータ自動生成のシミュレーションから設定した動作パラメータによるシミュレーションに切り替わり、また、設定した動作パラメータによるシミュレーションを終えると、動作パラメータ自動生成によるシミュレーションに切り替わりシミュレーションを行うことが出来る。
【００１９】
従って、検証担当者が検証装置をコントロールでき、起こしたいシミュレーションパターンを容易に発生させることが可能となる。
【００２０】
検証担当者が動作パラメータを全て用意する必要がない、即ち、起こしたいシミュレーションパターンがある場合は、その動作パラメータのみで、その前後の全ての動作パラメータを用意する手間を省けることが可能となる。
【００２１】
起こしたいシミュレーションパターン以外は、ランダムによる動作パラメータ自動生成によるシミュレーションを行い、思わぬ不具合を見つけることが可能となる。
【００２２】
検証装置は、ただ１つなので、検証環境の切り替えや検証装置の使い分けを行う手間を省くことが可能となる。
【発明の効果】
【００２３】
上で説明した本発明により、様々なシミュレーションパターンを容易に発生させることができ、また、検証担当者の手間を省くことができる。
【００２４】
本発明の検証装置を用いることで、効率的にＬＳＩの論理検証を行うことが可能となり、ＬＳＩの開発期間の短縮、および、高品質なＬＳＩを開発することが出来る。
【発明を実施するための最良の形態】
【００２５】
図１を用いて、本発明の実施例を説明する。
【００２６】
図１において、１はモジュールＡとモジュールＢ間のバスのインターフェースプロトコル波形である。１のｃｌｏｃｋ信号はモジュールＡからモジュールＢへの同期信号、ｅｎａｂｌｅ１信号はモジュールＢからモジュールＡへのデータ・イネーブル信号、ｅｎａｂｌｅ２信号はモジュールＡからモジュールＢへのデータ・イネーブル信号、そして、ｄａｔａ信号はモジュールＡからモジュールＢへのデータ信号で、ｅｎａｂｌｅ１信号とｅｎａｂｌｅ２信号が共に１のとき、モジュールＢはｄａｔａ信号のデータを受信する。２は検証対象であるモジュールＡである。３は２のモジュールＡを検証することを目的とした本発明であるモジュールＢのバス動作モデル検証装置である。４は３の検証装置におけるｅｎａｂｌｅ１信号シミュレーションパターン発生に必要な動作パラメータであるｅｎａｂｌｅ１信号の１のｃｌｏｃｋ周期期間と０のｃｌｏｃｋ周期期間を自動的に生成するｅｎａｂｌｅ１動作パラメータ自動生成ブロックである。５は３の検証装置におけるｅｎａｂｌｅ１信号シミュレーションパターン発生に必要な動作パラメータであるｅｎａｂｌｅ１信号の１のｃｌｏｃｋ周期期間と０のｃｌｏｃｋ周期期間を格納したｅｎａｂｌｅ１動作パラメータリストである。６は３の検証装置における動作パラメータの取得方法の決定アルゴリズムである。７は４のｅｎａｂｌｅ１動作パラメータリストに格納するパラメータを収めたパラメータファイルである。８は５のｅｎａｂｌｅ１動作パラメータ自動生成ブロックにおいてパラメータを生成する上での制約で、ｅｎａｂｌｅ１の１のｃｌｏｃｋ周期期間を２から２９、ｅｎａｂｌｅ１の０のｃｌｏｃｋ周期期間を２から１９の間でランダムに生成するための制約である。
【００２７】
３の検証装置は、動作パラメータを提供する仕組みとして、４のｅｎａｂｌｅ１動作パラメータ自動生成ブロックと５のｅｎａｂｌｅ１動作パラメータリストの２つを備え、論理シミュレーション中に動的に切り替える仕組みとして、６の動作パラメータ決定アルゴリズムを持つ。また、７の動作パラメータリストはシミュレーション中に任意に５の動作パラメータリストに追加できる。
【００２８】
６の動作パラメータ決定アルゴリズムは、ｅｎａｂｌｅ１シミュレーションパターン発生ブロックからの動作パラメータ要求が来ると、５のｅｎａｂｌｅ１動作パラメータリストに動作パラメータが登録されているかどうかを確認する。動作パラメータリストに動作パラメータが登録されていれば、動作パラメータをシミュレーションパターン発生ブロックにわたし、その動作パラメータを動作パラメータリストから削除する。動作パラメータリストに登録されていなければ、４のｅｎａｂｌｅ１動作パラメータ自動生成ブロックにおいて８の制約に基づいて動作パラメータを生成し、シミュレーションパターン発生ブロックにわたす。
【００２９】
従って、検証担当者は、制約を設定するだけで、検証装置にランダム動作パラメータを自動で生成しシミュレーションパターンを発生させることが出来る。そして、シミュレーション中にある特定のシミュレーションパターンを発生させたいときは、発生させたいときに動作パラメータリストに動作パラメータを登録するだけで、ランダム動作パラメータ自動生成によるシミュレーションパターン＝＞動作パラメータリストに従ったシミュレーションパターン＝＞ランダム動作パラメータ自動生成によるシミュレーションパターンという順で論理シミュレーションを行うことができ、動作パラメータリストに設定する動作パラメータは行いたいシミュレーションパターンに注目した動作パラメータのみでよい。
【図面の簡単な説明】
【００３０】
【図１】本発明の検証装置を用いた実施例の説明図である。
【図２】動作パラメータを自動生成する検証装置を用いた従来例１の説明図である。
【図３】検証担当者が動作パラメータを明示的に設定する検証装置を用いた従来例２の説明図である。
【図１】
2006127109.tif 000003
【図２】
2006127109.tif 000004
【図３】
2006127109.tif 000005