"解析対象の回路のサイクルベース論理シミュレーション実行により得られた回路動作情報と、前記回路に含まれる特定のマクロの動作情報に対する動作補正情報と、に基づき前記回路内の前記マクロの動作情報を補正し、前記回路内の各信号の動作情報を確定する際に、補正後の前記動作情報を前記マクロの後段の回路に確率伝搬させて前記後段の回路の動作情報を確定し、前記確率伝搬させた前記動作情報を用いて前記マクロの後段の回路の消費電力を求めることを特徴とする消費電力解析方法。前記回路動作情報は、前記解析対象の回路のトグル率および解析期間中の前記回路のデューティー比を含むことを特徴とする請求項1に記載の消費電力解析方法。前記動作補正情報は、前記マクロの出力信号の動作率に対する係数を含み、前記トグル率を前記係数を用いて補正することを特徴とする請求項2に記載の消費電力解析方法。前記動作補正情報は、ダイナミック回路動作する前記マクロの出力信号のプリチャージ制御クロック名と、プリチャージフェーズでの極性情報とを含み、前記マクロの出力信号がプリチャージ極性と逆の値である確率と、制御クロックの動作率を元に前記トグル率を算出することを特徴とする請求項2に記載の消費電力解析方法。前記動作補正情報は、さらに前記マクロの出力信号の動作/抑止を制御する制御入力信号名と、当該制御入力信号の制御極性とを含み、前記制御入力信号が抑止値である確率を元に前記トグル率を補正することを特徴とする請求項4に記載の消費電力解析方法。前記動作補正情報に含まれる前記係数は、予め前記マクロ単体のシミュレーションにより得た論理出力のトグル率と、実際の波形から得られるトグル率との関係に基づき求めたものを用いることを特徴とする請求項3に記載の消費電力解析方法。前記動作補正情報に含まれる前記プリチャージ制御クロック名と、前記極性情報は、前記マクロの仕様に基づき予め用意したものを用いることを特徴とする請求項4に記載の消費電力解析方法。解析対象の回路のサイクルベース論理シミュレーション実行により得られた回路動作情報と、前記回路に含まれる特定のマクロの動作情報に対する動作補正情報と、に基づき前記回路内の前記マクロの動作情報を補正し、前記回路内の各信号の動作情報を確定する際に、補正後の前記動作情報を前記マクロの後段の回路に確率伝搬させて前記後段の回路の動作情報を確定し、前記確率伝搬させた前記動作情報を用いて前記マクロの後段の回路の消費電力を求める制御部を備えたことを特徴とする消費電力解析装置。LSIの消費電力解析用の動作情報をサイクルベースの論理シミュレーションから取得する場合を考えてみる。サイクルベース論理シミュレーションでは、各素子の値の評価がクロックサイクルごとに1度だけおこなわれるため、クロックサイクル中で変化する情報は欠落してしまい、結果として得られる各内部信号の動作は1クロックサイクルで1回しか得られない。動作情報の適用方法としては、上述したように、回路の全ネットにシミュレーションで得られた動作情報を適用する方法や、解析対象の入出力信号、順序セルの出力、機能マクロの出力信号など限られたノードに動作情報を適用して残りの信号には動作情報の確率的な伝搬処理により動作情報を生成適用する方法などがある。マクロを含まない回路における各セルの動作情報については、動作情報の確率伝搬手法の改善などにより動作率について、ある程度の精度向上が期待できる。しかし、ある程度規模の大きい回路をまとめたマクロではマクロ内部の論理が複雑なため入力信号の動作情報を出力信号に確率伝搬することが困難なため、サイクルベースの動作情報と実際の動作の誤差が大きいマクロを含む回路において、確率伝搬手法を改善することだけで動作率の精度を向上させることは難しい。マクロ自体の消費電力については、動作情報の不確実さを予め考慮した電力モデルを作成することでマクロの消費電力解析の精度を上げることが可能であるが、そのマクロの出力ピンにつながる後段の論理回路については、仮に確率伝搬の手法を用いたとしても伝搬元であるマクロ出力の動作情報が不正確なため、精度を上げることができず、結果として消費電力解析の解析精度の低下につながる。このようなサイクルベースの動作情報と実際の動作の誤差が大きいマクロとして、たとえば、XOR論理や多対一のセレクタ構造などのようにグリッチが発生しやすい構造をもつマクロの出力信号や、ダイナミック回路を使った機能マクロ論理の出力信号などがある。開示の消費電力解析方法および消費電力解析装置は、上述した問題点を解消するものであり、マクロ出力の後段の回路の動作情報を回路単位で補正して回路全体の消費電力解析の精度を向上することを目的とする。上述した課題を解決し、目的を達成するため、開示技術は、解析対象の回路のサイクルベース論理シミュレーションにより得られた回路動作情報と、前記回路に含まれる特定のマクロの動作情報に対する動作補正情報と、に基づき前記回路内の前記マクロの動作情報を補正し、前記回路内の各信号の動作情報を確定する際に、補正後の前記動作情報を前記マクロの後段の回路に確率伝搬させて前記後段の回路の動作情報を確定し、前記確率伝搬させた前記動作情報を用いて前記マクロの後段の回路の消費電力を求めることを含む。開示の消費電力解析方法および消費電力解析装置によれば、マクロ出力の後段の回路の動作情報を回路単位で補正することにより、回路全体の消費電力解析の精度を向上できるという効果を奏する。実施の形態1以下に添付図面を参照して、開示技術の好適な実施の形態を詳細に説明する。開示技術は、サイクルベース論理シミュレーションで得られた動作情報を元にして回路ゲート単位で消費電力を計算することにより、回路単位での消費電力の解析精度を向上させる。特に、動作情報を確率伝搬させて動作情報を精度向上させることが困難なマクロが含まれても、このマクロ出力から先の回路の動作情報の精度を改善することにより、回路全体の電力解析精度を向上させる。消費電力解析の処理概要図1は、実施の形態1にかかる消費電力解析の処理概要を示す図である。開示技術では、サイクルベース動作情報と実際の出力信号の動作が大きく異なるマクロ対象マクロ101について、マクロ101の補正対象となる出力ピン101aの出力信号ごとの補正情報を別途用意しておく。そして、1補正情報に基づいて、回路100全体の動作情報のうち対象となるマクロ101の出力ピン101aの出力信号の動作情報を補正する。これにより、2出力ピン101aには、補正後の動作情報が入る。つぎに、3電力計算前の回路100内の各信号の動作情報を確定するフェーズで、この補正後の動作情報を後段のゲート回路102に確率伝搬する。そして、4電力計算処理では、確率伝搬による伝搬後の最終的な動作情報に基づいて消費電力解析を実行することにより、回路100の消費電力精度を向上させる。実施形態の消費電力解析で用いる内部ノードの動作情報としては、信号のトグル率基準クロック1サイクル内にその信号が反転する回数の期待値と、信号のデューティー比全解析期間のうちその信号の値が1であった期間の比率を想定している。消費電力解析に用いる動作情報としては、この他に動作情報の確率伝搬の補助情報としてサイクル内でその信号が変化する可能性がある範囲を示すタイミングウィンドウという情報などを用いることも考えられるが、以下の説明では、トグル率およびデューティー比を用いている。消費電力解析装置の構成図2は、実施の形態1にかかる消費電力解析装置のブロック図を示す図である。図2に示す消費電力解析装置200は、汎用のコンピュータやサーバを用いて構成することができる。消費電力解析装置200は、CPU201と、ROM202と、RAM203と、I/F204と、バス205と、HDD等のストレージ206を含む。CPU201は、ROM202に格納された消費電力解析プログラムを実行し、RAM203をワークエリアとして用いることにより、消費電力解析処理をおこなう制御部として機能する。I/F204にはキーボード210や外部のハードウェアエミュレータ211等からサイクルベースの回路動作情報、解析対象ネットリスト、マクロ101の動作補正情報等が入力され、ストレージ206に格納される。CPU201は、これら入力された情報に基づきマクロ101の動作情報の補正処理、および消費電力計算をおこなう。計算後の消費電力は、ディスプレイやI/F204を介して外部出力することができる。消費電力解析の全体概要図3は、消費電力解析処理の手順を示すフローチャートである。消費電力解析装置200がおこなう消費電力解析処理全体の概要を説明する。以下の説明では、ネットリスト中に実際に埋め込まれている個々のマクロをマクロのインスタンスと呼び、部品の種類としてのマクロ101という文言と使い分ける。1.準備:ステップS301サイクルベース動作との誤差が大きい出力信号をもつマクロ101の動作補正情報を予め用意しておくステップS301。用意しておく情報は、ハードウェアエミュレータ211のシミュレーション処理により得たサイクルベースの回路動作情報310と、電力の解析対象となる回路のネットリスト311と、マクロ101の動作補正情報312である。サイクルベースの回路動作情報310は、回路100内全ノードまたはマクロインスタンスの出力信号を含む限定的なノードの動作情報のどちらでもよい。動作補正情報312は、マクロ名、対象出力信号名、補正用情報等を含む。2.動作情報補正処理:ステップS302つぎに、サイクルベースの回路動作情報310、ネットリスト311、動作補正情報312の入力に基づき回路動作情報310を補正する処理をおこなう。この補正処理では、ネットリスト311に含まれる全マクロインスタンスのうち、マクロ101が動作補正情報312に含まれるものに対して、そのマクロインスタンスの出力ピン101aのうち動作補正情報312に記述された全ての出力ピン101aについて、出力ピン101aが接続されたネットの動作情報を動作補正情報312に基づいて補正する。これにより、補正後のサイクルベースの回路動作情報310aが得られる。この補正処理における動作情報および補正方法の具体的な内容については後述する。3.回路内動作情報確定処理:ステップS303消費電力計算のために回路100内の全ネットの動作情報を確定する処理では、動作情報補正処理ステップS302において動作補正をおこなった全てのネットの回路動作情報310aをそのネットの後段の回路に対して確率伝搬させて、順序セル103、マクロ101、回路出力104に到達するまで回路動作情報310aの伝搬をおこなう。この回路内動作情報確定処理では、電力解析に必要なその他のデータたとえば、配線容量情報、セルマクロの電力ライブラリ等313についても入力を受けて処理できる。そして、他の動作情報が未確定のネットがある場合は、確率伝搬処理により回路動作情報310aを確定する。4.消費電力計算処理:ステップS304回路内動作情報確定処理ステップS303によって伝播された、補正された回路動作情報310aを用いて消費電力計算をおこない、消費電力解析結果314の情報を得る。上記の各情報データは、消費電力解析装置200のストレージ206やRAM203等に格納後に外部出力される。動作情報補正処理についてつぎに、回路動作情報310の補正処理について説明する。回路動作情報310の補正では、a.グリッチを考慮した補正、b.ダイナミック回路を考慮した補正をおこなう。これらグリッチとダイナミック回路について説明しておく。サイクルベースの動作情報と実際の動作の誤差が大きいマクロとしては、たとえば、XOR論理や多対一のセレクタ構造などのようにグリッチが発生しやすい構造をもつマクロの出力信号や、ダイナミック回路を使った機能マクロ論理の出力信号などがある。図4は、グリッチの信号波形を説明する図である。図4aは、サイクルベースのシミュレーションで取得した信号波形であり、図4bは、この信号波形にグリッチが乗った状態を示している。図4bに示すようなグリッチが乗ることにより、サイクルベースのシミュレーションで取得した信号波形より動作率が大きくなることが分かる。定常的にグリッチが乗りやすい回路構造XOR論理や多対一のセレクタ等をもつマクロ101については、消費電力計算上の誤差は非常に大きくなる。具体的には、グリッチが乗った信号波形は、クロックサイクルCK内で変化するため、この信号波形のトグル変化反転率まで考慮した消費電力計算がおこなえない。図5は、ダイナミック回路の出力信号波形を説明する図である。ダイナミック回路では毎クロックサイクルCKごとに評価動作が実行される。仮に、ダイナミック回路の論理出力値として回路のプリチャージ時の出力値と逆の値が出力され続けていた場合、実際の回路動作としてはプリチャージのフェーズのたびに信号が強制的にプリチャージ値論理出力値と逆の値にドライブされることになる。これにより、図5bに示すように、毎クロックサイクルにパルスが乗ったような信号波形になる。サイクルベースのシミュレーションの場合には動作情報として取得されるのは評価フェーズの値のみであるため、図5aに示す信号波形を動作情報として記録することとなり、回路の実際の動作とかけ離れて動作率が低くなってしまう。なお、プリチャージパルスを隠ぺいするためにマクロ101の出力部分にラッチを設けることが多いが、このラッチによる遅延増加の影響を避けるために、ダイナミック回路動作する信号波形をそのままマクロ101から出力させることも少なくない。a.グリッチを考慮した補正について上記グリッチの影響を考慮した補正として、マクロの出力信号にグリッチの乗りやすさに応じた係数値を補正情報とする。そして、回路動作情報310に対して、出力信号のトグル率を係数倍して補正する。図6は、グリッチを考慮した補正情報を示す図表である。図6に示すグリッチに関する動作補正情報312の例では、たとえば、マクロ1の出力信号2に対して係数値2.0が設定されている。この係数については、たとえば事前にマクロ101単体のシミュレーションなどにより得た論理出力のトグル率と、実際の波形から得られたトグル率との関係を調べることにより予め求め用意しておくことができる。この係数は、トグル率に掛け合わせられる。すなわち、補正式は下記となる。新トグル率=トグル率×係数値新デューティー比=デューティー比b.ダイナミック回路を考慮した補正について上記ダイナミック回路を考慮した補正では、出力信号ごとに制御クロックピン名、プリチャージ極性を補正情報とする。制御クロックピンは、出力信号を作っているダイナミック回路のプリチャージ/評価フェーズのタイミングを取っているクロック入力ピンであり、プリチャージ極性は、プリチャージフェーズでその出力信号が0になるか1になるかを示す情報である。図7は、ダイナミック回路の補正情報を示す図表である。図7に示すダイナミック回路に関する動作補正情報312の例では、たとえば、マクロ2の出力信号1に対してプリチャージ極性が1、プリチャージをする制御クロック名がCK2として設定される。これらの補正情報である制御クロックピン名、プリチャージ極性はマクロ101の論理仕様書、もしくはマクロ101の開発元から容易に入手でき予め用意できる情報である。ダイナミック回路出力は、論理出力値がプリチャージ極性と同じときには信号変化が起きず、プリチャージ極性と逆のときには制御クロックと同じ周期のパルス信号が出力されることになる。このため、デューティー比が信号が1である期間の割合であることに注意すると、補正式はプリチャージ極性が1の場合と0の場合でそれぞれ以下のようになる。下記では、回路動作情報に含まれるマクロ101の出力信号がプリチャージ極性と逆の値である確率と、制御クロックの動作率を元にトグル率を算出する。プリチャージ極性=0の場合新トグル率=制御クロックトグル率×デューティー比新デューティー比=デューティー比-デューティー比/2=デューティー比/2プリチャージ極性=1の場合新トグル率=制御クロックトグル率×1-デューティー比新デューティー比=デューティー比1-デューティー比/2さらに、ダイナミック回路の動作を抑止する制御入力信号がある場合は、マクロ101の論理仕様書等に基づき、これら制御入力信号と、制御極性についても情報として補正情報に加えることができる。図7の例では、たとえば、マクロ2の制御入力信号がEN1、制御極性が1である。これにより、制御入力信号のデューティー比をダイナミック回路が動作した割合とみなして上記の新トグル率を下記のようにさらに補正してもよい。この場合、制御入力信号が抑止値である確率を元に補正する。制御入力信号が1で回路動作の場合新トグル率’=新トグル率×制御入力信号のデューティー比制御入力信号が0で回路動作の場合新トグル率’=新トグル率×1-制御入力信号のデューティー比制御入力信号がある場合の新デューティー比は、プリチャージパルスによるデューティーの変化が制御入力信号のデューティー比によって補正されるため、以下のようになる。プリチャージ極性=0,制御入力信号=1で回路動作の場合新デューティー比=デューティー比-デューティー比/2×制御入力信号デューティー比プリチャージ極性=0,制御入力信号=0で回路動作の場合新デューティー比=デューティー比-デューティー比/2×1-制御入力信号デューティー比プリチャージ極性=1,制御入力信号=1で回路動作の場合新デューティー比=デューティー比1-デューティー比/2×制御入力信号デューティー比プリチャージ極性=1,制御入力信号=0で回路動作の場合新デューティー比=デューティー比1-デューティー比/2×1-制御入力信号デューティー比また、マクロ101内部でダイナミック回路出力がマクロ出力に至る途中でさらにグリッチが乗る場合などは、一つの出力信号に上記a.グリッチと、b.ダイナミック回路の両方の補正情報をもたせ、b.ダイナミック回路の補正後に、a.グリッチの補正をおこなえばよい。動作情報補正処理の流れについて図8は、動作情報補正処理の詳細な手順の一例を示すフローチャートである。消費電力解析装置200がおこなう、図3のステップS302に示した動作情報補正処理の詳細について説明する。はじめに、ネットリスト311に含まれる全てのマクロインスタンスから動作情報補正処理ステップS302がまだ実行されていないものを一つ選択するステップS801。たとえば、インスタンスAマクロ種類Bを選択したとする。つぎに、動作補正情報312の中からマクロBの情報を取得するステップS802。そして、動作補正情報312にマクロBの情報が存在するかチェックしステップS803、存在すればステップS803:Yes、ステップS804に移行し、存在しなければステップS803:No、ステップS801に戻る。つぎに、ステップS804では、インスタンスAの出力ピン101aから、未選択の出力ピン101aを一つ選択するステップS804。たとえば、出力ピンSを選択したとする。そして、動作補正情報312に選択した出力ピンSの情報が存在するかチェックしステップS805、存在すればステップS805:Yes、ステップS806に移行し、存在しなければステップS805:No、ステップS804に戻る。つぎに、ステップS806では、回路動作情報310からインスタンスAの出力ピンSにつながる信号の動作情報トグル率、デューティー比を取得し、出力ピンSの補正情報に基づいて新しいトグル率とデューティー比を求め、回路動作情報310を更新する。この際、補正処理をおこなったということを記録しておくステップS806。つぎに、インスタンスAの全ての出力ピン101aを選択したかチェックしステップS807、全ての出力ピン101aを選択済みであればステップS807:Yes、ステップS808に移行し、未だ未選択の出力ピン101aがあればステップS807:No、ステップS804に戻る。最後に、ステップS808では、ネットリスト311中の全てのマクロインスタンスを選択したかチェックしステップS808、未選択のマクロインスタンスがあればステップS808:No、ステップS801に戻り、全てのマクロインスタンスを選択済みであればステップS808:Yes、以上説明した動作情報補正処理を終了する。消費電力解析処理の具体例つぎに、消費電力解析処理について、具体的な回路例を用いて説明する。図9は、消費電力解析をおこなう回路と動作情報、動作補正情報の例を示す回路図である。各ネットに記載されたトグル率Tとデューティー比D、および動作補正情報312を入力として処理する場合の例について説明する。図10は、マクロインスタンスに対する動作情報補正処理、および動作情報伝搬を説明する図である。図10には、一つのマクロインスタンスAマクロXに対する処理別に上段、中段、下段にそれぞれ記載してある。はじめに、図10の上段に示すように、上述した2.動作情報補正処理ステップS302では、マクロインスタンスAは、マクロX101のインスタンスなので、動作補正情報312からマクロXの情報を検索する。これにより、マクロXの補正情報として、出力ピンS1とS2の補正情報が得られる。得られた補正情報から、出力ピンS1は、上のa.グリッチの補正、出力ピンS2はb.ダイナミック回路の補正をおこなうことになる。そして、動作情報補正処理ステップS302では、図10の中段に示すように、上記補正式にしたがって、各出力ピンS1,S2につながるネットの回路動作情報310を補正する。たとえば、出力ピンS1のトグル率Ttoggle_rateは、0.3×2.5=0.75に補正され、出力ピンS2のデューティー比Ddutyは、0.41-0.4/2=0.7に補正される。この後、上述した3.回路内動作情報確定処理ステップS303では、図10の下段に示すように、補正をおこなった2つのネットの回路動作情報310aを後段の回路に伝搬する。この回路例では、後段の回路が単純なバッファBuf1001のため、入力信号の回路動作情報310aをそのまま出力まで伝搬させるだけでよく、確率計算は必要ない。つぎに、上述した補正後の回路動作情報310aを元にした消費電力解析について説明する。マクロ101後段の各バッファの消費電力について考えると、バッファBuf1001のスイッチング電力回路が動作することで消費される電力はトグル率×信号変化1回当たりのバッファの消費エネルギーで求められる。このため、インスタンスAマクロX101の出力ピンS1につながるバッファ1001aについては、本実施の形態の電力解析の手法を適用しない場合に比べてスイッチング電力が2.5倍0.75/0.3になり、出力ピンS2につながるバッファ1001bについては、ダイナミック電力が6倍1.2/0.2になる。これは、本実施の形態の電力解析の手法を未適用としていた、サイクルベース動作率を元に解析した消費電力では過小評価となることを意味する。上記a.グリッチを考慮した補正については、係数の算出時動作と実動作の違いなどにより、多少の補正誤差は出るが、b.ダイナミック回路を考慮した補正については、ダイナミック回路動作による信号波形を元にした補正であるため、ほぼ誤差のない補正となる。また、リーク電力漏れ電流などによって回路が動作しなくても消費し続ける電力について、このリーク電力は、一般的に入力信号の値によって変わるため、このような入力信号の値を考慮したリーク電力解析をおこなう場合は、入力信号のデューティー比を用いて計算をおこなう。このことから、b.ダイナミック回路を考慮した補正では、上記の手法によりデューティー比も修正されるため、リーク電力の解析精度についても併せて向上することができる。消費電力の算出例つぎに、本実施の形態にかかるスイッチング電力の算出例について説明する。例として、図9に示した回路100について、マクロを除いた部分のスイッチング電力について説明する。回路動作情報310は、各回路の入力信号と、マクロ101の出力信号に与えられており、その他のネットの動作情報は、確率伝搬によって求める。説明を簡単にするために、図示の回路例では、マクロ101の他は、2入力のAND、OR、XORと、バッファBufの回路のみ使用する。また、説明を単純にするためにマクロ101以外の各ゲートのスイッチング電力を以下のように計算することにする。各ゲートのスイッチング電力=対象ゲートの出力信号のトグル率×100[uW]動作情報の確率伝搬の手法としては、単純なモデルを用いる。AND、ORの場合は、片側の入力信号が変化したときにもう片側の入力がANDなら1、ORなら0のときにその信号変化が出力に伝搬し、XORの場合は他方の入力信号の値に関わらず出力に伝搬するとしている。そして、2つの入力信号および出力信号トグル率T,デューティー比DをT1,D1T2,D2TO,DOとしたときに、T1,D1T2,D2からTO,DOを以下のように求めることにする。AND:TO=T1×D2T2×D1,DO=D1×D2OR:TO=T1×1-D2T2×1-D1,DO=1-1-D1×1-D2XOR:TO=T1T2,DO=D1×1-D21-D1×D2バッファは入力のT,Dをそのまま出力に用いる。図11、図12は、実施の形態1にかかる電力解析による電力算出例を説明する回路図である。図11に示すように、上述した2.動作情報補正処理ステップS302では、動作補正情報312として、マクロXの出力ピンS1,S2に対する補正情報が与えられているため、マクロインスタンスA,Bそれぞれの出力ピンS1,S2の出力信号の動作情報を補正することになる。上述したa.グリッチ、b.ダイナミック回路を考慮した計算式に基づいて求めた各信号の新しい補正後の動作情報を矢印→後段に併記している。出力ピンS1については、トグル率を係数に基づき2.5倍、出力ピンS2については、クロックCKのトグル率2.0に1-デューティー比を掛けたものが新しいトグル率としている。上述した3.回路内動作情報確定処理ステップS303では、補正した回路動作情報310aを後段の回路に確率伝搬する。伝搬後の各ネットの動作情報を図12に示す。この結果に基づいて消費電力計算をおこなったマクロ以外の回路a~hのダイナミック電力は、a0.3×100b0.9×100c0.6×100d0.41×100e1.53×100f1.53×100g1.6×100h1.6×100=847uWとなる。対比のために、本実施の形態の電力解析の手法を適用しなかった場合の電力について説明する。図13は、実施の形態1の電力解析の手法を未適用時の電力算出例を説明する回路図である。図13には、入力側から出力側に向かって動作情報を確率伝搬して全ネットの動作情報を確定した状態を示している。確率伝搬で生成した回路動作情報は下線付きで示した。ここで、マクロX101は、入力から出力への動作情報の確率伝搬ができず、出力値に設定された動作情報をそのまま後段に伝搬するものとする。このときのマクロX101以外の部分のダイナミック電力は、a0.3×100b0.9×100c0.6×100d0.29×100e0.52×100f0.52×100g1.3×100h1.3×100=573uWとなる。このように、本実施の形態1による電力解析の手法を適用しなかった場合には、約32過小に消費電力を計算していることが分かる。以上説明した実施の形態1によれば、動作情報取得のための論理シミュレーションの工数を増大させることなく、電力解析の精度を向上させることができる。動作情報の補正変換のための処理が入るだけで、その後の電力解析処理自体に大きな処理の追加はないため、全体の解析時間へのオーバーヘッドも小さく、短時間で解析できる。実施の形態2つぎに、実施の形態2では、ダイナミック回路動作を考慮した回路動作情報の補正において、実施の形態1の構成に加えて、複数クロックおよび制御入力信号が付いた場合の動作補正の例について説明する。図14は、実施の形態2にかかる動作補正情報とマクロの回路構成を示す図である。動作補正情報312における制御入力信号の極性は、制御入力が1で回路動作の場合に1、0で回路動作の場合に0としている。以下の説明では、この動作補正情報312を用いるものとして説明する。マクロA101は、ダイナミック回路1401,1402を備え、ダイナミック回路1401は、制御信号EN1および制御クロックCK1で動作し、出力ピンS1から信号出力する。ダイナミック回路1402は、制御信号INH2および制御クロックCK2で動作し、出力ピンS2,S3から信号出力する。図15は、実施の形態2にかかる動作情報補正処理を説明する図である。図15上段が補正前の動作情報であり、下段が補正後の動作情報となる。図15の上段に示すように、マクロA101の補正前の動作情報の各信号について、トグル率T,デューティー比DT,Dについて説明する。制御クロックCK1は2,0.5、制御クロックCK2は0.5,0.5、制御信号EN1は0.3,0.7、制御信号INH2は0.2,0.2、出力ピンS1は0.3,0.3、出力ピンS2は0.1,0.4、出力ピンS3は0.1,0.4であったとする。動作補正情報312を用いた補正により、図15の下段に示すように、出力ピンS1に対する動作補正をおこなうと、トグル率toggle_rate=1-duty×制御CKtoggle_rate×制御信号duty=1-0.3×2.0×0.7=0.98となる。また、デューティー比duty=duty1-duty/2}×制御信号duty=0.3{1-0.3/2}×0.7=0.545となる。出力ピンS2に対する動作補正をおこなうと、トグル率toggle_rate=1-duty×制御CKtoggle_rate×1-制御信号duty=1-0.4×0.5×1-0.2=0.24となる。また、デューティー比duty=duty{1-duty/2}×1-制御信号duty=0.4{1-0.4/2}×1-0.2=0.64となる。出力ピンS3に対する動作補正をおこなうと、トグル率toggle_rate=duty×制御CKtoggle_rate×1-制御信号duty=0.4×0.5×1-0.2=0.16となる。また、デューティー比duty=duty-duty/2×1-制御信号duty=0.4-0.4/2×1-0.2=0.24となる。図16は、実施の形態2にかかるマクロを含んだ回路を示す図である。図16の回路は、図14、図15に示したマクロA101を含んだ回路の例であり、各回路の入力およびマクロA101の入出力には、図16に示すサイクルベースの動作情報トグル率T,デューティー比Dがアノーテートされているとする。図17は、動作情報の補正処理を説明する回路図である。図17には、動作補正情報312を用いてマクロインスタンス1マクロAの出力ピンS1,S2,S3の動作情報を補正した結果を矢印→後段に併記している。制御入力信号の動作情報は、最終的には上述した3.回路内動作情報確定処理ステップS303で入力側の回路から伝搬された動作情報で上書きされることになる。しかし、2.動作情報補正処理ステップS302では、マクロA101の内部クロックCK1,CK2の制御情報として取り扱うため、3.回路内動作情報確定処理ステップS303後のグリッチ等を含めた動作情報ではなく、初期の動作情報であるサイクルベースの動作情報を用いておこなう必要がある。制御クロックCK1,CK2の入力は、サイクル単位の波形が規定された信号であるため、3.回路内動作情報確定処理ステップS303によって動作情報が書き変わることはない。図18は、動作情報を確定した結果を説明する回路図である。上記の3.回路内動作情報確定処理ステップS303によって動作情報を確定した結果を示す。実施の形態2による電力解析の手法適用時のマクロA101以外の回路a~iのダイナミック電力は、a0.3b0.5c0.2d0.9205e0.9205f0.16g0.16h0.36i0.36×100uW=388.1uWとなる。対比のために、本実施の形態の電力解析の手法を適用しなかった場合の電力について説明する。図19は、実施の形態2の電力解析の手法を未適用時の電力算出例を説明する回路図である。回路a~iのダイナミック電力を対象ゲートの出力信号のトグル率T×100[uW]としてマクロ以外の回路のダイナミック電力を求めると、ダイナミック電力は、a0.3b0.5c0.2d0.45e0.45f0.08g0.08h0.3i0.3×100uW=266uWとなる。このように、本実施の形態2による電力解析の手法を適用しなかった場合には、約31過小に消費電力を計算していることが分かる。以上説明した実施の形態2によれば、複数の制御信号およびクロック入力があるマクロを含む場合でも、動作情報取得のための論理シミュレーションの工数を増大させることなく、電力解析の精度を向上させることができる。動作情報の補正変換のための処理が入るだけで、その後の電力解析処理自体に大きな処理の追加はないため、全体の解析時間へのオーバーヘッドも小さく、短時間で解析できる。そして、上記各実施の形態による動作情報の補正は、サイクルベース論理シミュレーションにより得られた動作情報に基づき、ゲート単位で動作情報を補正するため、動作情報を確率伝搬させて動作情報を精度向上させることが困難なマクロが含まれても、このマクロ出力から先の回路の動作情報の精度を改善でき、電力解析の処理を高速におこなえる。加えて、クロックサイクル中で変化するグリッチやダイナミック回路の出力を考慮した補正をおこなう。これにより、サイクルベースの動作情報と実際の動作の誤差が大きいマクロに対応できるようになり、これらマクロを含む回路の消費電力解析を精度よく短時間で行えるようになる。"