(57)【特許請求の範囲】
【請求項１】
ネットリストからＮＯＰＯＷ型ライブラリを使用する部品の電源・グランドピンの接続情報をメモリに抽出し、部品ライブラリからＮＯＰＯＷ型に対応するＰＯＷ型部品のライブラリ情報の電源・グランドピンの定義を前記メモリに抽出し、電源・グランドピンの接続の情報と電源・グランドピンの定義とを比較し、比較結果を前記メモリに格納する検証手段を有することを特徴とする設計検証システム。
【請求項２】
ネットリスト、および、ＮＯＰＯＷ型部品抽出ルールをメモリに入力し、前記ネットリストから前記ＮＯＰＯＷ型部品抽出ルールに基づいてＮＯＰＯＷ型部品の接続を含む部品情報を抽出し、ＮＯＰＯＷ型ライブラリ使用部品情報を前記メモリに作成するＮＯＰＯＷ型部品抽出手段と、部品ライブラリ、ＰＯＷ型ライブラリ抽出ルールを前記メモリに入力し、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各部品のＮＯＰＯＷ型ライブラリ名に対し、前記ＰＯＷ型ライブラリ抽出ルールに基づいて、前記部品ライブラリから対応するＰＯＷ型ライブラリ名を対応させ、対応ＰＯＷ型ライブラリ名情報を前記メモリに作成するＰＯＷ型ライブラリ抽出手段と、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各ＮＯＰＯＷ型部品の電源・グランドピンの接続と、前記部品ライブラリから前記対応ＰＯＷ型ライブラリ名情報に基づいて抽出された対応するＰＯＷ部品の電源・グランドピンの定義とを比較し、相違情報を前記メモリに作成するＧ／Ｖピンアサイン検証手段とを有することを特徴とする設計検証システム。
【請求項３】
ネットリスト、および、ＮＯＰＯＷ型部品抽出ルールをメモリに入力し、前記ネットリストから前記ＮＯＰＯＷ型部品抽出ルールに基づいてＮＯＰＯＷ型部品の接続を含む部品情報を抽出し、ＮＯＰＯＷ型ライブラリ使用部品情報を前記メモリに作成するＮＯＰＯＷ型部品抽出手段と、部品ライブラリ、ＰＯＷ型ライブラリ抽出ルールを前記メモリに入力し、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各部品のＮＯＰＯＷ型ライブラリ名に対し、前記ＰＯＷ型ライブラリ抽出ルールに基づいて、前記部品ライブラリから対応するＰＯＷ型ライブラリ名を対応させ、対応ＰＯＷ型ライブラリ名情報を前記メモリに作成し、対応するＰＯＷ型ライブラリ名が存在しない場合には、存在しないことを示す内容を前記メモリの相違情報に格納するＰＯＷ型ライブラリ抽出手段と、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各ＮＯＰＯＷ型部品の電源・グランドピンの接続と、前記部品ライブラリから前記対応ＰＯＷ型ライブラリ名情報に基づいて抽出された対応するＰＯＷ部品の電源・グランドピンの定義とを比較し、相違の内容を前記メモリの前記相違情報に格納するＧ／Ｖピンアサイン検証手段とを有することを特徴とする設計検証システム。
【請求項４】
ネットリストからＮＯＰＯＷ型ライブラリを使用する部品の電源・グランドピンの接続情報をメモリに抽出し、部品ライブラリからＮＯＰＯＷ型に対応するＰＯＷ型部品のライブラリ情報の電源・グランドピンの定義を前記メモリに抽出し、電源・グランドピンの接続の情報と電源・グランドピンの定義とを比較し、比較結果を前記メモリに格納する検証手順を含むことを特徴とする設計検証方法。
【請求項５】
ネットリスト、および、ＮＯＰＯＷ型部品抽出ルールをメモリに入力し、前記ネットリストから前記ＮＯＰＯＷ型部品抽出ルールに基づいてＮＯＰＯＷ型部品の接続を含む部品情報を抽出し、ＮＯＰＯＷ型ライブラリ使用部品情報を前記メモリに作成するＮＯＰＯＷ型部品抽出手順と、部品ライブラリ、ＰＯＷ型ライブラリ抽出ルールを前記メモリに入力し、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各部品のＮＯＰＯＷ型ライブラリ名に対し、前記ＰＯＷ型ライブラリ抽出ルールに基づいて、前記部品ライブラリから対応するＰＯＷ型ライブラリ名を対応させ、対応ＰＯＷ型ライブラリ名情報を前記メモリに作成するＰＯＷ型ライブラリ抽出手順と、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各ＮＯＰＯＷ型部品の電源・グランドピンの接続と、前記部品ライブラリから前記対応ＰＯＷ型ライブラリ名情報に基づいて抽出された対応するＰＯＷ部品の電源・グランドピンの定義とを比較し、相違情報を前記メモリに作成するＧ／Ｖピンアサイン検証手順とを含むことを特徴とする設計検証方法。
【請求項６】
ネットリスト、および、ＮＯＰＯＷ型部品抽出ルールをメモリに入力し、前記ネットリストから前記ＮＯＰＯＷ型部品抽出ルールに基づいてＮＯＰＯＷ型部品の接続を含む部品情報を抽出し、ＮＯＰＯＷ型ライブラリ使用部品情報を前記メモリに作成するＮＯＰＯＷ型部品抽出手順と、部品ライブラリ、ＰＯＷ型ライブラリ抽出ルールを前記メモリに入力し、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各部品のＮＯＰＯＷ型ライブラリ名に対し、前記ＰＯＷ型ライブラリ抽出ルールに基づいて、前記部品ライブラリから対応するＰＯＷ型ライブラリ名を対応させ、対応ＰＯＷ型ライブラリ名情報を前記メモリに作成し、対応するＰＯＷ型ライブラリ名が存在しない場合には、存在しないことを示す内容を前記メモリの相違情報に格納するＰＯＷ型ライブラリ抽出手順と、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各ＮＯＰＯＷ型部品の電源・グランドピンの接続と、前記部品ライブラリから前記対応ＰＯＷ型ライブラリ名情報に基づいて抽出された対応するＰＯＷ部品の電源・グランドピンの定義とを比較し、相違の内容を前記メモリの前記相違情報に格納するＧ／Ｖピンアサイン検証手順とを含むことを特徴とする設計検証方法。
【請求項７】
ネットリストからＮＯＰＯＷ型ライブラリを使用する部品の電源・グランドピンの接続情報をメモリに抽出し、部品ライブラリからＮＯＰＯＷ型に対応するＰＯＷ型部品のライブラリ情報の電源・グランドピンの定義を前記メモリに抽出し、電源・グランドピンの接続の情報と電源・グランドピンの定義とを比較し、比較結果を前記メモリに格納する検証手順をコンピュータに実行させることを特徴とする設計検証プログラム。
【請求項８】
ネットリスト、および、ＮＯＰＯＷ型部品抽出ルールをメモリに入力し、前記ネットリストから前記ＮＯＰＯＷ型部品抽出ルールに基づいてＮＯＰＯＷ型部品の接続を含む部品情報を抽出し、ＮＯＰＯＷ型ライブラリ使用部品情報を前記メモリに作成するＮＯＰＯＷ型部品抽出手順と、部品ライブラリ、ＰＯＷ型ライブラリ抽出ルールを前記メモリに入力し、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各部品のＮＯＰＯＷ型ライブラリ名に対し、前記ＰＯＷ型ライブラリ抽出ルールに基づいて、前記部品ライブラリから対応するＰＯＷ型ライブラリ名を対応させ、対応ＰＯＷ型ライブラリ名情報を前記メモリに作成するＰＯＷ型ライブラリ抽出手順と、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各ＮＯＰＯＷ型部品の電源・グランドピンの接続と、前記部品ライブラリから前記対応ＰＯＷ型ライブラリ名情報に基づいて抽出された対応するＰＯＷ部品の電源・グランドピンの定義とを比較し、相違情報を前記メモリに作成するＧ／Ｖピンアサイン検証手順とをコンピュータに実行させることを特徴とする設計検証プログラム。
【請求項９】
ネットリスト、および、ＮＯＰＯＷ型部品抽出ルールをメモリに入力し、前記ネットリストから前記ＮＯＰＯＷ型部品抽出ルールに基づいてＮＯＰＯＷ型部品の接続を含む部品情報を抽出し、ＮＯＰＯＷ型ライブラリ使用部品情報を前記メモリに作成するＮＯＰＯＷ型部品抽出手順と、部品ライブラリ、ＰＯＷ型ライブラリ抽出ルールを前記メモリに入力し、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各部品のＮＯＰＯＷ型ライブラリ名に対し、前記ＰＯＷ型ライブラリ抽出ルールに基づいて、前記部品ライブラリから対応するＰＯＷ型ライブラリ名を対応させ、対応ＰＯＷ型ライブラリ名情報を前記メモリに作成し、対応するＰＯＷ型ライブラリ名が存在しない場合には、存在しないことを示す内容を前記メモリの相違情報に格納するＰＯＷ型ライブラリ抽出手順と、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各ＮＯＰＯＷ型部品の電源・グランドピンの接続と、前記部品ライブラリから前記対応ＰＯＷ型ライブラリ名情報に基づいて抽出された対応するＰＯＷ部品の電源・グランドピンの定義とを比較し、相違の内容を前記メモリの前記相違情報に格納するＧ／Ｖピンアサイン検証手順とをコンピュータに実行させることを特徴とする設計検証プログラム。
【発明の詳細な説明】
【０００１】
【発明の属する技術分野】
本発明は、設計検証システム、設計検証方法、および、設計検証プログラムに関し、特に、グランド、電源ピンに対する設計検証システム、設計検証方法、および、設計検証プログラムに関する。
【０００２】
【従来の技術】
従来のカードの論理設計システムは、電源、グランドを定義したＰＯＷ型ライブラリと、電源、グランドを定義しないＮＯＰＯＷ型ライブラリを設計者が部品毎に選択して、回路図エディタを使用してネットリストを作成する手法が実用化されている。
【０００３】
また、従来の技術としては、たとえば、「特開２０００−９９５６１号公報」記載のものがある。この技術は、「解析対象装置の論理回路を構成する素子の間の接続関係を規定するネットリストを格納するネットリスト格納手段と、その素子の各々をその論理回路のチップ上に配置して形成されるインスタンスの各々の位置情報とインスタンス間の接続情報とからなる配置配線情報を格納する配置配線情報格納手段と、論理回路を構成する１つ以上の素子からなるセル毎の遅延時間を格納するセル・ディレイ・ライブラリと、そのネットリスト格納手段との出力に基づいてインスタンスの動作時間を静的に算出する動作時間算出部と、論理回路を構成するセルの動作状態での予め算出された消費電流パラメータを格納するセル・パワー・ライブラリと、ネットリスト格納手段の出力と、配置配線情報格納手段の出力と、動作時間算出部の出力に得られた静的に算出された各インスタンスの動作時間と、セル・パワー・ライブラリの出力に得られる消費電流パラメータとに基づいて、論理回路全体で最も電流が消費される時刻、最大消費電流値、及び最大電流消費位置を算出する最大消費電流値算出部と、論理回路内の電源配線上での電圧降下を、最大消費電流値算出部の出力に基づいて解析・検証する電源電圧変動解析部とを備える半導体装置の電源電圧変動解析装置」である。
【０００４】
【発明が解決しようとする課題】
上述した従来の技術の問題点は、ＰＯＷ型の設計では、Ｇ／Ｖピンを回路図作成後にＰＯＷ型ライブラリから自動発生するが、ＰＯＷ型ライブラリで定義した通りの使い方しかできず、オープンにしたりネットを分けることができないことである。たとえば、ＥＭＩ対策のために、内層を分割して接続したい場合、電位が同じでも、分割した単位毎にネット名を分ける必要があるが、ＰＯＷ型ではネット名を分けて発生することはできず、一律に同じネット名になってしまう。また、同様な理由から、Ｇ／Ｖピンを信号層で配線し内層に接続することができない。さらに、回路図上でＧ／Ｖピンを表示することができないといった問題がある。
【０００５】
代替手段としてＮＯＰＯＷライブラリを使って設計する手法がある。
【０００６】
ＮＯＰＯＷライブラリ使用時は、ＰＯＷ型では不可能な、Ｇ／Ｖピンのオープンやネット名を分けたり、Ｇ／Ｖピンを信号層でひきまわす設計が可能であり、また、回路図上でＧ／Ｖピンを表示することができるが、一方、Ｇ／Ｖピンを自動発生できないため、設計者が手動でアサインする必要がある。
【０００７】
このように、従来技術では、ＮＯＰＯＷ型ライブラリを使用しなければ設計できないカード設計において、前述の通り、Ｇ／Ｖピンのアサインを設計者が手動で行わなければならないが、そのアサインが正しく行われているかどうかを検証する手段が、回路図エディタとライブラリ仕様書を目視で確認する以外無く、信号ピン数が１０００ピンを越える部品（主にＬＳＩ）を搭載する場合、Ｇ／Ｖピン数は１０００オーダーになるため、設計者の誤解や認識違いが原因となるＧ／Ｖピンアサインミスが頻発し、カード設計品質を低下させる原因となっている。
【０００８】
また、「特開２０００−９９５６１号公報」の技術においては、実際の電源電圧の変動は解析できるが、個別のＧ／Ｖピンの接続誤りを発見するのは困難である。
【０００９】
本発明の目的は、ネットリストの接続情報と部品ライブラリの定義との不一致を自動的に検出し、Ｇ／Ｖの接続の適否を容易に検証可能とすることである。
【００１０】
【課題を解決するための手段】
本発明の第１の設計検証システムは、ネットリストからＮＯＰＯＷ型ライブラリを使用する部品の電源・グランドピンの接続情報をメモリに抽出し、部品ライブラリからＮＯＰＯＷ型に対応するＰＯＷ型部品のライブラリ情報の電源・グランドピンの定義を前記メモリに抽出し、電源・グランドピンの接続の情報と電源・グランドピンの定義とを比較し、比較結果を前記メモリに格納する検証手段を有することを特徴とする。
【００１１】
本発明の第２の設計検証システムは、ネットリスト、および、ＮＯＰＯＷ型部品抽出ルールをメモリに入力し、前記ネットリストから前記ＮＯＰＯＷ型部品抽出ルールに基づいてＮＯＰＯＷ型部品の接続を含む部品情報を抽出し、ＮＯＰＯＷ型ライブラリ使用部品情報を前記メモリに作成するＮＯＰＯＷ型部品抽出手段と、部品ライブラリ、ＰＯＷ型ライブラリ抽出ルールを前記メモリに入力し、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各部品のＮＯＰＯＷ型ライブラリ名に対し、前記ＰＯＷ型ライブラリ抽出ルールに基づいて、前記部品ライブラリから対応するＰＯＷ型ライブラリ名を対応させ、対応ＰＯＷ型ライブラリ名情報を前記メモリに作成するＰＯＷ型ライブラリ抽出手段と、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各ＮＯＰＯＷ型部品の電源・グランドピンの接続と、前記部品ライブラリから前記対応ＰＯＷ型ライブラリ名情報に基づいて抽出された対応するＰＯＷ部品の電源・グランドピンの定義とを比較し、相違情報を前記メモリに作成するＧ／Ｖピンアサイン検証手段とを有することを特徴とする。
【００１２】
本発明の第３の設計検証システムは、ネットリスト、および、ＮＯＰＯＷ型部品抽出ルールをメモリに入力し、前記ネットリストから前記ＮＯＰＯＷ型部品抽出ルールに基づいてＮＯＰＯＷ型部品の接続を含む部品情報を抽出し、ＮＯＰＯＷ型ライブラリ使用部品情報を前記メモリに作成するＮＯＰＯＷ型部品抽出手段と、部品ライブラリ、ＰＯＷ型ライブラリ抽出ルールを前記メモリに入力し、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各部品のＮＯＰＯＷ型ライブラリ名に対し、前記ＰＯＷ型ライブラリ抽出ルールに基づいて、前記部品ライブラリから対応するＰＯＷ型ライブラリ名を対応させ、対応ＰＯＷ型ライブラリ名情報を前記メモリに作成し、対応するＰＯＷ型ライブラリ名が存在しない場合には、存在しないことを示す内容を前記メモリの相違情報に格納するＰＯＷ型ライブラリ抽出手段と、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各ＮＯＰＯＷ型部品の電源・グランドピンの接続と、前記部品ライブラリから前記対応ＰＯＷ型ライブラリ名情報に基づいて抽出された対応するＰＯＷ部品の電源・グランドピンの定義とを比較し、相違の内容を前記メモリの前記相違情報に格納するＧ／Ｖピンアサイン検証手段とを有することを特徴とする。
【００１３】
本発明の第１の設計検証方法は、ネットリストからＮＯＰＯＷ型ライブラリを使用する部品の電源・グランドピンの接続情報をメモリに抽出し、部品ライブラリからＮＯＰＯＷ型に対応するＰＯＷ型部品のライブラリ情報の電源・グランドピンの定義を前記メモリに抽出し、電源・グランドピンの接続の情報と電源・グランドピンの定義とを比較し、比較結果を前記メモリに格納する検証手順を含むことを特徴とする。
【００１４】
本発明の第２の設計検証方法は、ネットリスト、および、ＮＯＰＯＷ型部品抽出ルールをメモリに入力し、前記ネットリストから前記ＮＯＰＯＷ型部品抽出ルールに基づいてＮＯＰＯＷ型部品の接続を含む部品情報を抽出し、ＮＯＰＯＷ型ライブラリ使用部品情報を前記メモリに作成するＮＯＰＯＷ型部品抽出手順と、部品ライブラリ、ＰＯＷ型ライブラリ抽出ルールを前記メモリに入力し、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各部品のＮＯＰＯＷ型ライブラリ名に対し、前記ＰＯＷ型ライブラリ抽出ルールに基づいて、前記部品ライブラリから対応するＰＯＷ型ライブラリ名を対応させ、対応ＰＯＷ型ライブラリ名情報を前記メモリに作成するＰＯＷ型ライブラリ抽出手順と、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各ＮＯＰＯＷ型部品の電源・グランドピンの接続と、前記部品ライブラリから前記対応ＰＯＷ型ライブラリ名情報に基づいて抽出された対応するＰＯＷ部品の電源・グランドピンの定義とを比較し、相違情報を前記メモリに作成するＧ／Ｖピンアサイン検証手順とを含むことを特徴とする。
【００１５】
本発明の第３の設計検証方法は、ネットリスト、および、ＮＯＰＯＷ型部品抽出ルールをメモリに入力し、前記ネットリストから前記ＮＯＰＯＷ型部品抽出ルールに基づいてＮＯＰＯＷ型部品の接続を含む部品情報を抽出し、ＮＯＰＯＷ型ライブラリ使用部品情報を前記メモリに作成するＮＯＰＯＷ型部品抽出手順と、部品ライブラリ、ＰＯＷ型ライブラリ抽出ルールを前記メモリに入力し、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各部品のＮＯＰＯＷ型ライブラリ名に対し、前記ＰＯＷ型ライブラリ抽出ルールに基づいて、前記部品ライブラリから対応するＰＯＷ型ライブラリ名を対応させ、対応ＰＯＷ型ライブラリ名情報を前記メモリに作成し、対応するＰＯＷ型ライブラリ名が存在しない場合には、存在しないことを示す内容を前記メモリの相違情報に格納するＰＯＷ型ライブラリ抽出手順と、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各ＮＯＰＯＷ型部品の電源・グランドピンの接続と、前記部品ライブラリから前記対応ＰＯＷ型ライブラリ名情報に基づいて抽出された対応するＰＯＷ部品の電源・グランドピンの定義とを比較し、相違の内容を前記メモリの前記相違情報に格納するＧ／Ｖピンアサイン検証手順とを含むことを特徴とする。
【００１６】
本発明の第１の設計検証プログラムは、ネットリストからＮＯＰＯＷ型ライブラリを使用する部品の電源・グランドピンの接続情報をメモリに抽出し、部品ライブラリからＮＯＰＯＷ型に対応するＰＯＷ型部品のライブラリ情報の電源・グランドピンの定義を前記メモリに抽出し、電源・グランドピンの接続の情報と電源・グランドピンの定義とを比較し、比較結果を前記メモリに格納する検証手順をコンピュータに実行させることを特徴とする。
【００１７】
本発明の第２の設計検証プログラムは、ネットリスト、および、ＮＯＰＯＷ型部品抽出ルールをメモリに入力し、前記ネットリストから前記ＮＯＰＯＷ型部品抽出ルールに基づいてＮＯＰＯＷ型部品の接続を含む部品情報を抽出し、ＮＯＰＯＷ型ライブラリ使用部品情報を前記メモリに作成するＮＯＰＯＷ型部品抽出手順と、部品ライブラリ、ＰＯＷ型ライブラリ抽出ルールを前記メモリに入力し、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各部品のＮＯＰＯＷ型ライブラリ名に対し、前記ＰＯＷ型ライブラリ抽出ルールに基づいて、前記部品ライブラリから対応するＰＯＷ型ライブラリ名を対応させ、対応ＰＯＷ型ライブラリ名情報を前記メモリに作成するＰＯＷ型ライブラリ抽出手順と、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各ＮＯＰＯＷ型部品の電源・グランドピンの接続と、前記部品ライブラリから前記対応ＰＯＷ型ライブラリ名情報に基づいて抽出された対応するＰＯＷ部品の電源・グランドピンの定義とを比較し、相違情報を前記メモリに作成するＧ／Ｖピンアサイン検証手順とをコンピュータに実行させることを特徴とする。
【００１８】
本発明の第３の設計検証プログラムは、ネットリスト、および、ＮＯＰＯＷ型部品抽出ルールをメモリに入力し、前記ネットリストから前記ＮＯＰＯＷ型部品抽出ルールに基づいてＮＯＰＯＷ型部品の接続を含む部品情報を抽出し、ＮＯＰＯＷ型ライブラリ使用部品情報を前記メモリに作成するＮＯＰＯＷ型部品抽出手順と、部品ライブラリ、ＰＯＷ型ライブラリ抽出ルールを前記メモリに入力し、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各部品のＮＯＰＯＷ型ライブラリ名に対し、前記ＰＯＷ型ライブラリ抽出ルールに基づいて、前記部品ライブラリから対応するＰＯＷ型ライブラリ名を対応させ、対応ＰＯＷ型ライブラリ名情報を前記メモリに作成し、対応するＰＯＷ型ライブラリ名が存在しない場合には、存在しないことを示す内容を前記メモリの相違情報に格納するＰＯＷ型ライブラリ抽出手順と、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各ＮＯＰＯＷ型部品の電源・グランドピンの接続と、前記部品ライブラリから前記対応ＰＯＷ型ライブラリ名情報に基づいて抽出された対応するＰＯＷ部品の電源・グランドピンの定義とを比較し、相違の内容を前記メモリの前記相違情報に格納するＧ／Ｖピンアサイン検証手順とをコンピュータに実行させることを特徴とする。
【００１９】
【発明の実施の形態】
次に、本発明の第１の実施の形態について図面を参照して詳細に説明する。
【００２０】
図１は、本発明の第１の実施の形態の構成を示すブロック図である。
【００２１】
図１参照すると、本発明の第１の実施の形態は、ネットリスト１１と、部品ライブラリ１２と、ＮＯＰＯＷ型部品抽出ルール１３と、ＰＯＷ型ライブラリ抽出ルール１４と、ＮＯＰＯＷ型ライブラリ使用部品情報３１と、対応ＰＯＷ型ライブラリ名情報３２と、相違情報４０と、検証部１００とから構成される。また、検証部１００は、ＮＯＰＯＷ型部品抽出手段２１と、ＰＯＷ型ライブラリ抽出手段２２と、Ｇ／Ｖピンアサイン検証手段２３とから構成される。
【００２２】
たとえば、検証部１００は、コンピュータ内に実現され、ネットリスト１１、部品ライブラリ１２、ＮＯＰＯＷ型部品抽出ルール１３、および、ＰＯＷ型ライブラリ抽出ルール１４は、コンピュータに接続される外部記憶装置等に保持され、利用時には、コンピュータの内部のメモリ等に入力される。また、ＮＯＰＯＷ型ライブラリ使用部品情報３１、対応ＰＯＷ型ライブラリ名情報３２、相違情報４０は、コンピュータの内部の上記メモリ等に作成される。
【００２３】
ＮＯＰＯＷ型ライブラリ使用部品情報３１、対応ＰＯＷ型ライブラリ名情報３２、相違情報４０は、事前にメモリに領域が確保されていてもよいし、ＮＯＰＯＷ型部品抽出手段２１、ＰＯＷ型ライブラリ抽出手段２２、あるいは、Ｇ／Ｖピンアサイン検証手段２３により作成されてもよい。
【００２４】
図２は、図１の各ブロックの内容を示す説明図である。
【００２５】
図２を参照すると、ネットリスト１１は、各部品の接続を示すものである。たとえば、部品名：ＬＯＣ１の部品（ＬＳＩ２−Ｎ）は、ピン：Ａが２．５［Ｖ］に、ピン：Ｂが入力ピン：Ｘ１に、ピン：ＣがＧＮＤ（グランド）に接続されている。また、分品名：ＬＯＣ２の部品（ＬＳＩ１−Ｐ）は、ピン：Ｂが、部品名：ＬＯＣ１の部品のピンＩ：Ｄと接続されており、ピン：Ｄが出力ピン：Ｙ１と接続されている。また、部品名：ＬＯＣ３の部品（ＬＳＩ１−Ｎ）は、ピン：Ａが３．３［Ｖ］に、ピン：Ｂが入力ピン：Ｘ２に、ピンＣがＧＮＤに、ピン：Ｄが出力ピン：Ｙ２に接続されている。
【００２６】
部品ライブラリ１２は、すべての部品のライブラリ名、ピン名、ピン属性を保持する。たとえば、ライブラリ名［ＬＳＩ１−Ｎ］の部品のピン：Ａは、未定義であり、ピン：Ｂは、入力であり、ピン：Ｃは、未定義であり、ピン：Ｄは、出力である。また、ライブラリ名［ＬＳＩ１−Ｐ］の部品のピン：Ａは、３．３［Ｖ］であり、ピン：Ｂは、入力であり、ピン：Ｃは、ＧＮＤであり、ピン：Ｄは、出力である。また、［ＬＳＩ２−Ｎ］の部品のピン：Ａは、未定義であり、ピン：Ｂは、入力であり、ピン：Ｃは、未定義であり、ピン：Ｄは、出力である。
【００２７】
ＮＯＰＯＷ型部品抽出ルール１３は、たとえば、「ライブラリ名の最後の文字が‘Ｎ’」というルールを保持する。
【００２８】
ＰＯＷ型ライブラリ抽出ルール１４は、たとえば、「ライブラリ名の最後の文字を、‘Ｎ’から‘Ｐ’に変換する」というルールを保持する。
【００２９】
ＮＯＰＯＷ型部品抽出手段２１はネットリスト１１、および、ＮＯＰＯＷ型部品抽出ルール１３からＮＯＰＯＷ型ライブラリ使用部品情報３１を作成する。ＰＯＷ型ライブラリ抽出手段２２は、部品ライブラリ１２、ＰＯＷ型ライブラリ抽出ルール１４、および、ＮＯＰＯＷ型ライブラリ使用部品情報３１から対応ＰＯＷ型ライブラリ名情報３２を作成する。Ｇ／Ｖピンアサイン検証手段２３は、部品ライブラリ１２、ＮＯＰＯＷ型ライブラリ使用部品情報３１、および、対応ＰＯＷ型ライブラリ名情報３２から、相違情報４０を作成する。
【００３０】
ＮＯＰＯＷ型ライブラリ使用部品情報３１は、ネットリスト１１中でＮＯＰＯＷ型ライブラリを使用している全部品の使用ライブラリ名、部品名、ピン名、ピン属性を保持する。各部品においては、ネットリスト１１に基づいて、入力ピンであれば、ピン属性として‘入力’が規定される。出力ピンであれば、ピン属性として‘出力’が規定される。また、電源ピンであれば、電源電圧（２．５［Ｖ］等）が規定される。また、グランドピンであれば、グランド（ＧＮＤ）が規定される。
【００３１】
図２を参照すると、たとえば、部品名：ＬＯＣ１の部品は、ピン：Ａは、２．５［Ｖ］として、ピン：Ｂは、‘入力’として、ピン：Ｃは、ＧＮＤとして、ピン：Ｄは、出力として規定される。
【００３２】
対応ＰＯＷ型ライブラリ名情報３２は、ネットリスト１１中で使用されているＮＯＰＯＷ型のライブラリに対応するＰＯＷ型ライブラリのライブラリ名を保持する。
【００３３】
図２を参照すると、たとえば、ＮＯＰＯＷ型のＬＳＩ１−Ｎには、ＰＯＷ型のＬＳＩ１−Ｐが対応し、ＮＯＰＯＷ型のＬＳＩ２−Ｎには、ＰＯＷ型のＬＳＩ２−Ｐが対応する。
【００３４】
相違情報４０は、ＮＯＰＯＷ型ライブラリ使用部品情報３１内の各部品の電源、グランドのピンの電源電圧、グランド規定と、対応するＰＯＷ型ライブラリの定義との相違を保持する。また、ＮＯＰＯＷ型ライブラリに対応するＰＯＷ型ライブラリが存在しない場合に、その旨を示す内容も保持する。
【００３５】
図２を参照すると、たとえば、「部品名：ＬＯＣ１の部品のピン：Ａの電源電圧が異なります。ネットリスト＝２．５［Ｖ］、ライブラリ＝１．８［Ｖ］」という内容を保持する。
【００３６】
次に、本発明の第１の実施の形態の動作について図面を参照して説明する。
【００３７】
図３は、本発明の第１の実施の形態の動作を示すフローチャートである。
【００３８】
図４は、本発明の第１の実施の形態の動作を示すフローチャートである。
【００３９】
図３を参照すると、まず、検証部１００は、ネットリスト１１を入力し（図３ステップＡ１）、さらに、ＮＯＰＯＷ型部品抽出ルール１３を入力する（図３ステップＡ２）。
【００４０】
次に、ＮＯＰＯＷ型部品抽出手段２１が、ネットリスト１１から１部品ずつ順に抽出し（図３ステップＡ３）、ＮＯＰＯＷ型部品抽出ルール１３（ＮＯＰＯＷ型部品は、ライブラリ名の最後の文字が‘Ｎ’）に基づいて、使用ライブラリ名が、ＰＯＷ型のものかＮＯＰＯＷ型のものかの判定を行う（図３ステップＡ４）。ＮＯＰＯＷ型の場合は（図３ステップＡ４／ＮＯＰＯＷ型）、ＮＯＰＯＷ型ライブラリ使用部品情報３１に当該部品の情報を追加する（図３ステップＡ５）。
【００４１】
また、ＰＯＷ型の場合は（図３ステップＡ４／ＰＯＷ型）、ＮＯＰＯＷ型ライブラリ使用部品情報３１に対する処理は実施しない。次に、ＮＯＰＯＷ型部品抽出手段２１は、ネットリスト１１の全部品について、ＰＯＷ／ＮＯＰＯＷの判定が完了したどうか調べ（図３ステップＡ６）、ＰＯＷ／ＮＯＰＯＷの判定が完了していなければ（図３ステップＡ６／未完）、ステップＡ３に戻る（図３ステップＡ６）。
【００４２】
ＮＯＰＯＷ型部品抽出手段２１により全部品のＰＯＷ／ＮＯＰＯＷの判定が完了すると（図３ステップＡ６／完了）、次に、検証部１００は、部品ライブラリ１２を入力し（図３ステップＡ７）、さらに、ＰＯＷ型ライブラリ抽出ルール１４を入力する（図３ステップＡ８）。
【００４３】
次に、ＰＯＷ型ライブラリ抽出手段２２は、ＮＯＰＯＷ型ライブラリ使用部品情報３１から使用ライブラリ名を抽出し（図３ステップＡ９）、ＰＯＷ型ライブラリ抽出ルール１４に基づいて、部品ライブラリ１２に対応するＰＯＷ型のライブラリが存在するかどうか調べる（図３ステップＡ１０）。すなわち、ＮＯＰＯＷ型ライブラリのライブラリ名とライブラリ名の最後の文字が‘Ｐ’である以外は、同一のライブラリ名の部品が存在するかどうかを調べる。
【００４４】
ＰＯＷ型ライブラリ抽出手段２２は、同一のライブラリ名の部品が存在する場合は（図３ステップＡ１０／存在）、対応ＰＯＷ型ライブラリ名情報３２にライブラリ名の対応情報を格納し（図３ステップＡ１１）、存在しない場合は（図３ステップＡ１０／非存在）、相違情報４０にライブラリ不足のエラーメッセージを格納する（図３ステップＡ１２）。ＰＯＷ型ライブラリ抽出手段２２は、ＮＯＰＯＷ型ライブラリ使用部品情報３１の全部品について、対応するＰＯＷ型ライブラリの調査が終わっていなければ（図３ステップＡ１３／未完）、ステップＡ９に戻る。
【００４５】
ＰＯＷ型ライブラリ抽出手段２２により全ＮＯＰＯＷ型部品の調査が完了すると（図３ステップＡ１３／完了）、図４に示すように、Ｇ／Ｖピンアサイン検証手段２３が、ＮＯＰＯＷ型ライブラリ使用部品情報３１から、１つ部品情報を抽出する（図４ステップＡ１４）。
【００４６】
次に、Ｇ／Ｖピンアサイン検証手段２３は、ＰＯＷ型ライブラリ抽出手段２２対応ＰＯＷ型ライブラリ名情報３２から対応部情報を抽出し、部品ライブラリ１２から対応情報に含まれるＰＯＷ型部品のライブラリ情報を抽出し（図４ステップＡ１５）、ＮＯＰＯＷ型ライブラリ使用部品情報３１から抽出された部品情報、部品ライブラリ１２から抽出されたライブラリ情報からＧ／Ｖピンの情報を抽出する（図４ステップＡ１６）。
【００４７】
次に、Ｇ／Ｖピンアサイン検証手段２３は、抽出された対応する部品のＧ／Ｖピンの電圧レベルを比較し（図４ステップＡ１７）、不一致の場合は（図４ステップＡ１７／不一致）、相違情報４０に不一致メッセージを格納する（図４ステップＡ１８）。次に、Ｇ／Ｖピンアサイン検証手段２３は、対応部品の全Ｇ／Ｖピンの比較が完了していなければ（図４ステップＡ１９／未完）、ステップＡ１６に戻る。全Ｇ／Ｖピンの比較が完了が完了すると（図４ステップＡ１９／完了）、Ｇ／Ｖピンアサイン検証手段２３は、全部品の検証が完了したかどうかを調べ（図４ステップＡ２０）、完了していなければ（図４ステップＡ２０／未完）、ステップＡ１４に戻り、次の部品について処理を続ける。
【００４８】
次に、本発明の第１の実施の形態ついて図２の例を用いてさらに具体的に説明する。
【００４９】
まず、検証部１００は、ネットリスト１１、ＮＯＰＯＷ型部品抽出ルール１３を入力する（図３ステップＡ１、ステップＡ２）。次に、部品名：ＬＯＣ１の情報を抽出し（図３ステップＡ３）、ＰＯＷ、ＮＯＰＯＷのどちらであるのかの判定を行い（図３ステップＡ４）、ＮＯＰＯＷ型であるので、ＮＯＰＯＷ型ライブラリ使用部品情報３１にＬＯＣ１の情報を追加する（図３ステップＡ５）。本例では、部品名＝ＬＯＣ１、ライブラリ名＝ＬＳＩ２−Ｎ、ピン名＝Ａ、ピン属性＝２．５Ｖ、ピン名＝Ｂ、ピン属性＝入力、ピン名＝Ｃ、ピン属性＝ＧＮＤ（グランドの略）、ピン名＝Ｄ、ピン属性＝出力として定義する。部品ＬＯＣ２、ＬＯＣ３についても、ステップＡ３〜ステップＡ５の処理を行い、全部品の処理が完了する（図３ステップＡ６／完了）。
【００５０】
次に、部品ライブラリ１２、ＰＯＷ型ライブラリ抽出ルール１４を入力し（図３ステップＡ７、ステップＡ８）、ＮＯＰＯＷ型ライブラリ使用部品情報３１から、ＬＯＣ１の使用ライブラリ名ＬＳＩ２−Ｎを抽出する（図３ステップＡ９）。次に、ＰＯＷ型ライブラリ抽出ルール１４から対応するＰＯＷ型ライブラリＬＳＩ２−Ｐを検索し（図３ステップＡ１０）、存在するので、対応ＰＯＷ型ライブラリ名情報３２に格納する（図３ステップＡ１１）。ＬＯＣ３についても、ステップＡ９〜ステップＡ１２の処理を行い、全部品の処理が完了（図３ステップＡ１３／完了）する。
【００５１】
さらに、部品名：ＬＯＣ１とライブラリＬＳＩ２−Ｐの情報を抽出し（図４ステップＡ１４〜ステップＡ１５）、Ｇ／Ｖピン：Ａ（図４ステップＡ１６）の情報を抽出し（図３ステップＡ１６）、電圧レベルを比較する（図４ステップＡ１７）。
【００５２】
本例では、ＮＯＰＯＷ型ライブラリ使用部品情報３１に定義した部品名ＬＯＣ１のピン名：Ａのピン属性は２．５［Ｖ］となっている。一方、部品ライブラリ１２のライブラリＬＳＩ２−Ｐのピン名Ａのピン属性は１．８［Ｖ］と定義されており、電圧レベルが異なるため、不一致メッセージを相違情報４０に格納する（図４ステップＡ１８）。同様に、Ｇ／Ｖピン：ＣについてもステップＡ１６〜Ａ１８の処理を行い、全Ｇ／Ｖの処理が完了すると（図３ステップＡ１９／完了）、ＬＯＣ３についてもステップＡ１４〜Ａ１９の処理を行い、全部品の検証が完了する（図３ステップＡ２０／完了）。
【００５３】
次に、本発明の第２の実施の形態について図面を参照して詳細に説明する。
【００５４】
本発明の第２の実施の形態は、ネットリスト１１、および、ＮＯＰＯＷ型部品抽出ルール１３をメモリに入力し（図３ステップＡ１、ステップＡ２）、ネットリスト１１からＮＯＰＯＷ型部品抽出ルール１３に基づいてＮＯＰＯＷ型部品の接続を含む部品情報を抽出し（図３ステップＡ４）、ＮＯＰＯＷ型ライブラリ使用部品情報３１を前記メモリに作成する（図３ステップＡ５）ＮＯＰＯＷ型部品抽出手順と、部品ライブラリ１２、ＰＯＷ型ライブラリ抽出ルール１４を前記メモリに入力し（図３ステップＡ７、ステップＡ８）、ＮＯＰＯＷ型ライブラリ使用部品情報３１内の各部品のＮＯＰＯＷ型ライブラリ名に対し、前記ＰＯＷ型ライブラリ抽出ルール１４に基づいて、部品ライブラリ１２から対応するＰＯＷ型ライブラリ名を対応させ、対応ＰＯＷ型ライブラリ名情報３２を前記メモリに作成し（図３ステップＡ９〜ステップＡ１１）、対応するＰＯＷ型ライブラリ名が存在しない場合には、存在しないことを示す内容を前記メモリの相違情報４０に格納する（図３ステップＡ１２）ＰＯＷ型ライブラリ抽出手順と、ＮＯＰＯＷ型ライブラリ使用部品情報３１内の各ＮＯＰＯＷ型部品の電源・グランドピンの接続と、部品ライブラリ１２から対応ＰＯＷ型ライブラリ名情報３２に基づいて抽出された対応するＰＯＷ部品の電源・グランドピンの定義とを比較し（図４ステップＡ１４〜ステップＡ１７）、相違の内容を前記メモリの相違情報４０に格納する（図４ステップＡ１８）Ｇ／Ｖピンアサイン検証手順とを含む方法である。
【００５５】
次に、本発明の第３の実施の形態について図面を参照して詳細に説明する。
【００５６】
本発明の第３の実施の形態は、ネットリスト１１、および、ＮＯＰＯＷ型部品抽出ルール１３をメモリに入力し（図３ステップＡ１、ステップＡ２）、ネットリスト１１からＮＯＰＯＷ型部品抽出ルール１３に基づいてＮＯＰＯＷ型部品の接続を含む部品情報を抽出し（図３ステップＡ４）、ＮＯＰＯＷ型ライブラリ使用部品情報３１を前記メモリに作成する（図３ステップＡ５）ＮＯＰＯＷ型部品抽出手順と、部品ライブラリ１２、ＰＯＷ型ライブラリ抽出ルール１４を前記メモリに入力し（図３ステップＡ７、ステップＡ８）、ＮＯＰＯＷ型ライブラリ使用部品情報３１内の各部品のＮＯＰＯＷ型ライブラリ名に対し、前記ＰＯＷ型ライブラリ抽出ルール１４に基づいて、部品ライブラリ１２から対応するＰＯＷ型ライブラリ名を対応させ、対応ＰＯＷ型ライブラリ名情報３２を前記メモリに作成し（図３ステップＡ９〜ステップＡ１１）、対応するＰＯＷ型ライブラリ名が存在しない場合には、存在しないことを示す内容を前記メモリの相違情報４０に格納する（図３ステップＡ１２）ＰＯＷ型ライブラリ抽出手順と、ＮＯＰＯＷ型ライブラリ使用部品情報３１内の各ＮＯＰＯＷ型部品の電源・グランドピンの接続と、部品ライブラリ１２から対応ＰＯＷ型ライブラリ名情報３２に基づいて抽出された対応するＰＯＷ部品の電源・グランドピンの定義とを比較し（図４ステップＡ１４〜ステップＡ１７）、相違の内容を前記メモリの相違情報４０に格納する（図４ステップＡ１８）Ｇ／Ｖピンアサイン検証手順とをコンピュータに実行させるプログラムである。
【００５７】
【発明の効果】
本発明の効果は、Ｇ／Ｖの接続の適否を容易に検証できることである。
【００５８】
その理由は、ネットリストの接続情報と部品ライブラリの定義との不一致を自動的に検出するからである。
【図面の簡単な説明】
【図１】本発明の第１の実施の形態の構成を示すブロック図である。
【図２】図１の各ブロックの内容を示す説明図である。
【図３】本発明の第１の実施の形態の動作を示すフローチャートである。
【図４】本発明の第１の実施の形態の動作を示すフローチャートである。
【符号の説明】
１１    ネットリスト
１２    部品ライブラリ
１３    ＮＯＰＯＷ型部品抽出ルール
１４    ＰＯＷ型ライブラリ抽出ルール
２１    ＮＯＰＯＷ型部品抽出手段
２２    ＰＯＷ型ライブラリ抽出手段
２３    Ｇ／Ｖピンアサイン検証手段
３１    ＮＯＰＯＷ型ライブラリ使用部品情報
３２    対応ＰＯＷ型ライブラリ名情報
４０    相違情報
１００    検証部
【図１】
0003788355.tif 000002
【図２】
0003788355.tif 000003
【図３】
0003788355.tif 000004
【図４】
0003788355.tif 000005