JPH11509038A

JPH11509038A - 集積回路のポイントランドマーク設計方法及び装置

Info

Publication number: JPH11509038A
Application number: JP9503325A
Authority: JP
Inventors: ブカナン，マーク，イー．; リッピンコット，ジョージ，ピー．
Original assignee: カスケードデザインオートメーションコーポレイション
Priority date: 1995-06-12
Filing date: 1996-06-12
Publication date: 1999-08-03
Also published as: WO1996042060A1; EP0870254A1; CA2224588A1

Abstract

(57)【要約】集積回路のポイントランドマーク設計のための方法及び装置が記載される。コンピュータは、グラフィカルインターフェースを示し、グラフィカルインターフェースに応じてユーザから命令を受け取るようにプログラムされる。また、コンピュータは、集積回路設計の形態及び所定のプロセス技術に関連する設計ルールの記述、並びに他の設計制約を受け取る。それから、コンピュータは、集積回路設計中の各形態に少なくとも一つの形態ポイントを関連付け、且つ集積回路設計中に使用される形態の各タイプに属性リストを関連付ける。また、コンピュータは、各形態ポイントに少なくとも２つの制約（ref1，p1）を関連付け、且つ各制約に制約属性のリストを関連付ける。それから、コンピュータは各ポイントランドマークに関連する属性リスト上の処理を実行し、形態ポイントの相対的幾何配置を決定する。

Description

【発明の詳細な説明】集積回路のポイントランドマーク設計方法及び装置仮出願の参照本出願は、１９９５年６月１２日出願の米国仮出願No.60/000,159の利益を主張する。技術分野本発明は、集積回路設計においてポイントランドマークを使用する方法及び装置に関する。発明の概要第１の実施形態によれば、本発明は、基板面上の複数層上に定義される複数の形態を有する集積回路の設計方法である。形態は、可能な形態タイプのセットから選ばれ、且つプロセス技術に関連する設計ルールのセットの対象となる。設計ルールは、前記可能な形態タイプのセットの構成要素中から物理的要求事項を特定する。その方法は、ａ）少なくとも一つの形態ポイントに、複数の形態中の各形態を関連付ける工程と、ｂ）各形態ポイントに付加的情報を関連付ける工程であって、前記付加的情報は形態のタイプに関連する属性のリストを含み、属性リスト中の各属性は一つの値を有する工程と、ｃ）複数の形態中の各形態に関連する形態ポイントに関連する各属性のリストを用意する工程であって、前記リストは属性の値を含む工程と、を備える。その方法はさらに、ｄ）各形態ポイントに少なくとも２つの制約を関連付ける工程と、ｅ）各制約に付加的な制約情報を関連付ける工程であって、前記制約情報は、制約のタイプに関連する制約属性のリストを含み、制約属性リスト中の各属性は一つの値を有する工程と、ｆ）複数の形態中の各形態に関連する制約に関連する各制約属性のリストを用意する工程であって、前記リストは制約属性の値を含む工程と、を備える。さらに、その方法は、ｇ）各リストの処理を実行する工程であって、前記処理は設計ルール中の制約に対応し、前記処理の結果は形態ポイントの相対的幾何的配置である工程を備える。他の観点によれは、本発明は、基板面上の複数層上に定義される複数の形態を有する集積回路の設計装置である。形態は、可能な形態タイプのセットから選ばれ、且つプロセス技術に関連する設計ルールのセットの対象となる。設計ルールは、前記可能な形態タイプのセットの構成要素中から物理的要求事項を特定する。その装置は、第１、第２、第３、第４、第５、第６、及び第７の回路手段を備える。第１の回路手段は、少なくとも一つの形態ポイントに、複数の形態中の各形態を関連付ける。第２の回路手段は、各形態ポイントに付加的情報を関連付ける。その情報は形態のタイプに関連する属性のリストを含み、属性リスト中の各属性は一つの値を有する。第３の回路手段は、複数の形態中の各形態に関連する形態ポイントに関連する各属性のリストを用意する。リストは属性の値を含む。第４の回路手段は、各形態ポイントに少なくとも２つの制約を関連付ける。第５の回路手段は、各制約に付加的な制約情報を関連付ける。制約情報は、制約のタイプに関連する制約属性のリストを含む。制約属性リスト中の各属性は一つの値を有する。第６の回路手段は、複数の形態中の各形態に関連する制約に関連する各制約属性のリストを用意し、リストは制約属性の値を含む。第７の回路手段は、各リストの処理を実行する。処理は設計ルール中の制約に対応し、前記処理の結果は形態ポイントの相対的幾何的配置である。図面の簡単な説明図１は、本発明の方法の一部を示す概略図である。図２は、本発明の方法の一部を示す概略図である。図３Ａ−Ｂは、本発明の方法の一部を示す概略図である。図４は、本発明の方法の一部を示す概略図である。図５は、本発明の方法の一部を示す概略図である。図６Ａ−Ｂは、本発明の方法の一部を示す概略図である。図７Ａ−Ｃは、本発明の方法の一部を示す概略図である。図８Ａ−Ｂは、本発明の方法の一部を示す概略図である。図９Ａ−Ｂは、本発明の方法の一部を示す概略図である。図１０Ａ−Ｂは、本発明の方法の一部を示す概略図である。図１１は、本発明の方法の一部を示す概略図である。図１２は、本発明の方法の一部を示す概略図である。図１３は、本発明の方法の一部を示す概略図である。図１４Ａ−Ｂは、本発明の方法の一部を示す概略図である。図１５は、本発明の方法の一部を示す概略図である。図１６Ａ−Ｂは、本発明の方法の一部を示す概略図である。図１７Ａ−Ｂは、本発明の方法の一部を示す概略図である。図１８Ａ−Ｂは、本発明の方法の一部を示す概略図である。図１９Ａ−Ｄは、本発明の方法の一部を示す概略図である。図２０は、本発明の方法の一部を示す概略図である。図２１は、本発明の方法の一部を示す概略図である。本発明の好適な実施形態の詳細な説明Ａ1.0 導入かつてのランドマークによる方法論では、過多及び過少なランドマークを有することの間で行われるべきトレードオフが存在した。ランドマークが多過ぎる場合、アイビュー（Iview）でセルをデバッグすることが困難となる。少な過ぎる場合、ランドマーク方程式が複雑となり、それらが不正確となり易い。ポイントランドマークアプローチは、正確な方程式を見つけ出す方法を自動化する試みである。このアプローチでは、新規な構造(“ポイント”ランドマーク) を使用してボックスのコーナー及びワイヤポイントを識別する。これらのポイントランドマークは、Ｘ及びＹの位置両方を有し、それはディスプレーをクラッタさせること無くそれらのより多くを得ることを可能とする。ランドマーク方程式の代わりに、ポイント−ランドマーク間で制約（constrai nt）が使用される。制約は２つのポイント間の関係に関する情報を特定するが、制約の値は通常は自動的に計算される。Ａ2.0 ポイントポイントは、幾何形状要素（ワイヤ、ボックス、及びポリゴン）を示すために使用される。表１に示すように、ポイントはタイプ、層、拡張及びノードに関する情報を含まなければならない。この情報は、制約についての距離を計算するために使用される（設計者に明示的な方程式を特定させる代わりに）。ボックスは（対向するコーナーに）２つのポイントを必要とし、ポリゴンは各コーナーに一つのポイントを必要とし、ワイヤは開始ポイント及び各セグメントについて一つのポイントを必要とする。単純な幾何形状に加え、ポイントは、ＣＤＳで作られる種々のタイプの接点及び通路を示すために使用される。これらの接点及び通路は、３つの層上に幾何形状を有すると考えられる−接点又は通路の層に加え、コネクトされる２つの層。Ａ3.0 制約制約は、基準ポイント、目標ポイント、方向、タイプ及びリンクを有する。これらを以下に説明する。Ａ3.1 基準及び目標目標は、制約が適用されるポイントである。基準は、そこから遠隔に目標が配置されるポイントである。Ａ3.2 方向方向は、基準に対する目標の方位を特定する。例えば、制約は、目標ポイントが基準ポイントの北にあることを特定する。Ａ3.3 タイプポイント間の関係を特定するために幾つかの制約のタイプが使用できる。タイプは、どのように距離が計算されるかに影響を与える。制約が“サイド”制約である場合、距離は設計ルールにより要求される基本的なマンハッタン距離である。制約がＸ方向の“コーナー” 制約である場合、２つの点をオフセットするためのピタゴラス距離を見い出すために各ポイントのＹ座標を考慮に入れる。デフォルト制約はサイド制約と同様に動作しようとするが、多くのデフォルト制約を使用する場合には、循環（cycle）が生じ、その場合、そのポイントのＹ座標もＸに依存するにも拘わらず、そのポイントのＹ座標が計算される前にそのポイントのＸ座標を知る必要が生じる。これが生じた場合、解決者はデフォルト制約の一つを取り上げ、それをサイド制約として扱う。デルタ制約は、設計ルールにより指示される最小空間の代わりに、ユーザが指定した値を使用することを許容する。アライン制約は、２つのポイントがＸ又はＹ方向に整列すべきであることを示す。コネクト制約は、狭ワイヤと、広いワイヤ又は接点との間の接続を示すのに使用される。それは、接続が完全に維持されている限り、接点ストリップの片側から他方へとワイヤがスライドすることを可能とする。Ａ3.4 リンク制約リンクは、目標の使用後に基準ポイントに何が起きるかを示すために使用される。しばしば、一つのポイントは制約が要求するよりも遠くへ移動する。（これは一般的に他の制約の存在による）。しばしば、２つのポイントを接近して維持することが望まれ、例えば、トランジスタのゲートは、可能であれば常にドレインに近接すべきである。これは、“アタッチ”制約を作ることにより実行できる。一つのポイントが移動した後、可能な限り全ての付属する基準を引き寄せる試みが為される。アタッチリンクの少し弱いバージョンも使用可能であり、それは“アトラクト ”と呼ばれる。基準が引き付けられれば、それはアトラクトの方向に引き寄せられるが、それは、他のものを押しやらす、又は制約を破らずに進める限りにおいてである。アタッチは、必要であれば、実際にそれに沿うものを押しやることがある。最も一般的なリンクは“フリー”である。このリンクを有する制約は、基準ポイントに何らの効果を及ぼさない。Ａ4.0 解決制約Ａ4.1 制約を構成する方法制約は、それらの方向、目標ポイント、及びそれらがアライン制約であるか否かに応じて全てグループ分けされる。各ポイントについて、Ｘ、Ｙ、Ｘ−アライン、及びＹ−アライン、の４個の制約のリストがある。これらの各リストを含むマスターリストも作られる。Ａ4.2 制約リストの評価制約はグループ内で評価される。リスト中の全ての制約が評価の準備がされている場合、評価がなされ、最大値が選択される。制約が評価の準備がされているか否かについての必要条件は、それがコーナー又はサイド制約として扱われているか否かに依存する。Ｘ方向のコーナー制約は、基準ポイントのＸ及びＹ座標、並びに目標ポイントのＹ座標が既知であることを必要とする。Ｘ方向のサイド制約は、基準のＸ座標が既知であることのみを必要とする。アライン制約は、目標を有さず、基準のみを有する。リスト中の全ての基準が既知の値を有する場合、アラインが実行可能である。Ａ4.3 評価の順序制約を評価する順序は任意である。制約のリストは、それら自身がマスターリストの一部である。このマスターリストは、評価可能な制約を見つけるために考察される。評価される最初の制約は、それに伴う基準が無いので、オリジン制約である。次に、そのポイントのみに依存するあらゆるポイントが評価可能となり、次にそれらにのみ依存するポイントが評価可能となり、以下同様である。リストが終了すると、他の通過が行われる。各通過において、アルゴリズムはいずれかの制約が評価されたかどうかの追跡を維持する。評価されたものが無ければ、循環が存在し、デフォルト制約を取り上げてサイド制約として評価する必要がある。これは任意の方法によっても行うことができ、また将来においてはこの選択にある知能を与える方法を研究することが良いであろう。アルゴリズムが停止する度に、一つのデフォルト制約が交換される。結局、継続が可能となる。Ａ4.4 アタッチポイントの位置が計算された後、アタッチリンクを有するあらゆる制約を解決するための試みが為される。アタッチの処理をかなり複雑化させる付加的な考慮がある。時折、アタッチは図１に示すように相互に矛盾する。図１では、太い線はアタッチ制約を示し、数字は制約についての間隔値を示す。ポイントＰ３がポイントＰ２に引き寄せられると、Ｐ１からＰ４への距離は、５−２＋５又は８ユニットとなる。Ｐ１からＰ４へのアタッチは、この距離を６に維持しようとする。これを行うためには、Ｐ３とＰ２の間隔は４とすべきである。この矛盾は、Ｐ１からＰ２を通り、アタッチによりＰ３を通りＰ４へ至る通路が見つけられるので、Ｐ１からＰ４へのアタッチに優先度を与えることにより解決される。Ｐ２とＰ３との間のアタッチは、Ｐ４の位置が分かるまで処理できない。Ａ4.5 アトラクト全ての制約が処理された後、最後のステップは引き付けられたポイントを移動することである。アトラクト制約を有する各ポイントについて、このポイントを基準として使用する全ての制約を分析し、それらがどの程度の量のゆとりを有するかを調べる。これは、他の次元に含まれるコーナー制約を含む。あらゆる制約を破ることなくどの程度遠くまでポイントが移動できるかを決定した後、ポイントを移動する。整列され、且つ引き付けられたポイントの場合、アライン中の各ポイントを分析し、それをその方向にどの程度遠くまで移動できるかを調べる。もしいずれかのポイントがアタッチ制約の目標であるとすれば、それは移動することは許されない。対応する基準をも移動するのであればそのような目標を移動しても構わないのであるから、これは過度に制限的であるかもしれない。将来的には、アルゴリズムはこの点を考慮に入れるように高度化されるべきである。アタッチとアトラクトとの相違を図２に示す。左側において、３つのポイントが示されている。Ｐ２及びＰ４の位置は、図示しない制約により設定される（図示の制約は重大な制約ではない）。もしＰ３がＰ４にアトラクトされるならば、それは、Ｐ３からＰ２への制約が重大となるまで移動する（中央の図に示すように）。それはＰ２を移動させない。もしＰ３がＰ４にアタッチされるならば、それは右の図に示すようにＰ２を上方へ押し上げる。Ａ4.6 制約値の計算制約値は、ポイントのタイプに基づいて実行時に計算される。拡張方向及びオーバーラップについての情報を考慮して、ポイントがどの程度遠くにある必要があるかを決定する。この例外は、その値がユーザにより指定されるデルタ（ユーザ）制約である。Ａ5.0 将来的な高度化Ａ5.1 グリッドスナッピング現在では、ポート又は他の幾何形状をユーザ定義のグリッドにスナップする方法が無い。Ａ5.2 ４５度の幾何形状Ａ5.3 ハレーションチェックＡ5.4 パフォーマンスの改善製品化のための試みの一部として、評価をより効率的に行う方法を研究すべきである。Ｂ．ＣＤＳポイントランドマーク設計方法論への導入概観この文献は、ポイントランドマーク方法論の幾つかの形態、及び、ランドマークを定義し、使用する従来の方法に対するその長所を記述する。読者は、現在の幾何形状の生成及びランドマーク定義を知っていると想定する。導入従来のランドマークは、ｘ及びｙの位置を示す整数値からなる。ランドマーク名を示す可能な記号列を除いて、ランドマークに関連する他の情報は無い。ランドマークが、それがどのタイプの幾何形状を示すかを示すことができれば、それから、所定の２つのランドマークを与えられることにより、その２つのランドマーク間の最小必要間隔が何であるかを決定することができる。一次元ランドマークは１以上の幾何形状アイテムの位置を部分的に示すが、位置の表現は２次元の値を必要とするので、幾何形状の位置を完全に示すことはできない。このため、２次元ランドマークポイントは、それが付属する幾何形状をより良く示すことができる。これが、ランドマーク設計方法論の主要な前提である。あらゆる方向に他のランドマークポイントが丁度どの程度近接しているかを決定でき、第１のポイントの幾何形状アイテムタイプ及びノード、東、を有する幾何形状のランドマークの位置を与えられると、ルーチンは各ポイントの幾何形状アイテムタイプを容易にチェックすることができ、第２のポイントについての要求されるｘ位置を返すことができる。第２のポイントのｙ位置が既知であるならば、ルーチンは２つのポイントのｙ値を比較することができ、またそれらが十分に離れているならば、第２のポイントのｘ位置について“制約無し”を示す値を返すことができる。ｙ値が、ポイントランドマークが斜めの構成にあることを示すならば、ピタゴラスの定理を適用して第２のポイントについての可能な最も接近したｘ値を決定する。独立なｘ及びｙのランドマークの代わりに幾何形状位置を示すポイントランドマークにより、幾つかの幾何形状生成命令を単純化することができる。例えば、ボックスルーチンは、４つの代わりに２つのみの引数を必要とするルーチンに置換することができる。それは、引数リスト中のその２つのポイントによりどのタイプの幾何形状が示されているかをさえチェックし、現在の描画層をチェックし、ポイントランドマーク上の描画材料の必要なオーバーラップを決定することができる。この設計方法論は、新たなＣＤＳユーザの習得曲線を短縮すべきである。ユーザのモジュールコードにはミクロ又はマクロが要求されないので、ユーザはそれらを知る必要はない。その代わりに、ユーザは幾何形状アイテムタイプのリストを知る必要がある。ミクロ及びマクロの現在のリストは合計で２９０余りであり、幾何形状アイテムタイプのリストは３０余りと推測される。典型的には、例えばポリメタル接点などの幾何形状アイテムを識別することは、２つの幾何形状アイテム間の間隔を識別することよりも容易である（ac2pyc、又はそれはac2pycm、又はac2pyscmd...）。新しいユーザが学ぶべき題材がより少なく、それはより直接的であるので、新しいＣＤＳユーザは、この方法の利用により、現在のランドマーク発生方法よりも作業コードをより短い時間で取得可能とすべきである。ＤＲＣエラーは、しばしば、モジュールコンパイラコードのランドマーク計算中のミクロ又はマクロの紛失により生じる。典型的にこれらのエラーは、現在のルールセットに依存するので、初期には検出されない。注意深く記述されたルーチンが必要間隔を計算しているならば、全てのルールセットについての全ての間隔要求事項が考慮されるであろう。もし一つの事項が見逃された場合でさえも、全体のモジュールライブラリの一つのタイプの間隔ルーチンＤＲＣの変化である。ポイント構造ポイントの定義は、その名称と、そのポイントのｘ及びｙ値と、そのアイテムタイプ（即ち、ＰＹＣ）と、その拡張方向（ポリメタル接点は金属の方向に拡張を有する）と、その幅（ワイヤを示すならば）と、その電気的ノード名と、からなる。この情報は、以下のような構造内に維持できる： typedef struct xpointstruct { char name[16]; INT32 a，y; INT32 item; INT32 width; char ext_dir[5]; char node[16]; } POINTRECORD; 構造定義の一部と考えることができる付加的な情報は、リンクされたリストの創造のための次のポイント構造へのポインタを含み、line_of_codeファイル名とライン数情報のプレースホルダーは以下のようなものである： PointA = DEF_POINT("PointA"，PYC，"NE"，nodel"); まず、マクロは、その構造へのポインタであるPointAを有するポイント構造のための空間に割当て、"PointA"を名前の要素にstrcpyし、構造のｘ及びｙ値をUN DEFINEDに初期化し、アイテム要素をPYC（アイテムは列挙されたリスト中にある）を示す数にセットし、"NE"をext_dir要素へstrcpyし、"nodel"をノード要素へ strcpyする。PointAは構造へのポインタとして以前に定義されている。ポイントが任意の幅のワイヤを示すならば、以下に示すようなマクロを使用してワイヤの幅を特定することができる： Pwidth（PointA、railSize）；方向性関数方向性関数は、設計方法論のための基本的な基礎単位である。新規なポイントの位置は他のポイントからの相対的方向により決定される。例えば、PointAはPo intB（図３Ａ参照）の東にある。あるポイントが１以上のポイントにより制約されるならば、PointAの位置はPointB及びPointCの北（図３Ｂ参照）として定義することができる。１以上の制約が指定されるならば、最悪の場合の制約が使用される。ルーチンへのＣソースコードの呼び出しは以下のようである： east（PointA、１、PointB）； north2（PointA、１、PointB、PointC）；第１の引数は、変更されるべきポイント構造へのポインタである（ｘ値はルーチンeast及びwestで変更され、ｙ値はルーチンnorth及びsouthで変更される）。次の引数は、制約の優先度であり（小さい数は高い優先度を有する−記号的制約のセクションを参照）、基準ポイント構造への各ポインタがこれに続く。ルーチンはINT32値（ｘ又はｙの計算値）を返し、それによりそれらは既存のランドマーク設計方法と互換性を有する。返された値がどのように使用されるかを示す例をここに示す： x2 ＝ east（PonintA、１、PointB）；一つのポイントを他のポイントへの制約として使用することの、他により制約される１次元ランドマークに対する長所は、示された幾何形状間の絶対距離を計算できることである。１次元ランドマークに付属された例えばｘ方向への幾何形状により、それは、絶対距離ではなく、その制約幾何形状のｘ位置によってのみ制約される。幾何形状のｙ値は、非常に遠隔にあり、if-thenタイプのチェック無しでは幾何形状間で不要な空間が浪費されることがある。north、south、east 及びwestのルーチンでは、設定されたポイントはその各制約ポイントと比較されるので、制約ポイントｘ及びｙの両方の値がチェックされ、ポイントはできる限り接近して配置される。もし逆の値の距離（east又は westルーチンについてのｙ距離）があらゆる可能な空間的問題を回避するのに十分な程度に大きいならば、戻される値はNOCONSTRAINTにセットされる。全ての制約ポイントのチェック後にルーチンがNOCONSTRAINTを返すならば、返される値は最小又は最大制約ポイントの値に等しく設定される。標準的な空間チェックの実行を除いて、方向性ルーチンはまた、特殊なケースを処理することができる。例えば、メタルアクティブ接点（ＭＡＣ）の位置が他のＭＡＣに対して計算されているとすると、そのＭＡＣが同一のトランジスタの一部としてポリゲートの逆側にあるかを決定することができる。２つのＭＡＣ内のアクティブの拡張方向が夫々の方向であり、電気的ノード名が相違すれば、そのＭＡＣはほぼ同一トランジスタのものであり、ポリゲートに隣接する２つのＭＡＣについての全てのルールを適用することができる（図４参照）。幾つかのランドマークは物理的制約ではなく電気的制約により決定され、よって上述のものと類似するルーチンを記述することができるが、トランジスタサイズの引数により： tEast（PointA、PointB、Wn）；上記の例では、ルーチンtEastは、PointAにより示される構造のｘ要素をPoint Bからの正しい空間にセットし、幅Wnである水平ｎチャンネルトランジスタを作る。PointA及びPointBのアイテムタイプがメタルアクティブ接点であったとすれば、ルーチンは制約計算中にアクティブオーバー接点距離の適当なオーバーラップを減ずることができたであろう（図５参照）。ルーチンtNorth、tSouth、及びtwestも使用可能である。任意の間隔値は、例えば他のセルへのピッチが一致するメタルルート、又はスタンダードセルの高さのセッティングなどのある環境において要求される。ポイント間の距離又はデルタをユーザに指定可能とするルーチンは;ポイント間の距離又はデルタは以下のようである： dWest（PointA、PointB、v2v）；上述の例において、ルーチンtWestは、PointAにより示される構造のｘ要素を、PointBの左へ距離v2v（通路から通路の距離）になるように設定する。このルーチンは、斜めにではなく、直角方向にのみ距離を適用する。ルーチンdNorth、 dSouth、及びdEastも使用可能である。スタンダードセルは、セルの左右エッジに近接するあらゆる幾何形状がエッジから遠隔になければならないという特徴的な空間制約を有し、それにより、他のスタンダードセルをそのそばに配置でき、セルの幾何形状間の全ての空間要求事項が満たされる。典型的に、これはモジュールコード中に多くのミクロ及びマクロを含む多くの計算を使用してランドマークを計算することにより実行される。ランドマークがスタンダードセルのエッジに関連するならば、セル内部の幾何形状を示すあらゆるランドマークはそのランドマークを制約として使用可能であり、それらの位置はeast又はwestルーチンにより適切に計算することができる。記号的制約 east、又はdWest、tNorth等の制約方程式又はルーチンを定義(特定)することができ、それによりそ−れらは、それらが実行される時に（実行時）評価し、若しくはそれらは記号的に定義することができ、そこでは実行中にテーブル内へエントリーが行われ、その後に評価される。各アプローチはその長所及び短所を有する。制約方程式が、それらが実行される時に評価されるならば、各ポイントの位置は実行の直後に使用可能となる。しかし、これはモジュールソース中の制約方程式の順序が、それらが評価される順序により決定されることを必要とし、それはランドマークを定義する現在の我々の方法と等価である。これは、設計フローが制約フローと相違する場合には有益ではないであろう。制約方程式がソースコード中で順序どおりでなく配置されたならば、制約関数が未定義座標を有するポイントを参照しようとする時に、エラーが生じる。制約が記号的であり、評価が後に行われるとすれば、ソースコード中の方程式の順序付けは重大ではない。制約は、優先度タグ又は番号（方程式に対する一つの引数）に基づく順序で評価することができる。評価中に優先度番号が使用されず、又は無効な順序である場合でさえ、制約が未定義座標を有するポイントを参照している場合、制約を、その基準ポイント全てが定義されるまで“待機状態にする”ことができ、それからその後に評価することができる。ユーザは、まず、望ましいように制約方程式の順序付けを行い、次にタグ又は番号により制約に優先度を付けることにより、評価順序について最終的な制御を有し、それは順序付けを無視することになる。記号的方法の欠点は、条件ステートメントのようなものでの使用においてポイントの位置が直ちに使用可能でないことである。しばしば、一連の制約は先に定義された制約の比較の結果に依存するが、制約はその後に評価されるので、この情報は使用可能ではない。この問題に対する解決は、ユーザに、それまでに定義された制約を評価する機能を与えることである。この方法は、所望のポイントを決定するために十分な制約が定義されることを必要とする。xEval及びyEvalと呼ばれるルーチンを定義し、それまでに定義された全ての制約を評価し、所望のポイントが定義されたかを調べ、もしそうであれば、そのｘ及びｙ位置を返す、−そうでなければ、エラーを返す。xEvalルーチンがどのように使用されるかを示す例をここに挙げる： if （xEval（PointA）＜ xEval（PointB））｛．．．この例では、xEvalルーチンは先に特定された全ての制約方程式を評価し、Poi ntA構造のｘ要素が定義されたことを確認し、それからその値を条件付き評価のために返す。xEvalルーチンが再度呼ばれると、フラグは、制約評価を繰り返す必要が無いことを示し、Points構造のｘ要素がチェックされ、それからその値が条件付き評価のために返される。ソースコード中で残りのステートメントが特定された後、全ての制約方程式の最終的な評価を行い、あらゆる未定義の位置をチェックし、破られた制約をチェックするためにルーチンが使用される。デバッグフラグがセットされると、制約のリストがそれらが評価される順序でプリントされる。このルーチンの呼び出しは、以下のようである： evalConstraints(); このルーチンは、ランドマーク定義の終了を示し、幾何形状定義セクションが開始する。ポイントランドマークの初期化及びユーティリティ初期化ルーチンは、ポイントランドマーク設計方法論を支える上で恐らく必要であろう。このルーチンの呼び出しは以下のようである： PointLandInit(); ランドマークの生成を単純化するために、幾つかのユーティリティが記述される。しばしば、レイアウトプロセスを単純化するために、幾つかの幾何形状をセル内で整列させる必要がある。各ポイントは一つの幾何形状を示すので、整列された全ての幾何形状を示す１次元ランドマークの代りに、所望のポイントを整列するルーチンが存在する： xAlignMAX3(1、PointA、PointB、PointC）；この例は、各ポイント構造の最大ｘ要素を決定し、全てのポイント構造をその値に設定する。いずれかのｘ要素がUNDEFINED又はNOCONSTRAINTにセットされれば、最大値の計算時にはそれらは考慮されないが、依然として残りのポイントの最大ｘ要素値にセットされる。引数名（xAlignMAX3）は、基準ポイントの数、この場合３を示す。ルーチンへの最初の引数は優先度番号である。同様に動作するルーチンは、xAlignMIN、yAlignMAX、及びyAlingMINである。そのルーチンは、計算された値INT32を返す。開始点、原点又はセルを特定するために、以下のルーチンを使用することができる： Progom(PointA); このルーチンは、ポイントのｘ及びｙ要素を0、0に明示的に割り当てる必要無しに、ポイントを開始点（恐らく0、0）に関連付けることを可能とする。制約のセットを、他の制約のセットに対して配置すべきであるならば、このルーチンは必要なオフセットの計算に責任を有する。幾何形状の発生関連する幾何形状を見ている間に定義されたポイントランドマークを見ることができれば非常に有益である。ランドマークを幾何形状データベースの一部として含めるルーチンは以下のようである： tpoint("name"、Point)；ここで、"name"はポイントに付けられた記号列であり、Pointは構造へのポインタである。ポイント構造がリンクされたリストとして作り上げられたならば、全てのランドマークポイントをデータベースの一部とするためには、あるいは唯一の呼出しが必要となるであろう。line_of_code情報がポイント構造の一部であるならば、このルーチンは情報をデータベース中に配置するであろう。このポイントランドマーク設計方法論を利用して、多くのルーチン及びマクロを記述することができる。以下は幾つかの例である： Pwire（width、Point）；このマクロは、ポイントPointの現在の描画層上の幅広ワイヤを開始する。 Px（Point）； Py（Point）；これらのマクロは、夫々、Point−＞ｘ、又はPoint−＞ｙまで現在のワイヤ又はポリゴンを描画し続ける。 Pxy（Point）； Pyx（Point）； Pxyマクロは、まず、Point−＞ｘ、次に、Point−＞ｙまで現在のワイヤ又はポリゴンを描画し続ける。同様に、Pyxマクロは、まず、Point−＞ｙ、次に、Po int−＞ｘへ描画する。これらのマクロは知的ルーチンに変更することができ、そこでは原点及び目的ポイントのアイテムタイプ及び位置がチェックされ、あらゆる適切なdmc、dpyc、その他のオフセットが適用されてＤＲＣエラーを防止し、又はコーディングを単純化する（図６Ａ−Ｂ参照）。 Pbox（PointA、PointB）； PboxルーチンはPointA及びPointBのアイテムタイプをチェックすることができ、また、現在の描画層をチェックし、それからポイントの周りに適当なオーバーラップを有するようにボックスを描画する。 Pcontacts（PointA、PointB）； Pcontactsルーチンは、PointAとPointBのアイテムタイプが同様であることを確認し、それから適当な接点のアレイ、又はポイントの周りの通路を描画する。初期定義以下は、ポイントランドマークルーチンについてのプロトタイプコードに使用されるアイテムタイプ及び他の定義のリストである：スタンダードセルインバータモジュール発生器の動作プロトタイプは、全ての支持コードと共にディレクトリ/home/marc/base3/lib/src/newcdsに見ることができる。アイテムタイプ：層アイテム ACT アクティブ PY ポリ M1 メタル１ M2 メタル２ M3 メタル３ NPLUS ｎプラス PPLUS ｐプラス PWELL ｐウェル NWELL ｎウェル１ CUT カット v 通路 v2 通路２ EDGE スタンダードセルのエッジワイヤアイテム NBA ｎタイプビッグアクティブ PBA ｐタイプビッグアクティブ AWW 特定幅のアクティブワイヤ PYW ポリワイヤ NGT ｎゲート PGT ｐゲート PYWW 特定幅のポリワイヤ MW メタルワイヤ BM ビッグメタルワイヤ MWW 特定幅のメタルワイヤ M2W メタル２ワイヤ BM2 ビッグメタル２ワイヤ M2WW 特定幅のメタル２ワイヤ M3W メタル３ワイヤ BM3 ビッグメタル３ワイヤ M3WW 特定幅のメタル３ワイヤ複合アイテム PYC ポリメタル接点 NMAC ｎタイプメタルアクティブ接点 PMAC ｐタイプメタルアクティブ接点 MMV メタルからメタル２への通路 MMVZ メタル２からメタル３への通路 SCON 基板接点 PCON pウェル接点他の定義：Ｃ．制約生成の概観Ｃ1.0 Grafデータ構造Ｃ1.1 要素 Grafは、ポイントランドマークデータ構造の頂点に造られる。graf（ボックス、ワイヤ、その他）内の基本的幾何形状要素は、位置を特定するために、x−y座標よりむしろポイントを使用する。要素のタイプは：ボックス−−２つのポイントからなるボックス。ワイヤ−−ポイントのリスト及び幅。ストリップ−−２つのポイント及び幅。これは２つのポイントを有するワイヤと同一。スクエア−−単一のポイント。ポリゴン−−ポイントのリスト。Ｃ1.2 層上述の情報に加え、要素はそれらに関連する層を有する。層は物理的層、又は特別の接触層とすることができる。プロトタイプにおいて使用される層のリストが表１に示される。接点は単一の要素として示されるが、異なる３層上の幾何形状を含むものと考えられる−一接点又は通路層、及び接点（又は通路）が接続する２層。接点−メタル１／メタル２通路、メタル／ｎ−アクティブ接点、メタル／ｐ−アクティブ接点、及びメタル／ポリ接点の４つのタイプがある。これら各々は別個の層上に記憶される。セルの境界を示すために追加の層が作られる。この層は、ポイント"llBorder" 及び"urBorder"を接続する矩形を含む。制約が、境界と、セルのエッジに近いポイントとの間に発生する。Ｃ1.3 エッジ制約を生成する目的で、エッジデータ構造が作られる。エッジは、それらが開始及び終了（連続的なラインではなく）を有することを除いては、ＣＤＳ中のランドマークと同様である。これらのデータ構造は、ボックス又はポリゴンの各エッジ、及びワイヤ、ストリップ、及びスクエアの中心について生成される。一般的に、各ポイントはＸ及びＹエッジにより示される。２つのポイントが同一のエッジにより示されることが一般的である。エッジは、それらがどのポイントを示すかに関する情報を含む。また、それらは、そのエッジが示すボックス（又は他の要素）の逆側のエッジへのポインタを含む。これは、制約の生成中に、オーバーラップ条件を決定するために使用される。特定の要素についてのエッジは、要素と共に記憶される。さらに、各層は、その層上の全てのエッジを列挙するソートされたアレイを有する。Ｃ2.0 制約の生成Ｃ2.1 ポート生成される最初の制約はポートについてのものである。ポートに接触する要素のリストが生成され、ポートがコネクトされるべき要素の一つからポイントを選ぶ試みがなされる。接点又は通路は最良の選択と考えられ、ワイヤは第２の選択である。可能であれば、ポートはポイントと整列されるが、必要であればコネクト−アタッチ制約が使用される。ポートがボックス又はポリゴンの内部に配置される場合、適切な制約は他のルーチンによって生成される。Ｃ2.2 要素内制約このステップでは、要素内のポイントに関連する制約を生成する。これは、ワイヤ及びポリゴンのエッジをマンハッタングリッド（将来的には４５度の整列も同様に許容される）上に維持する整列を伴う。これに加え、ポイントの相対的位置を保存するために制約を生成する。これらの制約は、“サイド−アトラクト” 制約である。“アトラクト”リンクは、要素を可能な限り小さく保つことを補助するために使用される。図７Ａ−Ｃに幾つかの例を示す。 2.3 前処理接点及びコネクト制約を生成する前に、少量の前処理が行われる。これは、通常、接点、又はそれに接続されたワイヤ内にワイヤをさらに拡張することを含む。一つの例が図８Ａ−Ｂに示され、そこで、ポイントＰ３はポイントＰ２を通って拡張されている。これは、接続性を維持するために必要な制約を単純化する。 2.4 接点制約制約は、接点と、それに接続された要素との間に生成される。このステップは、次のステップがより一般的であり、同様の制約を生成可能とすべきであるので、恐らく徐々に除去される。 2.5 コネクト制約相互に接触する要素は制約され、それにより、それらは接触したまま維持される。これは一般的に、図９Ａ−Ｂに示すコネクト制約の使用により実行される。これらの制約を生成する時、各次元において３つのケースが考慮される。・一つのエッジに接触する一つのエッジ・２つのエッジ間の一つのエッジ・２つのエッジに接続された２つのエッジ・２つのエッジの接続第１のケースがワイヤ及び接点のＸ−接続内の一つに示される。ワイヤは一つのＸ−エッジを有し、接点は一つを有する。それらが一体に留まることを確実とするためにアタッチが使用される。他の制約は第２のケースを示し、そこでは一つのエッジが２つの他のエッジ間にある。第３のケースは、２つの垂直ワイヤが接続し、又は垂直ワイヤが垂直接点ストリップに接続する時に生じる。一般的に、コネクト制約はこのステップで使用される。幾つかの例外は：・ワイヤに接続しているボックス。ボックスがワイヤの最も近接するエッジを通って最も遠いエッジで終わる場合、サイド制約が使用される。・オーバーラップ無しでワイヤに接触する接点。この場合、“タッチ”制約が使用される。コネクト及びタッチ制約の相違が図１０Ａ−Ｂに示される。図１０Ａの２つの構造は、コネクト制約を使用して接点に接続されたワイヤ内で許容される作用を示す。図１０Ｂの２つの構造は、タッチ制約により、ワイヤが依然として接触している限り、ワイヤは接点外へさらに移動可能であることを示す。２つの位置間のあらゆる場所が示される（例えば、ワイヤは接点上の中央に配置することができる）。サイド制約を使用して、右側に示す２つの構造のうちの一つに位相幾何学を組み合わせることができる。 2.6 層内制約間隔制約は、導体層について生成される。これらの制約は、インプラント及びウェル層については省かれる。これらの制約を生成するために、エッジについてのデータ構造が使用される。エッジのアレイ（各次元において）は座標により構成され、整理される。このアレイは、層自身についてのエッジ、及び層を共有するあらゆる接点についてのエッジを含む。例えば、メタルエッジは、metal、nac tivecut、pactivecut、polycut、及びviaの層上のエッジを含む。アルゴリズムはアレイをスキャンし、２つのエッジ間で制約が生成されるべきであるかを決定する。考えられる基準は：エッジがオーバーラップを示すか？エッジが相互に影を落とすか？エッジは隣接しているか？図１１では、エッジＥ３とＥ４との間にオーバーラップが存在する。これは、Ｅ３がエッジＥ５まで延びる幾何形状を示すからである。これらのエッジはステップ2.5で処理されるので、制約を必要としない。Ｅ２とＥ３は、相互に隣接し（それらは逆方向に拡張する）、且つ相互に影を落とすので（それらは他の次元でオーバーラップする）ので、生成される制約を有する。Ｅ２とＥ４を比較すると、Ｅ３がその途中にあり制約が必要でないので、制約は生成されない。同様に、Ｅ６についての制約は生成されない。Ｅ２とＥ８との間には、それが側部までどの程度遠いかに依存して制約が生成される。直接的には相互に影を落とさないアイテム間では、斜めの制約は重要である。サイドに対して２つのエッジがどの程度遠くにあるかを決定するために、それらが重要ではないと考えられる以前にファッジファクターを使用する。また、不要な制約を取り除く目的で、直交次元のエッジが考慮される。例えば、Ｅ２とＥ８との間に長い垂直ワイヤがあるとすれば、明らかに生成される制約は存在しない。 2.7 層間制約制約は、層間で生成される。これは、activeと、各インプラント及びウェル層 ;polyとactive;nplusとpplus;並びに、nwellとpwellとの間で行われる。接点層を含む制約は、先のステップにおいて生成される。層間制約を生成する方法は、エッジの２つのアレイが使用されることを除き、基本的には単層についてと同様である。また、オーバーラップを無視する代わりに、サイド制約が生成される。 2.8 他の制約コネクト制約により接点がワイヤの片側から逆側へ移動することが可能となるので、制約が見落とされる可能性がある。これが起き得る一例を図１２に示す。接点エッジＥ３はＥ２上にある。制約生成アルゴリズムは、Ｅ１とＥ２の間に制約を生成するが、Ｅ１とＥ３の間には生成しない。接点は、制約の評価中に少し下へ移動し、制約が無い場合にはＤＲＣエラーを生成する。アルゴリズムは、これらの状況を検出し、修正するために走る。 2.9 ゆるみによる微動の制約制約が生成され、多少清掃され後に、設計を分析して、大きく移動する可能性のあるワイヤの微動があるかを調べる。もしあれば、制約を微動の２つの側部間に（適切に）没入させる。 3.0 制約の清掃 3.1 フィルタリング幾つかの制約は、様々のフィルタリングルールにより直接的に無効とされる。２つの例は：・制約が同一層の２つのエッジ間に提案されているが、他のエッジがそれと遠くに離隔している場合、制約は不要である。・２つのＸエッジは、Ｙ次元内でオーバーラップしなければならず、若しくは、少なくともオーバーラップの幾つかのファッジファクター内になければならない。（同様のことが、Ｘ次元におけるＹエッジのオーバーラッピングにも当てはまる。）２つのポイントが同一の接点内に閉鎖される場合、制約は不要である。接点自身への接続で十分である。 3.2 清掃制約が生成された後、それらを改善するために様々の方法で分析される。 3.2.1 コーナー制約の識別最初の処理は、２つのデフォルト制約が同一の２つのエッジ−つはＸ、一つはＹ、の間に存在するケースを見つけることである。一方の制約は除去され、他方はコーナー制約に変更される。もし、両方の制約が残るならば、循環が作られ、それら２つのうちの一つがサイド制約として扱われる。一方を満足することが自動的に他方を満足することになるので、両方の制約を有する必要はない。 3.2.2 コネクト−アタッチをアラインに変更このアルゴリズムは、コネクト−アタッチ制約を使用して接続されたポイントをチェックする。２つのポイントが同一の幅を有する要素を示す場合、例えばビッグメタルワイヤと接点の場合、その制約をアラインに変更する。それらは機能的に同一であるべきであるが、アラインはアタッチに比べてより容易に処理される。 3.2.3 オーバーラップをアタッチに変更制約を分析して、それらがオーバーラップ状態を示す（例えば、activeにオーバーラップするpplus）かを決定する。制約が正確に満足されれば、これが重要であることが推測され、その制約はアタッチ制約に変更される。これは任意的なステップであり、自動的に生成されるアトラクト制約により同一の結果を達成することができる。 3.2.4 アタッチポリ接点我々のセルの多くは、頂部に多くのポリ接点を有し、メタルストリップの底部を有する（一つはＰトランジスタに近接し、一つはＮトランジスタに近接する）。このアルゴリズムは、ポリ接点から acitve接点への制約を探す。元の設計においてその制約が正確に満足されるならば、それはアタッチに変更される。これは、接点を底部へ下降させるのではなく、頂部に維持する傾向を有する。 3.2.5 ウェル制約の清掃このアルゴリズムは、ウェルと、異なるウェル内にあるオブジェクトとの間の制約を除去する。例えば、図１３に２つのウェルが示され、各々はactiveボックスを含む。左のactiveから右のウェルへの図示の制約は不要であり、消去される。 3.2.6 デフォルトをサイド制約に変更一つのエッジから他のエッジへのデフォルト制約が存在する時、エッジの開始からポイントまで、及びエッジの終了からポイントまでの他の次元における制約通路があるかを調べるためのチェックが行われる。経路が存在する場合、制約の目標が常に基準ポイントの影の内部にあることが推測され、その制約をサイド制約に変更することができる。これは、制約解決者の効率を改善し、時にはより良い結果を生む。 3.2.7 幾何形状ポート制約の清掃制約の生成中に幾何形状ポートを示すエッジが使用され、それによりポートへの制約が生成される。これらのポートは他のポイントの制約のために使用すべきでないが、そのようなあらゆる制約は消去される。 3.3 制約のサークルの検出及び除去制約の参照が、パスの開始する元のポイントへ戻るように繋がる場合、制約のサークルが生じる。一つの例は、ポイントＢを参照するポイントＡ及びポイントｋを参照するポイントＢである。ポイントＡの位置は、ポイントＢの位置を知らずに計算することはできない（及びその逆も）。コーナー制約は、これより複雑（及び識別が困難）である制約のサークルを作る可能性がある。これらのサークルでは、ポイントＢのＹ位置を知らずにポイントＡのＸ位置を計算することができず、その逆も成り立つ。ルーチンが走り、それは存在し得るあらゆる制約のサークルを識別する。制約のサークルがコーナー制約により生じている場合、そのサークル内のコーナー制約のうちの一つをデフォルト制約に変換して、サークルを破る。他のタイプの制約のサークルは自動的に破ることができない。 4.0 スタンダードセル及びバッファのサイジングスタンダードセル及びバッファサイジング制約は、我々の方法論を使用して実行される。バッファサイジングを行う時、実行サイズを決定するために、トランジスタ幅が、getn()又はgetp()により返される幅と比較される。これらの関数を呼び出すユーザ制約が生成される。より一般的目的の方法を識別することが必要である。スタンダードセル制約は、以下からなる： 4.1 パワーポートにピッチ合わせする。ユーザ制約に方程式“sthpitch”が加えられる。これは大域変数であり、各ルールセットについて設定される。 4.2 パワーポートをeast及びwestのセル境界にアラインする。 4.3 信号ポートを、それらが元の位相幾何学中で整列されていれば、整列する。これは、個々の部分を抜け落ちから維持する傾向がある。また、それはポートをセルの中心にさらに向けて維持する傾向がある。将来的には、我々は、密度に問題が無ければ、ポートをさらに中心へ向けて移動させる制約で実験するつもりである。 4.4 元のセルが高さの要求事項に適合する場合、nwellをピッチ合わせする。我々のセルの殆どはこのルールを無視していた。これは、グランドポートと、各nwellボックスのボトムとの間のユーザ制約に、方程式“stdnwellheight”を加えることにより行われる。これは、各ルールセットについて設定される大域変数である。新規なスタンダードセルは、異なる要求事項のセットを有する。それらについては、多くのＹ座標が予め決定され、ユーザ制約を通じて特定することができる。ポイントランドマークコードは、幾何形状をセルのエッジに制約するためのあるルールを有する。これらのデフォルトルールは、全てのタイプのリーフセルについて適当ではなく、将来は代替物を探す必要がある。我々は、グリッド制約を特定する方法も必要である。 5.0 他の技術このプロトタイプ技術を独立にするための幾つかの試みがなされてきた。cmos 特有のコードが幾つか存在するが、その技術特有の情報の殆どは、実行時に解剖されるスタートアップファイルに含まれる。これが頂部に作られるポイントランドマークコードは他の技術への変換において、より関連を有する。フィルタリング及び清掃ルーチンの異なるセットを、他の技術のために提供される必要がある。 6.0 ユーザ関数及び変数ユーザは、ファイルをエディットし、再コンパイルすることにより、grafに使用可能な独自の関数及び変数を作ることができる。これは、Verilog-XZと類似の方法であり、Ｃ言語インターフェースを有する、ある他の製品が動作する。ルールのファイル中の変数は、デフォルトにより使用可能である。Ｄ．ＣＤＳポイントランドマーク設計方法論についてのソフトウェア要求事項仕様書Ｄ1.0 導入Ｄ1.1 目的この文献の目的は、ＣＤＳ言語の高度化について記述することである。これはＣＤＳユーザよる使用を意図しており、カスケードデザインオートメーションモジュール設計者を含む。Ｄ1.2 視野このソフトウェア仕様書の視野は、ランドマークを幾何形状に関連付け、それによりランドマーク間の制約を、別個の方程式ではなく特定のルーチンにより計算すること、また、１次元のランドマーク記述ではなく２次元のポイント記述を使用する現在のＣＤＳ幾何形状生成ルーチンと互換性を有する幾何形状生成ルーチンを定義することにある。これらのルーチンの定義は、集積回路(CMOS及びGaA s)を処理するためのカスケードデザインオートメーションにより使用される現在の技術に集中する。このソフトウェア仕様書中に概説される定義関数に関連する多くの関数が存在するが、それらはその視野内に含められることを意図していない。これらの幾つかの関数をここに挙げる：幾何形状コンパクター技術依存性の制約ルーチン／方程式自動制約生成グラフィカルＣＤＳ幾何形状エディタＤ1.3 定義、頭字語、及び省略形ＣＤＳ＝コンパイラ開発システムＣＭＯＳ＝相補型金属酸化膜半導体ＧａＡｓ＝ガリウムヒ素ＳＣ＝記号的制約ＤＲＣ＝デザインルールチェックＬＶＳ＝レイアウト対概略図Ｄ1.4 参考文献ＣＤＳポイントランドマーク設計方法論への導入、Marc Buchanan、カスケードデザインオートメーションベースセルについてのＣＤＳ高度化のためのソフトウェア要求事項仕様書、Br ad Roetcisoender、カスケードデザインオートメーション Xbased レイアウトビューア要求事項仕様書、Doug Sebastian、カスケードデザインオートメーションＤ1.5 概観このソフトウェア要求事項仕様書は、ＣＤＳポイントランドマークの詳細、それをどう使用すべきか、及びその構造が何を含むか、を記載する。また、このポイントランドマークを使用する制約ルーチンが記載される。制約ルーチンの機能は、他のポイントランドマークに対する一つのポイントランドマークの位置を計算することである。各ポイントに付属する情報を使用して、そのルーチンはポイントのｘ及びｙ位置を計算し、それにより、ＤＲＣ及びＬＶＳエラー無しで、表示された幾何形状間の可能な最小距離が達成される。これらのルーチンの幾つかはこの距離をレイアウトの物理的制約に基づいて計算し、他のルーチンは、トランジスタサイズなどの電気的パラメータを使用して正しいポイント位置を決定する。幾つかの幾何形状生成ルーチンも記載される。これらのルーチンは、ポイントランドマークに関連する情報を利用して、コードの記述を単純化し、複数のルールセットに適用した時にモジュールコードがエラーに影響されにくいようにする。Ａ2.0 一般的記述 2.1 製品の背景この文献中に記載される全てのルーチン及び定義は、幾何形状生成、又はＣＤＳモジュールのセクションであるgeo中で使用される。幾何形状生成ルーチンとして記載されるルーチンは、文献、ベースセルについてのＣＤＳ高度化のためのソフトウェア要求事項仕様書中に記載されたCellDefine()及びCellEnddef()ルーチン内になければならない。ポイント定義及び制約ルーチンは、CellDefine()ルーチンの前後で使用することができるが、ポイントランドマークを参照するあらゆる幾何形状生成ルーチンが使用される前に使用されなければならない。セルが、そこに含まれるline_of_codeデバッグ情報によりコンパイルされるならば、Lview幾何形状ビューアへのインターフェースが一般的に使用される。セルのデータベース中に記憶されるデバッグ情報は、Lviewプログラムにより検索し、見ることができる。この情報は、ポイントランドマークの位置、拡張方向、及び他のランドマークへの相対的制約を含む。Lviewプログラム中でこの情報がいかに表示されるかについては、文献、Xbasedレイアウトビューア要求事項仕様書を参照のこと。 2.2 製品の機能 2.2.1 ポイントランドマーク及びランドマークルーチンポイントランドマークは、幾何形状アイテム（即ち、ポリメタル接点、メタルワイヤの端部、など）の位置を記し、また、ランドマーク名、幾何形状アイテム、ポイントからの幾何形状の拡張方向、表示される幾何形状の電気的ノード名、及び任意的に幾何形状の幅（ポイントが任意幅のワイヤを示す場合）を記述する情報、並びにline_of_code情報（ファイル名、ライン番号、及び制約基準ポイント）を構造内に記憶するために使用される。ランドマークルーチンは、ランドマークのグループ、及び関連する記号的制約を指名し、分割するために使用される。 2.2.2 制約ルーチン制約ルーチンの大半は、評価時に、北、南、東、又は西のいずれかの方向の１以上の基準ポイントに対する、あるポイントのｘ又はｙ位置のいずれかを決定する制約を定義するために使用される。他のルーチンは、先に定義されたルーチンを消去し、評価し又はチェックするために使用される。 2.2.3 幾何形状生成ルーチン幾何形状生成ルーチンは、geo セル（geocell）データベース内に幾何形状を生成するために使用される。その機能は、ボックス、ワイヤなどを作る現在のＣＤＳ幾何形状生成ルーチンと類似するが、引数がそれより少ない。作られる幾何形状を記述するために要求される幾つかの情報は、ルーチンの引数リスト中に参照されるポイントランドマークから得られる。 2.3 ユーザ特性この文献に記載されるルーチンはＣＤＳモジュール開発者による使用を意図している。 2.4 利益記述されるルーチンは、既存のＣＤＳルーチンに代えて、又はそれとの関連において使用し、コードをより容易に発生でき、且つ強固なものとすることができる。新たなＣＤＳユーザに対しては、これらのルーチンは、それらを有しない場合より短い時間内で操作コードを持つことを可能とする。ユーザがＣＤＳに含まれる約３００のミクロ及びマクロを知る必要はもはや存在せず、その代わりにルーチンで使用される３０から４０の幾何形状アイテムタイプを使用する。これらの幾何形状アイテムタイプは、それらが様々の幅、間隔値、及びミクロ及びマクロにより示されるオーバーラップの代わりに共通のレイアウト幾何形状を示すので、より直観的に使用することができる。これらのルーチンは、モジュールコード中に使用される現在の方程式及び幾何形状ルーチンを置換することを意図するが、それらと同時にも動作することができるであろう。ユーザは、コードの大部分を変更せずに、モジュールコードを変更し、エラーとなりがちな、又はデバッグが困難な方程式をこれらの新規なルーチンに置き代えることにより、ある機能を単純化することができる。 2.5 一般的な制約先のセクションで記載した制約の他に、プログラマーが持つ唯一の懸念は、コード中でルーチンが特定される順序が物理的なレイアウトの結果に影響を与えることである。ある例では、プログラマーは制約ルーチンを再度順序付けし、最適な解答を発見する。 3.0 特有の要求事項 3.1 機能的要求事項:ポイントランドマークの定義及びランドマークルーチン 3.1.1 ポイント構造 3.1.1.1 導入ポイント構造は、以下の情報を含むように定義される：ポイントランドマークの名称、ｘ及びｙ位置、幾何形状アイテムタイプ、示されるワイヤの幅（ポイントが任意の幅のワイヤを示す場合）、そのポイントからの幾何形状の拡張方向、及び電気的ノード名。line_of_codeデバッグフラグがセットされると、制約の基準ポイント、line_of_codeのファイル名、及びline_of_codeのライン番号情報もポイント構造に含められる。 3.1.1.2 処理構造の要素は、def_point及びpoint_widthルーチン、並びに様々の制約ルーチンにより設定され、変更される。 3.1.2 newPointGroupルーチン 3.1.2.1 導入 NewPointGroupルーチンは、ポイント及び記号的制約のセットを含む新規なグループを定義するために使用される。構文を以下に示す： newPointGroup(group_name); 3.1.2.2 入力 group_name−char^★は、ランドマーク及び制約のグループについての名称を示す。 3.1.2.3 処理 newPointGroupルーチンは、まず、そのグループが同時に存在しないことを確認し、次に新規なポイントリスト及び新規な記号的制約（SC）テーブルへの静的ポインタを作るために必要なルーチンである。次に、このグループが同時にアクティブなグループとなり、newPointGroupの呼び出し後で、他のnewPointGroup又はsetPointGroupの呼び出し前に定義されるあらゆるポイント又は制約が、指定されたグループに属する。異なるグループ内のポイント及び制約は相互に独立である。 group_nameが先に定義されており、後続のfreePointGroupの呼び出しにより解放されていなければ、エラーが報告される。 newPointGroupの呼び出しは、あらゆるポイント又は記号的制約の定義以前になされなければならない。 3.1.2.4 出力ルーチンは、そのステータスを示すINT32を戻す。 3.1.3 setPointGroupルーチン 3.1.3.1 導入 setPointGroupは、newPointGroupの呼び出しにより定義された現在のアクティブグループを変更するために使用される。命令の構文は： setPointGroup(group_name); 3.1.3.2 入力 group_name−char^★は、point／SCグループについての名称を示す。 3.1.3.3 処理 setPointGroupルーチンは、そのグループが存在することを確認し、このグループを現在アクティブなグループとして記す。（他のsetPointGroup又はnewPoin tGroupの呼び出しに遭遇するまで）呼び出しの後に定義されるあらゆるポイント又は制約は、このグループに属する。 group_nameが存在しなければ、エラーが報告される。 3.1.3.4 出力ルーチンは、そのステータスを示すINT32を返す。 3.1.4 freePointGroupルーチン 3.1.4.1 導入 freePointGroupルーチンは、指定されたグループ内で様々なポイント及び制約の定義により使用されるメモリの割り当てを解除し、グループポインタを除去するために使用される。命令の構文は： freePointGroup(group_name); 3.1.4.2 入力 group_name−char^★は、point／SCグループについての名称を示す。 3.1.4.3 処理 freePointGroupルーチンは、グループが存在することを確認し、次に、指定されたグループに関連するポイントリスト及びＳＣテーブルにより使用されるメモリを解放する。 freePointGroupルーチンが現在のグループを示すgroup_nameと共に実行された場合、あらゆるポイントが定義又は参照され、若しくはあらゆる制約が定義又は評価される前にnewPointGroup又はsetPointGroupルーチンを実行しなければならない。 group_nameが存在しなければ、エラーが報告される。 3.1.4.4 出力ルーチンは、そのステータスを示すINT32を戻す。 3.1.5 Pointの定義 3.1.5.1 導入ポイントを定義するための命令の構文は以下のようである： point＝def_point(name，item，ext_dir，node_name); 5.1.5.2 入力 defpointルーチンへの入力は以下のものからなる： name−char^★は、ポイントランドマークの名称を示す記号列を含む。 item−INT32は、ポイントランドマークにより示される幾何形状のアイテム番号を含む。列挙されたリストからのマクロ名はこの引数のために使用される。本文献の最後の幾何形状アイテムタイプを参照のこと。 ext_dir−char^★は、いずれか又は全ての”NSEW”を含み、それはランドマークにより示される幾何形状の拡張方向を示す。 node_name−char^★は、指定される幾何形状の電気的ノード名を示す記号列を含む。 3.1.5.3 処理このルーチンが実行される時、それはまず、構造を含むために要求される空間の量を割り当て、次に、構造の適切な要素に引数をコピーする。また、ｘ、ｙ、及び幅の要素をUNDEFINEDを示す整数により初期化する。様々の制約が評価される時、ｘ及びｙ要素を、ポイントランドマークを含むように変更する。２つの整数値が保存され、未定義の、又は他のいずれかのポイントにより制約されていないことが分かった位置を示す。これらの値は、それぞれ UNDEFINED及びNOCONSTRAINTとして定義される。 3.1.5.4 出力ルーチンは、ポイント名を含むchar^★を返す。 3.1.6 point_widthルーチン 3.1.6.1 導入 point_widthルーチンは、任意幅のワイヤの幅を示すために使用される。命令の構文は： point_width(point，width); 3.1.6.2 入力 point−char^★は、その幅が変更されるポイント名を示す。 width−^★INT32は、幾何形状の幅を示す。 3.1.6.3 処理このルーチンは、ポイント構造の幅の要素をwidth値に設定する。 widthが２^★gridsizeの倍数でない場合、エラーが報告される。ポイントのアイテムタイプが任意幅のワイヤタイプでない場合、エラーが報告される。 3.1.6.4 出力ルーチンは、そのステータスを示すINT32を返す。 3.2 機能的要求事項：制約ルーチンセルの原点の設定 3.2.1.1 導入制約方程式の原点又は開始ポイントを設定するために、以下の命令を使用する： origin(point); 3.2.1.2 入力 point−char⁺はポイント名を示す。 3.2.1.3 処理このルーチンは、evalconstraintなどのルーチンにより後に評価されるＳＣテーブルにエントリーを配置する。評価中には、ポイント構造のｘ及びｙ要素が０に設定される。それは常に、評価される最初の制約である。オリジンルーチン及びポイントグループ参照ルーチンの各々は、ポイントの位置を現在のグループ環境内の他のポイントと独立な絶対値に設定するので、原点ルーチンが使用されている場合、いずれのポイントグループ参照ルーチンの呼び出しも許されない。デルタグループ参照ルーチンへの呼び出しは、それらが絶対位置ではなく相対距離を返すので、許される。 3.2.1.4 出力ルーチンは、現在のステータスを示すＩＮＴ32を戻す。 3.2.2 ポイントの絶対位置の設定 3.2.2.1 導入ユーザは、他のいずれのポイントランドマークにも依存しないが、例えば配置されたセルのようないくつかの他のオブジェクトに依存するポイントの位置を設定する必要がある。このような状況を可能とするため、ユーザがポイントの絶対位置を設定できるようにするルーチンが必要とされる。ユーザにポイントのｘ、ｙ、又はｘ及びｙの位置を設定可能とするルーチンをここに示す。 pxSetLoc(point,x); pySetLoc(point,y); pSetLoc(point,x,y); 3.2.2.2 入力 point−char^★はそのポイント名を示す。 x−INT32は、ポイントのｘ要素についての絶対位置を示す。 y−INT32は、ポイントのｙ要素についての絶対位置を示す。 3.2.2.3 処理 pxSetLocルーチンは、エントリーを、後に評価されるべき現在のＳＣテーブル内に配置する。ＳＣテーブル内のエントリーが評価される時、ポイントのｘ要素は、ｘにより指定される値に設定される。同様に、pySetLocルーチンは、エントリーを現在のＳＣテーブル内に配置し、評価時には、ポイントのｙ要素をｙで指定される値に設定する。 pSetLocルーチンは、現在のＳＣテーブル内に２つのエントリーを配置し、一つはポイントの水平方向の制約を示し、一つはポイントの垂直方向の制約を示す。これらのエントリーはpxSetLoc及びpySetLocルーチンにより配置されるものと同一であり、同様に評価される。これらのルーチンの使用時には注意を要する。ポイントの位置はユーザにより指定された引数のみに基づくので、システムは、そのポイントが他のポイントとして同一の原点を参照していることを確認することができない。いずれかの制約が、pxSetLocルーチンによって水平方向上に配置され、又はpy SetLocルーチンによって垂直方向上に配置され、若しくはpSetLocルーチンによっていずれかの方向に配置される場合、エラーが報告される。 3.2.2.4 出力ルーチンは、それらのステータスを示すINT32を返す。 3.2.3 ポイントグループ参照ルーチン 3.2.3.1 導入ポイントグループ参照ルーチンは、異なるグループ内で定義されたポイントの位置に基づいて、あるポイントの位置を決定するために使用される。各ポイントグループ参照ルーチンの構文をここに示す： pRefGroup(p1，ref_pt，group_name) pxRefGroup(p1，ref_pt，group_name) pyRefGroup(p1，ref_pt，group_name) 3.2.3.2 入力 p1−char^★は、そのポイント名を示す。 ref_pt−char^★は、グループ内のポイント名を示す。 group_name−char^★は、参照するグループ名を示す。 3.2.3.3 処理各ポイントグループ参照ルーチンは、現在のＳＣテーブル内にエントリーを配置し、ref_pt及びp1が適合するアイテムタイプ、拡張方向及びポイント幅（適用可能であれば）を確認する。制約が評価される時、それらはまず、そのグループが存在し、そのグループ内にポイントが存在することを確認し、gr oup_nameＳＣテーブルが評価される。次に、ref_ptの位置（pxRefGroupについてｘのみ、pyRefGroupについてｙ）がp1へコピーされる。 group_nameにより指定されるグループが存在しない場合、又はポイントref_pt がそのグループ内に存在しない場合、エラーが報告される。 group_nameにより指定されるグループ内のＳＣテーブルが評価されていない場合、エラーが報告される。いずれかのポイントグループ参照ルーチンが使用されると、オリジンルーチンへの呼び出しは許されない。 3.2.3.4 出力ルーチンは、それらのステータスを示すINT32を返す。 3.2.4 デルタグループ参照ルーチン 3.2.4.1 導入デルタグループ参照ルーチンは、現在のグループ以外のあるグループ内の２つのポイント間の相対距離を決定するために使用される。ルーチンの構文は以下のようである： dxRefGroup(ref_pt1，ref_pt2，group_name); dyRefGroup(ref_pt1，ref_pt2，group_name); 3.2.4.2 入力 ref_p1、ref_p2−char^★は、基準ポイント名を示す。 3.2.4.3 処理各デルタグループ参照ルーチンは、まず、group_name、ref_p1、ref_p2、により指定されるグループ及びポイントが存在するか否かを確認し、グループＳＣテーブルが評価されたかを確認する。次に、それらはref_p1及びref_p2の位置を使用してｘ又はｙの差を決定する。結果は直ちに計算され、よって現在のＳＣテーブルにエントリーを行う必要はない。 3.2.4.4 出力デルタグループ参照ルーチンは、２つのポイント間の水平方向及び垂直方向距離を示すINT32を返す。 3.2.5 方向性物理的制約の機能 3.2.5.1 導入方向性物理的制約ルーチンは１以上の基準ポイントランドマークに対する、あるポイントランドマークの位置を示す共通のコンパス名を使用する。各方向性物理的制約ルーチンの構文をここに示す： north(p1，ref1); north2(p1，ref1，ref2); north3(p1，ref1，ref2，ref3); north4(p1，ref1，ref2，ref3，ref4); north5(p1，ref1，ref2，ref3，ref4，ref5); south(p1，ref1); south2(p1，ref1，ref2); . . . south5(p1，ref1，ref2，ref3，ref4，ref5); east(p1，ref1); east2(p1，ref1，ref2); . . . east5(p1，ref1，ref2，ref3，ref4，ref5); west(p1，ref1); west2(p1，ref1，ref2); . . . west5(p1，ref1，ref2，ref3，ref4，ref5); 各関数について列挙された名称を有する複数のルーチンが、可変数の引数を有する一つのルーチンの代りに選択され、それにより、ＣＤＳモジュールの開発中にデバッグ段階をより完全とすることができる。 3.2.5.2 入力 p1−char^★は、そのｘ又はｙ要素を変更するポイント名を示す（east及びwest 命令はｘ要素を変更し、north及びsouth要素はｙ要素を変更する）。 ref1，．．．ref5 −char^★は、基準ポイント名を示す。 3.2.3.5 処理各物理的制約ルーチンの機能は、エントリーを、ポイントp1と基準ポイントre f1，．．．ref5との間の制約を示すＳＣテーブルに配置する。 evalConstraints、xEval、又はyEvalルーチンを呼び出すことによりこの制約を評価する時、既知の全ての物理的レイアウトルールをポイントp1及び基準ポイントref1(,ref2,．．．ref5)により示される幾何形状に適用することによりp1の位置が決定される。制約の評価中に、p1の幾何形状アイテムをref1のそれと比較してそれらの間の必要な距離を決定し、次にref2を使用し、そうして、次に最悪の場合の距離を使用してp1の位置を決定する。ポイントは、複合幾何形状アイテム、ワイヤ、幾何形状のエッジ、又はスタンダードセルのエッジを示すことができる。複合アイテムは、ポリメタル接点などの複数の幾何形状を示し、それは３つの異なる層−メタル、ポリ、及びカットを含む。ワイヤアイテムは、単層ワイヤの中央を示し、層アイテムは単層幾何形状のエッジ又はコーナーを示す。セルエッジアイテムはスタンダードセルの左又は右エッジを示す。２つのポイントを比較する時、各ポイントのアイテム幾何形状タイプをチェックし、各ポイントの各層をチェックして正しい間隔を決定する。図１４Ａ−Ｂは、ref1を参照することにより、p1の水平方向位置が設定される様子を示す。斜め間隔チェックは、レイアウトの最適な密度を得るために要求される。基準ポイントのｘ及びｙ位置が既知であり、設定すべきポイントのｘ又はｙ位置のいずれかが既知であれば、未知の要素位置はピタゴラスの定理を使用することにより最適な解答に設定することができる（図１４Ｂ参照）。ルーチンは、いつポイントp1及び基準ポイントがトランジスタの両側のメタルアクティブ接点を示すかを決定可能とすべきである。 p1及び基準ポイントの拡張方向が相互に向かっているならば、それらは両方ともメタルアクティブ接点を示し、且つ異なる電気的ノード上にあり、よってトランジスタ間隔についてのルールが適用される（図１５参照）。各制約方程式が実行される時、制約を評価するための命令が実行されるまで、エントリーはＳＣテーブル内に置かれる。評価中に、もしp1のｘ位置が設定され、いずれかの基準ポイントのｘ位置、又はいずれかの基準ポイントのｙ位置又は設定されたポイントがUNDEFINEDに設定されれば、制約はスキップされる。よって、ＳＣテーブルの第２の通過が必要である。ＳＣテーブルの１以上の通過後に、評価ルーチンがそれ以上の制約を評価できない場所に到達したが、p1のｘ位置は依然として設定される必要があり、いずれかのポイントのｙ位置が依然としてUNDEFINEDであるならば、基準ポイントからの最悪の場合の間隔が計算され（コーナー間チェックは行わない）、ＳＣテーブル内の他の制約の評価は継続する。もし、p1のｘ位置が設定され、全ての基準ポイントのｘ位置がNOCONSTRAINTに設定され、又はいずれかの基準ポイント又は設定されたポイントがNOCONSTRAINT に設定されたならば、制約はスキップされる。よって、ＳＣテーブルの第２の通過が必要となる。ＳＣテーブルの幾つかの通過の後、評価ルーチンが、それ以上の制約を評価できない場所に到達し、p1のｘ位置が未だ設定されておらず、いずれかの基準ポイントのｙ位置が依然としてNOCONSTRAINTに設定されているならば、そのポイントからの最悪の場合の間隔が計算される（コーナー間チェックは行われない）。もし、p1と基準ポイントが同一のノード名を有し、アイテムが同一層であり、若しくは一つのポイントが単純で他方が複合的であって同一層の幾何形状を有するならば、オフセット間隔が適用される。即ち、もしp1がポリメタル接点を示し、ref1がメタルワイヤを示し、それらが同一のノード上にあるならば、それらの間に適用される距離はdmc（メタルワイヤへのデルタメタル接点）である。もし同一方向（north、south、east、west）の１以上の制約が同一のポイントについて指定されるならば、制約は加法的であり、それは定義された最悪の場合の制約が使用されることを示す(第１の制約定義後で第２の制約定義前にデリート制約機能が実行されない限り)。もし先に定義された制約と逆の方向のポイント (east対west)について制約が定義されたならば、警告メッセージが与えられる。 3.2.5.4 出力ルーチンは、そのステータスを示すINT32を返す。 3.2.6 コーナーチェック物理的制約の機能 3.2.6.1 導入コーナーチェック物理的制約ルーチンは、一つの例外を除いて上述の物理的制約ルーチンと等価である。もし設定されているポイントといずれかの基準ポイントとの間の絶対距離が計算できないならば（UNKNOWN又はNOCONSTRAINT値のため）、他の制約が評価できない場合でさえも制約は評価されない。構文は以下のようである： cNorth(p1，ref1); cNorth2(p1，ref1，ref2); cNorth3(p1，ref1，ref2，ref3); cNorth4(p1，ref1，ref2，ref3，ref4); cNorth5(p1，ref1，ref2，ref3，ref4，ref5); cSouth(p1，ref1); cSouth2(p1，ref1，ref2); . . . cSouth5(p1，ref1，ref2，ref3，ref4，ref5); cEast(p1，ref1); cEast2(p1，ref1，ref2); . . . cEast5(p1，ref1，ref2，ref3，ref4，ref5); cWest(p1，ref1); cWest2(p1，ref1，ref2); . . . cWest5(p1，ref1，ref2，ref3，ref4，ref5); 3.2.6.2 入力 p1−char^★は、そのｘ又はｙ要素を変更するポイント名を示す。 ref1，．．．ref5 −char^★は、p1の位置を決定するための基準ポイント名を示す。 3.2.6.3 処理コーナーチェック物理的制約ルーチンは、一つの例外を除いて上述の方向性物理的制約ルーチンと等価である。制約が評価される以前に、ｘ及びｙ要素について、設定されたポイントの逆方向要素に沿っての各基準ポイントの座標が既知でなければならない。情報が使用可能な場合のみコーナー間チェックを行う方向性物理的制約ルーチンと異なり、これらのルーチンは、それらが評価される前に情報が使用可能であることを必要とする。 3.2.6.4 出力ルーチンは、それらのステータスを示すINT32を返す。 3.2.7 一次元物理的制約の機能 3.2.7.1 導入一次元物理的制約ルーチンは、コーナー間チェックが無いことを除いて、上述の方向性物理的制約ルーチンと類似する。構文は以下のようである： sNorth(p1，ref1，width); sSouth(p1，ref1，width); sEast(p1，ref1，width); sWest(p1，ref1，width); 3.2.7.2 入力 p1−char^★は、そのｘ又はｙ要素を変更するポイント名を示す。 ref1，．．．ref5 −char^★は、p1の位置を決定するための基準ポイント名を示す。 3.2.7.3 処理 3.2.7.4 一次元物理的制約ルーチンの機能は、コーナー間チェックが一切行われない点を除いて、上述の方向性物理的制約ルーチンと等価である。これは、sE ast及びsWestルーチンが（評価時に）、設定されたポイント及び基準ポイントのｙ要素値と独立な設定ポイントのｘ要素を計算することを意味する。逆に、sNor th及びsSouth ルーチンは、ｘ要素値と独立な設定ポイントのｙ要素を計算する。一次元物理的制約ルーチンは、方向性及びコーナーチェック物理的制約ルーチンとの関連において使用することができる。これは、一つのポイント上の幾つかの制約を指定することにより行われる。例えば、 north(p1，ref1); sNorth(p1，ref2); cNorth(p1，ref3); 上記の例において、ポイントp1はポイントref1、ref2、及びref．により制約される。p1とref1との間で制約が評価される時、p1とref1のｘ要素が既知ならば（それはＳＣテーブルの幾つかの通過をとる）、コーナー間チェックが行われ、そうでなければ、コーナー間チェックは行われない。p1とref2との間で制約が評価される時、コーナー間チェックは行われず、p1とref.間の制約は、コーナー間チェックが行われることを要求する。制約のグループが評価される前に、ポイントref1、ren、及びref.のｙ要素が既知でなければならず、p1とref.のｘ要素が既知でなければならない（cNorthルーチンにより要求される）。これらの条件のいずれかが満たされなければ、条件が満たされるまで制約のグループは評価されない。条件が満たされなければ、エラーが報告される。 3.2.7.5 出力ルーチンは、それらのステータスを示すINT32を返す。 3.2.8 デルタ制約の機能 3.2.8.1 導入デルタ制約ルーチンは、２つのポイント間の所望の距離を設定するために使用される。構文は以下のようである： dNorth(p1，ref1，delta); dSouth(p1，ref1，delta); dEast(p1，ref1，delta); dWest(p1，ref1，delta); 3.2.8.2 入力 p1−char^★は、そのｘ又はｙ要素を変更するポイント名を示す。 ref1−char^★は、基準ポイント名を示す。 ref1−c delta−INT32は、p1がref1から離れて配置されるべき直交方向の所望距離を示す。 3.2.8.2 処理ルーチンdNorthは、評価時に、p1のｙ要素が、ref1->ｙ＋deltaと等しくなるように変更する。ルーチンdSouthは、p1のｙ要素が、ref1->ｙ−deltaと等しくなるように変更する。ルーチンdEastは、p1のｘ要素が、ref1->ｘ＋deltaと等しくなるように変更する。ルーチンdWestは、p1のｘ要素が、ref1->ｙ−deltaと等しくなるように変更する。 p1とref1の示された幾何形状間にＤＲＣエラーが生じそうである場合には、警告が報告される。指定されたdeltaがgridsizeの倍数でない場合、エラーが報告される。 3.2.8.4 出力ルーチンは、それらのステータスを示すINT32を返す。 3.2.9 アタッチ制約の機能 3.2.9.1 導入アタッチ制約ルーチンは、方向性、一次元、及びコーナーチェック物理的制約ルーチンの夫々と同一の機能を有するが、設定されたポイントを基準ポイントに付属させるという付加的な機能を有する。各アタッチ制約機能の構文をここに示す： northAttach(p1，ref1); southAttach(p1，ref1); eastAttach(p1，ref1); westAttach(p1，ref1); cNorthAttach(p1，ref1); cSouthAttach(p1，ref1); cEastAttach(p1，ref1); cWestAttach(p1，ref1); sNorthAttach(p1，ref1); sSouthAttach(p1，ref1); sEastAttach(p1，ref1); sWestAttach(p1，ref1); dNorthAttach(p1，ref1，delta); dSouthAttach(p1，ref1，delta); dEastAttach(p1，ref1，delta); dWestAttach(p1，ref1，delta); 3.2.9.2 入力 p1−char^★は、そのｘ又はｙ要素を変更するポイント名を示す。 ref1−char^★は、p1の位置を決定するための基準ポイント名を示す。 delta−INT32は、p1がref1から離れて配置されるべき直交方向の所望距離を示す。 3.2.9.3 処理アタッチ制約が評価される時、設定ポイントは基準ポイントに付属され、付加的な制約により設定ポイントが移動すれば、基準ポイントもそれと共に移動する。アタッチ制約ルーチンの他の全ての機能性は、方向性、一次元、及びコーナーチェック制約ルーチンの夫々と等価である。もし設定ポイントが一つ以上の基準ポイントにより制約され、重大でない（最悪の場合ではない）基準ポイントが設定されたポイントに付属されたならば、付属された基準ポイントは、定義された制約のいずれをも破ることなく、設定ポイントに可能な限り接近して移動させられる。図１６Ａは一例を示し、p1がref1及びref2により制約され、ref2は重大な基準ポイントである。図１６Ｂは、p1とre f1との間の制約がeast制約からeastAttach制約に変更された時にポイントref1がどのように移動するかを示す。設定ポイントは、第２のアタッチ制約が指定されない限り、垂直又は水平方向の両方ではなく、一方においてのみ基準ポイントに付属する。アタッチ制約においては一つの基準ポイントのみが許容されることに注意すべきであり、これは解決不能な潜在的循環的参照を防止するものである。 3.2.9.4 出力ルーチンはそれらのステータスを示すINT32を返す。 3.2.10 トランジスタ 3.2.10.1 導入トランジスタ制約ルーチンは、２つのポイント間の正しい距離を設定し、指定された幅のトランジスタを製作するために使用される。構文は以下のようである： tNorth(p1，ref1，width); tSouth(p1，ref1，width); tEast(p1，ref1，width); tWest(p1，ref1，width); 3.2.10.2 入力 p1−char^★は、その位置が設定されるポイントを示す。 ref1−char^★は、基準ポイント名を示す。 width−INT32は、トランジスタの所望の幅を示す。 3.2.10.3 処理トランジスタ制約ルーチンは、引数widthを使用して基準ポイントからの距離を決定し、ポイントp1を配置する。p1とref1の幾何形状タイプに基づいてポイント位置p1にオフセットを適用する。ｎ又はｐチャネルトランジスタ（NMAC又はPMAC）、若しくはｎ又はｐチャネルビッグアクティブワイヤ（PBA又はNBA）のメタルアクティブ接点を示す各ポイントについて、オフセット［hac］が適用される。アクティブ幅ワイヤ（AW）を示す各ポイントについて、オフセット［aw/2］が適用される。任意幅アクティブワイヤ（AWW）を示す各ポイントについて、オフセット［wid th/2］が適用され、ここでwidthはアクティブワイヤの幅である。ゲート方向と平行な方向のみの拡張を有するｎチャネルポリゲート（NGL）を示す各ポイントについて、オフセット［ngtx−ngl＋hac］が適用される。ゲート方向と平行な方向のみの拡張を有するｐチャネルポリゲート（PGL）を示す各ポイントについて、オフセット［pgtx−pgl＋hac]が適用される。ゲート方向と垂直な方向の拡張を有するNGLを示す各ポイントについて、オフセット［ac2ngtx-ngl−hac］が適用される。ゲート方向と垂直な方向の拡張を有するPGLを示す各ポイントについて、オフセット［ac2pgtx−pgl−hac］が適用される。アクティブ（ACT）を示すポイントについてはオフセットは適用されない。ＣＭＯＳ技術について、ポイントのいずれかの幾何形状アイテムタイプがNMAC 、PMAC、NBA、PBA、AW、AWW、NGL、又はPGL以外であるならば、エラーが報告される。 p1及びref1のアイテムタイプがNMAC、PMAC、NBA、又はPBAであり、トランジスタの幅がビッグアクティブ接点の幅より小さいならば、p1の拡張方向は変更される。ゲート方向に垂直な拡張方向は取り除かれる（図１７Ａ−Ｂ参照）。トランジスタの幅がnew（ｎチャネルトランジスタについて）又はpg．（ｐチャネルトランジスタについて）より小さいならば、エラーが報告される。ポイント幾何形状アイテムタイプが異なるトランジスタタイプ、即ち、一つが NAMC、一つがPMACを示すならば、エラーが報告される。トランジスタ制約ルーチンは、常に、設定されたポイントを基準ポイントに付属させる（上述のアタッチ制約機能を参照）。 3.2.10.4 出力ルーチンは、それらのステータスを示すINT32を返す。 3.2.11 アラインルーチン 3.2.11.1 導入アラインルーチンは、２以上のポイントランドマークを垂直又は水平方向に整列させるために使用される。様々のアラインルーチンの構文をここに示す： xAlign(p1，p2); xAlign3(p1，p2，p3); xAlign4(p1，p2，p3，p4); xAlign5(p1，p2，p3，p4，p5); yAlign(p1，p2); yAlign3(p1，p2，p3); yAlign4(p1，p2，p3，p4); yAlign5(p1，p2，p3，p4，p5); 3.2.11 入力 p1．．p5−char^★は、変更されたｘ及びｙ要素を有するポイント名を示す。 3.2.11.3 処理 xAlignルーチンは２以上のポイントランドマークを水平に整列させるために使用され、yAlignルーチンは２以上のポイントランドマークを垂直に整列させるために使用される。xAlignルーチンは、まず引数により指定されるポイント上の制約の方向をチェックし、次に、引数により示された４ｈｘ要素の各々を、セット内の最小値（west制約について）又は最大値（east制約について）に設定する（最小／最大値を見つける時には、UNDEFINED又はNONCONSTRAINT値は考慮されない）。yAlignルーチンは、引数により示される構造のｙ要素について同様に動作する。もしいずれかのポイントが引数のリスト中のポイントの一つに付属しているならば、引数リスト中のポイントから付属するポイントへの相対距離は同一に維持される。これらのルーチンは、評価中に他のポイントを制約するポイントを潜在的に変更することができるので、ＳＣテーブルは、いずれかの引数を基準ポイントとして使用する制約を探し、それらを再評価が必要として記す（それらが先に評価されているならば）。もしいずれかの引数が付属するポイントのグループに属するならば、グループ中のあらゆるポイントを参照するあらゆる制約は再評価されなければならない。 3.2.11.4 出力ルーチンは、それらのステータスを示すINT32を返す。 3.2.12 デリート制約ルーチン 3.2.12.1 導入デリート制約命令は、先に定義された制約を消去するために使用される。構文をここに示す： xDeleteConstraint(p1); yDeleteConstraint(p1); 3.2.12.2 入力 p1−char^★は、変更されるｘ及びｙ要素を有するポイント名を示す。 3.2.12.3 処理 xDeleteConstraintルーチンは、east又はwestルーチンのいずれかのバージョンによりＳＣテーブル内に入力されたあらゆるエントリーを消去する。それはまた、ｘ方向アライン命令を調べ、p1が引数として存在するならば、それを引数リストから取り除き、若しくは、アライン制約に２つのみの引数が存在するならば、アライン制約全体を取り除く。同様に、yDeleteConstraintルーチンは、north又はsouthルーチン、又はｙ方向アラインルーチンから生じたＳＣテーブルのエントリーを消去する。 p1に以前から制約が存在しないならば、警告メッセージが表示される。 3.2.12.4 出力ルーチンは、それらのステータスを示すINT32を返す。 3.2.13.1 導入制約チェックルーチンは、可能なＤＲＣエラー、又はある他の望ましくない状態が存在するかを決定するために使用される。各ルーチンの構文をここに示す： cNorthCheck(p1，ref1); cSouthCheck(p1，ref1); cEastCheck(p1，ref1); cWestCheck(p1，ref1); sNorthCheck(p1，ref1); sSouthCheck(p1，ref1); sEastCheck(p1，ref1); sWestCheck(p1，ref1); dNorthCheck(p1，ref1，delta); dSouthCheck(p1，ref1，delta); dEastCheck(p1，ref1，delta); dWestCheck(p1，ref1，delta); 3.2.13.2 入力 p1−char^★は、ポイント名を示す。 ref1−char^★は、基準ポイント名を示す。 delta−INT32は、p1とref1との許容された距離を示す。 3.2.13.3 処理制約チェックルーチンの機能は、それらがポイントp1とref1との間の距離を計算するために使用される点で、コーナー間、一次元、及びデルタ物理的制約ルーチンと同様であるが、p1の位置を設定する代りに、p1の計算された位置とp1の実際の位置との差を報告する。返される値は、制約チェック名によって指定される方向における、p1の実際の位置とp1の計算された位置との差に等しい。もしp1の実際の位置が、ref1からの指定方向において計算された位置を超えるならば、正の整数が返される。もしp1 の実際の位置と計算された位置が、指定された方向においてref1から等距離であれば、値０が返され、もし実際の位置がref1から指定された方向においてp1の計算された位置程遠くに無いならば、負の整数が返される。負の値は可能なＤＲＣエラーを示すので、この情報を使用してエラー状態を決定することができる。ルーチンsNorthCheck、sSouthCheck、sEastCheck、及びsWestCheckは、一次元において（水平又は垂直のいずれか）p1とref1の間の最小必要距離を計算する。それからルーチンはこの距離を実際の一次元距離と比較する。ルーチンcNorthCheck、cSouthCheck、cEastCheck、及びcWestCheckは、p1とref1 の間の絶対最小必要距離を計算し、次に、計算された座標のｘ要素（cEastCheck 又はcWestCheckについて）又はｙ要素（cNorthCheck又はcSouthCheckについて）を比較し、それをp1 の実際のｘ又はｙ位置と比較する。ルーチンdNorthCheck、dSouthCheck、dEastCheck、及びdWestCheckは、p1とref1 との間の必要空間（一次元）としてデルタ値を使用し、それを実際の距離と比較する。物理的制約ルーチンとは異なり、これらのルーチンは後の評価のためにエントリーをＳＣテーブル内に配置することを行わないが、それらが遭遇した時に評価を行う。評価されていない先の制約定義が存在するならば、エラーが報告される。ルーチンsEastCheck、sWestCheckd、dEastCheck、及びdWestCheckについては、p1 又はref1のｘ要素がUNDEFINED又はUNCONTRAINTに設定されるならば、エラーが報告される。ルーチンsNorthCheck、sSouthCheck、dNorthCheck、及びdSouthCheckについては、p1又はref1のｙ要素がUNDEFINED又はUNCONTRAINTに設定されるならば、エラーが報告される。ルーチンcNorthCheck、cSouthCheck、cEastCheck、及びcWestCheckについては、p 1又はref1のｘ又はｙ要素いずれかがUNDEFINED又はUNCONTRAINTに設定されるならば、エラーが報告される。 3.2.13.4 出力ルーチンは、実際の距離から減算された、計算された距離に等しいINT32を返す。 3.2.14 xEval及びyEvalルーチン 3.2.14.1 導入 xEval及びyEvalルーチンは、コード中のこのポイント以前に実行されたあらゆる制約ルーチンにより定義された制約を部分的又は完全に評価する。これらのルーチンの構文をここに示す： xEval(point); yEval(point); これらのルーチンの意図的な使用は、全ての制約が定義される以前にポイント構造のｘ及びｙ要素値を決定することである。ユーザは、ランドマークの定義又はランドマークのグループが、先に定義された２つのランドマークの相対位置に依存することを要求する。ランドマークの実際の位置は、その制約方程式が評価されるまで使用できないので、先に定義されたこれらのランドマークは、それらの位置が比較できる以前に評価されなければならない。xEvalルーチンが使用される一例をここに示す： if（xEval(p1)>xEval(p2)）east(p4，p1); else west(p4，p3); 上記の例で、p4の制約定義はp1とp2の関係により決定される。xEvalルーチンは先に定義されたあらゆる制約を評価し、それによりp1及びp2のｘ位置が使用可能となる。 3.2.14.2 入力 p1−char^★は、ｘ又はｙ要素を評価し、返すポイント構造名を示す。 3.2.14.3 処理 xEval及びyEvalルーチンは、その呼び出し以前に定義された全ての制約方程式を評価することを試みる。もし、ｘ又はｙ要素を有する基準ポイントがUNDEFINED又はUNCONSTRAINTに設定されているために制約方程式を評価できないならば、それはスキップされ、ＳＣテーブルの他の通過が要求される。全ての制約が評価され、又は一つの完全な通過の後に付加的な制約が評価されない場合、ポイント構造のｘ要素（xEvalルーチンについて）又はｙ要素（yEvalルーチンについて）が返される。その値がUNDEFINED又はUNCONSTRAINT に設定されたならば、エラーが報告される。実行中に、それ以前にxEval又はyEvalルーチンが実行され、他の制約が定義されていないならば、制約は再評価はされない。 3.2.14.4 出力 xEvalルーチンの出力は、評価後のポイント構造のｘ要素に等しいINT32値である。 yEvalルーチンの出力は、評価後のポイント構造のｙ要素に等しいINT32値である。 3.2.15 evalConstraintルーチン 3.2.15.1 導入 evalConstraintsルーチンは、ＳＣテーブルに入力された全ての制約を評価する。その構文をここに示す： evalConstraints(); このルーチンの呼び出しは、幾何形状生成ルーチンからのあらゆるポイントランドマークへの参照以前に要求される。 3.2.15.2 入力 evalConstraintsルーチンへは直接的な入力は無い。直接的な入力はＳＣテーブル内のエントリーである。 3.2.15.3 処理 evalConstraintsルーチンは、定義された制約を、それらがＳＣテーブル内に配置された順序で評価しようとする。もしＳＣテーブルのいずれかのエントリーが、UNDEFINEDに設定されたｘ要素を有するポイントを参照するeast又はwest制約を示すか、若しくはUNDEFINEDに設定されたｙ要素を有するポイントを参照するnorth又はsouth制約を示すならば、次がテーブルを通過するまで、その制約はスキップされる。同様に、もしeast又はwest制約がその全ての基準ポイントでNO CONSTRAINTに設定されたｘ要素を有し、若しくはnorth又はsouth制約がその全ての基準ポイントでNOCONSTRAINTに設定されたｙ要素を有するならば、その制約はスキップされる。各制約が首尾よく評価されると、その制約の評価フラグがＳＣテーブル通過カウンタの現在の値に設定される。これは、制約評価の順序を決定する爾後の分析を可能とする。全ての制約が評価されると同時に、若しくはいずれの制約をも評価することなくＳＣテーブルを完全に通過した後に、評価プロセスは停止する。評価できなかった制約があるならば、評価できなかった制約のリストと共にエラーが報告される。評価プロセスの終了後、ポイントランドマークの位置を、ＳＣテーブルをさらに１度以上通過することにより確認することができる。いずれかの制約が破られているならば、その制約名と共に警告が報告される。ポイント構造のいずれかのｘ又はｙ要素が以前としてUNDEFINED に設定されているならば、それらは制約の定義が無いとしてリストされるべきであり、エラーが報告される。もし、xEval又はyEvalルーチンがそれ以前に実行され、追加の制約が定義されていないならば、制約の評価は不要であり、よって評価は行われない。しかし、評価されていない制約、破られた制約、及び未定義のポイントのチェックは依然として行われる。 3.2.15.4 出力ルーチンは、そのステータスを示すINT32を返す。 3.2.16 制限 3.2.16.1 制約定義の制限制約を一つのポイント上に逆方向に配置することは許されない。例えば、east 制約があるポイントに配置された場合、同一のポイントにwest制約が配置されるとエラーが報告される。周期的な参照パスは許されない。全てのポイントの全ての参照は、オリジンルーチン、ポイントグループ参照ルーチン、又は絶対位置ルーチンにより配置されたポイントを直接的又は間接的に参照しなければならない。 3.2.16.2 アラインステートメントの制限 xAlignルーチンについての引数リスト中の少なくとも一つのポイントは、アライン制約以外の水平方向への少なくとも一つの制約を有しなければならない。あらゆるポイント上のあらゆる追加の制約は、全て同一方向でなければならない。 yAlignルーチンについての引数リスト中の少なくとも一つのポイントは、アライン制約以外の垂直方向への少なくとも一つの制約を有しなければならない。あらゆるポイント上のあらゆる追加の制約は、全て同一方向でなければならない。 xAlign制約についての引数リスト中のあらゆるポイントは、異なる水平方向の制約の引数リスト中のいずれの他のポイントも参照してはならない。 yAlign制約についての引数リスト中のあらゆるポイントは、異なる垂直方向の制約の引数リスト中のいずれの他のポイントも参照してはならない。 3.2.16.3 アタッチステートメントの制限オリジンルーチン、ポイントグループ参照ルーチン、又は絶対位置ルーチンにより配置されたポイントへの付属は効果を有しない。基準ポイントは、１以上の設定されたポイントに付属させるべきではない（設定されたポイントは１以上の基準ポイントに付属させることができる）。 3.3 機能的要求事項：幾何形状生成ルーチン 3.3.1 tPointルーチン 3.3.1.1 導入 tPointルーチンは幾何形状生成ルーチンであり、ランドマーク情報をデータベース内に配置するために使用される。指定されたグループ内の各定義されたランドマークの名称及び座標が保存される。line_of_codeフラグが設定されると、li ne_of_codeファイル名、line_of_codeライン番号、及び基準ポイントリストが各ポイントランドマークについて含められる。構文をここに示す： tPoint(group_name); 3.3.1.2 入力 group_name_char^★は、ランドマークグループについての名称を示す。 3.3.1.3 処理 tPointルーチンは、指定されたグループ名を含む最初の（最後の）ポイントランドマークへのポインタを参照し、そのランドマーク名及び座標を現在のデータベース内に配置する。次の（その前の）ポイントランドマークは、構造中の次の要素を使用して参照され、それがまた指定されたグループ名を含むならば、その次のポイントの名称及び座標もデータベース中に配置される。このパターンは、ランドマークのリンクされたリストの最後が発見されるまで継続される。line_o f_codeフラグが設定されると、ファイル名、ファイルライン番号、及び各ポイントのポインタ参照ストリングもデータベース中に配置される。 geoデータベースは、tPoint命令の実行前、又はエラーが報告される前にオープンされなければならない。 3.3.1.4 出力ルーチンは、そのステータスを示すINT32を返す。 3.3.2 pBoxルーチン 3.3.2.1 導入 pBoxルーチンは幾何形状生成ルーチンであり、矩形の幾何形状を作る。ルーチンは、各ポイントの幾何形状アイテムタイプに基づいて、ポイント位置上に、幾何形状の必要なオーバーラップを自動的に計算する。構文をここに示す： pBox(p1，p2); 3.3.2.2 入力 p1、p2−char^★は、作成されるべきボックスの対向するコーナーを示す。 3.3.2.3 処理 pBoxルーチンは、現在の描画層と各ポイントのアイテムタイプをチェックし、その情報に基づいて各ポイントの正確なオーバーラップを計算する。それから、それは正確なオーバーラップを有する２つのポイントを包囲するボックス幾何形状を製作する。現在の描画層といずれかのポイントのアイテムタイプが矛盾する場合、エラーが報告される。いずれかのポイントが任意幅のワイヤを示す場合、ポイントのオーバーラップはワイヤ幅の１／２である。ワイヤ幅がグリッドユニットの２倍でなければ、エラーが報告される。 3.3.2.4 出力ルーチンは、そのステータスを示すINT32を返す。 3.3.3 pWireルーチン 3.3.3.1 導入 pWireルーチンは幾何形状生成ルーチンであり、新しいワイヤの開始ポイントを定義する。ワイヤは、px、py、pxy、及び／又はpyx命令により継続される。構文を以下に示す： pWire(width，p1); 3.3.3.2 入力 width−INT32は、新しいワイヤの所望の幅を示す。 p1−char^★は、ワイヤの開始位置を示す。 3.3.3.3 処理 pWireルーチンの機能は、wireルーチンのそれと非常に類似している。ワイヤ幅は、引数widthにより設定され、開始位置はp1により示す構造のｘ及びｙ要素により決定される。 p1のアイテムタイプが、同一層上の幾何形状を現在の描画層として示さない場合、エラーが報告される。引数widthが２^★gridsizeの倍数でない場合、エラーが報告される。 3.3.3.4 出力ルーチンは、そのステータスを示すINT32を返す。 3.3.4 px及びpyルーチン 3.3.4.1 導入 px及びpyルーチンは幾何形状生成ルーチンであり、pWire又はwireにより開始したワイヤを描画し続ける。構文を以下に示す： px(p1); py(p1); 3.3.4.2 入力 p1−char^★は、現在のワイヤを描画するためのｘ及びｙ位置を示す。 3.3.4.3 処理 pxルーチンは、現在のワイヤを、p1により示される構造のｘ要素により指定される値まで水平方向に描画する。 pyルーチンは、現在のワイヤを、p1により示される構造のｙ要素により指定される値まで垂直方向に描画する。ワイヤの描画後、ワイヤの終了ポイントが正確にp1の位置に配置されている場合、使用されるべき次のワイヤルーチンpxy又はpyxルーチンであれば、知的ワイヤ動作が行われる。pxy及びpyxルーチンの動作を記述したセクション中の知的ワイヤ動作の説明を参照。ワイヤ開始ポイントと終了ポイントの電気的ノード名が一致せず、現在の描画層がポリ、メタル１、メタル２、又はメタル３である場合、警告が報告される。 3.3.4.4. 出力ルーチンは、それらのステータスを示すINT32を返す。 3.3.5 pxy及びpyxルーチン 3.3.5.1 導入 pxy及びpyxルーチンは幾何形状生成ルーチンであり、pWireルーチンにより開始されるワイヤの描画を継続する。これらのルーチンは、ワイヤの描画がＤＲＣエラーの防止を補助するある状況にどのようにできるかについての知的な決定を行う。例えば、メタル幅ワイヤがポリメタル接点から他のポリメタル接点へ描画されている場合、ワイヤはdmcの値だけ自動的にシフトして可能なメタル“ノッチ”を防止する。２つのポリメタル接点が偶然近接していてメタル間隔エラーを生じる場合、ワイヤ幅を増加させてギャップを埋める。構文を以下に示す： pxy(p1); pyx(p1); 3.3.5.2 入力 p1−char4は、現在のワイヤを描画するための新しい位置を示す。 3.3.5.3 処理 pxyルーチンは、最後のpWire又はwireルーチンの引数widthにより指定される幅のワイヤを、まず水平方向位置でp1->xまで描画し、次に垂直方向位置でp1->y まで描画する。 pyxルーチンは、最後のpWire又はwireルーチンの引数widthにより指定される幅のワイヤを、まず垂直方向位置でp1->yまで描画し、次に水平方向位置でp1->x まで描画する。描画中のワイヤセグメントの開始ポイントが、現在のワイヤ幅より広い現在の描画層上の幾何形状を示し、且つp1の位置が開始ポイントから直交方向にない場合、ワイヤ開始ポイントを開始ポイントにより示される幾何形状の最も近いエッジにシフトする（図１８Ａ−Ｂ参照）。同様に、p1により示される幾何形状のアイテムタイプが現在のワイヤ幅より広い場合、ワイヤの終了ポイントはp1により示される幾何形状の最も近いエッジにシフトされる。ワイヤセグメントの描画後、報告されたワイヤの終了ポイントをp1の位置へシフトさせて戻す。関連するアイテムタイプを考慮する時に、pxy又はpyx命令が、ＤＲＣエラーを生じるほどに近接する２つのポイント間のワイヤセグメントを製作する場合、ワイヤの幅を増加させるか、又はワイヤの隣にボックス幾何形状を付加してＤＲＣエラーを防止する（図１９Ａ−Ｄ参照）。図１９Ａは、開始ポイントまで描画されたワイヤを示す。図１９Ｂは、p1まで継続したワイヤを示す。図１９Ｃは、現在の幅で生じるＤＲＣエラーを示す。図１９Ｄは、増加させたワイヤ幅を示す。ワイヤの開始ポイントと終了ポイントの電気的ノード名が適合せず、現在の描画層がポリ、メタル、メタル２、又はメタル３である場合、警告が報告される。 3.3.5.4 出力ルーチンは、それらのステータスを示すINT32を返す。 3.3.6 pContactルーチン 3.3.6.1 導入 pContactルーチンは幾何形状生成ルーチンであり、接点又は通路のアレイを製作する。接点又は通路のタイプは、ポイントランドマークのアイテムタイプにより自動的に決定される。構文を以下に示す： pContacts(p1，p2); 3.3.6.2 入力 p1、p2−char4は、接点アレイの終了又はコーナーポイントを示す。 3.3.6.3 処理 pContactルーチンの機能は、メタルアクティブ接点、ポリメタル接点、基板接点、pwell接点、vias、及びvia2sのアレイを描画することである。描画される接点のタイプはポイントランドマークのアイテムタイプに依存する。可能な接点の最大のdep数は、適当なオーバーラップを有する２つのポイントランドマークp1 及びp2により定義されるボックス中のfiay構成内に配置される。このルーチンは、接点ルーチンと同様に動作する。許容されるアイテムタイプは、NMAC、PMAC、PYC、SCON、PCON、VIA、及びVIA2 である（以下の幾何形状アイテムタイプの記述を参照）。ポイントランドマークのいずれかのアイテムタイプがこれらと異なる場合、エラーが報告される。２つのポイントランドマークのアイテムタイプが適合しない場合、エラーが報告される。 3.3.6.4 出力ルーチンは、そのステータスを示すINT32を返す。 3.3.7 pxContact及びpyContactルーチン 3.3.7.1 導入 pxContact及びpyContactルーチンは、完全なアレイの代わりに唯一の接点列が生成されることを除いて、pContactルーチンと同様に動作する。第１の引数は接点列についての“アンカー”ポイントを示し、第２の引数は列の長さを決定する。典型的に、これらのルーチンは、２つのみのポイントがボックスの対向するコーナーに適宜されるアクティブボックス上のメタルアクティブ接点列を製作するために使用される。図２０は、pxContactルーチンによってメタルアクティブ接点の列が生成される様子を示す。ルーチンの構文をここに示す： pxContacts(p1，p2); pyContacts(p1，p2); 3.3.7.2 入力 p1−char^★は、接点列についてのアンカーポイントを示す。 p2−char^★は、その構造中のｘ及びｙ要素による接点アレイの対向する終了ポイントを示す。 3.3.7.3 処理 pxContactルーチンは、p1により示す位置から座標p2->x、p1->yへの水平方向の接点列を製作する。 pyContactルーチンは、p1により示す位置から座標p1->x、p2->yへの垂直方向の接点列を製作する。 p1のアイテムタイプに適当であるオーバーラップ値が、列の両端部に適用される。 p1のアイテムタイプは、以下のいずれかでなければならない:NMAC、PMAC、SCO N、PCON、VIA、及びVIA2−それ以外は、エラーが報告される。 3.3.7.4 出力ルーチンは、それらのステータスを示すINT32を返す。 3.3.8 単一接点ルーチン 3.3.8.1 導入単一接点ルーチンは、ポイントランドマークの中央に集められた指定タイプの接点マクロ（幾何形状のグループ）を配置する。各ルーチンの構文をここに示す： pPYM(p1); pMA(P1); pM2M(p1); pM3M2(p1); pVIA(p1); pVIA2(p1); 3.3.8.2 入力 p1−char^★は、接点を配置すべき中央ポイントを示す。 3.3.8.3 処理 pPYMルーチンは、位置p1にポリメタル接点を配置する。メタルの方向へのポリのあらゆる拡張は、ポイント構造により指定される拡張方向により決定される。 pMAルーチンは、ポイントp1で中心に置かれたメタルアクティブ接点を配置する。 pM2Mルーチンは、ポイントp1で中心に置かれたmetal‐to‐metal2通路を配置する。 pM3M2ルーチンは、ポイントp1で中心に置かれたmetal2‐to‐metal3通路を配置する。 pVIAルーチンは、ポイントp1で中心に置かれた通路（metal‐to‐metal2）を配置する。 VIA2ルーチンは、ポイントp1で中心に置かれた通路（metal2‐to‐metal3）を配置する。metal2又はmetal3の幾何形状は含まれない。 p１のアイテムタイプがp1に位置する接点のタイプと適合しない場合、エラーが報告される。 3.3.8.4 ルーチンは、それらのステータスを示すINT32を返す。 3.3.9 pPolygonルーチン 3.3.9.1 導入 pPolygonルーチンは、幾何形状生成ルーチンであり、引数として要求されるポイントランドマークのリストのみでポリゴンを作る。各ポイントに対するポリゴン幾何形状の最小のオーバーラップは、自動的に計算される。ポリゴン形状は直線で囲まれるものに限定され、よってポリゴンの全てのコーナーを特定する必要はない。最初の２つのポイントを除いて、ポイントのリストはポリゴン形状を定義するために全ての各コーナーを記述することのみが必要である（図２１参照）。pPolygonルーチンの構文をここに示す： pPolygon(p1，p2，p3); pPolygon3(p1，p2，p3); pPolygon4(p1，p2，p3，p4); pPolygon5(p1，p2，p3，p4，p5); pPolygon6(p1，p2，p3，p4，p5，p6); pPolygon7(p1，p2，p3，p4，p5，p6，p7); pPolygon8(p1，p2，p3，p4，p5，p6，p7，p8); pPolygon9(p1，p2，p3，p4，p5，p6，p7，p8、p9); 3.3.9.2 入力 p1−p9 −char^★は、ポリゴンのコーナーポイントを示す。 3.3.9.3 処理 pPolygonルーチンの機能は、引数リスト中に指定された各ポイント上への現在の描画層の正確なオーバーラップを決定し、そのポイント全てを包囲する直線によるポリゴンを作ることにある。引数リスト中の第２のポイントは第１のポイントから直交方向にあることが必要であり、それにより、開始方向が確立される。残りの引数は、以前のポイントに対して直交し、又は直交しないポイントを指定することができる。あるポイントが以前のポイントと直交しない場合、ポリゴンは２つのセグメントで描かれる。先のエッジがｙ方向に描かれる場合、第１のセグメントはｘ方向であり、第２のセグメントはｙ方向である。先のエッジがｘ方向に描かれる場合、第１のセグメントはｙ方向であり、第２のセグメントはｘ方向である。全てのポイントは現在の描画層に関連するアイテムタイプを有しなければならず、そうでない場合にはエラーが報告される。 3.3.9.4 出力ルーチンは、そのステータスを示すINT32を返す。 3.3.10 pPortルーチン 3.3.10.1 導入 pPortルーチンは、信号又は幾何形状ポートラベルを指定された位置に配置するために使用される。構文は： pPort(p1，port_name，attrib); 3.3.10.2 入力 p1−char^★は、ポートの位置を示す。 port_name_char^★は、ポートに割り当てるべきテキストストリングを示す。 attrib−char^★は、ポートに配置すべき属性を示す。 3.3.10.3 処理 pPortルーチンは、以下の例外を除いてＣＤＳ tport_nlルーチンと同様に動作する。ポートの位置は、引数ｘ及びｙ位置の代わりに、引数p1により指定され、ポートの層及びサイズ情報は、ルーチンへの引数を使用する代わりにポイント構造から抽出される。ポートにつけられるテキストストリングはport_nameにより指定され、ポートに割り当てられる電気的ノード名はポイント構造のノード名要素中に記憶される値である。属性ストリング中のエントリーは、tport又はtpo rt_nlルーチンに使用されるものと等価である。 3.3.10.4 出力ルーチンは、そのステータスを示すINT32を返す。 3.3.11 pNodeLabelルーチン 3.3.11.1 導入 pNodeLabelルーチンは、特定の位置の幾何形状にノードラベルを付けるために使用される。構文は： pNodeLabel(p1); 3.3.11.2 入力 p1−char^★は、ポートの位置を示す。 3.3.11.3 処理 pNodeLabelルーチンは、以下の例外を除いてＣＤＳ nodelabelルーチンと同様に動作する。ノードラベルの位置は、ｘ及びｙ位置を示す２つの引数の代わりにポイントp1により特定され、ポート層情報は、ルーチンへの引数を使用する代わりにポイント構造から抽出される。ポートに割り当てられる名称は、ポイント構造のノード名要素中に記憶される値である。 3.3.11.4 出力ルーチンは、そのステータスを示すINT32を返す。 3.3.12 ポイント構造 3.3.12.1 導入ポイントを記述する情報にアクセスするためには、そのポイントに関連する構造の要素を解読可能なルーチンが要求される。ユーザがアクセスしたい構造中に含まれるこの情報は、ポイントの位置、ポイントの幅、拡張方向、アイテムタイプ、及び電気的ノード名である。この情報をアクセスする６個の異なるルーチンをここに示す： x1 = pGetX(p1); pGetY(p1); w1 = pGetWidth(p1); str = pExrDir(p1); item = pItem(p1); str = pNodeName(p1); 3.3.12.2 入力 p1−char^★は、ポイント名を示す。 3.3.12.3 処理ポイント構造アクセスルーチンは、指名されたポイントを含む構造を見つけ、要求された情報を構造から返す。p1により指定されるポイントが存在しない場合、エラーが報告される。 3.3.12.4 出力 pGetX及びpGetYルーチンは、夫々そのポイントのｘ及びｙ値を示すINT32を返す。dGetWidthルーチンは、ポイント構造のwidth値を示すINT32を返す。pExtDir ルーチンは、ポイントの拡張方向を含むchar^★を返す。pItemルーチンは、ポイントのアイテム名／番号を示すcdsITEMを返す。pNodeNameルーチンは、ポイントに割り当てられた電気的ノード名を含むchar^★を返す。 3.4 機能的要求事項：ＣＭＯＳ特有の内部 3.4.1 幾何形状アイテムタイプ 3.4.1.1 導入幾何形状アイテムタイプは、典型的なレイアウトで遭遇する異なる幾何形状を示すために使用される。一つのアイテムが幾何形状のグループを示す場合、例えばポリメタル接点（PYC）、又は基板接点（SCON）などの場合、いくつかは複合的であると考えられる。あるアイテムが複合的でない場合、それは単純なアイテムであり、幾何形状は単一層上にあることを意味する。単純なアイテムタイプは２つのグループ内に存在することができる：ワイヤアイテム、又はエッジアイテム。ワイヤアイテムは、ポイントランドマークがワイヤの中心ポイントを示すことを示し、エッジアイテムは、幾何形状のエッジ又はコーナーを示す。 3.4.1.2 処理幾何形状アイテムタイプは、列挙されたリスト中で定義することができる。これは、記号ストリングで記憶される場合より迅速な処理を可能とし、また、グループの要素についてのチェックを容易にする。以下は、アイテムタイプの初期リストである。必要が生じたときに、より多くのアイテムタイプを定義することができる。エッジアイテム ACT アクティブ PY ポリ M1 メタル１ M2 メタル２ M3 メタル３ NPLUS nplus PPLUS pplus PWELL pwell NWELL nwell CUT カット V 通路 V2 通路２ EDGE スタンダードセルのエッジ NDLBL ノードラベルワイヤアイテム NBA ｎタイプビッグアクティブ PBA ｐタイプビッグアクティブ AWW 特定幅のアクティブワイヤ PYW ポリゴンワイヤ NGT ｎゲート PGT ｐゲート PYWW 特定幅のポリワイヤ MW メタルワイヤ BM ビッグメタルワイヤ MWW 特定幅のメタルワイヤ M2W メタル２ワイヤ BM2 ビッグメタル２ワイヤ M2WW 特定幅のメタル２ワイヤ M3W メタル３ワイヤ BM3 ビッグメタルワイヤ M3WW 特定幅のメタル３ワイヤ複合アイテム PYC ポリメタル接点 NMAC ｎタイプメタルアクティブ接点 PMAC ｐタイプメタルアクティブ接点 MMV メタル−メタル２通路 MMV2 メタル２−メタル３通路 SCON 基板接点 PCON pwell接点雑アイテム EDGE スタンダードセルのエッジ NDLBL ノードラベル GEN ジェネリック 3.5 機能的要求事項：デバッグルーチン様々のポイントランドマークルーチン、幾つかのデバッグルーチンを使用するモジュール開発プロセスが使用可能である。 3.5.1 dump_sc_table 3.5.1.1 導入 dump_sc_tableは、現在のグループの内部ＳＣテーブルを見るために使用される。リストは異なる方法で記憶することができ、部分的な表が生成される。構文をここに示す： dump_sc_table(sort，start，stop); 3.5.1.2 入力 sort−INT32は、ソートのタイプを示す。 start−INT32は、プリントすべき最初のエントリーを示す。 stop−INT32は、プリントすべき最後のエントリーを示す。 3.5.1.3 処理 dump_sc_tableルーチンは、現在のＳＣテーブルに含まれる制約のフォーマットされた部分的又は完全なリストをプリントする。各制約についてプリントされる情報は、ポイント名、制約の方法、evalフラグの値、ポイントの位置（ｘ及びｙ）、及び基準ポイントのリストを含む。各々は、基準ポイント制約タイプ及びアタッチ情報、そのデルタオフセット（デルタ制約について）、及びその位置（ｘ及びｙ）を含む。表は、引数sofrtのgvalueにより多くの方法でソートすることができる：０−ソート無し、定義順に制約をプリント１−評価順にソート２−ポイント名順にソート３−制約の方向によりソート４−制約のタイプによりソートＳＣテーブルの部分的な表のプリントを可能とするために、引数start及びsto pを使用して範囲を特定する。指定されたソートが行われると、ルーチンはstart により指定されたエントリーをプリントし、stopにより指定されるエントリーに至るまで全ての後続のエントリーをプリントする。stopの値が０である場合、ＳＣテーブルの終了に達するまでエントリーが継続的にプリントされる。出力はメッセージプログラム処理者に送られる。 3.5.1.4 出力ルーチンは、そのステータスを示すINT32を返す。 3.5.2.1 導入 dump_pt_listルーチンは、現在のグループ中の定義されたポイントのリストを見るために使用される。リストは、異なる方法でソートされ、部分的な表が作成できる。構文をここに示す： dump_pt_list(sort，start，stop); 3.5.2.2 入力 sort−INT32は、ソートのタイプを示す。 start−INT32は、プリントすべき最初のエントリーを示す。 stop−INT32は、プリントすべき最後のエントリーを示す。 3.5.2.3 処理 dump_pt_listルーチンは、現在のグループ中に定義されたポイントのフォーマットされた部分的又は完全なリストをプリントする。各ポイントについてリストされた情報は、ポイント名、ポイントの位置（ｘ及びｙ）、アイテム名、ポイントの幅、拡張の方向、及び電気的ノード名を含む。表は、引数sortにより示されたポイント名、ノード名、又はアイテムタイプによりソートすることができる：０−ソート無し、定義順にポイントをプリント１−ポイント名順にソート２−ノード名順にソート３−アイテムタイプ順にソート引数start及びstopを使用して部分的な表を作成することができ、startはリストされる最初のポイントを示し、stopは最後のポイントを示す。stopの値０はリストの終了を示す。出力は、メッセージプログラム処理者に送られる。 3.5.2.4 出力ルーチンは、そのステータスを示すINT32を返す。 3.5.3.1 導入 dump_ptは、特定のポイントについて構造中に記憶された情報を見るために使用される。構文をここに示す： dump_pt(point); 3.5.3.2 入力 point−char^★は、ポイント名を示す。 3.5.3.3 処理 dump_ptルーチンは、ポイント名、ポイントの位置（ｘ及びｙ）、ポイントの幅（任意幅ワイヤのとき）、アイテムタイプ、拡張方向、及び電気的ノード名を表示する。出力は、メッセージプログラム処理者に送られる。 3.6 パフォーマンス要求事項制約方程式の実行速度は、その潜在的な高周波使用のため重大である。これは、これらのルーチンの設計に取りかかる時に考慮されるべきである。 3.7 属性 3.7.1 保守性制約ルーチンの特定のサブルーチンはプロセスに特有である−ＣＭＯＳ又はＧａＡｓ。これらのサブルーチンは、保守を単純化するために他のルーチンから分離すべきである。 3.8 他の要求事項 3.8.1 データベース line_of_code情報が含められる時には、幾何形状データベースに追加のデータが記憶されるので、この情報を記憶するために新しいデータベースを定義する必要がある。

Claims

【特許請求の範囲】１．基板面上の複数層上に定義される複数の形態を有する集積回路の設計方法において、前記形態は、可能な形態タイプのセットから選ばれ、且つプロセス技術に関連する設計ルールのセットの対象となり、前記設計ルールは、前記可能な形態タイプのセットの構成要素中から物理的要求事項を特定し、前記方法は、少なくとも一つの形態ポイントに、複数の形態中の各形態を関連付ける第１の工程と、各形態ポイントに付加的情報を関連付ける工程であって、前記付加的情報は形態のタイプに関連する属性のリストを含み、属性リスト中の各属性は一つの値を有する第２の工程と、複数の形態中の各形態に関連する形態ポイントに関連する各属性のリストを用意する工程であって、前記リストは属性の値を含む第３の工程と、各形態ポイントに少なくとも２つの制約を関連付ける第４の工程と、各制約に付加的な制約情報を関連付ける工程であって、前記制約情報は、制約のタイプに関連する制約属性のリストを含み、制約属性リスト中の各属性は一つの値を有する第５の工程と、複数の形態中の各形態に関連する制約に関連する各制約属性のリストを用意する工程であって、前記リストは制約属性の値を含む第６の工程と、各リストの処理を実行する工程であって、前記処理は設計ルール中の制約に対応し、前記処理の結果は形態ポイントの相対的幾何的配置である第７の工程と、を備える方法。２．前記形態のタイプは形態の幾何形状を含み、形態の前記幾何形状は対応する属性の値により示され、前記第３の工程は、属性の各値についてリストを用意する請求項１に言己載の方法。３．前記第７の工程は、形態の幾何形状に対応する処理を行う工程と、形態ポイントに対応する形態の相対的幾何的配置を生成する工程と、を備える請求項２に記載の方法。４．前記第７の工程は、同一のタイプの相対的配置を測定し、同一タイプの形態間の距離を決定する処理を含む請求項２に記載の方法。５．前記第１の工程は、グラフィカルインターフェースを通じて、少なくとも一つの形態ポイントを関連付ける請求項１に記載の方法。６．前記第２の工程は、グラフィカルインターフェースを通じて、付加的情報を関連付ける請求項１に記載の方法。７．前記第３の工程は、グラフィカルインターフェースを通じて、各属性のリストを用意する請求項１に記載の方法。８．前記第４の工程は、グラフィカルインターフェースを通じて、少なくとも２つの制約を関連付ける請求項１に記載の方法。９．前記第５の工程は、グラフィカルインターフェースを通じて、付加的な制約情報を関連付ける請求項１に記載の方法。１０．前記第６の工程は、グラフィカルインターフェースを通じて、各制約属性のリストを用意する請求項１に記載の方法。１１．前記第７の工程は、グラフィカルインターフェースを通じて、各リスト上の処理を実行する請求項１に記載の方法。１２．基板面上の複数層上に定義される複数の形態を有する集積回路の設計装置において、前記形態は、可能な形態タイプのセットから選ばれ、且つプロセス技術に関連する設計ルールのセットの対象となり、前記設計ルールは、前記可能な形態タイプのセットの構成要素中から物理的要求事項を特定し、前記装置は、少なくとも一つの形態ポイントに、複数の形態中の各形態を関連付ける第１の回路手段と、各形態ポイントに付加的情報を関連付ける手段であって、前記付加的情報は形態のタイプに関連する属性のリストを含み、属性リスト中の各属性は一つの値を有する第２の回路手段と、複数の形態中の各形態に関連する形態ポイントに関連する各属性のリストを用意する手段であって、前記リストは属性の値を含む第３の回路手段と、各形態ポイントに少なくとも２つの制約を関連付ける第４の回路手段と、各制約に付加的な制約情報を関連付ける手段であって、前記制約情報は、制約のタイプに関連する制約属性のリストを含み、制約属性リスト中の各属性は一つの値を有する第５の回路手段と、複数の形態中の各形態に関連する制約に関連する各制約属性のリストを用意する手段であって、前記リストは制約属性の値を含む第６の回路手段と、各リストの処理を実行する手段であって、前記処理は設計ルール中の制約に対応し、前記処理の結果は形態ポイントの相対的幾何的配置である第７の回路手段と、を備える装置。１３．前記形態のタイプは形態の幾何形状を含み、形態の前記幾何形状は対応する属性の値により示され、前記第３の回路手段は、属性の各値についてリストを用意する請求項１２に記載の装置。１４．前記第４の手段は、形態の幾何形状に対応する処理を行う第１の処理手段と、形態ポイントに対応する形態の相対的幾何的配置を生成する第２の処理手段と、を備える請求項３に記載の装置。１５．前記第２の処理手段は、同一のタイプの相対的配置を測定し、同一タイプの形態間の距離を決定する処理を実行する形態配置手段を有する請求項１３に記載の装置。１６．基板面上の複数層上に定義される複数の形態を有する集積回路の設計装置において、前記形態は、可能な形態タイプのセットから選ばれ、且つプロセス技術に関連する設計ルールのセットの対象となり、前記設計ルールは、前記可能な形態タイプのセットの構成要素中から物理的要求事項を特定し、前記装置は、少なくとも一つの形態ポイントに、複数の形態中の各形態を関連付けるようにプログラムされた第１のコンピュータと、各形態ポイントに付加的情報を関連付けるようにプログラムされたコンピュータであって、前記付加的情報は形態のタイプに関連する属性のリストを含み、属性リスト中の各属性は一つの値を有する第２のコンピュータと、複数の形態中の各形態に関連する形態ポイントに関連する各属性のリストを用意するようにプログラムされたコンピュータであって、前記リストは属性の値を含む第３のコンピュータと、各形態ポイントに少なくとも２つの制約を関連付けるようにプログラムされた第４のコンピュータと、各制約に付加的な制約情報を関連付けるようにプログラムされたコンピュータであって、前記制約情報は、制約のタイプに関連する制約属性のリストを含み、制約属性リスト中の各属性は一つの値を有する第５のコンピュータと、複数の形態中の各形態に関連する制約に関連する各制約属性のリストを用意するようにプログラムされたコンピュータであって、前記リストは制約属性の値を含む第６のコンピュータと、各リストの処理を実行するようにプログラムされたコンピュータであって、前記処理は設計ルール中の制約に対応し、前記処理の結果は形態ポイントの相対的幾何的配置である第７のコンピュータと、を備える装置。１７．前記形態のタイプは形態の幾何形状を含み、形態の前記幾何形状は対応する属性の値により示され、前記第３のコンピュータは、属性の各値についてリストを用意する請求項１６に記載の装置。１８．前記第４のコンピュータは、形態の幾何形状に対応する処理を行うようにプログラムされたコンピュータと、形態ポイントに対応する形態の相対的幾何的配置を生成するようにプログラムされたコンピュータと、を備える請求項１７に記載の装置。１９．前記第２のコンピュータは、同一のタイプの相対的配置を測定するようにプログラムされたコンピュータと、同一タイプの形態間の距離を決定する処理を実行するようにプログラムされたコンピュータと、を有する請求項１７に記載の装置。