JPH09101978A - レイアウト検証方法 - Google Patents

Abstract

(57)【要約】 【課題】 レイアウトデータがＬＳＩとして機能する配
置および形状であることを検証するレイアウト検証にお
いて、疑似エラーを低減すると共に、検証ルールをプロ
セスに最適化する。 【解決手段】 レイアウト図形に属性を与え、レイアウ
ト図形を入力する１回以上の図形処理を行い属性を与え
て生成した中間図形に対して、幾何条件を満たすことを
検証するレイアウト検証において、中間図形をさらに加
工して仮想図形を生成する。その際、仮想図形の元にな
る中間図形を特定する情報を保持する。元になる中間図
形をこの仮想図形に置き換えて検証処理を行い、中間図
形と同様に属性の付与を行う。ここで、仮想図形を用い
ない場合の属性と、用いた場合の属性の変化を検出する
ステップと、その属性変化を生じる原因となった中間図
形を特定するステップを備える。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明はＬＳＩのレイアウト
設計方法に係り、特にレイアウト図形がＬＳＩとして機
能する配置および形状であることを検証するレイアウト
検証に関する。

【０００２】

【従来の技術】ＬＳＩ設計において、レイアウト検証で
はレイアウト図形が設計規則に従った形状、配置である
ことを検証する。検証に使用する検証規則のうち、大半
は特定条件のレイアウト図形に対してのみ適用される、
条件付検証規則である。そのため、従来技術ではレイア
ウト図形を様々な条件によって限定して条件にあったレ
イアウト図形だけからなる集合を生成し、その集合に対
して検証を行なっていた。以下、図を使ってフローを説
明する。

【０００３】図１３は、従来例のフローチャートであ
る。まずデータ入力ステップ１０１においてレイアウト
図形および検証規則を入力する。中間図形生成ステップ
１０２では、検証規則にしたがってレイアウト図形に属
性を与え、論理演算・幾何変換・選択処理等の図形処理
を行ない、検証処理に必要な中間図形を生成する。検証
ステップ１０３では、中間図形に検証規則を適用し、検
証規則を満足することを確認する。中間図形に対して繰
り返し検証処理を行ない、すべての検証項目に対する検
証処理が終了した場合、結果出力ステップ１０８により
検証結果を出力する。

【０００４】

【発明が解決しようとする課題】しかしながら従来の検
証方法では、属性はレイアウト図形の組合せに対して与
えられるだけであり、属性の用途は図形選択の基準でし
かなかった。すなわち、特定の条件下での属性変化を検
証に利用することはできず、条件付検証規則として与え
る検証規則に対して、属性変化を条件としない簡易な条
件しか与えることができなかった。その結果、複雑な条
件の検証規則を検証する場合には、属性変化を利用しな
い簡易な条件に置き換える必要があった。しかし簡易な
条件では、検証対象となるレイアウト図形を十分に絞り
込むことができず、設計規則の設定意図よりも多くのレ
イアウト図形を検証することになってしまう。また適用
する必要のない図形を検証することにより、疑似エラー
の発生あるいは疑似エラーが発生しないレイアウト図形
への変更によるレイアウト面積の増大を引き起こしてい
た。本発明では、複雑な条件の下でのみ適用する条件付
検証規則を、簡便に記述して検証を行なうレイアウト検
証方法を示す。

【０００５】

【課題を解決するための手段】上記問題点を解決するた
め、本発明のレイアウト検証方法では、レイアウト図形
に対する検証の結果を前記レイアウト図形と組み合わせ
て、仮想図形を生成するステップと、仮想図形に対して
属性を与えるステップと、仮想図形間の属性を比較する
ステップとを備える。仮想図形は、図形の形状情報や属
性とともにその成因となった検証結果を保持する。この
仮想レイアウト図形に与えられた属性をレイアウト図形
および中間図形の属性と比較することにより、仮想図形
の成因となった検証結果を選択し、複雑な条件において
のみ適用する検証を実現する。

【０００６】また、レイアウト図形に対して論理演算、
幾何変換、選択等の図形処理を行ない、状態の異なる図
形を仮想図形として生成するステップと、仮想図形に対
して属性を与えるステップと、仮想図形と他の図形の属
性を比較するステップと、比較結果から属性の変化を認
識し、それを生じる原因となった図形を特定するステッ
プを備える。それにより、属性変化を生じさせることが
検証条件となる複雑な検証を実現する。

【０００７】また、レイアウト図形および中間図形によ
り形成される、回路素子とその接続配線からなる回路情
報を抽出するステップと、前記仮想図形から回路情報を
抽出するステップと、回路情報を比較するステップを備
えることにより、回路情報を変化させる仮想図形の生成
方法を検証項目として扱える。

【０００８】

【発明の実施の形態】上記ステップを有する検証方法に
より、レイアウト図形の検証結果を用いた仮想レイアウ
ト図形を利用し、検証を行なう条件として図形に与えら
れた属性の変化を利用することができる。また、レイア
ウト図形が変化してしまう可能性に応じて仮想図形を生
成し、レイアウト図形の変化による影響を属性の変化と
して検証することができる。その結果、複雑な条件下で
のみ適用する検証が可能となり、場合分けを厳密に行な
って検証精度を向上させ、レイアウト面積の増大を防止
するとともに疑似エラーの発生を防止する。

【０００９】

【実施例】以下、本発明の実施例について図面を参照し
ながら説明する。

【００１０】（実施例１）図１は、本実施例のフロー図
である。まずデータ入力ステップ１０１において検証規
則および検証対象であるレイアウト図形を入力する。中
間図形生成ステップ１０２では、検証規則にしたがって
属性をレイアウト図形に与え、レイアウト図形に対して
論理演算あるいは幾何変換あるいは条件による図形選択
などの図形処理を行ない、属性を持ち検証処理で使用さ
れる中間図形を生成する。検証ステップ１０３では、中
間図形に検証規則を適用して検証処理を実施し、エラー
となった部分をエラー図形として生成し、エラー図形の
成因を検証結果として生成する。仮想図形を用いた検証
項目がある場合は、仮想図形生成ステップ１０４におい
てレイアウト図形と中間図形とエラー図形と検証結果か
ら仮想図形を生成する。ここで仮想図形とは、検証規則
と検証結果により指示される中間図形に対して、中間図
形あるいはエラー図形の一部を追加あるいは削除するこ
とによって生成される図形である。仮想図形は、中間図
形生成ステップ１０２においてレイアウト図形と同様に
扱い中間図形生成に利用する。また、仮想図形属性付与
ステップ１０５によって仮想図形に属性を与え、属性比
較ステップ１０６によって仮想図形と中間図形、あるい
は仮想図形相互の属性を比較し、検証結果選択ステップ
１０７によって比較結果から仮想図形を生成するのに使
用した検証結果を選択する。レイアウト図形および仮想
図形から生成される中間図形に対して繰り返し検証処理
を行ない、すべての検証項目に対する検証処理が終了し
た場合、結果出力ステップ１０８により検証結果を出力
する。仮想図形は、レイアウト図形あるいは中間図形に
対してエラー図形を組み合わせて演算した図形であり、
使用したエラー図形に対応した検証結果を図形としての
形状に加えて保持する。従って、個々の仮想図形に対し
て検証結果が対応し、仮想図形を選択することによって
検証結果の選択を実現する。

【００１１】以下、仮想図形を用いた検証処理の例を図
を用いて説明する。図２は、レイヤ２０１、レイヤ２０
２、レイヤ２０３という３種類のレイヤからなるレイア
ウト図形の例である。レイヤ２０１の図形２０１Ａから
図形２０１Ｆは、図形同士が隣接していれば接続してい
る。また、共通の図形に接続している図形どうしも接続
している。すなわち、図形２０１Ａと図形２０１Ｂは、
図形２０１Ｃを介して接続している。同様に、図形２０
１Ｄ、図形２０１Ｅ、図形２０１Ｆも接続している。レ
イヤ２０３は、レイヤ２０１とレイヤ２０２を接続する
レイヤであり、重なっている他のレイヤと接続してい
る。従って、図形２０１Ａはレイヤ２０３の図形２０３
Ａとレイヤ２０２の図形２０２に接続し、さらにレイヤ
２０３の図形２０３Ｂを介して図形２０１Ｂと接続して
いる。

【００１２】この時、レイヤ２０１の幅が閾値より狭い
部分をエラーとして出力する検証を考える。ただし、レ
イヤ２０１の狭い部分をレイアウト図形から取り除いた
と仮定しても、他の部分の接続が保たれる場合はエラー
にしないものとする。

【００１３】図３は、図２の図形に前述の検証を行なう
ために生成した中間図形の一部であり、レイアウト図形
に属性としてラベルを与えたものである。接続している
図形には同じラベルを与え、ラベルによって接続の有無
を確認できる。この状態で図形２０１Ｃおよび図形２０
１Ｆの幅よりわずかに広い値を閾値として検証処理を行
なうと、図形２０１Ｃおよび図形２０１Ｆがエラー図形
として得られる。本例の検証では、入力として与えられ
たレイアウト図形からエラー図形を取り除いた図形を仮
想図形として使用する。この時、図３のレイアウト図形
から図形２０１Ｃおよび図形２０１Ｆを取り除き、属性
としてラベルを与えて仮想図形を生成すると、図４の図
形が得られる。図４の図形２０１Ａと２０１Ｂは、仮想
図形の成因となったエラー図形２０１Ｃを属性として持
ち、図形２０１Ｄと図形２０１Ｅは、同様にエラー図形
２０１Ｆを属性として持つ。図４では、レイアウト図形
から生成した図３の中間図形と違い、図形２０１Ｄと図
形２０１Ｅが接続していないため異なったラベルが付け
られている。この検証項目では、仮想図形の成因となっ
たエラー図形を表す属性の値が等しい仮想図形間でラベ
ルが異なっていた場合をエラーとして選択する。この例
では、エラー候補となった図形のうち、図形２０１Ｆが
エラーとして確定される。

【００１４】従来手法では、図形２０１Ｃと図形２０１
Ｆを識別することができないため、どちらもエラーとす
るしかなく、検証規則もただし書きのない閾値の検証だ
けにしていた。本手法では意図通りの検証規則が設定で
き、図形２０１Ｆのみをエラーとして出力する。

【００１５】（実施例２）図５は、本実施例のフロー図
である。データ入力ステップ１０１と中間図形生成ステ
ップ１０２では、実施例１と同様に中間図形を生成し、
仮想図形を使用しない検証項目では検証ステップ１０３
で従来同様の検証を行なう。仮想図形生成ステップ５０
４では、中間図形に対して論理演算などの処理を行な
い、仮想図形を生成する。仮想図形属性付与ステップ１
０５と属性比較ステップ１０６では、実施例１と同様に
仮想図形に属性を与えて比較する。比較結果を受けて、
原因図形特定ステップ５０７では、属性に差異を生じさ
せる原因となった図形を特定する。特定された図形は、
検証エラー図形として他のエラー図形と同様に扱われ
る。

【００１６】以下、本実施例の手法での検証例を示す。
図６は、レイヤ６０１、レイヤ６０２、レイヤ６０３と
いう３種類のレイヤからなるレイアウト図形の例であ
る。レイヤ６０１とレイヤ６０２が重なっている場合、
さらにレイヤ６０３が重なっていれば接続しているもの
とする。従って、レイヤ６０１の図形６０１Ａとレイヤ
６０２の図形６０２は接続していないが、レイヤ６０１
の図形６０１Ｂは図形６０２に接続しており、接続して
いる図形に対して同一ラベルを属性として与えると、図
形６０１Ｂと図形６０２のラベルは同一となり、図形６
０１Ａのラベルだけが異なったものとなる。ここで、レ
イヤ６０３を拡大した時に拡大しない時に対して余分な
接続が生じないことを検証することとを考える。ここ
で、レイヤ６０３の図形６０３を拡大した図形６０３Ｅ
を仮想図形として使用すると、図７の状態になる。この
状態でレイヤ６０１とレイヤ６０２が重なりかつレイヤ
６０３Ｅが重なっている場合に、レイヤ６０１とレイヤ
６０２が接続しているものとし、図６と同様に接続状態
を表すラベルを属性として与えると、図形６０１Ａと図
形６０１Ｂと図形６０２のラベルがすべて同じとなる。
これは、図６の状態から属性が変化しているためエラー
として認識される。この検証では、同一ラベルになった
図形を仮想図形を用いない状態のラベルでグループ化
し、グループの双方に重なりレイヤ間の接続を引き起こ
した仮想図形とその元になった図形をエラー図形とす
る。

【００１７】（実施例３）図８は、本実施例のフロー図
である。実施例２と同様の処理に加え、中間図形生成ス
テップ１０２に続く回路情報抽出ステップ８１０におい
て、レイアウト図形によって形成される回路素子と回路
素子間の配線を回路情報として抽出する。また、仮想図
形を含むレイアウト図形からも回路情報抽出ステップ８
１１によって回路情報の抽出を行なう。抽出した回路情
報は、回路情報比較ステップ８１２において比較され、
差異が認められた場合には、回路情報抽出に用いた仮想
図形とその元になった図形をエラー図形とする。

【００１８】以下、本実施例の手法での検証例を示す。
図９は、レイアウト図形により生成した中間図形の例で
ある。図９の中間図形から回路情報を抽出し、回路図と
して表現したのが図１０で示される回路である。ここ
で、図９の中間図形のレイヤ９０１を拡大して仮想図形
のレイヤ９０１Ｅを生成した結果が図１１である。仮想
図形レイヤ９０１Ｅを中間図形レイヤ９０１とみなし
て、図１１の図形から回路情報抽出を行ない、回路図と
して表現すると図１２が得られる。図１０と図１２を比
較した場合、図１２の配線が１本多く、仮想図形を用い
た場合の回路情報は使わない場合の回路情報と異なる。
従って、この検証例にはエラー図形が含まれているとい
う結果を得る。

【００１９】

【発明の効果】本発明の検証方法を用いることにより、
属性変化を引き起こす複雑な条件の下でのみ適用する検
証項目を検証可能になり、検証の場合わけを厳密に行な
うことによって検証の精度が向上する。その結果、レイ
アウトの自由度が高まってレイアウト面積が縮小され、
疑似エラーの発生を防止する。

【図面の簡単な説明】

【図１】本発明の実施例１におけるレイアウト検証方法
のフロー図

【図２】実施例１におけるレイアウト検証で用いるレイ
アウト図形の例を表す図

【図３】実施例１におけるレイアウト検証で用いる中間
図形の例を表す図

【図４】実施例１におけるレイアウト検証で用いる仮想
図形の例を表す図

【図５】本発明の実施例２におけるレイアウト検証方法
のフロー図

【図６】実施例２におけるレイアウト検証で用いる中間
図形の例を表す図

【図７】実施例２におけるレイアウト検証で用いる仮想
図形の例を表す図

【図８】本発明の実施例３におけるレイアウト検証方法
のフロー図

【図９】実施例３におけるレイアウト検証で用いる中間
図形の例を表す図

【図１０】実施例３におけるレイアウト検証で用いる中
間図形から抽出した回路情報を表す図

【図１１】実施例３におけるレイアウト検証で用いる仮
想図形の例を表す図

【図１２】実施例３におけるレイアウト検証で用いる仮
想図形から抽出した回路情報を表す図

【図１３】従来手法でのレイアウト検証方法のフロー図

【符号の説明】

１０１ データ入力ステップ １０２ 中間図形生成ステップ １０３ 検証ステップ １０４ エラー図形からの仮想図形生成ステップ １０５ 仮想図形属性付与ステップ １０６ 属性比較ステップ １０７ 検証結果選択ステップ １０８ 結果出力ステップ ２０１Ａ〜２０１Ｅ レイヤ２０１の図形 ２０３Ａ〜２０３Ｂ レイヤ２０３の図形 ５０４ 中間図形からの仮想図形生成ステップ ６０１Ａ〜６０１Ｂ レイヤ６０１の図形 ６０３Ｅ レイヤ６０３の図形を拡大した図形 ８１０ 中間図形からの回路情報抽出ステップ ８１１ 仮想図形からの回路情報抽出ステップ ８１２ 回路情報比較ステップ ９０１Ｅ レイヤ９０１の図形を拡大した図形

Claims (5)

【特許請求の範囲】
1. 【請求項１】レイアウト図形に属性を与え、前記レイア
   ウト図形を入力とする１回以上の図形処理を行ない属性
   を与えて生成した中間図形が、幾何条件を満たすことを
   検証するレイアウト検証方法において、 前記中間図形を入力とする１回以上の図形処理を行なっ
   て仮想図形を生成するステップと、 前記仮想図形に対して属性を与えるステップと、 前記仮想図形と前記中間図形、あるいは前記仮想図形相
   互の属性を比較するステップと、 属性差の生じた原因となった図形を特定するステップと
   を備えることを特徴とするレイアウト検証方法。
2. 【請求項２】請求項１記載のレイアウト検証方法におい
   て、仮想図形を生成するステップが、 レイアウト図形の検証結果図形を前記レイアウト図形と
   組み合わせて図形処理を行なって仮想図形を生成し、さ
   らに属性の比較結果から検証結果を選択するステップを
   備えることを特徴とするレイアウト検証方法。
3. 【請求項３】レイアウト図形に属性を与え、前記レイア
   ウト図形を入力とする１回以上の図形処理を行ない属性
   を与えて生成した中間図形が、幾何条件を満たすことを
   検証するレイアウト検証方法において、 前記レイアウト図形から回路素子と配線からなる回路情
   報を抽出するステップと、 前記中間図形を入力とする１回以上の図形処理を行なっ
   て仮想図形を生成するステップと、 前記仮想図形から回路素子と回路接続情報からなる回路
   情報を抽出するステップと、 前記レイアウト図形から抽出した回路情報と前記仮想図
   形から抽出した回路情報を比較するステップを備えるこ
   とを特徴とするレイアウト検証方法。
4. 【請求項４】請求項３記載のレイアウト検証方法におい
   て、仮想図形を生成するステップが、 レイアウト図形の中間検証結果を前記レイアウト図形と
   組み合わせて仮想図形を生成することを特徴とするレイ
   アウト検証方法。
5. 【請求項５】請求項２記載のレイアウト検証方法におい
   て、 さらにレイアウト図形から回路素子と配線からなる回路
   情報を抽出するステップと、 仮想図形から回路素子と配線からなる回路情報を抽出す
   るステップと、 前記レイアウト図形から抽出した回路情報と前記仮想図
   形から抽出した回路情報を比較するステップとを備える
   ことを特徴とするレイアウト検証方法。