JP2004253655A - Method and program of timing verification - Google Patents

Method and program of timing verification Download PDF

Info

Publication number
JP2004253655A
JP2004253655A JP2003043186A JP2003043186A JP2004253655A JP 2004253655 A JP2004253655 A JP 2004253655A JP 2003043186 A JP2003043186 A JP 2003043186A JP 2003043186 A JP2003043186 A JP 2003043186A JP 2004253655 A JP2004253655 A JP 2004253655A
Authority
JP
Japan
Prior art keywords
dummy
timing
timing verification
dummy metals
information
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Pending
Application number
JP2003043186A
Other languages
Japanese (ja)
Inventor
Kenji Hisae
健治 久重
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Fujitsu Ltd
Original Assignee
Fujitsu Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Fujitsu Ltd filed Critical Fujitsu Ltd
Priority to JP2003043186A priority Critical patent/JP2004253655A/en
Publication of JP2004253655A publication Critical patent/JP2004253655A/en
Pending legal-status Critical Current

Links

Images

Abstract

<P>PROBLEM TO BE SOLVED: To provide a timing verification method wherein the influence of a dummy metal can be surely taken into account in a design stage regardless of an actually generated pattern of the dummy metal. <P>SOLUTION: The verification method includes the following stages that a first RC information is extracted from layout information on the basis of a first RC extraction rule corresponding to a case when the number of dummy metals is a maximum, a second RC information is extracted from a layout information on the basis of a second RC extraction rule corresponding to a case when the number of dummy metals is a minimum, a first timing verification is conducted on the basis of the first RC information, a second timing verification is conducted on the basis of the second RC information, and the layout is judged according to a result obtained from the first and second timing verifications. <P>COPYRIGHT: (C)2004,JPO&NCIPI

Description

【0001】
【発明の属する技術分野】
本発明は、一般に半導体装置のレイアウト設計におけるタイミング検証に関し、詳しくはダミーメタルが挿入される半導体装置のレイアウト設計におけるタイミング検証に関する。
【従来の技術】
大規模半導体集積回路を製造する場合、配線密度が基板上の位置によって大きく異なると、位置によって最適なエッチング条件が異なってしまい、エッチング処理の効果が一様にならないという問題がある。この結果、配線密度が小さいところでは、レジストが消滅して断線が生じたり、配線幅が狭くなってくびれてしまい配線抵抗が著しく増大するなどの弊害が生じる。また大きくくびれる場所では配線が倒れたりする可能性がある。
【0002】
これを防ぎ種々の太さの配線をそれぞれ所望の精度でエッチングするためには、ウェハ面積に占めるレジストパターンの面積比を適切な所定の割合にしておく必要がある。従って、配線パターンのウェハ領域に対する面積比が少ない部位では、ダミーメタル(ダミーパターン)を挿入することにより、ウェハ上の部位に関わらずにレジストパターンの面積比が略一定となるように設定する。
【0003】
図1は、ダミーメタルのパターンを自動発生する処理について説明する図である。
【0004】
ASICなどのLSI設計では、フローティングのダミーメタルは設計後に自動発生されるのが一般的である。図1に示されるように、複数の正方形ダミーメタル10からなる千鳥状のパターン11を配線パターン12と重ねあわせ、配線パターン12の存在する位置及びその近傍ではダミーメタルが配置されないようにして、正方形ダミーメタル10を発生させる。この自動発生処理は、論理設計及びレイアウト設計が終了した後に、ウェーハ−の座標系に千鳥状のパターン11を重ね合わせることで実行される。
【0005】
正方形ダミーメタル10を格子状に規則正しく並べてしまうと、配線パターンと格子状パターンとの相対的な位置関係に応じて、配線間においてダミーメタルが多く発生する場合と少なく発生する場合との差が顕著になり、正方形ダミーメタル10の数に大きなバラツキが生じる。これに対して図1のような千鳥状のパターンを用いると、配線間においてダミーメタルが多く発生する場合と少なく発生する場合との差が余り無くなり、均一なパターン発生を実現することが出来る。
【0006】
しかしウェーハ上の座標系における千鳥状のパターン11と配線パターン12との相対的な位置関係は設計段階では分からないので、実際にどのようにダミーメタルが挿入されるかは設計段階では把握することができない。
【0007】
【特許文献1】
特開2002−149739号公報
【発明が解決しようとする課題】
発生されたダミーメタルは寄生容量として回路配線に結合するので、RC遅延による性能劣化を引き起こす場合があり、設計段階においてダミーメタルの寄生容量を考慮してタイミング設計をすることが望ましい。しかし上述のように、設計段階においては、実際の発生パターンを知ることはできない。仮に知ることができたとしても、ダミーメタルは膨大なデータ量となるため個々のダミーメタルを考慮してRC(抵抗及び容量)抽出を行なうことは現実的でない。
【0008】
従来は、配線間隔に応じたダミーメタル挿入量を仮定してRC抽出ルールを作成し、このRC抽出ルールに基づいてタイミング検証を実行していた。この方法では、ダミーメタルによる影響を正確に考慮することはできないので、その分のマージンを確保する必要が生じる。その結果、ネット全体に対して実際よりも厳しい条件となってしまい、レイアウトにおけるタイミング調整に苦労するという問題がある。
【0009】
また、電源等に接続された配線からなるシールドをレイアウト段階で予め設け、ダミーメタルによる影響を抑制することも可能である。しかしこの方法は、レイアウト工数が増大するために、一部のクリティカルネットにしか適用されていない。
【0010】
その他の手法として、特許文献1には配線混雑度を考慮して寄生素子を抽出する方法が示される。しかしこの方法は、配線混雑度に基づく平均的な計算を行うものであり、個々の配線間隔に応じたダミーメタル発生による影響を完全に保証できるものではない。従って、ダミーメタルによるタイミングへの影響を正確に保証できるタイミング検証手法が求められる。
【0011】
以上を鑑みて、本発明は、実際に発生されるダミーメタルのパターンに関らず、設計段階において確実にダミーメタルの影響を考慮することが可能なタイミング検証方法を提供することを目的とする。
【課題を解決するための手段】
本発明による半導体集積回路レイアウトに関するタイミング検証方法は、ダミーメタルの数が最大の場合に対応する第1のRC抽出ルールに基づいてレイアウト情報から第1のRC情報を抽出し、ダミーメタルの数が最小の場合に対応する第2のRC抽出ルールに基づいてレイアウト情報から第2のRC情報を抽出し、該第1のRC情報に基づいて第1のタイミング検証を行い、該第2のRC情報に基づいて第2のタイミング検証を行い、該第1のタイミング検証と第2のタイミング検証との双方の結果に基づいてレイアウトの判定を行う各段階を含むことを特徴とする。
【0012】
上記タイミング検証方法においては、発生されるダミーメタルが最大数の場合と最小数の場合との双方についてRC抽出ルールを設け、ダミー影響最大の場合と最小の場合との双方について対象レイアウトからRC抽出しタイミング検証を行うことで、ダミーの影響の上限と下限とについてタイミングに問題がないか否かを判定しながらレイアウトを決定する。従って、実際に発生されるダミーメタルが如何なる配置になろうとも、確実に動作可能な論理回路のレイアウト設計をすることができる。またダミー影響最大の場合と最小の場合とについて予めRC抽出ルールを設けておくことで、個々の配線レイアウトに対してダミーメタルと容量カップリングの計算を実行することなく、効率的な処理を実現することができる。
【発明の実施の形態】
以下に、本発明の実施例を添付の図面を用いて詳細に説明する。
【0013】
本発明においては、抵抗及び容量を抽出するRC抽出ルールとして、複数の異なる配線間隔の各々の場合に対応させて、最大数のダミーメタルを挿入した場合のカップリング容量を示すルールと、最少数のダミーメタルを挿入した場合のカップリング容量を示すルールとを予め作成しておく。最大数のダミーメタルを挿入した場合のルールがダミーメタルの影響が大きいルールであり、最少数のダミーメタルを挿入した場合のルールがダミーメタルの影響が小さいルールである。
【0014】
このようにして複数の異なる配線間隔の各々の場合について作成したダミー影響最大のルールとダミー影響最小のRC抽出ルールを用いて、タイミング検証対象の配線パターンについてRC抽出を行う。これにより、ダミー影響最大の条件の下での配線RC情報と、ダミー影響最小の条件下での配線RC情報が得られる。それぞれの配線RC情報に対して、トランジスタの駆動能力等の条件がベストの場合のタイミングとワーストの場合のタイミングを計算する。
【0015】
ダミー影響最大の条件下及びダミー影響最小の条件下の双方において、タイミングに問題があるか否かを判定し、問題がある場合にはレイアウトを修正して再度タイミング計算を実行する。ダミー影響最大の条件下及びダミー影響最小の条件下の双方において問題がなくなると、その時点のレイアウトをレイアウト設計の最終結果とする。
【0016】
このように本発明においては、発生されるダミーメタルが最大数の場合と最小数の場合との双方についてRC抽出ルールを設け、ダミー影響最大の場合と最小の場合との双方について対象レイアウトからRC抽出しタイミング検証をすることで、ダミーの影響の上限と下限とについてタイミングに問題がないか否かを判定しながらレイアウトを決定する。従って、実際に発生されるダミーメタルが如何なる配置になろうとも、確実に動作可能な論理回路のレイアウト設計をすることができる。またダミー影響最大の場合と最小の場合とについて予めRC抽出ルールを設けておくことで、個々の配線レイアウトに対してダミーメタルと容量カップリングの計算を実行することなく、効率的な処理を実現することができる。
【0017】
図2は、所定の間隔の配線間に最大数のダミーメタルを発生させる場合と最少数のダミーメタルを発生させる場合について説明するための図である。
【0018】
前述のように、所定の配線間隔について、最大数のダミーメタルを挿入した場合のカップリング容量を示すルールと、最少数のダミーメタルを挿入した場合のカップリング容量を示すルールとを予め作成する。このためには、所定の配線間隔について、最大数のダミーメタルを発生させた場合と最少数のダミーメタルを発生させた場合とについて容量解析を行い、カップリング容量を計算する必要がある。
【0019】
図2のように、間隔Sで配置される2本の配線20及び21が与えられたとする。千鳥状パターンで配置される正方形ダミーメタル10を配線20及び21間に発生させる際に、配線から距離L内の配線近傍においては正方形ダミーメタル10を発生させないものとする。また正方形ダミーメタル10の一辺の長さをWとし、配線に垂直な方向において隣接する正方形ダミーメタル10間のずれ(配置ピッチ)をDとする。この場合、ダミーメタルの最大数Nmax及び最小数Nminは、
Nmax=(S−2L−W)/D+1
Nmin=(S−2L−W)/D
となる。なお上式において、小数点以下は切捨てる。
【0020】
ダミーメタル発生数を最大とする場合には、配線20から距離Lだけ離れた位置にダミーパターン発生の基準点を設定して、千鳥パターンを実現するダミーパターン発生ルールに基づいて、Nmax個の正方形ダミーメタル10を発生させる。その後容量解析することにより、間隔Sの配線について、正方形ダミーメタル10を考慮したカップリング容量を求める。これにより、同一配線層内で所定の幅の配線が間隔Sで配置される場合について、ダミー影響最大の条件のRC抽出ルールが求められる。
【0021】
ダミーメタル発生数を最小とする場合には、配線21から距離Lだけ離れた位置にダミーパターン発生の基準点を設定して、千鳥パターンを実現するダミーパターン発生ルールに基づいて、Nmin個の正方形ダミーメタル10を発生させる。その後容量解析することにより、間隔Sの配線について、正方形ダミーメタル10を考慮したカップリング容量を求める。これにより、同一配線層内で所定の幅の配線が間隔Sで配置される場合について、ダミー影響最小の条件のRC抽出ルールが求められる。
【0022】
なお配線間隔Sが充分に狭い場合には、正方形ダミーメタル10は全く発生されない場合がある。この場合は、ダミー影響最大のRC抽出ルールのカップリング容量と、ダミー影響最小のRC抽出ルールのカップリング容量とは同一となる。また配線間隔Sが充分に広い場合には、多数の正方形ダミーメタル10が発生されることになる。この場合、ダミー影響最大のRC抽出ルールのカップリング容量と、ダミー影響最小のRC抽出ルールのカップリング容量とには、大きな差は存在しなくなる。
【0023】
図3(a)はダミー影響最小のRC抽出ルールの一例であり、図3(b)はダミー影響最大のRC抽出ルールの一例である。
【0024】
図3(a)及び(b)に示されるように、RC抽出ルールは、例えば同一の配線層METAL1において、2つの配線が0.3間隔、0.9間隔、1.5間隔、2.1間隔、2.7間隔のそれぞれの場合に対して、カップリング容量を規定したものとなっている。
【0025】
一般にRC抽出ルールは、フィールドソルバーと呼ばれるツールにより基本的な配線モデルを解析することで作成される。RC抽出ルールには、カップリング容量成分の他にフリンジ容量成分等の情報が、配線間隔、配線幅、配線層等の条件に応じて記述される。本発明では、図3に示されるように、ダミーメタルの影響が最大のRC抽出ルールとダミーメタルの影響が最小のRC抽出ルールとが作成されることになる。
【0026】
図3(a)及び(b)を比較すれば分かるように、2つの配線が0.3間隔の場合には、カップリング容量は100として同一となっている。これは上述のように、正方形ダミーメタル10が全く発生されない場合に相当する。また2つの配線が2.7間隔の場合には、カップリング容量は25として同一となっている。これは上述のように、正方形ダミーメタル10が数多く発生される場合に相当する。これら2つ以外の配線間隔においては、(a)のダミー影響最小のRC抽出ルールのカップリング容量の方が、(b)のダミー影響最大のRC抽出ルールのカップリング容量よりも小さい値となっている。
【0027】
図4は、本発明によるタイミング検証方法の手順を示すフローチャートである。
【0028】
設計対象回路の論理設計が終了した後に、回路を構成する各セルの配置及びセル間の配線を決定することにより、設計対象回路のレイアウトを作成する(ステップST1)。これによりレイアウトデータが生成される。このレイアウトデータは、各セルの配置及びセル間の配線に関するデータである。
【0029】
ステップST2で、前述のようにして求めたダミー影響最小のRC抽出ルールに基づいて、配線の抵抗及び容量を抽出しRC情報を生成する。このRC情報は、一連の抵抗Rと容量Cとが交互に連結されたものであり、対象となる配線の遅延を計算するために用いられる。RC情報は、例えば業界標準のRC記述ファイルであるSPEF形式で生成される。
【0030】
ステップST3で、設計対象回路のタイミング検証を実行する。このタイミング検証は、遅延計算と遅延判定とからなる。遅延計算においては、論理回路における各回路素子(セル)の遅延と、各回路素子間の配線の遅延とを考慮して、信号の遅延を回路全体に対して計算するものである。また遅延判定は、遅延計算で得られた結果に基づいて、遅延が所望の値より大きい等、タイミングに問題がある回路部分が存在するか否かをチェックする。具体的には、各回路素子の駆動能力等の条件がベストの場合と、それらの条件がワーストの場合との双方について遅延計算を実行し、ベストケースとワーストケースとの両方について遅延判定を実行する。
【0031】
更にステップST4で、前述のようにして求めたダミー影響最大のRC抽出ルールに基づいて、配線の抵抗及び容量を抽出しRC情報を生成する。ダミーメタルの影響が最大であるので、上記ステップST2の場合と比較して、抽出されたRC情報のカップリング容量は大きくなっている。
【0032】
ステップST5で、設計対象回路のタイミング検証を実行する。ステップST3の場合と同様に、遅延計算において、各セルの遅延と各配線の遅延とを回路全体に対して計算し、遅延判定において、遅延計算で得られた結果に基づいてタイミングに問題がある回路部分が存在するか否かをチェックする。
【0033】
ステップST6で、現在のレイアウトのタイミング検証結果について判定を行う。即ち、ダミー影響最小の場合のステップST3のタイミング検証結果とダミー影響最大の場合のステップST5のタイミング検証結果との双方について、検証結果にエラーがあるか否かを判定する。問題がある場合には、レイアウトを修正し、RC抽出処理並びにタイミング検証及び判定を再度実行する。ステップST6の判定において問題が無くなった時点で、その時のレイアウトを最終結果として処理を終了する。
【0034】
以上のようにして、タイミング検証及びレイアウト変更を繰り返し、タイミングに問題がなくなるように、レイアウトを収束させる。
【0035】
上記タイミング検証においては、ダミーメタルが最大数の場合と最小数の場合との双方について用意されたRC抽出ルールを用いて、ダミー影響最大の場合と最小の場合との双方について対象レイアウトからRC抽出しタイミング検証をすることで、ダミーの影響の上限と下限とについてタイミングに問題がないか否かを判定しながらレイアウトを決定する。従って、実際に発生されるダミーメタルが如何なる配置になろうとも、確実に動作可能な論理回路のレイアウト設計をすることができる。またダミー影響最大の場合と最小の場合とについて予めRC抽出ルールを設けておくことで、個々の配線レイアウトに対してダミーメタルと容量カップリングの計算を実行することなく、効率的な処理を実現することができる。
【0036】
図5は、本発明によるタイミング検証方法の処理を実行する装置の構成を示す図である。
【0037】
図5に示されるように、本発明によるタイミング検証方法を実行する装置は、例えばパーソナルコンピュータやエンジニアリングワークステーション等のコンピュータにより実現される。図5の装置は、コンピュータ510と、コンピュータ510に接続されるディスプレイ装置520、通信装置523、及び入力装置よりなる。入力装置は、例えばキーボード521及びマウス522を含む。コンピュータ510は、CPU511、RAM512、ROM513、ハードディスク等の二次記憶装置514、可換媒体記憶装置515、及びインターフェース516を含む。
【0038】
キーボード521及びマウス522は、ユーザとのインターフェースを提供するものであり、コンピュータ510を操作するための各種コマンドや要求されたデータに対するユーザ応答等が入力される。ディスプレイ装置520は、コンピュータ510で処理された結果等を表示すると共に、コンピュータ510を操作する際にユーザとの対話を可能にするために様々なデータ表示を行う。通信装置523は、遠隔地との通信を行なうためのものであり、例えばモデムやネットワークインターフェース等よりなる。
【0039】
本発明によるタイミング検証方法は、コンピュータ510が実行可能なコンピュータプログラムとして提供される。このコンピュータプログラムは、可換媒体記憶装置515に装着可能な記憶媒体Mに記憶されており、記憶媒体Mから可換媒体記憶装置515を介して、RAM512或いは二次記憶装置514にロードされる。或いは、このコンピュータプログラムは、遠隔地にある記憶媒体(図示せず)に記憶されており、この記憶媒体から通信装置523及びインターフェース516を介して、RAM512或いは二次記憶装置514にロードされる。
【0040】
キーボード521及び/又はマウス522を介してユーザからプログラム実行指示があると、CPU511は、記憶媒体M、遠隔地記憶媒体、或いは二次記憶装置514からプログラムをRAM512にロードする。CPU511は、RAM512の空き記憶空間をワークエリアとして使用して、RAM512にロードされたプログラムを実行し、適宜ユーザと対話しながら処理を進める。RAM512或いは二次記憶装置514には、セルの配置位置等に関するレイアウト情報が格納されている。なおROM513には、コンピュータ510の基本動作を制御するための制御プログラムが格納されている。
【0041】
上記コンピュータプログラムを実行することで、上記実施例で説明されたように、タイミング検証方法を実行する。
【0042】
以上、本発明を実施例に基づいて説明したが、本発明は上記実施例に限定されるものではなく、特許請求の範囲に記載の範囲内で様々な変形が可能である。
【発明の効果】
上記説明したタイミング検証方法においては、発生されるダミーメタルが最大数の場合と最小数の場合との双方についてRC抽出ルールを設け、ダミー影響最大の場合と最小の場合との双方について対象レイアウトからRC抽出しタイミング検証を行うことで、ダミーの影響の上限と下限とについてタイミングに問題がないか否かを判定しながらレイアウトを決定する。従って、実際に発生されるダミーメタルが如何なる配置になろうとも、確実に動作可能な論理回路のレイアウト設計をすることができる。
【0043】
またダミー影響最大の場合と最小の場合とについて予めRC抽出ルールを設けておくことで、個々の配線レイアウトに対してダミーメタルと容量カップリングの計算を実行することなく、効率的な処理を実現することができる。
【図面の簡単な説明】
【図1】ダミーメタルのパターンを自動発生する処理について説明する図である。
【図2】所定の間隔の配線間に最大数のダミーメタルを発生させる場合と最少数のダミーメタルを発生させる場合について説明するための図である。
【図3】(a)はダミー影響最小のRC抽出ルールの一例であり、(b)はダミー影響最大のRC抽出ルールの一例である。
【図4】本発明によるタイミング検証方法の手順を示すフローチャートである。
【図5】本発明によるタイミング検証方法の処理を実行する装置の構成を示す図である。
【符号の説明】
10 正方形ダミーメタル
11 千鳥状パターン
12 配線パターン
20、21 配線
[0001]
TECHNICAL FIELD OF THE INVENTION
The present invention generally relates to timing verification in layout design of a semiconductor device, and more particularly to timing verification in layout design of a semiconductor device into which a dummy metal is inserted.
[Prior art]
In the case of manufacturing a large-scale semiconductor integrated circuit, if the wiring density greatly differs depending on the position on the substrate, the optimum etching conditions differ depending on the position, and there is a problem that the effect of the etching process is not uniform. As a result, when the wiring density is low, the resist disappears to cause disconnection, or the wiring width is narrowed and constricted, resulting in a remarkable increase in wiring resistance. Also, there is a possibility that the wiring may fall down in a greatly constricted place.
[0002]
In order to prevent this and to etch wirings of various thicknesses with desired accuracy, it is necessary to set the area ratio of the resist pattern to the wafer area at an appropriate predetermined ratio. Therefore, in a portion where the area ratio of the wiring pattern to the wafer region is small, the area ratio of the resist pattern is set to be substantially constant regardless of the portion on the wafer by inserting a dummy metal (dummy pattern).
[0003]
FIG. 1 is a diagram illustrating a process of automatically generating a dummy metal pattern.
[0004]
In LSI design such as ASIC, a floating dummy metal is generally automatically generated after design. As shown in FIG. 1, a staggered pattern 11 composed of a plurality of square dummy metals 10 is superimposed on a wiring pattern 12, and a dummy metal is not arranged at a position where the wiring pattern 12 exists and in the vicinity thereof, thereby forming a square pattern. The dummy metal 10 is generated. This automatic generation processing is executed by superimposing the zigzag pattern 11 on the coordinate system of the wafer after the completion of the logic design and the layout design.
[0005]
If the square dummy metals 10 are regularly arranged in a grid pattern, the difference between the case where a large amount of dummy metal occurs and the case where a small amount of the dummy metal occurs between the wirings is remarkable according to the relative positional relationship between the wiring pattern and the grid pattern. And a large variation occurs in the number of square dummy metals 10. On the other hand, if a zigzag pattern as shown in FIG. 1 is used, there is little difference between a case where a large amount of dummy metal is generated and a case where a small amount of dummy metal is generated between wirings, and a uniform pattern can be generated.
[0006]
However, since the relative positional relationship between the staggered pattern 11 and the wiring pattern 12 in the coordinate system on the wafer is not known at the design stage, it is necessary to grasp how the dummy metal is actually inserted at the design stage. Can not.
[0007]
[Patent Document 1]
Japanese Patent Application Laid-Open No. 2002-149739 [Problems to be Solved by the Invention]
Since the generated dummy metal is coupled to the circuit wiring as a parasitic capacitance, the performance may be degraded due to the RC delay. Therefore, it is desirable to design the timing in consideration of the parasitic capacitance of the dummy metal at the design stage. However, as described above, it is not possible to know the actual occurrence pattern at the design stage. Even if it can be known, it is not realistic to perform RC (resistance and capacitance) extraction in consideration of each dummy metal because the dummy metal has a huge data amount.
[0008]
Conventionally, an RC extraction rule is created assuming a dummy metal insertion amount corresponding to a wiring interval, and timing verification is executed based on the RC extraction rule. In this method, since the influence of the dummy metal cannot be accurately considered, it is necessary to secure a margin for the influence. As a result, the conditions are stricter than the actual conditions for the entire net, and there is a problem that it is difficult to adjust the timing in the layout.
[0009]
Further, it is also possible to provide a shield made of wiring connected to a power supply or the like in advance at the layout stage to suppress the influence of the dummy metal. However, this method is applied to only some critical nets because the number of layout steps increases.
[0010]
As another method, Patent Document 1 discloses a method of extracting a parasitic element in consideration of the degree of wiring congestion. However, this method performs an average calculation based on the degree of wiring congestion, and cannot completely guarantee the effect of the dummy metal generation in accordance with the individual wiring intervals. Therefore, there is a need for a timing verification method that can accurately guarantee the effect of the dummy metal on timing.
[0011]
In view of the above, an object of the present invention is to provide a timing verification method capable of reliably considering the influence of a dummy metal at a design stage regardless of a pattern of a dummy metal actually generated. .
[Means for Solving the Problems]
According to a timing verification method for a semiconductor integrated circuit layout according to the present invention, first RC information is extracted from layout information based on a first RC extraction rule corresponding to a case where the number of dummy metals is maximum, and the number of dummy metals is reduced. The second RC information is extracted from the layout information based on the second RC extraction rule corresponding to the minimum case, the first timing verification is performed based on the first RC information, and the second RC information is extracted. , A second timing verification is performed on the basis of the first timing verification and the second timing verification, and a layout determination is performed based on the results of both the first timing verification and the second timing verification.
[0012]
In the above timing verification method, RC extraction rules are set for both the maximum number and the minimum number of generated dummy metals, and the RC extraction from the target layout is performed for both the maximum and minimum cases of the dummy effect. By performing timing verification, the layout is determined while determining whether or not there is a timing problem with respect to the upper and lower limits of the influence of the dummy. Therefore, no matter what arrangement of actually generated dummy metals, the layout design of a logic circuit that can operate reliably can be performed. In addition, by setting RC extraction rules in advance for the case where the dummy effect is the maximum and the case where the dummy effect is the minimum, efficient processing can be realized without calculating the dummy metal and the capacitance coupling for each wiring layout. can do.
BEST MODE FOR CARRYING OUT THE INVENTION
Hereinafter, embodiments of the present invention will be described in detail with reference to the accompanying drawings.
[0013]
In the present invention, as a RC extraction rule for extracting a resistance and a capacitance, a rule indicating a coupling capacitance when a maximum number of dummy metals are inserted and a minimum And a rule indicating the coupling capacity when the dummy metal is inserted. The rule when the maximum number of dummy metals is inserted is a rule with a large effect of the dummy metal, and the rule when a minimum number of dummy metals is inserted is a rule with a small effect of the dummy metal.
[0014]
Using the rule for maximum dummy influence and the RC extraction rule for minimum dummy effect created for each of a plurality of different wiring intervals in this manner, RC extraction is performed on the wiring pattern to be subjected to timing verification. Thereby, the wiring RC information under the condition of the maximum dummy influence and the wiring RC information under the condition of the minimum dummy effect are obtained. For each of the wiring RC information, the timing when the condition such as the driving capability of the transistor is the best and the timing when the condition is the worst are calculated.
[0015]
Under both the condition of the maximum dummy influence and the condition of the minimum dummy effect, it is determined whether or not there is a timing problem. If there is a problem, the layout is corrected and the timing calculation is executed again. When there is no problem under both the condition with the maximum dummy effect and the condition with the minimum dummy effect, the layout at that time is determined as the final result of the layout design.
[0016]
As described above, according to the present invention, RC extraction rules are set for both the maximum number and the minimum number of generated dummy metals, and the RC layout is set based on the target layout for both the maximum and minimum dummy effects. By extracting and verifying the timing, the layout is determined while determining whether or not there is a timing problem with respect to the upper and lower limits of the influence of the dummy. Therefore, no matter what arrangement of actually generated dummy metals, the layout design of a logic circuit that can operate reliably can be performed. In addition, by setting RC extraction rules in advance for the case where the dummy effect is the maximum and the case where the dummy effect is the minimum, efficient processing can be realized without calculating the dummy metal and the capacitance coupling for each wiring layout. can do.
[0017]
FIG. 2 is a diagram for explaining a case where a maximum number of dummy metals are generated between wirings at a predetermined interval and a case where a minimum number of dummy metals are generated.
[0018]
As described above, a rule indicating the coupling capacitance when the maximum number of dummy metals are inserted and a rule indicating the coupling capacitance when the minimum number of dummy metals are inserted are created in advance for a predetermined wiring interval. . To this end, it is necessary to calculate the coupling capacitance by performing the capacitance analysis for the case where the maximum number of dummy metals is generated and the case where the minimum number of dummy metals are generated for a predetermined wiring interval.
[0019]
It is assumed that two wires 20 and 21 arranged at an interval S are provided as shown in FIG. When the square dummy metal 10 arranged in a staggered pattern is generated between the wirings 20 and 21, the square dummy metal 10 is not generated near the wiring within a distance L from the wiring. Further, the length of one side of the square dummy metal 10 is W, and the shift (arrangement pitch) between the square dummy metals 10 adjacent to each other in the direction perpendicular to the wiring is D. In this case, the maximum number Nmax and the minimum number Nmin of the dummy metal are:
Nmax = (S−2L−W) / D + 1
Nmin = (S-2L-W) / D
It becomes. In the above equation, the fractional part is omitted.
[0020]
In order to maximize the number of generated dummy metals, a reference point for generating a dummy pattern is set at a position separated from the wiring 20 by a distance L, and Nmax squares are set based on a dummy pattern generation rule for realizing a staggered pattern. The dummy metal 10 is generated. After that, by conducting a capacitance analysis, a coupling capacitance in consideration of the square dummy metal 10 is obtained for the wiring at the interval S. Thus, in the case where wirings of a predetermined width are arranged at the interval S in the same wiring layer, an RC extraction rule under the condition of the maximum dummy influence is obtained.
[0021]
In order to minimize the number of generated dummy metals, a reference point for generating a dummy pattern is set at a position separated from the wiring 21 by a distance L, and Nmin squares are set based on a dummy pattern generation rule for realizing a staggered pattern. The dummy metal 10 is generated. After that, by conducting a capacitance analysis, a coupling capacitance in consideration of the square dummy metal 10 is obtained for the wiring at the interval S. As a result, in the case where wirings having a predetermined width are arranged at intervals S in the same wiring layer, an RC extraction rule with the condition of the minimum dummy influence is obtained.
[0022]
When the wiring interval S is sufficiently small, the square dummy metal 10 may not be generated at all. In this case, the coupling capacity of the RC extraction rule with the maximum dummy effect is the same as the coupling capacity of the RC extraction rule with the minimum dummy effect. If the wiring interval S is sufficiently large, a large number of square dummy metals 10 will be generated. In this case, there is no large difference between the coupling capacity of the RC extraction rule having the largest dummy effect and the coupling capacity of the RC extraction rule having the smallest dummy effect.
[0023]
FIG. 3A is an example of an RC extraction rule with a minimum dummy effect, and FIG. 3B is an example of an RC extraction rule with a maximum dummy effect.
[0024]
As shown in FIGS. 3A and 3B, the RC extraction rule is that, for example, in the same wiring layer METAL1, two wirings are arranged at intervals of 0.3, 0.9, 1.5, 2.1. The coupling capacity is specified for each of the intervals of 2.7 and 2.7.
[0025]
Generally, an RC extraction rule is created by analyzing a basic wiring model using a tool called a field solver. In the RC extraction rule, information such as a fringe capacitance component in addition to the coupling capacitance component is described according to conditions such as a wiring interval, a wiring width, and a wiring layer. In the present invention, as shown in FIG. 3, an RC extraction rule with the maximum effect of the dummy metal and an RC extraction rule with the minimum effect of the dummy metal are created.
[0026]
As can be seen by comparing FIGS. 3A and 3B, when the two wirings are arranged at intervals of 0.3, the coupling capacitance is 100 and the same. This corresponds to the case where the square dummy metal 10 is not generated at all, as described above. When the two wirings are at 2.7 intervals, the coupling capacitance is 25 and the same. This corresponds to the case where a large number of square dummy metals 10 are generated as described above. At wiring intervals other than these two, the coupling capacitance of the RC extraction rule with the minimum dummy effect of (a) is smaller than the coupling capacitance of the RC extraction rule with the maximum dummy effect of (b). ing.
[0027]
FIG. 4 is a flowchart showing the procedure of the timing verification method according to the present invention.
[0028]
After the logic design of the circuit to be designed is completed, the layout of the circuit to be designed is created by determining the arrangement of the cells constituting the circuit and the wiring between the cells (step ST1). Thereby, layout data is generated. This layout data is data relating to the arrangement of each cell and wiring between cells.
[0029]
In step ST2, the resistance and capacitance of the wiring are extracted and the RC information is generated based on the RC extraction rule with the minimum dummy effect obtained as described above. The RC information is obtained by alternately connecting a series of resistors R and capacitors C, and is used to calculate a delay of a target wiring. The RC information is generated, for example, in the SPEF format, which is an industry standard RC description file.
[0030]
In step ST3, the timing of the circuit to be designed is verified. This timing verification includes delay calculation and delay determination. In the delay calculation, a signal delay is calculated for the entire circuit in consideration of a delay of each circuit element (cell) in a logic circuit and a delay of a wiring between each circuit element. In the delay determination, based on the result obtained by the delay calculation, it is checked whether or not there is a circuit part having a timing problem such as a delay larger than a desired value. Specifically, the delay calculation is performed for both the case where the conditions such as the driving capability of each circuit element are the best and the case where those conditions are the worst, and the delay determination is performed for both the best case and the worst case. I do.
[0031]
Further, in step ST4, the resistance and the capacitance of the wiring are extracted and the RC information is generated based on the RC extraction rule having the maximum dummy influence obtained as described above. Since the influence of the dummy metal is the largest, the coupling capacity of the extracted RC information is larger than in the case of step ST2.
[0032]
In step ST5, the timing of the circuit to be designed is verified. Similar to the case of step ST3, in the delay calculation, the delay of each cell and the delay of each wiring are calculated for the entire circuit, and in the delay determination, there is a problem in timing based on the result obtained in the delay calculation. Check if the circuit part exists.
[0033]
In step ST6, a determination is made on the timing verification result of the current layout. That is, it is determined whether or not there is an error in the verification result for both the timing verification result in step ST3 when the dummy effect is minimum and the timing verification result in step ST5 when the dummy effect is maximum. If there is a problem, the layout is corrected, and the RC extraction process and the timing verification and determination are executed again. When there is no problem in the determination in step ST6, the layout at that time is set as a final result, and the process ends.
[0034]
As described above, the timing verification and the layout change are repeated, and the layout is converged so that there is no problem in timing.
[0035]
In the above timing verification, the RC extraction rules prepared for both the maximum number and the minimum number of dummy metals are used to extract the RC from the target layout for both the maximum case and the minimum case of the dummy effect. By performing timing verification, the layout is determined while judging whether or not there is a timing problem with respect to the upper and lower limits of the influence of the dummy. Therefore, no matter what arrangement of actually generated dummy metals, the layout design of a logic circuit that can operate reliably can be performed. In addition, by setting RC extraction rules in advance for the case where the dummy effect is the maximum and the case where the dummy effect is the minimum, efficient processing can be realized without calculating the dummy metal and the capacitance coupling for each wiring layout. can do.
[0036]
FIG. 5 is a diagram showing a configuration of an apparatus for executing the processing of the timing verification method according to the present invention.
[0037]
As shown in FIG. 5, an apparatus for executing the timing verification method according to the present invention is realized by a computer such as a personal computer or an engineering workstation. 5 includes a computer 510, a display device 520 connected to the computer 510, a communication device 523, and an input device. The input device includes, for example, a keyboard 521 and a mouse 522. The computer 510 includes a CPU 511, a RAM 512, a ROM 513, a secondary storage device 514 such as a hard disk, a replaceable medium storage device 515, and an interface 516.
[0038]
The keyboard 521 and the mouse 522 provide an interface with the user, and input various commands for operating the computer 510, a user response to requested data, and the like. The display device 520 displays a result processed by the computer 510 and the like, and performs various data displays to enable a dialogue with a user when operating the computer 510. The communication device 523 performs communication with a remote place, and includes, for example, a modem and a network interface.
[0039]
The timing verification method according to the present invention is provided as a computer program executable by the computer 510. This computer program is stored in a storage medium M that can be mounted on the exchangeable medium storage device 515, and is loaded from the storage medium M to the RAM 512 or the secondary storage device 514 via the exchangeable medium storage device 515. Alternatively, the computer program is stored in a storage medium (not shown) at a remote location, and is loaded from the storage medium to the RAM 512 or the secondary storage device 514 via the communication device 523 and the interface 516.
[0040]
When a program execution instruction is issued from the user via the keyboard 521 and / or the mouse 522, the CPU 511 loads the program from the storage medium M, the remote storage medium, or the secondary storage device 514 to the RAM 512. The CPU 511 uses the free storage space of the RAM 512 as a work area, executes the program loaded in the RAM 512, and proceeds with the process while appropriately interacting with the user. The RAM 512 or the secondary storage device 514 stores layout information relating to cell arrangement positions and the like. Note that a control program for controlling the basic operation of the computer 510 is stored in the ROM 513.
[0041]
By executing the computer program, the timing verification method is executed as described in the above embodiment.
[0042]
As described above, the present invention has been described based on the embodiments. However, the present invention is not limited to the above embodiments, and various modifications can be made within the scope of the claims.
【The invention's effect】
In the timing verification method described above, an RC extraction rule is provided for both the maximum number and the minimum number of generated dummy metals, and both the maximum and the minimum dummy effects are determined from the target layout. By extracting RC and performing timing verification, the layout is determined while judging whether or not there is a timing problem with respect to the upper and lower limits of the influence of the dummy. Therefore, no matter what arrangement of actually generated dummy metals, the layout design of a logic circuit that can operate reliably can be performed.
[0043]
Also, by setting RC extraction rules in advance for the case where the dummy effect is the largest and the case where the dummy effect is the smallest, efficient processing can be realized without performing calculation of dummy metal and capacitance coupling for each wiring layout. can do.
[Brief description of the drawings]
FIG. 1 is a diagram illustrating a process of automatically generating a dummy metal pattern.
FIG. 2 is a diagram for explaining a case where a maximum number of dummy metals are generated between wirings at a predetermined interval and a case where a minimum number of dummy metals are generated.
3A is an example of an RC extraction rule with a minimum dummy effect, and FIG. 3B is an example of an RC extraction rule with a maximum dummy effect.
FIG. 4 is a flowchart showing a procedure of a timing verification method according to the present invention.
FIG. 5 is a diagram showing a configuration of an apparatus that executes processing of a timing verification method according to the present invention.
[Explanation of symbols]
10 Square dummy metal 11 Staggered pattern 12 Wiring patterns 20, 21 Wiring

Claims (10)

配線パターン間に挿入されるダミーメタルの数が最大の場合に対応する第1のRC抽出ルールに基づいてレイアウト情報から第1のRC情報を抽出し、
該ダミーメタルの数が最小の場合に対応する第2のRC抽出ルールに基づいてレイアウト情報から第2のRC情報を抽出し、
該第1のRC情報に基づいて第1のタイミング検証を行い、
該第2のRC情報に基づいて第2のタイミング検証を行い、
該第1のタイミング検証と第2のタイミング検証との双方の結果に基づいてレイアウトの判定を行う
各段階を含むことを特徴とする半導体集積回路レイアウトに関するタイミング検証方法。
Extracting the first RC information from the layout information based on the first RC extraction rule corresponding to the case where the number of dummy metals inserted between the wiring patterns is the largest;
Extracting second RC information from the layout information based on a second RC extraction rule corresponding to the case where the number of the dummy metals is a minimum,
Performing a first timing verification based on the first RC information;
Performing a second timing verification based on the second RC information;
A timing verification method for a semiconductor integrated circuit layout, comprising: a step of determining a layout based on results of both the first timing verification and the second timing verification.
該ダミーメタルの数が最大の場合に対応する該第1のRC抽出ルールを生成し
該ダミーメタルの数が最小の場合に対応する該第2のRC抽出ルールを生成する
各段階を更に含むことを特徴とする請求項1記載のタイミング検証方法。
The method further includes generating the first RC extraction rule corresponding to the case where the number of the dummy metals is the maximum, and generating the second RC extraction rule corresponding to the case where the number of the dummy metals is the minimum. The timing verification method according to claim 1, wherein:
該第1のRC抽出ルールを生成する段階は、
所定の間隔の配線パターン間に最大数のダミーメタルを発生させ、
該最大数のダミーメタルを考慮した該配線パターン間のカップリング容量を求める
各段階を含み、該第2のRC抽出ルールを生成する段階は、
該所定の間隔の該配線パターン間に最小数のダミーメタルを発生させ、
該最小数のダミーメタルを考慮した該配線パターン間のカップリング容量を求める
各段階を含むことを特徴とする請求項2記載のタイミング検証方法。
Generating the first RC extraction rule includes:
Generate the maximum number of dummy metals between wiring patterns at predetermined intervals,
Generating each of the second RC extraction rules includes a step of obtaining a coupling capacitance between the wiring patterns in consideration of the maximum number of dummy metals;
Generating a minimum number of dummy metals between the wiring patterns at the predetermined interval;
3. The timing verification method according to claim 2, further comprising the steps of obtaining a coupling capacitance between the wiring patterns in consideration of the minimum number of dummy metals.
該ダミーメタルは千鳥状パターンに配置されることを特徴とする請求項1乃至3のいずれか一項に記載のタイミング検証方法。4. The timing verification method according to claim 1, wherein the dummy metals are arranged in a staggered pattern. 該第1のタイミング検証を行う段階と該第2のタイミング検証を行う段階との各々は、タイミングがワーストの場合のタイミング計算とタイミングがベストの場合のタイミング計算とを実行することを特徴とする請求項1記載のタイミング検証方法。Each of the step of performing the first timing verification and the step of performing the second timing verification execute a timing calculation when the timing is the worst and a timing calculation when the timing is the best. The timing verification method according to claim 1. 配線パターン間に挿入されるダミーメタルの数が最大の場合に対応する第1のRC抽出ルールに基づいてレイアウト情報から第1のRC情報を抽出し、
該ダミーメタルの数が最小の場合に対応する第2のRC抽出ルールに基づいてレイアウト情報から第2のRC情報を抽出し、
該第1のRC情報に基づいて第1のタイミング検証を行い、
該第2のRC情報に基づいて第2のタイミング検証を行い、
該第1のタイミング検証と第2のタイミング検証との双方の結果に基づいてレイアウトの判定を行う
各段階を実行するようにコンピュータを制御することを特徴とする半導体集積回路レイアウトに関するタイミング検証プログラム。
Extracting the first RC information from the layout information based on the first RC extraction rule corresponding to the case where the number of dummy metals inserted between the wiring patterns is the largest;
Extracting second RC information from the layout information based on a second RC extraction rule corresponding to the case where the number of the dummy metals is a minimum,
Performing a first timing verification based on the first RC information;
Performing a second timing verification based on the second RC information;
A timing verification program for a semiconductor integrated circuit layout, comprising: controlling a computer to execute each step of determining a layout based on the results of both the first timing verification and the second timing verification.
該ダミーメタルの数が最大の場合に対応する該第1のRC抽出ルールを生成し
該ダミーメタルの数が最小の場合に対応する該第2のRC抽出ルールを生成する
各段階を更に含むことを特徴とする請求項6記載のタイミング検証プログラム。
The method further includes generating the first RC extraction rule corresponding to the case where the number of the dummy metals is the maximum, and generating the second RC extraction rule corresponding to the case where the number of the dummy metals is the minimum. The timing verification program according to claim 6, wherein:
該第1のRC抽出ルールを生成する段階は、
所定の間隔の配線パターン間に最大数のダミーメタルを発生させ、
該最大数のダミーメタルを考慮した該配線パターン間のカップリング容量を求める
各段階を含み、該第2のRC抽出ルールを生成する段階は、
該所定の間隔の該配線パターン間に最小数のダミーメタルを発生させ、
該最小数のダミーメタルを考慮した該配線パターン間のカップリング容量を求める
各段階を含むことを特徴とする請求項7記載のタイミング検証プログラム。
Generating the first RC extraction rule includes:
Generate the maximum number of dummy metals between wiring patterns at predetermined intervals,
Generating each of the second RC extraction rules includes a step of obtaining a coupling capacitance between the wiring patterns in consideration of the maximum number of dummy metals;
Generating a minimum number of dummy metals between the wiring patterns at the predetermined interval;
8. The timing verification program according to claim 7, further comprising each step of obtaining a coupling capacitance between the wiring patterns in consideration of the minimum number of dummy metals.
該ダミーメタルは千鳥状パターンに配置されることを特徴とする請求項6乃至8のいずれか一項に記載のタイミング検証プログラム。9. The timing verification program according to claim 6, wherein the dummy metals are arranged in a staggered pattern. 該第1のタイミング検証を行う段階と該第2のタイミング検証を行う段階との各々は、タイミングがワーストの場合のタイミング計算とタイミングがベストの場合のタイミング計算とを実行することを特徴とする請求項6記載のタイミング検証プログラム。Each of the step of performing the first timing verification and the step of performing the second timing verification execute a timing calculation when the timing is the worst and a timing calculation when the timing is the best. A timing verification program according to claim 6.
JP2003043186A 2003-02-20 2003-02-20 Method and program of timing verification Pending JP2004253655A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP2003043186A JP2004253655A (en) 2003-02-20 2003-02-20 Method and program of timing verification

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2003043186A JP2004253655A (en) 2003-02-20 2003-02-20 Method and program of timing verification

Publications (1)

Publication Number Publication Date
JP2004253655A true JP2004253655A (en) 2004-09-09

Family

ID=33026258

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2003043186A Pending JP2004253655A (en) 2003-02-20 2003-02-20 Method and program of timing verification

Country Status (1)

Country Link
JP (1) JP2004253655A (en)

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2006253498A (en) * 2005-03-11 2006-09-21 Matsushita Electric Ind Co Ltd Semiconductor integrated circuit device
WO2008114397A1 (en) * 2007-03-19 2008-09-25 Fujitsu Microelectronics Limited Design method and design device of semiconductor integrated circuit
US7761833B2 (en) 2007-04-16 2010-07-20 Nec Electronics Corporation Semiconductor device and dummy pattern arrangement method

Cited By (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2006253498A (en) * 2005-03-11 2006-09-21 Matsushita Electric Ind Co Ltd Semiconductor integrated circuit device
WO2008114397A1 (en) * 2007-03-19 2008-09-25 Fujitsu Microelectronics Limited Design method and design device of semiconductor integrated circuit
JP4717944B2 (en) * 2007-03-19 2011-07-06 富士通セミコンダクター株式会社 Semiconductor integrated circuit design method and design apparatus therefor
US7761833B2 (en) 2007-04-16 2010-07-20 Nec Electronics Corporation Semiconductor device and dummy pattern arrangement method
US8072078B2 (en) 2007-04-16 2011-12-06 Renesas Electronics Corporation Semiconductor device and dummy pattern arrangement method

Similar Documents

Publication Publication Date Title
JP4335862B2 (en) Characteristic extraction method and characteristic extraction apparatus for semiconductor integrated circuit
US11475195B2 (en) Computer-implemented method and computing system for designing integrated circuit by considering timing delay
US8020121B2 (en) Layout method and layout apparatus for semiconductor integrated circuit
US6892368B2 (en) Patching technique for correction of minimum area and jog design rule violations
US20030182644A1 (en) (Design rule check)/(electrical rule check) algorithms using a system resolution
JP4719657B2 (en) Placement model creation device, placement model creation method, and placement model creation program
US20060225018A1 (en) Automatic trace determination method and computer program thereof
JP2006155120A (en) Wiring method, program and device
US8418112B2 (en) Method of generating RC technology file
JP2004253655A (en) Method and program of timing verification
JP4195821B2 (en) Semiconductor integrated circuit design method
JP4851216B2 (en) Power supply method for testing in semiconductor integrated circuit and CAD system for semiconductor integrated circuit
US8650020B1 (en) Modeling second order effects for simulating transistor behavior
JP5011200B2 (en) Circuit analysis method, semiconductor integrated circuit manufacturing method, circuit analysis program, and circuit analysis apparatus
US8984468B1 (en) Method to adaptively calculate resistor mesh in IC designs
JP4799858B2 (en) Automatic design method of semiconductor integrated circuit
JP2008210983A (en) Reliability-design aiding method
US20050005252A1 (en) Wiring graphic verification method, program and apparatus
JP2010218162A (en) Design verification apparatus for semiconductor device
JP4668974B2 (en) Semiconductor device design method, semiconductor device design system, and computer program
JP5087900B2 (en) Simulation program and simulation apparatus
US20230037826A1 (en) Computer-implemented method and computing system for designing integrated circuit by considering timing delay
JP2008097541A (en) Layout verification method and layout verification device
JP2715931B2 (en) Semiconductor integrated circuit design support method
JP2005129869A (en) Method of designing semiconductor integrated circuit

Legal Events

Date Code Title Description
A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20040726

A977 Report on retrieval

Free format text: JAPANESE INTERMEDIATE CODE: A971007

Effective date: 20070118

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20071120

A02 Decision of refusal

Free format text: JAPANESE INTERMEDIATE CODE: A02

Effective date: 20080318