JPS6265171A - マスクパタ−ンの検査方法 - Google Patents

マスクパタ−ンの検査方法

Info

Publication number
JPS6265171A
JPS6265171A JP60206073A JP20607385A JPS6265171A JP S6265171 A JPS6265171 A JP S6265171A JP 60206073 A JP60206073 A JP 60206073A JP 20607385 A JP20607385 A JP 20607385A JP S6265171 A JPS6265171 A JP S6265171A
Authority
JP
Japan
Prior art keywords
transistors
transistor
matrix
node
circuit
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.)
Pending
Application number
JP60206073A
Other languages
English (en)
Inventor
Ryoichi Oe
良一 大江
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Fujitsu Ltd
Original Assignee
Fujitsu Ltd
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Fujitsu Ltd filed Critical Fujitsu Ltd
Priority to JP60206073A priority Critical patent/JPS6265171A/ja
Publication of JPS6265171A publication Critical patent/JPS6265171A/ja
Pending legal-status Critical Current

Links

Landscapes

  • Tests Of Electronic Circuits (AREA)
  • Preparing Plates And Mask In Photomechanical Process (AREA)
  • Exposure And Positioning Against Photoresist Photosensitive Materials (AREA)
  • Testing Or Measuring Of Semiconductors Or The Like (AREA)
  • Investigating Materials By The Use Of Optical Means Adapted For Particular Applications (AREA)

Abstract

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

Description

【発明の詳細な説明】 〔概要〕 LSI等のマスクパターンを電子計算機で検査する方法
であって、トランジスタレベルの回路を論理ゲートレベ
ルの回路に変換する際、トランジスタレベルの回路の接
続を追跡してトランジスタ回路を1個の論理ゲートを構
成するトランジスタ群を1グループとなるようにまとめ
、各グループ毎に出力ノードに関して集められたトラン
ジスタ群と分岐ノードに関して集められたトランジスタ
群とに分けて接続情報をマトリクスに格納し、その接続
の認識を行なうにあたり、マトリクスに数値を割当て、
実際のマトリクス内でノードの番号が入っているところ
の番号をすべて加え、この番号により、予め作製してお
いたテーブルを参照して構成している回路を認識する。
接続の認識が行ない易くテーブルを参照して論理ゲート
に変換する処理が容易となり、所要時間が短縮できる。
〔産業上の利用分野〕
本発明はLSI等のマスクパターンを電子計算機を用い
て検査する方法に係り、特に、トランジスタレベルの回
路を論理ゲートレベルの回路に変換する方法において格
納されたトランジスタの接続を認識する方法に関する。
〔従来の技術〕
LSIはマスクパターンに多くの矩形や多角形を形成し
、それを何枚か用いて、ウェハ上に各種のパターンを形
成する。このマスクパターン設計には、人手の介入も多
い為、パターンのレイアウトミスの混入は避けられない
ものとなっている。
そのため、従来計算機によるマスクパターンの検査がよ
く行なわれている。
該マスクパターンの検査を行なう方法としては、マスク
パターンの重なりや位置関係を調べることにより、トラ
ンジスタレベルの回路を復元し、それを論理ゲートレベ
ルの回路に変換して、元の設計回路と比較する方法が用
いられる。
従来、トランジスタレベルから論理ゲートレベルに変換
するには、トランジスタが直列に並んでいるか並列に並
んでいるかにより論理ゲートがへNO系かOR系か(ρ
−chとN−chでは逆)と認識していた。
従来の論理ゲート認識はP側、N側をそれぞれ独立に次
の規則に従って、AND10R変換する。
P側ニジリーズ接続DP→OR回路+DPパラレル接続
DP−AND回路+DP N側: ANDとORが、P側と逆 但し、 龜 (DP:VDDを起点としてTr+−一ソース/ドレイ
ン間接続をたどり出力信号ネットに至るまでに検出した
Pch −Trs DN:同様にVSSを起点として出力信号ネットに至る
までに検出したNch −Tr) ある出力信号ネットに接続するDP、DNがそれぞれ1
個になるまで上記の変換を繰返した後、P側、N側の論
理回路を比較する。
一致した場合、N側から変換した回路の最終段を反転す
る。一致しない場合は、3−ステート(State )
素子を生成する。
インバータの場合はAND 、OR回路は生成されない
ので1人力NAND素子を生成する。
第10図にその変換例を図示してあり、図(A)の回路
を認識する際、左のトランジスタa、bはP−chで直
列なのでここで一つのORを発生する。又、下方のトラ
ンジスタe、fはN−chで且つ並列なので同様にOR
である。従って、図(B)のようになり、ここでトラン
ジスタg、hがP−chで並列なのでANDを発生し、
トランジスタl +にはN−chで直列なのでORを発
生し、図(C)のようになる。このように、P−ch、
 N−chで独自に認識して、設計された回路とP−c
h、 N−chが合っているか相補性をチ°ニックし、
それが合っていたら、最後に図(C)の右端のP−ch
、 N−chのトランジスタは入力共通でインバータに
なるから図(D)でインバータを発生し最終的な論理ゲ
ートに変換し、それがもとの回路と合っていれば正しい
論理ゲートと認識する。
〔発明が解決しようとする問題点〕
ところが、このような従来の論理ゲートの認識法では、
論理ゲートへの゛変換が複雑で手間がかかり、大規模回
路においては、処理時間の点で問題があった。
〔問題点を解決するための手段〕
本発明においては、トランジスタレベルの回路を論理ゲ
ートレベルの回路に変換するための新規な方法であって
、トランジスタレベルの回路の接続を追跡してトランジ
スタ回路を1個の論理ゲートを構成するトランジスタ群
を1グループとなるようにまとめ、各グループ毎に出力
ノードに関して集められたトランジスタ群と分岐ノード
に関して集められたトランジスタ群とに分けて接続情報
をマトリクスに格納し、その接続の認識を行なうにあた
り、マトリクスに数値を割当て、実際のマトリクス内で
ノードの番号が入っているところの番号をすべて加え、
この番号により、予め作製しておいたテーブルを参照し
て構成している回路を認識するようにする。
第9図に本発明概念の説明のために、系統的説明図を示
している。先ず、LSIの製造のための何枚ものマスク
パターンデータから、各層の各パターン間の重なりや位
置関係を調べ(トランジスタ回路抽出ルーチン)、トラ
ンジスタレベルの回路を抽出する。次に、抽出された各
トランジスタ間の接続(直列、並列等)を調べ論理回路
レベルに変換しく論理回路構成ルーチン)、回路設計に
おける論理接続データファイルの情報と比較照合して(
比較照合ルーチン)、マスクパターンの設計エラーを検
出する。
本発明は特にこの論理回路構成ルーチンの改善に関する
ものであり、先ず、トランジスタの接続を追跡してトラ
ンジスタを1個の論理回路を構成するようにグループ化
する。
なおトランジスタのグループ化の手法は本発明において
限定的なものではなく、要は抽出されたトランジスタ回
路を1個の論理ゲートを構成するトランジスタ群を1グ
ルiプとなるようにまとめれば良い。
以下に、従来のようにトランジスタの接続が直列か並列
かを認識することなく、トランジスタの接続を追跡して
トランジスタをグループ化して1つのグループの接続を
1度にみることを可能とする本発明に好適な手法を示す
。即ち、トランジスタ群のグループ化のために、接続を
追跡するにあたり、まず各トランジスタ回路の配線部の
等電位部分(部下ノードと称する)の種別を次の4種類
のうちのどれにあたるかを判別する。
■電源ノード 電源(VDD)、グランド(VSS)につながるノード ■出力ノード 論理ゲートの出力となるノード、即ち、CMO3のの場
合、P−ch、 N−chの両方のトランジスタのソー
ス/ドレインにつながるノードである。
■分岐ノード 3個以上のトランジスタのソース/ドレインにつながる
ノード ■接続ノード 上記■■■以外のすべてのノード このように、各ノードの種別を決定した後、トランジス
タを追跡してグループ化を行なう。
トランジスタを追跡する方法としては、先ず、トランジ
スタのソース/ドレインが電源VDD(高位)又はVS
S(低位)となっているトランジスタに注目し、そのV
DDまたはVSSのノードを出発点としてトランジスタ
のソース/ドレインをたどって追跡を行なう。あるVD
D又はVSSから追跡を始めた場合、その追跡が終了す
る条件としては次の2つがある。
(11追跡により出力ノードに到達した場合(2)追跡
により分岐ノードに到達した場合全てのVDD又はVS
Sからの追跡により得られたトランジスタの接続情報は
最後に到達したノード番号に関して集められる。この中
から(2)の終了条件により分岐ノードに関して集めら
れたトランジスタ群があれば、更にそのノードを出発点
としてまだ追跡されていないトランジスタについて同様
に追跡を行なう。
以上の処理を繰返してすべてのトランジスタがfl)の
終了条件により出力ノードに関して集められれば追跡を
終了する。こうして、それぞれの出力ノードに関して集
められたトランジスタ群が1つのグループであり、即ち
、これが1111の論理ゲートを構成している。第3図
に以上のトランジスタのグループ化をフローチャートで
表している。
次に、このようにグループ化されたトランジスタ群の接
続の認識が行ない易いように、分岐ノード、出力ノード
についてそれらがどのようになっているかを格納してお
く。
この格納方法としては、分岐ノードに関して集められた
トランジスタ群は分岐ノード用マトリクスに(i行j列
のマトリクス)、出力ノードに関して築められたトラン
ジスタ群は出力ノード用マトリクス(il 行j゛列の
マトリクス)の2種に別けて格納する。(ここで1% 
J%  1’ 、J″は設計された回路にもとすき設定
しておく)格納していく方法としては、1個の電源ノー
ドvss、  vooより追跡して得られたトランジス
タのゲート番号を行(或いは列)方向に格納していくこ
とが基本となる。ただし、一度分岐ノードに集められ、
そこから再び追跡を行なっている場合はその分岐ノード
の番号を入れてお(。第2図(A)に分岐ノードの場合
、(B)に出力ノードの場合について以上のトランジス
タの接続格納方法をフローチャートで表している。
分岐ノードに関して集められているトランジスタは+ 
 (3≦i)行j列のマトリクスに格納されているため
、この中にどのよう格納されているかを認識するため、
マトリクスに数値を割当て、実際のマトリクス内でノー
ドの番号が入っているところの番号をすべて加え、この
番号により予め作製しておいたテーブルを参照して構成
している回路を認識する。一方、出力ノードに関して集
められているトランジスタはf°行j”列のマトリクス
に格納されているが、これも同様にマトリクスに数値を
割当てておき、実際のマトリクス内でノードの番号が入
っているところの番号をすべて加え、この番号により予
め作製しておいたテーブルを参照して構成している回路
を認識する。以上のトランジスタの接続認識フローチャ
ートを第1図に表している。
〔作用〕
本発明の方法によれば、従来のようにトランジスタの接
続が直列か並列かを認識することなく、上記手法でトラ
ンジスタの接続を追跡してトランジスタ回路をそれぞれ
1個の論理ゲートを構成するようにグループ化し、その
後各グループ毎にグループ内のトランジスタの接続を分
岐ノード、出力ノードの2種に分けてマトリクスに格納
すると共にマトリクスに数値を割当ておき、実際のマト
リクス内で、ノードの番号が入っているところの番号を
すべて加え、この番号により予め作製しておいたテーブ
ルを参照して構成している回路を認識するので接続の認
識を迅速に行なうことができる。
〔実施例〕
以下、より詳細に本発明を説明するために、第4図のC
MOS構成の回路について、トランジスタを追跡し本発
明の方法でその結果を格納する例を示す。
まず、トランジスタの追跡例を示にあたり、トランジス
タの接続を追跡してトランジスタを1個の論理回路を構
成するようにグループ化する手法例を示す。
その際、ここではトランジスタの接続を追跡してトラン
ジスタをグループ化する前述の第3図のグループ化の手
法を用いる。
第4図において、Tri〜10はトランジスタを示し、
各部に示した数字はノード番号であり、P−chのトラ
ンジスタのゲートノードに1〜4および6を附し、N−
chのトランジスタのゲートノードに1〜4および6を
附し、さらに、これらのトランジスタの接続配線ノード
に5〜9を附している。
またVDDは高位の電源ノード、VSSは低位の電源ノ
ードを表す。
各トランジスタの接続とP−ch、 N−chの別を第
5図の表に示している。また、第6図に前述のノードの
種別と対応して第4図のノード番号を示している。
最初にトランジスタのソース/ドレインがVDD又はV
SSを持つものとしてTri、Tr2.Tr3.Tr5
.Tr8゜↑r9. Trioが選ばれる。このうちT
ri、Tr2.Tr3はすべて分岐ノード5に、またT
r5及びTr8からたどって得られるTr7.Tr6は
出力ツードロに集まり、さらにTr9. TrlOは出
力ノード9に集り、それぞれ1グループを形成する。之
れで最初の追跡は終了する。次に分岐ノード5から同様
に追跡を行なうとTr4をたどって出力ツードロに到達
するため、分岐ノード5に関して集められていたTri
 + Tr2. Tr3とここで追跡したTr4も出力
ツードロのグループに加える。こうして、出力ツードロ
と9に関してそれぞれのトランジスタが集められる。こ
のように出力ノードに関して集められたトランジスタ群
が1個の論理ゲートを構成しているため、これらのグル
ープ毎の接続を認識すれば論理ゲートに変換できる。
次に、前記の格納方法を通用して、各トランジスタを第
7図に示すように格納する。
格納方法としては、1個のVDD又はVSSより追跡し
て得られたトランジスタのゲート番号を行方向に格納し
ていくことを基本とする。但し、一度分岐ノードヘ集め
られ、そこから再び追跡を行なっている場合はその分岐
ノードの番号を入れておく。
第7図(a)において、まず分岐ノード5に関して集め
られるトランジスタはTri、Tr2.Tr3で、その
トランジスタの各ゲート番号が格納されている。ここで
は3本のVDDから追跡されているため、3行が使われ
ている。次に出力ツードロに関して集められているトラ
ンジスタは、P−ch側では分岐ノード5に関して集め
られているトランジスタ群とTr4である。そのためこ
こでは、第7図(b)のようにその分岐ノードの番号5
とTr4のゲートのノード番号4が入れられる。N−c
h側は1本のVSSからTr5が、もう1本のVSSか
らTr8. Tr7. Tr6が追跡されるため、2行
用いて各トランジスタのゲート番号か格納される。出力
ノード9に関して集められるトランジスタへの格納も同
様であり第7図(c)のようにゲート番号6が入られる
なお、ここでトランジスタTr9. TrlOのゲート
は出力ツードロと接続しているから該ノード番号6をゲ
ート番号としている。
次に、それぞれ各グループ内のトランジスタの接続を予
め登録したテーブルを参照することにより認識し、論理
ゲートに変換する。
分岐ノードに関して築められているトランジスタは3行
2列のマトリクスに格納されているため、この中にどの
よう格納されているかを認識するためマトリクスに第8
図のような数値2n  (n−1,2,−)を割当、実
際のマトリクス内でノードの番号が入っているところの
番号をすべて加え、この番号により、予め作製しておい
たテーブルを参照して構成している回路を認識する。
第7図(a)の分岐ノード(ノード番号5)のマトリク
スの例では、該マトリクスにi8図(A)のように、(
1,2)−1、(2,1)−2、(3,1)−4、(3
,2)−8を割当てる(但し、(行1列)を表すものと
する)。ここで、(1,1)及び(2,1)には数値が
割当ててない(−0)が、この2つには接続ノードの定
義上必ずノード番号が入る為、判断する必要がない。従
って、第7図(a)の場合、(1,1)、(2゜1)、
(3,1)にそれぞれゲート番号1,2゜3のトランジ
スタが入っているが、割当てられた数値は(1,1)−
0、(2,1)−0、(3゜1)=4であるから、これ
らを加算すると数値が4となる為、テーブル4の所を参
照し、構成する回路を認識する。
一方、出力ノードに関して集められているトランジスタ
は第7図(b)の4行4列のマトリクスに格納されてい
るが、これも同様に、第8図(B)のような数値を割当
て認識を行なう。ここでは値の設定されていない箇所が
多くあるが、このうち(2,4) (3,3) (3,
4) (4,2) (4、3)  (4,4)について
は論理ゲートを4人力までとした場合、これに格納され
ることはない為、予め与えていない。その他の(1,1
)(2,1)(1,4)については、格納されることが
あるが、これもすべて考慮すると作製しなければならな
いテーブルが1024行になってしまう。そのため、第
8図(B)の方法により認識を行なう前に次のような場
合を分けて行なっている。
(i)(1,1)=0の場合 マトリクスないにトランジスタは格納されていない。
(ii)(1,1)≠0、 (1,2)−(′2.1)−0の場合 即ち、(1,1)にしか格納されていない。普通これは
インバータである。
(iii )  (1、1)≠01(1,2)≠0、(
2,1)−0の場合 即ち、1行目にしか格納されていない。この場合は、(
1,3)及び(1,4>を見ることによりいくつトラン
ジスタがあるかを認識する。
(iv)  (1,1)≠0、(2,1)≠Oの場合こ
の場合にのみ第8図CB)の方法により接続を認識する
例えば、第7図(b)のNCh側を見ると、ゲート1 
号1〜4の4つのトランジスタが入っているので、対応
する第8図のマトリクスに割当てた数値をすべて加算す
ると4+8−12となるから、テーブルの12の所をみ
るとどんな回路かがわかる。
このように、出力ノードに集められたマトリクスの接続
を認識したとき、その中に分岐ノードの番号が含まれる
場合には、その分岐ノードについて得られている接続も
考慮して論理ゲートに変換する。
なお、ここではCMOSの場合について示したが、他の
回路についても全く同様に本発明を通用できる〔発明の
効果〕 以上のように、本発明によれば、トランジスタレベルの
回路の接続を追跡してトランジスタ回路を1個の論理ゲ
ートを構成するトランジスタ群を1グループとなるよう
にまとめ、各グループ毎に出力ノードに関して集められ
たトランジスタ群と分岐ノードに関して集められたトラ
ンジスタ群とに分けて接続情報をマトリクスに格納し、
その接続の認識を行なうにあたり、マトリクスに数値を
割当、実際のマトリクス内でノードの番号が入っている
ところの番号をすべて加え、この番号により、予め作製
しておいたテーブルを参照して構成している回路を認識
するので、接続の認識が行ない易い利点があり、テーブ
ルを参照して論理ゲートに変換する処理が容易であり、
その所要時間が短縮できるという効果がある。
【図面の簡単な説明】
第1図は本発明のトランジスタの接続認識フローチャー
トを示す図、第2図(A)(B)は本発明の実施例のト
ランジスタの接続格納フローチャートを示す図、第3図
は本発明の実施例のトランジスタのグループ化のフロー
チャートを示す図、第4図は本発明の詳細な説明するた
めのトランジスタ回路図、第5図は第4図のトランジス
タの接続図、第6図は第4図のノードの種別を示す図、
第7図(a)(b)(c)は本発明の実施例のマトリク
スを示す図、第8図(A)(B)はそれぞれ分岐ノード
に関するマトリクスの認識図及び出力ノートに関するマ
トリクスの認識図、第9図はマスクパターンの検査方法
の系統図、第10図は従来例の説明図である。 主な符号 1〜9・・・ノード

Claims (1)

  1. 【特許請求の範囲】 マスクパターンデータから、各層の各パターン間の重な
    りや位置関係を調べることによりトランジスタレベルの
    回路を抽出し、該トランジスタレベルの回路の接続を認
    識して論理ゲートに変換し、論理接続データファイルの
    情報と比較してマスクパターンの検査を行なうマスクパ
    ターンの検査方法において、 トランジスタレベルの回路の接続を追跡してトランジス
    タ回路を1個の論理ゲートを構成するトランジスタ群を
    1グループとなるようにまとめ、各グループ毎に出力ノ
    ードに関して集められたトランジスタ群と分岐ノードに
    関して集められたトランジスタ群とに分けて接続情報を
    マトリクスに格納し、その接続の認識を行なうにあたり
    、マトリクスに数値を割当、実際のマトリクス内でノー
    ドの番号が入っているところの番号をすべて加え、この
    番号により、予め作製しておいたテーブルを参照して構
    成している回路を認識することを特徴とするマスクパタ
    ーンの検査方法。
JP60206073A 1985-09-17 1985-09-17 マスクパタ−ンの検査方法 Pending JPS6265171A (ja)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP60206073A JPS6265171A (ja) 1985-09-17 1985-09-17 マスクパタ−ンの検査方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP60206073A JPS6265171A (ja) 1985-09-17 1985-09-17 マスクパタ−ンの検査方法

Publications (1)

Publication Number Publication Date
JPS6265171A true JPS6265171A (ja) 1987-03-24

Family

ID=16517379

Family Applications (1)

Application Number Title Priority Date Filing Date
JP60206073A Pending JPS6265171A (ja) 1985-09-17 1985-09-17 マスクパタ−ンの検査方法

Country Status (1)

Country Link
JP (1) JPS6265171A (ja)

Similar Documents

Publication Publication Date Title
US4763289A (en) Method for the modeling and fault simulation of complementary metal oxide semiconductor circuits
US5210699A (en) Process for extracting logic from transistor and resistor data representations of circuits
US5416717A (en) Circuit simulation method for a circuit realized by an LSI layout pattern based upon a circuit of a logic gate level realized by the layout pattern
JPS63145549A (ja) 論理回路シミユレ−シヨン方法
JP2020537358A (ja) 部品極性検出方法、システム、コンピュータで読取可能な記憶媒体及びデバイス
JPH06317631A (ja) アナログ集積回路のための試験プランを発生する方法
KR100486274B1 (ko) 집적회로 장치 설계용 네트리스트 작성 방법
US20020038446A1 (en) Gate extractor
Mazumder et al. Methodologies for testing embedded content addressable memories
JPS6288323A (ja) マスクパタ−ンの検査方法
JPS6288324A (ja) マスクパタ−ンの検査方法
Kostelijk et al. Automatic verification of library-based IC designs
CN117453519A (zh) 基于低层需求的源代码数据耦合正确性分析方法和系统
JP3373641B2 (ja) テスト系列生成装置
JPH01137371A (ja) 半導体装置の製造方法
Chen et al. Physical-aware diagnosis of multiple interconnect defects
US5943485A (en) Method for testing and for generating a mapping for an electronic device
JPH0327474A (ja) 半導体集積回路用ネットリストの修正方法
JPH0392970A (ja) 半導体回路の機能判定方法
JP2943521B2 (ja) テストベクトル生成方法およびテストベクトル生成装置
JPH03100868A (ja) 回路抽出方法
DE10160513B4 (de) Verfahren zur Verarbeitung von Daten, die Parameter bezüglich einer Anzahl Bauelemente einer elektrischen Schaltung darstellen
Dobrzhinskaya et al. Diagnostic modeling of mixed analog-digital systems
Stevens et al. An integrated approach for hierarchical verification of VLSI mask artwork
US7124393B1 (en) System and method for processing configuration information