(57)【要約】【課題】複数の電源ネットおよびグランドネットを有する半導体集積回路の検証装置を提供する。【解決手段】回路中の論理セルに電源ネット定義用端子とグランドネット定義用端子を設け、接続する電源ネットおよびグランドネット名を付加した回路図情報から電源ネットおよびグランドネット付きのネットリストを出力する接続情報抽出手段１０１と、ネットリストと予め準備された回路図内で使用されている電源端子およびグランド端子を設けた論理セルの接続情報を読み込む接続情報読み込み手段１０２と、レイアウトデータ読み込み手段１０３と、回路図から抽出した接続情報とレイアウトデータとが一致するかを比較する比較手段１０４を有する。【選択図】図１
2004013819.tif 000002
【特許請求の範囲】
【請求項１】
半導体集積回路の複数の電源系統を有する回路の検証装置であって、回路中の論理セルに電源ネット定義用端子とグランドネット定義用端子を設け、かつ接続する電源ネットおよびグランドネット名を付加した回路図情報から、電源ネットおよびグランドネット付きのネットリストを出力する接続情報抽出手段と、前記ネットリストと予め準備された前記回路図内で使用されている電源端子およびグランド端子を設けた論理セルの接続情報を読み込みネットリストを完成する接続情報読み込み手段と、前記回路図に基づいて作成されたレイアウトを読み込むレイアウトデータ読み込み手段と、前記回路図から抽出した接続情報と前記回路図に基づいて作成されたレイアウトデータとが一致するかどうかを検証する検証手段を備えた半導体集積回路の検証装置。
【発明の詳細な説明】
【０００１】
【発明の属する技術分野】
本発明は、半導体集積回路の検証装置に関する。
【０００２】
【従来の技術】
従来、半導体集積回路の回路図とこの回路図を基に作成されたレイアウトとが一致しているかどうかの検証装置において、複数の電源ネットおよび複数のグランドネットを有する回路とこの回路を基に作成されたレイアウトの接続の検証では、回路内に存在する同一機能および同一レイアウトのセルを使用している場合でも、図５に示したような入出力端子の接続情報のみを出力したネットリストで検証を実施するとき、接続する電源およびグランドのネット名が異なると、セル名を変更して複数の電源のレイアウト検証が行われている。
【０００３】
【発明が解決しようとする課題】
しかしながら、図５で示したようなネットリストを使用すると、同一機能および同一レイアウトのセルであるにもかかわらず、接続する電源およびグランドのネット名が異なるためセル名を変更するので、データ量が増加するだけでなく、作成された回路図とは異なるセル名を用いたネットリストを作成せねばならず回路図と回路図を基に作成したレイアウトとが一致していなかった場合の誤りを見つけることが困難という問題がある。
【０００４】
本発明は上記の課題を解決し、回路図の一元管理とデータの削減が可能な半導体集積回路の検証装置を提供することを目的とする。
【０００５】
【課題を解決するための手段】
請求項１記載の半導体集積回路の検証装置は、半導体集積回路の複数の電源系統を有する回路の検証装置であって、回路中の論理セルに電源ネット定義用端子とグランドネット定義用端子を設け、かつ接続する電源ネットおよびグランドネット名を、例えば回路図作成手段等で付加した回路図情報から、電源ネットおよびグランドネット付きのネットリストを出力する接続情報抽出手段と、ネットリストと予め準備された回路図内で使用されている電源端子およびグランド端子を設けた論理セルの接続情報を読み込みネットリストを完成する接続情報読み込み手段と、回路図に基づいて作成されたレイアウトを読み込むレイアウトデータ読み込み手段と、回路図から抽出した接続情報と回路図に基づいて作成されたレイアウトデータとが一致するかどうかを検証する検証手段を備えたものである。
【０００６】
請求項１記載の半導体集積回路の検証装置によれば、複数の電源ネットおよびグランドネットを有する回路と、この回路に基づいて作成されたレイアウトが一致するかどうかを検証することができる。したがって、複数の電源ネットおよびグランドネットを有する回路において、異なる電源、グランドごとにセル名のが必要な従来の方法に比べ、回路図の一元管理とデータの削減に効果を奏する。
【０００７】
【発明の実施の形態】
以下に、本発明の実施の形態について、図面を参照しながら説明する。
【０００８】
図１は、本発明の一実施の形態である半導体集積回路の検証方法の処理フロー図である。
【０００９】
１０１は論理セルにより構成される回路から接続情報を抽出する接続情報抽出手段、１０２は手段１０１で抽出された接続情報と予め準備された論理セル回路の接続情報を読み込みネットリストを完成する接続情報読み込み手段、１０３は接続情報抽出手段１０１の回路に基づき作成したレイアウトを読み込むレイアウトデータ読み込み手段、１０４は手段１０２のネットリストと手段１０３のレイアウトが一致しているかどうかを比較する比較手段であり、この結果に基づいて複数の電源ネットおよびグランドネットを有する回路と、この回路に基づいて作成されたレイアウトが一致するかどうかを検証する検証手段を構成する。
【００１０】
以下図２を用いて図１の具体的な動作過程を説明する。図２は複数の電源系統を有する半導体集積回路の一部であり、手段１０１においては図２の回路図２０１のネットリストを、電源およびグランドのネット名の情報を含んだネットリストで生成するために、回路作成用シンボルに電源ネット定義端子とグランドネット定義端子を設ける。これらの電源ネット定義端子とグランドネット定義端子は論理シミュレーションには使用されない端子である。
【００１１】
２０１は複数の電源ネットおよび複数のグランドネットを有する半導体集積回路、２０２から２０５は半導体集積回路２０１を構成する論理セルＩ１〜Ｉ４、２０６から２０９はセルが有する電源ネット定義用端子、２１０から２１３はセルが有するグランドネット定義用端子である。
【００１２】
図２の半導体集積回路２０１ではセル２０２および２０３は電源ネットＶＤＤ１、グランドネットＶＳＳ１に接続するので、セル２０２の電源ネット端子２０６とセル２０３の電源ネット定義端子２０７にはＶＤＤ１を設定し、またセル２０２のグランドネット定義端子２１０とセル２０３のグランドネット端子２１１にはＶＳＳ１を設定する。
【００１３】
またセル２０４および２０５は電源ＶＤＤ２、グランドネットＶＳＳ２に接続するのでセル２０４の電源ネット端子２０８とセル２０５の電源ネット定義端子２０９にはＶＤＤ２を設定し、またセル２０４のグランドネット端子２１２とセル２０５のグランドネット端子２１３にはＶＳＳ２を設定する。
【００１４】
手段１０１で半導体集積回路２０１のネットリストを出力する場合に通常の入出力端子に加えて電源ネット定義用端子に設定されている電源ネット名とグランドネット定義用端子に定義されているグランドネット名とを出力したネットリストを作成する。
【００１５】
図３に手段１０１で出力した半導体集積回路２０１のネットリストの一部の一例を示す。
【００１６】
３０１は手段１０１で出力したネットリストで、セルの入出力端子に加えて３０２の項は電源のネット名、３０３の項はグランドのネット名を追加したネットリストである。
【００１７】
半導体集積回路２０１のセル２０２とセル２０３は電源ネットＶＤＤ１とグランドネットＶＳＳ１に接続し、セル２０４とセル２０５は電源ネットＶＤＤ２とグランドネットＶＳＳ２に接続している。セル２０２とセル２０４は機能およびレイアウト形状も同一であるが、接続する電源ネット名およびグランドネット名が異なり、またセル２０３とセル２０５も同様に、機能およびレイアウト形状は同一であるが、接続する電源ネット名およびグランドネット名が異なるため、セル２０２と２０３は電源ネット名ＶＤＤ１およびグランドネット名ＶＳＳ１を、セル２０４と２０５は電源ネット名ＶＤＤ２およびＶＳＳ２をそれぞれネットリストに出力している。
【００１８】
また図４にはこれに対応したセルのサブサーキットのネットリストの一例を示す。図４はあらかじめ用意された標準セルであり、セル２０３および２０５のｎａｎｄ２のセルに対応したサブサーキットである。
【００１９】
ｎａｎｄ２のセルの端子は信号の入出力端子ＯＵＴ、ＩＮ１、ＩＮ２に加えてＰＷＲという名前の電源端子、ＧＮＤという名前のグランド端子をネットリストとしては有している。手段１０２のネットリストを完成する手段で、手段１０１で出力した図３でその一例を示した半導体集積回路２０１のネットリストと図４でその一例を示したあらかじめ用意しておいた標準セルのサブサーキットのネットリストを読み込み、トランジスタなどのデバイスで構成したネットリストを完成する。さらに手段１０３で半導体集積回路２０１のレイアウトデータを読み込み、手段１０４でレイアウトとネットリストが一致するかどうかの検証を行う。
【００２０】
また、本発明の半導体集積回路の検証方法は、複数の電源ネットおよびグランドネットを有する半導体集積回路とこの回路に基づいて作成されたレイアウトが一致するかどうかの検証方法であって、回路中の論理セルに対して電源ネット定義端子およびグランドネット定義端子を設け、電源ネット定義端子に接続する電源ネット名を設定しまたグランドネット定義端子に接続するグランドネット名を設定し、回路図内のそれぞれのセルについては設定した電源ネット名およびグランドネット名を含む接続情報を抽出する接続情報抽出ステップと、接続情報抽出ステップで出力された接続情報と予め準備された回路図内で使用されている電源端子およびグランド端子を設けた論理セルの接続情報を読み込みネットリストを完成する接続情報読み込みステップと、回路図に基づいて作成されたレイアウトを読み込むレイアウトデータ読み込みステップと、回路図から抽出した接続情報と回路図に基づいて作成されたレイアウトデータと比較するステップを有することにより、複数の電源ネットおよびグランドネットを有する回路と、回路に基づいて作成されたレイアウトが一致するかどうかを検証する。
【００２１】
【発明の効果】
請求項１記載の半導体集積回路の検証装置によれば、複数の電源ネットおよびグランドネットを有する回路において、異なる電源、グランドごとにセル名のが必要な従来の方法に比べ、回路図の一元管理とデータの削減に効果を奏する。
【図面の簡単な説明】
【図１】本発明の一実施の形態である半導体集積回路の検証方法の処理手順を示すフローチャートである。
【図２】複数の電源ネットおよびグランドネットを有する半導体集積回路の一例を示す説明図である。
【図３】複数の電源ネットおよびグランドネットを有する半導体集積回路の接続情報の一例を示す説明図である。
【図４】半導体集積回路内で使用されているセルの接続情報の一例を示す説明図である。
【図５】従来の半導体集積回路の接続情報の一例を示す説明図である。
【符号の説明】
１０１　論理セルで構成される回路から接続情報抽出手段
１０２　論理セルの回路接続情報読み込みネットリストを完成する手段
１０３　レイアウトデータ読み込み手段
１０４　ネットリストとレイアウトとの比較手段
【図１】
2004013819.tif 000003
【図２】
2004013819.tif 000004
【図３】
2004013819.tif 000005
【図４】
2004013819.tif 000006
【図５】
2004013819.tif 000007