(57)【要約】【課題】設計ＴＡＴの低減化により検証作業の効率化および設計期間の短縮化を図ること。【解決手段】電源検証装置２００は、取得部２０１により電源リソース情報を取得する。電源配線レイアウト部２１１により、電源配線可能なレイヤーに電源配線をレイアウトする。電源配線判定部２０３により、電源リソース情報に従って電源配線がレイアウトされたか否かを判定する。配置・配線レイアウト部２１２により、セルの配置および信号線の配線のレイアウトをおこなう。電流量判定部２０４により、指定された領域Ｒｉに配置されたセルの総電流量が電流許容値以上であるか否かを判定する。検証部２０６により電源検証処理を実行する。【選択図】        図２
2006343849.tif 000002
【特許請求の範囲】
【請求項１】
設計対象回路の電源リソース情報を取得する取得手段と、
前記設計対象回路の電源配線に関するレイアウトをおこなう電源配線レイアウト手段と、
前記電源配線レイアウト手段によってレイアウトされた電源配線が、前記取得手段によって取得された電源リソース情報に従ってレイアウトされているか否かを判定する電源配線判定手段と、
前記電源配線判定手段によって判定された判定結果に基づいて、前記設計対象回路の電源検証をおこなう検証手段と、
を備えることを特徴とする電源検証装置。
【請求項２】
設計対象回路の電源リソース情報を取得する取得手段と、
前記設計対象回路のレイアウトをおこなうレイアウト手段と、
前記レイアウト手段によって配置されたセルの電流量が、前記取得手段によって取得された電源リソース情報に応じた電流許容値以上であるか否かを判定する電流量判定手段と、
前記電流量判定手段によって判定された判定結果に基づいて、前記設計対象回路の電源検証をおこなう検証手段と、
を備えることを特徴とする電源検証装置。
【請求項３】
設計対象回路の電源リソース情報を取得する取得工程と、
前記設計対象回路の電源配線に関するレイアウトをおこなう電源配線レイアウト工程と、
前記電源配線レイアウト工程によってレイアウトされた電源配線が、前記取得工程によって取得された電源リソース情報に従ってレイアウトされているか否かを判定する電源配線判定工程と、
前記電源配線判定工程によって判定された判定結果に基づいて、前記設計対象回路の電源検証をおこなう検証工程と、
を含んだことを特徴とする電源検証方法。
【請求項４】
設計対象回路の電源リソース情報を取得させる取得工程と、
前記設計対象回路の電源配線に関するレイアウトをおこなわせる電源配線レイアウト工程と、
前記電源配線レイアウト工程によってレイアウトされた電源配線が、前記取得工程によって取得された電源リソース情報に従ってレイアウトされているか否かを判定させる電源配線判定工程と、
前記電源配線判定工程によって判定された判定結果に基づいて、前記設計対象回路の電源検証をおこなわせる検証工程と、
をコンピュータに実行させることを特徴とする電源検証プログラム。
【請求項５】
請求項４に記載の電源検証プログラムを記録したコンピュータに読み取り可能な記録媒体。
【発明の詳細な説明】
【技術分野】
【０００１】
この発明は、設計対象回路の電源検証をおこなう電源検証装置、電源検証方法、電源検証プログラム、および記録媒体に関する。
【背景技術】
【０００２】
ＬＳＩ設計では、従来から設計期間の短縮による作業効率化が要求されている一方、ＬＳＩが正しく動作するかどうかを検証する検証作業が必要不可欠であり、特に、大規模化、高機能化、高速化および低消費電力化が要求されているＬＳＩについては、高品質を維持するためにもこの検証作業は重要である。
【０００３】
従来のＬＳＩの設計フローでは、おおよそ下記（１）〜（３）のフェーズによって電源検証をおこなっている。
（１）  チップサイズおよび電源リソース見積もりフェーズ
（２）  レイアウトフェーズ
（３）  ＩＲ−Ｄｒｏｐ（電圧降下）違反およびＥ−ｍｉｇ（エレクトロマイグレーション、電流密度）違反の解析フェーズ
【０００４】
（１）のフェーズでは、設計対象回路のチップサイズ情報と電源リソース情報とを算出する。（２）のフェーズでは、フロアプラン、電源配線、セルの配置、および信号配線をおこなう。（３）のフェーズでは、レイアウトされたセルの配置座標、信号線の配線長から配線容量を抽出し、インスタンスの電流値を算出する。そして、ＩＲ−Ｄｒｏｐ違反およびＥ−ｍｉｇ違反か否かを解析することで、設計対象回路の電源検証をおこなう。上記（１）〜（３）のような検証作業をおこなう従来技術としては、下記特許文献１が挙げられる。
【０００５】
【特許文献１】特開平５−２５９２８７号公報
【発明の開示】
【発明が解決しようとする課題】
【０００６】
しかしながら、上述した従来の設計フローでは、（２）のレイアウトフェーズが完了してからでないとＬＳＩ上の電源配線リソースが妥当であるかどうかの検証、すなわち（３）のフェーズを実行することができない。したがって、この段階で電源リソース不足があると、再度電源配線と配置配線に戻って、修正をおこなわなければならず、設計ＴＡＴが増加するという問題があった。
【０００７】
この発明は、上述した従来技術による問題点を解消するため、設計ＴＡＴの低減化により検証作業の効率化を図ることができる電源検証装置、電源検証方法、電源検証プログラム、および記録媒体を提供することを目的とする。
【課題を解決するための手段】
【０００８】
上述した課題を解決し、目的を達成するため、この発明にかかる電源検証装置、電源検証方法、電源検証プログラム、および記録媒体は、設計対象回路の電源リソース情報を取得し、前記設計対象回路の電源配線に関するレイアウトをおこない、レイアウトされた電源配線が、取得された電源リソース情報に従ってレイアウトされているか否かを判定し、判定された判定結果に基づいて、前記設計対象回路の電源検証をおこなうことを特徴とする。
【０００９】
この発明によれば、レイアウトの途中段階で、電源リソース情報に従って電源配線がレイアウトされているか否かを検証することができる。
【００１０】
また、上記発明において、前記電源リソース情報に従ってレイアウトされていると判定された場合、配置・配線に関するレイアウトをおこない、配置されたセルの電流量が、前記電源リソース情報に応じた電流許容値以上であるか否かを判定し、判定された判定結果に基づいて、前記設計対象回路の電源検証をおこなうこととしてもよい。
【００１１】
この発明によれば、レイアウトの途中段階で、配置されているセルが、ＩＲ−Ｄｒｏｐ違反またはＥ−ｍｉｇ違反を起こす配置となっているか否かを検証することができる。
【００１２】
また、上記発明において、電流許容値以上であると判定された場合、前記セルの配置を修正し、配置が修正された結果、前記セルの電流量が、前記電流許容値以上であるか否かを判定することとしてもよい。
【００１３】
この発明によれば、修正前の電源リソースにより、ＩＲ−Ｄｒｏｐ違反またはＥ−ｍｉｇ違反を起こす配置とならないように、配置・配線レイアウトをおこなうことができる。
【００１４】
また、上記発明において、前記セルの配置を修正する場合、前記セルの配置の修正に関する情報を出力することとしてもよい。
【００１５】
この発明によれば、修正情報を設計者（ユーザ）に報知することができる。
【００１６】
また、上記発明において、前記セルの配置修正候補がない場合、前記電源リソース情報よりも大きいあらたな電源リソース情報を取得することとしてもよい。
【００１７】
この発明によれば、電源リソース不足を効率的に解消することができる。
【００１８】
また、この発明にかかる他の電源検証装置、電源検証方法、電源検証プログラム、および記録媒体は、設計対象回路の電源リソース情報を取得し、前記設計対象回路のレイアウトをおこない、配置されたセルの電流量が、取得された電源リソース情報に応じた電流許容値以上であるか否かを判定し、判定された判定結果に基づいて、前記設計対象回路の電源検証をおこなうことを特徴とする。
【００１９】
この発明によれば、レイアウトの途中段階で、配置されているセルが、ＩＲ−Ｄｒｏｐ違反またはＥ−ｍｉｇ違反を起こす配置となっているか否かを検証することができる。
【発明の効果】
【００２０】
本発明にかかる電源検証装置、電源検証方法、電源検証プログラム、および記録媒体によれば、設計ＴＡＴの低減化により検証作業の効率化および設計期間の短縮化を図ることができるという効果を奏する。
【発明を実施するための最良の形態】
【００２１】
以下に添付図面を参照して、この発明にかかる電源検証装置、電源検証方法、電源検証プログラム、および記録媒体の好適な実施の形態を詳細に説明する。
【００２２】
（電源検証装置のハードウェア構成）
まず、この発明の実施の形態にかかる電源検証装置のハードウェア構成について説明する。図１は、この発明の実施の形態にかかる電源検証装置のハードウェア構成を示すブロック図である。
【００２３】
図１において、電源検証装置は、ＣＰＵ１０１と、ＲＯＭ１０２と、ＲＡＭ１０３と、ＨＤＤ（ハードディスクドライブ）１０４と、ＨＤ（ハードディスク）１０５と、ＦＤＤ（フレキシブルディスクドライブ）１０６と、着脱可能な記録媒体の一例としてのＦＤ（フレキシブルディスク）１０７と、ディスプレイ１０８と、Ｉ／Ｆ（インターフェース）１０９と、キーボード１１０と、マウス１１１と、スキャナ１１２と、プリンタ１１３と、を備えている。また、各構成部はバス１００によってそれぞれ接続されている。
【００２４】
ここで、ＣＰＵ１０１は、電源検証装置の全体の制御を司る。ＲＯＭ１０２は、ブートプログラムなどのプログラムを記憶している。ＲＡＭ１０３は、ＣＰＵ１０１のワークエリアとして使用される。ＨＤＤ１０４は、ＣＰＵ１０１の制御にしたがってＨＤ１０５に対するデータのリード／ライトを制御する。ＨＤ１０５は、ＨＤＤ１０４の制御で書き込まれたデータを記憶する。
【００２５】
ＦＤＤ１０６は、ＣＰＵ１０１の制御にしたがってＦＤ１０７に対するデータのリード／ライトを制御する。ＦＤ１０７は、ＦＤＤ１０６の制御で書き込まれたデータを記憶したり、ＦＤ１０７に記憶されたデータを電源検証装置に読み取らせたりする。
【００２６】
また、着脱可能な記録媒体として、ＦＤ１０７のほか、ＣＤ−ＲＯＭ（ＣＤ−Ｒ、ＣＤ−ＲＷ）、ＭＯ、ＤＶＤ（Ｄｉｇｉｔａｌ  Ｖｅｒｓａｔｉｌｅ  Ｄｉｓｋ）、メモリーカードなどであってもよい。ディスプレイ１０８は、カーソル、アイコンあるいはツールボックスをはじめ、文書、画像、機能情報などのデータを表示する。このディスプレイ１０８は、たとえば、ＣＲＴ、ＴＦＴ液晶ディスプレイ、プラズマディスプレイなどを採用することができる。
【００２７】
Ｉ／Ｆ１０９は、通信回線を通じてインターネットなどのネットワーク１１４に接続され、このネットワーク１１４を介して他の装置に接続される。そして、Ｉ／Ｆ１０９は、ネットワーク１１４と内部のインターフェースを司り、外部装置からのデータの入出力を制御する。Ｉ／Ｆ１０９には、たとえばモデムやＬＡＮアダプタなどを採用することができる。
【００２８】
キーボード１１０は、文字、数字、各種指示などの入力のためのキーを備え、データの入力をおこなう。また、タッチパネル式の入力パッドやテンキーなどであってもよい。マウス１１１は、カーソルの移動や範囲選択、あるいはウィンドウの移動やサイズの変更などをおこなう。ポインティングデバイスとして同様に機能を備えるものであれば、トラックボールやジョイスティックなどであってもよい。
【００２９】
スキャナ１１２は、画像を光学的に読み取り、電源検証装置内に画像データを取り込む。なお、スキャナ１１２は、ＯＣＲ機能を持たせてもよい。また、プリンタ１１３は、画像データや文書データを印刷する。プリンタ１１３には、たとえば、レーザプリンタやインクジェットプリンタを採用することができる。
【００３０】
（電源検証装置の機能的構成）
つぎに、この発明の実施の形態にかかる電源検証装置の機能的構成について説明する。図２は、この発明の実施の形態にかかる電源検証装置の機能的構成を示すブロック図である。図２において、電源検証装置２００は、取得部２０１と、レイアウト部２０２と、電源配線判定部２０３と、電流量判定部２０４と、出力部２０５と、検証部２０６と、から構成されている。
【００３１】
まず、取得部２０１は、設計対象回路の電源リソース情報を取得する。ここで、設計対象回路とは、たとえば、設計者から提供されたＬＳＩやシステムＬＳＩなどの半導体回路である。また、電源リソース情報とは、電源配線可能なレイヤーごとに電源配線が占める電源リソースの見積もり情報であり、たとえば、当該レイヤーにおける電源配線の面積が占める割合（電源リソース）の見積もり値、当該レイヤーにおける電源配線の配線長、線幅、本数などの見積もり値が挙げられる。
【００３２】
たとえば、電源配線可能なレイヤーにおける電源配線の配線長、線幅および本数の見積もり値から電源配線面積の見積もり値を算出し、当該レイヤーの面積で割ることで、電源配線がレイヤーに占める割合（電源リソース）の見積もり値を得ることができる。
【００３３】
また、レイアウト部２０２は、電源配線レイアウト部２１１と配置・配線レイアウト部２１２とを有する。電源配線レイアウト部２１１は、設計対象回路の電源配線に関するレイアウトをおこなう。具体的には、設計対象回路の電源配線可能なレイヤーに対し、所定幅および所定本数の電源配線をレイアウトする。
【００３４】
図３は、レイアウトされたレイヤーを示す平面図である。図３において、（ａ）には、電源配線レイアウト部２１１によって電源配線がレイアウトされたレイヤー３００が示されている。このレイヤー３００には、電源配線３０１〜３０４が縦方向にレイアウトされており、また、電源配線３０５〜３０８が横方向にレイアウトされている。なお、電源配線３０１〜３０４と電源配線３０５〜３０８の線幅は同一でもよく、また、異なる線幅でもよい。この電源配線３０１〜３０８のレイアウトにより、格子状の複数の領域Ｒ（図３（ａ）では５×５個）が形成される。配置・配線レイアウト部２１２については後述する。
【００３５】
また、図２において、電源配線判定部２０３は、電源配線レイアウト部２１１によってレイアウトされた電源配線（仮電源配線）が、取得部２０１によって取得された電源リソース情報に従ってレイアウトされているか否かを判定する。具体的には、仮電源配線が、電源リソースの見積もり値や、電源配線の配線長、線幅または本数の見積もり値に従ってレイアウトされているか否かを判定する。
【００３６】
より具体的には、たとえば、電源リソースの見積もり値を用いて判定する場合、仮電源配線の電源配線面積を算出し、仮電源リソースを算出する。この算出された仮電源リソースが電源リソースの見積もり値に従ってレイアウトされているか否かを判定する。
【００３７】
また、電源配線の線幅の見積もり値を用いて判定する場合、仮電源配線の線幅（仮線幅）が線幅の見積もり値に従ってレイアウトされているか否かを判定する。さらに、電源配線の本数の見積もり値を用いて判定する場合も同様、仮電源配線の本数が電源配線の本数の見積もり値に従ってレイアウトされているか否かを判定する。
【００３８】
また、この判定手法では、上記見積もり値どおり、すなわち、見積もり値と一致している場合、上記見積もり値以上の場合、または上記見積もり値以上所定しきい値以下である場合に、上記見積もり値に従ってレイアウトされていると判定することができる。さらに、仮電源リソース、仮線幅および仮本数の判定結果を組み合わせることにより、判定することとしてもよい。
【００３９】
たとえば、仮電源リソースが、電源リソースの見積もり値に従ってレイアウトされていても、仮線幅（または仮本数）が線幅（または本数）の見積もり値に従ってレイアウトされていなければ、電源リソース情報に従ってレイアウトされていないと判定することができる。これとは反対に、仮線幅（または仮本数）が線幅（または本数）の見積もり値に従ってレイアウトされていなくても、仮電源リソースが、電源リソースの見積もり値に従ってレイアウトされていれば、電源リソース情報に従ってレイアウトされていると判定することができる。
【００４０】
また、配置・配線レイアウト部２１２は、設計対象回路のネットリストを用いて、設計対象回路内のセルの配置および信号線の配線に関するレイアウトをおこなう。配置・配線レイアウト部２１２は、たとえば、電源配線判定部２０３により電源リソース情報に従ってレイアウトされていると判定された場合、配置・配線に関するレイアウトをおこなう。
【００４１】
図３において、（ｂ）は、（ａ）で示した領域Ｒ中、任意の領域Ｒｉ内に配置されたセルおよび配線された信号線を示している。領域Ｒｉは、電源配線３０２，３０３，３０６，３０７に囲まれた領域である。この領域Ｒｉに、セル３１１〜３１４がネットリストにしたがって配置され、セル３１１およびセル３１２を接続する信号線３２１と、セル３１３およびセル３１４を接続する信号線３２２がネットリストにしたがって配線されている。
【００４２】
また、図２において、電流量判定部２０４は、配置・配線レイアウト部２１２によって配置されたセルの電流量が、電源リソース情報に応じた電流許容値以上であるか否かを判定する。これにより、レイアウトされたセルが、ＩＲ−Ｄｒｏｐ違反やＥ−ｍｉｇ違反を起こす配置となっているか否かを、後述する検証部２０６による電源検証処理に先立って実行することができる。
【００４３】
ここで、セルの電流量は、電源配線を通じてセルに供給されセルにおいて消費される電流量であり、たとえば、図３（ａ）に示した格子状の領域Ｒごとに設定される値である。具体的には、セルライブラリを参照することによって得ることができる。図４は、仮配線モデルを示すグラフであり、図５は、セルライブラリを示す説明図である。
【００４４】
たとえば、図３（ｂ）に示したセル３１１に着目すると、セル３１１の出力からセル３１２の入力までの配線長はＬｘである。したがって、図４に示した仮配線モデルＭのグラフを参照すると、配線長Ｌｘの配線容量ＣはＣｘとなる。また、セルライブラリ５００において、セル３１１が図５に示したセルＡｋに該当する場合、その電流量Ｊｋは、図４から得られた配線容量Ｃによって変化するため、配線容量ＣがＣｘであるとすると、電流量ＪｋはＪｋｘとなる。このように、領域Ｒｉ内の各セル３１１〜３１４の電流量を導き出す。
【００４５】
また、電源リソース情報に応じた電流許容値は、電源配線を通じてレイヤーに供給される電流量の許容値であり、たとえば、図３（ａ）に示した格子状の領域Ｒごとに設定される値である。具体的には、各領域Ｒ内の電源リソースの見積もり値から得られる値であり、たとえば、各領域Ｒに共通な一定の電流許容値（１０ｍＡ）とすることができる。また、また、電流許容値は、可変の値でもよく、たとえば、グラフ形式のパラメータに応じて設定することとしてもよい。この場合は、領域Ｒごとに異なる電流許容値を得ることができ、電流量判定部２０４による判定精度の向上を図ることができる。
【００４６】
図３（ａ）に示した領域Ｒｉの場合、電流量判定部２０４は、領域Ｒｉ内に配置されたセル３１１〜３１４の総電流量と電流許容値とを比較する。そして、セル３１１〜３１４の総電流量が電流許容値以上である場合、ＩＲ−Ｄｒｏｐ違反またはＥ−ｍｉｇ違反を起こす配置、具体的には、領域Ｒｉにセルが集中配置されていることがわかる。
【００４７】
このような場合、配置・配線レイアウト部２１２は、当該違反となった領域Ｒに配置されているセルの配置を修正する。領域Ｒｉを例に挙げると、たとえば、図３（ａ）において、領域Ｒｉの周囲８近傍の領域Ｒ１〜Ｒ８のいずれかに、領域Ｒｉの任意のセルを配置替えする。領域Ｒ１〜Ｒ８から修正先の領域Ｒｊの決定については、セル数が少ない領域を修正先の領域Ｒｊに決定することができる。また、各領域Ｒ１〜Ｒ８の電流量を比較して最も電流量が小さい領域を修正先の領域Ｒｊに決定することができる。
【００４８】
図３（ｃ）は、配置を修正した例を示している。図３（ｃ）では、修正先の領域Ｒｊを領域Ｒ５とし、領域Ｒｉのセル３１２を領域Ｒ５に配置替えしたことを示している。この修正後、セル３１２が削除されたことにより、領域Ｒｉの総電流量が小さくなる。そして、電流量判定部２０４では、総電流量が小さくなった領域Ｒｉに対し、電流許容値に違反しているか否かを判定する。このように、違反がなくなるまで配置・配線レイアウト部２１２による最適な配置替えとなるよう修正を繰り返す。なお、修正しても違反が解消されない場合、取得部２０１により再度電源リソース情報を取得する。
【００４９】
また、出力部２０５は、配置・配線レイアウト部２１２によりセルの配置を修正する場合、セルの配置の修正に関する情報（修正情報）を出力する。修正情報とは、たとえば、修正先の領域Ｒｊや、当該領域Ｒｊでの具体的な配置位置、領域Ｒｊにおける修正後のレイアウトなどが挙げられる。また、修正情報の出力は、ディスプレイ１０８への表示、プリンタ１１３への印刷出力などによっておこなわれる。
【００５０】
また、配置・配線レイアウト部２１２による修正処理が自動的に実行される場合には、修正情報を出力するだけでよい。一方、修正先の領域Ｒｊの候補が複数ある場合、設計者に決定させるために、設計者指示入力を促す表示をディスプレイ１０８に表示することとしてもよい。この場合、配置・配線レイアウト部２１２は、設計者から指示された領域Ｒｊに対して修正処理を実行することとなる。
【００５１】
また、図２において、検証部２０６は、設計対象回路の電源検証をおこなう。電源検証とは、ＩＲ−Ｄｒｏｐ違反およびＥ−ｍｉｇ違反の検証をおこなう。この検証処理は従来と同様であるので、ここでは、省略する。検証部２０６による検証処理は、電源配線判定部２０３によって判定された判定結果と電流量判定部２０４によって判定された判定結果とのうち少なくともいずれか一方の判定結果に基づいて実行する。
【００５２】
たとえば、電源配線判定部２０３によって電源リソース情報に従ってレイアウトされたと判定された場合にのみ、検証処理を実行してもよく、電流量判定部２０４によって電流許容値以上でないと判定された場合にのみ、検証処理を実行してもよい。さらに、電源配線判定部２０３によって電源リソース情報に従ってレイアウトされたと判定され、かつ、電流量判定部２０４によって電流許容値以上でないと判定された場合に、検証処理を実行することで、レイアウトの途中段階での電源チェックを実現することができる。
【００５３】
なお、上述した取得部２０１、レイアウト部２０２、電源配線判定部２０３、電流量判定部２０４、出力部２０５および検証部２０６は、具体的には、たとえば、図１に示したＲＯＭ１０２、ＲＡＭ１０３、ＨＤ１０５などの記録媒体に記録されたプログラムを、ＣＰＵ１０１が実行することによって、またはＩ／Ｆ１０９によって、その機能を実現する。
【００５４】
（電源検証処理手順）
つぎに、この発明の実施の形態にかかる電源検証装置２００の電源検証処理手順について説明する。図６は、この発明の実施の形態にかかる電源検証装置２００の電源検証処理手順を示すフローチャートである。図６において、まず、取得部２０１により電源リソース情報を取得する（ステップＳ６０１）。
【００５５】
つぎに、電源配線レイアウト部２１１により、電源配線可能なレイヤーに電源配線をレイアウトする（ステップＳ６０２）。そして、ステップＳ６０１で取得された電源リソース情報に従って、電源配線がレイアウトされたか否かを判定する（ステップＳ６０３）。電源リソース情報に従ってレイアウトされていないと判定された場合（ステップＳ６０３：Ｎｏ）、ステップＳ６０２に戻って、再度電源配線をレイアウトし直す。一方、電源リソース情報に従ってレイアウトされていると判定された場合（ステップＳ６０３：Ｙｅｓ）、配置・配線レイアウト部２１２により、セルの配置および信号線の配線のレイアウトをおこなう（ステップＳ６０４）。
【００５６】
そして、電流量判定部２０４は、未処理のレイヤーを指定し（ステップＳ６０５）、指定された未処理のレイヤーから未処理の領域Ｒｉを指定する（ステップＳ６０６）。そして、指定された領域Ｒｉに配置されたセルの総電流量が、電流許容値以上であるか否かを判定する（ステップＳ６０７）。
【００５７】
そして、ステップＳ６０７において、電流許容値以上であると判定された場合（ステップＳ６０７：Ｙｅｓ）、指定された領域Ｒにおいてセルが集中配置されていることとなり、ＩＲ−Ｄｒｏｐ違反またはＥ−ｍｉｇ違反を起こす配置である可能性が高い。したがって、配置・配線レイアウト部２１２により、セルの配置修正を実行する（ステップＳ６０８）。この場合、配置修正候補がある場合（ステップＳ６０９：Ｙｅｓ）、その中から最適な修正配置を決定し（ステップＳ６１０）、ステップＳ６０６に戻る。
【００５８】
具体的には、配置・配線レイアウト部２１２が配置修正候補の中から、セル数や総電流量が最小な領域を、修正先の領域Ｒｊに自動的に決定する。また、出力部２０５により配置修正候補をディスプレイ１０８に表示して、設計者からの指示入力により修正先の領域Ｒｊを決定する。なお、この場合、修正先の領域Ｒｊがすでに処理されている場合、未処理の領域となり、ステップＳ６０６での指定の対象となる。
【００５９】
また、ステップＳ６０９において、配置修正候補がない場合（ステップＳ６０９：Ｎｏ）、電源リソース情報をあらたに設定しなおす必要があるため、ステップＳ６０１に戻り、あらたな電源リソース情報を取得する。
【００６０】
また、ステップＳ６０７において、電流許容値以上でないと判定された場合（ステップＳ６０７：Ｎｏ）、未処理の領域が他にあるか否か判断する（ステップＳ６１１）。未処理の領域がある場合（ステップＳ６１１：Ｙｅｓ）、ステップＳ６０６に戻って、未処理の領域を指定する。一方、未処理の領域がない場合（ステップＳ６１１：Ｎｏ）、未処理のレイヤーがあるか否かを判断する（ステップＳ６１２）。未処理のレイヤーがある場合（ステップＳ６１２：Ｙｅｓ）、ステップＳ６０５に戻って未処理のレイヤーを指定する。
【００６１】
一方、未処理のレイヤーがない場合（ステップＳ６１２：Ｎｏ）、検証部２０６により電源検証処理を実行する（ステップＳ６１３）。この電源検証処理により、ＩＲ−Ｄｒｏｐ違反またはＥ−ｍｉｇ違反がある、すなわち検証ＮＧと判断された場合（ステップＳ６１４：Ｎｏ）、ステップＳ６０１に戻って、再度電源リソース情報を取得する。一方、ＩＲ−Ｄｒｏｐ違反またはＥ−ｍｉｇ違反がない、すなわち検証ＯＫと判断された場合（ステップＳ６１４：Ｙｅｓ）、一連の処理を終了する。
【００６２】
上述した実施の形態では、レイアウトの途中段階において、電源配線のリソースが妥当であるか否かの検証をおこなうことができる。したがって、レイアウト完了後における電源リソース不足の発生を未然に抑制することができる。したがって、設計の手戻りを防止することができ、設計者の作業労力の軽減および設計期間の短縮化を図ることができる。
【００６３】
また、必要に応じて、電源配線判定部２０３による判定処理と電流量判定部２０４による判定処理のうち、いずれか一方、または両方の判定処理を実行することにより、設計対象回路や設計労力、設計期間に応じた電源検証処理を実現することができる。たとえば、より高精度の電源検証をする場合には、両方の判定処理をおこなうこととし、設計期間に余裕がない場合などには、いずれか一方の判定処理のみをおこなうことで、設計者のニーズにあった電源検証処理を実現することができる。
【００６４】
以上説明したように、この発明の電源検証装置、電源検証方法、電源検証プログラム、および記録媒体によれば、設計ＴＡＴの低減化により検証作業の効率化および設計期間の短縮化を図ることができる。
【００６５】
なお、本実施の形態で説明した電源検証方法は、予め用意されたプログラムをパーソナル・コンピュータやワークステーション等のコンピュータで実行することにより実現することができる。このプログラムは、ハードディスク、フレキシブルディスク、ＣＤ−ＲＯＭ、ＭＯ、ＤＶＤ等のコンピュータで読み取り可能な記録媒体に記録され、コンピュータによって記録媒体から読み出されることによって実行される。またこのプログラムは、インターネット等のネットワークを介して配布することが可能な伝送媒体であってもよい。
【００６６】
（付記１）設計対象回路の電源リソース情報を取得する取得手段と、
前記設計対象回路の電源配線に関するレイアウトをおこなう電源配線レイアウト手段と、
前記電源配線レイアウト手段によってレイアウトされた電源配線が、前記取得手段によって取得された電源リソース情報に従ってレイアウトされているか否かを判定する電源配線判定手段と、
前記電源配線判定手段によって判定された判定結果に基づいて、前記設計対象回路の電源検証をおこなう検証手段と、
を備えることを特徴とする電源検証装置。
【００６７】
（付記２）前記電源配線判定手段により前記電源リソース情報に従ってレイアウトされていると判定された場合、配置・配線に関するレイアウトをおこなう配置・配線レイアウト手段と、
前記配置・配線レイアウト手段によって配置されたセルの電流量が、前記電源リソース情報に応じた電流許容値以上であるか否かを判定する電流量判定手段と、を備え、
前記検証手段は、
前記電流量判定手段によって判定された判定結果に基づいて、前記設計対象回路の電源検証をおこなうことを特徴とする付記１に記載の電源検証装置。
【００６８】
（付記３）前記配置・配線レイアウト手段は、
前記電流量判定手段により電流許容値以上であると判定された場合、前記セルの配置を修正し、
前記電流量判定手段は、
前記配置・配線レイアウト手段によって配置が修正された結果、前記セルの電流量が、前記電流許容値以上であるか否かを判定することを特徴とする付記２に記載の電源検証装置。
【００６９】
（付記４）前記配置・配線レイアウト手段により前記セルの配置を修正する場合、前記セルの配置の修正に関する情報を出力する出力手段を備えることを特徴とする付記３に記載の電源検証装置。
【００７０】
（付記５）前記取得手段は、
前記配置・配線レイアウト手段による前記セルの配置修正候補がない場合、前記電源リソース情報よりも大きいあらたな電源リソース情報を取得することを特徴とする付記３または４に記載の電源検証装置。
【００７１】
（付記６）設計対象回路の電源リソース情報を取得する取得手段と、
前記設計対象回路のレイアウトをおこなうレイアウト手段と、
前記レイアウト手段によって配置されたセルの電流量が、前記取得手段によって取得された電源リソース情報に応じた電流許容値以上であるか否かを判定する電流量判定手段と、
前記電流量判定手段によって判定された判定結果に基づいて、前記設計対象回路の電源検証をおこなう検証手段と、
を備えることを特徴とする電源検証装置。
【００７２】
（付記７）設計対象回路の電源リソース情報を取得する取得工程と、
前記設計対象回路の電源配線に関するレイアウトをおこなう電源配線レイアウト工程と、
前記電源配線レイアウト工程によってレイアウトされた電源配線が、前記取得工程によって取得された電源リソース情報に従ってレイアウトされているか否かを判定する電源配線判定工程と、
前記電源配線判定工程によって判定された判定結果に基づいて、前記設計対象回路の電源検証をおこなう検証工程と、
を含んだことを特徴とする電源検証方法。
【００７３】
（付記８）設計対象回路の電源リソース情報を取得する取得工程と、
前記設計対象回路のレイアウトをおこなうレイアウト工程と、
前記レイアウト工程によって配置されたセルの電流量が、前記取得工程によって取得された電源リソース情報に応じた電流許容値以上であるか否かを判定する電流量判定工程と、
前記電流量判定工程によって判定された判定結果に基づいて、前記設計対象回路の電源検証をおこなう検証工程と、
を含んだことを特徴とする電源検証方法。
【００７４】
（付記９）設計対象回路の電源リソース情報を取得させる取得工程と、
前記設計対象回路の電源配線に関するレイアウトをおこなわせる電源配線レイアウト工程と、
前記電源配線レイアウト工程によってレイアウトされた電源配線が、前記取得工程によって取得された電源リソース情報に従ってレイアウトされているか否かを判定させる電源配線判定工程と、
前記電源配線判定工程によって判定された判定結果に基づいて、前記設計対象回路の電源検証をおこなわせる検証工程と、
をコンピュータに実行させることを特徴とする電源検証プログラム。
【００７５】
（付記１０）設計対象回路の電源リソース情報を取得させる取得工程と、
前記設計対象回路のレイアウトをおこなわせるレイアウト工程と、
前記レイアウト工程によって配置されたセルの電流量が、前記取得工程によって取得された電源リソース情報に応じた電流許容値以上であるか否かを判定させる電流量判定工程と、
前記電流量判定工程によって判定された判定結果に基づいて、前記設計対象回路の電源検証をおこなわせる検証工程と、
をコンピュータに実行させることを特徴とする電源検証プログラム。
【００７６】
（付記１１）付記９または１０に記載の電源検証プログラムを記録したコンピュータに読み取り可能な記録媒体。
【産業上の利用可能性】
【００７７】
以上のように、本発明にかかる電源検証装置、電源検証方法、電源検証プログラム、および記録媒体は、ＬＳＩやシステムＬＳＩの電源検証に有用である。
【図面の簡単な説明】
【００７８】
【図１】この発明の実施の形態にかかる電源検証装置のハードウェア構成を示すブロック図である。
【図２】この発明の実施の形態にかかる電源検証装置の機能的構成を示すブロック図である。
【図３】レイアウトされたレイヤーを示す平面図である。
【図４】仮配線モデルを示すグラフである。
【図５】セルライブラリを示す説明図である。
【図６】この発明の実施の形態にかかる電源検証装置の電源検証処理手順を示すフローチャートである。
【符号の説明】
【００７９】
２００  電源検証装置
２０１  取得部
２０２  レイアウト部
２０３  電源配線判定部
２０４  電流量判定部
２０５  出力部
２０６  検証部
２１１  電源配線レイアウト部
２１２  配置・配線レイアウト部
【図１】
2006343849.tif 000003
【図２】
2006343849.tif 000004
【図３】
2006343849.tif 000005
【図４】
2006343849.tif 000006
【図５】
2006343849.tif 000007
【図６】
2006343849.tif 000008