JPH0485675A

JPH0485675A - レイアウト検証装置

Info

Publication number: JPH0485675A
Application number: JP2202068A
Authority: JP
Inventors: Masumi Nakao; 真澄中尾
Original assignee: NEC Corp
Current assignee: NEC Corp
Priority date: 1990-07-30
Filing date: 1990-07-30
Publication date: 1992-03-18
Anticipated expiration: 2015-10-10
Also published as: JP3097111B2

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】〔産業上の利用分野〕本発明は、集積回路のレイアウト設計におけるレイアウ
ト検証装置に利用され、特に、ＬＳＩ用のレイアウト検
証装置における大規模回路接続検証に関する。

〔概要〕

本発明は、集積回路の設計におけるレイアウトデータを
各階層のセルに分割して、検証を行うレイアウト検証装
置において、レイアウトデータを指定したウィンドウ内を下位セル、
ウィンドウ外を上位セルとして階層変更を行い検証する
ことにより、セル間の重なりの誤りも検証できるようにしたものであ
る。

〔従来の技術〕

集積回路の設計におけるレイアウト検証は、プロセッサ
を用い、図形寸法検証（ＤＲＣと呼ばれる）と、回路接
続検証（ＬＶＳと呼ばれる）とを含んで行われる。

第６図は従来のレイアウト検証装置の一例の要部を示す
ブロック構成図である。

本従来例は、レイアウトデータ２５を入力して各階層の
セルに展開する階層展開手段２１と、図形演算を行う図
形処理手段２２と、階層について等電位線を追跡し回路
接続情報（ネッｌ−ＩＪストと呼ばれる）を得る等電位
追跡手段２３と、得られたネットリストとあらかじめ設
定された参照ネットリストとを照合し、照合した結果の
差異を検証結果２７として出力するネットリスト照合手
段２４とを備えている。そして、これら各手段２１〜２
４はプロセッサ２０内に含まれる。

一般にレイアウトデータは、セルと呼ばれるデータ集合
から構成される。チップ全体も一つのセルである。各セ
ルは第１２図（ａ）〜（ｄ）に示すプリミティブと呼ば
れる基本図形と、下位のセルとから構成される。第１２
図において、（ａ、）は多角形（クローズドポリゴン）
、う〕は矩形（レフタンブル）　、（Ｃ）は幅付き線（
パス）、および（ｄ）はオープンポリゴンである。

従って、第８図（ａ）および（ｂ）に示すように、レイ
アウトデータは階層構造を形成する。第８図（ａ）およ
び（ｂ）において、チップ６０は最上位セル、セル（Ａ
）６１およびセル（Ｂ）６２は次位セルを、セル（Ｃ）
６３およびセル（Ｄ）６４は最下位セルである。この他
に基本データとして第１３図（ａ）に示すテキス）　（
ＡＢ）がある。これは文字情報と、その図形情報を有す
るデータである。第１３図（ｂ）にはこの他、属性（Ａ
Ｂ）の例を示す。これはプリミティブまたはセルに付属
する情報でその意味（例えば、節点名、ウィンドウ番号
等）とその値を設定できる。

第７図は本従来例の動作を示す流れ図で回路接続検証の
手順を示す。

まず、検査対象セルを最上位セルとして、下位のセルを
展開して、プリミティブのみとする（この処理はスマッ
シュと呼ばれる）（ステップ５１１）。

次に、第９図（ａ）、（社）および（Ｃ）で示す図形演
算、すなわち、論理積（アンド）、論理和（オア）、な
らびに否定論理和（ナンド）または否定論理積（ノア）
をとったうえでいずれか一方を消去する論理差（サブト
ラクトという）を組み合わせて実行し、素子図形（ＭＯ
Ｓ）ランジスタ、ＭＯＳキャパシタおよび抵抗等）を作
成する。さらに、第９図（６）で示す包含検査を実行し
、ネットリストと呼ばれる回路接続情報を作成する（ス
テップＳ１２．３１３）。

第１０図にこのネットリストの例として回路図と対応す
る回路シミュレーションシステムの入力データを示す。

このとき、図形上に節点名に対応するテキストが存在す
るか、図形に節点名を表す属性値があると、ネットリス
ト上に節点名として、その名称を出力する。どちらでも
ないと、ネットリスト上の節点名は自動的に発生した名
称（例えば一連番号）が出力される。最後にこのネッ）
　ＩＪストとあらかじめの用意したネットリスト　（通
常は回路シミュレーション用データ）を照合する（ステ
ップ５１４）。

ところで、現在、回路接続検証における課題は大規模レ
イアウトに対応した装置の大規模化である。

通常、実行速度１０ＭＩＰＳ、主記憶容量３２メガバイ
トのコンピュータでは、１０万トランジスタが限界で、
実行時間は２０時間必要である。このため、大規模なレ
イアウト検証ではセルの階層を利用してセルごとに（通
常は下位のセルから）検証を行っている。

このレイアウト検証装置では、各セルを並列に検証でき
るため、その分天規模なレイアウトが検証できるし、ま
た検証時間を短縮できる。

この方法は第１１図に示すように、各セルの配線の出入
り口を端子としである図形を付加しておき、上位セルの
検証時にセル間の接続検証を行うものである。第１１図
において、７０はチック、７１はセル（Ａ）、７２はセ
ル（Ｂ）、７３はセル間配線、ならびに７４および７５
は端子である。

〔発明が解決しようとする課題〕

前述のレイアウト検証装置におけるレイアウトデータの
階層を利用し、セルごとに回路接続検証を行う方法では
、用意した回路の一部（部分回路）と各セルの回路内容
が必ずしも対応するとは限らない。また、セルどうしが
重なるような誤りは発見できないなどの欠点があった。

本発明の目的は、前記の欠点を除去することにより、セ
ルどうしの重なりも発見できる高精度のレイアウト検証
装置を提供することにある。

〔課題を解決するための手段〕

本発明は、人力されたレイアウトデータを各階層のセル
に展開する階層展開手段と、前記展開された各階層のセ
ルごとにネットリストを作成しあらかじめ設定された参
照ネッ）　ＩＪストと照合し検証結果を出力する検証手
段とを備えた集積回路のレイアウト検証装置において、
前記展開された各階層のセルについて、指定した多角形
のウィンドウ内を下位セル、ウィンドウ外を上位セルに
階層を変更するウィンドウ分割手段を備えたことを特徴
とする。

また、本発明は、前記ウィンドウ上に存在するテキスト
により前記ウィンドウをグループ化する手段を含むこと
ができる。

また、本発明は、前記ウィンドウ上に付属する属性値に
より前記ウィンドウをグループ化する手段を含むことが
できる。

また、本発明は、隣接する前記ウィンドウが接するよう
に分割する手段を含むことができる。

〔作用〕

ウィンドウ分割手段は、レイアウトデータを複数の多角
形のウィンドウ（通常は長方形）を指定することで、ウ
ィンドウ内（ウィンドウ切り出し部）を下位上ノへウィ
ンドウ外（ウィンドウ切り出しの残り部分〉を上位セル
に階層変更を行う。

この場合、例えば、同一テキストまたは属性を有するウ
ィンドウはグループ化を行い、また、隣接ウィンドウは
接するように分割する。そして、検証手段により、前記
上位セルおよび前記下位セルごとに検証を行う。

従って、分割検証ができるため、セル間の重なりの誤り
も検証することが可能となる。

〔実施例〕

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

第１図は本発明の一実施例の要部を示すブロック構成図
である。

本実施例は、レイアウトデータ１５を入力して各階層の
セルに展開する階層展開手段１１と、展開された上位セ
ルおよび下位セルごとにそれぞれネットリストを作成し
、あらかし於設定された参照ネットリスト１６と照合し
、検証結果１７を出力する上位セル検証手段１３および
下位セル検証手段１４とを備えたレイアウト検証装置に
おいて、本発明の特徴とするところの、前記展開された各階層のセルについて、指定した多角形
のウィンドウ内を下位上ノへウィンドウ外を上位セルに
階層を変更するウィンドウ分割手段１２を備えている。

そしてこれら各手段１１〜１４はプロセッサ１０に含ま
れる。

次に、本実施例の動作について、第２図に示す流れ図、
ならびに第３図、第４図および第５図を示すウィンドウ
分割例（１）、（２）および（３）を参照して説明する
。

まず、階層展開手段１１により入力されたレイアウトデ
ータを各階層のセルに展開する（ステップＳＬ）。

次に、ウィンドウ分割手段１２により、例えば第３図の
分割例（１）に示すように、チップ３０上を、多角形の
ウィンドウ（１）３１、（２）３２および（３）３３に
分割し、ウィンドウ（１）３１、（２）３２および（３
）３３内を下位セルとし、ウィンドウ外を上位セルに階
層変更を行う　（ステップＳ２）。このウィンドウ分割
は、例えば、展開図形と多角形のウィンドウとの間で、
第９図に示す図形演算のうち、論理積および論理差を行
うことで可能である。かくして、ウィンドウ内（切り出
し部）が下位セノベウインドウ外（切り出しの残り部分
）が上位セルとなる新しい階層構造が作成される。

次に、上位セル検証手段１３により、作成されたネット
リストと参照ネットリスト１６との照合により前記上位
セルの検証を行う（ステップＳ３）。

次に、ステップＳ３と同様に、下位セル検証手段１４に
より前記下位セルの検証を行う　（ステップＳ４）。

なお、上位セル検証手段１３および下位セル検証手段１
４における検証は、第７図の従来例のステップ３１２．
３１３およびＳ１４の処理と同じ処理で行われる。

また、上位セルにおける検証は、下位セル間の接続検証
となるため、検証順は逆でもよい。

第４図は本実施例の分割例（２）を示すレイアウト図で
ある。チップ４０上に、多角形のウィンドウ（１）４１
、（２）４２および（３）４３が分割され設定される。

ここでは、ウィンドウ上のテキストで同じテキストＡを
有するウィンドウ（１）４１および（２）４２を一つの
グループ、すなわち、一つのセルと見なし、テキストＢ
を有するウィンドウ（３）４３を他の一つのセルとして
処理を行う。

この分割例（２）では第３図に示した分割例（１）に比
べ、物理的に離れた部分を一つのセルとして同時に検証
できる利点がある。

なお、第４図において、テキストの代わりに属性の場合
も同様である。

第５図は本実施例の分割例（３）を示すレイアウト図で
ある。チップ５０上に、ウィンドウ（１，）５１、ウィ
ンドウ（２）５２、ウィンドウ（３）５３およびウィン
ドウ（４）５４が分割され設定される。

ここでは、各ウィンドウ（１）５１、（２）５２、（３
）５３および（４）５４の隣接している辺が接しており
、このため上位セルは下位セルの外形しか含まないため
、上位セルの検証は不要である利点がある。

なお、前述の実施例における多角形のウィンドウは、第
１２図（ｄ）で示すオープンポリゴンで指定しても、後
の処理でウィンドウを発生させることもできる。

〔発明の効果〕

以上説明したように、本発明は、レイアウトデータを指
定したウィンドウ内を下位セノペウインドウ外を上位セ
ルとして新たに階層構造を作るため、ウィンドウを対応
する部分回路の範囲に設定することにより、単にセルご
とに検証する従来のレイアウト検証装置に比べ、分割検
証が実行可能で、セル間の重なりの誤りも検証可能とな
り、高検証精度が得られる効果がある。

【図面の簡単な説明】

第１図は本発明の一実施例の要部を示すブロック構成図
。第２図はその動作を示す流れ図。第３図はそのウィンドウ分割例（１）を示すレイアウト
図。第４図はそのウィンドウ分割例（２）を示すレイアウト第５図はそのウィンドウ分割例（３）を示すレイアウト
図。第６図は従来例の要部を示すブロック構成図。第７図はその動作を示す流れ図。第８図（ａ）および（ｂ）はレイアウトデータの階層構
造を示す説明図。第９図（ａ）〜（ｄ）は図形演算例を示す説明図。第１０図はネッ）＋Ｊスト例を示す説明図。第１１図は階層構造検証例を示す説明図。第１２図（ａ）〜（ｄ）はプリミティブ例を示す説明図
。第１３図（ａ）およびら）はテキスト例および属性例を
示す説明図。１０．２０・・・プロセッサ、１１．２１・・・階層展
開手段、１２・・・ウィンドウ分割手段、１３・・・上
位セル検証手段、１４・・・下位セル検証手段、１５．
２５・・・レイアウトデータ、１６．２６・・・参照ネ
ットリスト、１７．２７・・・検証結果、２２・・・図
形処理手段、２３・・・等電位追跡手段、２４・・・ネ
ットリスト照合手段、３０．４０．５０．６０．７０・
・・チップ、３１．４１．５１・・・ウィンドウ（１）
、３２．４２．５２・・・ウィンドウ（２）、３３．４
３．５３・・・ウィンドウ（３）、５４・・・ウィンド
ウ（４）、６Ｌ　７１・・・セル（Ａ）　、６２．７２
・・・セル（Ｂ）　、６３・・・セル（Ｃ）、６４・・
・セル（Ｄ）　、７３・・・セル間配線、７４．７５・
・・端子、・・・ステップ。８１〜Ｓ４．３１１〜３１４

Claims

【特許請求の範囲】１、入力されたレイアウトデータを各階層のセルに展開
する階層展開手段と、前記展開された各階層のセルごとにネットリストを作成
しあらかじめ設定された参照ネットリストと照合し検証
結果を出力する検証手段とを備えた集積回路のレイアウト検証装置において、前記展開された各階層のセルについて、指定した多角形
のウィンドウ内を下位セル、ウィンドウ外を上位セルに
階層を変更するウィンドウ分割手段を備えたことを特徴とするレイアウト検証装置。２、前記ウィンドウ上に存在するテキストにより前記ウ
ィンドウをグループ化する手段を含む請求項１記載のレ
イアウト検証装置。３、前記ウィンドウ上に付属する属性値により前記ウィ
ンドウをグループ化する手段を含む請求項１記載のレイ
アウト検証装置。４、隣接する前記ウィンドウが接するように分割する手
段を含む請求項１記載のレイアウト検証装置。