JP3788355B2

JP3788355B2 - Design verification system, design verification method, and design verification program

Info

Publication number: JP3788355B2
Application number: JP2002020190A
Authority: JP
Inventors: 雅仁熊崎
Original assignee: NEC Corp
Current assignee: NEC Corp
Priority date: 2002-01-29
Filing date: 2002-01-29
Publication date: 2006-06-21
Anticipated expiration: 2022-01-29
Also published as: JP2003223477A

Description

【０００１】
【発明の属する技術分野】
本発明は、設計検証システム、設計検証方法、および、設計検証プログラムに関し、特に、グランド、電源ピンに対する設計検証システム、設計検証方法、および、設計検証プログラムに関する。
【０００２】
【従来の技術】
従来のカードの論理設計システムは、電源、グランドを定義したＰＯＷ型ライブラリと、電源、グランドを定義しないＮＯＰＯＷ型ライブラリを設計者が部品毎に選択して、回路図エディタを使用してネットリストを作成する手法が実用化されている。
【０００３】
また、従来の技術としては、たとえば、「特開２０００−９９５６１号公報」記載のものがある。この技術は、「解析対象装置の論理回路を構成する素子の間の接続関係を規定するネットリストを格納するネットリスト格納手段と、その素子の各々をその論理回路のチップ上に配置して形成されるインスタンスの各々の位置情報とインスタンス間の接続情報とからなる配置配線情報を格納する配置配線情報格納手段と、論理回路を構成する１つ以上の素子からなるセル毎の遅延時間を格納するセル・ディレイ・ライブラリと、そのネットリスト格納手段との出力に基づいてインスタンスの動作時間を静的に算出する動作時間算出部と、論理回路を構成するセルの動作状態での予め算出された消費電流パラメータを格納するセル・パワー・ライブラリと、ネットリスト格納手段の出力と、配置配線情報格納手段の出力と、動作時間算出部の出力に得られた静的に算出された各インスタンスの動作時間と、セル・パワー・ライブラリの出力に得られる消費電流パラメータとに基づいて、論理回路全体で最も電流が消費される時刻、最大消費電流値、及び最大電流消費位置を算出する最大消費電流値算出部と、論理回路内の電源配線上での電圧降下を、最大消費電流値算出部の出力に基づいて解析・検証する電源電圧変動解析部とを備える半導体装置の電源電圧変動解析装置」である。
【０００４】
【発明が解決しようとする課題】
上述した従来の技術の問題点は、ＰＯＷ型の設計では、Ｇ／Ｖピンを回路図作成後にＰＯＷ型ライブラリから自動発生するが、ＰＯＷ型ライブラリで定義した通りの使い方しかできず、オープンにしたりネットを分けることができないことである。たとえば、ＥＭＩ対策のために、内層を分割して接続したい場合、電位が同じでも、分割した単位毎にネット名を分ける必要があるが、ＰＯＷ型ではネット名を分けて発生することはできず、一律に同じネット名になってしまう。また、同様な理由から、Ｇ／Ｖピンを信号層で配線し内層に接続することができない。さらに、回路図上でＧ／Ｖピンを表示することができないといった問題がある。
【０００５】
代替手段としてＮＯＰＯＷライブラリを使って設計する手法がある。
【０００６】
ＮＯＰＯＷライブラリ使用時は、ＰＯＷ型では不可能な、Ｇ／Ｖピンのオープンやネット名を分けたり、Ｇ／Ｖピンを信号層でひきまわす設計が可能であり、また、回路図上でＧ／Ｖピンを表示することができるが、一方、Ｇ／Ｖピンを自動発生できないため、設計者が手動でアサインする必要がある。
【０００７】
このように、従来技術では、ＮＯＰＯＷ型ライブラリを使用しなければ設計できないカード設計において、前述の通り、Ｇ／Ｖピンのアサインを設計者が手動で行わなければならないが、そのアサインが正しく行われているかどうかを検証する手段が、回路図エディタとライブラリ仕様書を目視で確認する以外無く、信号ピン数が１０００ピンを越える部品（主にＬＳＩ）を搭載する場合、Ｇ／Ｖピン数は１０００オーダーになるため、設計者の誤解や認識違いが原因となるＧ／Ｖピンアサインミスが頻発し、カード設計品質を低下させる原因となっている。
【０００８】
また、「特開２０００−９９５６１号公報」の技術においては、実際の電源電圧の変動は解析できるが、個別のＧ／Ｖピンの接続誤りを発見するのは困難である。
【０００９】
本発明の目的は、ネットリストの接続情報と部品ライブラリの定義との不一致を自動的に検出し、Ｇ／Ｖの接続の適否を容易に検証可能とすることである。
【００１０】
【課題を解決するための手段】
本発明の第１の設計検証システムは、ネットリストからＮＯＰＯＷ型ライブラリを使用する部品の電源・グランドピンの接続情報をメモリに抽出し、部品ライブラリからＮＯＰＯＷ型に対応するＰＯＷ型部品のライブラリ情報の電源・グランドピンの定義を前記メモリに抽出し、電源・グランドピンの接続の情報と電源・グランドピンの定義とを比較し、比較結果を前記メモリに格納する検証手段を有することを特徴とする。
【００１１】
本発明の第２の設計検証システムは、ネットリスト、および、ＮＯＰＯＷ型部品抽出ルールをメモリに入力し、前記ネットリストから前記ＮＯＰＯＷ型部品抽出ルールに基づいてＮＯＰＯＷ型部品の接続を含む部品情報を抽出し、ＮＯＰＯＷ型ライブラリ使用部品情報を前記メモリに作成するＮＯＰＯＷ型部品抽出手段と、部品ライブラリ、ＰＯＷ型ライブラリ抽出ルールを前記メモリに入力し、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各部品のＮＯＰＯＷ型ライブラリ名に対し、前記ＰＯＷ型ライブラリ抽出ルールに基づいて、前記部品ライブラリから対応するＰＯＷ型ライブラリ名を対応させ、対応ＰＯＷ型ライブラリ名情報を前記メモリに作成するＰＯＷ型ライブラリ抽出手段と、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各ＮＯＰＯＷ型部品の電源・グランドピンの接続と、前記部品ライブラリから前記対応ＰＯＷ型ライブラリ名情報に基づいて抽出された対応するＰＯＷ部品の電源・グランドピンの定義とを比較し、相違情報を前記メモリに作成するＧ／Ｖピンアサイン検証手段とを有することを特徴とする。
【００１２】
本発明の第３の設計検証システムは、ネットリスト、および、ＮＯＰＯＷ型部品抽出ルールをメモリに入力し、前記ネットリストから前記ＮＯＰＯＷ型部品抽出ルールに基づいてＮＯＰＯＷ型部品の接続を含む部品情報を抽出し、ＮＯＰＯＷ型ライブラリ使用部品情報を前記メモリに作成するＮＯＰＯＷ型部品抽出手段と、部品ライブラリ、ＰＯＷ型ライブラリ抽出ルールを前記メモリに入力し、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各部品のＮＯＰＯＷ型ライブラリ名に対し、前記ＰＯＷ型ライブラリ抽出ルールに基づいて、前記部品ライブラリから対応するＰＯＷ型ライブラリ名を対応させ、対応ＰＯＷ型ライブラリ名情報を前記メモリに作成し、対応するＰＯＷ型ライブラリ名が存在しない場合には、存在しないことを示す内容を前記メモリの相違情報に格納するＰＯＷ型ライブラリ抽出手段と、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各ＮＯＰＯＷ型部品の電源・グランドピンの接続と、前記部品ライブラリから前記対応ＰＯＷ型ライブラリ名情報に基づいて抽出された対応するＰＯＷ部品の電源・グランドピンの定義とを比較し、相違の内容を前記メモリの前記相違情報に格納するＧ／Ｖピンアサイン検証手段とを有することを特徴とする。
【００１３】
本発明の第１の設計検証方法は、ネットリストからＮＯＰＯＷ型ライブラリを使用する部品の電源・グランドピンの接続情報をメモリに抽出し、部品ライブラリからＮＯＰＯＷ型に対応するＰＯＷ型部品のライブラリ情報の電源・グランドピンの定義を前記メモリに抽出し、電源・グランドピンの接続の情報と電源・グランドピンの定義とを比較し、比較結果を前記メモリに格納する検証手順を含むことを特徴とする。
【００１４】
本発明の第２の設計検証方法は、ネットリスト、および、ＮＯＰＯＷ型部品抽出ルールをメモリに入力し、前記ネットリストから前記ＮＯＰＯＷ型部品抽出ルールに基づいてＮＯＰＯＷ型部品の接続を含む部品情報を抽出し、ＮＯＰＯＷ型ライブラリ使用部品情報を前記メモリに作成するＮＯＰＯＷ型部品抽出手順と、部品ライブラリ、ＰＯＷ型ライブラリ抽出ルールを前記メモリに入力し、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各部品のＮＯＰＯＷ型ライブラリ名に対し、前記ＰＯＷ型ライブラリ抽出ルールに基づいて、前記部品ライブラリから対応するＰＯＷ型ライブラリ名を対応させ、対応ＰＯＷ型ライブラリ名情報を前記メモリに作成するＰＯＷ型ライブラリ抽出手順と、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各ＮＯＰＯＷ型部品の電源・グランドピンの接続と、前記部品ライブラリから前記対応ＰＯＷ型ライブラリ名情報に基づいて抽出された対応するＰＯＷ部品の電源・グランドピンの定義とを比較し、相違情報を前記メモリに作成するＧ／Ｖピンアサイン検証手順とを含むことを特徴とする。
【００１５】
本発明の第３の設計検証方法は、ネットリスト、および、ＮＯＰＯＷ型部品抽出ルールをメモリに入力し、前記ネットリストから前記ＮＯＰＯＷ型部品抽出ルールに基づいてＮＯＰＯＷ型部品の接続を含む部品情報を抽出し、ＮＯＰＯＷ型ライブラリ使用部品情報を前記メモリに作成するＮＯＰＯＷ型部品抽出手順と、部品ライブラリ、ＰＯＷ型ライブラリ抽出ルールを前記メモリに入力し、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各部品のＮＯＰＯＷ型ライブラリ名に対し、前記ＰＯＷ型ライブラリ抽出ルールに基づいて、前記部品ライブラリから対応するＰＯＷ型ライブラリ名を対応させ、対応ＰＯＷ型ライブラリ名情報を前記メモリに作成し、対応するＰＯＷ型ライブラリ名が存在しない場合には、存在しないことを示す内容を前記メモリの相違情報に格納するＰＯＷ型ライブラリ抽出手順と、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各ＮＯＰＯＷ型部品の電源・グランドピンの接続と、前記部品ライブラリから前記対応ＰＯＷ型ライブラリ名情報に基づいて抽出された対応するＰＯＷ部品の電源・グランドピンの定義とを比較し、相違の内容を前記メモリの前記相違情報に格納するＧ／Ｖピンアサイン検証手順とを含むことを特徴とする。
【００１６】
本発明の第１の設計検証プログラムは、ネットリストからＮＯＰＯＷ型ライブラリを使用する部品の電源・グランドピンの接続情報をメモリに抽出し、部品ライブラリからＮＯＰＯＷ型に対応するＰＯＷ型部品のライブラリ情報の電源・グランドピンの定義を前記メモリに抽出し、電源・グランドピンの接続の情報と電源・グランドピンの定義とを比較し、比較結果を前記メモリに格納する検証手順をコンピュータに実行させることを特徴とする。
【００１７】
本発明の第２の設計検証プログラムは、ネットリスト、および、ＮＯＰＯＷ型部品抽出ルールをメモリに入力し、前記ネットリストから前記ＮＯＰＯＷ型部品抽出ルールに基づいてＮＯＰＯＷ型部品の接続を含む部品情報を抽出し、ＮＯＰＯＷ型ライブラリ使用部品情報を前記メモリに作成するＮＯＰＯＷ型部品抽出手順と、部品ライブラリ、ＰＯＷ型ライブラリ抽出ルールを前記メモリに入力し、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各部品のＮＯＰＯＷ型ライブラリ名に対し、前記ＰＯＷ型ライブラリ抽出ルールに基づいて、前記部品ライブラリから対応するＰＯＷ型ライブラリ名を対応させ、対応ＰＯＷ型ライブラリ名情報を前記メモリに作成するＰＯＷ型ライブラリ抽出手順と、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各ＮＯＰＯＷ型部品の電源・グランドピンの接続と、前記部品ライブラリから前記対応ＰＯＷ型ライブラリ名情報に基づいて抽出された対応するＰＯＷ部品の電源・グランドピンの定義とを比較し、相違情報を前記メモリに作成するＧ／Ｖピンアサイン検証手順とをコンピュータに実行させることを特徴とする。
【００１８】
本発明の第３の設計検証プログラムは、ネットリスト、および、ＮＯＰＯＷ型部品抽出ルールをメモリに入力し、前記ネットリストから前記ＮＯＰＯＷ型部品抽出ルールに基づいてＮＯＰＯＷ型部品の接続を含む部品情報を抽出し、ＮＯＰＯＷ型ライブラリ使用部品情報を前記メモリに作成するＮＯＰＯＷ型部品抽出手順と、部品ライブラリ、ＰＯＷ型ライブラリ抽出ルールを前記メモリに入力し、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各部品のＮＯＰＯＷ型ライブラリ名に対し、前記ＰＯＷ型ライブラリ抽出ルールに基づいて、前記部品ライブラリから対応するＰＯＷ型ライブラリ名を対応させ、対応ＰＯＷ型ライブラリ名情報を前記メモリに作成し、対応するＰＯＷ型ライブラリ名が存在しない場合には、存在しないことを示す内容を前記メモリの相違情報に格納するＰＯＷ型ライブラリ抽出手順と、前記ＮＯＰＯＷ型ライブラリ使用部品情報内の各ＮＯＰＯＷ型部品の電源・グランドピンの接続と、前記部品ライブラリから前記対応ＰＯＷ型ライブラリ名情報に基づいて抽出された対応するＰＯＷ部品の電源・グランドピンの定義とを比較し、相違の内容を前記メモリの前記相違情報に格納するＧ／Ｖピンアサイン検証手順とをコンピュータに実行させることを特徴とする。
【００１９】
【発明の実施の形態】
次に、本発明の第１の実施の形態について図面を参照して詳細に説明する。
【００２０】
図１は、本発明の第１の実施の形態の構成を示すブロック図である。
【００２１】
図１参照すると、本発明の第１の実施の形態は、ネットリスト１１と、部品ライブラリ１２と、ＮＯＰＯＷ型部品抽出ルール１３と、ＰＯＷ型ライブラリ抽出ルール１４と、ＮＯＰＯＷ型ライブラリ使用部品情報３１と、対応ＰＯＷ型ライブラリ名情報３２と、相違情報４０と、検証部１００とから構成される。また、検証部１００は、ＮＯＰＯＷ型部品抽出手段２１と、ＰＯＷ型ライブラリ抽出手段２２と、Ｇ／Ｖピンアサイン検証手段２３とから構成される。
【００２２】
たとえば、検証部１００は、コンピュータ内に実現され、ネットリスト１１、部品ライブラリ１２、ＮＯＰＯＷ型部品抽出ルール１３、および、ＰＯＷ型ライブラリ抽出ルール１４は、コンピュータに接続される外部記憶装置等に保持され、利用時には、コンピュータの内部のメモリ等に入力される。また、ＮＯＰＯＷ型ライブラリ使用部品情報３１、対応ＰＯＷ型ライブラリ名情報３２、相違情報４０は、コンピュータの内部の上記メモリ等に作成される。
【００２３】
ＮＯＰＯＷ型ライブラリ使用部品情報３１、対応ＰＯＷ型ライブラリ名情報３２、相違情報４０は、事前にメモリに領域が確保されていてもよいし、ＮＯＰＯＷ型部品抽出手段２１、ＰＯＷ型ライブラリ抽出手段２２、あるいは、Ｇ／Ｖピンアサイン検証手段２３により作成されてもよい。
【００２４】
図２は、図１の各ブロックの内容を示す説明図である。
【００２５】
図２を参照すると、ネットリスト１１は、各部品の接続を示すものである。たとえば、部品名：ＬＯＣ１の部品（ＬＳＩ２−Ｎ）は、ピン：Ａが２．５［Ｖ］に、ピン：Ｂが入力ピン：Ｘ１に、ピン：ＣがＧＮＤ（グランド）に接続されている。また、分品名：ＬＯＣ２の部品（ＬＳＩ１−Ｐ）は、ピン：Ｂが、部品名：ＬＯＣ１の部品のピンＩ：Ｄと接続されており、ピン：Ｄが出力ピン：Ｙ１と接続されている。また、部品名：ＬＯＣ３の部品（ＬＳＩ１−Ｎ）は、ピン：Ａが３．３［Ｖ］に、ピン：Ｂが入力ピン：Ｘ２に、ピンＣがＧＮＤに、ピン：Ｄが出力ピン：Ｙ２に接続されている。
【００２６】
部品ライブラリ１２は、すべての部品のライブラリ名、ピン名、ピン属性を保持する。たとえば、ライブラリ名［ＬＳＩ１−Ｎ］の部品のピン：Ａは、未定義であり、ピン：Ｂは、入力であり、ピン：Ｃは、未定義であり、ピン：Ｄは、出力である。また、ライブラリ名［ＬＳＩ１−Ｐ］の部品のピン：Ａは、３．３［Ｖ］であり、ピン：Ｂは、入力であり、ピン：Ｃは、ＧＮＤであり、ピン：Ｄは、出力である。また、［ＬＳＩ２−Ｎ］の部品のピン：Ａは、未定義であり、ピン：Ｂは、入力であり、ピン：Ｃは、未定義であり、ピン：Ｄは、出力である。
【００２７】
ＮＯＰＯＷ型部品抽出ルール１３は、たとえば、「ライブラリ名の最後の文字が‘Ｎ’」というルールを保持する。
【００２８】
ＰＯＷ型ライブラリ抽出ルール１４は、たとえば、「ライブラリ名の最後の文字を、‘Ｎ’から‘Ｐ’に変換する」というルールを保持する。
【００２９】
ＮＯＰＯＷ型部品抽出手段２１はネットリスト１１、および、ＮＯＰＯＷ型部品抽出ルール１３からＮＯＰＯＷ型ライブラリ使用部品情報３１を作成する。ＰＯＷ型ライブラリ抽出手段２２は、部品ライブラリ１２、ＰＯＷ型ライブラリ抽出ルール１４、および、ＮＯＰＯＷ型ライブラリ使用部品情報３１から対応ＰＯＷ型ライブラリ名情報３２を作成する。Ｇ／Ｖピンアサイン検証手段２３は、部品ライブラリ１２、ＮＯＰＯＷ型ライブラリ使用部品情報３１、および、対応ＰＯＷ型ライブラリ名情報３２から、相違情報４０を作成する。
【００３０】
ＮＯＰＯＷ型ライブラリ使用部品情報３１は、ネットリスト１１中でＮＯＰＯＷ型ライブラリを使用している全部品の使用ライブラリ名、部品名、ピン名、ピン属性を保持する。各部品においては、ネットリスト１１に基づいて、入力ピンであれば、ピン属性として‘入力’が規定される。出力ピンであれば、ピン属性として‘出力’が規定される。また、電源ピンであれば、電源電圧（２．５［Ｖ］等）が規定される。また、グランドピンであれば、グランド（ＧＮＤ）が規定される。
【００３１】
図２を参照すると、たとえば、部品名：ＬＯＣ１の部品は、ピン：Ａは、２．５［Ｖ］として、ピン：Ｂは、‘入力’として、ピン：Ｃは、ＧＮＤとして、ピン：Ｄは、出力として規定される。
【００３２】
対応ＰＯＷ型ライブラリ名情報３２は、ネットリスト１１中で使用されているＮＯＰＯＷ型のライブラリに対応するＰＯＷ型ライブラリのライブラリ名を保持する。
【００３３】
図２を参照すると、たとえば、ＮＯＰＯＷ型のＬＳＩ１−Ｎには、ＰＯＷ型のＬＳＩ１−Ｐが対応し、ＮＯＰＯＷ型のＬＳＩ２−Ｎには、ＰＯＷ型のＬＳＩ２−Ｐが対応する。
【００３４】
相違情報４０は、ＮＯＰＯＷ型ライブラリ使用部品情報３１内の各部品の電源、グランドのピンの電源電圧、グランド規定と、対応するＰＯＷ型ライブラリの定義との相違を保持する。また、ＮＯＰＯＷ型ライブラリに対応するＰＯＷ型ライブラリが存在しない場合に、その旨を示す内容も保持する。
【００３５】
図２を参照すると、たとえば、「部品名：ＬＯＣ１の部品のピン：Ａの電源電圧が異なります。ネットリスト＝２．５［Ｖ］、ライブラリ＝１．８［Ｖ］」という内容を保持する。
【００３６】
次に、本発明の第１の実施の形態の動作について図面を参照して説明する。
【００３７】
図３は、本発明の第１の実施の形態の動作を示すフローチャートである。
【００３８】
図４は、本発明の第１の実施の形態の動作を示すフローチャートである。
【００３９】
図３を参照すると、まず、検証部１００は、ネットリスト１１を入力し（図３ステップＡ１）、さらに、ＮＯＰＯＷ型部品抽出ルール１３を入力する（図３ステップＡ２）。
【００４０】
次に、ＮＯＰＯＷ型部品抽出手段２１が、ネットリスト１１から１部品ずつ順に抽出し（図３ステップＡ３）、ＮＯＰＯＷ型部品抽出ルール１３（ＮＯＰＯＷ型部品は、ライブラリ名の最後の文字が‘Ｎ’）に基づいて、使用ライブラリ名が、ＰＯＷ型のものかＮＯＰＯＷ型のものかの判定を行う（図３ステップＡ４）。ＮＯＰＯＷ型の場合は（図３ステップＡ４／ＮＯＰＯＷ型）、ＮＯＰＯＷ型ライブラリ使用部品情報３１に当該部品の情報を追加する（図３ステップＡ５）。
【００４１】
また、ＰＯＷ型の場合は（図３ステップＡ４／ＰＯＷ型）、ＮＯＰＯＷ型ライブラリ使用部品情報３１に対する処理は実施しない。次に、ＮＯＰＯＷ型部品抽出手段２１は、ネットリスト１１の全部品について、ＰＯＷ／ＮＯＰＯＷの判定が完了したどうか調べ（図３ステップＡ６）、ＰＯＷ／ＮＯＰＯＷの判定が完了していなければ（図３ステップＡ６／未完）、ステップＡ３に戻る（図３ステップＡ６）。
【００４２】
ＮＯＰＯＷ型部品抽出手段２１により全部品のＰＯＷ／ＮＯＰＯＷの判定が完了すると（図３ステップＡ６／完了）、次に、検証部１００は、部品ライブラリ１２を入力し（図３ステップＡ７）、さらに、ＰＯＷ型ライブラリ抽出ルール１４を入力する（図３ステップＡ８）。
【００４３】
次に、ＰＯＷ型ライブラリ抽出手段２２は、ＮＯＰＯＷ型ライブラリ使用部品情報３１から使用ライブラリ名を抽出し（図３ステップＡ９）、ＰＯＷ型ライブラリ抽出ルール１４に基づいて、部品ライブラリ１２に対応するＰＯＷ型のライブラリが存在するかどうか調べる（図３ステップＡ１０）。すなわち、ＮＯＰＯＷ型ライブラリのライブラリ名とライブラリ名の最後の文字が‘Ｐ’である以外は、同一のライブラリ名の部品が存在するかどうかを調べる。
【００４４】
ＰＯＷ型ライブラリ抽出手段２２は、同一のライブラリ名の部品が存在する場合は（図３ステップＡ１０／存在）、対応ＰＯＷ型ライブラリ名情報３２にライブラリ名の対応情報を格納し（図３ステップＡ１１）、存在しない場合は（図３ステップＡ１０／非存在）、相違情報４０にライブラリ不足のエラーメッセージを格納する（図３ステップＡ１２）。ＰＯＷ型ライブラリ抽出手段２２は、ＮＯＰＯＷ型ライブラリ使用部品情報３１の全部品について、対応するＰＯＷ型ライブラリの調査が終わっていなければ（図３ステップＡ１３／未完）、ステップＡ９に戻る。
【００４５】
ＰＯＷ型ライブラリ抽出手段２２により全ＮＯＰＯＷ型部品の調査が完了すると（図３ステップＡ１３／完了）、図４に示すように、Ｇ／Ｖピンアサイン検証手段２３が、ＮＯＰＯＷ型ライブラリ使用部品情報３１から、１つ部品情報を抽出する（図４ステップＡ１４）。
【００４６】
次に、Ｇ／Ｖピンアサイン検証手段２３は、ＰＯＷ型ライブラリ抽出手段２２対応ＰＯＷ型ライブラリ名情報３２から対応部情報を抽出し、部品ライブラリ１２から対応情報に含まれるＰＯＷ型部品のライブラリ情報を抽出し（図４ステップＡ１５）、ＮＯＰＯＷ型ライブラリ使用部品情報３１から抽出された部品情報、部品ライブラリ１２から抽出されたライブラリ情報からＧ／Ｖピンの情報を抽出する（図４ステップＡ１６）。
【００４７】
次に、Ｇ／Ｖピンアサイン検証手段２３は、抽出された対応する部品のＧ／Ｖピンの電圧レベルを比較し（図４ステップＡ１７）、不一致の場合は（図４ステップＡ１７／不一致）、相違情報４０に不一致メッセージを格納する（図４ステップＡ１８）。次に、Ｇ／Ｖピンアサイン検証手段２３は、対応部品の全Ｇ／Ｖピンの比較が完了していなければ（図４ステップＡ１９／未完）、ステップＡ１６に戻る。全Ｇ／Ｖピンの比較が完了が完了すると（図４ステップＡ１９／完了）、Ｇ／Ｖピンアサイン検証手段２３は、全部品の検証が完了したかどうかを調べ（図４ステップＡ２０）、完了していなければ（図４ステップＡ２０／未完）、ステップＡ１４に戻り、次の部品について処理を続ける。
【００４８】
次に、本発明の第１の実施の形態ついて図２の例を用いてさらに具体的に説明する。
【００４９】
まず、検証部１００は、ネットリスト１１、ＮＯＰＯＷ型部品抽出ルール１３を入力する（図３ステップＡ１、ステップＡ２）。次に、部品名：ＬＯＣ１の情報を抽出し（図３ステップＡ３）、ＰＯＷ、ＮＯＰＯＷのどちらであるのかの判定を行い（図３ステップＡ４）、ＮＯＰＯＷ型であるので、ＮＯＰＯＷ型ライブラリ使用部品情報３１にＬＯＣ１の情報を追加する（図３ステップＡ５）。本例では、部品名＝ＬＯＣ１、ライブラリ名＝ＬＳＩ２−Ｎ、ピン名＝Ａ、ピン属性＝２．５Ｖ、ピン名＝Ｂ、ピン属性＝入力、ピン名＝Ｃ、ピン属性＝ＧＮＤ（グランドの略）、ピン名＝Ｄ、ピン属性＝出力として定義する。部品ＬＯＣ２、ＬＯＣ３についても、ステップＡ３〜ステップＡ５の処理を行い、全部品の処理が完了する（図３ステップＡ６／完了）。
【００５０】
次に、部品ライブラリ１２、ＰＯＷ型ライブラリ抽出ルール１４を入力し（図３ステップＡ７、ステップＡ８）、ＮＯＰＯＷ型ライブラリ使用部品情報３１から、ＬＯＣ１の使用ライブラリ名ＬＳＩ２−Ｎを抽出する（図３ステップＡ９）。次に、ＰＯＷ型ライブラリ抽出ルール１４から対応するＰＯＷ型ライブラリＬＳＩ２−Ｐを検索し（図３ステップＡ１０）、存在するので、対応ＰＯＷ型ライブラリ名情報３２に格納する（図３ステップＡ１１）。ＬＯＣ３についても、ステップＡ９〜ステップＡ１２の処理を行い、全部品の処理が完了（図３ステップＡ１３／完了）する。
【００５１】
さらに、部品名：ＬＯＣ１とライブラリＬＳＩ２−Ｐの情報を抽出し（図４ステップＡ１４〜ステップＡ１５）、Ｇ／Ｖピン：Ａ（図４ステップＡ１６）の情報を抽出し（図３ステップＡ１６）、電圧レベルを比較する（図４ステップＡ１７）。
【００５２】
本例では、ＮＯＰＯＷ型ライブラリ使用部品情報３１に定義した部品名ＬＯＣ１のピン名：Ａのピン属性は２．５［Ｖ］となっている。一方、部品ライブラリ１２のライブラリＬＳＩ２−Ｐのピン名Ａのピン属性は１．８［Ｖ］と定義されており、電圧レベルが異なるため、不一致メッセージを相違情報４０に格納する（図４ステップＡ１８）。同様に、Ｇ／Ｖピン：ＣについてもステップＡ１６〜Ａ１８の処理を行い、全Ｇ／Ｖの処理が完了すると（図３ステップＡ１９／完了）、ＬＯＣ３についてもステップＡ１４〜Ａ１９の処理を行い、全部品の検証が完了する（図３ステップＡ２０／完了）。
【００５３】
次に、本発明の第２の実施の形態について図面を参照して詳細に説明する。
【００５４】
本発明の第２の実施の形態は、ネットリスト１１、および、ＮＯＰＯＷ型部品抽出ルール１３をメモリに入力し（図３ステップＡ１、ステップＡ２）、ネットリスト１１からＮＯＰＯＷ型部品抽出ルール１３に基づいてＮＯＰＯＷ型部品の接続を含む部品情報を抽出し（図３ステップＡ４）、ＮＯＰＯＷ型ライブラリ使用部品情報３１を前記メモリに作成する（図３ステップＡ５）ＮＯＰＯＷ型部品抽出手順と、部品ライブラリ１２、ＰＯＷ型ライブラリ抽出ルール１４を前記メモリに入力し（図３ステップＡ７、ステップＡ８）、ＮＯＰＯＷ型ライブラリ使用部品情報３１内の各部品のＮＯＰＯＷ型ライブラリ名に対し、前記ＰＯＷ型ライブラリ抽出ルール１４に基づいて、部品ライブラリ１２から対応するＰＯＷ型ライブラリ名を対応させ、対応ＰＯＷ型ライブラリ名情報３２を前記メモリに作成し（図３ステップＡ９〜ステップＡ１１）、対応するＰＯＷ型ライブラリ名が存在しない場合には、存在しないことを示す内容を前記メモリの相違情報４０に格納する（図３ステップＡ１２）ＰＯＷ型ライブラリ抽出手順と、ＮＯＰＯＷ型ライブラリ使用部品情報３１内の各ＮＯＰＯＷ型部品の電源・グランドピンの接続と、部品ライブラリ１２から対応ＰＯＷ型ライブラリ名情報３２に基づいて抽出された対応するＰＯＷ部品の電源・グランドピンの定義とを比較し（図４ステップＡ１４〜ステップＡ１７）、相違の内容を前記メモリの相違情報４０に格納する（図４ステップＡ１８）Ｇ／Ｖピンアサイン検証手順とを含む方法である。
【００５５】
次に、本発明の第３の実施の形態について図面を参照して詳細に説明する。
【００５６】
本発明の第３の実施の形態は、ネットリスト１１、および、ＮＯＰＯＷ型部品抽出ルール１３をメモリに入力し（図３ステップＡ１、ステップＡ２）、ネットリスト１１からＮＯＰＯＷ型部品抽出ルール１３に基づいてＮＯＰＯＷ型部品の接続を含む部品情報を抽出し（図３ステップＡ４）、ＮＯＰＯＷ型ライブラリ使用部品情報３１を前記メモリに作成する（図３ステップＡ５）ＮＯＰＯＷ型部品抽出手順と、部品ライブラリ１２、ＰＯＷ型ライブラリ抽出ルール１４を前記メモリに入力し（図３ステップＡ７、ステップＡ８）、ＮＯＰＯＷ型ライブラリ使用部品情報３１内の各部品のＮＯＰＯＷ型ライブラリ名に対し、前記ＰＯＷ型ライブラリ抽出ルール１４に基づいて、部品ライブラリ１２から対応するＰＯＷ型ライブラリ名を対応させ、対応ＰＯＷ型ライブラリ名情報３２を前記メモリに作成し（図３ステップＡ９〜ステップＡ１１）、対応するＰＯＷ型ライブラリ名が存在しない場合には、存在しないことを示す内容を前記メモリの相違情報４０に格納する（図３ステップＡ１２）ＰＯＷ型ライブラリ抽出手順と、ＮＯＰＯＷ型ライブラリ使用部品情報３１内の各ＮＯＰＯＷ型部品の電源・グランドピンの接続と、部品ライブラリ１２から対応ＰＯＷ型ライブラリ名情報３２に基づいて抽出された対応するＰＯＷ部品の電源・グランドピンの定義とを比較し（図４ステップＡ１４〜ステップＡ１７）、相違の内容を前記メモリの相違情報４０に格納する（図４ステップＡ１８）Ｇ／Ｖピンアサイン検証手順とをコンピュータに実行させるプログラムである。
【００５７】
【発明の効果】
本発明の効果は、Ｇ／Ｖの接続の適否を容易に検証できることである。
【００５８】
その理由は、ネットリストの接続情報と部品ライブラリの定義との不一致を自動的に検出するからである。
【図面の簡単な説明】
【図１】本発明の第１の実施の形態の構成を示すブロック図である。
【図２】図１の各ブロックの内容を示す説明図である。
【図３】本発明の第１の実施の形態の動作を示すフローチャートである。
【図４】本発明の第１の実施の形態の動作を示すフローチャートである。
【符号の説明】
１１ネットリスト
１２部品ライブラリ
１３ＮＯＰＯＷ型部品抽出ルール
１４ＰＯＷ型ライブラリ抽出ルール
２１ＮＯＰＯＷ型部品抽出手段
２２ＰＯＷ型ライブラリ抽出手段
２３Ｇ／Ｖピンアサイン検証手段
３１ＮＯＰＯＷ型ライブラリ使用部品情報
３２対応ＰＯＷ型ライブラリ名情報
４０相違情報
１００検証部[0001]
BACKGROUND OF THE INVENTION
The present invention relates to a design verification system, a design verification method, and a design verification program, and more particularly to a design verification system, a design verification method, and a design verification program for a ground and a power supply pin.
[0002]
[Prior art]
In the conventional card logic design system, a designer selects a POW type library that defines a power source and a ground and a NOPOW type library that does not define a power source and a ground for each component, and uses a circuit diagram editor to create a netlist. The technique to create is put into practical use.
[0003]
Further, as a conventional technique, for example, there is one described in “JP 2000-99561 A”. This technology “forms a netlist storage means for storing a netlist for defining a connection relationship between elements constituting a logic circuit of a device to be analyzed, and each of the elements is arranged on a chip of the logic circuit. A placement and routing information storage means for storing placement and routing information consisting of position information of each instance and connection information between instances, and a delay time for each cell consisting of one or more elements constituting a logic circuit. An operation time calculation unit that statically calculates the operation time of the instance based on the output of the cell delay library and its netlist storage means, and a pre-calculated consumption in the operation state of the cells constituting the logic circuit Cell power library for storing current parameters, output of netlist storage means, output of placement and routing information storage means, output of operation time calculation section Based on the statically calculated operation time of each instance obtained and the current consumption parameter obtained at the output of the cell power library, the time when the most current is consumed in the entire logic circuit, the maximum current consumption Power supply voltage fluctuation analysis that analyzes and verifies the voltage drop on the power supply wiring in the logic circuit based on the output of the maximum current consumption value calculation unit A power supply voltage fluctuation analysis apparatus for a semiconductor device comprising a section.
[0004]
[Problems to be solved by the invention]
The problem with the conventional technology described above is that, in the POW type design, the G / V pin is automatically generated from the POW type library after creating the circuit diagram, but it can only be used as defined in the POW type library and can be opened. The net cannot be separated. For example, when it is desired to divide and connect the inner layer for EMI countermeasures, it is necessary to divide the net name for each divided unit even if the potential is the same, but in the POW type, the net name cannot be generated separately. , It will be the same net name uniformly. For the same reason, the G / V pin cannot be wired in the signal layer and connected to the inner layer. Furthermore, there is a problem that the G / V pin cannot be displayed on the circuit diagram.
[0005]
As an alternative, there is a method of designing using the NOPOW library.
[0006]
When using the NOPOW library, it is possible to design the G / V pin open and net name, which is not possible with the POW type, or to open the G / V pin in the signal layer. Although the V pin can be displayed, the G / V pin cannot be automatically generated, so the designer needs to manually assign it.
[0007]
In this way, in the prior art, in the card design that cannot be designed without using the NOPOW type library, as described above, the G / V pin must be manually assigned by the designer, but the assignment is performed correctly. If the component (mainly LSI) having more than 1000 signal pins is mounted, the number of G / V pins is 1000. Since it becomes an order, G / V pin assignment mistakes caused by misunderstandings and misrecognitions of the designer frequently occur, causing the card design quality to deteriorate.
[0008]
In addition, in the technique of “Japanese Patent Laid-Open No. 2000-99561,” actual power supply voltage fluctuations can be analyzed, but it is difficult to find connection errors between individual G / V pins.
[0009]
An object of the present invention is to automatically detect mismatches between netlist connection information and component library definitions, and to easily verify whether G / V connections are appropriate.
[0010]
[Means for Solving the Problems]
The first design verification system of the present invention extracts power supply / ground pin connection information of a part using the NOPOW type library from the net list to a memory, and stores the library information of the POW type part corresponding to the NOPOW type from the part library. And a verification unit that extracts the definition of the power / ground pin to the memory, compares the connection information of the power / ground pin with the definition of the power / ground pin, and stores the comparison result in the memory. .
[0011]
The second design verification system of the present invention inputs a net list and a NOPOW type part extraction rule into a memory, and receives part information including connection of a NOPOW type part from the net list based on the NOPOW type part extraction rule. A NOPOW type component extracting means for extracting and generating a NOPOW type library use part information in the memory, a part library, and a POW type library extraction rule are input to the memory, and the NOPOW of each part in the NOPOW type library use part information is input. A POW type library extracting means for associating a corresponding POW type library name from the component library and creating corresponding POW type library name information in the memory based on the POW type library extraction rule; NOPOW type library use parts information The connection of the power / ground pin of the NOPOW type component is compared with the definition of the power / ground pin of the corresponding POW component extracted from the component library based on the corresponding POW type library name information, and the difference information is stored in the memory. And a G / V pin assignment verifying means.
[0012]
The third design verification system of the present invention inputs a net list and a NOPOW type part extraction rule into a memory, and receives part information including connection of a NOPOW type part from the net list based on the NOPOW type part extraction rule. A NOPOW type component extracting means for extracting and generating a NOPOW type library use part information in the memory, a part library and a POW type library extraction rule are input to the memory, and the NOPOW of each part in the NOPOW type library use part information is input. Based on the POW type library extraction rule, the corresponding POW type library name is made to correspond to the type library name from the part library, and the corresponding POW type library name information is created in the memory. If it does not exist, indicate that it does not exist. Is stored in the memory difference information, the power / ground pin connection of each NOPOW type component in the NOPOW type library used component information, and the corresponding POW type library name information from the component library. G / V pin assignment verification means for comparing the power supply / ground pin definition of the corresponding POW component extracted based on the difference information and storing the content of the difference in the difference information of the memory.
[0013]
According to the first design verification method of the present invention, power supply / ground pin connection information of a part using the NOPOW type library is extracted from the net list to a memory, and the library information of the POW type part corresponding to the NOPOW type is extracted from the part library. And a verification procedure for extracting the definition of the power / ground pin into the memory, comparing the connection information of the power / ground pin with the definition of the power / ground pin, and storing the comparison result in the memory. .
[0014]
According to a second design verification method of the present invention, a net list and a NOPOW type part extraction rule are input to a memory, and part information including connection of a NOPOW type part from the net list is input based on the NOPOW type part extraction rule. A NOPOW type part extraction procedure for extracting and generating a NOPOW type library use part information in the memory, a part library, and a POW type library extraction rule are input to the memory, and the NOPOW of each part in the NOPOW type library use part information is input. A POW type library extraction procedure for associating a corresponding POW type library name from the component library and creating corresponding POW type library name information in the memory based on the POW type library extraction rule, Each N in the NOPOW type library use part information The connection of the power / ground pin of the POW type part is compared with the definition of the power / ground pin of the corresponding POW part extracted from the part library based on the corresponding POW type library name information, and the difference information is stored in the memory. And a G / V pin assignment verification procedure to be created.
[0015]
According to a third design verification method of the present invention, a net list and a NOPOW type part extraction rule are input to a memory, and part information including connection of a NOPOW type part from the net list is input based on the NOPOW type part extraction rule. A NOPOW type component extraction procedure for extracting and generating a NOPOW type library use part information in the memory, a part library, and a POW type library extraction rule are input to the memory, and the NOPOW of each part in the NOPOW type library use part information is input. Based on the POW type library extraction rule, the corresponding POW type library name is made to correspond to the type library name from the part library, and the corresponding POW type library name information is created in the memory. If it does not exist, change the content indicating that it does not exist. Based on the POW type library extraction procedure stored in the memory difference information, the connection of the power / ground pin of each NOPOW type part in the NOPOW type library use part information, and the corresponding POW type library name information from the part library And a G / V pin assignment verification procedure for comparing the power supply / ground pin definition of the corresponding POW component extracted in this manner and storing the difference contents in the difference information of the memory.
[0016]
The first design verification program of the present invention extracts power supply / ground pin connection information of a part using the NOPOW type library from the net list to a memory, and stores the library information of the POW type part corresponding to the NOPOW type from the part library. Extracting the definition of the power / ground pin to the memory, comparing the connection information of the power / ground pin with the definition of the power / ground pin, and causing the computer to execute a verification procedure for storing the comparison result in the memory; Features.
[0017]
The second design verification program of the present invention inputs a net list and a NOPOW type part extraction rule into a memory, and stores part information including connection of a NOPOW type part from the net list based on the NOPOW type part extraction rule. A NOPOW type part extraction procedure for extracting and generating a NOPOW type library use part information in the memory, a part library, and a POW type library extraction rule are input to the memory, and the NOPOW of each part in the NOPOW type library use part information is input. A POW type library extraction procedure for associating a corresponding POW type library name from the component library and creating corresponding POW type library name information in the memory based on the POW type library extraction rule, In the NOPOW type library component information Compare the power / ground pin connection of each NOPOW type component with the definition of the power / ground pin of the corresponding POW component extracted from the component library based on the corresponding POW type library name information. A G / V pin assignment verification procedure created in a memory is caused to be executed by a computer.
[0018]
The third design verification program of the present invention inputs a net list and a NOPOW type part extraction rule into a memory, and stores part information including connection of a NOPOW type part from the net list based on the NOPOW type part extraction rule. A NOPOW type component extraction procedure for extracting and generating a NOPOW type library use part information in the memory, a part library, and a POW type library extraction rule are input to the memory, and the NOPOW of each part in the NOPOW type library use part information is input. Based on the POW type library extraction rule, the corresponding POW type library name is made to correspond to the type library name from the part library, and the corresponding POW type library name information is created in the memory. If it does not exist, it indicates that it does not exist POW type library extraction procedure for storing the contents in the difference information of the memory, connection of power / ground pins of each NOPOW type part in the NOPOW type library use part information, and the corresponding POW type library name information from the part library And comparing the definition of the power supply / ground pin of the corresponding POW component extracted based on the above and causing the computer to execute a G / V pin assignment verification procedure for storing the contents of the difference in the difference information of the memory. Features.
[0019]
DETAILED DESCRIPTION OF THE INVENTION
Next, a first embodiment of the present invention will be described in detail with reference to the drawings.
[0020]
FIG. 1 is a block diagram showing the configuration of the first exemplary embodiment of the present invention.
[0021]
Referring to FIG. 1, the first embodiment of the present invention includes a net list 11, a part library 12, a NOPOW type part extraction rule 13, a POW type library extraction rule 14, and a NOPOW type library using part information 31. , Corresponding POW type library name information 32, difference information 40, and verification unit 100. The verification unit 100 includes a NOPOW type component extraction unit 21, a POW type library extraction unit 22, and a G / V pin assignment verification unit 23.
[0022]
For example, the verification unit 100 is realized in a computer, and the net list 11, the part library 12, the NOPOW type part extraction rule 13, and the POW type library extraction rule 14 are held in an external storage device connected to the computer. When used, it is input to a memory or the like inside the computer. Further, the NOPOW type library use component information 31, the corresponding POW type library name information 32, and the difference information 40 are created in the above-mentioned memory or the like inside the computer.
[0023]
The NOPOW type library used part information 31, the corresponding POW type library name information 32, and the difference information 40 may have an area reserved in advance in the memory, or the NOPOW type part extracting unit 21, the POW type library extracting unit 22, or The G / V pin assignment verifying means 23 may create it.
[0024]
FIG. 2 is an explanatory diagram showing the contents of each block in FIG.
[0025]
Referring to FIG. 2, the net list 11 indicates connection of each component. For example, in a component name: LOC1 (LSI2-N), pin: A is connected to 2.5 [V], pin: B is connected to input pin: X1, and pin: C is connected to GND (ground). . In the part name: LOC2 part (LSI1-P), the pin: B is connected to the pin I: D of the part name: LOC1, and the pin: D is connected to the output pin: Y1. . In addition, for the component (LSI1-N) of the component name: LOC3, the pin: A is 3.3 [V], the pin: B is the input pin: X2, the pin C is GND, and the pin: D is the output pin: Connected to Y2.
[0026]
The component library 12 holds the library name, pin name, and pin attribute of all components. For example, the pin: A of the component of the library name [LSI1-N] is undefined, the pin: B is an input, the pin: C is undefined, and the pin: D is an output. Further, the pin: A of the component of the library name [LSI1-P] is 3.3 [V], the pin: B is an input, the pin: C is GND, and the pin: D is an output. It is. Also, the pin: A of the component [LSI2-N] is undefined, the pin: B is an input, the pin: C is undefined, and the pin: D is an output.
[0027]
The NOPOW type component extraction rule 13 holds, for example, a rule that “the last character of the library name is“ N ””.
[0028]
The POW type library extraction rule 14 holds, for example, a rule that “the last character of the library name is converted from“ N ”to“ P ””.
[0029]
The NOPOW type component extraction means 21 creates NOPOW type library use component information 31 from the net list 11 and the NOPOW type component extraction rule 13. The POW type library extraction unit 22 creates corresponding POW type library name information 32 from the part library 12, the POW type library extraction rule 14, and the NOPOW type library use part information 31. The G / V pin assignment verification means 23 creates the difference information 40 from the part library 12, the NOPOW type library using part information 31, and the corresponding POW type library name information 32.
[0030]
The NOPOW type library use part information 31 holds the use library name, part name, pin name, and pin attribute of all parts that use the NOPOW type library in the netlist 11. In each component, “input” is defined as a pin attribute for an input pin based on the net list 11. For an output pin, “output” is defined as a pin attribute. In the case of a power supply pin, a power supply voltage (2.5 [V] or the like) is defined. If it is a ground pin, the ground (GND) is defined.
[0031]
Referring to FIG. 2, for example, a component having a part name: LOC1 has a pin: A of 2.5 [V], a pin: B as an “input”, a pin: C as a GND, and a pin: D Is defined as an output.
[0032]
The corresponding POW type library name information 32 holds the library name of the POW type library corresponding to the NOPOW type library used in the netlist 11.
[0033]
Referring to FIG. 2, for example, a POW type LSI 1 -P corresponds to a NOPOW type LSI 1 -N, and a POW type LSI 2 -P corresponds to a NOPOW type LSI 2 -N.
[0034]
The difference information 40 holds the difference between the power supply of each component, the power supply voltage of the ground pin, the ground specification, and the definition of the corresponding POW type library in the NOPOW library use component information 31. Further, when there is no POW type library corresponding to the NOPOW type library, the contents indicating that are also held.
[0035]
Referring to FIG. 2, for example, the content of “part name: LOC1 component pin: A power supply voltage is different. Netlist = 2.5 [V], library = 1.8 [V]” is retained. .
[0036]
Next, the operation of the first exemplary embodiment of the present invention will be described with reference to the drawings.
[0037]
FIG. 3 is a flowchart showing the operation of the first exemplary embodiment of the present invention.
[0038]
FIG. 4 is a flowchart showing the operation of the first exemplary embodiment of the present invention.
[0039]
Referring to FIG. 3, first, the verification unit 100 inputs the net list 11 (step A1 in FIG. 3), and further inputs a NOPOW type component extraction rule 13 (step A2 in FIG. 3).
[0040]
Next, the NOPOW type part extracting means 21 sequentially extracts one part at a time from the net list 11 (step A3 in FIG. 3), and the NOPOW type part extraction rule 13 (NOPOW type parts have the last letter of the library name “N”. ) To determine whether the used library name is of the POW type or the NOPOW type (step A4 in FIG. 3). In the case of the NOPOW type (step A4 / NOPOW type in FIG. 3), information on the part is added to the NOPOW type library use part information 31 (step A5 in FIG. 3).
[0041]
In the case of the POW type (step A4 / POW type in FIG. 3), the processing for the NOPOW type library use component information 31 is not performed. Next, the NOPOW type component extracting means 21 checks whether or not the POW / NOPOW determination has been completed for all components in the net list 11 (step A6 in FIG. 3). If the POW / NOPOW determination has not been completed (FIG. 3). Step A6 / incomplete), the process returns to Step A3 (Step A6 in FIG. 3).
[0042]
When the POW / NOPOW determination of all parts is completed by the NOPOW type part extracting means 21 (step A6 / completed in FIG. 3), the verification unit 100 then inputs the part library 12 (step A7 in FIG. 3), and The POW type library extraction rule 14 is input (step A8 in FIG. 3).
[0043]
Next, the POW type library extracting means 22 extracts the used library name from the NOPOW type library used part information 31 (step A9 in FIG. 3), and the POW type corresponding to the part library 12 based on the POW type library extraction rule 14. It is checked whether or not the existing library exists (step A10 in FIG. 3). That is, it is checked whether there is a part having the same library name except that the library name of the NOPOW type library and the last character of the library name are 'P'.
[0044]
If there is a part with the same library name (step A10 in FIG. 3 / existence), the POW type library extracting means 22 stores the correspondence information of the library name in the corresponding POW type library name information 32 (step A11 in FIG. 3). If it does not exist (step A10 in FIG. 3 / non-existent), an error message indicating that the library is insufficient is stored in the difference information 40 (step A12 in FIG. 3). The POW type library extracting means 22 returns to step A9 if the investigation of the corresponding POW type library has not been completed for all the parts in the NOPOW type library using part information 31 (step A13 / incomplete in FIG. 3).
[0045]
When the survey of all NOPOW type parts is completed by the POW type library extracting means 22 (step A13 / completion in FIG. 3), the G / V pin assignment verifying means 23 reads from the NOPOW type library using part information 31 as shown in FIG. One piece of component information is extracted (step A14 in FIG. 4).
[0046]
Next, the G / V pin assignment verification means 23 extracts corresponding part information from the POW type library name information 32 corresponding to the POW type library extracting means 22, and obtains the library information of the POW type part included in the correspondence information from the part library 12. The G / V pin information is extracted from the part information extracted from the NOPOW type library use part information 31 and the library information extracted from the part library 12 (step A16 in FIG. 4).
[0047]
Next, the G / V pin assignment verifying means 23 compares the voltage levels of the extracted G / V pins of the corresponding parts (step A17 in FIG. 4). If they do not match (step A17 in FIG. 4 / mismatch), The mismatch message is stored in the difference information 40 (step A18 in FIG. 4). Next, if the comparison of all the G / V pins of the corresponding component is not completed (step A19 / incomplete in FIG. 4), the G / V pin assignment verification unit 23 returns to step A16. When the comparison of all G / V pins is completed (FIG. 4, step A19 / completed), the G / V pin assignment verification means 23 checks whether verification of all parts has been completed (FIG. 4, step A20). If not (step A20 / incomplete in FIG. 4), the process returns to step A14 to continue the process for the next part.
[0048]
Next, the first embodiment of the present invention will be described more specifically with reference to the example of FIG.
[0049]
First, the verification unit 100 inputs the net list 11 and the NOPOW type component extraction rule 13 (step A1 and step A2 in FIG. 3). Next, the information of the part name: LOC1 is extracted (step A3 in FIG. 3), and it is determined whether it is POW or NOPOW (step A4 in FIG. 3). LOC1 information is added to 31 (step A5 in FIG. 3). In this example, component name = LOC1, library name = LSI2-N, pin name = A, pin attribute = 2.5V, pin name = B, pin attribute = input, pin name = C, pin attribute = GND (ground Abbreviation), pin name = D, pin attribute = output. Also for the parts LOC2 and LOC3, the processing of step A3 to step A5 is performed, and the processing of all the parts is completed (step A6 / completion in FIG. 3).
[0050]
Next, the part library 12 and the POW type library extraction rule 14 are input (step A7, step A8 in FIG. 3), and the used library name LSI2-N of LOC1 is extracted from the NOPOW type library used part information 31 (step in FIG. 3). A9). Next, the corresponding POW type library LSI2-P is searched from the POW type library extraction rule 14 (step A10 in FIG. 3). Since it exists, it is stored in the corresponding POW type library name information 32 (step A11 in FIG. 3). Also for LOC3, the processing of step A9 to step A12 is performed, and the processing of all parts is completed (step A13 / completion in FIG. 3).
[0051]
Further, information on the part name: LOC1 and library LSI2-P is extracted (step A14 to step A15 in FIG. 4), and information on the G / V pin: A (step A16 in FIG. 4) is extracted (step A16 in FIG. 3). The voltage levels are compared (step A17 in FIG. 4).
[0052]
In this example, the pin attribute of the part name LOC1 defined in the NOPOW type library use part information 31 is 2.5 [V]. On the other hand, since the pin attribute of the pin name A of the library LSI2-P of the component library 12 is defined as 1.8 [V] and the voltage level is different, the mismatch message is stored in the difference information 40 (step A18 in FIG. 4). ). Similarly, the processing of steps A16 to A18 is performed for the G / V pin: C, and when the processing of all G / V is completed (step A19 / completion in FIG. 3), the processing of steps A14 to A19 is performed for LOC3, too. Verification of all parts is completed (step A20 / completion in FIG. 3).
[0053]
Next, a second embodiment of the present invention will be described in detail with reference to the drawings.
[0054]
In the second embodiment of the present invention, the net list 11 and the NOPOW type component extraction rule 13 are input to the memory (step A1 and step A2 in FIG. 3), and the NOPOW type component extraction rule 13 from the net list 11 is used. The component information including the connection of the NOPOW type component is extracted (step A4 in FIG. 3), and the NOPOW type library use component information 31 is created in the memory (step A5 in FIG. 3). The POW type library extraction rule 14 is input to the memory (steps A7 and A8 in FIG. 3), and the NOPOW type library name of each part in the NOPOW type library using part information 31 is based on the POW type library extraction rule 14. Corresponding POW type library name from the parts library 12 Then, the corresponding POW type library name information 32 is created in the memory (step A9 to step A11 in FIG. 3), and if the corresponding POW type library name does not exist, the contents indicating that the corresponding POW type library name does not exist is indicated in the memory difference information 40. (Step A12 in FIG. 3), the POW type library extraction procedure, the connection of the power / ground pins of each NOPOW type part in the NOPOW type library use part information 31, and the corresponding POW type library name information 32 from the part library 12 The power supply / ground pin definitions of the corresponding POW parts extracted based on the comparison are compared (step A14 to step A17 in FIG. 4), and the contents of the difference are stored in the difference information 40 of the memory (step A18 in FIG. 4). / V pin assignment verification procedure.
[0055]
Next, a third embodiment of the present invention will be described in detail with reference to the drawings.
[0056]
In the third embodiment of the present invention, the net list 11 and the NOPOW type component extraction rule 13 are input to the memory (step A1 and step A2 in FIG. 3), and the NOPOW type component extraction rule 13 from the net list 11 is used. The component information including the connection of the NOPOW type component is extracted (step A4 in FIG. 3), and the NOPOW type library use component information 31 is created in the memory (step A5 in FIG. 3). The POW type library extraction rule 14 is input to the memory (steps A7 and A8 in FIG. 3), and the NOPOW type library name of each part in the NOPOW type library using part information 31 is based on the POW type library extraction rule 14. Corresponding POW type library name from the parts library 12 Then, the corresponding POW type library name information 32 is created in the memory (step A9 to step A11 in FIG. 3), and if the corresponding POW type library name does not exist, the contents indicating that the corresponding POW type library name does not exist is indicated in the memory difference information 40. (Step A12 in FIG. 3), the POW type library extraction procedure, the connection of the power / ground pins of each NOPOW type part in the NOPOW type library use part information 31, and the corresponding POW type library name information 32 from the part library 12 The power supply / ground pin definitions of the corresponding POW parts extracted based on the comparison are compared (step A14 to step A17 in FIG. 4), and the contents of the difference are stored in the difference information 40 of the memory (step A18 in FIG. 4). / V is a program that causes a computer to execute a pin assignment verification procedure.
[0057]
【The invention's effect】
The effect of the present invention is that the suitability of G / V connection can be easily verified.
[0058]
This is because a mismatch between the netlist connection information and the component library definition is automatically detected.
[Brief description of the drawings]
FIG. 1 is a block diagram showing a configuration of a first exemplary embodiment of the present invention.
FIG. 2 is an explanatory diagram showing the contents of each block in FIG. 1;
FIG. 3 is a flowchart showing the operation of the first exemplary embodiment of the present invention.
FIG. 4 is a flowchart showing the operation of the first exemplary embodiment of the present invention.
[Explanation of symbols]
11 Netlist
12 Parts library
13 NOPOW type parts extraction rules
14 POW type library extraction rules
21 NOPOW type part extraction means
22 POW type library extraction means
23 G / V pin assignment verification means
31 NOPOW type library parts information
32 Supported POW type library name information
40 Difference information
100 Verification Department

Claims

Extracts the power / ground pin connection information of the parts using the NOPOW type library from the net list to the memory, and extracts the power / ground pin definitions of the POW type part library information corresponding to the NOPOW type from the part library to the memory. And a verification unit for comparing the connection information of the power supply / ground pin with the definition of the power supply / ground pin and storing the comparison result in the memory.

A net list and a NOPOW type part extraction rule are input to a memory, part information including connections of NOPOW type parts is extracted from the net list based on the NOPOW type part extraction rule, and NOPOW type library use part information is The NOPOW type component extraction means, the part library, and the POW type library extraction rule to be created in the memory are input to the memory, and the POW type library extraction is performed for the NOPOW type library name of each part in the NOPOW type library use part information. Based on the rule, a POW type library extracting means for associating a corresponding POW type library name from the part library and creating corresponding POW type library name information in the memory, and each NOPOW type in the NOPOW type library using part information Component power / ground G / V pin for comparing the connection of the power source and the definition of the power / ground pin of the corresponding POW component extracted from the component library based on the corresponding POW type library name information, and creating difference information in the memory A design verification system comprising an assignment verification means.

A net list and a NOPOW type part extraction rule are input to a memory, part information including connections of NOPOW type parts is extracted from the net list based on the NOPOW type part extraction rule, and NOPOW type library use part information is The NOPOW type part extraction means to be created in the memory, the part library, and the POW type library extraction rule are input to the memory, and the POW type library extraction is performed for the NOPOW type library name of each part in the NOPOW type library use part information. Based on the rule, the corresponding POW type library name is made to correspond from the part library, the corresponding POW type library name information is created in the memory, and when the corresponding POW type library name does not exist, it indicates that it does not exist. Store the contents in the difference information of the memory OW type library extraction means, power supply / ground pin connection of each NOPOW type component in the NOPOW type library use part information, and corresponding POW part extracted from the part library based on the corresponding POW type library name information A design verification system comprising: a G / V pin assignment verification unit that compares the definition of the power supply / ground pin and stores the content of the difference in the difference information of the memory.

Extracts the power / ground pin connection information of the parts that use the NOPOW type library from the net list to the memory, and extracts the power supply / ground pin definitions of the POW type part library information corresponding to the NOPOW type from the part library to the memory. And a verification procedure for comparing the information on the connection between the power supply and the ground pin and the definition of the power supply and the ground pin, and storing the comparison result in the memory.

A net list and a NOPOW type part extraction rule are input to a memory, part information including connections of NOPOW type parts is extracted from the net list based on the NOPOW type part extraction rule, and NOPOW type library use part information is The NOPOW type part extraction procedure to be created in the memory, the part library, and the POW type library extraction rule are input to the memory, and the POW type library extraction is performed for the NOPOW type library name of each part in the NOPOW type library use part information. Based on the rule, the corresponding POW type library name is made to correspond from the part library and the corresponding POW type library name information is created in the memory, and each NOPOW type in the NOPOW type library using part information Component power / ground G / V pin for comparing the connection of the power source and the definition of the power / ground pin of the corresponding POW component extracted from the component library based on the corresponding POW type library name information, and creating difference information in the memory A design verification method comprising: an assignment verification procedure.

A net list and a NOPOW type part extraction rule are input to a memory, part information including connections of NOPOW type parts is extracted from the net list based on the NOPOW type part extraction rule, and NOPOW type library use part information is The NOPOW type part extraction procedure to be created in the memory, the part library, and the POW type library extraction rule are input to the memory, and the POW type library extraction is performed for the NOPOW type library name of each part in the NOPOW type library use part information. Based on the rule, the corresponding POW type library name is made to correspond from the part library, the corresponding POW type library name information is created in the memory, and when the corresponding POW type library name does not exist, it indicates that it does not exist. Store the contents in the difference information of the memory OW type library extraction procedure, power supply / ground pin connection of each NOPOW type part in the NOPOW type library use part information, and corresponding POW part extracted from the part library based on the corresponding POW type library name information A design verification method comprising: a G / V pin assignment verification procedure for comparing a power supply / ground pin definition and storing a difference content in the difference information of the memory.

Extracts the power / ground pin connection information of the parts using the NOPOW type library from the net list to the memory, and extracts the power / ground pin definitions of the POW type part library information corresponding to the NOPOW type from the part library to the memory A design verification program for comparing a power source / ground pin connection information with a definition of a power source / ground pin and causing a computer to execute a verification procedure for storing the comparison result in the memory.

A net list and a NOPOW type part extraction rule are input to a memory, part information including connections of NOPOW type parts is extracted from the net list based on the NOPOW type part extraction rule, and NOPOW type library use part information is The NOPOW type part extraction procedure to be created in the memory, the part library, and the POW type library extraction rule are input to the memory, and the POW type library extraction is performed for the NOPOW type library name of each part in the NOPOW type library use part information. Based on the rule, the corresponding POW type library name is made to correspond from the part library and the corresponding POW type library name information is created in the memory, and each NOPOW type in the NOPOW type library using part information Component power / ground G / V pin for comparing the connection of the power source and the definition of the power / ground pin of the corresponding POW component extracted from the component library based on the corresponding POW type library name information, and creating difference information in the memory A design verification program for causing a computer to execute an assignment verification procedure.

A net list and a NOPOW type part extraction rule are input to a memory, part information including connections of NOPOW type parts is extracted from the net list based on the NOPOW type part extraction rule, and NOPOW type library use part information is The NOPOW type part extraction procedure to be created in the memory, the part library, and the POW type library extraction rule are input to the memory, and the POW type library extraction is performed for the NOPOW type library name of each part in the NOPOW type library use part information. Based on the rule, the corresponding POW type library name is made to correspond from the part library, the corresponding POW type library name information is created in the memory, and when the corresponding POW type library name does not exist, it indicates that it does not exist. Store the contents in the difference information of the memory OW type library extraction procedure, connection of power / ground pin of each NOPOW type part in the NOPOW type library used part information, and corresponding POW part extracted from the part library based on the corresponding POW type library name information A design verification program which causes a computer to execute a G / V pin assignment verification procedure for comparing the power source / ground pin definition of the memory and storing the difference content in the difference information of the memory.