JPH0896004A - デザインルール検証システム - Google Patents
デザインルール検証システムInfo
- Publication number
- JPH0896004A JPH0896004A JP6230067A JP23006794A JPH0896004A JP H0896004 A JPH0896004 A JP H0896004A JP 6230067 A JP6230067 A JP 6230067A JP 23006794 A JP23006794 A JP 23006794A JP H0896004 A JPH0896004 A JP H0896004A
- Authority
- JP
- Japan
- Prior art keywords
- contact
- line segment
- wiring line
- objects
- layer
- 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.)
- Granted
Links
Abstract
(57)【要約】
【目的】 自動レイアウトシステムから出力されるネッ
トとオブジェクト種類を持つ配線線分パスとコンタクト
点の集合データを入力し、オブジェクト端点がずれてい
ても、各オブジェクト間のデザインルール検証を高速に
行う。 【構成】 自動レイアウトシステム１１から出力された
オブジェクトデータをオブジェクトデータ入力手段１２
で入力し、オブジェクトデータ分類手段１３で層ごとの
集合に分別し、隣接オブジェクト検索手段１４で各層ご
とに隣接するオブジェクトの組を全て求める。コンタク
ト矩形包含判別手段１６は、この隣接するオブジェクト
の組の中で、同じネットでしかも配線線分パス端点がコ
ンタクト矩形化手段１５で付加されたコンタクト矩形に
含まれる場合は、この組を検証対象から除外する。
トとオブジェクト種類を持つ配線線分パスとコンタクト
点の集合データを入力し、オブジェクト端点がずれてい
ても、各オブジェクト間のデザインルール検証を高速に
行う。 【構成】 自動レイアウトシステム１１から出力された
オブジェクトデータをオブジェクトデータ入力手段１２
で入力し、オブジェクトデータ分類手段１３で層ごとの
集合に分別し、隣接オブジェクト検索手段１４で各層ご
とに隣接するオブジェクトの組を全て求める。コンタク
ト矩形包含判別手段１６は、この隣接するオブジェクト
の組の中で、同じネットでしかも配線線分パス端点がコ
ンタクト矩形化手段１５で付加されたコンタクト矩形に
含まれる場合は、この組を検証対象から除外する。
Description
【０００１】
【産業上の利用分野】本発明は、自動レイアウトシステ
ムの出力データの正当性を保証するためのデザインルー
ル検証システムに関する。
ムの出力データの正当性を保証するためのデザインルー
ル検証システムに関する。
【０００２】
【従来の技術】従来の自動レイアウト結果のデザインル
ール検証システムとしては、２つの方法がある。第１の
システムを図７に示す。自動レイアウトシステム３１か
ら出力されるデータは、図８に示すように、配線線分パ
ス５２〜５６とコンタクト点５０，５１のオブジェクト
の集合となり、かつ配線線分パス５２の両端点上でのみ
配線線分パス５３，５６とコンタクト点５０が接続する
ものであり、この各オブジェクトには、ネット（接続情
報）とオブジェクト種類（コンタクトまたは線分）の属
性が付加されている。また、デザインルールは、各オブ
ジェクト間最小間隔とコンタクト種類（例えば１−２層
用コンタクト、２−３層用コンタクト）ごとの接続可能
な層対が表現されている。ここで、一般に１つのネット
情報は、あるゲートの出力端子から接続すべき複数のゲ
ートの入力端子で表現される。これは、通常回路情報の
ため、これらの端子間を繋ぐ配線線分には存在しない。
本発明ではこのネット情報をオブジェクトに持たせるこ
とを前提としている。これにより、ある２つの線分をみ
た場合に、この線分が属するネットが判別できるように
なる。このデータをオブジェクトデータ入力手段３２で
入力し、オブジェクトデータ分類手段３３で各層ごとの
オブジェクトの集合に分類する。この時コンタクトは、
接続する層対の各層に登録する。次に、各層のオブジェ
クト集合に対して、隣接オブジェクト検索手段３４を用
い、隣接オブジェクトの組を全て求める。次に、オブジ
ェクト端点一致判別手段３５で、この隣接オブジェクト
の組のなかで、ネット情報が同じで、かつ線分パス端点
とコンタクト点が一致するオブジェクトを、検証対象か
ら除外する。例えば、図８の配線線分パス５２の両端点
はコンタクト点５０と配線線分パス５６の端点と一致
し、かつ同一ネット（同一のネット情報内にある線分）
であるため、隣接オブジェクトの検証対象から除外され
る。そして、残った各隣接オブジェクトＡ，Ｂに対し
て、オブジェクト種類に応じて、配線線分間隔検証手段
３６、コンタクト間隔検証手段３７、配線線分−コンタ
クト間隔検証手段３８により検証を行い、この最小間隔
を満たさないものは、エラーデータ出力手段３９により
エラーファイルに出力する。
ール検証システムとしては、２つの方法がある。第１の
システムを図７に示す。自動レイアウトシステム３１か
ら出力されるデータは、図８に示すように、配線線分パ
ス５２〜５６とコンタクト点５０，５１のオブジェクト
の集合となり、かつ配線線分パス５２の両端点上でのみ
配線線分パス５３，５６とコンタクト点５０が接続する
ものであり、この各オブジェクトには、ネット（接続情
報）とオブジェクト種類（コンタクトまたは線分）の属
性が付加されている。また、デザインルールは、各オブ
ジェクト間最小間隔とコンタクト種類（例えば１−２層
用コンタクト、２−３層用コンタクト）ごとの接続可能
な層対が表現されている。ここで、一般に１つのネット
情報は、あるゲートの出力端子から接続すべき複数のゲ
ートの入力端子で表現される。これは、通常回路情報の
ため、これらの端子間を繋ぐ配線線分には存在しない。
本発明ではこのネット情報をオブジェクトに持たせるこ
とを前提としている。これにより、ある２つの線分をみ
た場合に、この線分が属するネットが判別できるように
なる。このデータをオブジェクトデータ入力手段３２で
入力し、オブジェクトデータ分類手段３３で各層ごとの
オブジェクトの集合に分類する。この時コンタクトは、
接続する層対の各層に登録する。次に、各層のオブジェ
クト集合に対して、隣接オブジェクト検索手段３４を用
い、隣接オブジェクトの組を全て求める。次に、オブジ
ェクト端点一致判別手段３５で、この隣接オブジェクト
の組のなかで、ネット情報が同じで、かつ線分パス端点
とコンタクト点が一致するオブジェクトを、検証対象か
ら除外する。例えば、図８の配線線分パス５２の両端点
はコンタクト点５０と配線線分パス５６の端点と一致
し、かつ同一ネット（同一のネット情報内にある線分）
であるため、隣接オブジェクトの検証対象から除外され
る。そして、残った各隣接オブジェクトＡ，Ｂに対し
て、オブジェクト種類に応じて、配線線分間隔検証手段
３６、コンタクト間隔検証手段３７、配線線分−コンタ
クト間隔検証手段３８により検証を行い、この最小間隔
を満たさないものは、エラーデータ出力手段３９により
エラーファイルに出力する。
【０００３】次に、第２のシステムを図９に示す。この
システムは、自動レイアウトシステム４１から出力され
るデータを矩形データ入力手段４２、矩形データ分類手
段４３、隣接矩形検索手段４４、ネット属性一致判別手
段４５、間隔検証手段４６、エラーデータ出力手段４７
で処理する構成となっている（例えば、特開平１−２３
０２４８）。
システムは、自動レイアウトシステム４１から出力され
るデータを矩形データ入力手段４２、矩形データ分類手
段４３、隣接矩形検索手段４４、ネット属性一致判別手
段４５、間隔検証手段４６、エラーデータ出力手段４７
で処理する構成となっている（例えば、特開平１−２３
０２４８）。
【０００４】自動レイアウトシステム４１によって生成
された図形は、全て矩形であり、しかも各矩形は、それ
が含まれる層及びネット情報を属性として持っている。
これらのデータは、矩形データ入力手段４２により入力
し、各図形は矩形データ分類手段４３により層ごとの集
合に分けられる。次に、各層の矩形集合に対して、隣接
矩形検索手段４４によって隣接矩形の組を全て求める。
この隣接矩形検索手段４４によって求まる各隣接矩形
Ａ，Ｂに対して、ネット属性一致判別手段４５と間隔検
証手段４６を用いて、Ａ，Ｂが次の条件を満足するかど
うかを判別する。 （条件）隣接矩形Ａ，Ｂが同一ネットでなく、しかも同
一層Ｌを属性として持つ場合に、両者は層Ｌにおける最
小間隔以上離れて配置されていること。この条件を満足
しない矩形は、エラーデータ出力手段４７を用いてエラ
ーファイルに出力する。この間隔検証手段４６では、片
方の矩形を最小間隔だけ拡張し、２つ矩形の交差を調べ
る方法を採っている。
された図形は、全て矩形であり、しかも各矩形は、それ
が含まれる層及びネット情報を属性として持っている。
これらのデータは、矩形データ入力手段４２により入力
し、各図形は矩形データ分類手段４３により層ごとの集
合に分けられる。次に、各層の矩形集合に対して、隣接
矩形検索手段４４によって隣接矩形の組を全て求める。
この隣接矩形検索手段４４によって求まる各隣接矩形
Ａ，Ｂに対して、ネット属性一致判別手段４５と間隔検
証手段４６を用いて、Ａ，Ｂが次の条件を満足するかど
うかを判別する。 （条件）隣接矩形Ａ，Ｂが同一ネットでなく、しかも同
一層Ｌを属性として持つ場合に、両者は層Ｌにおける最
小間隔以上離れて配置されていること。この条件を満足
しない矩形は、エラーデータ出力手段４７を用いてエラ
ーファイルに出力する。この間隔検証手段４６では、片
方の矩形を最小間隔だけ拡張し、２つ矩形の交差を調べ
る方法を採っている。
【０００５】
【発明が解決しようとする課題】従来の第１のシステム
では、入力データの構成は、任意のオブジェクトが配線
線分パスに接続する場合に、必ず配線線分パスの端点が
コンタクト点もしくは他の配線線分パスの端点と重なる
必要があり、コンタクト点と配線線分パス端点がずれて
いる場合は検証不能となってしまうという問題点があ
る。また、従来の第２のシステムでは、同一ネット内の
データに対しては、検証を除外しているため、同一ネッ
ト内のデザインルールエラーの検出ができないという問
題点と間隔検証を行う際に２矩形間の交差を検出してい
るため処理時間が多くなるという問題点があった。
では、入力データの構成は、任意のオブジェクトが配線
線分パスに接続する場合に、必ず配線線分パスの端点が
コンタクト点もしくは他の配線線分パスの端点と重なる
必要があり、コンタクト点と配線線分パス端点がずれて
いる場合は検証不能となってしまうという問題点があ
る。また、従来の第２のシステムでは、同一ネット内の
データに対しては、検証を除外しているため、同一ネッ
ト内のデザインルールエラーの検出ができないという問
題点と間隔検証を行う際に２矩形間の交差を検出してい
るため処理時間が多くなるという問題点があった。
【０００６】本発明の目的は、配線線分パスの端点がコ
ンタクト点もしくは他の配線線分パスの端点と一致して
いなくてもデザインルールの検証が可能で、かつ処理時
間が短いデザインルール検証システムを提供することに
ある。
ンタクト点もしくは他の配線線分パスの端点と一致して
いなくてもデザインルールの検証が可能で、かつ処理時
間が短いデザインルール検証システムを提供することに
ある。
【０００７】
【課題を解決するための手段】本発明のデザインルール
検証システムは、両端の座標と層と配線幅を持つ配線線
分パスと、コンタクトの配置位置を持つコンタクト点を
含むオブジェクトの集合であり、各オブジェクトには、
ネットと、コンタクト点または線分かの判別であるオブ
ジェクト種類の属性を持つデータと、層別に各オブジェ
クト間の最小間隔とコンタクト種類ごとの接続可能な層
対および各層ごとの矩形が定義されているデザインルー
ルを入力するオブジェクトデータ入力手段と、前記デー
タを層ごとにオブジェクトの集合に分類するオブジェク
ト分類手段と、各層のオブジェクト集合から互いに隣接
する２つのオブジェクトを取り出す隣接オブジェクト検
索手段と、隣接オブジェクト検索手段で取り出されたオ
ブジェクトの組の中にコンタクト点が含まれている場合
には、このコンタクト点と前記オブジェクトの組が属す
る層に対応する所定の大きさのコンタクト矩形を追加す
るコンタクト矩形化手段と、前記コンタクト矩形が追加
された前記オブジェクトの組の内、同一ネットで、かつ
コンタクト矩形内に配線線分パス端点が含まれている場
合は、前記オブジェクトの組を検証対象から除外するコ
ンタクト矩形包含判別手段と、前記オブジェクトの組が
配線線分パス同士の場合、同一ネットでしかも配線線分
パス端点が一致していれば、前記オブジェクトの組を検
証対象から除外する配線線分パス端点一致判別手段と、
前記オブジェクトの組の配線線分パス間隔、コンタクト
間隔、配線線分−コンタクト間隔が、該オブジェクトの
組が属する層のオブジェクト種類別に定義されている最
小間隔以上かどうか判別する配線線分間隔検証手段、コ
ンタクト間隔検証手段、および配線線分−コンタクト間
隔検証手段を有する。
検証システムは、両端の座標と層と配線幅を持つ配線線
分パスと、コンタクトの配置位置を持つコンタクト点を
含むオブジェクトの集合であり、各オブジェクトには、
ネットと、コンタクト点または線分かの判別であるオブ
ジェクト種類の属性を持つデータと、層別に各オブジェ
クト間の最小間隔とコンタクト種類ごとの接続可能な層
対および各層ごとの矩形が定義されているデザインルー
ルを入力するオブジェクトデータ入力手段と、前記デー
タを層ごとにオブジェクトの集合に分類するオブジェク
ト分類手段と、各層のオブジェクト集合から互いに隣接
する２つのオブジェクトを取り出す隣接オブジェクト検
索手段と、隣接オブジェクト検索手段で取り出されたオ
ブジェクトの組の中にコンタクト点が含まれている場合
には、このコンタクト点と前記オブジェクトの組が属す
る層に対応する所定の大きさのコンタクト矩形を追加す
るコンタクト矩形化手段と、前記コンタクト矩形が追加
された前記オブジェクトの組の内、同一ネットで、かつ
コンタクト矩形内に配線線分パス端点が含まれている場
合は、前記オブジェクトの組を検証対象から除外するコ
ンタクト矩形包含判別手段と、前記オブジェクトの組が
配線線分パス同士の場合、同一ネットでしかも配線線分
パス端点が一致していれば、前記オブジェクトの組を検
証対象から除外する配線線分パス端点一致判別手段と、
前記オブジェクトの組の配線線分パス間隔、コンタクト
間隔、配線線分−コンタクト間隔が、該オブジェクトの
組が属する層のオブジェクト種類別に定義されている最
小間隔以上かどうか判別する配線線分間隔検証手段、コ
ンタクト間隔検証手段、および配線線分−コンタクト間
隔検証手段を有する。
【０００８】本発明の他のデザインルール検証システム
は、両端の座標と層と配線幅を持つ配線線分パスと、コ
ンタクトの配置位置を持つコンタクト点を含むオブジェ
クトの集合であり、各オブジェクトには、ネットと、コ
ンタクト点または線分かの判別であるオブジェクト種類
の属性を持つデータと、層別に各オブジェクト間の最小
間隔とコンタクト種類ごとの接続可能な層対および各層
ごとの矩形が定義されているデザインルール入力するオ
ブジェクトデータ入力手段と、前記データを層ごとにオ
ブジェクトの集合に分類するオブジェクト分類手段と、
各層のオブジェクト集合から互いに隣接する２つのオブ
ジェクトを取り出す隣接オブジェクト検索手段と、隣接
オブジェクト検索手段で取り出されたオブジェクトの組
の中にコンタクト点が含まれている場合には、このコン
タクト点と前記オブジェクトの組が属する層に対応する
所定の大きさのコンタクト矩形を追加するコンタクト矩
形化手段と、前記コンタクト矩形が追加された前記オブ
ジェクトの組の内、同一ネットで、かつコンタクト矩形
内に配線線分パス端点が含まれている場合は、前記オブ
ジェクトの組を検証対象から除外するコンタクト矩形包
含判別手段と、前記オブジェクトの組のオブジェクトの
種類が両方とも配線線分パスの場合、一方の配線線分パ
スを矩形化したデータを追加する配線線分パス矩形化手
段と、同一ネットであり、前記矩形化された配線線分パ
スの中に他方の配線線分パス端点が含まれている場合
は、前記オブジェクトの組を検証対象から除外する配線
線分矩形包含判別手段と、前記オブジェクトの組の配線
線分パス間隔、コンタクト間隔、配線線分−コンタクト
間隔が、該オブジェクトの組が属する層のオブジェクト
種類別に定義されている最小間隔以上かどうか判別する
配線線分間隔検証手段、コンタクト間隔検証手段、およ
び配線線分−コンタクト間隔検証手段を有する。
は、両端の座標と層と配線幅を持つ配線線分パスと、コ
ンタクトの配置位置を持つコンタクト点を含むオブジェ
クトの集合であり、各オブジェクトには、ネットと、コ
ンタクト点または線分かの判別であるオブジェクト種類
の属性を持つデータと、層別に各オブジェクト間の最小
間隔とコンタクト種類ごとの接続可能な層対および各層
ごとの矩形が定義されているデザインルール入力するオ
ブジェクトデータ入力手段と、前記データを層ごとにオ
ブジェクトの集合に分類するオブジェクト分類手段と、
各層のオブジェクト集合から互いに隣接する２つのオブ
ジェクトを取り出す隣接オブジェクト検索手段と、隣接
オブジェクト検索手段で取り出されたオブジェクトの組
の中にコンタクト点が含まれている場合には、このコン
タクト点と前記オブジェクトの組が属する層に対応する
所定の大きさのコンタクト矩形を追加するコンタクト矩
形化手段と、前記コンタクト矩形が追加された前記オブ
ジェクトの組の内、同一ネットで、かつコンタクト矩形
内に配線線分パス端点が含まれている場合は、前記オブ
ジェクトの組を検証対象から除外するコンタクト矩形包
含判別手段と、前記オブジェクトの組のオブジェクトの
種類が両方とも配線線分パスの場合、一方の配線線分パ
スを矩形化したデータを追加する配線線分パス矩形化手
段と、同一ネットであり、前記矩形化された配線線分パ
スの中に他方の配線線分パス端点が含まれている場合
は、前記オブジェクトの組を検証対象から除外する配線
線分矩形包含判別手段と、前記オブジェクトの組の配線
線分パス間隔、コンタクト間隔、配線線分−コンタクト
間隔が、該オブジェクトの組が属する層のオブジェクト
種類別に定義されている最小間隔以上かどうか判別する
配線線分間隔検証手段、コンタクト間隔検証手段、およ
び配線線分−コンタクト間隔検証手段を有する。
【０００９】
【作用】配線線分パスの端点がどのオブジェクトと物理
的に接続しているかをみる時に、相手のオブジェクトを
矩形化し、その矩形の中にこの配線パス端点が含まれて
いるかで判別しているため、配線線分端点がコンタクト
点もしくは他の配線線分端点と一致していなくても接続
していることを認識可能となる。そして、この接続して
いるオブジェクト同士が同一ネットであれば、処理対象
から除外する。この後、デザインルールに定義されてい
る各オブジェクトごとの最小間隔を満たしているかをチ
ェックすることでデザインルール検証が行われる。この
時に矩形ではなく、オブジェクト単位でルール検証をす
るためチェック時間が短縮される。オブジェクト単位の
ルール検証とは、 １．配線線分間隔検証・・・・・２線分の最短距離を求める
ことと等価 ２．コンタクト間隔検証・・・２点間の距離を求めること
と等価 ３．配線線分−コンタクト検証・・・・・１線分と１点の最
短距離を求めることと等価となり、容易に求められる形
になる。
的に接続しているかをみる時に、相手のオブジェクトを
矩形化し、その矩形の中にこの配線パス端点が含まれて
いるかで判別しているため、配線線分端点がコンタクト
点もしくは他の配線線分端点と一致していなくても接続
していることを認識可能となる。そして、この接続して
いるオブジェクト同士が同一ネットであれば、処理対象
から除外する。この後、デザインルールに定義されてい
る各オブジェクトごとの最小間隔を満たしているかをチ
ェックすることでデザインルール検証が行われる。この
時に矩形ではなく、オブジェクト単位でルール検証をす
るためチェック時間が短縮される。オブジェクト単位の
ルール検証とは、 １．配線線分間隔検証・・・・・２線分の最短距離を求める
ことと等価 ２．コンタクト間隔検証・・・２点間の距離を求めること
と等価 ３．配線線分−コンタクト検証・・・・・１線分と１点の最
短距離を求めることと等価となり、容易に求められる形
になる。
【００１０】
【実施例】次に、本発明の実施例について図面を参照し
て説明する。
て説明する。
【００１１】図１は本発明の第１の実施例のデザインル
ール検証システムのブロック図、図３は本実施例におけ
る入力データの構成図、図４はコンタクト矩形化の入力
データの構成図である。
ール検証システムのブロック図、図３は本実施例におけ
る入力データの構成図、図４はコンタクト矩形化の入力
データの構成図である。
【００１２】本実施例のデザインルール検証システム
は、図１に示すように、オブジェクトデータ入力手段１
２と、オブジェクトデータ分類手段１３と、隣接オブジ
ェクト検索手段１４と、コンタクト矩形化手段１５と、
コンタクト矩形包含判別手段１６と、配線線分パス端点
一致判別手段２１と、配線線分間隔検証手段１７と、コ
ンタクト間隔検証手段１８と、配線線分−コンタクト間
隔検証手段１９と、エラーデータ出力手段２０で構成さ
れている。
は、図１に示すように、オブジェクトデータ入力手段１
２と、オブジェクトデータ分類手段１３と、隣接オブジ
ェクト検索手段１４と、コンタクト矩形化手段１５と、
コンタクト矩形包含判別手段１６と、配線線分パス端点
一致判別手段２１と、配線線分間隔検証手段１７と、コ
ンタクト間隔検証手段１８と、配線線分−コンタクト間
隔検証手段１９と、エラーデータ出力手段２０で構成さ
れている。
【００１３】オブジェクトデータ入力手段１２は、両端
の座標と層と配線幅を持つ配線線分パスと、コンタク点
トの配置位置を持つコンタクト点であるオブジェクトの
集合であり、各オブジェクトには、ネットと、コンタク
ト点または線分かの判別であるオブジェクト種類の属性
を持つデータと、層別に各オブジェクト間の最小間隔と
コンタクト種類ごとの接続可能な層対および各層ごとの
矩形が定義されているデザインルールを自動レイアウト
システム１１から入力する。オブジェクトデータ分類手
段１３は、前記データを層ごとにオブジェクトの集合に
分類する。隣接オブジェクト検索手段１４は、各層のオ
ブジェクト集合から互いに隣接する２つのオブジェクト
を取り出す。コンタクト矩形化手段１５は、隣接オブジ
ェクト検索手段１４で取り出されたオブジェクトの組の
中にコンタクト点が含まれている場合には、このコンタ
クト点と前記オブジェクトの組が属する層に対応する所
定の大きさのコンタクト矩形を追加する。コンタクト矩
形包含判別手段１６は、前記コンタクト矩形が追加され
た前記オブジェクトの組の内、同一ネットで、かつコン
タクト矩形内に配線線分パス端点が含まれている場合
は、前記オブジェクトの組を検証対象から除外する。配
線線分パス端点一致判別手段２１は、前記オブジェクト
の組が配線線分パス同士の場合、同一ネットでしかも配
線線分パス端点が一致していれば、前記オブジェクトの
組を検証対象から除外する。配線線分間隔検証手段１
７、コンタクト間隔検証手段１８、配線線分−コンタク
ト間隔検証手段１９はそれぞれ前記オブジェクトの組の
配線線分パス間隔、コンタクト間隔、配線線分−コンタ
クト間隔が、該オブジェクトの組が属する層のオブジェ
クト種類別に定義されている最小間隔以上かどうか判別
する。エラーデータ出力手段２０は、前記オブジェクト
の組の配線線分パス間隔、コンタクト間隔、配線線分−
コンタクト間隔が、該オブジェクトの組が属する層のオ
ブジェクト種類別に定義されている最小間隔以上でない
場合、前記オブジェクトの組をエラーファイル（不図
示）に出力する。
の座標と層と配線幅を持つ配線線分パスと、コンタク点
トの配置位置を持つコンタクト点であるオブジェクトの
集合であり、各オブジェクトには、ネットと、コンタク
ト点または線分かの判別であるオブジェクト種類の属性
を持つデータと、層別に各オブジェクト間の最小間隔と
コンタクト種類ごとの接続可能な層対および各層ごとの
矩形が定義されているデザインルールを自動レイアウト
システム１１から入力する。オブジェクトデータ分類手
段１３は、前記データを層ごとにオブジェクトの集合に
分類する。隣接オブジェクト検索手段１４は、各層のオ
ブジェクト集合から互いに隣接する２つのオブジェクト
を取り出す。コンタクト矩形化手段１５は、隣接オブジ
ェクト検索手段１４で取り出されたオブジェクトの組の
中にコンタクト点が含まれている場合には、このコンタ
クト点と前記オブジェクトの組が属する層に対応する所
定の大きさのコンタクト矩形を追加する。コンタクト矩
形包含判別手段１６は、前記コンタクト矩形が追加され
た前記オブジェクトの組の内、同一ネットで、かつコン
タクト矩形内に配線線分パス端点が含まれている場合
は、前記オブジェクトの組を検証対象から除外する。配
線線分パス端点一致判別手段２１は、前記オブジェクト
の組が配線線分パス同士の場合、同一ネットでしかも配
線線分パス端点が一致していれば、前記オブジェクトの
組を検証対象から除外する。配線線分間隔検証手段１
７、コンタクト間隔検証手段１８、配線線分−コンタク
ト間隔検証手段１９はそれぞれ前記オブジェクトの組の
配線線分パス間隔、コンタクト間隔、配線線分−コンタ
クト間隔が、該オブジェクトの組が属する層のオブジェ
クト種類別に定義されている最小間隔以上かどうか判別
する。エラーデータ出力手段２０は、前記オブジェクト
の組の配線線分パス間隔、コンタクト間隔、配線線分−
コンタクト間隔が、該オブジェクトの組が属する層のオ
ブジェクト種類別に定義されている最小間隔以上でない
場合、前記オブジェクトの組をエラーファイル（不図
示）に出力する。
【００１４】次に、本実施例の動作を説明する。自動レ
イアウトシステム１１から出力されるデータは、図３に
示すように、配線線分パス５２〜５６とコンタクト点５
０，５１のオブジェクトの集合とし、かつ配線線分パス
５２と５６の接続はパス端点５７上でのみ行なうものと
し、この各オブジェクトには、ネットとオブジェクト種
類の属性が付加されているものとする。デザインルール
は、層別に各オブジェクト間の最小間隔とコンタクト種
類ごとの接続可能な層対及び各層の大きさが定義されて
いる。これらのデータをオブジェクトデータ入力手段１
２により入力し、オブジェクトデータ分類手段１３によ
り層ごとにオブジェクトの集合に分けられる。この時、
コンタクト点５０，５１は、２つの層（デザインルール
で定義された層対のことで、上層と下層）をもつため、
２つのオブジェクト集合に属するものとする。
イアウトシステム１１から出力されるデータは、図３に
示すように、配線線分パス５２〜５６とコンタクト点５
０，５１のオブジェクトの集合とし、かつ配線線分パス
５２と５６の接続はパス端点５７上でのみ行なうものと
し、この各オブジェクトには、ネットとオブジェクト種
類の属性が付加されているものとする。デザインルール
は、層別に各オブジェクト間の最小間隔とコンタクト種
類ごとの接続可能な層対及び各層の大きさが定義されて
いる。これらのデータをオブジェクトデータ入力手段１
２により入力し、オブジェクトデータ分類手段１３によ
り層ごとにオブジェクトの集合に分けられる。この時、
コンタクト点５０，５１は、２つの層（デザインルール
で定義された層対のことで、上層と下層）をもつため、
２つのオブジェクト集合に属するものとする。
【００１５】次に、このオブジェクト集合から隣接する
オブジェクトの組を隣接オブジェクト検索手段１４によ
り、全て求める。次に、この隣接オブジェクトの組の中
にコンタクト点が含まれている場合は、コンタクト矩形
化手段１５により、このコンタクト種類と隣接オブジェ
クトの組が属する層に対応するコンタクト矩形を追加す
る。この追加が完了した隣接オブジェクトの内、同一ネ
ットでかつコンタクト矩形内に配線線分パス端点が含ま
れている場合は、コンタクト矩形包含判別手段１６によ
り検証対象から除外する。また、この隣接オブジェクト
の組が配線線分パス同士の場合は、配線線分パス端点一
致判別手段２１により、同一ネットでしかも配線線分パ
ス端点が一致している場合は、検証対象から除外する。
例えば、図３のデータを入力し、配線線分パス５２の隣
接オブジェクトの組を全て求めると図４になる。同一ネ
ットである配線線分パス５２とコンタクト点５０を見た
場合には、コンタクト矩形化手段１５で付加されたコン
タクト矩形５９に配線線分パス端点５８が含まれるため
検証対象から除外する。更に、同一ネットの配線線分パ
ス５２と配線線分パス５６は、配線線分パス端点が配線
線分パス端点５７で一致しているため配線線分パス端点
一致判別手段２１により検証対象から除外する。
オブジェクトの組を隣接オブジェクト検索手段１４によ
り、全て求める。次に、この隣接オブジェクトの組の中
にコンタクト点が含まれている場合は、コンタクト矩形
化手段１５により、このコンタクト種類と隣接オブジェ
クトの組が属する層に対応するコンタクト矩形を追加す
る。この追加が完了した隣接オブジェクトの内、同一ネ
ットでかつコンタクト矩形内に配線線分パス端点が含ま
れている場合は、コンタクト矩形包含判別手段１６によ
り検証対象から除外する。また、この隣接オブジェクト
の組が配線線分パス同士の場合は、配線線分パス端点一
致判別手段２１により、同一ネットでしかも配線線分パ
ス端点が一致している場合は、検証対象から除外する。
例えば、図３のデータを入力し、配線線分パス５２の隣
接オブジェクトの組を全て求めると図４になる。同一ネ
ットである配線線分パス５２とコンタクト点５０を見た
場合には、コンタクト矩形化手段１５で付加されたコン
タクト矩形５９に配線線分パス端点５８が含まれるため
検証対象から除外する。更に、同一ネットの配線線分パ
ス５２と配線線分パス５６は、配線線分パス端点が配線
線分パス端点５７で一致しているため配線線分パス端点
一致判別手段２１により検証対象から除外する。
【００１６】次に、隣接オブジェクトの組のオブジェク
ト種類別に最小オブジェクト間隔の検証を行う。オブジ
ェクト種類としては、配線線分パスとコンタクト点が存
在するため、検証方法としては、配線線分パス間、コン
タクト間、配線線分−コンタクト間の３つの方法があ
る。隣接オブジェクトの組が配線線分パス同士の場合
は、配線線分間隔検証手段１７により、２線分間の距離
がデザインルールで定義されている配線線分パスの最小
間隔より離れているかを判定する。また、隣接オブジェ
クトの組がコンタクト点同士の場合は、コンタクト間隔
検証手段１８により、２点間の距離がデザインルールで
定義されているコンタクト間の最小間隔より離れている
かを判定する。更に、隣接オブジェクトの組が配線線分
パス−コンタクト点である場合は、配線線分−コンタク
ト間隔検証手段１９により、点−線分間の距離がデザイ
ンルールで定義されている配線線分−コンタクト間の最
小間隔より離れているか判定する。これらの条件を満た
さない場合は、エラーデータ出力手段２０により、エラ
ーファイルに出力する。図４のデータの場合、配線線分
間隔検証手段１７により、配線線分パス５２と５５が、
配線線分−コンタクト間隔検証手段１９により、コンタ
クト点５１と配線線分パス５２がデザインルールで定義
されている最小間隔より離れているか判定される。
ト種類別に最小オブジェクト間隔の検証を行う。オブジ
ェクト種類としては、配線線分パスとコンタクト点が存
在するため、検証方法としては、配線線分パス間、コン
タクト間、配線線分−コンタクト間の３つの方法があ
る。隣接オブジェクトの組が配線線分パス同士の場合
は、配線線分間隔検証手段１７により、２線分間の距離
がデザインルールで定義されている配線線分パスの最小
間隔より離れているかを判定する。また、隣接オブジェ
クトの組がコンタクト点同士の場合は、コンタクト間隔
検証手段１８により、２点間の距離がデザインルールで
定義されているコンタクト間の最小間隔より離れている
かを判定する。更に、隣接オブジェクトの組が配線線分
パス−コンタクト点である場合は、配線線分−コンタク
ト間隔検証手段１９により、点−線分間の距離がデザイ
ンルールで定義されている配線線分−コンタクト間の最
小間隔より離れているか判定する。これらの条件を満た
さない場合は、エラーデータ出力手段２０により、エラ
ーファイルに出力する。図４のデータの場合、配線線分
間隔検証手段１７により、配線線分パス５２と５５が、
配線線分−コンタクト間隔検証手段１９により、コンタ
クト点５１と配線線分パス５２がデザインルールで定義
されている最小間隔より離れているか判定される。
【００１７】図２は本発明の第２の実施例のデザインル
ール検証システムのブロック図、図５は本実施例におけ
る入力データの構成図、図６は配線線分矩形後の入力デ
ータの構成図である。
ール検証システムのブロック図、図５は本実施例におけ
る入力データの構成図、図６は配線線分矩形後の入力デ
ータの構成図である。
【００１８】本実施例は、第１の実施例の配線線分パス
端点一致判別手段２１の代りに、隣接オブジェクトの組
のオブジェクトの種類が両方とも配線線分パスの場合、
一方の配線線分パスを矩形化したデータを追加する配線
線分パス矩形化手段２２と、同一ネットであり前記矩形
化された配線線分パスの中に他方の配線線分パス端点が
含まれている場合は、前記オブジェクトの組を検証対象
から除外する配線線分矩形包含判別手段２３を備えたも
のである。
端点一致判別手段２１の代りに、隣接オブジェクトの組
のオブジェクトの種類が両方とも配線線分パスの場合、
一方の配線線分パスを矩形化したデータを追加する配線
線分パス矩形化手段２２と、同一ネットであり前記矩形
化された配線線分パスの中に他方の配線線分パス端点が
含まれている場合は、前記オブジェクトの組を検証対象
から除外する配線線分矩形包含判別手段２３を備えたも
のである。
【００１９】次に、本実施例の動作を説明する。自動レ
イアウトシステム２１から出力されるデータは、第１の
実施例と同様のデータであるが、データの構成として
は、図５に示すように配線線分パス５２，５６同士を接
続する場合に配線線分パス端点５７上でなくても良いデ
ータを対象とする。次に、オブジェクトデータ入力手段
１２、オブジェクトデータ分類手段１３、隣接オブジェ
クト検索手段１４を通して隣接オブジェクトの組を全て
求める。次に、隣接オブジェクトの組にコンタクト種類
が含まれている場合は、第１の実施例と同様に、コンタ
クト矩形化手段１５とコンタクト矩形包含判別手段１６
により、検証対象外の組を判別する。また、隣接オブジ
ェクトの種類が両方とも配線線分パスの場合は、配線線
分パス矩形化手段２２により、一方の配線線分パスを矩
形化したデータを追加し、配線線分矩形包含判別手段２
３により、同一ネットであり矩形化された線分の中に、
他方の配線線分パス端点が含まれている場合は、検証対
象から除外する。例えば、図５のデータを入力し、配線
線分パス５２の隣接オブジェクトの組を全て求めると図
６になる。ここで、同一ネットの配線線分パス５２とコ
ンタクト点５０は、第１の実施例と同様にコンタクト矩
形化手段１５とコンタクト矩形包含判別手段１６により
検証対象から除外される。また、同一ネットの配線線分
パス５２と配線線分パス５６は、配線線分パス矩形化手
段２２により付加された配線線分矩形６０に配線線分パ
ス５６の配線線分パス端点６０が含まれているため、配
線線分矩形包含判別手段２３により検証対象から除外す
る。後の処理は、第１の実施例と同様にオブジェクト種
類別に最小オブジェクト間隔の検証を行う。
イアウトシステム２１から出力されるデータは、第１の
実施例と同様のデータであるが、データの構成として
は、図５に示すように配線線分パス５２，５６同士を接
続する場合に配線線分パス端点５７上でなくても良いデ
ータを対象とする。次に、オブジェクトデータ入力手段
１２、オブジェクトデータ分類手段１３、隣接オブジェ
クト検索手段１４を通して隣接オブジェクトの組を全て
求める。次に、隣接オブジェクトの組にコンタクト種類
が含まれている場合は、第１の実施例と同様に、コンタ
クト矩形化手段１５とコンタクト矩形包含判別手段１６
により、検証対象外の組を判別する。また、隣接オブジ
ェクトの種類が両方とも配線線分パスの場合は、配線線
分パス矩形化手段２２により、一方の配線線分パスを矩
形化したデータを追加し、配線線分矩形包含判別手段２
３により、同一ネットであり矩形化された線分の中に、
他方の配線線分パス端点が含まれている場合は、検証対
象から除外する。例えば、図５のデータを入力し、配線
線分パス５２の隣接オブジェクトの組を全て求めると図
６になる。ここで、同一ネットの配線線分パス５２とコ
ンタクト点５０は、第１の実施例と同様にコンタクト矩
形化手段１５とコンタクト矩形包含判別手段１６により
検証対象から除外される。また、同一ネットの配線線分
パス５２と配線線分パス５６は、配線線分パス矩形化手
段２２により付加された配線線分矩形６０に配線線分パ
ス５６の配線線分パス端点６０が含まれているため、配
線線分矩形包含判別手段２３により検証対象から除外す
る。後の処理は、第１の実施例と同様にオブジェクト種
類別に最小オブジェクト間隔の検証を行う。
【００２０】
【発明の効果】以上説明したように本発明は、配線線分
パス端点とコンタクト点もしくは他の配線パス端点と一
致していなくても、デザインルールの検証が可能となっ
た。また、図形演算処理、矩形の重なり判定処理などが
ないため高速に処理可能となった。実際に、０．８μプ
ロセスの場合では、コンタクトは約３０００個／ｍｍ2
あり、１０ｘ１０ｍｍのＬＳＩでは約３０万個となる。
これを、矩形で処理するよりは、本発明のように検証不
要な組合せだけ除いて配線線分パスとコンタクト点で処
理する方が、メモリ量と計算量が少なくてすみ、大規模
データに対しても高速に検証可能となる。
パス端点とコンタクト点もしくは他の配線パス端点と一
致していなくても、デザインルールの検証が可能となっ
た。また、図形演算処理、矩形の重なり判定処理などが
ないため高速に処理可能となった。実際に、０．８μプ
ロセスの場合では、コンタクトは約３０００個／ｍｍ2
あり、１０ｘ１０ｍｍのＬＳＩでは約３０万個となる。
これを、矩形で処理するよりは、本発明のように検証不
要な組合せだけ除いて配線線分パスとコンタクト点で処
理する方が、メモリ量と計算量が少なくてすみ、大規模
データに対しても高速に検証可能となる。
【図１】本発明の第１の実施例のブロック図である。
【図２】本発明の第１の実施例の入力データの構成図で
ある。
ある。
【図３】本発明の第１の実施例のコンタクト矩形化後の
入力データの構成図である。
入力データの構成図である。
【図４】本発明の第２の実施例のブロック図である。
【図５】本発明の第２の実施例の入力データの構成図で
ある。
ある。
【図６】本発明の第２の実施例の配線線分矩形化後の入
力データの構成図である。
力データの構成図である。
【図７】従来のシステムのブロック図である。
【図８】従来のシステムの入力データ構成図である。
【図９】他の従来のシステムのブロック図である。
１１，２１，３１，４１ 自動レイアウトシステム １２，３２ オブジェクトデータ入力手段 １３，３３ オブジェクトデータ分類手段 １４，３４ 隣接オブジェクト検索手段 １５ コンタクト矩形化手段 １６ コンタクト矩形包含判別手段 ２１ 配線線分パス端点一致判別手段 １７，３６ 配線線分間隔検証手段 １８，３７ コンタクト間隔検証手段 １９，３８ 配線線分−コンタクト間隔検証手段 ２０，３９，４７ エラーデータ出力手段 ２２ 配線線分パス矩形化手段 ２３ 配線線分矩形包含判別手段 ３５ オブジェクト端点一致判別手段 ４２ 矩形データ入力手段 ４３ 矩形データ分類手段 ４４ 隣接矩形検索手段 ４５ ネット属性一致判別手段 ４６ 間隔検証手段 ５０，５１ コンタクト点 ５２〜５６ 配線線分パス ５７，５８，６０ 配線線分パス端点 ５９ コンタクト矩形 ６１ 配線線分矩形
Claims (3)
- 【請求項１】 両端の座標と層と配線幅を持つ配線線分
パスと、コンタクトの配置位置を持つコンタクト点であ
るオブジェクトの集合であり、各オブジェクトには、ネ
ットと、コンタクト点または線分かの判別であるオブジ
ェクト種類の属性を持つデータと、層別に各オブジェク
ト間の最小間隔とコンタクト種類ごとの接続可能な層対
および各層ごとの矩形が定義されているデザインルール
を入力するオブジェクトデータ入力手段と、 前記データを層ごとにオブジェクトの集合に分類するオ
ブジェクト分類手段と、 各層のオブジェクト集合から互いに隣接する２つのオブ
ジェクトを取り出す隣接オブジェクト検索手段と、 隣接オブジェクト検索手段で取り出されたオブジェクト
の組の中にコンタクト点が含まれている場合には、この
コンタクト点と前記オブジェクトの組が属する層に対応
する所定の大きさのコンタクト矩形を追加するコンタク
ト矩形化手段と、 前記コンタクト矩形が追加された前記オブジェクトの組
の内、同一ネットで、かつコンタクト矩形内に配線線分
パス端点が含まれている場合は、前記オブジェクトの組
を検証対象から除外するコンタクト矩形包含判別手段
と、 前記オブジェクトの組が配線線分パス同士の場合、同一
ネットでしかも配線線分パス端点が一致していれば、前
記オブジェクトの組を検証対象から除外する配線線分パ
ス端点一致判別手段と、 前記オブジェクトの組の配線線分パス間隔、コンタクト
間隔、配線線分−コンタクト間隔が、該オブジェクトの
組が属する層のオブジェクト種類別に定義されている最
小間隔以上かどうか判別する配線線分間隔検証手段、コ
ンタクト間隔検証手段、および配線線分−コンタクト間
隔検証手段を有するデザインルール検証システム。 - 【請求項２】 両端の座標と層と配線幅を持つ配線線分
パスと、コンタクトの配置位置を持つコンタクト点であ
るオブジェクトの集合であり、各オブジェクトには、ネ
ットと、コンタクト点または線分かの判別であるオブジ
ェクト種類の属性を持つデータと、層別に各オブジェク
ト間の最小間隔とコンタクト種類ごとの接続可能な層対
および各層ごとの矩形が定義されているデザインルール
を入力するオブジェクトデータ入力手段と、 前記データを層ごとにオブジェクトの集合に分類するオ
ブジェクト分類手段と、 各層のオブジェクト集合から互いに隣接する２つのオブ
ジェクトを取り出す隣接オブジェクト検索手段と、 隣接オブジェクト検索手段で取り出されたオブジェクト
の組の中にコンタクト点が含まれている場合には、この
コンタクト点と前記オブジェクトの組が属する層に対応
する所定の大きさのコンタクト矩形を追加するコンタク
ト矩形化手段と、 前記コンタクト矩形が追加された前記オブジェクトの組
の内、同一ネットで、かつコンタクト矩形内に配線線分
パス端点が含まれている場合は、前記オブジェクトの組
を検証対象から除外するコンタクト矩形包含判別手段
と、 前記オブジェクトの組のオブジェクトの種類が両方とも
配線線分パスの場合、一方の配線線分パスを矩形化した
データを追加する配線線分パス矩形化手段と、 同一ネットであり、前記矩形化された配線線分パスの中
に他方の配線線分パス端点が含まれている場合は、前記
オブジェクトの組を検証対象から除外する配線線分矩形
包含判別手段と、 前記オブジェクトの組の配線線分パス間隔、コンタクト
間隔、配線線分−コンタクト間隔が、該オブジェクトの
組が属する層のオブジェクト種類別に定義されている最
小間隔以上かどうか判別する配線線分間隔検証手段、コ
ンタクト間隔検証手段、および配線線分−コンタクト間
隔検証手段を有するデザインルール検証システム。 - 【請求項３】 前記オブジェクトの組の配線線分パス間
隔、コンタクト間隔、配線線分−コンタクト間隔が、該
オブジェクトの組が属する層のオブジェクト種類別に定
義されている最小間隔以上でない場合、前記オブジェク
トの組をエラーファイルに出力するエラーデータ出力手
段をさらに有する請求項１または２記載のデザインルー
ル検証システム。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP6230067A JP2778483B2 (ja) | 1994-09-26 | 1994-09-26 | デザインルール検証システム |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP6230067A JP2778483B2 (ja) | 1994-09-26 | 1994-09-26 | デザインルール検証システム |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH0896004A true JPH0896004A (ja) | 1996-04-12 |
| JP2778483B2 JP2778483B2 (ja) | 1998-07-23 |
Family
ID=16902028
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP6230067A Expired - Fee Related JP2778483B2 (ja) | 1994-09-26 | 1994-09-26 | デザインルール検証システム |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP2778483B2 (ja) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2006059348A (ja) * | 2004-08-12 | 2006-03-02 | Internatl Business Mach Corp <Ibm> | 物理的設計システム及び方法 |
| JP2009163777A (ja) * | 2009-04-27 | 2009-07-23 | Fujitsu Ltd | 設計ルール検証プログラム、該プログラムを記録した記録媒体、および設計ルール検証装置 |
Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS63313277A (ja) * | 1987-06-17 | 1988-12-21 | Hitachi Ltd | 配線パタ−ンチェック方法 |
| JPH0282637A (ja) * | 1988-09-20 | 1990-03-23 | Toshiba Corp | レイアウト設計検査方法 |
| JPH05218161A (ja) * | 1992-02-04 | 1993-08-27 | Hitachi Ltd | 配線パターンの間隙チェック方法 |
| JPH05289312A (ja) * | 1992-04-06 | 1993-11-05 | Ricoh Co Ltd | 半導体集積回路のマスクパターン処理方法および処理装置 |
-
1994
- 1994-09-26 JP JP6230067A patent/JP2778483B2/ja not_active Expired - Fee Related
Patent Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS63313277A (ja) * | 1987-06-17 | 1988-12-21 | Hitachi Ltd | 配線パタ−ンチェック方法 |
| JPH0282637A (ja) * | 1988-09-20 | 1990-03-23 | Toshiba Corp | レイアウト設計検査方法 |
| JPH05218161A (ja) * | 1992-02-04 | 1993-08-27 | Hitachi Ltd | 配線パターンの間隙チェック方法 |
| JPH05289312A (ja) * | 1992-04-06 | 1993-11-05 | Ricoh Co Ltd | 半導体集積回路のマスクパターン処理方法および処理装置 |
Cited By (6)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2006059348A (ja) * | 2004-08-12 | 2006-03-02 | Internatl Business Mach Corp <Ibm> | 物理的設計システム及び方法 |
| JP4608392B2 (ja) * | 2004-08-12 | 2011-01-12 | インターナショナル・ビジネス・マシーンズ・コーポレーション | 物理的設計システム及び方法 |
| US8219943B2 (en) | 2004-08-12 | 2012-07-10 | International Business Machines Corporation | Physical design system and method |
| US8473885B2 (en) | 2004-08-12 | 2013-06-25 | International Business Machines Corporation | Physical design system and method |
| JP2009163777A (ja) * | 2009-04-27 | 2009-07-23 | Fujitsu Ltd | 設計ルール検証プログラム、該プログラムを記録した記録媒体、および設計ルール検証装置 |
| JP4659892B2 (ja) * | 2009-04-27 | 2011-03-30 | 富士通株式会社 | 設計ルール検証プログラム、該プログラムを記録した記録媒体、および設計ルール検証装置 |
Also Published As
| Publication number | Publication date |
|---|---|
| JP2778483B2 (ja) | 1998-07-23 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US20070234258A1 (en) | Method for post-routing redundant via insertion in integrated circuit layout | |
| US7356790B2 (en) | Device, method and program for estimating the number of layers BGA component mounting substrate | |
| JP2002288667A (ja) | パターン照合装置とそのパターン照合方法、及びパターン照合プログラム | |
| US6732340B1 (en) | Method for designing a semiconductor integrated circuit which includes consideration of parasitic elements on critical data paths | |
| CN108829903B (zh) | 判定fpga冗余设计的代码与综合后电路一致性的方法和系统 | |
| JP7269896B2 (ja) | 故障診断装置および故障診断方法 | |
| JPH0896004A (ja) | デザインルール検証システム | |
| US6188934B1 (en) | Register correspondence method using I/O terminals, determined registers, the number of undetermined registers and self-feedback information to define unique registers | |
| JPH11160400A (ja) | 順序回路の故障箇所推定方法及び故障箇所推定における候補抽出並びにその重み付け方法更にはその装置 | |
| US7120829B2 (en) | Failure propagation path estimate system | |
| JP3406216B2 (ja) | ネット分類方法、ネット分類装置、および当該方法のプログラムを記録したコンピュータで読取り可能な記録媒体 | |
| CN112560386A (zh) | 一种大规模复杂版图电阻提取加速方法 | |
| EP3899775A1 (en) | A method for validating a hardware system | |
| JP2853649B2 (ja) | 論理シミュレーション用モデルの作成方法 | |
| US20060036986A1 (en) | Overlapping shape design rule error prevention | |
| JP3080037B2 (ja) | 論理シミュレーション用モデルの作成方法 | |
| CN108763660B (zh) | 组合电路瞬态脉冲重汇聚现象可满足性分析方法及系统 | |
| Yen et al. | Using path features for hardware trojan detection based on machine learning techniques | |
| Long et al. | IBAW: An implication-tree based alternative-wiring logic transformation algorithm | |
| KR100248380B1 (ko) | 스키메틱 편집기의 신호선 연결도 검사방법 | |
| JPH0954787A (ja) | 回路シミュレーション装置 | |
| JPH06348780A (ja) | レイアウトエディタ装置 | |
| JP2003186935A (ja) | 論理回路検証方法、貫通電流検証方法および貫通電流改善方法 | |
| JPS62217172A (ja) | 回路の照合方法 | |
| JPH10289260A (ja) | 静電破壊検証ツール |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| LAPS | Cancellation because of no payment of annual fees |