(57)【要約】【課題】消費電力量の見積精度の向上を図ること。【解決手段】検証支援装置１００が、検証対象の第１回路と異なる第２回路内の各セルの間の配線を示す配線情報によって得られる前記第２回路内の各セルの間の配線の容量値を取得する。検証支援装置１００は、第２回路内の各セルの接続関係を示す接続情報によって得られる前記第２回路内の各セルの間の配線の容量値を取得する。検証支援装置１００は、第１回路内の各セルの接続関係を示す接続情報によって得られる前記第１回路内の各セルの間の配線の容量値を取得する。検証支援装置１００は、取得した各容量値に基づく前記第１回路内の各セルの間の配線の容量値を算出する。【選択図】図１
2015191636.tif 000002
【特許請求の範囲】
【請求項１】
コンピュータが、
検証対象の第１回路の少なくとも一部の特性が同一である第２回路であって、前記第１回路と異なる第２回路内の各セルの間の配線を示す配線情報によって得られる前記第２回路内の各セルの間の配線の容量値を取得し、
前記第２回路内の各セルの接続関係を示す接続情報によって得られる前記第２回路内の各セルの間の配線の容量値を取得し、
前記第１回路内の各セルの接続関係を示す接続情報によって得られる前記第１回路内の各セルの間の配線の容量値を取得し、
取得した各容量値に基づく前記第１回路内の各セルの間の配線の容量値を算出する、
処理を実行することを特徴とする検証支援方法。
【請求項２】
前記コンピュータが、
前記第２回路内の各セルの端子を示す端子情報によって得られる前記第２回路内の各セルの端子の容量値を取得し、
前記第１回路内の各セルの端子を示す端子情報によって得られる前記第１回路内の各セルの端子の容量値を取得する、
処理を実行し、
前記容量値を算出する処理では、取得した各容量値に基づく前記第１回路内の各セルの間の配線の容量値を算出することを特徴とする請求項１に記載の検証支援方法。
【請求項３】
前記コンピュータが、
前記配線情報によって得られる前記第２回路内の各セルの間の配線の容量値と、前記第２回路内の各セルの端子の容量値と、に基づく前記第２回路の各セル間の配線および前記各セルの端子の第１消費電力値を算出し、
前記接続情報によって得られる前記第２回路内の各セルの間の配線の容量値と、取得した前記第２回路内の各セルの端子の容量値と、に基づく前記第２回路の各セル間の配線および前記各セルの端子の第２消費電力値を算出する、
処理を実行し、
前記配線の容量値を算出する処理では、算出した前記第１消費電力値と、算出した前記第２消費電力値と、前記第１回路内の各セルの接続関係を示す接続情報によって得られる前記第１回路内の各セルの間の配線の容量値と、に基づく、前記第１回路内の各セルの間の配線の容量値を算出することを特徴とする請求項２に記載の検証支援方法。
【請求項４】
前記第１回路内の各セルは、前記第１回路に含まれるクロックツリー回路と異なる回路内の各セルであって、前記第２回路内の各セルは、前記第２回路に含まれるクロックツリー回路と異なる回路内の各セルであることを特徴とする請求項１〜３のいずれか一つに記載の検証支援方法。
【請求項５】
前記コンピュータが、
前記第２回路に含まれるクロックツリー回路内の各セルの端子を示す端子情報によって得られる前記第２回路に含まれるクロックツリー回路内の各セルの端子の容量値を取得し、
前記第１回路に含まれるクロックツリー回路内の各セルの端子を示す端子情報によって得られる前記第１回路に含まれるクロックツリー回路内の各セルの端子の容量値を取得し、
取得した各容量値に基づく前記第１回路に含まれるクロックツリー回路内の各セルの間の配線の容量値を算出する、
処理を実行することを特徴とする請求項４に記載の検証支援方法。
【請求項６】
前記コンピュータが、
取得した前記第２回路に含まれるクロックツリー回路内の各セルの間の配線の容量値と、取得した前記第２回路に含まれるクロックツリー回路内の各セルの端子の容量値と、の比率に基づく補正値を算出する、
処理を実行し、
前記第１回路に含まれるクロックツリー回路内の各セルの間の配線の容量値を算出する処理では、算出した前記補正値と、取得した前記第１回路に含まれるクロックツリー回路内の各セルの端子の容量値と、に基づく前記第１回路に含まれるクロックツリー回路内の各セルの間の配線の容量値を算出することを特徴とする請求項５に記載の検証支援方法。
【請求項７】
前記コンピュータが、
前記第２回路に含まれるクロックツリー回路のうちのリピータバッファを示すセル情報によって得られる前記第２回路に含まれるクロックツリー回路のうちのリピータバッファの消費電力値を取得し、
前記第２回路に含まれるクロックツリー回路のうちのリピータバッファの間の配線を示す配線情報によって得られる前記第２回路に含まれるクロックツリー回路のうちのリピータバッファの消費電力値を取得し、
前記第１回路に含まれるクロックツリー回路内の各セルの端子を示す端子情報によって得られる前記第１回路に含まれるクロックツリー回路内の各セルの端子の容量値を取得し、
取得した前記第１回路に含まれるクロックツリー回路内の各セルの間の配線の容量値と、取得した前記第１回路に含まれるクロックツリー回路内の各セルの端子の容量値と、に基づいて、前記第１回路に含まれるクロックツリー回路内の各セルの間の配線および前記各セルの端子の消費電力値を算出し、
取得した前記第２回路内の各セルの間の配線の容量値のうち、前記第２回路に含まれるクロックツリー回路のうちのリピータバッファと異なる回路内の各セルの間の配線の容量値と、取得した前記第２回路内の各セルの端子の容量値のうち、前記第２回路に含まれるクロックツリー回路のうちのリピータバッファと異なる回路内の各セルの端子の容量値と、によって、算出した前記消費電力値を補正する、
処理を実行することを特徴とする請求項４に記載の検証支援方法。
【請求項８】
コンピュータが、
検証対象の第１回路の少なくとも一部の特性が同一である第２回路であって、前記第１回路と異なる第２回路内の各セルの間の配線を示す配線情報によって得られる前記第２回路内の各セルの間の配線の容量値を取得し、
前記第２回路内の各セルの端子を示す端子情報によって得られる前記第２回路内の各セルの端子の容量値を取得し、
前記第１回路内の各セルの端子を示す端子情報によって得られる前記第１回路内の各セルの端子の容量値を取得し、
取得した各容量値に基づく前記第１回路内の各セルの間の配線の容量値を算出する、
処理を実行することを特徴とする検証支援方法。
【請求項９】
前記第１回路内の各セルは、前記第１回路内のクロックツリー回路内の各セルであって、前記第２回路内の各セルは、前記第２回路内のクロックツリー回路内の各セルであることを特徴とする請求項８に記載の検証支援方法。
【請求項１０】
コンピュータが、
検証対象の第１回路の少なくとも一部の特性が同一である第２回路であって、前記第１回路と異なる第２回路に含まれるクロックツリー回路のうちのリピータバッファと異なる回路内の各セルの間の配線の第１容量値を取得し、
前記第２回路に含まれるクロックツリー回路のうちのリピータバッファと異なる回路内の各セルの端子の第２容量値を取得し、
前記第２回路に含まれるクロックツリー回路のうちのリピータバッファを示すセル情報によって得られる前記第２回路に含まれるクロックツリー回路のうちのリピータバッファの第１消費電力値を取得し、
前記第２回路に含まれるクロックツリー回路のうちのリピータバッファの間の配線を示す配線情報によって得られる前記第２回路に含まれるクロックツリー回路のうちのリピータバッファの第２消費電力値を取得し、
前記第１回路内の各セルの接続関係を示す接続情報によって得られる前記第１回路内の各セルの間の配線の第３容量値を取得し、
前記第１回路に含まれるクロックツリー回路内の各セルの端子を示す端子情報によって得られる前記第１回路に含まれるクロックツリー回路内の各セルの端子の第４容量値を取得し、
取得した前記第３容量値と、取得した前記第４容量値と、に基づいて、前記第１回路に含まれるクロックツリー回路内の各セルの間の配線および前記各セルの端子の第３消費電力値を算出し、
算出した前記第３消費電力値を、取得した前記第１容量値と、取得した前記第２容量値と、取得した前記第１消費電力値と、前記第２消費電力値と、に基づいて補正する、
処理を実行することを特徴とする検証支援方法。
【請求項１１】
コンピュータに、
検証対象の第１回路の少なくとも一部の特性が同一である第２回路であって、前記第１回路と異なる第２回路内の各セルの間の配線を示す配線情報によって得られる前記第２回路内の各セルの間の配線の容量値を取得し、
前記第２回路内の各セルの接続関係を示す接続情報によって得られる前記第２回路内の各セルの間の配線の容量値を取得し、
前記第１回路内の各セルの接続関係を示す接続情報によって得られる前記第１回路内の各セルの間の配線の容量値を取得し、
取得した各容量値に基づく前記第１回路内の各セルの間の配線の容量値を算出する、
処理を実行させることを特徴とする検証支援プログラム。
【請求項１２】
コンピュータに、
検証対象の第１回路の少なくとも一部の特性が同一である第２回路であって、前記第１回路と異なる第２回路内の各セルの間の配線を示す配線情報によって得られる前記第２回路内の各セルの間の配線の容量値を取得し、
前記第２回路内の各セルの端子を示す端子情報によって得られる前記第２回路内の各セルの端子の容量値を取得し、
前記第１回路内の各セルの端子を示す端子情報によって得られる前記第１回路内の各セルの端子の容量値を取得し、
取得した各容量値に基づく前記第１回路内の各セルの間の配線の容量値を算出する、
処理を実行させることを特徴とする検証支援プログラム。
【請求項１３】
コンピュータに、
検証対象の第１回路の少なくとも一部の特性が同一である第２回路であって、前記第１回路と異なる第２回路に含まれるクロックツリー回路のうちのリピータバッファと異なる回路内の各セルの間の配線の第１容量値を取得し、
前記第２回路に含まれるクロックツリー回路のうちのリピータバッファと異なる回路内の各セルの端子の第２容量値を取得し、
前記第２回路に含まれるクロックツリー回路のうちのリピータバッファを示すセル情報によって得られる前記第２回路に含まれるクロックツリー回路のうちのリピータバッファの第１消費電力値を取得し、
前記第２回路に含まれるクロックツリー回路のうちのリピータバッファの間の配線を示す配線情報によって得られる前記第２回路に含まれるクロックツリー回路のうちのリピータバッファの第２消費電力値を取得し、
前記第１回路内の各セルの接続関係を示す接続情報によって得られる前記第１回路内の各セルの間の配線の第３容量値を取得し、
前記第１回路に含まれるクロックツリー回路内の各セルの端子を示す端子情報によって得られる前記第１回路に含まれるクロックツリー回路内の各セルの端子の第４容量値を取得し、
取得した前記第３容量値と、取得した前記第４容量値と、に基づいて、前記第１回路に含まれるクロックツリー回路内の各セルの間の配線および前記各セルの端子の第３消費電力値を算出し、
算出した前記第３消費電力値を、取得した前記第１容量値と、取得した前記第２容量値と、取得した前記第１消費電力値と、前記第２消費電力値と、に基づいて補正する、
処理を実行させることを特徴とする検証支援プログラム。
【請求項１４】
検証対象の第１回路の少なくとも一部の特性が同一である第２回路であって、前記第１回路と異なる第２回路内の各セルの間の配線を示す配線情報によって得られる前記第２回路内の各セルの間の配線の容量値を取得し、
前記第２回路内の各セルの接続関係を示す接続情報によって得られる前記第２回路内の各セルの間の配線の容量値を取得し、
前記第１回路内の各セルの接続関係を示す接続情報によって得られる前記第１回路内の各セルの間の配線の容量値を取得し、
取得した各容量値に基づく前記第１回路内の各セルの間の配線の容量値を算出する、
制御部を有することを特徴とする検証支援装置。
【請求項１５】
検証対象の第１回路の少なくとも一部の特性が同一である第２回路であって、前記第１回路と異なる第２回路内の各セルの間の配線を示す配線情報によって得られる前記第２回路内の各セルの間の配線の容量値を取得し、
前記第２回路内の各セルの端子を示す端子情報によって得られる前記第２回路内の各セルの端子の容量値を取得し、
前記第１回路内の各セルの端子を示す端子情報によって得られる前記第１回路内の各セルの端子の容量値を取得し、
取得した各容量値に基づく前記第１回路内の各セルの間の配線の容量値を算出する、
制御部を有することを特徴とする検証支援装置。
【請求項１６】
検証対象の第１回路の少なくとも一部の特性が同一である第２回路であって、前記第１回路と異なる第２回路に含まれるクロックツリー回路のうちのリピータバッファと異なる回路内の各セルの間の配線の第１容量値を取得し、
前記第２回路に含まれるクロックツリー回路のうちのリピータバッファと異なる回路内の各セルの端子の第２容量値を取得し、
前記第２回路に含まれるクロックツリー回路のうちのリピータバッファを示すセル情報によって得られる前記第２回路に含まれるクロックツリー回路のうちのリピータバッファの第１消費電力値を取得し、
前記第２回路に含まれるクロックツリー回路のうちのリピータバッファの間の配線を示す配線情報によって得られる前記第２回路に含まれるクロックツリー回路のうちのリピータバッファの第２消費電力値を取得し、
前記第１回路内の各セルの接続関係を示す接続情報によって得られる前記第１回路内の各セルの間の配線の第３容量値を取得し、
前記第１回路に含まれるクロックツリー回路内の各セルの端子を示す端子情報によって得られる前記第１回路に含まれるクロックツリー回路内の各セルの端子の第４容量値を取得し、
取得した前記第３容量値と、取得した前記第４容量値と、に基づいて、前記第１回路に含まれるクロックツリー回路内の各セルの間の配線および前記各セルの端子の第３消費電力値を算出し、
算出した前記第３消費電力値を、取得した前記第１容量値と、取得した前記第２容量値と、取得した前記第１消費電力値と、前記第２消費電力値と、に基づいて補正する、
制御部を有することを特徴とする検証支援装置。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、検証支援方法、検証支援プログラム、および検証支援装置に関する。
【背景技術】
【０００２】
従来、物理設計前の回路のネットリストに基づいて回路の消費電力値を見積もる技術が公知である（例えば、以下特許文献１参照。）。
【０００３】
また、従来、物理設計前の回路内の各セルの接続関係を示すネットリストに基づいて、各セルの配線の容量値を推定する技術が公知である（例えば、以下非特許文献１〜３参照。）。また、従来、例えば、回路内の各セルの間の配線の容量値などによって回路内の消費電力値が見積もられる。
【０００４】
また、従来、回路に含まれる部分回路を伝搬される信号の単位時間当たりの変化回数の平均値に基づいて部分回路の消費電力値を算出する技術が公知である（例えば、以下特許文献２参照。）。
【先行技術文献】
【特許文献】
【０００５】
【特許文献１】特開２００９−７５９７０号公報
【特許文献２】特開２０１２−１０４０９１号公報
【非特許文献】
【０００６】
【非特許文献１】二階堂  輝、“論理合成と自動配置配線の融合，そのカラクリをここに公開”、［Ｏｎｌｉｎｅ］、［平成２６年１月１０日検索］、Ｄｅｓｉｇｎ  Ｗａｖｅ  Ｍａｇａｚｉｎｅ  ２０００  Ｍａｙ、インターネット＜ＵＲＬ：ｈｔｔｐ：／／ｗｗｗ．ｃｑｐｕｂ．ｃｏ．ｊｐ／ｄｗｍ／ｃｏｎｔｅｎｔｓ／００３０／ｄｗｍ００３００１０２０．ｐｄｆ＞
【非特許文献２】細田  浩希，島沢  貴美、“システムＬＳＩの論理合成から配置設計まで”、［Ｏｎｌｉｎｅ］、［平成２６年１月１０日検索］、Ｄｅｓｉｇｎ  Ｗａｖｅ  Ｍａｇａｚｉｎｅ  ２００２  Ａｕｇｕｓｔ、インターネット＜ＵＲＬ：ｈｔｔｐ：／／ｗｗｗ．ｃｑｐｕｂ．ｃｏ．ｊｐ／ｄｗｍ／ｃｏｎｔｅｎｔｓ／００５７／ｄｗｍ００５７００６６０．ｐｄｆ＞
【非特許文献３】［Ｏｎｌｉｎｅ］、［平成２６年１月１０日検索］、インターネット＜ＵＲＬ：ｈｔｔｐ：／／ｗｗｗ．ｃａｄｅｎｃｅ．ｃｏ．ｊｐ／ＲＴＬ／ｔｅｃｈｎｏｌｏｇｙ．ｈｔｍｌ＞
【発明の概要】
【発明が解決しようとする課題】
【０００７】
しかしながら、従来、物理設計後のレイアウトデータから得られる各セルの配線の容量値に比べて、物理設計前のネットリストから推定された各セルの配線の容量値は誤差が大きい場合がある。この場合、物理設計前のネットリストから推定された配線の容量値に基づいて見積もった回路の消費電力値の精度が低いという問題点がある。
【０００８】
１つの側面では、本発明は、物理設計前の回路の消費電力値の見積精度の向上を図ることができる検証支援方法、検証支援プログラム、および検証支援装置を提供することを目的とする。
【課題を解決するための手段】
【０００９】
本発明の一側面によれば、検証対象の第１回路の少なくとも一部の特性が同一である第２回路であって、前記第１回路と異なる第２回路内の各セルの間の配線を示す配線情報によって得られる前記第２回路内の各セルの間の配線の容量値を取得し、前記第２回路内の各セルの接続関係を示す接続情報によって得られる前記第２回路内の各セルの間の配線の容量値を取得し、前記第１回路内の各セルの接続関係を示す接続情報によって得られる前記第１回路内の各セルの間の配線の容量値を取得し、取得した各容量値に基づく前記第１回路内の各セルの間の配線の容量値を算出する検証支援方法、検証支援プログラム、および検証支援装置が提案される。
【発明の効果】
【００１０】
本発明の一態様によれば、物理設計前の回路の消費電力値の見積精度の向上を図ることができる。
【図面の簡単な説明】
【００１１】
【図１】図１は、本発明にかかる検証支援装置による一動作例を示す説明図である。
【図２】図２は、クロックツリー部分についてのファンアウト数と配線容量との相関関係を示す説明図である。
【図３】図３は、精度比較表を示す説明図である。
【図４】図４は、ネットリストの区分を示す説明図である。
【図５】図５は、回路分類例を示す説明図である。
【図６】図６は、生成される電力モデルの分類例を示す説明図である。
【図７】図７は、実施の形態にかかる検証支援装置のハードウェア構成例を示すブロック図である。
【図８】図８は、検証支援装置の機能的構成例を示すブロック図である。
【図９】図９は、基礎データ例１を示す説明図である。
【図１０】図１０は、基礎データ例２を示す説明図である。
【図１１】図１１は、電力見積結果のフォーマット例を示す説明図である。
【図１２】図１２は、ｔｙｐｅ１の各パラメータの適用例を示す説明図である。
【図１３】図１３は、ｔｙｐｅ１における期待値と見積結果との比較例を示す説明図である。
【図１４】図１４は、ｔｙｐｅ２における期待値と見積結果との比較例を示す説明図である。
【図１５】図１５は、ｔｙｐｅ１およびｔｙｐｅ２における期待値と見積結果との比較例を示す説明図である。
【図１６】図１６は、スケルトンデータ例を示す説明図である。
【図１７】図１７は、配線容量と端子容量との相関例と線形解析結果例を示す説明図である。
【図１８】図１８は、ｔｙｐｅ３の各パラメータの適用例を示す説明図である。
【図１９】図１９は、クロックツリー回路内の配線をｉｄｅａｌネットとした場合の電力見積例を示す説明図である。
【図２０】図２０は、ｔｙｐｅ３によって算出された内部電力およびネット電力例を示す説明図である。
【図２１】図２１は、図２０を反映した内部電力およびネット電力例を示す説明図である。
【図２２】図２２は、物理設計後データによる内部電力およびネット電力例を示す説明図である。
【図２３】図２３は、検証支援装置による検証支援処理手順例を示すフローチャートである。
【図２４】図２４は、図２３に示した電力モデル生成処理の詳細な説明を示すフローチャートである。
【図２５】図２５は、ｔｙｐｅ１のＭｅｔｈｏｄ１による電力モデル算出処理の詳細な説明を示すフローチャートである。
【図２６】図２６は、ｔｙｐｅ１のＭｅｔｈｏｄ２による電力モデル算出処理の詳細な説明を示すフローチャートである。
【図２７】図２７は、ｔｙｐｅ２についての電力モデル算出処理の詳細な説明を示すフローチャートである。
【図２８】図２８は、ｔｙｐｅ３についての第２電力見積処理による基礎データの生成手順例を示すフローチャートである。
【図２９】図２９は、図２８に示す番号付与処理の詳細な説明を示すフローチャートである。
【図３０】図３０は、ｔｙｐｅ３についての電力モデル算出処理の詳細な説明を示すフローチャートである。
【図３１】図３１は、図２３に示した電力見積処理の詳細な説明を示すフローチャートである。
【発明を実施するための形態】
【００１２】
以下に添付図面を参照して、本発明にかかる検証支援方法、検証支援プログラム、および検証支援装置の実施の形態を詳細に説明する。
【００１３】
図１は、本発明にかかる検証支援装置による一動作例を示す説明図である。検証支援装置１００は、検証対象の第１回路の電力見積を支援するコンピュータである。第１回路は、検証対象の回路である。検証支援装置１００は、検証対象の第１回路と異なる第２回路内の各セルの間の配線を示す配線情報によって得られる第２回路内の各セルの間の配線の容量値を取得する。第２回路は、検証対象の第１回路の少なくとも一部の特性が同一の回路であり、過去品種の回路である。一部の特性が同一であるとは、例えば、検証対象の回路と、利用する半導体プロセス技術などが同じ回路、機能が同じ回路、動作周波数が同程度な回路など挙げられる。回路の機能が異なっていたとしても、例えばクロックのタイミングにあうようにセルをレイアウトしていくため、動作周波数などが同じであればパラメータが流用可能な可能性がある。ただし、ここでは一例として動作周波数が同程度な製品や半導体プロセス技術が同じ製品などを過去品種として挙げたが、パラメータは多数あるため、過去品種として利用する製品はこれらに限定しない。ここで、図１の例では、第１回路は品種Ｂの回路とし、第２回路は品種Ａの回路とする。配線情報については、例えば、図１に示す品種Ａ物理設計後設計データ１０１に含まれる。また、品種Ａの回路内の各セルの間の配線の容量値は、図１に示す実容量データ１０３に含まれる。また、本実施の形態における各情報の取得形式としては、例えば、検証支援装置１００は、記憶部に記憶された情報を読み出してもよいし、利用者から入力装置を介して情報の入力を受け付けてもよい、他の装置からネットワークを介して取得してもよい。また、検証支援装置１００は、他の情報に基づいて取得対象の情報を算出することによって取得してもよい。
【００１４】
つぎに、検証支援装置１００は、品種Ａの回路内の各セルの接続関係を示す接続情報によって得られる品種Ａの回路内の各セルの間の配線の容量値を取得する。品種Ａの回路内の各セルの接続関係を示す接続情報については、品種Ａ物理設計後設計データ１０１に含まれる。品種Ａの回路内の各セルの間の配線の容量値は、実容量データ１０３に含まれる。
【００１５】
つぎに、検証支援装置１００は、品種Ｂの回路内の各セルの接続関係を示す接続情報によって得られる品種Ｂの回路内の各セルの間の配線の容量値を取得する。品種Ｂの回路内の各セルの接続関係を示す接続情報は、品種Ｂ物理設計前ネットリスト１１１に含まれる。品種Ｂの回路内の各セルの間の配線の容量値は、品種Ｂ容量推定モデル１１２に含まれる。品種Ｂ容量推定モデル１１２は、ＷＬＭやＰＬＥで計算された結果などである。そして、検証支援装置１００は、取得した各容量値に基づく前記品種Ｂの回路内の各セルの間の配線の容量値を算出する。
【００１６】
また、検証支援装置１００は、品種Ａの回路内の各セルの端子を示す端子情報によって得られる品種Ａの回路内の各セルの端子の容量値を取得する。端子情報については、テクノロジーライブラリ１０２などに含まれる。また、端子の容量値は、テクノロジーライブラリ１０２に含まれる。また、実容量データ１０３には、配線の容量値が含まれる。  
【００１７】
そして、検証支援装置１００は、配線情報によって得られる品種Ａの回路内の各セルの間の配線の容量値と取得した品種Ａの回路内の各セルの端子の容量値と、に基づく品種Ａの回路の各セル間の配線および各セルの端子の第１消費電力値を算出する。具体的に、例えば検証支援装置１００は、品種Ａ物理設計後設計データ１０１と実容量データ１０３とに基づき第１消費電力値を算出する。図１の例では、第１消費電力値は第１電力見積結果１０５に含まれる。
【００１８】
つぎに、検証支援装置１００は、接続情報によって得られる品種Ａの回路内の各セルの間の配線の容量値と、取得した品種Ａの回路内の各セルの端子の容量値と、に基づく品種Ａの回路の各セル間の配線および各セルの端子の第２消費電力値を算出する。具体的に、例えば検証支援装置１００は、品種Ａ物理設計後設計データ１０１と品種Ａ容量推定モデル１０４とに基づき第２消費電力値を算出する。図１の例では、第２消費電力値は第２電力見積結果１０６に含まれる。
【００１９】
また、検証支援装置１００は、品種Ｂの回路内の各セルの端子を示す端子情報によって得られる品種Ｂの回路内の各セルの端子の容量値を取得する。品種Ｂの回路内の各セルの端子を示す端子情報は、例えば、テクノロジーライブラリ１０２に含まれる。
【００２０】
そして、検証支援装置１００は、第１消費電力値と、第２消費電力値と、品種Ｂの回路内の各セルの接続関係を示す接続情報によって得られる品種Ｂの回路内の各セルの間の配線の容量値と、に基づく、品種Ｂの回路内の各セルの間の配線の容量値を算出する。図１の例では、検証支援装置１００は、第１消費電力値と第２消費電力値との比率を補正の係数１０７として算出する。そして、例えば、検証支援装置１００は、品種Ｂの回路内の各セルの接続関係を示す接続情報によって得られる品種Ｂの回路内の各セルの間の配線の容量値に、算出した係数１０７を乗算することによって補正する。
【００２１】
そして、検証支援装置１００は、補正した配線の容量値に基づいて品種Ｂの回路内の各セルの間の配線および各セルの端子の消費電力値を算出する。算出結果が電力見積結果１１３である。
【００２２】
このように、過去品種によって得られた実容量値データと品種Ａ容量推定モデル１０４との違いによって、あらたな品種の配線の容量値を補正することにより、あらたな品種の消費電力量の見積精度の向上を図ることができる。
【００２３】
また、図１に示す例では、品種Ｂの回路内の各セルとは、品種Ｂの回路に含まれるクロックツリー回路と異なる回路内の各セルであって、品種Ａの回路内の各セルは、品種Ａの回路に含まれるクロックツリー回路と異なる回路内の各セルである。
【００２４】
ここで、電力見積について簡単に説明する。電力見積は、動的電力と静的電力との見積に分けられる。動的電力は、（１）見積の対象回路を示すネットリストデータと、（２）トグルレートＴｒiと、（３）セルｔの内部電力係数Ｅtと、（４）セルｔの入力端子ｊの容量値ＰＣjtと、（５）配線容量Ｎｃiと、によって算出される。
【００２５】
トグルレートＴｒiは、セルｔのインスタンスｉの出力端子の単位時間当たりの信号変化回数である。セルｔの内部電力係数Ｅtは、電圧値がＶである時の１トグル当たりの消費電力値であり、テクノロジーライブラリなどに記述されてある。テクノロジーライブラリとは、例えば所定の半導体プロセス技術に関するパラメータなどを含む情報である。セルｔの入力端子ｊの容量値ＰＣjtは、ピン容量であり、テクノロジーライブラリなどに記述されてある。配線容量Ｎｃiは、セルｔのインスタンスｉの出力が駆動する配線の容量である。
【００２６】
動的電力は、内部電力とネット電力とに分けられる。検証支援装置１００は、セルｔのインスタンスｉの内部電力ＩｎｔｅｒｎａｌＰｏｗｅｒiを以下式（１）によって算出する。
【００２７】
ＩｎｔｅｒｎａｌＰｏｗｅｒi＝Ｅt×Ｔｒi・・・（１）
【００２８】
また、検証支援装置１００は、ネット電力を算出するために、セルのインスタンスｉの出力端子と接続された配線のネット容量ＮｅｔＣａｐiを以下式（２）および式（３）によって算出する。
【００２９】
ＰＣi＝Σｐ∈｛ｘ：ｘはセルのインスタンスｉの出力端子と結線された入力端子｝ｐ・・・（２）
ＮｅｔＣａｐi＝Ｎｃi＋ＰＣi・・・（３）
【００３０】
また、検証支援装置１００は、電圧をＶとして、セルのインスタンスｉの出力端子と結線された配線のネット電力ＮｅｔＰｏｗｅｒiを以下式（４）によって算出する。
【００３１】
ＮｅｔＰｏｗｅｒi＝（１／２）×ＮｅｔＣａｐi×Ｖ2×Ｔｒi・・・（４）
【００３２】
また、現在、デジタル回路設計で用いられる設計方法は、同期設計である。同期設計によって設計されたデジタル回路では、フリップフロップやＲＡＭなどの記憶素子である順序回路素子に定期的に値を保持することによって演算が進められる。順序回路素子に値を保持する契機となるクロック信号は、フリップフロップやＲＡＭにクロックツリーと呼ばれる回路によって供給される。例えば、クロック信号の立ち上がりエッジのタイミングまたは立ち下がりエッジのタイミングにおいて順序回路素子に値が保持される。
【００３３】
また、同期設計では、順序回路素子に値を保持するタイミングを同期させる設計方法であるため、クロックツリーは、ツリーの末端でのクロック信号の変化のタイミングが同期するように設計が行われる。このようなクロックツリーを設計するためには、クロックツリー合成とよばれる特別な処理が行われる。クロックツリー合成は、配置配線などの物理設計の一部として行われる。
【００３４】
一方、順序回路素子間に配置される組合せ回路要素はクロック信号に同期しないため、ここでは、例えば組合せ回路要素を非クロックツリーと称する。このように、本実施の形態では、各制約条件が異なるため、同期設計された対象回路をクロックツリーと非クロックツリーとに大別する。
【００３５】
また、電力見積の精度が重要な場合、物理設計後の設計データを用いる。物理設計後であれば、クロックツリー合成が完了しているため、正確なクロックツリーの形状が得られ、レイアウトが完了しているため正確な配線容量の値が判別可能である。また、検証支援装置１００は、物理設計後の設計データがある場合、該設計データからＶｅｒｉｌｏｇなどのネットリストと、容量ファイルＳＰＥＦと、を抽出して計算を行う。ここでは、物理設計後の設計データから抽出されたネットリストをレイアウト済みネットリストと称する。また、ここでは、物理設計の入力となるネットリストをレイアウト前ネットリストと称する。物理設計が完了するのは、ＬＳＩの設計フローにおいて終盤であるため、電力見積値が確定する時期が遅い。そのため、物理設計前に電力見積を行いたい。そこで、本実施の形態では、クロックツリーに関するパラメータの補正と、配線容量の補正と、を行う。
【００３６】
例えば、ＷＬＭは、「ファンアウト数と配線容量とは比例する」と仮定し、ファンアウト数×定数によって配線容量を算出する技術である。
【００３７】
図２は、クロックツリー部分についてのファンアウト数と配線容量との相関関係を示す説明図である。決定係数は０．２であり、ファンアウト数と配線容量との相関はあまり強くない。
【００３８】
図３は、精度比較を示す説明図である。この比較では、配線容量の取得方法の違いによる精度の差を示す。このため、ネットリストは、同じレイアウト済みネットリストを使用した。テーブル３００に、ＷＬＭとＰＬＥとの各々を使った電力見積結果と、物理設計後の設計データに基づく配線容量を反映した場合の電力見積結果と、電力見積結果の精度比較と、を示す。この表では、容量データ、内部電力の合計値、ネット電力の合計値、２つの合計値のフィールドを有する。
【００３９】
前述のとおり、図３では、物理設計後の設計データから抽出される、レイアウト済みネットリストを用いている。このため、容量が、物理設計後の設計データから抽出された実容量値データか、ＷＬＭとＰＬＥなどの容量モデルから求められるものか、が異なる。つまり、容量以外のデータは同じである。また、物理設計後の設計データから抽出した配線容量値は、ＳＰＥＦと呼ばれるフォーマットによって記述されるため、テーブル３００においてクロックツリー合成終了後の設計データに基づく容量データをＳＰＥＦと示す。
【００４０】
ＷＬＭ／ＳＰＥＦは「ＷＬＭによって見積もった消費電力値／ＳＰＥＦによって見積もった消費電力値」を示す。ＰＬＥ／ＳＰＥＦは「ＰＬＥによって見積もった消費電力値／ＳＰＥＦによって見積もった消費電力値」を示す。例えばテーブル３００に示すように、ネット容量の合計値については、ＷＬＭとＰＬＥのいずれも５０［％］以上の誤差がある。
【００４１】
以上説明したように、容量推定モデルを用いた電力見積は精度が低いという問題点がある。そこで、図１で説明したように、本実施の形態では、検証対象の第１回路と異なる物理設計後の第２回路内の配線の実容量値と該第２回路内の配線又は端子の推定容量値とにより、第１回路内の配線の容量値を算出する。これにより、物理設計前の第１回路の電力見積の精度の向上を図ることができる。
【００４２】
また、設計者や検証者などの利用者は、対象回路の消費電力値を、セル単位で把握せずに、対象回路内の主要な回路ブロック単位で把握する。主要な回路ブロック単位での消費電力値は、回路ブロックに含まれるセルの消費電力値の合計値である。例えば、合計値は「平均値×セルの個数」によって算出可能であり、セルの個数は与えられるものであるため、精度のよい合計値を得るためには、平均値の精度がよければよい。従来の容量推定モデルはセルごとに推定するしくみである。
【００４３】
そこで、本実施の形態では、前述の、電力見積における容量と精度に関する考察を踏まえて、配線容量の平均値を改善するアプローチをとる。配線容量は配置配線によって決まる。配置配線はＥＤＡツールが決める。したがって、平均値には、ＥＤＡツールの性質（テクノロジやクロック周波数などのＥＤＡツールの挙動に影響するパラメータを含む）が反映される。つまり、極論すれば、同じＥＤＡツールであれば、多数のセルがあるので、平均値は、大数の法則に従い、同程度になることが期待できる。したがって、品種Ａから平均値に関する係数を抽出し、この係数を、品種Ｂの平均値の補正に利用すれば、ＥＤＡツールの傾向を反映することができる。本実施の形態では、このような係数値の算出を行う。このような係数は、回路の性質に依存する。そこで、回路の性質で分類することが望ましい。本実施の形態では、検証支援装置１００は、クロックツリーに含まれるものと含まれないものに分けて、係数を求める。また、本実施の形態では、例えば、Ｃａｄｅｎｃｅ社のＲＴＬＣｏｍｐｉｌｅｒなどの電力見積ツールの機能に沿った仕組みとしているが、これに限らない。
【００４４】
図４は、ネットリストの区分を示す説明図である。テーブル４００に示すように、ネットリストには、大別して、例えば、物理設計前ネットリスト（前述のレイアウト前ネットリスト）と、クロックツリー合成後ネットリストと、物理設計後ネットリスト（前述のレイアウト後ネットリスト）と、がある。各ネットリストは、Ｖｅｒｉｌｏｇ  ＨＤＬ（Ｈａｒｄｗａｒｅ  Ｄｅｓｃｒｉｐｔｉｏｎ  Ｌａｎｇｕａｇｅ）などのハードウェア記述言語によって記述された情報である。
【００４５】
また、テーブル４００に示すように、物理設計前ネットリストについては、クロックツリー合成が未実施であり、配線のネット容量は推定モデルによって算出された値である。クロックツリー合成後ネットリストについては、クロックツリー合成が実施されてあり、配線のネット容量は、推定モデルによって算出された値である。物理設計後ネットリストについては、クロックツリー合成が実施されてあり、配線のネット容量は抽出データである。ここで、注意してほしいのは、図３では、容量値の取得方法の差を調べるため、同一の物理設計後ネットリスト（クロックツリー合成は「実施」）を使って、推定モデル利用した場合と抽出データ利用した場合の電力見積結果を示している点である。抽出データを利用するほうが推定モデルを利用するよりも精度がよいので、通例、物理設計後ネットリストを使った電力見積する場合、抽出データが用いられる。図３のように、物理設計後ネットリストに対しても、容量推定モデルを適用することは可能なので、この点には注意してほしい。
【００４６】
図５は、回路分類例を示す説明図である。本実施の形態では、上述したように、対象回路に含まれる各回路は、非クロックツリー回路と、クロックツリー回路と、に区別される。
【００４７】
図６は、生成される電力モデルの分類例を示す説明図である。本実施の形態では、ｔｙｐｅ１〜３の電力モデルが生成される。例えば、物理設計前ネットリストが対象となった場合、クロックツリー回路に関するクロックツリーモデルとしてｔｙｐｅ３の電力モデルが生成され、非クロックツリー回路に関する非クロックツリーモデルとしてｔｙｐｅ１の電力モデルが生成される。例えば、クロックツリー合成後ネットリストが対象となった場合、クロックツリー回路に関するクロックツリーモデルとしてｔｙｐｅ２の電力モデルが生成され、非クロックツリー回路に関する非クロックツリーモデルとしてｔｙｐｅ１の電力モデルが生成される。
【００４８】
（検証支援装置１００のハードウェア構成例）
図７は、実施の形態にかかる検証支援装置のハードウェア構成例を示すブロック図である。図７において、検証支援装置１００は、ＣＰＵ（Ｃｅｎｔｒａｌ  Ｐｒｏｃｅｓｓｉｎｇ  Ｕｎｉｔ）７０１と、ＲＯＭ（Ｒｅａｄ  Ｏｎｌｙ  Ｍｅｍｏｒｙ）７０２と、ＲＡＭ（Ｒａｎｄｏｍ  Ａｃｃｅｓｓ  Ｍｅｍｏｒｙ）７０３と、ディスクドライブ７０４と、ディスク７０５と、を有している。検証支援装置１００は、Ｉ／Ｆ（Ｉｎｔｅｒ／Ｆａｃｅ）７０６と、入力装置７０７と、出力装置７０８と、を有する。また、各部はバス７０９によってそれぞれ接続されている。
【００４９】
ここで、ＣＰＵ７０１は、検証支援装置１００の全体の制御を司る。ＲＯＭ７０２は、ブートプログラムなどのプログラムを記憶している。ＲＡＭ７０３は、ＣＰＵ７０１のワークエリアとして使用される。ディスクドライブ７０４は、ＣＰＵ７０１の制御にしたがってディスク７０５に対するデータのリード／ライトを制御する。ディスク７０５は、ディスクドライブ７０４の制御で書き込まれたデータを記憶する。ディスク７０５としては、磁気ディスク、光ディスクなどが挙げられる。
【００５０】
Ｉ／Ｆ７０６は、通信回線を通じてＬＡＮ（Ｌｏｃａｌ  Ａｒｅａ  Ｎｅｔｗｏｒｋ）、ＷＡＮ（Ｗｉｄｅ  Ａｒｅａ  Ｎｅｔｗｏｒｋ）、インターネットなどのネットワークＮＥＴに接続され、このネットワークＮＥＴを介して他の装置に接続される。そして、Ｉ／Ｆ７０６は、ネットワークＮＥＴと内部のインターフェースを司り、外部装置からのデータの入出力を制御する。Ｉ／Ｆ７０６には、例えばモデムやＬＡＮアダプタなどを採用することができる。
【００５１】
入力装置７０７は、キーボード、マウス、タッチパネルなど利用者の操作により、各種データの入力を行うインターフェースである。また、入力装置７０７は、カメラから画像や動画を取り込むこともできる。また、入力装置７０７は、マイクから音声を取り込むこともできる。出力装置７０８は、ＣＰＵ７０１の指示により、データを出力するインターフェースである。出力装置７０８には、ディスプレイやプリンタが挙げられる。
【００５２】
（検証支援装置１００の機能的構成例）
図８は、検証支援装置の機能的構成例を示すブロック図である。検証支援装置１００は、制御部８０１と、記憶部８０２と、を含む。記憶部８０２は、例えば、ＲＡＭ７０３、ディスク７０５などによって実現される。制御部８０１の処理は、例えば、ＣＰＵ７０１がアクセス可能な記憶部８０２に記憶された検証支援プログラムにコーディングされている。そして、ＣＰＵ７０１が記憶部８０２から検証支援プログラムを読み出して、検証支援プログラムにコーディングされている処理を実行する。これにより、各部の処理が実現される。また、各部の処理結果は、例えば、記憶部８０２に記憶される。
【００５３】
制御部８０１は、補正用の各係数を算出し、算出した各係数によって検証対象回路の容量値を補正する。例えば、制御部８０１は、電力モデル生成部８１１と、電力見積部８１２と、を有する。
【００５４】
ここでは、過去品種を品種Ａとし、検証対象の品種を品種Ｂとする。まず、例えば、電力モデル生成部８１１は、品種Ａ物理設計済み設計データ８２１と、品種ＡＳＤＣファイル８２４と、品種Ａトグルレートデータ８２５と、を取得する。品種ＡＳＤＣファイル８２４は、対象回路のタイミング制約などが記述されてあるため、クロックツリー回路の起点になる端子を示す端子情報などが含まれる。端子情報は、セルのインスタンス名とセルの端子名などによって表される。
【００５５】
つぎに、例えば、電力モデル生成部８１１は、品種Ａ物理設計済み設計データ８２１から品種Ａ物理設計後ネットリスト８２２と、品種Ａ実容量ファイル８２３を抽出する。
【００５６】
そして、例えば、電力モデル生成部８１１は、品種ＡＳＤＣファイル８２４が示すクロックツリー回路の起点になる端子に基づいて、品種Ａ物理設計後ネットリスト８２２が示す品種Ａの回路内の各部分回路を、クロックツリー回路と非クロックツリー回路とに区別する。
【００５７】
つぎに、電力モデル生成部８１１は、クロックツリー回路と非クロックツリー回路との各々について、実容量ファイルに基づいてネット電力の合計値を算出する。ここで、実容量ファイルに基づいてネット電力の合計値を算出する処理を第１電力見積処理とする。例えば、電力モデル生成部８１１は、ネット電力の合計値を上述した式（１）に基づいて算出可能である。ここでは、実容量ファイルに基づく電力見積結果をＲ１とする。電力モデル生成部８１１は、クロックツリー回路と非クロックツリー回路との各々について、容量の推定モデルに基づくネット電力の合計値を算出する。推定モデルとしては、上述したようにＷＬＭとＰＬＥとがあるが、特に限定しない。ここで、推定モデルに基づくネット電力の合計値を算出する処理を第２電力見積処理とする。例えば、電力モデル生成部８１１は、推定モデルに基づく上述した式（１）に基づいて、算出可能である。ここでは、推定モデルに基づく電力見積結果をＲ２とする。
【００５８】
図９は、基礎データ例１を示す説明図である。基礎データ９００は、品種Ａの回路に含まれるセルのインスタンスの出力端子ごとに、ネット容量のうちの配線容量と、ネット容量のうちの端子容量と、ネット電力と、を表す。基礎データ９００は、後述するｔｙｐｅ１とｔｙｐｅ２のモデル作成時に用いられる。例えば、基礎データ９００は、ＩＤ、配線容量、端子容量、ネット電力のフィールドを有する。各フィールドに情報が設定されることにより、レコード（９００−１など）として記憶される。基礎データ９００は、例えば、記憶部８０２に記憶される。
【００５９】
ＩＤのフィールドには、品種Ａの回路に含まれるセルのインスタンスの出力端子を示す識別情報が設定される。また、例えば、ＩＤのフィールドに負の値が設定されている場合、非クロックツリー回路内のセルのインスタンスの出力端子であることを示す。例えば、ＩＤのフィールドに正の値が設定されている場合、クロックツリー回路内のセルのインスタンスの出力端子であることを示す。ネット容量のフィールドには、セルのインスタンスの出力端子に接続される配線容量が設定される。端子容量のフィールドには、セルのインスタンスの出力端子に接続されるセルの入力端子の容量である端子容量が設定される。ネット電力のフィールドには、ネット容量と端子容量との合計値に基づいて算出されたセルのインスタンスに接続される配線の消費電力値が設定される。例えば、配線容量と端子容量との合計値は、ネット容量である。なお、ＩＤ番号の付与方法の一例は後述する。
【００６０】
図１０は、基礎データ例２を示す説明図である。基礎データ１０００は、品種Ａの回路に含まれるクロックツリー回路内のセルのインスタンスの出力端子ごとに、端子容量と、配線容量と、を示す。例えば、基礎データ１０００は、後述するｔｙｐｅ３のモデル作成時に用いられる。例えば、基礎データ１０００は、ＩＤ、端子容量（合計）、端子容量（ＦＦ）、端子容量（非ＦＦ／リピータ）、端子容量（非ＦＦ／非リピータ）、配線容量、接続ＦＦ数、接続リピータ数、接続非リピータ数のフィールドを有する。各フィールドに情報が設定されることにより、レコード（１０００−１など）として記憶される。基礎データ１０００は、例えば、記憶部８０２に記憶される。
【００６１】
ＩＤのフィールドには、品種Ａの回路に含まれるクロックツリー回路内のセルのインスタンスの出力端子を示す識別情報が設定される。端子容量（合計）のフィールドには、クロックツリー回路内のセルのインスタンスの出力端子の端子容量が設定される。また、各出力端子が、セルがＦＦであるか、非ＦＦ／リピータであるか、非ＦＦ／非リピータであるかを区別するために、基礎データ１０００には、端子容量（ＦＦ）と、端子容量（非ＦＦ／リピータ）と、端子容量（非ＦＦ／非リピータ）と、の３つのフィールドがある。配線容量のフィールドには、セルのインスタンスの出力端子に接続される配線の容量値が設定される。接続ＦＦ数のフィールドには、セルのインスタンスの出力端子に接続されるＦＦの数が設定される。接続リピータ数のフィールドには、セルのインスタンスの出力端子に接続されるリピータの数が設定される。接続非リピータ数のフィールドには、セルのインスタンスの出力端子に接続される非リピータの数が設定される。また、基礎データ１０００の詳細な生成例については後述する。
【００６２】
図１１は、電力見積結果のフォーマット例を示す説明図である。図１１には、上述した電力見積結果Ｒ１と電力見積結果Ｒ２との出力フォーマット例を示す。電力見積結果１１００には、部分回路ごとに、内部電力と、ネット電力と、合計の消費電力と、などが記述される。
【００６３】
ここで、本実施の形態では、クロックツリー合成後のネットリストに基づくクロックツリー回路と、クロックツリー合成前のネットリストに基づくクロックツリー回路と、非クロックツリー回路と、に区別して、モデル生成処理と電力見積処理とを説明する。ｔｙｐｅ１では、非クロックツリー回路に対するモデル生成処理および電力見積処理について説明する。ｔｙｐｅ２では、クロックツリー合成後のネットリストに基づくクロックツリー回路に対するモデル生成処理および電力見積処理について説明する。ｔｙｐｅ３では、クロックツリー合成前のネットリストに基づくクロックツリー回路に対するモデル生成処理および電力見積処理について説明する。
【００６４】
（ｔｙｐｅ１）
まず、非クロックツリー回路に対するモデル生成処理および電力見積処理について説明する。制御部８０１は、品種Ｂの回路に含まれる非クロックツリー回路内のセルの配線容量を算出する。例えば、制御部８０１は、以下式（５）によって品種Ｂの回路内の非クロックツリー回路の配線容量を算出する。ＮＣiInferは、品種Ｂ物理設計前ネットリスト１０００によって得られる品種Ｂの回路内の非クロックツリー回路のセルの配線の推定の容量値である。
【００６５】
ＮＣi’＝Ｃｏｅｆｆtype1×ＮＣiInfer・・・（５）
【００６６】
ここでは、電力モデル生成部８１１が品種Ａの回路に関するデータに基づいて係数Ｃｏｅｆｆtype1を算出する。電力見積部８１係数Ｃｏｅｆｆtype1に基づいて品種Ｂの回路内の非クロックツリー回路の配線の容量ＮＣi’を算出する。つぎに、具体的な詳細例について説明する。ここでは、係数Ｃｏｅｆｆtype1の算出方法として、Ｍｅｔｈｏｄ１とＭｅｔｈｏｄ２との２つの方法を例に挙げる。
Ｍｅｔｈｏｄ１：電力見積結果Ｒ１と電力見積結果Ｒ２との両方を使って算出する方法
Ｍｅｔｈｏｄ２：電力見積結果Ｒ１と電力見積結果Ｒ２との各々について非クロックツリー回路の配線容量の合計値を求めて算出する方法
【００６７】
＜Ｍｅｔｈｏｄ１＞
例えば、品種Ａ物理設計後ネットリスト８２２に記述されたセルのインスタンス集合を以下のように定義する。ここでの品種Ａ物理設計後ネットリスト８２２に記述されたセルとは対象回路に含まれる非クロックツリー回路内のセルである。
【００６８】
ＮｏｎＣｌｏｃｋ＿Ｉｎｓｔｓ＝｛ｘ｜品種Ａ物理設計後ネットリストに記述されたセルのインスタンス集合｝
【００６９】
そして、係数Ｃｏｅｆｆtype1について以下式（６）のような方程式が成り立つ。
【００７０】
（Σi∈NonClock_InstsＮＣiInfer＋Σi∈NonClock_InstsＰＣi）×（ＮｏｎＣｌｏｃｋＮｅｔＰｏｗｅｒLAYOUT／ＮｏｎＣｌｏｃｋＮｅｔＰｏｗｅｒInfer）
＝Ｃｏｅｆｆtype1×Σi∈NonClock_InstsＮＣiInfer＋Σi∈NonClock_InstsＰＣi・・・（６）
【００７１】
そして、例えば、電力モデル生成部８１１は、以下式（７）によって係数Ｃｏｅｆｆtype1を算出する。
【００７２】
Ｃｏｅｆｆtype1＝｛（Σi∈NonClock_InstsＮＣiInfer＋Σi∈NonClock_InstsＰＣi）×（ＮｏｎＣｌｏｃｋＮｅｔＰｏｗｅｒLAYOUT／ＮｏｎＣｌｏｃｋＮｅｔＰｏｗｅｒInfer）−Σi∈NonClock_InstsＰＣi｝／Σi∈NonClock_InstsＮＣiInfer・・・（７）
【００７３】
上述したように、ＰＣiの値は、テクノロジーライブラリに予め記述されてある。また、Σi∈NonClock_InstsＰＣiとΣi∈NonClock_InstsＮＣiInferとについては、上述した電力見積結果Ｒ２に含まれる。
【００７４】
図１２は、ｔｙｐｅ１の各パラメータの適用例を示す説明図である。テーブル１２００に示すように、例えば、ＮｏｎＣｌｏｃｋＮｅｔＰｏｗｅｒLAYOUTは５４［ｍＷ］であり、ＮｏｎＣｌｏｃｋＮｅｔＰｏｗｅｒInferは３３［ｍＷ］である。Σi∈NonClock_InstsＮＣiInferは１．１４ｅ＋０７［ｐＦ］であり、Σi∈NonClock_InstsＰＣiは１．３６ｅ＋０７［ｐＦ］である。したがって、係数Ｃｏｅｆｆtype1は以下のように約２．５となる。
【００７５】
Ｃｏｅｆｆtype1＝｛（１．１４×１０7＋１．３６×１０7）×（５４／３３）−１．３６×１０7｝／（１．１４×１０7）≒２．５
【００７６】
このように、過去の品種Ａにおいて係数Ｃｏｅｆｆtype1を算出することによって、推定モデルによる容量値とレイアウトデータによる容量値との差を定量化させることができる。
【００７７】
＜Ｍｅｔｈｏｄ２＞
また、電力モデル生成部８１１は、品種Ａ物理設計後ネットリスト８２２に基づくネット容量と、品種Ａの物理設計前ネットリストに基づくネット容量と、の比率を係数Ｃｏｅｆｆtype1として算出する。例えば、電力モデル生成部８１１は、以下式（８）によって係数Ｃｏｅｆｆtype1を算出する。
【００７８】
Ｃｏｅｆｆtype1＝Σi∈NonClock_InstsＮＣiLayout／Σi∈NonClock_InstsＮＣiInfer・・・（８）
【００７９】
図１２に示した適用例を用いると、係数Ｃｏｅｆｆtype1は以下のように約３．５となる。
【００８０】
Ｃｏｅｆｆtype1＝３．９７×１０7／１．１４×１０7≒３．５
【００８１】
つぎに、電力見積部８１２は、推定容量モデルを使って、品種Ｂの回路に含まれる各セルの間の配線の容量値を算出し、テクノロジーライブラリより該各セルの入力端子の容量値を抽出する。。品種Ｂの回路の推定容量モデルについてはｔｙｐｅ２やｔｙｐｅ３でも利用される。そして、電力見積部８１２は、Ｍｅｔｈｏｄ１またはＭｅｔｈｏｄ２によって算出した係数Ｃｏｅｆｆtype1を上述した式（５）に与えることによって、品種Ｂの回路に含まれる非クロックツリー回路内のセルの合計の配線容量ＮＣi’を見積もることができる。
【００８２】
図１３は、ｔｙｐｅ１における期待値と見積結果との比較例を示す説明図である。テーブル１３００は、期待値と、推定モデルのみの利用時と、Ｍｅｔｈｏｄ１により算出した係数Ｃｏｅｆｆtype1の値が２．５の場合と、Ｍｅｔｈｏｄ２によって算出した係数Ｃｏｅｆｆtype1の値が３．５の場合と、の各ネット電力と、期待値との誤差例を示す。
【００８３】
期待値の電力値は５４［ｍＷ］であり、推定モデルのみの利用時の電力値は３３［ｍＷ］である。係数Ｃｏｅｆｆtype1の値が２．５の場合の電力値は５４［ｍＷ］であり、係数Ｃｏｅｆｆtype1の値が３．５の場合の電力値は６８［ｍＷ］である。推定モデルの単純利用時の誤差は−３８［％］であり、係数Ｃｏｅｆｆtype1の値が２．５の場合の誤差は０［％］であり、係数Ｃｏｅｆｆtype1の値が３．５の場合の誤差は２５［％］である。
【００８４】
また、部分回路の性質によって容量に違いがある可能性がある。そこで、電力モデル生成部８１１は、品種Ａの回路解析を行い、品種Ａの回路内の部分回路を分割して容量を求めてもよい。また、電力モデル生成部８１１は、品種Ａの回路内のテスト回路部分の配線と品種Ａの回路内の非テスト回路部分の配線を分割してＭｅｔｈｏｄ２を用いて係数Ｃｏｅｆｆtype1を算出してもよい。
【００８５】
また、電力モデル生成部８１１は、品種Ａ物理設計後ネットリスト８２２に基づく電力見積時に、バッファ成分となりうるバッファとインバータの電力値Ｐ0を算出し、ネット電力の合計値Ｐ1を算出する。電力モデル生成部８１１は、「ｃadd＝Ｐ0／Ｐ1」を算出する。そして、電力モデル生成部８１１は、上述したＭｅｔｈｏｄ１によって求めた係数Ｃｏｅｆｆtype1と算出したｃaddとの掛算結果を係数Ｃｏｅｆｆtype1としてもよい。
【００８６】
また、電力見積部８１２は、Ｍｅｔｈｏｄ１によって求めた係数Ｃｏｅｆｆtype1とＭｅｔｈｏｄ２によって求めた係数Ｃｏｅｆｆtype1とのいずれか一方のみを利用してもよい。または、電力見積部８１２は、Ｍｅｔｈｏｄ１によって求めた係数Ｃｏｅｆｆtype1とＭｅｔｈｏｄ２によって求めた係数Ｃｏｅｆｆtype1との両方を利用し、消費電力値の範囲を見積もってもよい。
【００８７】
また、電力モデル生成部８１１は、例えば、セルのインスタンスごとにプロットして線形回帰分析を行う。そして、電力モデル生成部８１１は、線形回帰分析によって得られた式の係数を係数Ｃｏｅｆｆtype1としてもよい。
【００８８】
（ｔｙｐｅ２）
つぎに、ｔｙｐｅ２について説明する。ｔｙｐｅ２では、クロックツリー回路に対する電力モデル生成処理と、電力見積処理と、を行う。ここでは、クロックツリー回路において、バッファ間の配線は同じような容量値になるであろうという予測に基づいて、制御部８０１は、過去の品種Ａによって係数を算出し、算出した係数によって品種Ｂの配線容量を補正する。例えば、クロックツリー回路の場合、電力見積ツールによっては、クロックツリー回路内のセルの出力端子に接続される配線の容量値が０になる場合がある。そのため、クロックツリー回路については、ｔｙｐｅ１のようにネット電力を見積もることができない。また、クロックツリー回路は、クロックツリー回路のツリー根本からあるところまでは広範囲にクロック信号を配給する仕組みになっている。そのため、クロックツリー回路のツリー根本からあるところまでの配線が長くなるため、リピータバッファが挿入される。したがって、ツリーの分岐の数は少ないが容量値が大きい配線などがクロックツリー回路にはあると推定可能である。換言すると、ファンアウトが少ないのに配線が長いために容量値が大きい箇所がクロックツリー回路にはあると推定可能である。
【００８９】
また、クロックツリー合成では、クロック信号の波形に対する時間的マージンを制約条件として入力し、この制約条件にあうようにクロックツリー回路が生成される。そのため、例えば、クロックツリー回路の各セルの出力端子に接続される配線の配線容量は一定と仮定してもよい。また、クロックツリー回路の場合、リピータバッファの前後のトグルレートは同じである。そこで、クロックツリー回路の各部分は同一のトグルレートであるため、各部分に対してトグルレートを適用することと、各部分の配線容量合計に対してトグルレートを適用することとは、結果として変わらない。そのため、ここでは、各部分の配線容量が平均的にあっていれば、各部分の配線容量合計に基づいて得られるネット電力もあっている可能性が高いと推定する。まず、ｘはクロックツリー回路に含まれるセルのインスタンスを以下のように定義する。
【００９０】
Ｃｌｏｃｋ＿Ｉｎｓｔｓ＝｛ｘ｜ｘはクロックツリー回路に含まれるセルのインスタンス｝
【００９１】
ここで、例えば、制御部８０１は、品種Ｂの回路に含まれるクロックツリー回路内のセルの配線容量ＮＣxを以下式（９）によって算出する。
【００９２】
∀ｘ∈Ｃｌｏｃｋ＿Ｉｎｓｔｓ［ＮＣx＝Ｃｏｅｆｆtype2×ＰＣx×ｂａｓｅ＿ｆａｎｏｕｔ／ｆａｎｏｕｔx］・・・（９）
【００９３】
ここでは、電力モデル生成部８１１が係数Ｃｏｅｆｆtype2を算出する。そして、電力見積部８１２が、係数Ｃｏｅｆｆtype2に基づいて配線容量ＮＣxを算出し、配線容量ＮＣxに基づくネット電力を算出する。つぎに、具体的な詳細例について説明する。ｂａｓｅ＿ｆａｎｏｕｔは、基準となるファンアウト数であり、予め記憶部８０２に記憶されてある。例えば、ｂａｓｅ＿ｆａｎｏｕｔは、係数Ｃｏｅｆｆtype2を算出したクロックツリー回路の平均ファンアウト数とする。
【００９４】
まず、電力モデル生成部８１１は、以下式（１０）によって係数Ｃｏｅｆｆtype2を算出する。
【００９５】
Ｃｏｅｆｆtype2＝Σi∈Clock_InstsＮＣiLayout／Σi∈Clock_InstsＰＣi・・・（１０）
【００９６】
そして、電力見積部８１２は、電力モデル生成部８１１によって算出されたＣｏｅｆｆtype2を上記式（９）に与えて配線容量ＮＣxを補正する。係数Ｃｏｅｆｆtype2は、配線容量と端子容量の合計であるネット容量の合計値は端子容量の合計値に対してどの程度の大きさであるかを示す。また、式（９）においては、「ｂａｓｅ＿ｆａｎｏｕｔ／ｆａｎｏｕｔx」によってネット容量が一定傾向となるように補正が行われる。また、電力見積部８１２は、以下式（１１）および式（１２）によって品種Ｂの回路に含まれるクロックツリー回路内のセルの配線容量ＮＣxを算出してもよい。
【００９７】
ＮＣTOTAL＝Ｃｏｅｆｆtype2×Σi∈Clock_InstsＰＣi・・・（１１）
∀ｘ∈Ｃｌｏｃｋ＿Ｉｎｓｔｓ［ＮＣx＝ＮＣTOTAL／｜Ｃｌｏｃｋ＿Ｉｎｓｔｓ｜］・・・（１２）
【００９８】
図１４は、ｔｙｐｅ２における期待値と見積結果との比較例を示す説明図である。ここでは、ある適用例における期待値と見積結果との比較例を示す。テーブル１４００は、品種Ｂのクロックツリー回路について、期待値の消費電力値と、推定モデルのみの利用時の場合の消費電力値と、本補正処理利用時の場合の消費電力値と、期待値に対する誤差と、を示す。例えば、期待値の消費電力値が７５［ｍＷ］であり、推定モデルの単純利用時の場合の消費電力値が２１［ｍＷ］であり、本モデル採用時の場合の消費電力値が９８［ｍＷ］である。期待値に対する誤差については、推定モデルのみの利用時の場合−７２［％］であり、本補正処理利用時の場合＋３１［％］である。このように、係数Ｃｏｅｆｆtype2を利用した場合、ＷＬＭやＰＬＥなどの推定モデルのみを利用した場合と比較して、誤差を縮小することができる。
【００９９】
図１５は、ｔｙｐｅ１およびｔｙｐｅ２における期待値と見積結果との比較例を示す説明図である。テーブル１５００は、期待値と、推定モデルのみの利用時と、各係数による補正処理利用時と、の各々における、品種Ｂの回路の内部電力、ネット電力、合計電力を示す。テーブル１５００において、推定モデルのみの利用時と、補正処理利用時と、の各々について、ネット電力と合計電力に付された（  ）内の値は期待値との誤差［％］である。
【０１００】
例えば、期待値のネット電力が１３７［ｍＷ］であり、推定モデルのみの利用時のネット電力は５９［ｍＷ］であるため、ネット電力についての推定モデルのみの利用時の誤差は−５７［％］である。また、例えば、補正処理利用時のネット電力は１５７［ｍＷ］であるため、ネット電力についての補正処理利用時の誤差は１５［％］である。
【０１０１】
例えば、期待値の合計電力が３２８［ｍＷ］であり、推定モデルの単純利用時の合計電力が２５１であるため、合計電力についての推定モデルの単純利用時の誤差は−２３［％］である。例えば、補正処理利用時の合計電力が３４８であるため、合計電力についての補正処理利用時の誤差は６［％］である。
【０１０２】
クロックツリー合成済みのネットリストが対象となっているため、クロックツリー回路については見積精度が高い。また、非クロックツリー回路については、物理設計後ネットリストにＷＬＭやＰＬＥなどの推定モデルを単純利用した時と比べて、非クロックツリーについても見積精度が高くなっている。このように、ＷＬＭやＰＬＥなどの推定モデルの単純利用時と比較して、見積精度を向上させることができる。
【０１０３】
（ｔｙｐｅ３）
つぎに、クロックツリー合成を行っていない場合のクロックツリー回路についての電力見積を行う例を示す。ここでは、電力モデル生成部８１１は、図１０に示した基礎データの作成と、スケルトンデータ生成と、係数の値算出と、の３つの処理を行う。ここでスケルトンデータとは、クロックツリー回路からリピータバッファを取り除いた場合のツリーの情報である。そして、電力見積部８１２は、算出した係数によってクロックツリー回路の消費電力値を見積もる。
【０１０４】
ここで、クロックツリー合成前のクロックツリー回路は、ハイファンアウトネットが存在する。そこで、クロックスリューによる誤差の発生を避けるため、電力モデル生成部８１１は、上述した品種Ａの物理設計前ネットリストによる電力見積時において、クロックツリー回路の配線をｉｄｅａｌネットとして扱い、電力見積を行う。ｉｄｅａｌネットとは容量値が０に設定された配線である。
【０１０５】
ここで、制御部８０１は、品種Ａ物理設計後ネットリスト８２２からリピータバッファを取り除いたネットを抽出する。そして、制御部８０１は、配線容量／端子容量の係数と、リピータバッファについての内部電力／配線電力の係数と、を算出する。配線容量／端子容量の係数は、端子容量から、おおよそのネット配線容量を算出するために用いられる。また、バッファまたはインバータであるリピータバッファは入力と出力のトグルレートが同じであるという性質があるため、リピータバッファの内部電力は、ネット電力の一部であるとみなすために、内部電力／配線電力の係数が用いられる。例えば、内部電力／配線電力が０．２５であれば、配線電力を１．２５倍すれば、リピータバッファを考慮したクロックツリー回路の消費電力値が求まることとなる。このようにして、クロックツリー回路の構造を変更することなく消費電力値を見積もることができる。
【０１０６】
また、制御部８０１は、ネット電力を配線容量／端子容量によって概算する。ＲＴＬＣｏｍｐｉｌｅｒなどのツールに設けられた電力見積機能では、クロックツリー回路のネット電力は端子容量のみに基づいて算出される。そこで、制御部８０１は、算出されたネット電力に配線容量／端子容量の係数を乗算することによって配線電力値を見積もることができる。また、制御部８０１は、配線電力に対して、（１＋内部電力／配線電力）を乗算することによって、クロックツリー合成を考慮した消費電力値を見積もることができる。以降に詳細な処理について説明する。
【０１０７】
制御部８０１は、上述したように、品種Ｂの回路に含まれるクロックツリー回路内のセルの端子容量のみで計算したネット電力であるＣｌｏｃｋＴｒｅｅＮｅｔＰｏｗｅｒPRE_SYNを算出する。
【０１０８】
また、制御部８０１は、品種Ｂの回路に含まれるクロックツリー回路内のセルのネット電力であるＣｌｏｃｋＴｒｅｅＮｅｔＰｏｗｅｒPRE_SYN+fixedを以下式（１３）によって算出する。
【０１０９】
ＣｌｏｃｋＴｒｅｅＮｅｔＰｏｗｅｒPRE_SYN+fixed＝（１＋Ｃｏｅｆｆtype3Net）×Ｃｏｅｆｆtype3REPEATER×ＣｌｏｃｋＴｒｅｅＮｅｔＰｏｗｅｒPRE_SYN・・・（１３）
【０１１０】
電力モデル生成部８１１が、内部電力／配線電力の係数Ｃｏｅｆｆtype3Netと配線容量／端子容量の係数Ｃｏｅｆｆtype3REPEATERとを算出する。そして、電力見積部８１２が、算出した係数Ｃｏｅｆｆtype3Netと係数Ｃｏｅｆｆtype3REPEATERとを式（１３）に与えて品種Ｂの回路に含まれるクロックツリー回路内のネット電力を算出する。
【０１１１】
電力モデル生成部８１１は、図１０に示した基礎データを作成する。基礎データを作成する処理は、上述した第２電力見積処理において行われるため、電力見積ツールによって行われる。ここでは、電力モデル生成部８１１は、品種Ａの物理設計後のネットリストが示す品種Ａの回路に含まれるクロックツリーを同一トグルレートごとに分類する。例えば、クロックツリー回路はツリー構造であるため、電力モデル生成部８１１は、クロックツリー回路の基点からツリーを深さ優先で探索する。探索中に、電力モデル生成部８１１は、リピータバッファではない要素を見つけたら新しいＩＤ番号を取得して付与する。リピータバッファとはバッファまたはインバータである。また、電力モデル生成部８１１は、リピータバッファであれば現在のＩＤ番号を付与する。これにより、同一トグルレートの部分クロックツリーに同一のＩＤ番号を付与することができ、クロックツリーが同一トグルレートごとに分類される。
【０１１２】
つぎに、電力モデル生成部８１１は、スケルトンデータを生成する。上述したように、スケルトンデータとは、クロックツリー回路からリピータバッファを取り除いた場合のツリーの情報である。例えば、電力モデル生成部８１１は、ＩＤ番号ごとに、端子容量（ＦＦ）、端子容量（非ＦＦ・非リピータ）、配線容量、端子容量、ＦＦ数、非リピータ数を算出する。
【０１１３】
図１６は、スケルトンデータ例を示す説明図である。スケルトンデータ１６００は、ＩＤ、ＦＦ端子容量、非リピータ端子容量、配線容量、端子容量合計、ＦＦ数、非リピータ数、ＦＦ数と非リピータ数の合計のフィールドを有する。各フィールドに情報が設定されることにより、レコード（１６００−１など）として記憶される。スケルトンデータ１６００は、例えば、記憶部８０２に記憶される。
【０１１４】
ＩＤのフィールドには、トグルレートが同一のセルを識別可能な識別情報が設定される。例えば、ＩＤのフィールドに設定された識別情報によってスケルトンデータ１６００と上述した基礎データとが関連付けられてある。ＦＦ端子容量のフィールドには、同一の識別情報が付されたセルのうちのＦＦの端子容量の合計値が設定される。非リピータ端子容量のフィールドには、同一の識別情報が付されたセルのうちの非リピータの端子容量の合計値が設定される。
【０１１５】
配線容量のフィールドには、ＦＦに接続される配線の容量と非リピータに接続される配線の容量との合計値が設定される、端子容量の合計値のフィールドには、ＦＦ端子容量と非リピータ端子容量との合計値が設定される。ＦＦ数のフィールドには、同一の識別情報が付されたセルのうちのＦＦの数が設定される。非リピータ数のフィールドには、同一の識別情報が付されたセルのうちの非リピータの数が設定される。合計のフィールドには、ＦＦ数と非リピータ数との合計値である。
【０１１６】
つぎに、図８に示す電力モデル生成部８１１は、係数Ｃｏｅｆｆtype3Netを算出する。例えば、電力モデル生成部８１１は、スケルトンデータ１６００に含まれる配線容量と端子容量とについて線形回帰分析を行うことによって、係数Ｃｏｅｆｆtype3Netを算出する。
【０１１７】
図１７は、配線容量と端子容量との相関例と線形解析結果例を示す説明図である。図１７に示す例では、係数Ｃｏｅｆｆtype3Netは約３である。例えば、係数Ｃｏｅｆｆtype3Net≒３は、配線容量は端子容量の３倍であることを意味する。上述したようにネット容量は「配線容量＋端子容量」によって表されるため、ネット容量は「（１＋Ｃｏｅｆｆtype3Net）×端子容量」となる。そのため、ネット電力は、端子分の電力の（１＋Ｃｏｅｆｆtype3Net）倍になるため、上記式（１３）のようになる。
【０１１８】
また、電力モデル生成部８１１は、以下式（１４）によって係数Ｃｏｅｆｆtype3Netを算出してもよい。この場合、係数Ｃｏｅｆｆtype3Netは１．８となる。
【０１１９】
Ｃｌｏｃｋ＿Ｓｋｅｌｔｏｎ＿Ｉｎｓｔｓ＝｛ｘ｜ｘはスケルトンデータ１６００の要素（ＩＤ番号に対応）｝
Ｃｏｅｆｆtype3Net＝Σi∈Clock_Skelton_InstsＮＣiSKELTON／Σi∈Clock_Skelton_InstsＰＣi・・・（１４）
【０１２０】
つぎに、電力モデル生成部８１１は、係数Ｃｏｅｆｆtype3REPEATERを算出する。例えば、電力モデル生成部８１１は、以下式（１５）によって係数Ｃｏｅｆｆtype3REPEATERを算出する。
【０１２１】
Ｒｅｐｅａｔｅｒｓ＝｛ｘ｜ｘはクロックツリー回路に含まれるリピータバッファ｝
Ｃｏｅｆｆtype3REPEATER＝１＋Σi∈RepeatersＩｎｔｅｒｎａｌＰｏｗｅｒi／Σi∈RepeatersＮｅｔＰｏｗｅｒi・・・（１５）
【０１２２】
図１８は、ｔｙｐｅ３の各パラメータの適用例を示す説明図である。テーブル１８００に示すように、例えば、Σi∈RepeatersＩｎｔｅｒｎａｌＰｏｗｅｒiが１７４８０５７８である。テーブル１８００に示すように、例えば、Σi∈RepeatersＮｅｔＰｏｗｅｒiが６７７９４０９１であり、係数Ｃｏｅｆｆtype3REPEATERは１．２５７８（≒１．２５）である。
【０１２３】
図１９は、クロックツリー回路内の配線をｉｄｅａｌネットとした場合の電力見積例を示す説明図である。テーブル１９００に示すように、例えば内部電力は１３［ｍＷ］であり、ネット電力は１５［ｍＷ］であり、合計電力は、２８［ｍＷ］である。ここでの内部電力はＣｌｏｃｋＴｒｅｅＮｅｔＰｏｗｅｒPRE_SYNである。
【０１２４】
また、上記の説明の通り、係数Ｃｏｅｆｆtype3Netは３であり、係数Ｃｏｅｆｆtype3REPEATERは１．２５である。電力見積部８１２は、算出された係数Ｃｏｅｆｆtype3Netと、算出された係数Ｃｏｅｆｆtype3REPEATERと、を式（１３）に与えてネット電力であるＣｌｏｃｋＴｒｅｅＮｅｔＰｏｗｅｒPRE_SYN+fixedを算出する。上記の例では、ＣｌｏｃｋＴｒｅｅＮｅｔＰｏｗｅｒPRE_SYN+fixedは「（１＋３）×１．２５×１５＝７５」［ｍＷ］である。７５［ｍＷ］のうち、（２５−１）／１．２５がリピータバッファ内部電力に相当し、７５［ｍＷ］のうち、１／１．２５がネット電力に相当する。
【０１２５】
図２０は、ｔｙｐｅ３によって算出された内部電力およびネット電力例を示す説明図である。前述のとおり、ｔｙｐｅ３を使ったネット電力では、リピータバッファの内部電力成分も計上している。そこで、ｔｙｐｅ３を使ったネット電力の内訳を示すと、テーブル２０００に示すように、内部電力成分は１５［ｍＷ］であり、ネット電力成分は６０［ｍＷ］である。
【０１２６】
図２１は、図２０を反映した内部電力およびネット電力例を示す説明図である。図２２は、物理設計後データによる内部電力およびネット電力例を示す説明図である。テーブル２１００に示すように、非リピータの内部電力と、リピータの内部電力との合計値である内部電力は２８［ｍＷ］であり、ネット電力は６０［ｍＷ］である。そのため、合計電力は８８［ｍＷ］である。
【０１２７】
図２２は、物理設計後データによる内部電力およびネット電力例を示す説明図である。テーブル２２００に示すように、図１９に示したようにクロックツリー回路内の配線をｉｄｅａｌネットとした場合には合計電力が２８［ｍＷ］であり、テーブル２２００に示す物理設計後データによる合計電力との誤差が−７３［％］である。これに対して、ｔｙｐｅ３の補正処理を行った場合の合計電力は８８［ｍＷ］であり、テーブル２２００に示す物理設計後データによる合計電力との誤差が−１４［％］である。
【０１２８】
（検証支援装置１００による検証支援処理手順例）
図２３は、検証支援装置による検証支援処理手順例を示すフローチャートである。まず、検証支援装置１００は、品種Ａ物理設計済み設計データ８２１と品種Ａトグルレートデータ８２５とに基づいて、電力モデル生成処理を行う（ステップＳ２３０１）。これにより、電力モデル情報が得られる。電力モデル情報２３１０は、電力モデル２３２１と、電力モデル属性情報２３２２と、を有する。電力モデル２３２１としては、上述したｔｙｐｅ１〜３の各々について係数が得られる。電力モデル属性情報２３２２としては、テクノロジやクロック周波数などの情報である。
【０１２９】
つぎに、検証支援装置１００は、電力モデル情報２３１０と、品種Ｂ物理設計前ネットリスト８２６と、品種Ｂトグルレートデータ８２７と、に基づいて、電力見積処理を行う（ステップＳ２３０２）。これにより、図１５や図２１に示すような電力見積結果２３１１が得られる。
【０１３０】
図２４は、図２３に示した電力モデル生成処理の詳細な説明を示すフローチャートである。検証支援装置１００は、品種Ａ物理設計済み設計データ８２１を取得して、品種Ａ設計済み設計データから、品種Ａ実容量ファイル８２３と品種Ａ物理設計後ネットリスト８２２とを抽出する抽出処理を行う（ステップＳ２４０１）。
【０１３１】
検証支援装置１００は、品種ＡＳＤＣファイル８２４と品種Ａトグルレートデータ８２５とを取得して、品種ＡＳＤＣファイル８２４と品種Ａトグルレートデータ８２５と品種Ａ実容量ファイル８２３と品種Ａ物理設計後ネットリスト８２２とに基づいて実容量における電力を見積もる第１電力見積処理を行う（ステップＳ２４０２）。第１電力見積処理による見積結果が電力見積結果Ｒ１である。また、検証支援装置１００は、品種ＡＳＤＣファイル８２４と品種Ａトグルレートデータ８２５とを取得して、品種ＡＳＤＣファイル８２４と品種Ａトグルレートデータ８２５と品種Ａ物理設計後ネットリスト８２２とに基づいて推定モデルにおける電力を見積もる第２電力見積処理を行う（ステップＳ２４０３）。第２電力見積処理による見積結果が電力見積結果Ｒ２である。検証支援装置１００は、電力モデル算出処理を行う（ステップＳ２４０４）。電力モデル算出処理では、上述した各係数を算出する。
【０１３２】
図２５は、ｔｙｐｅ１のＭｅｔｈｏｄ１による電力モデル算出処理の詳細な説明を示すフローチャートである。検証支援装置１００は、電力見積結果Ｒ２から、非クロックツリー回路に含まれるセルの出力端子に接続される配線の配線容量を取得する（ステップＳ２５０１）。検証支援装置１００は、電力見積結果Ｒ２から、非クロックツリー回路に含まれるセルの入力端子の端子容量を取得する（ステップＳ２５０２）。検証支援装置１００は、電力見積結果Ｒ２から、非クロックツリー回路に含まれるセルのネット電力を取得する（ステップＳ２５０３）。
【０１３３】
検証支援装置１００は、電力見積結果Ｒ１から、非クロックツリー回路に含まれるセルのネット電力を取得する（ステップＳ２５０４）。検証支援装置１００は、取得した各値を式（７）へ与えて係数Ｃｏｅｆｆtype1を算出し（ステップＳ２５０５）、一連の処理を終了する。
【０１３４】
図２６は、ｔｙｐｅ１のＭｅｔｈｏｄ２による電力モデル算出処理の詳細な説明を示すフローチャートである。検証支援装置１００は、電力見積結果Ｒ２から、非クロックツリー回路に含まれるセルの出力端子に接続される配線の配線容量の値を取得する（ステップＳ２６０１）。つぎに、検証支援装置１００は、電力見積結果Ｒ１から、非クロックツリー回路に含まれるセルの出力端子に接続される配線の配線容量の値を取得する（ステップＳ２６０２）。検証支援装置１００は、取得した各値を式（８）へ与えて係数Ｃｏｅｆｆtype1を算出する（ステップＳ２６０３）。
【０１３５】
図２７は、ｔｙｐｅ２についての電力モデル算出処理の詳細な説明を示すフローチャートである。検証支援装置１００は、電力見積結果Ｒ１から、クロックツリー回路に含まれるセルの出力端子に接続される配線の配線容量の値を取得する（ステップＳ２７０１）。検証支援装置１００は、電力見積結果Ｒ２から、クロックツリー回路に含まれるセルの入力端子の端子容量を取得する（ステップＳ２７０２）。検証支援装置１００は、取得した各値を式（１０）へ与えて係数Ｃｏｅｆｆtype2を算出する（ステップＳ２７０３）。
【０１３６】
図２８は、ｔｙｐｅ３についての第２電力見積処理による基礎データの生成手順例を示すフローチャートである。検証支援装置１００は、品種Ａの回路に含まれるセルの出力端子を示す基礎データにＩＤ番号を記録するデータフィールドを追加し、初期値を「−１」にする（ステップＳ２８０１）。
【０１３７】
検証支援装置１００は、選択したセルの出力端子を示す基礎データに対応するＩＤ番号を０にする（ステップＳ２８０２）。検証支援装置１００は、クロックツリー回路のソース起点集合から１つの起点を取り出して現在の端子として記録する（ステップＳ２８０３）。検証支援装置１００は、番号付与処理を行う（ステップＳ２８０４）。検証支援装置１００は、ソース起点集合が空集合か否かを判断する（ステップＳ２８０５）。
【０１３８】
空集合でないと判断された場合（ステップＳ２８０５：Ｎｏ）、検証支援装置１００は、ステップＳ２８０３へ移行する。空集合であると判断された場合（ステップＳ２８０５：Ｙｅｓ）、検証支援装置１００は、すべてのセルに対してデータを出力する（ステップＳ２８０６）。ただし、検証支援装置１００は、出力端子のＩＤ番号が正数の場合、出力端子に接続される入力端子の集合を品種Ａ物理設計後ネットリスト８２２に基づき特定する。つぎに、検証支援装置１００は、特定した入力端子をＦＦ、リピータバッファ、非ＦＦ非リピータバッファに分類する。そして、検証支援装置１００は、分類ごとに個数と端子容量とを集計する。
【０１３９】
検証支援装置１００は、ＲＡＭやユニットセルについての各電力値を算出して基礎データに設定する（ステップＳ２８０７）。検証支援装置１００は、出力端子にＩＤ番号が付与されているインスタンスをクロックツリーとして、合計値を算出する（ステップＳ２８０８）。検証支援装置１００は、出力端子にＩＤ番号が付与されていないインスタンスを非クロックツリーとして、合計値を算出し（ステップＳ２８０９）、一連の処理を終了する。
【０１４０】
図２９は、図２８に示す番号付与処理の詳細な説明を示すフローチャートである。検証支援装置１００は、品種Ａ物理設計後ネットリスト８２２から、現在の端子に接続されるセルの一覧を取り出す（ステップＳ２９０１）。検証支援装置１００は、現在の端子に接続されるセルがあるか否かを判断する（ステップＳ２９０２）。
【０１４１】
現在の端子に接続されるセルがある場合（ステップＳ２９０２：Ｙｅｓ）、検証支援装置１００は、ステップＳ２９０３へ移行する。検証支援装置１００は、現在の端子に接続されるセルの各々について、非ＦＦかつ非リピータであれば、新しいＩＤ番号を取得して現在のＩＤ番号にし、セルの出力端子を示す情報に対応するＩＤ番号を現在のＩＤ番号にする（ステップＳ２９０３）。そして、検証支援装置１００は、番号付与処理を行い（ステップＳ２９０４）、元の処理に戻る。現在の端子に接続されるセルがない場合（ステップＳ２９０２：Ｎｏ）、検証支援装置１００は、元の処理に戻る。
【０１４２】
図３０は、ｔｙｐｅ３についての電力モデル算出処理の詳細な説明を示すフローチャートである。まず、検証支援装置１００は、同じＩＤ番号について、端子容量（ＦＦ）、端子容量（非ＦＦ非リピータ）、端子容量および個数の合計値、配線容量の合計値を算出する（ステップＳ３００１）。
【０１４３】
つぎに、検証支援装置１００は、スケルトンデータ１６００から配線容量および端子容量を取得する（ステップＳ３００２）。そして、検証支援装置１００は、線形回帰分析によって係数Ｃｏｅｆｆtype3NETを算出する（ステップＳ３００３）。つづいて、検証支援装置１００は、スケルトンデータ１６００からリピータバッファのネット電力および配線電力を取得する（ステップＳ３００４）。そして、検証支援装置１００は、リピータバッファのネット電力および配線電力を式（１５）に与えて係数Ｃｏｅｆｆtype3REPEATERを算出し（ステップＳ３００５）、一連の処理を終了する。
【０１４４】
図３１は、図２３に示した電力見積処理の詳細な説明を示すフローチャートである。検証支援装置１００は、電力見積用のデータを読み込み、電力見積ツールが使用可能な記憶領域に読み込んだデータを格納する（ステップＳ３１０１）。ここでは、品種Ｂ物理設計前ネットリスト８２６と、品種Ｂトグルレートデータ８２７と、品種ＢＳＤＣファイル８２８と、が読み込まれる。検証支援装置１００は、非クロックツリー回路内のセルの出力端子の配線について配線容量の容量値を係数Ｃｏｅｆｆtype1によって補正する（ステップＳ３１０２）。検証支援装置１００は、クロックツリー合成済みか否かを判断する（ステップＳ３１０３）。クロックツリー合成済みであると判断された場合（ステップＳ３１０３：Ｙｅｓ）、検証支援装置１００は、クロックツリー回路のセルの出力端子の配線について、配線容量の容量値を係数Ｃｏｅｆｆtype2によって補正する（ステップＳ３１０４）。そして、検証支援装置１００は、電力見積を行う（ステップＳ３１０５）。一方、クロックツリー合成済みでないと判断された場合（ステップＳ３１０３：Ｎｏ）、検証支援装置１００は、ステップＳ３１０５へ移行する。
【０１４５】
ステップＳ３１０５のつぎに、検証支援装置１００は、クロックツリー合成済みか否かを判断する（ステップＳ３１０６）。クロックツリー合成済みであると判断された場合（ステップＳ３１０６：Ｙｅｓ）、検証支援装置１００は、一連の処理を終了する。一方、クロックツリー合成済みでないと判断された場合（ステップＳ３１０６：Ｎｏ）、検証支援装置１００は、クロックツリー回路のネット電力を係数Ｃｏｅｆｆtype3REPEATERと係数Ｃｏｅｆｆtype3NETとによって補正し（ステップＳ３１０７）、一連の処理を終了する。
【０１４６】
以上説明したように、検証支援装置１００は、第１回路と異なる物理設計後の第２回路内の配線の実容量値と該第２回路内の配線の推定容量値により、第１回路内の配線の容量値を算出する。これにより、物理設計前の第１回路の電力見積精度の向上を図ることができる。
【０１４７】
また、検証支援装置１００は、第２回路内の各セルの端子の容量値によって、第１回路内の配線の容量値を算出する。これにより、物理設計前の第１回路の電力見積精度の向上を図ることができる。
【０１４８】
また、検証支援装置１００は、実容量値によるセルの配線および端子の消費電力値と、推定容量値によるセルの配線および端子の消費電力値と、に基づいて、第１回路内の配線の容量値を算出する。このように、消費電力値によって係数を算出することによって、実際に動作している回路に着目して配線の容量値を補正することができる。これにより、テスト回路のような動作しない回路内の配線などを含めずに消費電力値を見積もることができる。
【０１４９】
また、セル間の配線の容量値である可能性が高いため、検証支援装置１００は、クロックツリー回路について、セルの端子の容量値に基づいてセルの配線の容量値を補正する。これにより、物理設計前の第１回路の電力見積精度の向上を図ることができる。
【０１５０】
また、検証支援装置１００は、クロックツリー回路内の各セルの間の配線とセルの端子の消費電力値を、クロックツリー回路内のリピータバッファのセルの消費電力値と、リピータバッファと異なるセルの端子の容量値と、に基づいて補正する。これにより、物理設計前の第１回路の電力見積精度の向上を図ることができる。
【０１５１】
なお、本実施の形態で説明した検証支援方法は、予め用意された検証支援プログラムをパーソナル・コンピュータやワークステーション等のコンピュータで実行することにより実現することができる。本検証支援プログラムは、磁気ディスク、光ディスク、ＵＳＢ（Ｕｎｉｖｅｒｓａｌ  Ｓｅｒｉａｌ  Ｂｕｓ）フラッシュメモリなどのコンピュータで読み取り可能な記録媒体に記録され、コンピュータによって記録媒体から読み出されることによって実行される。また、検証支援プログラムは、インターネット等のネットワークを介して配布してもよい。
【０１５２】
上述した実施の形態に関し、さらに以下の付記を開示する。
【０１５３】
（付記１）コンピュータが、
検証対象の第１回路の少なくとも一部の特性が同一である第２回路であって、前記第１回路と異なる第２回路内の各セルの間の配線を示す配線情報によって得られる前記第２回路内の各セルの間の配線の容量値を取得し、
前記第２回路内の各セルの接続関係を示す接続情報によって得られる前記第２回路内の各セルの間の配線の容量値を取得し、
前記第１回路内の各セルの接続関係を示す接続情報によって得られる前記第１回路内の各セルの間の配線の容量値を取得し、
取得した各容量値に基づく前記第１回路内の各セルの間の配線の容量値を算出する、
処理を実行することを特徴とする検証支援方法。
【０１５４】
（付記２）前記コンピュータが、
前記第２回路内の各セルの端子を示す端子情報によって得られる前記第２回路内の各セルの端子の容量値を取得し、
前記第１回路内の各セルの端子を示す端子情報によって得られる前記第１回路内の各セルの端子の容量値を取得する、
処理を実行し、
前記容量値を算出する処理では、取得した各容量値に基づく前記第１回路内の各セルの間の配線の容量値を算出することを特徴とする付記１に記載の検証支援方法。
【０１５５】
（付記３）前記コンピュータが、
前記配線情報によって得られる前記第２回路内の各セルの間の配線の容量値と、前記第２回路内の各セルの端子の容量値と、に基づく前記第２回路の各セル間の配線および前記各セルの端子の第１消費電力値を算出し、
前記接続情報によって得られる前記第２回路内の各セルの間の配線の容量値と、取得した前記第２回路内の各セルの端子の容量値と、に基づく前記第２回路の各セル間の配線および前記各セルの端子の第２消費電力値を算出する、
処理を実行し、
前記配線の容量値を算出する処理では、算出した前記第１消費電力値と、算出した前記第２消費電力値と、前記第１回路内の各セルの接続関係を示す接続情報によって得られる前記第１回路内の各セルの間の配線の容量値と、に基づく、前記第１回路内の各セルの間の配線の容量値を算出することを特徴とする付記２に記載の検証支援方法。
【０１５６】
（付記４）前記第１回路内の各セルは、前記第１回路に含まれるクロックツリー回路と異なる回路内の各セルであって、前記第２回路内の各セルは、前記第２回路に含まれるクロックツリー回路と異なる回路内の各セルであることを特徴とする付記１〜３のいずれか一つに記載の検証支援方法。
【０１５７】
（付記５）前記コンピュータが、
前記第２回路に含まれるクロックツリー回路内の各セルの端子を示す端子情報によって得られる前記第２回路に含まれるクロックツリー回路内の各セルの端子の容量値を取得し、
前記第１回路に含まれるクロックツリー回路内の各セルの端子を示す端子情報によって得られる前記第１回路に含まれるクロックツリー回路内の各セルの端子の容量値を取得し、
取得した各容量値に基づく前記第１回路に含まれるクロックツリー回路内の各セルの間の配線の容量値を算出する、
処理を実行することを特徴とする付記４に記載の検証支援方法。
【０１５８】
（付記６）前記コンピュータが、
取得した前記第２回路に含まれるクロックツリー回路内の各セルの間の配線の容量値と、取得した前記第２回路に含まれるクロックツリー回路内の各セルの端子の容量値と、の比率に基づく補正値を算出する、
処理を実行し、
前記第１回路に含まれるクロックツリー回路内の各セルの間の配線の容量値を算出する処理では、算出した前記補正値と、取得した前記第１回路に含まれるクロックツリー回路内の各セルの端子の容量値と、に基づく前記第１回路に含まれるクロックツリー回路内の各セルの間の配線の容量値を算出することを特徴とする付記５に記載の検証支援方法。
【０１５９】
（付記７）前記コンピュータが、
前記第２回路に含まれるクロックツリー回路のうちのリピータバッファを示すセル情報によって得られる前記第２回路に含まれるクロックツリー回路のうちのリピータバッファの消費電力値を取得し、
前記第２回路に含まれるクロックツリー回路のうちのリピータバッファの間の配線を示す配線情報によって得られる前記第２回路に含まれるクロックツリー回路のうちのリピータバッファの消費電力値を取得し、
前記第１回路に含まれるクロックツリー回路内の各セルの端子を示す端子情報によって得られる前記第１回路に含まれるクロックツリー回路内の各セルの端子の容量値を取得し、
取得した前記第１回路に含まれるクロックツリー回路内の各セルの間の配線の容量値と、取得した前記第１回路に含まれるクロックツリー回路内の各セルの端子の容量値と、に基づいて、前記第１回路に含まれるクロックツリー回路内の各セルの間の配線および前記各セルの端子の消費電力値を算出し、
取得した前記第２回路内の各セルの間の配線の容量値のうち、前記第２回路に含まれるクロックツリー回路のうちのリピータバッファと異なる回路内の各セルの間の配線の容量値と、取得した前記第２回路内の各セルの端子の容量値のうち、前記第２回路に含まれるクロックツリー回路のうちのリピータバッファと異なる回路内の各セルの端子の容量値と、によって、算出した前記消費電力値を補正する、
処理を実行することを特徴とする付記４に記載の検証支援方法。
【０１６０】
（付記８）コンピュータが、
検証対象の第１回路の少なくとも一部の特性が同一である第２回路であって、前記第１回路と異なる第２回路内の各セルの間の配線を示す配線情報によって得られる前記第２回路内の各セルの間の配線の容量値を取得し、
前記第２回路内の各セルの端子を示す端子情報によって得られる前記第２回路内の各セルの端子の容量値を取得し、
前記第１回路内の各セルの端子を示す端子情報によって得られる前記第１回路内の各セルの端子の容量値を取得し、
取得した各容量値に基づく前記第１回路内の各セルの間の配線の容量値を算出する、
処理を実行することを特徴とする検証支援方法。
【０１６１】
（付記９）前記第１回路内の各セルは、前記第１回路内のクロックツリー回路内の各セルであって、前記第２回路内の各セルは、前記第２回路内のクロックツリー回路内の各セルであることを特徴とする付記８に記載の検証支援方法。
【０１６２】
（付記１０）コンピュータが、
検証対象の第１回路の少なくとも一部の特性が同一である第２回路であって、前記第１回路と異なる第２回路に含まれるクロックツリー回路のうちのリピータバッファと異なる回路内の各セルの間の配線の第１容量値を取得し、
前記第２回路に含まれるクロックツリー回路のうちのリピータバッファと異なる回路内の各セルの端子の第２容量値を取得し、
前記第２回路に含まれるクロックツリー回路のうちのリピータバッファを示すセル情報によって得られる前記第２回路に含まれるクロックツリー回路のうちのリピータバッファの第１消費電力値を取得し、
前記第２回路に含まれるクロックツリー回路のうちのリピータバッファの間の配線を示す配線情報によって得られる前記第２回路に含まれるクロックツリー回路のうちのリピータバッファの第２消費電力値を取得し、
前記第１回路内の各セルの接続関係を示す接続情報によって得られる前記第１回路内の各セルの間の配線の第３容量値を取得し、
前記第１回路に含まれるクロックツリー回路内の各セルの端子を示す端子情報によって得られる前記第１回路に含まれるクロックツリー回路内の各セルの端子の第４容量値を取得し、
取得した前記第３容量値と、取得した前記第４容量値と、に基づいて、前記第１回路に含まれるクロックツリー回路内の各セルの間の配線および前記各セルの端子の第３消費電力値を算出し、
算出した前記第３消費電力値を、取得した前記第１容量値と、取得した前記第２容量値と、取得した前記第１消費電力値と、前記第２消費電力値と、に基づいて補正する、
処理を実行することを特徴とする検証支援方法。
【０１６３】
（付記１１）コンピュータに、
検証対象の第１回路の少なくとも一部の特性が同一である第２回路であって、前記第１回路と異なる第２回路内の各セルの間の配線を示す配線情報によって得られる前記第２回路内の各セルの間の配線の容量値を取得し、
前記第２回路内の各セルの接続関係を示す接続情報によって得られる前記第２回路内の各セルの間の配線の容量値を取得し、
前記第１回路内の各セルの接続関係を示す接続情報によって得られる前記第１回路内の各セルの間の配線の容量値を取得し、
取得した各容量値に基づく前記第１回路内の各セルの間の配線の容量値を算出する、
処理を実行させることを特徴とする検証支援プログラム。
【０１６４】
（付記１２）コンピュータに、
検証対象の第１回路の少なくとも一部の特性が同一である第２回路であって、前記第１回路と異なる第２回路内の各セルの間の配線を示す配線情報によって得られる前記第２回路内の各セルの間の配線の容量値を取得し、
前記第２回路内の各セルの端子を示す端子情報によって得られる前記第２回路内の各セルの端子の容量値を取得し、
前記第１回路内の各セルの端子を示す端子情報によって得られる前記第１回路内の各セルの端子の容量値を取得し、
取得した各容量値に基づく前記第１回路内の各セルの間の配線の容量値を算出する、
処理を実行させることを特徴とする検証支援プログラム。
【０１６５】
（付記１３）コンピュータに、
検証対象の第１回路の少なくとも一部の特性が同一である第２回路であって、前記第１回路と異なる第２回路に含まれるクロックツリー回路のうちのリピータバッファと異なる回路内の各セルの間の配線の第１容量値を取得し、
前記第２回路に含まれるクロックツリー回路のうちのリピータバッファと異なる回路内の各セルの端子の第２容量値を取得し、
前記第２回路に含まれるクロックツリー回路のうちのリピータバッファを示すセル情報によって得られる前記第２回路に含まれるクロックツリー回路のうちのリピータバッファの第１消費電力値を取得し、
前記第２回路に含まれるクロックツリー回路のうちのリピータバッファの間の配線を示す配線情報によって得られる前記第２回路に含まれるクロックツリー回路のうちのリピータバッファの第２消費電力値を取得し、
前記第１回路内の各セルの接続関係を示す接続情報によって得られる前記第１回路内の各セルの間の配線の第３容量値を取得し、
前記第１回路に含まれるクロックツリー回路内の各セルの端子を示す端子情報によって得られる前記第１回路に含まれるクロックツリー回路内の各セルの端子の第４容量値を取得し、
取得した前記第３容量値と、取得した前記第４容量値と、に基づいて、前記第１回路に含まれるクロックツリー回路内の各セルの間の配線および前記各セルの端子の第３消費電力値を算出し、
算出した前記第３消費電力値を、取得した前記第１容量値と、取得した前記第２容量値と、取得した前記第１消費電力値と、前記第２消費電力値と、に基づいて補正する、
処理を実行させることを特徴とする検証支援プログラム。
【０１６６】
（付記１４）検証対象の第１回路の少なくとも一部の特性が同一である第２回路であって、前記第１回路と異なる第２回路内の各セルの間の配線を示す配線情報によって得られる前記第２回路内の各セルの間の配線の容量値を取得し、
前記第２回路内の各セルの接続関係を示す接続情報によって得られる前記第２回路内の各セルの間の配線の容量値を取得し、
前記第１回路内の各セルの接続関係を示す接続情報によって得られる前記第１回路内の各セルの間の配線の容量値を取得し、
取得した各容量値に基づく前記第１回路内の各セルの間の配線の容量値を算出する、
制御部を有することを特徴とする検証支援装置。
【０１６７】
（付記１５）検証対象の第１回路の少なくとも一部の特性が同一である第２回路であって、前記第１回路と異なる第２回路内の各セルの間の配線を示す配線情報によって得られる前記第２回路内の各セルの間の配線の容量値を取得し、
前記第２回路内の各セルの端子を示す端子情報によって得られる前記第２回路内の各セルの端子の容量値を取得し、
前記第１回路内の各セルの端子を示す端子情報によって得られる前記第１回路内の各セルの端子の容量値を取得し、
取得した各容量値に基づく前記第１回路内の各セルの間の配線の容量値を算出する、
制御部を有することを特徴とする検証支援装置。
【０１６８】
（付記１６）検証対象の第１回路の少なくとも一部の特性が同一である第２回路であって、前記第１回路と異なる第２回路に含まれるクロックツリー回路のうちのリピータバッファと異なる回路内の各セルの間の配線の第１容量値を取得し、
前記第２回路に含まれるクロックツリー回路のうちのリピータバッファと異なる回路内の各セルの端子の第２容量値を取得し、
前記第２回路に含まれるクロックツリー回路のうちのリピータバッファを示すセル情報によって得られる前記第２回路に含まれるクロックツリー回路のうちのリピータバッファの第１消費電力値を取得し、
前記第２回路に含まれるクロックツリー回路のうちのリピータバッファの間の配線を示す配線情報によって得られる前記第２回路に含まれるクロックツリー回路のうちのリピータバッファの第２消費電力値を取得し、
前記第１回路内の各セルの接続関係を示す接続情報によって得られる前記第１回路内の各セルの間の配線の第３容量値を取得し、
前記第１回路に含まれるクロックツリー回路内の各セルの端子を示す端子情報によって得られる前記第１回路に含まれるクロックツリー回路内の各セルの端子の第４容量値を取得し、
取得した前記第３容量値と、取得した前記第４容量値と、に基づいて、前記第１回路に含まれるクロックツリー回路内の各セルの間の配線および前記各セルの端子の第３消費電力値を算出し、
算出した前記第３消費電力値を、取得した前記第１容量値と、取得した前記第２容量値と、取得した前記第１消費電力値と、前記第２消費電力値と、に基づいて補正する、
制御部を有することを特徴とする検証支援装置。
【０１６９】
（付記１７）コンピュータに、
検証対象の第１回路の少なくとも一部の特性が同一である第２回路であって、前記第１回路と異なる第２回路内の各セルの間の配線を示す配線情報によって得られる前記第２回路内の各セルの間の配線の容量値を取得し、
前記第２回路内の各セルの接続関係を示す接続情報によって得られる前記第２回路内の各セルの間の配線の容量値を取得し、
前記第１回路内の各セルの接続関係を示す接続情報によって得られる前記第１回路内の各セルの間の配線の容量値を取得し、
取得した各容量値に基づく前記第１回路内の各セルの間の配線の容量値を算出する、
処理を実行させる検証支援プログラムを記録したことを特徴とする記録媒体。
【０１７０】
（付記１８）コンピュータに、
検証対象の第１回路の少なくとも一部の特性が同一の第２回路であって、前記第１回路と異なる第２回路内の各セルの間の配線を示す配線情報によって得られる前記第２回路内の各セルの間の配線の容量値を取得し、
前記第２回路内の各セルの端子を示す端子情報によって得られる前記第２回路内の各セルの端子の容量値を取得し、
前記第１回路内の各セルの端子を示す端子情報によって得られる前記第１回路内の各セルの端子の容量値を取得し、
取得した各容量値に基づく前記第１回路内の各セルの間の配線の容量値を算出する、
処理を実行させる検証支援プログラムを記録したことを特徴とする記録媒体。
【０１７１】
（付記１９）コンピュータに、
検証対象の第１回路の少なくとも一部の特性が同一である第２回路であって、前記第１回路と異なる第２回路に含まれるクロックツリー回路のうちのリピータバッファと異なる回路内の各セルの間の配線の第１容量値を取得し、
前記第２回路に含まれるクロックツリー回路のうちのリピータバッファと異なる回路内の各セルの端子の第２容量値を取得し、
前記第２回路に含まれるクロックツリー回路のうちのリピータバッファを示すセル情報によって得られる前記第２回路に含まれるクロックツリー回路のうちのリピータバッファの第１消費電力値を取得し、
前記第２回路に含まれるクロックツリー回路のうちのリピータバッファの間の配線を示す配線情報によって得られる前記第２回路に含まれるクロックツリー回路のうちのリピータバッファの第２消費電力値を取得し、
前記第１回路内の各セルの接続関係を示す接続情報によって得られる前記第１回路内の各セルの間の配線の第３容量値を取得し、
前記第１回路に含まれるクロックツリー回路内の各セルの端子を示す端子情報によって得られる前記第１回路に含まれるクロックツリー回路内の各セルの端子の第４容量値を取得し、
取得した前記第３容量値と、取得した前記第４容量値と、に基づいて、前記第１回路に含まれるクロックツリー回路内の各セルの間の配線および前記各セルの端子の第３消費電力値を算出し、
算出した前記第３消費電力値を、取得した前記第１容量値と、取得した前記第２容量値と、取得した前記第１消費電力値と、前記第２消費電力値と、に基づいて補正する、
処理を実行させる検証支援プログラムを記録したことを特徴とする記録媒体。
【符号の説明】
【０１７２】
１００  検証支援装置
８０１  制御部
８２１  品種Ａ物理設計済み設計データ
８２２  品種Ａ物理設計後ネットリスト
８２３  品種Ａ実容量ファイル
８２６  品種Ｂ物理設計前ネットリスト
８２７  品種Ｂトグルレートデータ
【図１】
2015191636.tif 000003
【図２】
2015191636.tif 000004
【図３】
2015191636.tif 000005
【図４】
2015191636.tif 000006
【図５】
2015191636.tif 000007
【図６】
2015191636.tif 000008
【図７】
2015191636.tif 000009
【図８】
2015191636.tif 000010
【図９】
2015191636.tif 000011
【図１０】
2015191636.tif 000012
【図１１】
2015191636.tif 000013
【図１２】
2015191636.tif 000014
【図１３】
2015191636.tif 000015
【図１４】
2015191636.tif 000016
【図１５】
2015191636.tif 000017
【図１６】
2015191636.tif 000018
【図１７】
2015191636.tif 000019
【図１８】
2015191636.tif 000020
【図１９】
2015191636.tif 000021
【図２０】
2015191636.tif 000022
【図２１】
2015191636.tif 000023
【図２２】
2015191636.tif 000024
【図２３】
2015191636.tif 000025
【図２４】
2015191636.tif 000026
【図２５】
2015191636.tif 000027
【図２６】
2015191636.tif 000028
【図２７】
2015191636.tif 000029
【図２８】
2015191636.tif 000030
【図２９】
2015191636.tif 000031
【図３０】
2015191636.tif 000032
【図３１】
2015191636.tif 000033