(57)【要約】      （修正有）【課題】静的タイミング解析の所要時間の短縮。【解決手段】静的タイミング解析装置は、時刻関数生成部１２と、スラック関数生成部１３と、電源ドメイン電圧定数決定部１４と、スラック値計算部１５と、出力部１６と、を備える。時刻関数生成部１２は、ネットリストと、セルの遅延時間情報と、タイミング制約情報と、電源ドメインとその電源電圧範囲との対応関係を示す電源ドメイン情報とに基づいて、電源電圧の関数である、セルへの信号到着時刻を表す時刻関数を生成する。スラック関数生成部１３は、タイミング制約情報及び時刻関数に基づいて、セルへの信号到着時刻の余裕度を示す電源電圧の関数であるスラック関数を生成する。電源ドメイン電圧定数決定部１４は、電源電圧の下限電源電圧と上限電源電圧の間でスラック関数が最小となる電源電圧定数を決定し、スラック値計算部１５は、スラック関数に電源ドメイン電圧定数を代入し、スラック値を計算する。【選択図】図８
2012203561.tif 000002
【特許請求の範囲】
【請求項１】
論理回路の静的タイミング解析を行う静的タイミング解析装置であって、
前記論理回路のセルの接続関係を示すネットリストと、前記セルの遅延時間を示すタイミング情報と、前記論理回路に対する遅延時間の制約を示す制約タイミング制約情報と、前記論理回路の電源ドメインと前記電源ドメインの電源電圧の範囲との対応関係を示す電源ドメイン情報とに基づいて、前記セルへ信号が到着する時刻を表す前記電源電圧の関数である時刻関数を生成する時刻関数生成部と、
前記タイミング制約情報及び前記時刻関数に基づいて、データを保持するセルへ信号が到着する時刻の余裕度を示す前記電源電圧の関数であるスラック関数を生成するスラック関数生成部と、
前記電源ドメイン情報及び前記スラック関数に基づいて、前記電源電圧の下限電源電圧と上限電源電圧の間で前記スラック関数が最小となるように、前記スラック関数の電源電圧定数を決定する電源ドメイン電圧定数決定部と、
前記スラック関数に前記電源ドメイン電圧定数を代入し、スラック値を計算するスラック値計算部と、
前記時刻関数と、前記スラック関数と、前記スラック値とを出力する出力部と、を備える静的タイミング解析装置。
【請求項２】
前記スラック関数に存在する複数の電源ドメイン間の相関を示す電源ドメイン相関情報に基づいて、前記スラック関数を無相関スラック関数へ変換するスラック関数変換部をさらに備える、請求項１に記載の静的タイミング解析装置。
【請求項３】
前記スラック関数変換部は、前記スラック関数の定数を無相関定数に置換し、前記無相関スラック関数を生成する、請求項２に記載の静的タイミング解析装置。
【請求項４】
前記スラック関数変換部は、さらに、前記複数の電源ドメインの分散共分散行列を生成し、前記分散共分散行列の固有値ベクトルを計算し、前記固有ベクトルに基づいて前記無相関電源ドメイン情報を生成する、請求項２又は３に記載の静的タイミング解析装置。
【請求項５】
論理回路の静的タイミング解析を行う静的タイミング解析方法であって、
前記論理回路のセルの接続関係を示すネットリストと、前記セルの遅延時間を示すタイミング情報と、前記論理回路に対する遅延時間の制約を示す制約タイミング制約情報と、前記論理回路の電源ドメインと前記電源ドメインの電源電圧の範囲との対応関係を示す電源ドメイン情報とに基づいて、前記セルへ信号が到着する時刻を表す前記電源電圧の関数である時刻関数を生成し、
前記タイミング制約情報及び前記時刻関数に基づいて、データを保持するセルへ信号が到着する時刻の余裕度を示す前記電源電圧の関数であるスラック関数を生成し、
前記電源ドメイン情報及び前記スラック関数に基づいて、前記電源電圧の下限電源電圧と上限電源電圧の間で前記スラック関数が最小となるように、前記スラック関数の電源電圧定数を決定し、
前記スラック関数に前記電源ドメイン電圧定数を代入し、スラック値を計算し、
前記時刻関数と、前記スラック関数と、前記スラック値とを出力する静的タイミング解析方法。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明の実施形態は、静的タイミング解析装置及び静的タイミング解析方法に関する。
【背景技術】
【０００２】
近年、大規模半導体集積回路（以下、ＬＳＩ（Ｌａｒｇｅ  Ｓｃａｌｅ  Ｉｎｔｅｇｒａｔｉｏｎ）という）の微細化に伴う消費電力の増加を低減するために、複数の電源が用いられる傾向にある。一般的に、電源の数が増えるほど、静的タイミング解析（以下、ＳＴＡ（Ｓｔａｔｉｃ  Ｔｉｍｉｎｇ  Ａｎａｌｙｓｉｓ）という）の所要時間が長くなる。
【０００３】
これに対して、従来、ＬＳＩ全体の解析と、ＬＳＩのパスのうちタイミングの厳しいクリティカルパスの解析と、を実行する技術が知られている。しかしながら、従来技術では、ＬＳＩ全体の解析とクリティカルパスの解析との間の解析結果の差が大きい場合、クリティカルパスの数が増えるので、ＳＴＡの所要時間が長くなる。また、ＬＳＩ全体の解析及びクリティカルパスの解析の両方を実行するので、ＳＴＡの所要時間が長くなる。
【先行技術文献】
【特許文献】
【０００４】
【特許文献１】特開２０１０−１９８５２６号公報
【発明の概要】
【発明が解決しようとする課題】
【０００５】
本発明が解決しようとする課題は、ＳＴＡの所要時間を短縮することができる静的タイミング解析装置及び静的タイミング解析方法を提供することである。
【課題を解決するための手段】
【０００６】
本実施形態の静的タイミング解析装置は、論理回路の静的タイミング解析を行う。静的タイミング解析装置は、時刻関数生成部と、スラック関数生成部と、電源ドメイン電圧定数決定部と、スラック値計算部と、出力部と、を備える。時刻関数生成部は、論理回路のセルの接続関係を示すネットリストと、セルの遅延時間を示すタイミング情報と、論理回路に対する遅延時間の制約を示す制約タイミング制約情報と、論理回路の電源ドメインと電源ドメインの電源電圧の範囲との対応関係を示す電源ドメイン情報とに基づいて、セルへ信号が到着する時刻を表す電源電圧の関数である時刻関数を生成する。スラック関数生成部は、タイミング制約情報及び時刻関数に基づいて、データを保持するセルへ信号が到着する時刻の余裕度を示す電源電圧の関数であるスラック関数を生成する。電源ドメイン電圧定数決定部は、電源ドメイン情報及びスラック関数に基づいて、電源電圧の下限電源電圧と上限電源電圧の間でスラック関数が最小となるように、スラック関数の電源電圧定数を決定する。スラック値計算部は、スラック関数に電源ドメイン電圧定数を代入し、スラック値を計算する。出力部は、時刻関数と、スラック関数と、スラック値とを出力する。
【図面の簡単な説明】
【０００７】
【図１】本実施形態の静的タイミング解析装置１のブロック図。
【図２】本実施形態のサンプル論理回路の回路図。
【図３】本実施形態のネットリスト２２のデータ構造を示す図。
【図４】本実施形態の配線情報２３のデータ構造を示す図。
【図５】本実施形態のタイミング情報２４のデータ構造を示す図。
【図６】本実施形態のタイミング制約情報２５の説明図。
【図７】本実施形態の電源ドメイン情報２６のデータ構造を示す図。
【図８】第１実施形態の静的タイミング解析装置１の機能ブロック図。
【図９】第１実施形態の静的タイミング解析処理のフローチャート。
【図１０】第１実施形態の電源ドメイン変数９００のデータ構造を示す図。
【図１１】第２実施形態の静的タイミング解析装置１の機能ブロック図。
【図１２】第２実施形態の静的タイミング解析処理のフローチャート。
【図１３】第２実施形態の電源ドメイン相関情報９０５のデータ構造を示す図。
【図１４】第２実施形態の効果の説明図。
【発明を実施するための形態】
【０００８】
本実施形態について、図面を参照して説明する。
【０００９】
本実施形態の静的タイミング解析装置について説明する。図１は、本実施形態の静的タイミング解析装置１のブロック図である。
【００１０】
図１の静的タイミング解析装置１は、プロセッサ１０と、メモリ２０と、入出力インタフェース３０とを備える。静的タイミング解析装置１は、例えばコンピュータである。プロセッサ１０は、例えば中央処理演算装置である。メモリ２０は、コンピュータ読取可能な記憶媒体である。入出力インタフェース３０は、例えばキーボード等の入力装置（図示せず）及びディスプレイ等の出力装置（図示せず）と接続可能である。メモリ２０には、ＳＴＡプログラム２１と、ネットリスト２２と、配線情報２３と、タイミング情報２４と、タイミング制約情報２５と、電源ドメイン情報２６とが記憶されている。
【００１１】
本実施形態の静的タイミング解析装置が参照するデータについて説明する。図２は、本実施形態のサンプル論理回路の回路図である。図３は、本実施形態のネットリスト２２のデータ構造を示す図である。図４は、本実施形態の配線情報２３のデータ構造を示す図である。図５は、本実施形態のタイミング情報２４のデータ構造を示す図である。図６は、本実施形態のタイミング制約情報２５の説明図である。図７は、本実施形態の電源ドメイン情報２６のデータ構造を示す図である。
【００１２】
図２のサンプル論理回路は、静的タイミング解析装置１に解析されるべき回路である。サンプル論理回路は、電源ドメインＤｘ及びＤｙから構成される。電源ドメインＤｘの電源電圧は、１．０Ｖ〜１．２Ｖである。電源ドメインＤｙの電源電圧は、１．０Ｖ〜１．２Ｖである。各電源ドメインに配置されるセルには、ライブラリセル名ＣＥＬ１〜ＣＥＬ４と、インスタンス名Ｉ１〜Ｉ６とが割り当てられる。セルＣＥＬ４には、データ信号Ｓｄを受け付けるデータ端子の端子名ＤＰと、クロック信号Ｓｃを受け付けるクロック端子の端子名ＣＰが割り当てられる。
【００１３】
図３（Ａ）のネットリスト２２は、図２のサンプル論理回路のセルの接続関係を示す。ネットリスト２２は、モジュールＭ１及びＭ２から構成される。モジュールＭ１は、サンプル論理回路の電源ドメインＤｘに対応する。モジュールＭ２は、サンプル論理回路の電源ドメインＤｙに対応する。図３（Ｂ）及び（Ｃ）は、ネットリスト２２のデータ構造を示す。図３（Ｂ）に示すように、ネットリスト２２は、「入力インスタンス名」と、「出力インスタンス名」と、「所属モジュール名」とを含む。「入力インスタンス名」は、サンプル論理回路の各セルに割り当てられたインスタンス名を示す。「出力インスタンス名」は、「入力インスタンス名」が示すセルに接続されるセルに割り当てられたインスタンス名を示す。また、図３（Ｃ）に示すように、ネットリスト２２は、「インスタンス名」と、「所属モジュール名」とを含む。「所属モジュール名」は、「インスタンス名」が示すセルが所属するモジュール名を示す。ネットリスト２２は、例えばＶｅｒｉｌｏｇ形式で記述される。
【００１４】
図４の配線情報２３は、図３のネットリスト２２の配線の接続関係を示す。配線情報２３は、「配線名」と、「接続インスタンス名」と、「抵抗値［Ω］」と、「容量値［Ｆ］」とを含む。「配線名」は、２つのセルの間の配線に割り当てられた配線名を示す。「接続インスタンス名」は、ネットリストの「入力インスタンス名」及び「出力インスタンス名」の組み合わせを示す。「抵抗値［Ω］」は、「配線名」が示す配線の抵抗値を示す。「容量値［Ｆ］」は、「配線名」が示す配線の容量値を示す。配線情報２３は、例えばＳＰＥＦ（Ｓｔａｎｄａｒｄ  Ｐａｒａｓｔｉｃ  Ｅｘｔｒａｃｔｉｏｎ  Ｆｏｒｍａｔ）形式で記述される。
【００１５】
図５（Ａ）のタイミング情報２４は、「ライブラリ名」と、「セル名」と、を含む。即ち、「ライブラリ名」は、タイミング情報２４に固有のライブラリを示す。「セル名」は、「ライブラリ名」が示すライブラリに対応するセルを示す。図５（Ｂ）のライブラリＬＩＢ１は、「論理式」と、「遅延時間テーブル名」と、「遷移時間テーブル名」とを含む。「論理式」は、図５（Ａ）の「セル名」が示すセルの論理式を示す。「遅延時間テーブル名」は、ライブラリＬＩＢ１に対応する遅延時間テーブルを示す。「遷移時間テーブル名」は、ライブラリＬＩＢ１に対応する遷移時間テーブルを示す。図５（Ｃ）の遅延時間テーブルＤＴ１は、入力遷移時間［ｐｓ］及び負荷容量［Ｆ］毎の遅延時間を示す。図５（Ｄ）の遷移時間テーブルＴＴ１は、入力遷移時間［ｐｓ］及び負荷容量［Ｆ］毎の遷移時間を示す。即ち、タイミング情報２４は、サンプル論理回路のセルの遅延時間を示す情報である。タイミング情報２４は、例えばＬｉｂｅｒｔｙ形式で記述される。
【００１６】
図６に示すように、タイミング制約情報２５は、セットアップ制約ＳＴと、ホールド制約ＨＴを含む。セットアップ制約ＳＴは、データ信号Ｓｄの信号レベルが変化するポイントＰｎ（ｎは、０以上の整数）からクロック信号Ｓｃの信号レベルが変化するポイントＰｘまでの時間の制約である。ホールド制約ＨＴは、ポイントＰｘからクロスポイントＰｎ＋１までの時間の制約である。即ち、タイミング制約情報２５は、サンプル論理回路に対する遅延時間の制約を示す情報である。タイミング制約情報２５は、例えばＳＤＣ（Ｓｙｎｏｐｓｙｓ  Ｄｅｓｉｇｎ  Ｃｏｎｓｔｒａｉｎｔ）形式で記述される。
【００１７】
図７の電源ドメイン情報２６は、「電源ドメイン名」と、「下限電源電圧［Ｖ］」と、「上限電源電圧［Ｖ］」と、「モジュール名」とを含む。「電源ドメイン名」は、図２のサンプル論理回路の電源ドメインを示す。「下限電源電圧［Ｖ］」及び「上限電源電圧［Ｖ］」は、「電源ドメイン名」が示す電源ドメインの電源電圧の範囲を示す。「モジュール名」は、「電源ドメイン名」に対応する図３のネットリスト２２のモジュールを示す。即ち、電源ドメイン情報２６は、サンプル論理回路の電源ドメインと、電源ドメインの電源電圧の範囲と、電源ドメインに対応するモジュールとの対応関係を示す。電源ドメイン情報２６は、例えばＵＰＦ（Ｕｎｉｆｉｅｄ  Ｐｏｗｅｒ  Ｆｏｒｍａｔ）形式又はＣＰＦ（Ｃｏｍｍｏｎ  Ｐｏｗｅｒ  Ｆｏｒｍａｔ）形式で記述される。
【００１８】
（第１実施形態）
第１実施形態について説明する。複数の電源ドメイン間の相関の有無にかかわらず、ＳＴＡの結果を出力する静的タイミング解析装置の例である。
【００１９】
第１実施形態の静的タイミング解析装置１の機能について説明する。図８は、第１実施形態の静的タイミング解析装置１の機能ブロック図である。
【００２０】
図８のＳＴＡプログラム２１を起動したプロセッサ１０は、静的タイミング解析装置１の機能（電源ドメイン情報変換部１１、時刻関数生成部１２、スラック関数生成部１３、電源ドメイン電圧定数決定部１４、スラック値計算部１５及び出力部１６）を備える。
【００２１】
第１実施形態の静的タイミング解析装置１の動作について説明する。図９は、第１実施形態の静的タイミング解析処理のフローチャートである。
【００２２】
図９の静的タイミング解析処理は、電源ドメイン情報変換（Ｓ９００）、時刻関数生成（Ｓ９０２）と、スラック関数生成（Ｓ９０４）と、ドメイン電圧定数決定（Ｓ９０６）と、スラック値計算（Ｓ９０８）と、出力（Ｓ９１０）とを含む。
【００２３】
＜Ｓ９００＞  電源ドメイン情報変換部１１は、ネットリスト２２に基づいて、電源ドメイン情報２６を電源ドメイン変数９００へ変換する。任意の統計的静的タイミング解析ツールは、電源ドメイン情報２６をサポートしていないが、電源ドメイン変数９００を用いて電源ドメインを変数として取り扱うことができる。即ち、電源ドメイン情報変換部１１は、統計的静的タイミング解析ツールが電源ドメインを変数として取り扱える様に、電源ドメイン情報２６を処理する。
【００２４】
図１０は、第１実施形態の電源ドメイン変数９００のデータ構造を示す図である。電源ドメイン変数９００は、セルが依存する電源ドメインを示す情報であって、「インスタンス名」及び「電源ドメイン名」毎の２値（０又は１）の情報である。図１０は、インスタンスＩ１及びＩ２が電源ドメインＤｘに所属し、インスタンスＩ３〜Ｉ５が電源ドメインＤｙに所属することを示す。即ち、インスタンスＩ１及びＩ２に対応するセルが電源ドメインＤｘの電源電圧のみに依存し、インスタンスＩ３〜Ｉ５に対応するセルが電源ドメインＤｙの電源電圧のみに依存する。
【００２５】
＜Ｓ９０２＞  時刻関数生成部１２は、ネットリスト２２、タイミング情報２４、タイミング制約情報２５及び電源ドメイン情報２６に基づいて、時刻関数９０２を生成する。時刻関数９０２とは、各セルへ信号が到着する時刻を表す電源ドメインの電源電圧の関数である。式１は、セルＣＥＬ４のデータ端子ＤＰにデータ信号Ｓｄが到着する時刻を表すデータ時刻関数Ｔｄである。式２は、セルＣＥＬ４のクロック端子ＣＰにクロック信号Ｓｃが到着する時刻を表すクロック時刻関数Ｔｃである。式１及び式２では、Ａｄｄ〜Ｃｄｄ及びＡｃｄ〜Ｃｃｄは定数であり、Ｖｘは電源ドメインＤｘの電源ドメイン変数であり、Ｖｙは電源ドメインＤｙの電源ドメイン変数である。なお、時刻関数９０２は、１次関数に限られるものではなく、ｍ次（ｍは２以上の整数）関数でも良い。
【数１】
2012203561.tif 000003
【数２】
2012203561.tif 000004
【００２６】
＜Ｓ９０４＞  スラック関数生成部１３は、タイミング制約情報２５及び時刻関数９０２に基づいて、スラック関数９０４を生成する。スラック関数９０４とは、サンプル論理回路のセルのうち、データを保持するセル（フリップフロップ又はメモリ）へ信号が到着する時刻の余裕度を示す電源ドメインの電源電圧の関数である。例えば、時刻関数生成部１２は、式３のようにスラック関数９０４を生成する。式３では、Ｐはクロック信号Ｓｃの周期であり、Ａｓ〜Ｃｓは定数である。なお、スラック関数９０４は、１次関数に限られるものではなく、ｍ次関数でも良い。
【数３】
2012203561.tif 000005
【００２７】
＜Ｓ９０６＞  電源ドメイン電圧定数決定部１４は、電源ドメイン情報２６及びスラック関数９０４に基づいて電源ドメイン電圧定数９０６を決定する。電源ドメイン電圧定数９０６とは、電源ドメインの電源電圧を一意に定めた値である。電源ドメイン電圧定数決定部１４は、下限電源電圧と上限電源電圧の間でスラック関数Ｓが最小となるように、スラック関数Ｓの定数（電源電圧定数９０６）を決定する。例えば、スラック関数９０４が１次関数の場合、スラック関数９０４の係数の符号に基づいて電源電圧定数９０６が決まる。
【００２８】
＜Ｓ９０８＞  スラック値計算部１５は、スラック関数９０４に電源ドメイン電圧定数９０６を代入し、スラック値９０８を計算する。
【００２９】
＜Ｓ９１０＞  出力部１６は、ＳＴＡの結果を示すタイミングレポート９１０を出力する。タイミングレポート９１０は、所定のフォーマットで記載された時刻関数９０２、スラック関数９０４及びスラック値９０８を含む。
【００３０】
第１実施形態によれば、１回のＳＴＡで、時刻関数９０２、スラック関数９０４及びスラック値９０８が出力される。従って、ＳＴＡの所要時間を短縮することができる。特に、従来技術では２ｋ（ｋは電源ドメインの数）回のＳＴＡが必要なケースに第１実施形態を適用すると、１回のＳＴＡで従来技術と同様の結果を得ることができる。
【００３１】
（第２実施形態）
第２実施形態について説明する。第２実施形態は、複数の電源ドメイン間に相関がある場合、その相関を考慮してＳＴＡの結果を出力する静的タイミング解析装置の例である。
【００３２】
第２実施形態の静的タイミング解析装置１の機能について説明する。図１１は、第２実施形態の静的タイミング解析装置１の機能ブロック図である。
【００３３】
図８のＳＴＡプログラム２１を起動したプロセッサ１０は、静的タイミング解析装置１の機能（電源ドメイン情報変換部１１、時刻関数生成部１２、スラック関数生成部１３、電源ドメイン電圧定数決定部１４、スラック値計算部１５、出力部１６及びスラック関数変換部１７）を備える。
【００３４】
第２実施形態の静的タイミング解析装置１の動作について説明する。図１２は、第２実施形態の静的タイミング解析処理のフローチャートである。
【００３５】
図１２の静的タイミング解析処理は、電源ドメイン情報変換（Ｓ１２００）と、時刻関数生成（Ｓ１２０２）と、スラック関数生成（Ｓ１２０４）と、スラック関数変換（Ｓ１２０５）と、ドメイン電圧定数決定（Ｓ１２０６）と、スラック値計算（Ｓ１２０８）と、出力（Ｓ１２１０）とを含む。電源ドメイン情報変換（Ｓ１２００）、時刻関数生成（Ｓ１２０２）、スラック関数生成（Ｓ１２０４）、スラック値計算（Ｓ１２０８）及び出力（Ｓ１２１０）は第１実施形態と同様である。
【００３６】
＜Ｓ１２０５＞  スラック関数変換部１７は、例えば主成分分析法を用いて、電源ドメイン相関情報９０５に基づいて、スラック関数９０４を無相関スラック関数９２５へ変換するとともに、電源ドメイン情報２６を無相関電源ドメイン情報９１５へ変換する。ここで、スラック関数９０４には、複数の電源ドメイン間の相関が存在する。図１３は、第２実施形態の電源ドメイン相関情報９０５のデータ構造を示す図である。電源ドメイン相関情報９０５は、スラック関数９０４に存在する電源ドメインＤｘ及びＤｙ間の相関を示す。相関の大きさは、電源ドメイン相関情報９０５の値が大きいほど大きい。電源ドメイン相関情報９０５の値「０」は無相関を意味し、電源ドメイン相関情報９０５の値「１」は完全相関を意味し、電源ドメイン相関情報９０５の値「０」〜「１」は部分相関を意味する。
【００３７】
例えば、スラック関数変換部１７は、電源ドメインＤｘ及びＤｙの分散共分散行列を生成する。分散共分散行列（ｉ，ｊ）では、要素Ｍｉｉは式４のようになり、要素Ｍｉｊは式５のようになる。式５及び式６では、ｖｉは電源ドメインＤｉの電源電圧の振れ幅である。図１３の場合、式６の分散共分散行列が生成される。
【数４】
2012203561.tif 000006
【数５】
2012203561.tif 000007
【数６】
2012203561.tif 000008
【００３８】
次に、スラック関数変換部１７は、分散共分散行列の固有値及び固有ベクトルを計算する。式６の場合、固有値及び固有ベクトルの組み合わせは、｛固有値、固有ベクトル｝＝｛０．０５２，（１，１）｝，｛０．０２８，（１，−１）｝である。固有ベクトルは、仮想的な電源ドメインの電源電圧である。固有値は仮想的な電源電圧の振れ幅の２乗である。式７は、無相関電源ドメイン情報９１５を表す。式７では、Ｖαは仮想的な電源ドメインαの電源電圧であり、Ｖβは仮想的な電源ドメインβの電源電圧である。式６の場合、電源電圧Ｖαの振れ幅は０．２２８（＝√０．０５２）Ｖであり、電源電圧Ｖβの振れ幅は０．１６７（＝√０．０２８）Ｖである。即ち、電源電圧Ｖαの範囲は２．０８６Ｖ〜２．３１４Ｖであり、電源電圧Ｖβの範囲は−０．０８４〜０．０８４である。なお、電源電圧Ｖα及びＶβは、式７でのみ意味を持つ仮想的な値であり、サンプル論理回路に影響は与えない。即ち、サンプル論理回路が、電源電圧Ｖα及びＶβの範囲で動作するわけではない。
【数７】
2012203561.tif 000009
【００３９】
次に、スラック関数変換部１７は、式３のスラック関数Ｓの定数Ａｓ〜Ｃｓを無相関定数Ａｎｓ〜Ｃｎｓへ置換し、式８の無相関スラック関数Ｓ´を生成する。これにより、電源ドメイン電圧定数決定部１４が取り扱い可能な無相関スラック関数９２５及び無相関電源ドメイン情報９１５が得られる。
【数８】
2012203561.tif 000010
【００４０】
＜Ｓ１２０６＞  電源ドメイン電圧定数決定部１４は、無相関電源ドメイン情報９１５及び無相関スラック関数９２５に基づいて電源ドメイン電圧定数９０６を決定する。電源ドメイン電圧定数決定部１４は、下限電源電圧と上限電源電圧の間で無相関スラック関数が最小となるように、電源電圧定数９０６を決定する。例えば、無相関スラック関数９２５が１次関数の場合、無相関スラック関数９２５の係数の符号に基づいて電源電圧定数９０６が決まる。
【００４１】
第２実施形態によれば、スラック関数９０４が無相関スラック関数９２５へ変換され、電源ドメイン情報２６が無相関電源ドメイン情報９１５へ変換される。従って、複数の電源ドメイン間に相関が存在する場合であっても、ＳＴＡの所要時間を短縮し、且つ、第１実施形態より最適なスラック値９０８が得られる（図１４を参照）。
【００４２】
本実施形態に係る静的タイミング解析装置１の少なくとも一部は、ハードウェアで構成しても良いし、ソフトウェアで構成しても良い。ソフトウェアで構成する場合には、静的タイミング解析装置１の少なくとも一部の機能を実現するプログラムをフレキシブルディスクやＣＤ−ＲＯＭ等の記録媒体に収納し、コンピュータに読み込ませて実行させても良い。記録媒体は、磁気ディスクや光ディスク等の着脱可能なものに限定されず、ハードディスク装置やメモリなどの固定型の記録媒体でも良い。
【００４３】
また、本実施形態に係る静的タイミング解析装置１の少なくとも一部の機能を実現するプログラムを、インターネット等の通信回線（無線通信も含む）を介して頒布しても良い。さらに、同プログラムを暗号化したり、変調をかけたり、圧縮した状態で、インターネット等の有線回線や無線回線を介して、あるいは記録媒体に収納して頒布しても良い。
【００４４】
なお、本発明は、上述した実施形態に限定されるものではなく、その要旨を逸脱しない範囲で構成要素を変形して具体化される。また、上述した実施形態に開示されている複数の構成要素の適宜な組み合わせにより、種々の発明が形成可能である。例えば、上述した実施形態に示される全構成要素から幾つかの構成要素を削除してもよい。さらに、異なる実施形態にわたる構成要素を適宜組み合わせてもよい。
【符号の説明】
【００４５】
１  静的タイミング解析装置
１０  プロセッサ
１１  電源ドメイン情報変換部
１２  時刻関数生成部
１３  スラック関数生成部
１４  ドメイン電圧定数決定部
１５  スラック値計算部
１６  出力部
１７  スラック関数変換部
２０  メモリ
３０  入出力インタフェース
【図１】
2012203561.tif 000011
【図２】
2012203561.tif 000012
【図３】
2012203561.tif 000013
【図４】
2012203561.tif 000014
【図５】
2012203561.tif 000015
【図６】
2012203561.tif 000016
【図７】
2012203561.tif 000017
【図８】
2012203561.tif 000018
【図９】
2012203561.tif 000019
【図１０】
2012203561.tif 000020
【図１１】
2012203561.tif 000021
【図１２】
2012203561.tif 000022
【図１３】
2012203561.tif 000023
【図１４】
2012203561.tif 000024