JPH0830649A - レイアウト検証装置 - Google Patents

Abstract

(57)【要約】 【目的】 照合の際にレイアウト検証にかかる時間を短
縮し、追跡が容易なエラー情報を出力するレイアウト検
証装置を提供する。 【構成】 レイアウト生成手段１にオブジェクト識別記
号付加手段１５を設けて、オブジェクト接続情報と、レ
イアウトデータに含まれるオブジェクトの対応関係を記
述したオブジェクト対応情報をレイアウトデータととも
に出力し、図形抽出手段２及び回路素子認識手段３によ
りオブジェクトから回路素子を認識し、論理接続復元手
段４によりレイアウトデータから論理接続データを得
る。これをオブジェクト接続情報抽出手段５より抽出し
た論理接続と論理接続照合手段６を用いて、前記オブジ
ェクト対応情報をもとに照合し、結果出力手段７により
エラーがあれば出力する。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明はＬＳＩのレイアウト設計
方法に係り、特に回路レベルからレイアウトレベルへの
変換後の回路レベルとレイアウトレベルの一致検証に関
する。

【０００２】

【従来の技術】ＬＳＩの設計工程において、レイアウト
設計では、論理回路設計で作成された論理回路図また
は、論理回路を特定の言語で表現したものから、各素子
の配置を定め、素子間の配線経路を定めてレイアウトデ
ータを作成する。またレイアウト検証は、レイアウトデ
ータの誤りを検出するもので、製造条件から決まる幾何
学的な設計規則に違反した誤り、電気的な特性が原因
で、論理機能を満足しない誤り、与えられた論理接続が
実現されていない誤り、などがある。

【０００３】本発明では与えられた論理接続が実現され
ていない誤りに注目する。このような検証では、レイア
ウトデータから論理接続を復元し、照合処理により与え
られた論理接続との一致性を検査し、正しい論理回路を
実現していることを保証する。エラーがあれば、プロッ
ト図などで出力する。

【０００４】以下に従来のレイアウト検証手続きを説明
する。図８は従来のレイアウト検証手続きを示したもの
である。１はレイアウト生成手段、２は図形抽出手段、
３は回路素子認識手段、４は論理接続復元手段、５はオ
ブジェクト接続情報抽出手段、６は照合手段、６１は一
致素子検出手段、６２は論理接続照合手段、７は結果出
力手段である。

【０００５】まずオブジェクト接続情報をもとにしてレ
イアウト生成手段１によりレイアウトデータを生成す
る。オブジェクト中のトランジスタなどの回路素子を効
率良く生成するために、回路素子の図形表現をデータベ
ースとして持つオブジェクト情報を参照しても良い。

【０００６】図形抽出手段２により、作成されたレイア
ウトデータに図形演算を行なって回路素子を構成する図
形を抽出する。

【０００７】回路素子認識手段３は、抽出された図形か
らトランジスタ等の素子を認識し、論理接続復元手段４
により、接続関係の追跡を行なって論理接続を復元す
る。

【０００８】一方、オブジェクト接続情報抽出手段５に
よりオブジェクト接続情報から照合のための論理接続デ
ータを抽出し、照合手段６により上記したレイアウトデ
ータからの論理接続との一致性が検査され、エラーがあ
れば結果出力手段７により出力する。

【０００９】照合手段６では、一致素子検出手段６１と
論理接続照合手段６２により、レイアウトデータから抽
出した回路素子と対応するオブジェクト接続情報に含ま
れる論理回路の素子をそれぞれの接続の一致性を検査し
ながら決定していく。一致性の検査ではこれらの素子を
１対１に対応させるために、複数の素子の接続関係を比
較し、接続関係の等しいものを対応する素子と仮定す
る。部分的に接続関係の等しいものが複数の箇所に存在
するような場合を考慮して、１組の素子の一致性を判定
するために、ある程度広範囲に追跡を行なう。

【００１０】

【発明が解決しようとする課題】しかしながら上記のよ
うな構成では、レイアウトデータから復元した論理接続
と、オブジェクト接続情報から抽出した論理接続の相互
の関係を示す情報が、照合手段に与えられず、従って照
合手段では、一致する回路素子の検索を回路素子接続を
追跡しながら行なわなければならないことに加えて、オ
ブジェクト接続情報に記述された回路素子と、レイアウ
トデータの回路素子を１対１に対応させるために、複数
の回路素子の接続関係を比較し、接続関係の等しいもの
を対応する素子と仮定することによって照合を行なうた
め、部分的に接続関係の等しいものが複数の箇所に存在
するような場合を考慮して、ある程度広範囲な追跡が必
要であることから、照合に要する時間が大きくなるとい
う問題点を有する。

【００１１】また、一箇所の接続の不一致を検出した場
合、これが接続エラーによるものであるか、追跡部分の
誤りによるものであるかを判定する必要があり、厳密に
は正確なエラー情報が得られないのが現状である。

【００１２】さらに、一箇所の接続誤りが検出されると
それ以降の素子の追跡にも影響を与え、正しい接続に対
しても疑似エラーが報告されることがある。

【００１３】このような副作用により多量の接続誤りが
疑似エラーとして報告されると、誤りの発生した位置の
特定が非常に困難となり、レイアウトの修正に要する工
数も増大するという問題点も有している。

【００１４】従って本発明は上記問題点に鑑み、その目
的は、ＬＳＩのレイアウト設計における、オブジェクト
接続情報と、レイアウトデータの照合を高速に行ない、
かつ疑似エラーの少ないエラー情報を出力することで修
正を容易にし、設計期間の短縮を計ることができるレイ
アウト検証装置を提供することにある。

【００１５】

【課題を解決するための手段】上記問題点を解決するた
めに本発明のレイアウト検証装置は、オブジェクトの一
致関係、例えばトランジスタなどの回路素子と、レイア
ウトデータに含まれる回路素子を構成する図形要素との
対応関係がレイアウトの生成時に得られる点に新たに着
目して、レイアウト図形生成手段にオブジェクトの対応
を特定できる手段を設けて得られたものである。

【００１６】上記したレイアウト検証装置は、オブジェ
クトの構成要素を定義したオブジェクト情報及びオブジ
ェクト間の接続関係を記述したオブジェクト接続情報を
もとにレイアウトデータを生成するレイアウト図形生成
手段と、前記オブジェクトと前記レイアウトデータとの
対応関係を記述したオブジェクト対応情報を出力するオ
ブジェクト対応情報出力手段と、前記レイアウトデータ
よりオブジェクトを構成する図形要素及びオブジェクト
を接続する図形要素を抽出して、レイアウト接続情報を
出力するレイアウト接続情報抽出手段と、前記オブジェ
クト接続情報と前記レイアウト接続情報及び前記オブジ
ェクト対応情報を用いて、オブジェクト及びオブジェク
トの接続の照合を行なう照合手段と、前記照合手段によ
る結果を出力する結果出力手段とを組み合わせて構成さ
れている。

【００１７】

【作用】本発明は上記した構成によって、オブジェクト
対応情報出力手段を設けることにより、レイアウトデー
タ生成時にオブジェクト接続情報に含まれるオブジェク
トと、レイアウトデータに含まれるオブジェクトを構成
する図形要素との対応関係を保存し、照合手段において
利用することを可能とした結果、回路素子の一致検出が
簡略化もしくは不要となり、照合手段においては対応す
る回路素子についてその接続関係を照合すればよい。

【００１８】また、接続エラーが検出された場合、それ
以降の接続の照合には、エラーとなった素子の影響を受
けることなく、オブジェクト対応情報を用いて接続の照
合を継続することができ、疑似エラーの発生を抑えるこ
とができる。

【００１９】

【実施例】以下本発明の一実施例のレイアウト検証装置
について、図面を参照しながら説明する。

【００２０】図１は本発明の実施例におけるレイアウト
検証装置のブロック図である。図１において、１１はオ
ブジェクトを構成する図形要素を定義したオブジェクト
情報を読み込むオブジェクト情報読み込み手段である。
このオブジェクト情報はオブジェクト配置手段１３が、
オブジェクトを適切な位置へ配置する際に参照する。

【００２１】オブジェクト配置手段１３はオブジェクト
接続情報読み込み手段１２で、読み込んだオブジェクト
接続情報をもとにオブジェクトを配置する位置を決定
し、オブジェクトを配置した後、配線手段１４によりオ
ブジェクト間の配線を行なう。また、オブジェクト配置
手段１３は、オブジェクトを配置する毎にオブジェクト
識別記号付加手段１５により、配置したオブジェクトに
識別記号を付加する。この識別記号はオブジェクト接続
情報に記述されたオブジェクトを容易に特定できるもの
である。

【００２２】１６は作成された図形データを出力する図
形出力手段である。上記したオブジェクト情報読み込み
手段１１、オブジェクト接続情報読み込み手段１２、オ
ブジェクト配置手段１３、配線手段１４、オブジェクト
識別記号付加手段１５、図形出力手段１６を合わせてレ
イアウト図形生成手段１を構成している。

【００２３】レイアウト図形生成手段１により生成され
たレイアウト図形を用いて、抽出手段２により回路素子
を構成する図形を抽出し、回路素子認識手段３により回
路素子の認識を行ない、論理接続復元手段４により回路
の論理接続を復元する。

【００２４】５はオブジェクト接続情報より論理接続を
抽出するオブジェクト接続情報抽出手段であり、論理接
続復元手段４によりレイアウトデータから復元された論
理接続とオブジェクト接続情報抽出手段５によりオブジ
ェクト接続情報より抽出された論理接続とを比較照合す
る論理接続照合手段６を用いてレイアウトデータの検証
を行なう。エラーが存在した場合は結果出力手段７によ
り報告する。

【００２５】以上のように構成されたレイアウト検証装
置について、以下図を用いてその動作を説明する。

【００２６】まず図２はオブジェクト接続情報の一部を
示すものであって、例えばＴＲ１という名前を持つ素子
は、３つのターミナルを持ち、それぞれｎｅｔ１、ｎｅ
ｔ２、ＰＷＲなるノードに接続されており、そのオブジ
ェクトの種類はＰであることを示している。

【００２７】図３はオブジェクト情報の一例を示すもの
であり、オブジェクトを構成する図形要素を保持する。

【００２８】図４はレイアウト生成手段１により生成さ
れたレイアウト図形を示す。オブジェクト情報をもとに
オブジェクト配置手段１３により１０１及び、１０２を
配置し、配線手段１４により１０３〜１０６を配線す
る。また、オブジェクト識別記号付加手段により、素子
の名前１０７及び１０８をそれぞれの図形の属性として
付加する。

【００２９】抽出手段２はＴＲ１の一部の図形を３つの
図形要素２０１〜２０３に分解する。同様にＴＲ２も２
０４〜２０６に分解する。回路素子認識手段３により２
０１〜２０３を３つのターミナルを持ちＴＲ１という名
前の素子であることを認識し、同様に２０４〜２０６の
図形要素に対しても同様の認識を行なう。

【００３０】論理接続復元手段４により同電位追跡を行
なって素子の接続を追跡し、復元された論理接続の情報
を図６に示す。図６Ａは素子の名前とその素子のターミ
ナルが接続するノードを示したものであり、図６Ｂはノ
ードと、そのノードに接続する素子及びターミナルの種
類を表したものである。ターミナルの種類は例えば図５
の２０１はＧで、２０２及び２０３はＳＤで表すものと
する。

【００３１】オブジェクト接続情報抽出手段５は、図２
に示したオブジェクト接続情報より図７に示す論理接続
情報を抽出する。図７Ａは素子の名前とその素子のター
ミナルが接続するノードを示したものであり、図７Ｂは
ノードと、そのノードに接続する素子及びターミナルの
種類を表したものである。ターミナルの種類は図２の接
続情報において第１のターミナルをＧ、第２及び第３の
ターミナルをＳＤで表すものとする。また、図６Ａ及び
図７Ａの３つのターミナルのうち第１のターミナルの種
類はＧ、第２及び第３のターミナルの種類はＳＤとして
区別する。また、ＴＲ１のターミナルＧをＴＲ１（Ｇ）
などと表す。

【００３２】上記のように生成された２つの論理接続情
報を照合する論理接続照合手段６の動作を説明する。図
６ＡのＴＲ１（Ｇ）に注目すると、このターミナルはレ
イアウトからの論理接続復元手段により付与されたノー
ド番号１に接続しており、このノード番号１は図６Ｂよ
りＴＲ１（Ｇ）及びＴＲ２（Ｇ）に接続するものである
ことがわかる。すなわち、ＴＲ１（Ｇ）はＴＲ２（Ｇ）
と接続していることがわかる。同様にしてオブジェクト
接続情報より抽出された論理接続情報である図７より、
ＴＲ１（Ｇ）はノードｎｅｔ１を介してＴＲ２（Ｇ）と
接続していることが理解できる。よってＴＲ１（Ｇ）は
レイアウトデータ及びオブジェクト接続情報において正
しく対応していることがわかる。同じようにＴＲ１（Ｓ
Ｄ）についても接続を確認できる。ただし、２つのＳＤ
に区別はないので対応する接続が存在すればよいものと
する。

【００３３】照合の過程でエラーが存在すれば、結果出
力手段７により報告する。以上のように本実施例によれ
ば、レイアウト生成手段にオブジェクト識別記号付加手
段を設けることにより、オブジェクト接続情報に含まれ
るオブジェクト、すなわち本実施例では回路素子と、レ
イアウトデータとして実現された回路素子の対応関係を
保存できるため、照合手段において一致する素子の検出
を行なう必要がなく対応する素子の接続を照合すること
によって論理接続の検証が行なえるため高速である。

【００３４】また、エラーの報告についても素子の対応
があらかじめ得られており、誤りのあるノードを正確に
指摘できるため修正も容易である。素子の対応が得られ
ていなければ、誤った接続により素子を正しく対応させ
ることが困難となり、１つの素子の対応を誤ると、その
素子に接続するノードも正しいものでなくなり、エラー
が連鎖的に発生するおそれがある。

【００３５】

【発明の効果】以上のように本発明はオブジェクト対応
情報出力手段を設けることにより、レイアウトデータ生
成時にオブジェクト接続情報に含まれるオブジェクト
と、レイアウトデータに含まれるオブジェクトを構成す
る図形要素との対応関係を保存し、照合手段において利
用することができ、従ってオブジェクトの一致検索が容
易となり、接続の照合に要する時間が大幅に短縮でき
る。

【００３６】また、接続エラーにより他の接続の追跡に
影響を与え疑似エラーを誘発するという副作用が低減す
る。疑似エラーの減少により真のエラーの特定が容易と
なり、レイアウトデータの修正に伴う工数を削減でき
る。

【００３７】さらにオブジェクトの接続情報と、レイア
ウトデータに含まれるオブジェクトとの数の不一致など
は、レイアウト生成時に検出することができ、このよう
なエラーは早い段階で発見できるという効果もある。

【図面の簡単な説明】

【図１】本発明の実施例におけるレイアウト検証装置の
ブロック図

【図２】同実施例におけるオブジェクト接続情報の例を
示す図

【図３】同実施例におけるオブジェクト情報の例を示す
図

【図４】同実施例におけるレイアウト生成手段の動作例
を示すレイアウト図

【図５】同実施例の動作例を示すレイアウト図

【図６】同実施例における動作例のデータを示す図

【図７】同実施例における動作例のデータを示す図

【図８】従来のレイアウト検証装置のブロック図

【符号の説明】

１ レイアウト生成手段 ２ 図形抽出手段 ３ 回路素子認識手段 ４ 論理接続復元手段 ５ オブジェクト接続情報抽出手段 ６ 照合手段 ７ 結果出力手段

Claims (3)

【特許請求の範囲】
1. 【請求項１】単一または複数の回路素子と、前記回路素
   子を接続する複数のノードとで構成されたオブジェクト
   の接続を定義したオブジェクト接続情報として与えられ
   る回路接続情報と、レイアウトデータに実現された回路
   接続情報とを照合し、前記レイアウトデータの妥当性を
   検証するレイアウト検証装置であって、 オブジェクトの構成要素を定義したオブジェクト情報
   と、オブジェクト間の接続関係を記述したオブジェクト
   接続情報とに基づいてレイアウトデータを生成するレイ
   アウト図形生成手段と、 前記オブジェクト接続情報と、前記レイアウトデータに
   含まれるオブジェクトの対応関係を記述したオブジェク
   ト対応情報を出力するオブジェクト対応情報出力手段
   と、 前記レイアウトデータよりオブジェクトを構成する図形
   要素と、オブジェクトを接続する図形要素を抽出して、
   レイアウト接続情報を出力するレイアウト接続情報抽出
   手段と、 前記オブジェクト接続情報と前記レイアウト接続情報及
   び前記オブジェクト対応情報を用いて、オブジェクト及
   びオブジェクトの接続の照合を行なう照合手段と、 前記照合手段による照合結果を出力する照合結果出力手
   段とを備えたことを特徴とするレイアウト検証装置。
2. 【請求項２】レイアウト接続情報抽出手段は、 レイアウトデータよりオブジェクトを構成する図形要素
   と、オブジェクトを接続する図形要素とを抽出する図形
   抽出手段と、 前記図形要素より回路素子を認識する回路素子認識手段
   と、 前記図形要素と前記回路素子より論理接続を復元する論
   理接続復元手段とを備えることを特徴とする請求項１記
   載のレイアウト検証装置。
3. 【請求項３】オブジェクト対応情報出力手段は、 レイアウト生成手段に設けられたオブジェクト識別記号
   付加手段を備え、オブジェクト対応情報として、オブジ
   ェクト接続情報に含まれるオブジェクト識別記号を用い
   て、レイアウトデータの対応するオブジェクトに付加す
   ることを特徴とする請求項１または２記載のレイアウト
   検証装置。