(57)【特許請求の範囲】
【請求項１】
ＲＣネットの伝搬遅延時間を回路検証に利用する回路設計検証装置において、
伝搬遅延時間の算出対象のＲＣネットと当該ＲＣネットを駆動するセルの情報を取り込む対象ＲＣネット情報入力手段と、
伝搬遅延時間の算出対象のＲＣネット上の各ノードでの伝搬遅延時間を、所定の算出方法に従って得るＲＣ遅延取得手段と、
予め回路モデルから求められている補正比データを格納している補正比記憶手段と、
上記ＲＣ遅延取得手段が得た伝搬遅延時間の算出対象のＲＣネット上の各ノードでの伝搬遅延時間を、そのＲＣネットの構成に応じて上記補正比記憶手段から取り出した補正比データを用いて補正するＲＣ遅延補正手段とを有し、
上記補正比記憶手段は、回路モデルでの規格化されたノード位置毎の補正比データを記憶しているものであり、
上記ＲＣ遅延補正手段は、
伝搬遅延時間の算出対象のＲＣネット上の各ノード位置を規格化するノード位置規格化部と、
伝搬遅延時間の算出対象のＲＣネット上の規格化されたノード位置の補正比データが、上記補正比記憶手段に直接存在しない場合に、その規格化されたノード位置の補正比データを、上記補正比記憶手段に補正比データが存在する規格化ノード位置での補正比データに対する補間処理で得る補正比補間部とを有し、
上記ノード位置規格化部は、伝搬遅延時間の算出対象のＲＣネットについての容量変更後には、容量比又は配線長に基づいてノード位置の規格化を行う
ことを特徴とする回路設計検証装置。
【請求項２】
ＲＣネットの伝搬遅延時間を回路検証に利用する回路設計検証装置において、
伝搬遅延時間の算出対象のＲＣネットと当該ＲＣネットを駆動するセルの情報を取り込む対象ＲＣネット情報入力手段と、
伝搬遅延時間の算出対象のＲＣネット上の各ノードでの伝搬遅延時間を、所定の算出方法に従って得るＲＣ遅延取得手段と、
予め回路モデルから求められている補正比データを格納している補正比記憶手段と、
上記ＲＣ遅延取得手段が得た伝搬遅延時間の算出対象のＲＣネット上の各ノードでの伝搬遅延時間を、そのＲＣネットの構成に応じて上記補正比記憶手段から取り出した補正比データを用いて補正するＲＣ遅延補正手段とを有し、
上記補正比記憶手段は、回路モデルにおけるセルの動作時抵抗と、回路モデルにおけるＲＣネットの総抵抗との比が同一のものに対しては、１組の補正比データを格納しているものである
ことを特徴とする回路設計検証装置。
【請求項３】
請求項１又は２に記載の回路設計検証装置において、
上記対象ＲＣネット情報入力手段が取り込む、伝搬遅延時間の算出対象のＲＣネットが、レイアウトパターンの設計前の上記回路モデルと同様な構成を有する仮想負荷であることを特徴とする回路設計検証装置。
【請求項４】
請求項１〜３のいずれかに記載の回路設計検証装置において、
上記補正比記憶手段は、周波数依存性を水準として、補正比データ群を弁別して記憶しており、
上記ＲＣ遅延補正手段は、伝搬遅延時間の算出対象のＲＣネットについて指示された周波数をも水準として、上記補正比記憶手段を参照する
ことを特徴とする回路設計検証装置。
【請求項５】
請求項１〜４のいずれかに記載の回路設計検証装置において、
上記補正比記憶手段は、セルの回路閾値依存性を水準として、補正比データ群を弁別して記憶しており、
上記ＲＣ遅延補正手段は、伝搬遅延時間の算出対象のＲＣネットについて指示された回路閾値をも水準として、上記補正比記憶手段を参照する
ことを特徴とする回路設計検証装置。
【請求項６】
請求項１〜５のいずれかに記載の回路設計検証装置において、
上記補正比記憶手段は、セルへの入力波形依存性を水準として、補正比データ群を弁別して記憶しており、
上記ＲＣ遅延補正手段は、伝搬遅延時間の算出対象のＲＣネットについて指示された入力波形をも水準として、上記補正比記憶手段を参照する
ことを特徴とする回路設計検証装置。
【請求項７】
請求項１〜６のいずれかに記載の回路設計検証装置において、
上記ＲＣ遅延取得手段が、伝搬遅延時間の算出対象のＲＣネット上の各ノードでの伝搬遅延時間を得る所定の算出方法がｅｌｍｏｒｅのＲＣ遅延式を用いた方法である
ことを特徴とする回路設計検証装置。
【発明の詳細な説明】
【０００１】
【発明の属する技術分野】
本発明は回路設計検証装置に関し、例えば、ＬＳＩの回路パターンのレイアウト設計後に行われるタイミング検証に適用し得るものである。
【０００２】
【従来の技術】
文献『Ｈ．Ｂ．Ｂａｋｏｇｌｕ著、「Ｃｉｒｃｕｉｔｓ，Ｉｎｔｅｒｃｏｎｎｅｃｔｉｏｎｓ，ａｎｄ  Ｐａｃｋａｇｅ  ｆｏｒ  ＶＬＳＩ」、Ｗｅｓｌｅｙ  Ｐｕｂｌｉｓｈｉｎｇ  Ｃｏｍｐａｎｙ発行、１９９０年：
対応する翻訳本；中澤喜三郎、中村宏監訳、「ＶＬＳＩシステム設計−回路と実装の基礎」、丸善株式会社発行』
論理回路を主体とした実ＬＳＩ上でそのタイミングを考慮した論理が保証されるように、ＬＳＩの回路パターンのレイアウト設計後にタイミング検証（タイミングのバックアノテーション；ポストレイアウト検証とも呼ばれる）が行われる。検証対象となる回路（ＬＳＩ）は、構成要素として、駆動するセルと、駆動される抵抗及び容量の接続関係であるＲＣネットワーク（以下、ＲＣネットと呼ぶ）との階層を有している。そして、タイミング検証では、駆動セルにより駆動されるＲＣネットでの遅延時間を各駆動セル毎に求め、それら遅延時間の総和等に基づいて判定がなされる。
【０００３】
従来、この種のＬＳＩのタイミング検証装置で遅延時間の算出に用いる回路モデルとその算出手法としては、図２に示すような回路モデル（上記文献の図５．５に表されている回路モデルである）とその対応式である（１）式〜（４）式（上記文献の（５．６）〜（５．９）式）に示されるものがある。この算出方法は、回路モデルの構成要素である抵抗Ｒと容量Ｃの偏在については特に関わらないものであった。なお、図２に表されているような回路モデルはｅｌｍｏｒｅの遅延モデルと呼ばれ、また、（１）式〜（４）式のような遅延時間の算出式はｅｌｍｏｒｅの遅延式と呼ばれている。（１）式〜（４）式におけるＴxyは、点ｘから点ｙまでの５０％遅延時間である。
【０００４】
【数１】
0004135210.tif 000002
図３は、従来のＬＳＩのタイミング検証装置の構成を示すものである。図３において、ＲＣネットリスト入力部１が検証対象のＲＣネットリストを取り込み、検証手段の選択判定部２が、検証対象のＲＣネットリストの規模や要求精度を判定し、ＲＣネットリストの量が少ない場合や要求精度が高い場合等には、算出精度が高いアナログ回路シミュレーション（例えばｓｐｉｃｅシュミレーション）４によって遅延時間（ＲＣ遅延時間と呼ぶ）を求め、ＲＣネットリストの量が多い場合や要求精度が低い場合等には、ＲＣ遅延計算部３が上述したｅｌｍｏｒｅの遅延式によってＲＣ遅延時間を求め、得られたＲＣ遅延時間をＲＣ遅延出力部５が出力する。
【０００５】
上述した（１）〜（４）式から明らかなように、ｅｌｍｏｒｅの遅延式は、加算及び乗算だけでなる簡単な演算式であるので、アナログ回路シミュレーションより精度は低いが、高速にＲＣ遅延時間を求めることができるので、ＲＣネットリストの量が多い場合や要求精度が低い場合に適用される。
【０００６】
【発明が解決しようとする課題】
ところで、実ＬＳＩ上のレイアウトパターンの微細化が進み、ＬＳＩの同期回路の基準タイミング系（クロック系）と他の信号系との相互精度の許容範囲が狭くなってきている。特に、ロジックを主体とするＬＳＩレイアウトパターンの特徴である、ＲＣネットのランダム性に対しては、先の相互精度に対する許容範囲はＬＳＩの高速化と共にいっそう減少しており、論理動作の実現保証も難しくなる傾向が増している。
【０００７】
上述のように、従来、高精度なタイミング検証は、ｓｐｉｃｅに代表されるアナログ回路シミュレーションによる数値解によっていた。しかし、高集積度化が進み論理が複雑になるロジックＬＳＩでは、レイアウトパターンの微細化に応じて増大するランダムなＲＣネットに対し、実用的時間内でアナログ回路シミュレーションを行うことが難しくなってきている。そのため、ＬＳＩチップ全体のレイアウトパターンがタイミング検証の対象となる階層でのＲＣネットの遅延計算には、アナログ回路シミュレーションの代用として、ｅｌｍｏｒｅの遅延モデルなどに基づきＲＣネットの枝毎に計算手法を定めた、ＲＣ遅延式を用いるようになってきた。
【０００８】
一方、近年になると微細化に合わせた信頼性向上のために、駆動するセルと駆動されるＲＣネットの間の抵抗関係が変化してきている。例えば、アルミ配線から、微細パターンでも断線が防止できるように、アルミとバリアメタルとを接合した配線への変化により、抵抗が高くなる傾向にある。ＲＣネットの間の抵抗関係が変化した結果、レイアウト後に抵抗成分の偏在を通して、ＲＣネットの駆動点近傍での応答波形変化が全体での変化に対して、予想以上に高感度になる場合が生じる。この現象のために、ＬＳＩのレイアウトパターンの中ではランダムになりがちな論理回路の構成部分では、ＲＣネットの近端部において必要な精度でタイミング検証を行うことが難しくなってきた。
【０００９】
そのため、ｅｌｍｏｒｅのＲＣ遅延式等のＲＣ遅延式を適用したタイミング検証の精度を従来より高めることができる回路設計検証装置が求められている。
【００１０】
【課題を解決するための手段】
かかる課題を解決するため、第１の本発明は、ＲＣネットの伝搬遅延時間を回路検証に利用する回路設計検証装置において、（１）伝搬遅延時間の算出対象のＲＣネットと当該ＲＣネットを駆動するセルの情報を取り込む対象ＲＣネット情報入力手段と、（２）伝搬遅延時間の算出対象のＲＣネット上の各ノードでの伝搬遅延時間を、所定種類の算出方法に従って得るＲＣ遅延取得手段と、（３）予め回路モデルから求められている補正比データを格納している補正比記憶手段と、（４）上記ＲＣ遅延取得手段が得た伝搬遅延時間の算出対象のＲＣネット上の各ノードでの伝搬遅延時間を、そのＲＣネットの構成に応じて上記補正比記憶手段から取り出した補正比データを用いて補正するＲＣ遅延補正手段とを有し、（５）上記補正比記憶手段は、回路モデルでの規格化されたノード位置毎の補正比データを記憶しているものであり、（６）上記ＲＣ遅延補正手段は、（６−１）伝搬遅延時間の算出対象のＲＣネット上の各ノード位置を規格化するノード位置規格化部と、（６−２）伝搬遅延時間の算出対象のＲＣネット上の規格化されたノード位置の補正比データが、上記補正比記憶手段に直接存在しない場合に、その規格化されたノード位置の補正比データを、上記補正比記憶手段に補正比データが存在する規格化ノード位置での補正比データに対する補間処理で得る補正比補間部とを有し、（７）上記ノード位置規格化部は、伝搬遅延時間の算出対象のＲＣネットについての容量変更後には、容量比又は配線長に基づいてノード位置の規格化を行うことを特徴とする。
また、第２の本発明は、ＲＣネットの伝搬遅延時間を回路検証に利用する回路設計検証装置において、（１）伝搬遅延時間の算出対象のＲＣネットと当該ＲＣネットを駆動するセルの情報を取り込む対象ＲＣネット情報入力手段と、（２）伝搬遅延時間の算出対象のＲＣネット上の各ノードでの伝搬遅延時間を、所定の算出方法に従って得るＲＣ遅延取得手段と、（３）予め回路モデルから求められている補正比データを格納している補正比記憶手段と、（４）上記ＲＣ遅延取得手段が得た伝搬遅延時間の算出対象のＲＣネット上の各ノードでの伝搬遅延時間を、そのＲＣネットの構成に応じて上記補正比記憶手段から取り出した補正比データを用いて補正するＲＣ遅延補正手段とを有し、（５）上記補正比記憶手段は、回路モデルにおけるセルの動作時抵抗と、回路モデルにおけるＲＣネットの総抵抗との比が同一のものに対しては、１組の補正比データを格納しているものであることを特徴とする。
【００１１】
【発明の実施の形態】
（Ａ）第１の実施形態
以下、本発明による回路設計検証装置の第１の実施形態を図面を参照しながら詳述する。
【００１２】
第１の実施形態は、ｅｌｍｏｒｅのＲＣ遅延式等のＲＣ遅延式を適用して得られた遅延時間（伝搬遅延時間）の結果に対して、Ｒ、Ｃの偏在や、駆動セルとＲＣネットとの間の抵抗を介した相関等を考慮して、補正を行う機能を追加した点に特徴を有するものである。すなわち、得られた遅延時間における誤差を少なくするように、補正を行う機能を追加した点に特徴を有するものである。
【００１３】
（Ａ−１）第１の実施形態の構成
図１は、第１の実施形態の回路設計検証装置の全体構成を示すブロック図である。実際上に、回路設計検証装置は、ハードディスク等の大容量記憶装置を備えたワークステーションやパソコン等で構成されるが、機能ブロックで示すと、図１で表すことができる。
【００１４】
図１において、第１の実施形態の回路設計検証装置は、ＲＣネットリスト入力部１１、ＲＣ遅延計算部１２、ノード位置規格化部１３、補正比算出部１４、補正比位置規格化部１５、補正比データファイル１６、補正比補間部１７、ＲＣ遅延補正部１８及びＲＣ遅延出力部１９を有する。
【００１５】
第１の実施形態の回路設計検証装置は、大きくは２部分からなる。第１は、ＲＣネットリスト入力部１１、ＲＣ遅延計算部１２、ノード位置規格化部１３、ＲＣ遅延補正部１８及びＲＣ遅延出力部１９からなる部分であり、検証対象のレイアウトパターンから抽出されたＲＣネットを処理して伝搬遅延時間を計算する部分である。また、第２は、補正比算出部１４、補正比位置規格化部１５、補正比データファイル１６及び補正比補間部１７からなる部分であり、ＲＣネット上の遅延時間の補正を行う比からなるデータ群を作成して格納する部分である。ここで、第１の構成部分の要素であるＲＣ遅延補正部１８が、第２の構成部分の要素である補正比データファイル１６に格納された補正比データを利用する。
【００１６】
ＲＣネットリスト入力部１１は、回路設計検証の対象となる回路網のＲＣネットリストを入力するものである。ＲＣネットリストとは、例えば、ＬＳＩ（この明細書では半導体集積回路をその規模に関係なくＬＳＩと呼んでいる）上のトランジスタで構成される駆動セルと、駆動される側の配線や次段のトランジスタ等による抵抗と容量とからなる負荷を組合わせたネットリストである。すなわち、セルとＲＣネットによる回路網のリストが入力される。
【００１７】
ＲＣ遅延計算部１２は、入力されたＲＣネットに対して、ＲＣネット上の応答波形の伝搬遅延時間を特定の回路閾値を定めて算出する。ここでは、ＲＣネットの枝を単位にＲＣ遅延時間を計算するＲＣ遅延式（例えば、上述したｅｌｍｏｒｅの遅延式）が用いられる。
【００１８】
ノード位置規格化部１３は、多様なＲＣネットに対する伝搬遅延の結果を、一般化して扱うために、ＲＣネットの枝の接点（ノード〉の位置を、ノード間の長さ等に影響されないように規格化する。この規格化でＲＣネットの全ノードは、同一の軸上で定量的に表される。この規格化は、後述する補正比位置規格化部１５での規格化に対応している。
【００１９】
ＲＣ遅延補正部１８は、ノード位置規格化部１３により一般化された位置にあるノード毎の伝搬遅延時間値に対して、補正比データファイル１６の補正比を用いて補正を行うものである。このとき、規格化された軸上の全てのノード位置で補正を可能にするために、補正比データファイル１６の離散的データに対しては、補正比補間部１７により曲線（直線を含む概念）で補間を行う。
【００２０】
ＲＣ遅延出力部１８は、補正された伝搬遅延時間値を、次の階層の設計検証装置に最終結果として渡すものである。例えば、タイミング情報を含めた論理設計検証装置に渡すものである。
【００２１】
補正比データファイル１６に格納されている補正比は、補正比算出部１４と補正比位置規格化部１５とにより予め作成されている。
【００２２】
補正比算出部１４は、ＲＣネットリストとこれを駆動するセルからなる回路モデルにおいて、ＲＣネットのノード毎の遅延時間を算出し、真値に対する補正比を求めるものである。真値としては、例えば、ｓｐｉｃｅ等のアナログ回路シミュレータから求めた伝搬遅延時間を適用する。格納されている補正比データは、検証対象回路となるセルとＲＣネットの（駆動側と負荷側の）組合せに応じたモデルから求められる。この補正比データ群は、後でセルとＲＣネットの間の抵抗比により層別され、先の規格化された位置に並べられる。
【００２３】
補正比位置規格化部１５は、ＲＣネットのノード毎の補正比データを配線長の比により規格化された軸上に並べ直すものである。例えば、配線長の比の軸上で、ＲＣネットのノードの位置は０から１までの値で定量化される。この定量化された軸を、補正比データファイル１６を構成する１軸とする。同様に、この補正比データファイル１６を構成する軸として、セルとＲＣネットとの間の抵抗比を用いる。この抵抗比により、補正比データ群をＲＣネットの容量に対して層別を行う。
【００２４】
補正比データファイル１６に格納されている補正比データ群は、補正比位置規格化部１５で既述した配線長の比（規格化されたノード位置）毎の補正比データにより構成されている。また、抵抗比の軸により層別された補正比データ群である。
【００２５】
補正比補間部１７は、直線を含む曲線により、補正比データファイル１６の補正比データ群の補間を行うものである。すなわち、補正比データファイル１６が補正比データを格納している離散的な規格化ノード位置の中間位置の補正比データを、それら複数の規格化ノード位置の補正比データから補間して求めるものである。軸の離散値を結ぶための補間曲線は、通常の１次や２次等の線形式に従うものである。
【００２６】
（Ａ−２）第１の実施形態の補正比データの作成方法
以下では、補正比データファイル１６に格納する補正比データの作成方法を詳述する。
【００２７】
（Ａ−２−１）適用する回路モデル
まず、補正比算出部１４が補正比データファイル１６を作成するために使用する回路モデルについて説明する。
【００２８】
図４（Ａ）は、その回路モデルの一例を示すものである。ＲＣネットを駆動するセルと駆動される負荷となるＲＣネットとが点Ａを介して接続される。セルは駆動時の実効的抵抗（以降Ｒｏｎで表す）により、一方、ＲＣネットを構成する枝一本一本は分布定数モデルにより表している。この回路モデルでは、ＲＣネットが６枝としている例である。なお、近年のＬＳＩの微細化を考慮した場合、各枝ｐａｉ３１、…、ｐａｉ３６は集中定数線路より分布定数線路でモデル化することが好ましい。各枝ｐａｉ３１、…、ｐａｉ３６はそれぞれ、分布定数線路の表現に十分な回路モデルとするために、図４（Ｂ）に示すような構成で表されるπ型３段モデルで記述されている。
【００２９】
図５は、このような回路モデルのｓｐｉｃｅシュミレーションでの表現による記述例を示すものである。ここでは、各枝が、ネットリストのサブサーキット（．ｓｕｂｃｋｔ）で記述されており、その名称ｐａｉ３１、…、ｐａｉ３６は、図４（Ａ）や後述する図６での枝名に対応している。Ｒ（抵抗）と（容量）Ｃの記述部はＲ、Ｃ水準の記述用に変数化され、ａｌｃ１、ａｌｒ１、…、ａｌｃ６、ａｌｒ６で示されている。このネットリスト部の形式化と変数化により、０値を含む任意のＲ、Ｃの組合せで枝の回路モデル化を行い、容量性負荷を主体としたシミュレーション水準値を実現する。また、ＲＣネット記述部（ｍａｉｎ）で、駆動セル（Ｒｏｎ）に近い方からの枝ｐａｉ３１、…、ｐａｉ３６の並びを記述している。
【００３０】
上述したように、回路モデルでのＲＣネットは、６本のＲＣ負荷の枝の縦続接続で構成されており、図４（Ａ）にイメージ的に示すように、セル側の近端部から遠端部にかけて、各枝ｐａｉ３１、…、ｐａｉ３６は短い枝から長い枝へ順に変化している。すなわち、セルがＲＣネットに信号を入力する駆動点ＡがＲＣネットの最近端部となっている。また、各枝の長さｐａｉ３１、…、ｐａｉ３６は、図６に示すように、ＲとＣの水準の組合せに関わらずに、ＲＣネットの全抵抗Ｒ又は全容量Ｃを、ほぼ等比的あるいは対数的な関係で割り付けたものとなっている。
【００３１】
このようなほぼ等比的あるいは対数的な関係で割り付けた枝構成は、入力波形が有す高周波数成分、すなわち急峻な波形の立ち上がりや立ち下がりに対して、応答波形が高感度になりやすいＲＣネットの近端部においても、高品質な波形を保つ回路シミュレーションが可能になるように工夫したものである。
【００３２】
図６において、「長さ（比）」の行に、全体の長さを１とした場合での６枝の長さの割付例を示す。図６における「長さの算出」の行では、全長１の場合における各枝の長さの算出式を示している。ここで、「長さ（比）」は、全長１に対する比にもなっている。これについては、後述するように、位置の規格化に適用する。この比を配線長の比Ｒｗと定義し、図６における最下行に、各枝の左側端子（近端部側）でのＲｗの位置を示している。この位置は、ＲＣネット全長が１にしてあるので、０〜１の間に規格化されている。
【００３３】
以上のようなＲＣネットの回路モデルを用いて、補正比データを得るためのＲ（抵抗）及びＣ（容量）の水準、並びに、駆動セルの水準を以下に示す。
【００３４】
・セル（駆動セルオン抵抗相当）３種
：Ｒｏｎ＝１００Ω、２００Ω、１ＫΩ
・ＲＣネット（総抵抗と総容量の組合わせ）９種
：Ｒ＝１００Ω、５００Ω、１ＫΩ
Ｃ＝０．５ｐＦ、２．５ｐＦ、５ｐＦ
この例では、補正比データを得るための水準組み合わせは計２７種の水準となる。水準値は、ハーフミクロン以降の微細化されたＬＳＩでのロジック部レイアウトパターンからの代表値を選定したものである。このＲとＣが、図５の６組の変数（ａｌｒ１、ａｌｃ１、…、ａｌｒ６）に割付けられる。これら６枝への割付け値は、総抵抗Ｒ、総容量Ｃを１として、図６の「長さ（比）」の行の値をそれぞれの枝の変数に乗じた値で行う。各枝では、分布定数相当のπ型３段モデルに分割されたリスト形態となる。
【００３５】
（Ａ−２−２）補正比算出の手順（ＲＣ遅延時間の計算と結果の図）
以下、補正比算出部１４での補正比データの算出手順を説明する。まず、図４（Ａ）の回路モデルでのＲＣネットの遅延時間を、アナログ回路シュミレーション（以下、ｓｐｉｃｅシュミレーションとして説明する）とｅ１ｍｏｒｅの遅延式（ＲＣ遅延式）から求める。
【００３６】
すなわち、Ｒｏｎ（駆動セル）とＲＣネットが、図４（Ａ）の点Ａで直列に接続された回路モデル上での上述した２７水準のそれぞれについて、ＲＣネット上の応答波形をｓｐｉｃｅシミュレータで求め、伝搬遅延時間の推移を各枝の接点で観測する。観測点は６枝なので点Ａを含めて計７点である。点ＡはＲＣネット上の遅延（ＲＣ遅延）評価の原点とする。すなわち、Ｒｗ＝０の位置である。ＲＣネット上の各ノードでの観測結果の内、Ｒｏｎ＝１００［Ω］の場合を図７に示す。ここで、伝搬遅延時間の観測位置はＲｗで示し、その位置は点ＡのＲｗ＝０から最遠端部（枝６の右端）のＲｗ＝１までで表される。この基準化されたＲｗは、２７水準のＲＣネットに対して、後のＲＣ遅延推移の共通の評価軸（真値として取り扱う）となる。
【００３７】
図７におけるｔｐｄｌｈ，ｔｐｄｈｌ、ｔｐｄ（ａｖｅ）は、ＲＣネット上の応答波形の内、それぞれ、振幅０〜５０％の立ち上がり伝搬遅延値、振幅１００〜５０％の立ち下がり伝搬遅延値、両者の平均を表している。ここで、行った２７水準のｓｐｉｃｅシミュレーションでは、Ｒｏｎへの入力波形はステップ入力であり、伝搬遅延時間の評価基準である回路閾値は信号振幅の半分であるので、これらの３値は一致する。
【００３８】
また、ＲＣ遅延式を適用した場合には、点Ａからの６枝毎の遅延を求め、この累積遅延を、Ｒｗ毎での遅延値とする。これらＲｗ毎のＲＣ遅延値を、真値とするｓｐｉｃｅシミュレーション結果に対して除算することで、真値に対するＲＣ遅延式の補正比データとする。この操作を、観測位置である７カ所のＲｗ毎に行う。以下に、ＲＣ遅延式での算出例を示す。
【００３９】
枝名：計算式
ｐａｉ３１：ｋ＊ａｌｒ１（０．５＊ａｌｃ１＋ａｌｃ２＋ａｌｃ３＋ａｌｃ４＋ａｌｃ５＋ａｌｃ６）
ｐａｉ３２：ｋ＊ａｌｒ２（０．５＊ａｌｃ２＋ａｌｃ３＋ａｌｃ４＋ａｌｃ５＋ａｌｃ６）
ｐａｉ３３：ｋ＊ａｌｒ３（０．５＊ａｌｃ３＋ａｌｃ４＋ａｌｃ５＋ａｌｃ６）
ｐａｉ３４：ｋ＊ａｌｒ４（０．５＊ａｌｃ４＋ａｌｃ５＋ａｌｃ６）
ｐａｉ３５：ｋ＊ａｌｒ５（０．５＊ａｌｃ５＋ａｌｃ６）
ｐａｉ３６：ｋ＊ａｌｒ６（０．５＊ａｌｃ６）
なお、ｋはＲＣ遅延式を実際の回路に合わせるための合わせ込み係数
Ｒｗ：ＲＣネット上のノードでの遅延値
０
０．００５：ｐａｉ３１
０．０１  ：ｐａｉ３１＋ｐａｉ３２
０．１    ：ｐａｉ３１＋ｐａｉ３２＋ｐ３ｉ３３
０．２５  ：ｐａｉ３１＋ｐａｉ３２＋ｐ３ｉ３３＋ｐａｉ３４
０．５    ：ｐａｉ３１＋ｐａｉ３２＋ｐ３ｉ３３＋ｐａｉ３４＋ｐａｉ３５
１        ：ｐａｉ３１＋ｐａｉ３２＋ｐａｉ３３＋ｐａｉ３４＋ｐａｉ３５＋ｐａｉ３６
この実施形態では、ＲＣ遅延式の係数（ｋ）に水準を設け（ｋ＝０．１、０．４、０．７、１．０）、遅延時間を計算したが、また、後述する各図に示したが、以降の説明では、ＲＣ遅延値算出とその補正比算出に、係数ｋ＝１の水準を用いたとして行う。
【００４０】
図８は、真値とするｓｐｉｃｅシュミレーションの結果（実線）と、ＲＣ遅延式（波線）での結果の一例を比較して示すものである。縦軸は、伝搬遅延時間を示し、横軸は配線長の基準化された比Ｒｗ（０〜１）であり、グラフ中の識別記号は６枝からなるＲＣネット上の観測点、すなわち７つのノードの位置を示す。図８のスケールでは左の２つのノードは重なって見える。図８の上辺にＲｏｎの値を、下辺にＲＣネットでのＲ、Ｃの値を示す。着目するＲＣ遅延式（ｋ＝１）には、±１０％の誤差範囲も示している。
【００４１】
ここで、点Ａ以降のＲＣネット部での伝搬遅延時間の補正のために、点Ａでの遅延値を減算しておく。よって、図８では点Ａ（Ｒｗ＝０）での遅延値は基準化されて０［ｓｅｃ］となる。従って、点Ａでの補正は不要となり、ＲＣ遅延値に対しては、Ｒｗ＝０で補正比＝１と表せる。
【００４２】
このために、セルへの入力波形条件は同一に定めてある。この条件でＲＣネットの駆動点Ａにおいては、ｓｐｉｃｅシュミレーションとＲＣ遅延式の遅延値を一致させることができる。図８の例は、Ｒｏｎ＝１００［Ω］であるので、ＲＣネットを高速で駆動したものにあたり、ＲＣネット近端部では、ＲＣ遅延式に対して、より多くの補正が必要であることが分る。これは高速な波形でＲＣネットを駆動した場合の伝搬遅延時間のアナログ的な変化による。
【００４３】
図９及び図１０はそれぞれ、Ｒｏｎ＝２００［Ω］、１０００［Ω］に対するｓｐｉｃｅシミュレーション結果及びＲＣ遅延式結果を示すものである。これらもｓｐｉｃｅシュミレーション結果（実線）とＲＣ遅延式結果（波線；ｋ＝１）との差が補正対象であることを示している。なお、図８〜図１０では観測したＲｗの間は、線形１次式で補間している。
【００４４】
（Ａ−２−３）Ｒｗの導入の意義
Ｒｗ（配線長の比）の導入は、一般的なＲＣネット上のノード位置を規格化するためである。これは、ＲＣネットの最近端部から最遠端部までの位置を、任意のＲ、Ｃに対して、同一尺度の位置として定量的に１〜０の間の値で表すための比である。これにより、多様な枝のＲＣネット上でも、任意のノードを規格軸上に配置し直せる。すなわち、全長に対して点Ａから着目ノードまでの長さによる比となる。図４（Ａ）では、６枝は直列に接続されているので、枝のレイアウトパターン上の幅を均一と仮定すれば、その長さは幾何学的なもの、あるいは、単位長さ当りの容量や単位長さ当りの抵抗による電気的な長さのいずれを用いても、Ｒｗは同一の値を示す。Ｒｗは、最近端部の０から最遠端部の１までの値を必ずとり、例えば中央部分は先の条件からいずれの場合もＲｗ＝０．５近辺となる。
【００４５】
このノード位置の規格化により、諸水準のＲＣネット上の伝搬遅延変化を同一尺度で捉えられ、同一スケールの軸上においてｓｐｉｃｅシュミレーション結果に対しての誤差変化を評価できる。
【００４６】
以上の説明では補正比算出部１４と補正比位置規格化部１５との機能分担が明確ではないが、機能的には、このようなノード位置の規格化機能を、補正比位置規格化部１５が担っている。
【００４７】
（Ａ−２−４）補正比データファイル作成手順
補正比データファイル１６は、Ｒｗの軸による構造で補正比データを構成しているものである。補正比補間部１７は、上述したように、この補正比データファイル１６における補正比データ間を直線（線形補間）を含む曲線で補間するものである。これにより、設計検証対象となる実際のＲＣネットに対して、ＲＣ遅延補正部１８が、既存の補正比データファイル１６のＲｗ水準間を引用する場合でも、滑らかなＲｗ依存にて補正比データを選択できる。
【００４８】
この第１の実施形態の場合、補正比データは、ＲＣ遅延式結果をｓｐｉｃｅシュミレーション結果で除算したものである。補正比データファイル１６に格納されている補正比データ群の一例を図１１に示す。図１１は、Ｒ及びＣがそれぞれ、１０００［Ω］、２．５［ｐＦ］の水準のものである。図１１は、Ｒｗの水準がＲｗ＝０、０．００５、０．０１、０．１、０．２５、０．５であり、Ｒｏｎの水準がＲｏｎ＝１００、２００、１０００［Ω］である。
【００４９】
図１１では、補正比の位置依存を評価するのが目的であるので、Ｒｗが横軸となっている。図１１の縦軸が補正比データである。補正比データファイル１６では、このような補正比データ群を、Ｒ及びＣの組合せ毎に、かつ、Ｒｏｎの水準毎に保有する。
【００５０】
なお、ＲＣ遅延式の係数ｋを評価するために、残差比を求め、その残差比に基づいて、係数ｋを評価し、適用係数ｋの残差比に１を加算することにより、Ｒｗ軸上での補正比データを求めるようにしても良い。
【００５１】
以上の補正比データのＲｗ依存により、レイアウト後のタイミングのバックアノテーション（検証）でのＲＣ遅延式での結果値を補正することが可能となる。すなわち、実ＲＣネットの伝搬遅延時間の検証においてＲＣ遅延式での結果値の補正を行うことができる。また、このことはＲＣネットの回路モデル網により、ＲＣネットの特性化（キャラクタライズ）を行ったことにもなる。
【００５２】
（Ａ−３）実ＲＣネットへの補正比データの適用手順
次に、以上のようにして作成された補正比データファイル１６を利用して、レイアウトパターンに含まれているＲＣネットについての伝搬遅延時間の算出する動作を説明する。以下では、ＲＣネットの具体例に基づいて説明する。
【００５３】
ＲＣネットリスト入力部１１は、ＬＳＩチップのレイアウトパターンから抽出した、セルとＲＣネットの組による回路網情報を、ネットリスト構成要素として読みとる。このネットリスト構成要素は、例えば、ＤＳＰＦと呼ばれるＲＣネットリストを含むファイルであり、その中から一つのＲＣネットリストに相当する部分の回路図表現を図１２に示すと共に、その記述を図１３に示す。なお、図１２は、枝名に抵抗名（Ｒ１〜Ｒ１０）を用いて示している。
【００５４】
ＲＣ遅延計算部１２は、このようなＲＣネット（ネットリスト構成要素）に対して、ＲＣ遅延式による伝搬遅延時間の算出を行う。
【００５５】
図１３は、図１２に示すＲＣネット（ネットリスト構成要素）に対し、次のような内容を表している。
【００５６】
ＲＣネット名：ＮＥＴ２６０９
総容量；７．８５３４１８ｅ＋０３［ｆＦ］
総抵抗：１００２［Ω］
ＲＣネット構成の枝数：１０
ＲＣネット構成要素：Ｃ１〜Ｃ１１，Ｒ１〜Ｒ１０
ＲＣネット駆動点名：Ｘ２２５２：ＹＮ（Ｒｏｎ：１００［Ω］と仮定）
以下に、ＲＣ遅延計算部１２への適用と演算結果結果を示す。ここでは、以下の定義に従っている。
【００５７】
ＲＣネットの枝名に抵抗名（Ｒ１、Ｒ２、…、Ｒ１０）を用いる。
【００５８】
枝の記述はＲＣＬ型１段（Ｌ成分はこの例では存在しないがであり、容量（Ｃ１、Ｃ２、…、Ｃ１１）は抵抗の遠端側に接続されている。
【００５９】
ＲＣ遅延式の係数はｋ＝１（補正比データファイル１６の補正比データにかかる係数ｋと同一）
なお、以下のＲＣ遅延計算部１２への適用表記において、枝名には、それに対応するＣの要素名も記載している。
【００６０】
枝名  ：Ｒ［ＫΩ］：  Ｃ［ｆＦ］
Ｒ１０（Ｃ１０、Ｃ２）：２．９０ｅ-3：  ４．４１＋７．０４５ｅ+2＝７．０９ｅ+2
Ｒ５（Ｃ１１）        ：５．５４ｅ-1：  ７．０４５ｅ+2
Ｒ９（Ｃ８）          ：２．９０ｅ-3：  ２．７５ｅ+2
Ｒ４（Ｃ９）          ：２．２８ｅ-1：  ２．７５ｅ+2
Ｒ８（Ｃ３）          ：２．９０ｅ-3：  １．００ｅ+0
Ｒ１（Ｃ４）          ：３．６６ｅ-3：  ４．４１ｅ+0
Ｒ６（Ｃ６）          ：２．５０ｅ-3：  ４．５７ｅ+2
Ｒ２（Ｃ５）          ：１．９２ｅ-1：  ４．５７ｅ+2
Ｒ７（Ｃ７）          ：２．５０ｅ-3：  １．３２ｅ+1
Ｒ３（Ｃ１）          ：１．１０ｅ-2：  １．３２ｅ+1
ＲＣネットの各ノードでの遅延時間は、以下のように各枝の遅延和で表される。ここで、遠端側に遅延計算ノードを有する枝名、そのノードのＲｗ、そのＲｗまでの遅延和を構成する枝名、及び、その累積遅延時間を示す。
【００６１】
枝名：Ｒｗ：遅延和の構成（枝名による）：Ｒｗまでの累積遅延［ｐｓｅｃ］
Ｒ１０：０．００３：Ｒ１０：１３．６
Ｒ５  ：０．５５６：Ｒ１０＋Ｒ５：２３７２．６
Ｒ９  ：０．５５８：Ｒ１０＋Ｒ５＋Ｒ９：２３７７．３９
Ｒ４  ：０．７８６：Ｒ１０十Ｒ５＋Ｒ９＋Ｒ４：２４０８．９９
Ｒ８  ：０．７８９：Ｒ１０＋Ｒ５＋Ｒ９＋Ｒ４＋Ｒ８：２４０８．９９
Ｒ１  ：０．５５９：Ｒ１０＋Ｒ５＋Ｒ１：２３７６．４４
Ｒ６  ：０．５６２：Ｒ１０＋Ｒ５＋Ｒ１＋Ｒ６：２３７８．４４
Ｒ２  ：０．７５３：Ｒ１０＋Ｒ５＋Ｒ１＋Ｒ６＋Ｒ２：２３８５．３８
Ｒ７  ：０．７５６：Ｒ１０＋Ｒ５＋Ｒ１＋Ｒ６＋Ｒ２＋Ｒ７：２３８５．５８
Ｒ３  ：０．７６７：Ｒ１０十Ｒ５＋Ｒ１＋Ｒ６＋Ｒ２＋Ｒ７＋Ｒ３：２３８５．５８
上記累積遅延に使用した、枝毎の遅延計算結果を以下に示す。
【００６２】
枝名  ：枝毎のＲＣ遅延計算［ｐｓｅｃ］
Ｒ１０：２．９０ｅ-3＊（０．５＊７．４８ｅ+1＋７．０４５ｅ+2＋２．７５ｅ+3＋２．７５ｅ+2＋１．００ｅ+0＋４．４１ｅ+0＋４．５７ｅ+2＋４．５７ｅ+2＋１．３２ｅ+1＋１．３２ｅ+1）＝１３．６
Ｒ５  ：５．５４ｅ-1＊（０．５＊７．０４５ｅ+2＋２．７５ｅ+3＋２．７５ｅ+2＋１．００ｅ+0＋４．４１ｅ+0＋４．５７ｅ+2＋４．５７ｅ+2＋１．３２ｅ+1＋１．３２ｅ+1）＝２３５９．０
Ｒ９  ：２．９０ｅ-3＊（０．５＊２．７５ｅ+3＋２．７５ｅ+2＋１．００ｅ+0）＝４．７９
Ｒ４  ：２．２８ｅ-1＊（０．５＊２．７５ｅ+2＋１．００ｅ+0）＝３１．６
Ｒ８  ：２．９０ｅ-3＊（０．５＊１．００ｅ+0）＝０．０
Ｒ１  ：３．６６ｅ-3＊（０．５＊４．４１ｅ+0＋４．５７ｅ+2＋４．５７ｅ+2＋１．３２ｅ+2＋１．００ｅ+0）＝３．８４
Ｒ６  ：２．５０ｅ-3＊（０．５＊４．５７ｅ+2＋４．５７ｅ+2＋１．３２ｅ+2＋１．００ｅ+1）＝２．０
Ｒ２  ：１．９２ｅ-1＊（０．５＊４．５７ｅ+2＋１．３２ｅ+2＋１．００ｅ+1）＝６．９４
Ｒ７  ：２．５０ｅ-3＊（０．５＊１．３２ｅ+2＋１．００ｅ+1）＝０．２
Ｒ３  ：１．１０ｅ-2＊（０．５＊１．００ｅ+1）＝０．０
このような算出を、ＲＣ遅延計算部１２はＤＳＰＦ中の各ＲＣネットに対して逐次行っていく。その結果、ＲＣネット毎にそのノード上のＲＣ遅延値が計算される。
【００６３】
ノード位置規格化部１３は、ノードの位置をＲｗで基準化して、遅延値の位置をＲｗの軸上に並べ直す。上述の例では、レイアウトの幅が一定と仮定し、Ｒの値に基づいてＲｗを算出している。すなわち、各ノードのＲｗ値は全抵抗値に対する、ＲＣネット駆動点からそのノードまでの抵抗値の比で求めてある。
【００６４】
ＲＣ遅延補正部１８は、補正比データファイル１６を参照して、Ｒｗと対応するノード毎に補正比データを得る。この補正比データを用いてＲＣ遅延式による算出値を、ＲＣネットの回路モデルで特性化（キャラクタライズ）された真値（ｓｐｉｃｅシュミレーション結果）まで補正する。
【００６５】
以下は、図１２及び図１３で示したＲＣネットでのＲｗ毎のＲＣ遅延算出値、補正比データ、補正結果を示す。補正比データは、この例では、Ｒｏｎを１００Ωと仮定し、かつ、総抵抗Ｒが１００２Ωであるので、Ｒｏｎ：１００Ω、Ｒ：１０００Ωの水準による。すなわち、図１１における黒三角で結ばれた曲線による。なお、補正比データファイル１６に直接補正比データが格納されていないＲｗでの補正比データは、補正比補間部１７が補間処理してＲＣ遅延補正部１８に与える。
【００６６】
枝名：Ｒｗ：算出値［ｐｓｅｃ］：補正比：補正結果
Ｒ１０：０．００３：１３．６      ：１．０  ：１３．６
Ｒ５  ：０．５５６：２３７２．６  ：０．８４：１９９３．０
Ｒ９  ：０．５５８：２３７７．３９：０．８５：２０２０．８
Ｒ４  ：０．７８６：２４０８．９９：０．８８：２１１９．０
Ｒ８  ：０．７８９：２４０８．９９：０．８８：２１１９．９
Ｒ１  ：０．５５９：２３７６．４４：０．８５：２０２０．０
Ｒ６  ：０．５６２：２３７８．４４：０．８５：２０２１．７
Ｒ２  ：０．７５３：２３８５．３８：０．８７：２０７５．３
Ｒ７  ：０．７６７：２３８５．５８：０．８８：２０９９．３
Ｒ３  ：０．８３４：２３８５．５８：０．８９：２１２３．２
ＲＣ遅延出力部１９はノードとその補正された遅延値を、次の設計検証装置のために出力する。
【００６７】
参考のために、真値とするｓｐｉｃｅシュミレーション結果との誤差比較を、補正前とこの例による補正結果にて示す。なお、誤差比較は、絶対誤差と相対誤差（［ｐｓｅｃ］と％表示）とで行っている。
【００６８】
枝名：ｓｐｉｃｅ（真値）：補正前の誤差：補正結果の誤差
Ｒ１０：１．６      ：１２        ７５０％：１２        ７５０％
Ｒ５  ：１７９４．４：５８３．０  ４２．５％：１９８．６  １１．１％
Ｒ９  ：１７９９．２：５７８．２  ３２．１％：２２１．６  １２．３％
Ｒ４  ：１８３０．９：５７８．１  ３１．６％：２８８．１  １５．７％
Ｒ８  ：１８３０．９：５７８．１  ３１．６％：２８９．０  １５．８％
Ｒｌ  ：１７９７．９：５７８．５  ３２．２％：２２２．１  １２．４％
Ｒ６  ：１７９９．７：５７８．７  ３２．２％：２２２．０  １２．３％
Ｒ２  ：１８４９．０：５３６．４  ２９．０％：２２６．３  １２．２％
Ｒ７  ：１８４９．０：５３６．６  ２９．０％：２５０．３  １３．５％
Ｒ３  ：１８４９．０：５３６．６  ２９．０％：２７４．２  １４．８％
以上の記載から明らかなように、補正比データを用いた補正処理により、誤差が補正する前に比べて大幅に低下していることが分かる。
【００６９】
（Ａ−４）第１の実施形態の効果
（１）レイアウトパターンの検証においてＲＣ遅延式を適用して伝搬遅延時間を算出し、この算出した遅延時間を、予め回路モデルから作成した補正比データを参照して補正するようにしたので、検証時間の短縮化を期してＲＣ遅延式を遅延時間の算出に適用しても、タイミング検証の精度を従来より高めることができるようになる。
【００７０】
また、細部を検討した場合には、以下の効果を奏する。
【００７１】
（２）ノード位置規格化部１３において、配線長の比Ｒｗを用いることで、ＬＳＩのロジック回路部構成領域に特有なＲＣネットのランダムなレイアウトパターンに対して、検証対象のＲＣネット中の位置（ノード）を０〜１の値で定量的に表すことができる。これにより、駆動するセルに近いＲＣネットの近端部で、伝搬遅延のアナログ的な変化を生じる可能性の有る領域、すなわち、ＲＣ遅延式で誤差の多くなる領域をＲｗの軸上で識別可能になる。
【００７２】
また、補正比データも、ＲＣネットの近端部側に多く算出ポイントを設けており、その結果、ＲＣネットの近端及び遠端を問わず、良好に補正することができる。
【００７３】
（３−１）補正比算出部１４において、ＲＣネット部のモデル化に対数的又は等比的な長さの枝を用い、その枝の電気素子記述をＣＲＣπ型の３分割で行い、ＲＣネット上での特性化を計るようにした。これにより、ＲＣネット上での高速応答波形のシミュレーション、特にＲＣ負荷の大きなＲＣネットの近端部において観測されるアナログ的な伝搬遅延の変化に対して、必要な精度のシミュレーションを可能にする分布定数線路の実現が可能となる。よって、必要とされるＲＣ遅延式の誤差評価に対して、十分な精度で特性化が可能になる補正比データを作成することができる。
【００７４】
（３−２）回路シミュレーションの対象となる回路モデルの構成、すなわち、駆動セルと駆動される負荷との構成を、抵抗（Ｒｏｎ）とＲＣネットの直列接続で行なった。これにより、両者の接続点（図４（Ａ）の点Ａ）が、線形素子である抵抗と容量のみで定義され、駆動セルからＲＣネットヘの接続は、電気的に一意的に定義される。この結果、接続点での応答波形が電気的に定められ、ＲＣ遅延式の対象となるＲＣネットの起点に対して、人為性のない応答波形の入力が可能になる。
【００７５】
（３−３）補正比位置規格化部１５にて、対数的又は等比的な長さの枝によりモデル化されたＲＣネットから得られた補正比の位置を、配線長の比Ｒｗで規格化した。これにより、任意のＲＣネットとその中の任意ノード上での遅延に対して、補正比データファイル１６により補正を行うことが可能となった。
【００７６】
（３−４）補正比データファイル１６から、補正比が大きく変化するＲＣネット上の領域の識別が可能である。これにより、ＲＣ遅延式の係数ｋを一意に定められる領域と、そうならない領域との判別が可能である。この係数ｋを一律に定めてＲＣ遅延算出に適用したい場合に、その値の決定や誤差の大きい領域の判断が可能となる。同期型ロジックＬＳＩの設計検証では、絶対誤差が相対誤差より優先される場合があり、この場合、ＲＣ遅延式とｓｐｉｃｅシュミレーションとの結果の絶対誤差が最小になるうように、予めＲＣ遅延式の係数ｋの値を選択することが可能である。この補正比は、この後の縮小された絶対残差に対する比となり、この補正効果を高めることが可能である。
【００７７】
なお、補正による相対誤差の面からの効果は、後述する第２の実施形態の効果の記載を参照されたい。
【００７８】
（４）ＲＣ遅延補正部１８により、逐次処理の必要なＲＣネットヘのＲＣ遅延式算出結果への補正において、予め補正への特性化がなされた補正比データを１対１対応で参照することが可能である。検証対象のＲＣネット数が大きくなるＬＳＩのロジック部の設計検証において、ＲＣ遅延値補正のための複雑な追加計算をすることなく、セルとランダムなＲＣネットの組み合わせを逐次処理していくタイミングのバックアノテーションで精度向上が可能になった。
【００７９】
（Ｂ）第２の実施形態
次に、本発明による回路設計検証装置の第２の実施形態を図面を参照しながら詳述する。
【００８０】
第２の実施形態は、第１の実施形態のようにして作成された補正比データファイル１６に格納されている補正比データを、後述するように抵抗比の観点から層別するようにした点、及び、層別処理後の補正比データを実ＲＣネット（検証対象のＲＣネット）のＲＣ遅延式による伝搬遅延時間の算出結果の補正に参照するようにした点に特徴を有するものである。
【００８１】
（Ｂ−１）第２の実施形態の構成
図１４は、第２の実施形態の回路設計検証装置の要部構成を示す機能ブロック図であり、上述した第１の実施形態に係る図１との同一、対応部分には同一符号を付して示している。
【００８２】
図１４において、この第２の実施形態の回路設計検証装置は、第１の実施形態の構成に加えて、補正比データファイル１６に格納されている補正比データを、後述する抵抗比毎に層別する（共有化する）抵抗比識別部２１、及び、層別処理後の補正比データを格納している層別化補正比データファイル２２が新たに追加されている。抵抗比識別部２１は、抵抗比により、ＲＣネットでのＲＣ遅延式の応答波形誤差の層別を行うものである。
【００８３】
この第２の実施形態の場合、ＲＣ遅延補正部１８（図１参照）は、補正比データファイル１６ではなく、層別化補正比データファイル２２に格納されている補正比データを参照するものである。また、ＲＣ遅延補正部１８が参照しようとしたＲｗでの補正比データがない場合には、補正比補間部１７が補間処理する。すなわち、第２の実施形態の場合、補正比補間部１７が補間処理を実行する対象は、層別化補正比データファイル２２に格納されている補正比データである。
【００８４】
（Ｂ−２）補正比データの層別化方法
補正比データファイル１６の格納内容には、上述したようなＲｗの水準の他に、見方を変えれば、抵抗比Ｒｏｎ：Ｒの水準も含まれている。
【００８５】
以下では、上述の図４（Ａ）の回路モデルで言及したセル条件、すなわち、Ｒｏｎに３水準を設けた例で、補正比データの層別とその結果のファイルの構造について説明する。
【００８６】
抵抗比Ｒｏｎ：Ｒとノード位置規格化値Ｒｗの要因水準を以下に示す。この条件下で、ＲＣ遅延式による伝搬遅延値の算出を行い、第１の実施形態と同様にＲＣ遅延式による結果と真値との誤差比較を行う。第２の実施形態の構成において、回路構成とＲＣネットヘの波形入力操作は第１の実施形態と同一である。
【００８７】
Ｒｏｎ：Ｒ＝１００：１０００、２００：１０００、１０００：１０００
Ｒｗ：０、０．００５、０．０１、０．１、０．２５、０．５、１
観測された遅延値群は、その誤差の形からＲｏｎ：Ｒの抵抗比による層別が可能であることが分る。すなわち、Ｒｏｎ：Ｒの抵抗比が同じであれば、Ｃ（総容量）の相違によらず、どのような誤差関係に有ることが分かる。
【００８８】
この一例を、上述した図８、並びに、新たに言及する図１５及び図１６を用いて明らかにする。これらの図面はいずれも、ＲｏｎとＲは同一であり、抵抗比Ｒｏｎ：Ｒが１００：１０００の場合である。しかし、Ｃはそれぞれ、２．５、０．５、５［ｐＦ］であって異なっている。これらの図はいずれもＲＣネット駆動点Ａからの伝搬遅延時間の変化を示している。いずれの図も、ｓｐｉｃｅシュミレーション結果（真値）に対する相対誤差がＲｗの軸に対して等しいことが判明する（ＲＣ遅延式はｋ＝１とする）。これらの図から、ＲｏｎとＲが決定している場合では、Ｃ依存が相似形を有することが判明する。すなわち、絶対誤差が異なっていても、相対誤差が同一なる場合を、抵抗比Ｒｏｎ：Ｒの水準毎に識別可能である。
【００８９】
一方、第１の実施形態の場合と同様に、ＲＣネットのＲ、Ｃの値が決定されていても、ＲｏｎによりＲＣネット上のｓｐｉｃｅシュミレーションでの応答波形が異なる。これにより、Ｒｏｎ：Ｒによる場合分け（層別）により、補正比データファイル１６を縮小した新たな補正比データファイル（層別補正比データファイル）２２を補正に適用できることが分かる。この抵抗比Ｒｏｎ：Ｒによる階層化により、補正比データファイルの再構成をＲｗと合わせて行える。Ｒｏｎ＝１００Ω、Ｒ＝１０００Ω以外の図においても同様である。
【００９０】
すなわち、これらの図から、Ｒｏｎ：Ｒが決定されていれば、Ｃの水準に対しては同一の補正比データを適用することが可能であり、その結果、補正比データファイル１６は縮小化された補正比データファイル２２となる。
【００９１】
なお、補正比データファイル２２を作成した後は、層別処理に供する補正比データファイル１６をハードディスク等の記憶装置から消去しても構わない。
【００９２】
この第２の実施形態の場合、ＲＣ遅延補正部１８は、実ＲＣネットにおける抵抗比に応じて、補正比データファイル２２内の参照する補正比データ部分を特定すれば良い。
【００９３】
ここで、抵抗比Ｒｏｎ：Ｒが等しい複数組の補正比データ群から、１組の補正比データ群を作成する縮小化方法は任意の方法で良い。例えば、図８、図１４及び図１５に示すＲｏｎ：Ｒ＝１００：１０００の場合であれば、Ｃが中間的な図８に係る補正比データ群を層別化（縮小化）後の１組の補正比データ群としても良く、また、図８、図１４及び図１５に係る３組の補正比データ群のＲｗが同じ位置の値の平均値を層別化（縮小化）後の補正比データとし、これにより、１組の補正比データ群を構成するようにしても良い。
【００９４】
（Ｂ−３）第２の実施形態の効果
この第２の実施形態によっても、その基本的な効果等は、第１の実施形態と同様である。すなわち、レイアウトパターンの検証においてＲＣ遅延式を適用して伝搬遅延時間を算出し、この算出した遅延時間を、予め回路モデルから作成した補正比データを参照して補正するようにしたので、検証時間の短縮化を期してＲＣ遅延式を遅延時間の算出に適用しても、タイミング検証の精度を従来より高めることができる。
【００９５】
第２の実施形態が採用した補正比データの抵抗比に基づいた層別化を行うことによる効果は、以下の通りである。
【００９６】
（１）抵抗比識別部２１を設けたことにより、回路モデルでの駆動側セルと負荷側ＲＣネットとの相関を、両者の抵抗比としてとらえ、ＲＣ遅延式の結果を補正する補正比データを層別した。この結果、ＲＣネットの容量依存にに対して同一の補正比データを用いることが可能になった。すなわち、補正比データファイル２２を小容量のものとすることができる。
【００９７】
（２）駆動点から遠端部までの応答波形の伝搬において、伝搬遅延時間の変化を駆動セルとＲＣネットの抵抗比を用いて層別を行い、補正比データファイル２２の再構成を行った。この層別の対象領域として、ＲＣネットの駆動点から中近端部までに着目が可能なので、ＬＳＩの微細化で高速の応答波形入力に対して、感度が高いＲＣネット近端部での変化を、補正比データのＲｗ水準に反映させることが可能である。
【００９８】
（３）層別されたＲＣ遅延式での誤差位置依存は、絶対値ではなく相対値で表されている。このため、ＲＣネットの総容量に対して相対誤差は比例するという特徴を用いて、同一の補正比データをＲＣネットの容量依存に対して適用可能となった。これにより、補正比データファイル２２の構成も小さくすることが可能となる。
【００９９】
（Ｃ）第３の実施形態
次に、本発明による回路設計検証装置の第３の実施形態について詳述する。
【０１００】
第３の実施形態は、寄生容量効果（ＬＰＥ）の確認のための遅延演算処理の再実行でＲＣネット入力での容量の偏りが変った場合に対するものである。なお、第３の実施形態では、当初の実行時とセル（条件）は同一とする。
【０１０１】
この第３の実施形態の回路設計検証装置の全体構成は、第２の実施形態のものと同様である。すなわち、図１４に示す構成と、図１におけるＲＣネットリスト入力部１１、ＲＣ遅延計算部１２、ノード位置規格化部１３、ＲＣ遅延補正部１８及びＲＣ遅延出力部１９とを有する構成である。
【０１０２】
しかしながら、ＲＣネットリスト入力部１１、ノード位置規格化部１３及びＲＣ遅延補正部１８での機能が、第２の実施形態のものと多少異なっている。
【０１０３】
以下では、図４（Ａ）に示したようなＲＣネットモデル（回路モデル）での枝が２本でＲが同一の場合を例として、この第３の実施形態の特徴的な技術思想を説明する。勿論、枝が６枝でも第３の実施形態は適用できるものであるが、説明の簡便さから、２枝を例に説明する。
【０１０４】
ＬＰＥの再実行により寄生容量の抽出値が変り、２つの枝の間で容量が変化した場合の例を示す。
【０１０５】
0004135210.tif 000003
上記（ａ）の場合には、２つの枝の接点ノードにおける、補正比データファイル２２の参照条件は、以下の通りである。
【０１０６】
Ｒｏｎ＝０．１ｒ、
Ｒｗ＝０．５、
Ｒ＝２ｒ、
Ｃ＝２ｃ
上記（ｂ）の場合に補正比データファイル２２の参照条件は、以下の通りである。
【０１０７】
Ｒｏｎ＝０．１ｒ、
Ｒｗ＝０．５（レイアウト長又は抵抗値より）又は０．６６（容量値より）、
Ｒ＝２ｒ、
Ｃ＝３ｃ
この例の場合、ＬＰＥの再実行前後で抵抗比Ｒｏｎ：Ｒが一定であるので、ＲＣ遅延計算部１２がＲＣ遅延式の再計算後、その結果に対する補正方法として、以下の選択枝がある。
【０１０８】
（１）前回の補正比データをそのまま適用する。
【０１０９】
抵抗比Ｒｏｎ：Ｒが一定であり、容量依存に対して補正比は同一であるとみなして、前回の補正比データをそのまま適用する。すなわち、Ｒｗ＝０．５を適用する。
【０１１０】
（２）抵抗比Ｒｏｎ：Ｒが一定であるが、容量変化を反映させ、Ｃ（総容量）と各枝での容量との関係から定まるＲｗを適用して取り出した補正比データを適用する。すなわち、Ｒｗ＝０．６６での補正比データを適用する。
【０１１１】
なお、抵抗比Ｒｏｎ：Ｒが前回と異なる場合には、第２の実施形態で説明した前回の処理と同様に、補正比データの取り出しを行う。
【０１１２】
以上のような技術思想の実現方法は、すなわち、ＬＰＥの再実行後での遅延時間の一連の算出処理は、以下の通りである。なお、フローチャート的に記載すれば、図１７で表すことができる。
【０１１３】
ＲＣネットリスト入力部１１から、ＲＣネットの今回のリスト情報だけでなく、前回のリスト情報も取り込むと共に、抵抗比Ｒｏｎ：Ｒが前回と同一の場合の補正比データの適用方法（上記（１）又は（２）；ユーザの指定による）を示すフラグと前回適用した補正比データとを取り込む（ステップ３００）。なお、前回の算出処理でＲＣ遅延出力部１９が出力したＲＣ遅延算出値や適用した補正比データは、対象のＲＣネット名に対応付けられて図示しない記憶部に記憶されている。
【０１１４】
そして、ＲＣ遅延計算部１２は、今回のＲＣネットリスト情報に基づいて、ＲＣ遅延式を適用してＲＣ遅延値を算出する（ステップ３０１）。なお、後述するように、この算出処理自体を省略することが可能である。
【０１１５】
その後、ノード位置規格化部１３やＲＣ遅延補正部１８は、抵抗比は今回と前回で同じかや、抵抗値によるＲｗは今回と前回で同じか等を確認する（ステップ３０２、３０３）。ＬＰＥでは、抵抗変化を前提としていないので、かかる判断を省略することも可能である。
【０１１６】
抵抗比が今回と前回で異なる場合や、抵抗値によるＲｗは今回と前回で異なる場合には、ＲＣ遅延補正部１８は、今回のＲＣネットリスト情報に基づいて、補正比データの参照条件を作成して層別化補正比データファイル２２を参照して補正比データを取り出す（ステップ３０４、３０５）。なお、参照時においては、必要に応じて補正比補間部１７が機能する。
【０１１７】
一方、抵抗比が今回と前回とで同一であり、抵抗値によるＲｗも今回と前回とで同一の場合には、ノード位置規格化部１３やＲＣ遅延補正部１８は、補正比データ適用方法フラグが上記方法（１）又は（２）のいずれを指示しているかを判別する（ステップ３０６）。上記方法（１）を指示している場合には、すなわち、前回の補正比データの適用を指示している場合には、ＲＣ遅延補正部１８は、前回の補正比データの適用するものに決定する（ステップ３０７）。これに対して、上記方法（２）を指示している場合には、すなわち、容量値に基づくＲｗの適用を指示している場合には、ノード位置規格化部１３が容量値に基づくＲｗを得（ステップ３０８）、ＲＣ遅延補正部１８は、このＲｗを含めた今回のＲＣネットリスト情報から定まる参照条件で、層別化補正比データファイル２２を参照して補正比データを取り出す（ステップ３０５）。なお、参照時においては、必要に応じて補正比補間部１７が機能する。
【０１１８】
以上のようにしてステップ３０７又は３０５により、適用する補正比データが得られると、補正比補間部１７は、ステップ３０１で得られたＲＣ伝搬遅延値を補正比データを用いて補正し（ステップ３０９）、ＲＣ遅延出力部１９は、補正後のＲＣ伝搬遅延値を出力する（ステップ３１０）。
【０１１９】
この第３の実施形態によっても、その基本的な効果等は、第１や第２の実施形態と同様である。すなわち、レイアウトパターンの検証（当初及びその後の検証を含む）においてＲＣ遅延式を適用して伝搬遅延時間を算出し、この算出した遅延時間を、予め回路モデルから作成した補正比データを参照して補正するようにしたので、検証時間の短縮化を期してＲＣ遅延式を遅延時間の算出に適用しても、タイミング検証の精度を従来より高めることができる。
【０１２０】
第３の実施形態が採用した再検証時の補正比データの適用方法を採用することによる効果は、以下の通りである。
【０１２１】
（１）上記方法（１）の選択の場合には、多数のＲＣネットの逐次処理の中で、補正比データファイル２２の再アクセスを省略すことが可能である。また、上記方法（２）の選択の場合には、補正比データファイル２２ヘの回路モデルからの特性化が容量の偏りを想定していないとき、すなわち、図４（Ａ）の各枝単位長さ当りの容量が同一の場合でも、ノード位置のＲｗ再調整で伝搬遅延値の補正をより高精度に行うことが可能となる。
【０１２２】
（２）ＲＣネット特性化のための１枝のモデルは、分布定数線路でのシミュレーションを可能とするＣＲＣπ型を３段に分割記述している。これにより、レイアウト上の長さの代りに、単位長さ当りの容量、抵抗、両者の積値による長さを用いることが可能で、補正比データファイル２２ヘの特性化（キャラクタライズ）において、ＲＣネットのＲＣ負荷の偏りを反映させることが可能である。これは、補正比算出に用いた回路モデルを、補正対象のＲＣネットの一般的なＲ、Ｃの偏りの特徴に類似させられることが可能になることを意味する。比で補正する本手法では、絶対誤差の縮小化の新たな手段となり、設計検証の対象であるレイアウトツールによりＲＣネットの特徴が変化した場合（配線幅がＲＣネット中で変化する場合など）でも対応が可能となる。
【０１２３】
（３）ＬＳＩレイアウトパターンからの寄生効果抽出（ＬＰＥ）においては、着目するＲＣネット近傍の電極（ＲＣネット、電源線など）の影響による寄生効果（フリンジング効果）を取入込むことで、さらに容量の抽出精度の向上を計る場合がある。この効果を取込む前のＲＣネットに対しての増加したＣに対しては、補正比データファイル２２のＣ参照の変更で対処可能となる。このとき、ＲＣネット上のＣの偏りに変化があっても、再設定されたＲｗ（上記方法（２）による）を用いることが可能である。上記では、ＲＣ遅延式の再計算の場合を示したが、いずれの場合でも、ＲＣ遅延式の再計算の省略を行うことも可能である。ＬＰＥの容量抽出手順の変更に対して再計算が省略可能であることは、特に容量性負荷が特徴であるＣＭＯＳロジックでは、再レイアウトでの再設計検証に対して有効である。
【０１２４】
（Ｄ）第４の実施形態
次に、本発明による回路設計検証装置の第４の実施形態を図面を参照しながら詳述する。
【０１２５】
第４の実施形態は、第１〜第３の実施形態が意図していたポストレイアウトでのタイミング検証ではなく、プリレイアウトでのタイミング検証（設計検証）への適用を意図したものである。
【０１２６】
図１８は、第４の実施形態の回路設計検証装置の構成を示す機能ブロック図であり、上述した第１の実施形態に係る図１との同一、対応部分には同一符号を付して示している。
【０１２７】
図１８において、第４の実施形態の回路設計検証装置は、第１の実施形態でのＲＣネットリスト入力部１１を、プリレイアウトのための仮想負荷入力部４１に置換えたものである。
【０１２８】
この構成により、入力データは以下の特徴を有する。すなわち、（１）ＲＣネットの形状が一般化され、単位長さ当りの負荷で扱うことができる、（２）単位長さ当りの容量と抵抗は、仮想配線長に比例する、という特徴を有する。
【０１２９】
これらの特徴は、第１や第２の実施形態の補正比算出部１４が対象とした、シミュレーション用の回路モデルと同等である。このために、ＲＣ遅延計算部１２では、補正比データファイル１６（第２の実施形態に第４の実施形態の特徴を盛り込んだ場合には層別化補正比データファイル２２）で使用したＲＣネットそのものが計算対象となる。その結果、ＲＣ遅延補正部１８で処理されると、ｓｐｉｃｅシュミレーションでの真値まで補正され、その結果がＲＣ遅延出力部１９により得られる。
【０１３０】
すなわち、仮想負荷も、図４（Ａ）に示すＣＲＣπ型を３段直列接続した回路モデルの記述方法と同様な記述で入力するので、ｓｐｉｃｅシュミレーションでの真値まで補正することができる。例えば、図８、図１５及び図１６を用いて上述したように、抵抗比Ｒｏｎ：Ｒが同一であれば、相対的な補正比データはＣに関係なくほぼ同一であるので、仮想負荷でのＲと、セルのＲｏｎとから最適な補正比データを得ることができ、ｓｐｉｃｅシュミレーションでの真値まで補正することができる。
【０１３１】
以上のようにして、プリレイアウトの仮想負荷による設計検証が、既に作成されている、ポストレイアウト用の設計検証装置での補正比データを使用しながら実行できる。
【０１３２】
この第４の実施形態によれば、レイアウト前の検証において、ＲＣ遅延式を適用して伝搬遅延時間を算出し、この算出した遅延時間を、予め回路モデルから作成した補正比データを参照して補正するようにしたので、検証時間の短縮化を期してＲＣ遅延式を遅延時間の算出に適用しても、タイミング検証の精度を従来より高めることができる。
【０１３３】
第４の実施形態によれば、以下のような効果も奏することができる。
（１）一つのポストレイアウトでのタイミングのアノテーション用設計検証装置の要部構成を、プリレイアウトでの仮想負荷に対する遅延時間の算出時にも適用が可能となる。
【０１３４】
（２）ポストレイアウトでの設計検証のための補正用データ（補正比データ）がプリレイアウトでの検証にも流用可能である。すなわち、ポストレイアウトでの設計検証のための回路モデルのノード位置と数が十分である場合には、プリレイアウトでの検証用の補正比データを作成するためのｓｐｉｃｅシミュレーションの省略が可能となる。
【０１３５】
（Ｅ）第５の実施形態
次に、本発明による回路設計検証装置の第５の実施形態を図面を参照しながら詳述する。
【０１３６】
第５の実施形態は、補正比データファイルに用意しておく補正比データ群を弁別するための水準として、ＬＳＩ絶縁膜の誘電損失等に起因する周波数依存性の水準を設けたことに特徴を有するものである。
【０１３７】
図１９は、第５の実施形態の回路設計検証装置の要部構成を示す機能ブロック図であり、上述した第１の実施形態に係る図１との同一、対応部分には同一符号を付して示している。
【０１３８】
図１９において、第５の実施形態の回路設計検証装置は、第１の実施形態の構成に加えて、補正比算出部１４に関連付けられた周波数設定部５１を有する。
【０１３９】
図４（Ａ）に示す補正比データ作成のための回路モデルでのシミュレーション結果に影響を及す特性として、ＬＳＩ絶縁膜の誘電損失等に起因する周波数依存性がある。周波数設定部５１は、この周波数依存性の水準を、補正比算出部１４に設定し、第１の実施形態のような駆動セルのオン抵抗Ｒｏｎや、ＲＣネットでの総抵抗Ｒと総容量Ｃの組合わせという水準に加えて、周波数依存性をも水準として補正比データの作成を行うものである。
【０１４０】
従って、第５の実施形態での補正比データファイル（拡張補正比データファイル）５２には、周波数依存性の水準が含まれる。
【０１４１】
第５の実施形態のＲＣ遅延補正部１８では、入力されたＲＣネットリスト情報の中で記述されている周波数依存性の水準、又は、外部から指示された周波数依存性の水準をも参照条件として、拡張補正比データファイル５２を参照して所定の補正比データを取り出して、補正処理を行う。
【０１４２】
この第５の実施形態によっても、ＲＣ遅延式を適用して伝搬遅延時間を算出し、この算出した遅延時間を、予め回路モデルから作成した補正比データを参照して補正するようにしたので、検証時間の短縮化を期してＲＣ遅延式を遅延時間の算出に適用しても、タイミング検証の精度を従来より高めることができる。
【０１４３】
第５の実施形態によれば、以下のような効果も奏することができる。ＲＣ遅延式は周波数依存性を有しない。よって、周波数設定部５１の水準設定により、補正比データファイル５２を周波数水準に対しても構成することは、高速なロジックに対しその周波数毎に補正精度を使い分けることが可能となる。
【０１４４】
（Ｆ）第６の実施形態
次に、本発明による回路設計検証装置の第６の実施形態を図面を参照しながら詳述する。
【０１４５】
第６の実施形態は、補正比データファイルに用意しておく補正比データ群を弁別するための水準として、セルが持つ回路閾値依存性の水準を設けたことに特徴を有するものである。
【０１４６】
図２０は、第６の実施形態の回路設計検証装置の要部構成を示す機能ブロック図であり、上述した第１の実施形態に係る図１との同一、対応部分には同一符号を付して示している。
【０１４７】
図２０において、第６の実施形態の回路設計検証装置は、第１の実施形態の構成に加えて、補正比算出部１４に関連付けられた回路閾値設定部６１を有する。
【０１４８】
図４（Ａ）に示す補正比データ作成のための回路モデルでのシミュレーション結果に影響を及す特性として、セルが持つ回路閾値依存性がある。回路閾値設定部６１は、この回路閾値依存性の水準を、補正比算出部１４に設定し、第１の実施形態のような駆動セルのオン抵抗Ｒｏｎや、ＲＣネットでの総抵抗Ｒと総容量Ｃの組合わせという水準に加えて、回路閾値依存性をも水準として補正比データの作成を行うものである。
【０１４９】
従って、第６の実施形態での補正比データファイル（拡張補正比データファイル）６２には、回路閾値依存性の水準が含まれる。
【０１５０】
第６の実施形態のＲＣ遅延補正部１８では、入力されたＲＣネットリスト情報の中で記述されている回路閾値依存性の水準、又は、外部から指示された回路閾値依存性の水準をも参照条件として、拡張補正比データファイル６２を参照して所定の補正比データを取り出して、補正処理を行う。
【０１５１】
この第６の実施形態によっても、ＲＣ遅延式を適用して伝搬遅延時間を算出し、この算出した遅延時間を、予め回路モデルから作成した補正比データを参照して補正するようにしたので、検証時間の短縮化を期してＲＣ遅延式を遅延時間の算出に適用しても、タイミング検証の精度を従来より高めることができる。
【０１５２】
第６の実施形態によれば、以下のような効果も奏することができる。例えば、ＣＭＯＳロジック構成において、ＮＯＲ系回路では回路閾値が高くなり、反対にＮＡＮＤ系回路では回路閾値が低くなる。このような場合に対しても回路閾値設定部６１の水準設定により、同一のＲＣ遅延式での計算を適用しながら、補正比の使い分けで高精度化を計ることが可能である。すなわち、電源電圧の半値が回路閾値にならないセルの場合、異なった補正比で精度向上が計れる。
【０１５３】
（Ｇ）第７の実施形態
次に、本発明による回路設計検証装置の第７の実施形態を図面を参照しながら詳述する。
【０１５４】
第７の実施形態は、補正比データファイルに用意しておく補正比データ群を弁別するための水準として、セルへの入力波形依存性の水準を設けたことに特徴を有するものである。
【０１５５】
図２１は、第７の実施形態の回路設計検証装置の要部構成を示す機能ブロック図であり、上述した第１の実施形態に係る図１との同一、対応部分には同一符号を付して示している。
【０１５６】
図２１において、第７の実施形態の回路設計検証装置は、第１の実施形態の構成に加えて、補正比算出部１４に関連付けられたセル入力波形設定部７１を有する。
【０１５７】
図４（Ａ）に示す補正比データ作成のための回路モデルでのシミュレーション結果に影響を及す特性として、セルへの入力波形依存性がある。セル入力波形設定部７１は、このセルへの入力波形依存性の水準を、補正比算出部１４に設定し、第１の実施形態のような駆動セルのオン抵抗Ｒｏｎや、ＲＣネットでの総抵抗Ｒと総容量Ｃの組合わせという水準に加えて、セルへの入力波形依存性をも水準として補正比データの作成を行うものである。
【０１５８】
従って、第７の実施形態での補正比データファイル（拡張補正比データファイル）７２には、セルへの入力波形依存性の水準が含まれる。
【０１５９】
第７の実施形態のＲＣ遅延補正部１８では、入力されたＲＣネットリスト情報の中で記述されているセルへの入力波形依存性の水準、又は、外部から指示されたセルへの入力波形依存性の水準をも参照条件として、拡張補正比データファイル６７を参照して所定の補正比データを取り出して、補正処理を行う。
【０１６０】
この第７の実施形態によっても、ＲＣ遅延式を適用して伝搬遅延時間を算出し、この算出した遅延時間を、予め回路モデルから作成した補正比データを参照して補正するようにしたので、検証時間の短縮化を期してＲＣ遅延式を遅延時間の算出に適用しても、タイミング検証の精度を従来より高めることができる。
【０１６１】
第７の実施形態によれば、以下のような効果も奏することができる。セル入力波形設定部７１の水準設定により、回路モデルのセルとＲＣネットの接点の応答波形に対して、人為性のない状態で設定を変更することが可能となる。ＲＣネットのＲＣ遅延値補正を、なまった応答波形の条件で行うことも可能となる。
【０１６２】
（Ｈ）他の実施形態
上記各実施形態の特徴を他の実施形態の特徴とを組み合わせた実施形態も可能である。
【０１６３】
例えば、第２の実施形態の特徴である抵抗比による補正比データの層別化を、第４〜第７の実施形態の構成に対して、適用するようにしても良い。また、第５〜第７の実施形態のような伝搬遅延時間に影響を与える特性水準を、複数の特性種類の組み合わせにしても良い。すなわち、周波数依存性、回路閾値依存性及びセルへの入力波形依存性の２個以上の水準を組み合わせて、拡張補正比データファイルを構成する用にしても良い。
【０１６４】
伝搬遅延時間に影響を与える特性としては、上述したものの他、電源電圧依存性やプロセス依存性や温度依存性などがある。これらの依存性をも、水準として、拡張補正比データファイルを構成するようにしても良い。
【０１６５】
補正処理時には、補正比データファイルが完成されていれば良く、補正比データファイルを、別個の装置で作成し、検証装置に搭載するようにしても良い。すなわち、検証装置から、補正比算出部１４や補正比位置規格化部１５などを省略するようにしても良い。
【０１６６】
補正比データを作成するための回路モデルは、図４（Ａ）に示すものに限定されないことは勿論である。すなわち、枝の数や、枝の接続位置などは、上記各実施形態のものに限定されるものではない。
【０１６７】
上記各実施形態においては、伝搬遅延時間の算出対象のＲＣネットリストの量に関係なく、ＲＣ遅延計算部１２がＲＣ遅延式に従って伝搬遅延時間を算出するものであったが、従来装置と同様に、ＲＣネットリストの量が少ないときにはｓｐｉｃｅシュミレーションを適用し、ＲＣネットリストの量が多いときに、上記各実施形態の方法を適用するようにしても良い。
【０１６８】
上記各実施形態においては、ＲＣ遅延計算部１２がｅｌｍｏｒｅの遅延式を適用し、補正比データの基準となる真値はｓｐｉｃｅシュミレーション結果であるものを示したが、、ＲＣ遅延計算部１２が適用する算出方法や真値の算出方法は、これに限定されないことは勿論である。要は、算出時間は短いが算出精度が多少悪い方法をＲＣ遅延計算部１２での適用方法とすると共に、真値の算出方法に時間はかかるが精度の良い方法を適用すれば良い。また、真値として、過去にＬＳＩに実現されたパターンのＲＣネットについて実測した伝搬遅延時間を適用して補正比データを作成するようにしても良い。この場合、過去にＬＳＩに実現されたパターンのＲＣネットが回路モデルとなる。
【０１６９】
上記各実施形態においては、補正比データは、各枝の配線長や抵抗比に基づいて規格化が既になされているものであったが、補正比データファイルには規格化していない補正比データを格納し、ＲＣ遅延補正部１８が参照処理する際に、遅延時間の算出対象のＲＣネットの配線長や抵抗比に基づいて、ノード位置の合わせ込みも行ってノード位置に応じた補正比データを得るようにしても良い。
【０１７０】
上記各実施形態は、回路モデルや検証対象のＲＣネットのノード位置の規格化を、抵抗比、容量比又は配線長で行うものを示したが、抵抗比、容量比及び配線長の２個以上の積に応じて規格化するようにしても良い。
【０１７１】
上記各実施形態においては、ＬＳＩのレイアウト検証を対象としたものを示したが、本発明は、多層プリント基板の配線レイアウトの設計検証での伝搬遅延時間の演算処理にも適用可能であることは勿論である。
【０１７２】
【発明の効果】
以上のように、本発明の回路設計検証装置によれば、伝搬遅延時間の算出対象のＲＣネットと当該ＲＣネットを駆動するセルの情報を取り込む対象ＲＣネット情報入力手段と、伝搬遅延時間の算出対象のＲＣネット上の各ノードでの伝搬遅延時間を、所定種類の算出方法に従って得るＲＣ遅延取得手段と、予め回路モデルから求められている補正比データを格納している補正比記憶手段と、上記ＲＣ遅延取得手段が得た伝搬遅延時間の算出対象のＲＣネット上の各ノードでの伝搬遅延時間を、そのＲＣネットの構成に応じて上記補正比記憶手段から取り出した補正比データを用いて補正するＲＣ遅延補正手段とを有し、所定種類の算出方法を適用して伝搬遅延時間を算出した伝搬遅延時間を、予め回路モデルから作成した補正比データを参照して補正するようにしたので、検証時間の短縮化を期して所定種類の算出方法を遅延時間の算出に適用しても、それで得られた遅延時間より精度が高い遅延時間に補正することができる。
【図面の簡単な説明】
【図１】第１の実施形態の構成を示すブロック図である。
【図２】ｅｌｍｏｒｅの遅延モデルを示す回路図である。
【図３】従来装置の構成を示すブロック図である。
【図４】第１の実施形態での補正比作成用の回路モデルの説明図である。
【図５】図４の回路モデルのｓｐｉｃｅシュミレーションでの表記例を示す説明図である。
【図６】図４の回路モデルの各枝の長さ関係の説明図である。
【図７】図４の回路モデルに対するｓｐｉｃｅシュミレーション結果の一例を示す説明図である。
【図８】図４の回路モデルに対するｓｐｉｃｅシュミレーション結果及びＲＣ遅延式での結果（その１）をグラフで示す説明図である。
【図９】図４の回路モデルに対するｓｐｉｃｅシュミレーション結果及びＲＣ遅延式での結果（その２）をグラフで示す説明図である。
【図１０】図４の回路モデルに対するｓｐｉｃｅシュミレーション結果及びＲＣ遅延式での結果（その３）をグラフで示す説明図である。
【図１１】図４の回路モデルに対する補正比データの一例をグラフで示す説明図である。
【図１２】遅延時間の算出対象の実ＲＣネット例を示す回路図である。
【図１３】図１２のＲＣネットについての各種特性値の記述例を示す説明図である。
【図１４】第２の実施形態の要部構成を示す機能ブロック図である。
【図１５】図４の回路モデルに対するｓｐｉｃｅシュミレーション結果及びＲＣ遅延式での結果（その４）をグラフで示す説明図である。
【図１６】図４の回路モデルに対するｓｐｉｃｅシュミレーション結果及びＲＣ遅延式での結果（その５）をグラフで示す説明図である。
【図１７】第３の実施形態での伝搬遅延時間の補正処理手順例を示すフローチャートである。
【図１８】第４の実施形態の構成を示すブロック図である。
【図１９】第５の実施形態の要部構成を示す機能ブロック図である。
【図２０】第６の実施形態の要部構成を示す機能ブロック図である。
【図２１】第７の実施形態の要部構成を示す機能ブロック図である。
【符号の説明】
１１…ＲＣネットリスト入力部、１２…ＲＣ遅延計算部、１３…ノード位置規格化部、１４…補正比算出部、１５…補正比位置規格化部、１６…補正比データファイル、１７…補正比補間部、１８…ＲＣ遅延補正部、１９…ＲＣ遅延出力部、２１…抵抗比識別部、２２…層別化補正比データファイル、４１…仮想負荷入力部、５１…周波数設定部、５２、６２、７２…拡張補正比データファイル、６１…回路閾値設定部、７１…セル入力波形設定部。
【図１】
0004135210.tif 000004
【図２】
0004135210.tif 000005
【図３】
0004135210.tif 000006
【図４】
0004135210.tif 000007
【図５】
0004135210.tif 000008
【図６】
0004135210.tif 000009
【図７】
0004135210.tif 000010
【図８】
0004135210.tif 000011
【図９】
0004135210.tif 000012
【図１０】
0004135210.tif 000013
【図１１】
0004135210.tif 000014
【図１２】
0004135210.tif 000015
【図１３】
0004135210.tif 000016
【図１４】
0004135210.tif 000017
【図１５】
0004135210.tif 000018
【図１６】
0004135210.tif 000019
【図１７】
0004135210.tif 000020
【図１８】
0004135210.tif 000021
【図１９】
0004135210.tif 000022
【図２０】
0004135210.tif 000023
【図２１】
0004135210.tif 000024