"論理回路の静的タイミング解析を行う静的タイミング解析装置であって、前記論理回路のセルの接続関係を示すネットリストと、前記セルの遅延時間を示すタイミング情報と、前記論理回路に対する遅延時間の制約を示す制約タイミング制約情報と、前記論理回路の電源ドメインと前記電源ドメインの電源電圧の範囲との対応関係を示す電源ドメイン情報とに基づいて、前記セルへ信号が到着する時刻を表す前記電源電圧の関数である時刻関数を生成する時刻関数生成部と、前記タイミング制約情報及び前記時刻関数に基づいて、データを保持するセルへ信号が到着する時刻の余裕度を示す前記電源電圧の関数であるスラック関数を生成するスラック関数生成部と、前記電源ドメイン情報及び前記スラック関数に基づいて、前記電源電圧の下限電源電圧と上限電源電圧の間で前記スラック関数が最小となるように、前記スラック関数の電源電圧定数を決定する電源ドメイン電圧定数決定部と、前記スラック関数に前記電源ドメイン電圧定数を代入し、スラック値を計算するスラック値計算部と、前記時刻関数と、前記スラック関数と、前記スラック値とを出力する出力部と、を備える静的タイミング解析装置。前記スラック関数に存在する複数の電源ドメイン間の相関を示す電源ドメイン相関情報に基づいて、前記スラック関数を無相関スラック関数へ変換するスラック関数変換部をさらに備える、請求項1に記載の静的タイミング解析装置。前記スラック関数変換部は、前記スラック関数の定数を無相関定数に置換し、前記無相関スラック関数を生成する、請求項2に記載の静的タイミング解析装置。前記スラック関数変換部は、さらに、前記複数の電源ドメインの分散共分散行列を生成し、前記分散共分散行列の固有値ベクトルを計算し、前記固有ベクトルに基づいて前記無相関電源ドメイン情報を生成する、請求項2又は3に記載の静的タイミング解析装置。論理回路の静的タイミング解析を行う静的タイミング解析方法であって、前記論理回路のセルの接続関係を示すネットリストと、前記セルの遅延時間を示すタイミング情報と、前記論理回路に対する遅延時間の制約を示す制約タイミング制約情報と、前記論理回路の電源ドメインと前記電源ドメインの電源電圧の範囲との対応関係を示す電源ドメイン情報とに基づいて、前記セルへ信号が到着する時刻を表す前記電源電圧の関数である時刻関数を生成し、前記タイミング制約情報及び前記時刻関数に基づいて、データを保持するセルへ信号が到着する時刻の余裕度を示す前記電源電圧の関数であるスラック関数を生成し、前記電源ドメイン情報及び前記スラック関数に基づいて、前記電源電圧の下限電源電圧と上限電源電圧の間で前記スラック関数が最小となるように、前記スラック関数の電源電圧定数を決定し、前記スラック関数に前記電源ドメイン電圧定数を代入し、スラック値を計算し、前記時刻関数と、前記スラック関数と、前記スラック値とを出力する静的タイミング解析方法。本発明が解決しようとする課題は、STAの所要時間を短縮することができる静的タイミング解析装置及び静的タイミング解析方法を提供することである。本実施形態の静的タイミング解析装置は、論理回路の静的タイミング解析を行う。静的タイミング解析装置は、時刻関数生成部と、スラック関数生成部と、電源ドメイン電圧定数決定部と、スラック値計算部と、出力部と、を備える。時刻関数生成部は、論理回路のセルの接続関係を示すネットリストと、セルの遅延時間を示すタイミング情報と、論理回路に対する遅延時間の制約を示す制約タイミング制約情報と、論理回路の電源ドメインと電源ドメインの電源電圧の範囲との対応関係を示す電源ドメイン情報とに基づいて、セルへ信号が到着する時刻を表す電源電圧の関数である時刻関数を生成する。スラック関数生成部は、タイミング制約情報及び時刻関数に基づいて、データを保持するセルへ信号が到着する時刻の余裕度を示す電源電圧の関数であるスラック関数を生成する。電源ドメイン電圧定数決定部は、電源ドメイン情報及びスラック関数に基づいて、電源電圧の下限電源電圧と上限電源電圧の間でスラック関数が最小となるように、スラック関数の電源電圧定数を決定する。スラック値計算部は、スラック関数に電源ドメイン電圧定数を代入し、スラック値を計算する。出力部は、時刻関数と、スラック関数と、スラック値とを出力する。本実施形態について、図面を参照して説明する。本実施形態の静的タイミング解析装置について説明する。図1は、本実施形態の静的タイミング解析装置1のブロック図である。図1の静的タイミング解析装置1は、プロセッサ10と、メモリ20と、入出力インタフェース30とを備える。静的タイミング解析装置1は、例えばコンピュータである。プロセッサ10は、例えば中央処理演算装置である。メモリ20は、コンピュータ読取可能な記憶媒体である。入出力インタフェース30は、例えばキーボード等の入力装置図示せず及びディスプレイ等の出力装置図示せずと接続可能である。メモリ20には、STAプログラム21と、ネットリスト22と、配線情報23と、タイミング情報24と、タイミング制約情報25と、電源ドメイン情報26とが記憶されている。本実施形態の静的タイミング解析装置が参照するデータについて説明する。図2は、本実施形態のサンプル論理回路の回路図である。図3は、本実施形態のネットリスト22のデータ構造を示す図である。図4は、本実施形態の配線情報23のデータ構造を示す図である。図5は、本実施形態のタイミング情報24のデータ構造を示す図である。図6は、本実施形態のタイミング制約情報25の説明図である。図7は、本実施形態の電源ドメイン情報26のデータ構造を示す図である。図2のサンプル論理回路は、静的タイミング解析装置1に解析されるべき回路である。サンプル論理回路は、電源ドメインDx及びDyから構成される。電源ドメインDxの電源電圧は、1.0V~1.2Vである。電源ドメインDyの電源電圧は、1.0V~1.2Vである。各電源ドメインに配置されるセルには、ライブラリセル名CEL1~CEL4と、インスタンス名I1~I6とが割り当てられる。セルCEL4には、データ信号Sdを受け付けるデータ端子の端子名DPと、クロック信号Scを受け付けるクロック端子の端子名CPが割り当てられる。図3Aのネットリスト22は、図2のサンプル論理回路のセルの接続関係を示す。ネットリスト22は、モジュールM1及びM2から構成される。モジュールM1は、サンプル論理回路の電源ドメインDxに対応する。モジュールM2は、サンプル論理回路の電源ドメインDyに対応する。図3B及びCは、ネットリスト22のデータ構造を示す。図3Bに示すように、ネットリスト22は、入力インスタンス名と、出力インスタンス名と、所属モジュール名とを含む。入力インスタンス名は、サンプル論理回路の各セルに割り当てられたインスタンス名を示す。出力インスタンス名は、入力インスタンス名が示すセルに接続されるセルに割り当てられたインスタンス名を示す。また、図3Cに示すように、ネットリスト22は、インスタンス名と、所属モジュール名とを含む。所属モジュール名は、インスタンス名が示すセルが所属するモジュール名を示す。ネットリスト22は、例えばVerilog形式で記述される。図4の配線情報23は、図3のネットリスト22の配線の接続関係を示す。配線情報23は、配線名と、接続インスタンス名と、抵抗値[Ω]と、容量値[F]とを含む。配線名は、2つのセルの間の配線に割り当てられた配線名を示す。接続インスタンス名は、ネットリストの入力インスタンス名及び出力インスタンス名の組み合わせを示す。抵抗値[Ω]は、配線名が示す配線の抵抗値を示す。容量値[F]は、配線名が示す配線の容量値を示す。配線情報23は、例えばSPEFStandardParasticExtractionFormat形式で記述される。図5Aのタイミング情報24は、ライブラリ名と、セル名と、を含む。即ち、ライブラリ名は、タイミング情報24に固有のライブラリを示す。セル名は、ライブラリ名が示すライブラリに対応するセルを示す。図5BのライブラリLIB1は、論理式と、遅延時間テーブル名と、遷移時間テーブル名とを含む。論理式は、図5Aのセル名が示すセルの論理式を示す。遅延時間テーブル名は、ライブラリLIB1に対応する遅延時間テーブルを示す。遷移時間テーブル名は、ライブラリLIB1に対応する遷移時間テーブルを示す。図5Cの遅延時間テーブルDT1は、入力遷移時間[ps]及び負荷容量[F]毎の遅延時間を示す。図5Dの遷移時間テーブルTT1は、入力遷移時間[ps]及び負荷容量[F]毎の遷移時間を示す。即ち、タイミング情報24は、サンプル論理回路のセルの遅延時間を示す情報である。タイミング情報24は、例えばLiberty形式で記述される。図6に示すように、タイミング制約情報25は、セットアップ制約STと、ホールド制約HTを含む。セットアップ制約STは、データ信号Sdの信号レベルが変化するポイントPnnは、0以上の整数からクロック信号Scの信号レベルが変化するポイントPxまでの時間の制約である。ホールド制約HTは、ポイントPxからクロスポイントPn1までの時間の制約である。即ち、タイミング制約情報25は、サンプル論理回路に対する遅延時間の制約を示す情報である。タイミング制約情報25は、例えばSDCSynopsysDesignConstraint形式で記述される。図7の電源ドメイン情報26は、電源ドメイン名と、下限電源電圧[V]と、上限電源電圧[V]と、モジュール名とを含む。電源ドメイン名は、図2のサンプル論理回路の電源ドメインを示す。下限電源電圧[V]及び上限電源電圧[V]は、電源ドメイン名が示す電源ドメインの電源電圧の範囲を示す。モジュール名は、電源ドメイン名に対応する図3のネットリスト22のモジュールを示す。即ち、電源ドメイン情報26は、サンプル論理回路の電源ドメインと、電源ドメインの電源電圧の範囲と、電源ドメインに対応するモジュールとの対応関係を示す。電源ドメイン情報26は、例えばUPFUnifiedPowerFormat形式又はCPFCommonPowerFormat形式で記述される。第1実施形態第1実施形態について説明する。複数の電源ドメイン間の相関の有無にかかわらず、STAの結果を出力する静的タイミング解析装置の例である。第1実施形態の静的タイミング解析装置1の機能について説明する。図8は、第1実施形態の静的タイミング解析装置1の機能ブロック図である。図8のSTAプログラム21を起動したプロセッサ10は、静的タイミング解析装置1の機能電源ドメイン情報変換部11、時刻関数生成部12、スラック関数生成部13、電源ドメイン電圧定数決定部14、スラック値計算部15及び出力部16を備える。第1実施形態の静的タイミング解析装置1の動作について説明する。図9は、第1実施形態の静的タイミング解析処理のフローチャートである。図9の静的タイミング解析処理は、電源ドメイン情報変換S900、時刻関数生成S902と、スラック関数生成S904と、ドメイン電圧定数決定S906と、スラック値計算S908と、出力S910とを含む。<S900>電源ドメイン情報変換部11は、ネットリスト22に基づいて、電源ドメイン情報26を電源ドメイン変数900へ変換する。任意の統計的静的タイミング解析ツールは、電源ドメイン情報26をサポートしていないが、電源ドメイン変数900を用いて電源ドメインを変数として取り扱うことができる。即ち、電源ドメイン情報変換部11は、統計的静的タイミング解析ツールが電源ドメインを変数として取り扱える様に、電源ドメイン情報26を処理する。図10は、第1実施形態の電源ドメイン変数900のデータ構造を示す図である。電源ドメイン変数900は、セルが依存する電源ドメインを示す情報であって、インスタンス名及び電源ドメイン名毎の2値0又は1の情報である。図10は、インスタンスI1及びI2が電源ドメインDxに所属し、インスタンスI3~I5が電源ドメインDyに所属することを示す。即ち、インスタンスI1及びI2に対応するセルが電源ドメインDxの電源電圧のみに依存し、インスタンスI3~I5に対応するセルが電源ドメインDyの電源電圧のみに依存する。<S902>時刻関数生成部12は、ネットリスト22、タイミング情報24、タイミング制約情報25及び電源ドメイン情報26に基づいて、時刻関数902を生成する。時刻関数902とは、各セルへ信号が到着する時刻を表す電源ドメインの電源電圧の関数である。式1は、セルCEL4のデータ端子DPにデータ信号Sdが到着する時刻を表すデータ時刻関数Tdである。式2は、セルCEL4のクロック端子CPにクロック信号Scが到着する時刻を表すクロック時刻関数Tcである。式1及び式2では、Add~Cdd及びAcd~Ccdは定数であり、Vxは電源ドメインDxの電源ドメイン変数であり、Vyは電源ドメインDyの電源ドメイン変数である。なお、時刻関数902は、1次関数に限られるものではなく、m次mは2以上の整数関数でも良い。<S904>スラック関数生成部13は、タイミング制約情報25及び時刻関数902に基づいて、スラック関数904を生成する。スラック関数904とは、サンプル論理回路のセルのうち、データを保持するセルフリップフロップ又はメモリへ信号が到着する時刻の余裕度を示す電源ドメインの電源電圧の関数である。例えば、時刻関数生成部12は、式3のようにスラック関数904を生成する。式3では、Pはクロック信号Scの周期であり、As~Csは定数である。なお、スラック関数904は、1次関数に限られるものではなく、m次関数でも良い。<S906>電源ドメイン電圧定数決定部14は、電源ドメイン情報26及びスラック関数904に基づいて電源ドメイン電圧定数906を決定する。電源ドメイン電圧定数906とは、電源ドメインの電源電圧を一意に定めた値である。電源ドメイン電圧定数決定部14は、下限電源電圧と上限電源電圧の間でスラック関数Sが最小となるように、スラック関数Sの定数電源電圧定数906を決定する。例えば、スラック関数904が1次関数の場合、スラック関数904の係数の符号に基づいて電源電圧定数906が決まる。<S908>スラック値計算部15は、スラック関数904に電源ドメイン電圧定数906を代入し、スラック値908を計算する。<S910>出力部16は、STAの結果を示すタイミングレポート910を出力する。タイミングレポート910は、所定のフォーマットで記載された時刻関数902、スラック関数904及びスラック値908を含む。第1実施形態によれば、1回のSTAで、時刻関数902、スラック関数904及びスラック値908が出力される。従って、STAの所要時間を短縮することができる。特に、従来技術では2kkは電源ドメインの数回のSTAが必要なケースに第1実施形態を適用すると、1回のSTAで従来技術と同様の結果を得ることができる。第2実施形態第2実施形態について説明する。第2実施形態は、複数の電源ドメイン間に相関がある場合、その相関を考慮してSTAの結果を出力する静的タイミング解析装置の例である。第2実施形態の静的タイミング解析装置1の機能について説明する。図11は、第2実施形態の静的タイミング解析装置1の機能ブロック図である。図8のSTAプログラム21を起動したプロセッサ10は、静的タイミング解析装置1の機能電源ドメイン情報変換部11、時刻関数生成部12、スラック関数生成部13、電源ドメイン電圧定数決定部14、スラック値計算部15、出力部16及びスラック関数変換部17を備える。第2実施形態の静的タイミング解析装置1の動作について説明する。図12は、第2実施形態の静的タイミング解析処理のフローチャートである。図12の静的タイミング解析処理は、電源ドメイン情報変換S1200と、時刻関数生成S1202と、スラック関数生成S1204と、スラック関数変換S1205と、ドメイン電圧定数決定S1206と、スラック値計算S1208と、出力S1210とを含む。電源ドメイン情報変換S1200、時刻関数生成S1202、スラック関数生成S1204、スラック値計算S1208及び出力S1210は第1実施形態と同様である。<S1205>スラック関数変換部17は、例えば主成分分析法を用いて、電源ドメイン相関情報905に基づいて、スラック関数904を無相関スラック関数925へ変換するとともに、電源ドメイン情報26を無相関電源ドメイン情報915へ変換する。ここで、スラック関数904には、複数の電源ドメイン間の相関が存在する。図13は、第2実施形態の電源ドメイン相関情報905のデータ構造を示す図である。電源ドメイン相関情報905は、スラック関数904に存在する電源ドメインDx及びDy間の相関を示す。相関の大きさは、電源ドメイン相関情報905の値が大きいほど大きい。電源ドメイン相関情報905の値0は無相関を意味し、電源ドメイン相関情報905の値1は完全相関を意味し、電源ドメイン相関情報905の値0~1は部分相関を意味する。例えば、スラック関数変換部17は、電源ドメインDx及びDyの分散共分散行列を生成する。分散共分散行列i,jでは、要素Miiは式4のようになり、要素Mijは式5のようになる。式5及び式6では、viは電源ドメインDiの電源電圧の振れ幅である。図13の場合、式6の分散共分散行列が生成される。次に、スラック関数変換部17は、分散共分散行列の固有値及び固有ベクトルを計算する。式6の場合、固有値及び固有ベクトルの組み合わせは、{固有値、固有ベクトル}={0.052,1,1},{0.028,1,-1}である。固有ベクトルは、仮想的な電源ドメインの電源電圧である。固有値は仮想的な電源電圧の振れ幅の2乗である。式7は、無相関電源ドメイン情報915を表す。式7では、Vαは仮想的な電源ドメインαの電源電圧であり、Vβは仮想的な電源ドメインβの電源電圧である。式6の場合、電源電圧Vαの振れ幅は0.228=√0.052Vであり、電源電圧Vβの振れ幅は0.167=√0.028Vである。即ち、電源電圧Vαの範囲は2.086V~2.314Vであり、電源電圧Vβの範囲は-0.084~0.084である。なお、電源電圧Vα及びVβは、式7でのみ意味を持つ仮想的な値であり、サンプル論理回路に影響は与えない。即ち、サンプル論理回路が、電源電圧Vα及びVβの範囲で動作するわけではない。次に、スラック関数変換部17は、式3のスラック関数Sの定数As~Csを無相関定数Ans~Cnsへ置換し、式8の無相関スラック関数S ́を生成する。これにより、電源ドメイン電圧定数決定部14が取り扱い可能な無相関スラック関数925及び無相関電源ドメイン情報915が得られる。<S1206>電源ドメイン電圧定数決定部14は、無相関電源ドメイン情報915及び無相関スラック関数925に基づいて電源ドメイン電圧定数906を決定する。電源ドメイン電圧定数決定部14は、下限電源電圧と上限電源電圧の間で無相関スラック関数が最小となるように、電源電圧定数906を決定する。例えば、無相関スラック関数925が1次関数の場合、無相関スラック関数925の係数の符号に基づいて電源電圧定数906が決まる。第2実施形態によれば、スラック関数904が無相関スラック関数925へ変換され、電源ドメイン情報26が無相関電源ドメイン情報915へ変換される。従って、複数の電源ドメイン間に相関が存在する場合であっても、STAの所要時間を短縮し、且つ、第1実施形態より最適なスラック値908が得られる図14を参照。本実施形態に係る静的タイミング解析装置1の少なくとも一部は、ハードウェアで構成しても良いし、ソフトウェアで構成しても良い。ソフトウェアで構成する場合には、静的タイミング解析装置1の少なくとも一部の機能を実現するプログラムをフレキシブルディスクやCD-ROM等の記録媒体に収納し、コンピュータに読み込ませて実行させても良い。記録媒体は、磁気ディスクや光ディスク等の着脱可能なものに限定されず、ハードディスク装置やメモリなどの固定型の記録媒体でも良い。また、本実施形態に係る静的タイミング解析装置1の少なくとも一部の機能を実現するプログラムを、インターネット等の通信回線無線通信も含むを介して頒布しても良い。さらに、同プログラムを暗号化したり、変調をかけたり、圧縮した状態で、インターネット等の有線回線や無線回線を介して、あるいは記録媒体に収納して頒布しても良い。なお、本発明は、上述した実施形態に限定されるものではなく、その要旨を逸脱しない範囲で構成要素を変形して具体化される。また、上述した実施形態に開示されている複数の構成要素の適宜な組み合わせにより、種々の発明が形成可能である。例えば、上述した実施形態に示される全構成要素から幾つかの構成要素を削除してもよい。さらに、異なる実施形態にわたる構成要素を適宜組み合わせてもよい。"