(57)【特許請求の範囲】
【請求項１】
論理ネットリストの１つの注目ネットを起点とする複数の信号経路に連なる、素子名、素子タイプ名及び素子端子名を含むネット情報を抽出し、該抽出されたネット情報を前記信号経路毎に連結して該注目ネットのパス名を生成する手段と、
前記論理ネットリストを元に生成された物理ネットリストの、前記注目ネットに対応する１つの対象ネットを起点とする複数の信号経路に連なる、素子名、素子タイプ名及び素子端子名を含むネット情報を抽出し、該抽出されたネット情報を前記信号経路毎に連結して該対象ネットのパス名を生成する手段と、
前記注目ネットのパス名と前記対象ネットのパス名とを照合して両ネットリストの一致を検証する手段と、を含むことを特徴とするネットリスト検証装置。
【発明の詳細な説明】
【０００１】
【発明の属する技術分野】
本発明は、半導体集積回路のネットリスト検証装置に関し、特に、大規模な半導体集積回路の設計支援に用いて好適なネットリスト検証装置に関する。
【０００２】
【発明の背景】
図３は大規模な半導体集積回路の設計概念図である。１は所望の回路機能を実現するために必要な、最適な論理セルを組み合わせて論理ネットリストを設計する工程、２は工程１で設計された論理ネットリストを元に実際のマスクパターンを作成するための物理ネットリストを設計する工程、３はこれら２種類のネットリストの間の照合をとるネットリスト検証の工程であり、検証の結果がＯＫであれば、その物理ネットリストを用いてマスクパターンを作成し、ＮＧであればその物理ネットリストに対して所要の修正処理を施すようになっているが、レイアウトの検証に要する時間は、半導体集積回路の規模に依存するから、特に、大規模な半導体集積回路の設計に際しては、できるだけ短い時間で検証を行うことのできる効率的な方法及びその装置が望まれる。
【０００３】
【従来の技術】
便宜的に、図４のようなネットリストを仮定する。図４において、黒丸（●）は端子、四角形は素子、実線は配線を表しており、これらの各ネット要素には、論理ネットリストの設計時に自動で又は手動で与えられた様々なネット情報が付加されている。特に限定しないが、図４に示すネット情報は、以下のとおりの意味を有している。
【０００４】
ＥＸＴ：端子種別（ＥＸＴは外部端子）
Ｎ＊：ネット構造名
Ｔ＊：素子名
Ｌ＊：素子タイプ名
Ａ、Ｘ：素子端子名
（但し＊は０、１、２、３、………）
従来のネットリストの検証は、論理ネットリスト内のネット情報と物理ネットリスト内のネット情報とを１対１で照合していた。
【０００５】
【発明が解決しようとする課題】
しかしながら、かかる従来のネットリスト検証方法にあっては、一つのネットリスト内に同一のネット情報が存在した場合にそれらを区別することができないため、人為的に識別せざるを得ないという不都合があり、特に、大規模なネットリストでは、同一ネット情報の存在が避けられないから、レイアウト検証の効率が著しく損なわれるという問題点があった。
【０００６】
そこで、本発明は、一つのネットリスト内に同一のネット情報が存在していた場合にそれらを区別でき、特に、大規模なネットリストにおけるレイアウト検証の効率化を図ることを目的とする。
【０００７】
【課題を解決するための手段】
上記目的を達成するために、本発明のネットリスト検証装置は、論理ネットリストの１つの注目ネットを起点とする複数の信号経路に連なる、素子名、素子タイプ名及び素子端子名を含むネット情報を抽出し、該抽出されたネット情報を前記信号経路毎に連結して該注目ネットのパス名を生成する手段と、前記論理ネットリストを元に生成された物理ネットリストの、前記注目ネットに対応する１つの対象ネットを起点とする複数の信号経路に連なる、素子名、素子タイプ名及び素子端子名を含むネット情報を抽出し、該抽出されたネット情報を前記信号経路毎に連結して該対象ネットのパス名を生成する手段と、前記注目ネットのパス名と前記対象ネットのパス名とを照合して両ネットリストの一致を検証する手段と、を含むことを特徴とする。
【０００９】
本発明のレイアウト検証装置では、従来技術のような１対１のネット情報の照合でなく、ネット情報を連結生成したパス名の照合によって検証が行われる。
ここで、前出の図４を用いてパス名を説明する。便宜的に注目ネットをＮ０とすると、このネット情報（Ｎ０）だけでは、Ｎ０につながる二つの要素（Ｔ１、Ｔ２）のネット情報（Ａ．Ｌ１）が同一となって区別できないが、Ｎ０を起点とする信号経路に沿った各ネット情報を連結して、次表１のようなパス名を生成すれば、そのパス名の一致／不一致から、Ｎ０につながる要素（Ｔ１、Ｔ２）を正確に区別することができる。
【００１０】
0003696301.tif 000002
なお、表１では、１番目と３番目のパス名（Ａ．Ｌ１．Ａ．Ｎ１）が一致しているが、これはＮ０の一つ先のネット情報までしか連結していない（パス名が浅い）ためであり、連結数を増やすほど、パス名のユニーク性（一意性）を増すことができる。但し、ネットの最後まで連結してもパス名が不一致にならない場合は、それらは実質的に同一の回路であるから、共通のネットとして取り扱ってもレイアウト検証上支障にはならない。
【００１１】
【発明の実施の形態】
以下、本発明の実施例を図面に基づいて説明する。
図１は本発明に係るネットリスト検証装置の一実施例を説明するためのネットリスト概念図である。この図において、ＥＸＴは端子種別（ＥＸＴは外部端子）、Ｎ＊はネット構造名（但し＊は０，１，２，３，………；以下同様）、Ｃ＊は素子名、Ｌ＊は素子タイプ名、Ａ及びＸは素子端子名であり、これらはいずれも発明の要旨に記載のネット情報に相当する。
【００１２】
本実施例では、まず、論理ネットリストの注目ネットを起点とする信号経路に連なるネット情報を連結して該注目ネットのパス名を生成する。具体的には、図１のネットリストを論理ネットリストとし、かつ、Ｎ０を注目ネットと仮定すると、Ｎ０を起点とする信号経路に連なるネット情報を連結したパス名は、次表２のように生成される（但し、Ｎ０の二つ先のネット情報までを連結した場合）。次表２において、※印を付したパス名はユニークなものである。
【００１３】
0003696301.tif 000003
このように、論理ネットリストのパス名を生成すると、次に、当該論理ネットリストを元に生成された物理ネットリストの、前記注目ネットに対応する対象ネット（すなわち物理ネットリストのＮ０）を起点とする信号経路に連なるネット情報を連結し、該対象ネットのパス名を生成する。ここで、両ネットリストの整合がとれているとすると、対象ネットのパス名も前表２のようになるはずである。
【００１４】
したがって、注目ネットのパス名と対象ネットのパス名とを照合した場合に、それぞれのパス名が、両ネットリスト内でユニーク（前表２の※印参照）である限り、一つのネットリスト内に同一のネット情報が存在していても、それらを正確に区別することができるから、ネットリスト検証の時間短縮と効率化を図ることができる。
【００１５】
なお、前表２において、※印以外の他のパス名はユニークでないが、これは、注目ネット（Ｎ０）の二つ先のネット情報までを連結したからである。連結数をより深めていけば、他のパス名もユニークになる。なお、ネットの最後まで連結しても、いくつかのパス名はユニークにならないことがある。図２はそのようなパス名が発生するネットリストの例である。
【００１６】
図２において、注目ネットをＮ０とすると、このＮ０を起点とする信号経路に連なるネット情報のパス名は、次表３に示すようになる。
0003696301.tif 000004
ここで、二つのパス名は完全一致であり、実質的に同一の構成である（Ｔ１、Ｔ３及びＴ５とＴ２、Ｔ４及びＴ６を逆にしてもよい）から、レイアウト検証上、一緒のものとして取り扱っても差し支えない。
【００１７】
なお、すべてのネット情報を一度に連結し、完全なパス名を生成してから検証を行ってもよいが、ネット情報を一つずつ連結し、その都度、検証を行うようにした方が効率の点で好ましい。大多数のパス名は、少ない連結数でユニークなものになるからである。
【００１８】
【発明の効果】
本発明によれば、ネット情報を連結したパス名によって検証を行うので、一つのネットリスト内に同一のネット情報が存在していた場合でもそれらを区別することができ、特に、大規模なネットリストにおけるレイアウト検証の効率化を図ることができるという、従来技術にはない特有の効果を得ることができる。
【図面の簡単な説明】
【図１】一実施例のレイアウト検証を説明するためのネットリスト概念図である。
【図２】一実施例のレイアウト検証を説明するための他のネットリスト概念図である。
【図３】半導体集積回路の設計概念図である。
【図４】従来例のレイアウト検証を説明するためのネットリスト概念図である。
【符号の説明】
Ｎ０：注目ネット又は対象ネット
ＥＸＴ、Ｎ＊、Ｔ＊、Ｌ＊、Ｃ＊、Ａ、Ｘ：ネット情報
【図１】
0003696301.tif 000005
【図２】
0003696301.tif 000006
【図３】
0003696301.tif 000007
【図４】
0003696301.tif 000008