(57)【要約】【課題】必要な波形データの取得ができ、かつ、シミュレーション時間を短縮することができる消費電力検証支援装置を提供することである。【解決手段】実施の形態の消費電力検証支援装置は、消費電力概算部と、比較判定部と、遅延制御部と、ダンプ処理部とを有する。消費電力概算部は、指定信号を観測する第１のシミュレーションの所定時間毎に消費電力を概算する。比較判定部は、消費電力概算部で概算された消費電力の概算値を閾値と比較し、比較結果から所定時間毎にダンプ処理を行うか否かを判定する。遅延制御部は、全信号を観測する第２のシミュレーションを第１のシミュレーションに対して所定時間遅延させて実行させる。ダンプ処理部は、比較判定部の判定結果に基づき、ダンプ処理を行うと判定された所定時間の間の全信号の波形データを記録する。【選択図】図２
2012203567.tif 000002
【特許請求の範囲】
【請求項１】
指定信号を観測する第１のシミュレーションの所定時間毎に消費電力を概算する消費電力概算部と、
前記消費電力概算部で概算された前記消費電力の概算値を閾値と比較し、比較結果から前記所定時間毎にダンプ処理を行うか否かを判定する比較判定部と、
全信号を観測する第２のシミュレーションを前記第１のシミュレーションに対して前記所定時間遅延させて実行させる遅延制御部と、
前記比較判定部の判定結果に基づき、前記ダンプ処理を行うと判定された所定時間の間の前記全信号の波形データを記録するダンプ処理部と、
を有することを特徴とする消費電力検証支援装置。
【請求項２】
前記第１のシミュレーションの前記所定時間の開始時間から再度シミュレーションを実行するためのデータベースを作成するデータベース作成部と、
前記比較判定部により前記ダンプ処理を行うと判定された場合、前記データベースを読み込み、前記所定時間の開始時間から再度シミュレーションを実行させるデータベース読込部とを有することを特徴とする請求項１に記載の消費電力検証支援装置。
【請求項３】
設定された評価ポイントで前記消費電力の概算値の情報を表示部に表示させる表示制御部と、
前記表示部に表示された前記消費電力の概算値から前記ダンプ処理を行う前記所定時間を選択させる入力部とを有し、
前記ダンプ処理部は、前記入力部で選択された前記所定時間の間のダンプ処理を行うことを特徴とする請求項１に記載の消費電力検証支援装置。
【請求項４】
前記消費電力概算部で概算された前記所定時間の間の消費電力の概算値と、前記所定時間の前の所定時間に概算された消費電力の概算値とを比較し、比較結果に基づき前記所定時間の間のダンプ処理が必要か否かを判定する概算値比較部を有することを特徴とする請求項１に記載の消費電力検証支援装置。
【請求項５】
前記消費電力の概算値と前記閾値と関係に基づいて、前記所定時間の時間幅を前記第１のシミュレーションの途中で変更する制御を行う時間幅制御部を有することを特徴とする請求項１に記載の消費電力検証支援装置。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明の実施の形態は、消費電力検証支援装置に関する。
【背景技術】
【０００２】
近年、半導体集積回路の回路規模の増大に伴い、消費電力も増加する傾向にあり、消費電力検証の重要性が高くなっている。消費電力検証を行う場合、論理シミュレータを用いて論理シミュレーションを行い、波形データが記録されたＦＳＤＢファイルあるいはＶＣＤファイル等の波形情報ファイルを生成する必要がある。その後、論理シミュレーションで生成された波形情報ファイルを市販されている消費電力検証ツールに読み込ませ、詳細な消費電力の検証を行う。
【０００３】
しかしながら、近年の半導体集積回路の大規模化により、論理シミュレータを用いて波形情報ファイルを作成する場合、論理シミュレーションが、例えば、何十時間あるいは何日間というように長期化するという問題がある。また、半導体集積回路の大規模化により、波形情報ファイル自体が大規模化し、それが要因となり消費電力検証ツールでの消費電力の検証期間が長期化する等の問題がある。
【０００４】
また、論理シミュレータを用いて波形情報ファイルを作成する場合、論理シミュレーションの時間を短縮するために、間引き検証を行うことができる。この間引き検証は、ある一定の時間間隔で波形データを取得する。そのため、間引き検証では、実際に必要な波形データ、例えば、ピーク消費電力時の波形データが取れない可能性がある。この結果、必要な波形データを得るために、論理シミュレーションを何度か繰り返す必要があり、論理シミュレーションに時間がかかってしまうという問題がある。
【先行技術文献】
【特許文献】
【０００５】
【特許文献１】特開２００８−６５４９６号公報
【発明の概要】
【発明が解決しようとする課題】
【０００６】
本発明の実施の形態が解決しようとする課題は、必要な波形データの取得ができ、かつ、シミュレーション時間を短縮することができる消費電力検証支援装置を提供することである。
【課題を解決するための手段】
【０００７】
実施の形態の消費電力検証支援装置は、消費電力概算部と、比較判定部と、遅延制御部と、ダンプ処理部とを有する。消費電力概算部は、指定信号を観測する第１のシミュレーションの所定時間毎に消費電力を概算する。比較判定部は、消費電力概算部で概算された消費電力の概算値を閾値と比較し、比較結果から所定時間毎にダンプ処理を行うか否かを判定する。遅延制御部は、全信号を観測する第２のシミュレーションを第１のシミュレーションに対して所定時間遅延させて実行させる。ダンプ処理部は、比較判定部の判定結果に基づき、ダンプ処理を行うと判定された所定時間の間の全信号の波形データを記録する。
【図面の簡単な説明】
【０００８】
【図１】第１の実施の形態に係る情報処理システムの構成を示す図である。
【図２】第１の実施の形態に係る消費電力検証支援装置の構成を示す図である。
【図３】第１の実施の形態に係る消費電力検証支援装置の動作について説明するための説明図である。
【図４】消費電力概算用のシミュレーションの流れの例を示すフローチャートである。
【図５】信号ダンプ処理用のシミュレーションの流れの例を示すフローチャートである。
【図６】第２の実施の形態に係る消費電力検証支援装置の構成を示す図である。
【図７】第２の実施の形態に係る消費電力検証支援装置の動作について説明するための説明図である。
【図８】シミュレータ２２で実行されるシミュレーションの流れの例を示すフローチャートである。
【図９】第３の実施の形態に係る消費電力検証支援装置の構成を示す図である。
【図１０】第３の実施の形態に係る消費電力検証支援装置の動作について説明するための説明図である。
【図１１】第４の実施の形態に係る消費電力検証支援装置の構成を示す図である。
【図１２】第４の実施の形態に係る消費電力検証支援装置の動作を説明するための図である。
【図１３】シミュレータ１２ｂで実行されるシミュレーションの流れの例を示すフローチャートである。
【図１４】第５の実施の形態に係る消費電力検証支援装置の構成を示す図である。
【図１５】第５の実施の形態に係る消費電力検証支援装置の動作ついて説明するための図である。
【図１６】シミュレータ１２ｃで実行される消費電力概算用のシミュレーションの流れの例を示すフローチャートである。
【図１７】第６の実施の形態に係る消費電力検証支援装置の構成を示す図である。
【図１８】第６の実施の形態に係る消費電力検証支援装置の動作を説明するための図である。
【図１９】シミュレータ１２ｃで実行される消費電力概算用のシミュレーションの流れの例を示すフローチャートである。
【発明を実施するための形態】
【０００９】
以下、図面を参照して本発明の実施の形態について詳細に説明する。
【００１０】
（第１の実施の形態）
まず、図１に基づき、第１の実施の形態に係る情報処理システムの構成について説明する。
【００１１】
図１は、第１の実施の形態に係る情報処理システムの構成を示す図である。
【００１２】
図１に示すように、情報処理システム１００は、本体装置１０１と、各種データを記憶する記憶装置１０２と、各種データを表示する表示装置１０３とを有して構成されている。本体装置１０１は、パーソナルコンピュータ等のコンピュータ装置本体であり、ＣＰＵ１０１ａ、図示しない主メモリなどを搭載している。また、本体装置１０１には、入力装置として、キーボード１０４及びマウス１０５が接続されている。本体装置１０１は、これらの入力装置からの指示に基づいて、各種プログラムを実行する。
【００１３】
記憶装置１０２には、ハードウエア記述言語（ＨＤＬ）等により記述された回路データ１０６と、この回路データ１０６の論理シミュレーションを行うためのテストパターンが記述されたテストベンチ１０７と、論理シミュレーションを実行する際の設定情報が記述された設定ファイル１０８と、回路データ１０６、テストベンチ１０７及び設定ファイル１０８を読み込んで論理シミュレーションを実行する消費電力検証支援プログラム１０９と、消費電力検証支援プログラム１０９を実行して得られる波形情報ファイル１１０とが記憶されている。設定ファイル１０８の設定情報は、後述する、閾値の情報、遅延時間の情報、ダンプする信号（指定信号）の情報等である。
【００１４】
ユーザは、キーボード１０４及びマウス１０５を用い、回路データ１０６、テストベンチ１０７及び設定ファイル１０８を入力とし、消費電力検証支援プログラム１０９を本体装置１０１上において実行することにより、波形情報ファイル１１０を得ることができる。このように、消費電力検証支援プログラム１０９を実行可能な本体装置１０１が、後述する本実施の形態の消費電力検証支援装置１を構成する。なお、回路データ１０６、テストベンチ１０７、設定ファイル１０８及び波形情報ファイル１１０は、記憶装置１０２に記憶されているが、他の記憶媒体に記憶されていてもよい。
【００１５】
ここで、このように構成される消費電力検証支援装置１の構成について説明する。
【００１６】
図２は、第１の実施の形態に係る消費電力検証支援装置の構成を示す図である。
【００１７】
まず、ユーザが回路データ１０６、テストベンチ１０７及び設定ファイル１０８を入力とし、消費電力検証支援プログラム１０９を本体装置１０１上において実行すると、計測回路生成部２でコンパイルが実行される。この計測回路生成部２を構成するコンパイラは、図示を省略しているが、記憶装置１０２に記憶されている。
【００１８】
計測回路生成部２は、回路データ１０６、テストベンチ１０７及び設定ファイル１０８を、ユーザが可読できるアスキーデータからコンピュータで処理が実行可能なバイナリデータに変換する。計測回路生成部２は、バイナリデータに変換した回路データ１０６、テストベンチ１０７及び設定ファイル１０８を消費電力検証支援装置１に出力する。
【００１９】
消費電力検証支援装置１は、時間制御部１１と、消費電力概算用のシミュレーションを実行するシミュレータ１２と、信号ダンプ処理用のシミュレーションを実行するシミュレータ１３とを有して構成されている。消費電力概算用のシミュレーションは、設定ファイル１０８で設定された指定信号の稼働率あるいは指定信号のみをダンプした大まかな消費電力を算出するためのシミュレーションである。また、信号ダンプ処理用のシミュレーションは、ダンプ処理の指示があった際に全ての信号をダンプした波形情報ファイル１１０を生成するためのシミュレーションである。
【００２０】
時間制御部１１には、テストベンチ１０７が入力される。時間制御部１１は、テストベンチ１０７のシミュレーション時間を所定時間ΔＴ単位に分割し、テストベンチ１０７に応じたシミュレーションをシミュレータ１２及びシミュレータ１３で実行させる制御を行う。この所定時間ΔＴは設定ファイル１０８により設定される。
【００２１】
また、時間制御部１１は、遅延制御部１４を有している。遅延制御部１４は、信号ダンプ処理用のシミュレーションを、シミュレータ１２で実行される消費電力概算用のシミュレーションに対して所定時間ΔＴ遅延させて、シミュレータ１３で実行させる制御を行う。また、遅延制御部１４は、信号ダンプ処理用のシミュレーションを、シミュレータ１２で実行される消費電力概算用のシミュレーションに対して所定時間ΔＴの遅延を保ちながらシミュレータ１３で実行させる制御を行う。
【００２２】
シミュレータ１２は、時間制御部１１からの制御に応じて、消費電力概算用のシミュレーションを実行する。また、シミュレータ１２は、消費電力概算部１５と、比較判定部１６とを有している。
【００２３】
消費電力概算部１５は、時間制御部１１で分割された所定時間ΔＴあたりの消費電力を概算し、その消費電力の概算値を比較判定部１６に出力する。
【００２４】
比較判定部１６は、消費電力概算部１５から入力された消費電力の概算値と、閾値ＴＨと比較し、消費電力の概算値が閾値ＴＨ以上か否かを判定する。この閾値ＴＨは、設定ファイル１０８で設定される。比較判定部１６は、消費電力の概算値が閾値ＴＨ以上と判定した場合、シミュレータ１３にダンプ処理付きのシミュレーションの実行を指示し、消費電力の概算値が閾値ＴＨより低いと判定した場合、シミュレータ１３にダンプ処理なしのシミュレーションの実行を指示する。
【００２５】
シミュレータ１３は、時間制御部１１の遅延制御部１４からの制御に応じて、信号ダンプ処理用のシミュレーションを、消費電力概算用のシミュレーションに対して所定時間ΔＴ遅延させて実行する。また、シミュレータ１３は、ダンプ処理部１７を有している。
【００２６】
ダンプ処理部１７は、比較判定部１６からダンプ処理の指示があった場合、所定時間ΔＴの間の全信号の波形データを波形情報ファイル１１０に記録するダンプ処理を行い、ダンプ処理の指示がなかった場合、ダンプ処理を行わない。これにより、ダンプ処理部１７からは、ダンプ処理の指示があった期間の波形データが記録された波形情報ファイル１１０が出力される。
【００２７】
波形情報ファイル１１０は、消費電力検証ツール３に読み込まれる。消費電力検証ツール３は、この波形情報ファイル１１０に記録された波形データに基づいて、詳細な消費電力の検証を実行する。
【００２８】
次に、このように構成された消費電力検証支援装置１の動作について説明する。
【００２９】
図３は、第１の実施の形態に係る消費電力検証支援装置の動作について説明するための説明図である。
【００３０】
まず、シミュレーション時間が所定時間ΔＴ単位に分割される。図３の例では、所定時間ΔＴをシミュレーションの先頭からΔＴ１，ΔＴ２，・・・，ΔＴ６として示す。次に、シミュレータ１２の消費電力概算部１５により所定時間ΔＴ１の消費電力が概算される。シミュレータ１２の比較判定部１６により、消費電力概算部１５で概算された消費電力の概算値と閾値ＴＨとが比較され、概算値が閾値ＴＨ以上か否かが判定される。所定時間ΔＴ１では、消費電力の概算値（矩形斜線領域）は閾値ＴＨより低いので、比較判定部１６からダンプ処理部１７へダンプ処理の指示は実行されない。そして、次の所定時間ΔＴ２に移り同様の処理を繰り返す。
【００３１】
比較判定部１６が所定時間ΔＴ３の消費電力の概算値が閾値ＴＨ以上であると判定すると、シミュレータ１３のダンプ処理部１７へダンプ処理を命令する。シミュレータ１３では、遅延制御部１４に制御によって、シミュレータ１２に対して所定時間ΔＴの遅延を保ちながらシミュレーションを実行している。そのため、比較判定部１６から所定時間ΔＴ３のダンプ処理の命令があった場合、ダンプ処理部１７では、矢印Ａ１に示す所定時間ΔＴ３の間のダンプ処理が実行されることになる。
【００３２】
所定時間ΔＴ４以降についても同様の処理を繰り返すことにより、ダンプ処理部１７からは、消費電力の概算値が閾値ＴＨ以上、図３の例では、矢印Ａ１及びＡ２に示す時間帯だけの詳細な波形データが記録された波形情報ファイル１１０が出力される。
【００３３】
次に、消費電力概算用のシミュレーション及び信号ダンプ処理用のシミュレーションのフローについて説明する。
【００３４】
図４は、消費電力概算用のシミュレーションの流れの例を示すフローチャートである。
【００３５】
まず、シミュレーション時間が所定時間ΔＴ単位に分割され（ステップＳ１）、消費電力概算用のシミュレーションの実行が開始される（ステップＳ２）。次に、所定時間ΔＴの消費電力が概算され（ステップＳ３）、概算された概算値と閾値ＴＨとが比較される（ステップＳ４）。
【００３６】
次に、概算値が閾値ＴＨ以上か否かが判定される（ステップＳ５）。概算値が閾値ＴＨ以上と判定された場合、ＹＥＳとなり、信号ダンプ処理用のシミュレーションへダンプ処理が指示され（ステップＳ６）、ステップＳ７に進む。なお、信号ダンプ処理用のシミュレーションのフローは、図５を用いて説明する。一方、概算値が閾値ＴＨより小さいと判定された場合、ＮＯとなり、消費電力概算用のシミュレーションが終了したか否かが判定される（ステップＳ７）。消費電力概算用のシミュレーションが終了していないと判定された場合、ＮＯとなり、次の所定時間ΔＴに進み（ステップＳ８）、ステップＳ３に戻り同様の処理を繰り返す。一方、消費電力概算用のシミュレーションが終了したと判定された場合、ＹＥＳとなり、消費電力概算用のシミュレーションが終了する。
【００３７】
次に、図５を用い、ステップＳ６の信号ダンプ処理用のシミュレーションの処理について説明する。
【００３８】
図５は、信号ダンプ処理用のシミュレーションの流れの例を示すフローチャートである。
【００３９】
まず、シミュレーション時間が所定時間ΔＴ単位に分割され（ステップＳ１１）、所定時間ΔＴ遅延させ、信号ダンプ処理用のシミュレーションの実行が開示される（ステップＳ１２）。次に、消費電力概算用のシミュレーションより所定時間ΔＴ以上遅延しているか否かが判定される（ステップＳ１３）。所定時間ΔＴ以上遅延していると判定された場合、ＹＥＳとなり、ステップＳ１５に進む。一方、所定時間ΔＴ以上遅延していないと判定された場合、ＮＯとなり、所定時間ΔＴ以上遅延するように、シミュレーション時間が調整され（ステップＳ１４）、ステップＳ１５に進む。次に、所定時間ΔＴの間のダンプ処理の指示があるか否かが判定される（ステップＳ１５）。ダンプ処理の指示があると判定された場合、ＹＥＳとなり、所定時間ΔＴの間、ダンプ処理付きシミュレーションが実行され（ステップＳ１６）、ステップＳ１８に進む。一方、ダンプ処理の指示がないと判定された場合、ＮＯとなり、所定時間ΔＴの間、ダンプ処理なしシミュレーションが実行され（ステップＳ１７）、ステップＳ１８に進む。次に、消費電力概算用のシミュレーションが終了したか否かが判定される（ステップＳ１８）。消費電力概算用のシミュレーションが終了していないと判定された場合、ＮＯとなり、次の所定時間ΔＴに進み（ステップＳ１９）、ステップＳ１３に戻り、同様の処理を繰り返す。一方、消費電力概算用のシミュレーションが終了したと判定された場合、ＹＥＳとなり、所定時間ΔＴの間のダンプ処理の指示の残件があるか否かが判定される（ステップＳ２０）。残件があると判定された場合、ＹＥＳとなり、残りの所定時間ΔＴの間のダンプ処理が実行され（ステップＳ２１）、処理を終了する。一方、残件がないと判定された場合、ＮＯとなり、信号ダンプ処理用のシミュレーションを終了する。
【００４０】
以上のように、消費電力検証支援装置１は、消費電力検証ツール３に必要な波形情報ファイル１１０の生成を判断する処理と、波形情報ファイル１１０を生成する処理とを複数のシミュレータ、本実施の形態ではシミュレータ１２及び１３に分担させるようにした。この結果、１つのシミュレータにかかる負担を削減することができる。
【００４１】
また、消費電力検証支援装置１は、消費電力の概算値が閾値ＴＨ以上か否かを判定し、消費電力の概算値が閾値ＴＨ以上の時間帯の波形データのみを波形情報ファイル１１０に記録するようにした。この結果、消費電力検証支援装置１は、必要な波形データを取得することができるとともに、波形情報ファイル１１０を作成するためのシミュレーション時間を短縮することができる。さらに、消費電力検証支援装置１は、消費電力の概算値が閾値ＴＨ以上の時間帯の波形データのみを波形情報ファイル１１０に記録するため、波形情報ファイル１１０のファイルサイズ及びファイル数を削減することができる。この結果、消費電力検証ツール３での消費電力の検証時間を短縮することができる。
【００４２】
（第２の実施の形態）
次に、第２の実施の形態について説明する。
【００４３】
図６は、第２の実施の形態に係る消費電力検証支援装置の構成を示す図である。なお、図６において図２と同様の構成については、同一の符号を付して説明を省略する。
【００４４】
消費電力検証支援装置１ａは、時間制御部２１と、シミュレータ２２とを有して構成されている。
【００４５】
時間制御部２１は、図２の時間制御部１１と同様に、テストベンチ１０７のシミュレーション時間を所定時間ΔＴ単位に分割し、テストベンチ１０７に応じたシミュレーションをシミュレータ２２で実行させる制御を行う。
【００４６】
シミュレータ２２は、図２の消費電力概算部１５、比較判定部１６及びダンプ処理部１７に加え、データベース作成部２３と、データベース読込部２４とを有して構成されている。
【００４７】
データベース作成部２３は、所定時間ΔＴのシミュレーション実行後に、再度所定時間ΔＴの開始時間からシミュレーションを実行するためのデータベースを作成する。
【００４８】
データベース読込部２４は、比較判定部１６により消費電力概算部１５で概算された消費電力の概算値が閾値ＴＨ以上と判定された場合、データベース作成部２３で作成されたデータベースを読み込む。なお、比較判定部１６により消費電力概算部１５で概算された概算値が閾値ＴＨより小さいと判定された場合は、次に所定時間ΔＴに進み、同様の処理を繰り返す。
【００４９】
ダンプ処理部１７は、データベース読込部２４で読み込まれたデータベースに基づき、再度所定時間ΔＴの開始時間からダンプ処理を実行することにより波形情報ファイル１１０を生成し、次の所定時間ΔＴに進む。シミュレータ２２は、以上の処理をシミュレーションが終了するまで繰り返すことで、消費電力の概算値が閾値ＴＨ以上の時間帯の波形データのみが記録された波形情報ファイル１１０を生成する。
【００５０】
図７は、第２の実施の形態に係る消費電力検証支援装置の動作について説明するための説明図である。
【００５１】
所定時間ΔＴ３で閾値ＴＨ以上と判定されると、データベース作成部２３で作成された、所定時間ΔＴの開始時間からシミュレーションを実行するためのデータベースがデータベース読込部２４によって読み込まれる。これにより、所定時間ΔＴ３の開始時間に戻り、ダンプ処理部１７では、矢印Ａ３に示す所定時間ΔＴ３の間のダンプ処理が実行されることになる。
【００５２】
その後、所定時間ΔＴ４では消費電力を概算する処理に戻り、同様の処理を繰り返すことにより、ダンプ処理部１７からは、消費電力の概算値が閾値ＴＨ以上、図７の例では、矢印Ａ３及びＡ４に示す時間帯だけの詳細な波形データが記録された波形情報ファイル１１０が出力される。
【００５３】
次に、シミュレータ２２で実行されるシミュレーションのフローについて説明する。
【００５４】
図８は、シミュレータ２２で実行されるシミュレーションの流れの例を示すフローチャートである。なお、図８において、図４と同様の処理については同一の符号を付して説明を省略する。
【００５５】
ステップＳ１において、シミュレーション時間が所定時間ΔＴ単位に分割されると、シミュレーションの実行が開示される（ステップＳ３１）。次に、所定時間ΔＴの間のシミュレーションを実行終了後、再度所定時間ΔＴの開示時間からシミュレーションを実行するためのデータベースが作成される（ステップＳ３２）。ステップＳ３において所定時間ΔＴの消費電力が概算され、ステップＳ４において概算値と閾値ＴＨとが比較される。そして、ステップＳ５において概算値が閾値ＴＨ以上か否かが判定され、概算値が閾値ＴＨ以上であると判定された場合、ステップＳ３５に進む。一方、ステップＳ５において、概算値が閾値ＴＨ以上であると判定された場合、ステップＳ３２で作成された、再度所定時間ΔＴの開示時間からシミュレーションを実行するためのデータベースが読み込まれる（ステップＳ３３）。次に、所定時間ΔＴの間、ダンプ処理付きシミュレーションが実行され（ステップＳ３４）、ステップＳ３５に進む。次にシミュレーションが終了したか否かが判定される（ステップＳ３５）。シミュレーションが終了していないと判定された場合、ＮＯとなり、次の所定時間ΔＴに進み（ステップＳ３６）、ステップＳ３２に戻り、同様の処理を繰り返す。一方、シミュレーションが終了したと判定された場合、ＹＥＳとなり、シミュレーションを終了する。
【００５６】
以上のように、消費電力検証支援装置１ａは、再度所定時間ΔＴの開始時間からシミュレーションを実行するためのデータベースをデータベース作成部２３で作成し、消費電力の概算値が閾値ＴＨ以上の場合、そのデータベースを読み込み、ダンプ処理を行うようにした。このように、消費電力検証支援装置１ａは、１つのシミュレータ２２で異なる処理を実行させるようにすることによって、２つのシミュレータ１２及び１３を備えた第１の実施の形態の消費電力検証支援装置１に比べ、シミュレーションを実行するためのリソースを削減することができる。
【００５７】
（第３の実施の形態）
次に、第３の実施の形態について説明する。
【００５８】
図９は、第３の実施の形態に係る消費電力検証支援装置の構成を示す図である。なお、図９において図２と同様の構成については、同一の符号を付して説明を省略する。
【００５９】
本実施の形態の消費電力検証支援装置１ｂの構成は、第１の実施の形態の消費電力検証支援装置１の構成と同様である。本実施の形態の消費電力検証支援装置１ｂは、図２のシミュレータ１２及び１３に加えて、シミュレータ１２ａ及び１３ａを用いて構成される。なお、シミュレータ１２ａ及び１３ａは、それぞれシミュレータ１２及び１３と同様の構成のであり、シミュレータ１２ａは、消費電力概算部１５ａ及び比較判定部１６ａを有し、シミュレータ１３ａは、ダンプ処理部１７ａを有する。
【００６０】
シミュレータ１２ａは、シミュレータ１２で実行される第１の実施の形態と同様のシミュレーションから所定時間ΔＴ／２ずらしたシミュレーションを実行する。
【００６１】
シミュレータ１３ａのダンプ処理部１７ａは、シミュレータ１２ａで実行されるシミュレーションの所定時間ΔＴにおける消費電力の概算値が閾値ＴＨ以上の所定時間ΔＴについてダンプ処理を実行する。その他の構成は、第１の実施の形態と同様のため説明を省略する。
【００６２】
図１０は、第３の実施の形態に係る消費電力検証支援装置の動作について説明するための説明図である。
【００６３】
図１０では、シミュレータ１２で実行される第１の実施の形態と同様のシミュレーションの所定時間ΔＴをシミュレーションの先頭からΔＴ１ａ，ΔＴ２ａ，・・・，ΔＴ６ａとして示し、シミュレータ１２ａで実行される所定時間ΔＴ／２ずらしたシミュレーションの所定時間ΔＴをシミュレーションの先頭からΔＴ１ｂ，ΔＴ２ｂ，・・・，ΔＴ６ｂとして示す。
【００６４】
消費電力概算部１５ａでは、シミュレータ１２ａで実行されるシミュレーションの所定時間ΔＴ１ｂ〜ΔＴ６ｂ毎の消費電力が概算される。
【００６５】
比較判定部１６ａにより、シミュレータ１２ａで実行されるシミュレーションの所定時間ΔＴ１ｂ〜ΔＴ６ｂ毎に概算された消費電力の概算値が閾値ＴＨ以上となっているか否かが判定され、閾値ＴＨ以上となっている所定時間ΔＴ３ｂ及びΔＴ５ｂの間、即ち、矢印Ａ６及びＡ７の間のダンプ処理がダンプ処理部１７ａに指示される。また、シミュレータ１２では、第１の実施の形態と同様に、矢印Ａ５の間のダンプ処理がダンプ処理部１７に指示される。
【００６６】
なお、ダンプ処理部１７またはダンプ処理部１７ａは、ダンプ処理する必要がある所定時間ΔＴ３ｂ、ΔＴ５ａ、ΔＴ５ｂをマージして、矢印Ａ８及びＡ９の間のダンプ処理を実行する、あるいは、ダンプ処理する必要がある所定時間ΔＴ３ｂ、ΔＴ５ａ、ΔＴ５ｂの重複箇所、ここでは、所定時間ΔＴ５ａとΔＴ５ｂとが重複している矢印Ａ１０の間のダンプ処理を実行するようにしてもよい。
【００６７】
以上のように、消費電力検証支援装置１ｂは、シミュレータ１２で第１の実施の形態と同様のシミュレーションを実行し、シミュレータ１２ａで所定時間ΔＴ／２ずらしたシミュレーションを実行し、それぞれダンプ処理を行うようにしているため、第１の実施の形態の消費電力検証支援装置１に比べ、ダンプ処理の精度を向上させることができる。
【００６８】
（第４の実施の形態）
次に、第４の実施の形態について説明する。
【００６９】
図１１は、第４の実施の形態に係る消費電力検証支援装置の構成を示す図である。なお、図１１において、図２と同様の構成については、同一の符号を付して説明を省略する。
【００７０】
消費電力検証支援装置１ｃは、図２のシミュレータ１２に代わり、シミュレータ１２ｂを用いて構成されている。シミュレータ１２ｂは、図２の消費電力概算部１５に加え、データベース作成部２５、結果表示制御部２６及びデータベース読込部２７を有して構成されている。
【００７１】
データベース作成部２５は、評価ポイントまでシミュレーションを実行終了後、評価ポイントの開始時間に戻り、評価ポイントの開始時間よりシミュレーションを再度行えるようにするためのデータベースを作成する。ここで、評価ポイントとは、例えば、所定時間ΔＴの２倍のポイントである。
【００７２】
結果表示制御部２６は、この評価ポイントで一旦、消費電力の概算の結果を表示装置１０３の表示部に表示させる制御を行う。表示装置１０３の表示部は、表示された消費電力の概算の結果から、ユーザがダンプ処理を行いたい所定時間ΔＴを選択させる。
【００７３】
データベース読込部２７は、ユーザが入力部としてのキーボード１０４またはマウス１０５を用い、所定時間ΔＴを選択した場合、データベース作成部２５で作成されたデータベースを読み出し、ダンプ処理部１７にダンプ処理を実行させる。その他の構成は、第１の実施の形態の消費電力検証支援装置１と同様のため、説明を省略する。
【００７４】
図１２は、第４の実施の形態に係る消費電力検証支援装置の動作を説明するための図である。
【００７５】
まず、シミュレータ１２ｂにより、評価ポイントＰ１まで所定時間ΔＴ１及びΔＴ２毎の消費電力が概算される。次に、評価ポイントＰ１で一旦、消費電力の概算の結果が表示装置１０３の表示部に表示される。ユーザがダンプしたい所定時間ΔＴ１またはΔＴ２を選択した場合、ダンプ処理部１７にダンプ処理が指示される。ユーザがダンプしたい所定時間ΔＴ１またはΔＴ２を選択しない場合、シミュレーションが次の評価ポイントＰ２まで再開される。なお、ユーザは、所定時間ΔＴ１及びΔＴ２の両方を選択してもよい。
【００７６】
ここで、ユーザがダンプしたい所定時間ΔＴとして所定時間ΔＴ４を選択すると、データベース読込部２７が評価ポイントＰ１の開始時間よりシミュレーションを再度行えるようにするためのデータベースをデータベース作成部２５から読み込む。そして、ダンプ処理部１７によって、評価ポイントＰ２の開始時間からダンプ処理が実行される。なお、ダンプ処理部１７では、ユーザに選択されていない矢印Ａ１１に示す所定時間ΔＴ３の間はダンプ処理を行わず、ユーザに選択された矢印Ａ１２に示す所定時間ΔＴ４の間のみダンプ処理を行うようにしてもよい。
【００７７】
次に、シミュレータ１２ｂで実行されるシミュレーションのフローについて説明する。
【００７８】
図１３は、シミュレータ１２ｂで実行されるシミュレーションの流れの例を示すフローチャートである。なお、図１３において、図８と同様の処理については同一の符号を付して説明を省略する。
【００７９】
まず、ステップＳ３１において、シミュレーションの実行が開示されると、評価ポイントの開始時間からシミュレーションを再度実行するためのデータベースが作成される（ステップＳ４１）。次に、ステップＳ３において所定時間ΔＴの消費電力が概算されると、概算された消費電力が表示され（ステップＳ４２）、評価ポイント又はシミュレーションが終了したか否かが判定される（ステップＳ４３）。評価ポイント又はシミュレーションが終了していないと判定された場合、次の所定時間ΔＴへ進み（ステップＳ４４）、ステップＳ３に戻り同様の処理を繰り返す。一方。評価ポイント又はシミュレーションが終了したと判定された場合、表示結果よりダンプを行う所定時間ΔＴを選択させる（ステップＳ４４）。
【００８０】
次に、選択された所定時間ΔＴがあるか否かが判定される（ステップＳ４５）。選択された所定時間ΔＴがあると判定された場合、ＹＥＳとなり、ダンプ処理が実行され（ステップＳ４６）、ステップＳ３５に進む。一方、選択された所定時間ΔＴがないと判定された場合、ステップＳ３５に進む。ステップＳ３５以降の処理は図８と同様のため、説明を省略する。
【００８１】
以上のように、消費電力検証支援装置１ｃは、結果表示制御部２６で評価ポイントまでの消費電力の概算値を表示装置１０３の表示部に表示させ、ダンプ処理を行いたい所定時間ΔＴをユーザに選択させるため、任意の所定時間ΔＴの間のダンプ処理を実行することができる。
【００８２】
（第５の実施の形態）
次に、第５の実施の形態について説明する。
【００８３】
図１４は、第５の実施の形態に係る消費電力検証支援装置の構成を示す図である。なお、図１４において、図２と同様の構成については、同一の符号を付して説明を省略する。
【００８４】
消費電力検証支援装置１ｄは、図２のシミュレータ１２に代わり、シミュレータ１２ｃを用いて構成されている。シミュレータ１２ｃは、図２の消費電力概算部１５及び比較判定部１６に加え、概算値比較部２８を有して構成されている。
【００８５】
比較判定部１６は、消費電力概算部１５で概算された処理中の消費電力の概算値が閾値ＴＨ以上の場合、ダンプ処理を行う候補として所定時間ΔＴの情報及び概算値の情報を記憶装置１０２に一時保存する。
【００８６】
概算値比較部２８は、保存されている消費電力の概算値のデータがある場合、保存されている消費電力の概算値と、処理中の所定時間ΔＴの消費電力の概算値とを比較する。そして、概算値比較部２８は、保存されている消費電力の概算値より処理中の所定時間ΔＴの消費電力の概算値の方が大きい場合、ダンプ処理を行う候補として処理中の所定時間ΔＴの消費電力の概算値を記憶装置１０２に一時保存する。一方、概算値比較部２８は、保存されている消費電力の概算値より処理中の所定時間ΔＴの消費電力の概算値の方が小さい場合、ダンプ処理部１７に保存されていた所定時間ΔＴの間のダンプ処理をダンプ処理部１７に指示する。
【００８７】
図１５は、第５の実施の形態に係る消費電力検証支援装置の動作ついて説明するための図である。
【００８８】
所定時間ΔＴ５において消費電力の概算値が閾値ＴＨ以上となっているため、比較判定部１６により、この所定時間ΔＴ５の情報及び概算値の情報がダンプ処理の候補として記憶装置１０２に記憶される。次に、所定時間ΔＴ６において消費電力の概算値が閾値ＴＨ以上となっているため、概算値比較部２８により、所定時間ΔＴ６において消費電力の概算値が保存されている所定時間ΔＴ５の消費電力の概算値と比較される。所定時間ΔＴ６の消費電力の概算値が所定時間ΔＴ５の消費電力の概算値より大きいため、所定時間ΔＴ６の消費電力の概算値の情報がダンプ処理の候補として記憶装置１０２に記憶される。
【００８９】
次に、概算値比較部２８により、所定時間ΔＴ７の消費電力の概算値が保存されている所定時間ΔＴ６の消費電力の概算値と比較される。所定時間ΔＴ７の消費電力の概算値が所定時間ΔＴ６の消費電力の概算値より小さいため、ダンプ処理部１７に所定時間ΔＴ６の間のダンプ処理が指示される。所定時間ΔＴ８以降の同様の処理が繰り返される。これにより、矢印Ａ１３及びＡ１４に示す所定時間ΔＴ６及びΔＴ９の間のダンプ処理が実行されることになる。
【００９０】
次に、シミュレータ１２ｃで実行される消費電力概算用のシミュレーションのフローについて説明する。
【００９１】
図１６は、シミュレータ１２ｃで実行される消費電力概算用のシミュレーションの流れの例を示すフローチャートである。なお、図１６において、図４と同様の処理については同一の符号を付して説明を省略する。
【００９２】
ステップＳ５において、概算値が閾値ＴＨ以上と判定されると、所定時間ΔＴの概算値が保存されている概算値以上か否かが判定される（ステップＳ５１）。所定時間ΔＴの概算値が保存されている概算値以上と判定された場合、ＹＥＳとなり、所定時間ΔＴの概算値がダンプ処理の候補として保存され（ステップＳ５２）、ステップＳ７に進む。一方、所定時間ΔＴの概算値が保存されている概算値より小さいと判定された場合、ＮＯとなり、ダンプ処理の候補として保存されている所定時間ΔＴのダンプ処理が実行され、ダンプ処理済みとし（ステップＳ５３）、ステップＳ７に進む。
【００９３】
また、ステップＳ５において、概算値が閾値ＴＨより小さいと判定されると、ダンプ未処理の所定時間ΔＴがあるか否かが判定される（ステップＳ５４）。ダンプ未処理の所定時間ΔＴがあると判定された場合、ＹＥＳとなり、ダンプ処理が実行される（ステップＳ５５）。一方、ダンプ未処理の所定時間ΔＴがないと判定された場合（ステップＳ５４：ＮＯ）、または、ステップＳ５５でダンプ処理が実行された場合、保存されている所定時間ΔＴの情報がクリアされ（ステップＳ５６）、ステップＳ７に進む。このように、ステップＳ５４でＹＥＳまたはＮＯと判定された場合にも、ステップＳ７に進む際には、保存されている所定時間ΔＴの情報がクリアされる。なお、保存されている所定時間ΔＴの情報はクリアしなくてもよい。ステップＳ７以降の処理は図４と同様のため説明を省略する。
【００９４】
以上のように、消費電力検証支援装置１ｄは、第１の実施の形態の消費電力検証支援装置１のように閾値ＴＨ以上の場合にダンプ処理を行う場合に比べ、前後の所定時間ΔＴの消費電力の概算値を比較しながらダンプ処理を行うか否かを判定しているため、ダンプ処理の回数を削減することができる。
【００９５】
（第６の実施の形態）
次に、第６の実施の形態について説明する。
【００９６】
図１７は、第６の実施の形態に係る消費電力検証支援装置の構成を示す図である。なお、図１７において、図１４と同様の構成については、同一の符号を付して説明を省略する。
【００９７】
消費電力検証支援装置１ｅは、図１４の時間制御部１１に代わり、時間制御部１１ａを用いて構成されている。時間制御部１１ａは、図１４の遅延制御部１４に加え、時間幅制御部２９を有して構成されている。
【００９８】
時間幅制御部２９には、消費電力概算部１５から消費電力の概算値が供給される。時間幅制御部２９は、供給された消費電力の概算値と閾値ＴＨとを比較し、比較結果からシミュレータ１２ｂのシミュレーションの所定時間ΔＴの時間幅を変更する制御を行う。具体的には、時間幅制御部２９は、消費電力の概算値が閾値ＴＨより非常に小さい場合、時間幅を大きくし、消費電力の概算値が閾値ＴＨに近いあるいは超えている場合、時間幅を小さくする。その他の構成は、第５の実施の形態と同様のため、説明を省略する。
【００９９】
図１８は、第６の実施の形態に係る消費電力検証支援装置の動作を説明するための図である。
【０１００】
時間幅制御部２９は、所定時間ΔＴ１の消費電力の概算値が閾値ＴＨより非常に小さいと判定した場合、次の所定時間ΔＴ２の時間幅を大きくする。次に、時間幅制御部２９は、所定時間ΔＴ２の消費電力の概算値が閾値ＴＨに近いと判定した場合、次の所定時間ΔＴ３の時間幅を小さくする。その他の動作は、図１４の消費電力検証支援装置１ｄと同様であり、矢印Ａ１５及びＡ１６に示す所定時間ΔＴ６及びΔＴ１１の間のダンプ処理が実行される。
【０１０１】
次に、シミュレータ１２ｃで実行される消費電力概算用のシミュレーションのフローについて説明する。
【０１０２】
図１９は、シミュレータ１２ｃで実行される消費電力概算用のシミュレーションの流れの例を示すフローチャートである。なお、図１９において、図４と同様の処理については同一の符号を付して説明を省略する。
【０１０３】
ステップＳ７において、消費電力概算用のシミュレーションが終了していないと判定され、ステップＳ８において、次の所定時間ΔＴへ進むと、概算された概算値と閾値ＴＨとの関係から所定時間ΔＴの時間幅の変更が必要か否かが判定される（ステップＳ６１）。時間幅の変更が必要ないと判定された場合、ＮＯとなり、ステップＳ３に戻り同様の処理を繰り返す。一方、時間幅の変更が必要と判定された場合、ＹＥＳとなり、所定時間ΔＴの時間幅が変更され（ステップＳ６１）、ステップＳ３に戻り同様の処理を繰り返す。その他の処理は、図４と同様のため説明を省略する。
【０１０４】
以上のように、消費電力検証支援装置１ｅは、時間幅制御部２９で消費電力の概算値と閾値ＴＨとを比較して所定時間ΔＴの時間幅を制御するようにしているため、消費電力の概算値が閾値ＴＨを超えている時間帯の消費電力の概算値を詳細に取得することが可能となる。
【０１０５】
本発明のいくつかの実施の形態を説明したが、これらの実施の形態は、例として提示したものであり、発明の範囲を限定することは意図していない。これら新規な実施の形態は、その他の様々な形態で実施されることが可能であり、発明の要旨を逸脱しない範囲で、種々の省略、置き換え、変更を行うことができる。これら実施の形態やその変形は、発明の範囲や要旨に含まれるとともに、特許請求の範囲に記載された発明とその均等の範囲に含まれる。
【符号の説明】
【０１０６】
１，１ａ，１ｂ，１ｃ，１ｄ，１ｅ…消費電力検証支援装置、２…計測回路自動生成部、３…消費電力検証ツール、１１，１１ａ，２１…時間制御部、１２，１２ａ，１２ｂ，１２ｃ，１３，１３ａ，２２…シミュレータ、１４…遅延制御部、１５，１５ａ…消費電力概算部、１６，１６ａ…比較判定部、１７，１７ａ…ダンプ処理部、２３，２５…データベース作成部、２４，２７…データベース読込部、２６…結果表示制御部、２８…概算値比較部、２９…時間幅制御部、１００…情報処理システム、１０１…本体装置、１０２…記憶装置、１０３…表示装置、１０４…キーボード、１０５…マウス、１０６…回路データ、１０７…テストベンチ、１０８…設定ファイル、１０９…消費電力検証支援プログラム、１１０…波形情報ファイル。
【図１】
2012203567.tif 000003
【図２】
2012203567.tif 000004
【図３】
2012203567.tif 000005
【図４】
2012203567.tif 000006
【図５】
2012203567.tif 000007
【図６】
2012203567.tif 000008
【図７】
2012203567.tif 000009
【図８】
2012203567.tif 000010
【図９】
2012203567.tif 000011
【図１０】
2012203567.tif 000012
【図１１】
2012203567.tif 000013
【図１２】
2012203567.tif 000014
【図１３】
2012203567.tif 000015
【図１４】
2012203567.tif 000016
【図１５】
2012203567.tif 000017
【図１６】
2012203567.tif 000018
【図１７】
2012203567.tif 000019
【図１８】
2012203567.tif 000020
【図１９】
2012203567.tif 000021