(57)【要約】【課題】カード内の接続検証と同等の検証を行うことで、カード設計品質向上に寄与するカード設計検証方法及びカード設計検証システムを提供する。【解決手段】カード接続関係マップ作成手段は、カードネットリスト情報及びカード間接続情報を入力し、カード接続関係マップ情報を作成して、カードネットリスト同士の接続関係のコネクタ部分だけを記憶し、カードネットリスト内の接続は記憶しない。カード内検証手段は、カードネットリスト情報及び部品情報から、カード間接続対象箇所を抽出し、カード間接続箇所情報として記憶し、同時にカード内検証を行う。カード間接続情報作成手段は、カードネットリスト情報、カード接続関係マップ情報及びカード間接続箇所情報から、カード間接続ネットリスト情報を作成する。カード間検証手段は、部品情報及びカード間接続ネットリスト情報から、カード間接続検証を実施する。【選択図】      図１
2004287585.tif 000002
【特許請求の範囲】
【請求項１】
１種類以上のカードのネットリストの情報が存在するカードネットリスト情報を入力する第１のステップと、
前記カードネットリスト情報で入力されるカード種類を使用したカードインスタンス（カード種類の実体）のカード間接続関係を定義するカード間接続情報を入力する第２のステップと、
前記カードネットリスト情報で使用されている部品の情報を定義する部品情報を入力する第３のステップと、
前記カード間接続情報のカード間コネクタ直結接続の情報から、カード間コネクタ直結接続のカードインスタンスで構成される接続関係のマップを作成し、カード接続関係マップ情報に記憶する第４のステップと、
前記カード間接続情報のカード間ケーブル接続の情報と、前記カード接続関係マップ情報から、カード間コネクタ直結接続のカードインスタンスで構成されるマップにカード間ケーブル接続のカードインスタンスを追加し、前記カード接続関係マップ情報に記憶する第５のステップと、
前記カードネットリスト情報をカード種類毎に検証するため、カードネットリストから、検証箇所を順に抽出する第６のステップと、
該検証箇所がカード間接続対象のコネクタを含んでいるかどうかを判断する第７のステップと、
該検証箇所がカード間接続対象のコネクタを含んでいれば、カード間接続箇所情報にカード種類と検証箇所の情報を記憶する第８のステップと、
検証対象箇所に対して、前記部品情報をもとに接続検証処理を実施し、結果を検証結果に出力する第９のステップと、
全カード種類、全検証箇所が完了していなければ、第６のステップに戻る第１０のステップと、
前記カード間接続箇所情報からカード間を含む検証箇所を順に抽出する第１１のステップと、
前記カードネットリスト情報及び前記カード接続関係マップ情報から、カード間を含む検証に必要な大きさの部分ネットリストを仮想的に作成し、カード間接続ネットリスト情報に記憶する第１２のステップと、
全カード間接続箇所情報の抽出が終っていなければ第１１のステップに戻る第１３のステップと、
前記カード間接続ネットリスト情報から、部分ネットリストを順に抽出する第１４のステップと
前記部品情報をもとに接続検証処理を実施し、結果を前記検証結果に出力する第１５のステップと、
全部分ネットリストについて検証が終っていなければ第１４のステップに戻る第１６のステップとを有するカード設計検証方法。
【請求項２】
前記カード間接続情報は、
カード間コネクタ直結接続の場合には、上位カードのカード種類名とコネクタのロケーション名、下位カードのカード種類名とカードインスタンス名とコネクタのロケーション名の対応が複数定義され、上位カード種類と下位カード種類の上位下位関係、接続関係は一意に決まり、接続されるコネクタのピン名は、カード間で一致し、
カード間ケーブル接続の場合には、一方に、カードインスタンス名とコネクタのロケーション名、他方に、カードインスタンス名とコネクタのロケーション名の対応、それに加え、コネクタピン接続ルールが複数定義され、一方のカード種類と他方のカード種類の上位下位関係、接続関係が一意に決まらないため、カードインスタンス名で対応を取り、接続されるコネクタのピン名は、カード間で一致するとは限らないため、ピン名の対応を定義し、
前記カード接続関係マップ情報には、カードインスタンス別に、カード間接続されるコネクタのロケーション、ピンと接続先のカードインスタンス、ピンの対応がまとめられており、
前記カード間接続箇所情報には、カード種類別に、ピン、または、ネットの情報がまとめられており、
カード間接続ネットリスト情報には、カード間のコネクタを経由する部分的なネットリスト接続情報がコネクタの接続が無い状態でまとめられている、請求項１に記載のカード設計検証方法。
【請求項３】
カードネットリスト情報と、カード間接続情報と、部品情報と、カード接続関係マップ作成手段と、カード内検証手段と、カード間接続情報作成手段と、カード間検証手段と、カード接続関係マップ情報と、カード間接続箇所情報と、カード間接続ネットリスト情報と、検証結果とから構成され、
前記カードネットリスト情報には、１種類以上のカードのネットリストの情報が存在し、
前記カード間接続情報は、前記カードネットリスト情報で入力されるカード種類を使用したカードインスタンス（カード種類の実体）のカード間接続関係を定義し、
前記部品情報は、前記カードネットリスト情報で使用されている部品の情報を定義し、
前記カード接続関係マップ作成手段は、前記カードネットリスト情報及び前記カード間接続情報を入力し、前記カード接続関係マップ情報を作成して、カードネットリスト同士の接続関係のコネクタ部分だけを記憶し、カードネットリスト内の接続は記憶せず、
前記カード内検証手段は、前記カードネットリスト情報及び前記部品情報から、カード間接続対象箇所を抽出し、前記カード間接続箇所情報として記憶し、同時にカード内検証を行い、前記検証結果に結果を出力し、
前記カード間接続情報作成手段は、前記カードネットリスト情報と前記カード接続関係マップ情報と前記カード間接続箇所情報とから、前記カード間接続ネットリスト情報を作成し記憶し、
前記カード間検証手段は、前記部品情報及び前記カード間接続ネットリスト情報から、カード間接続検証を実施し、前記検証結果を得る、カード設計検証システム。
【請求項４】
前記カード間接続情報は、
カード間コネクタ直結接続の場合には、上位カードのカード種類名とコネクタのロケーション名、下位カードのカード種類名とカードインスタンス名とコネクタのロケーション名の対応が複数定義され、上位カード種類と下位カード種類の上位下位関係、接続関係は一意に決まり、接続されるコネクタのピン名は、カード間で一致し、
カード間ケーブル接続の場合には、一方に、カードインスタンス名とコネクタのロケーション名、他方に、カードインスタンス名とコネクタのロケーション名の対応、それに加え、コネクタピン接続ルールが複数定義され、一方のカード種類と他方のカード種類の上位下位関係、接続関係が一意に決まらないため、カードインスタンス名で対応を取り、接続されるコネクタのピン名は、カード間で一致するとは限らないため、ピン名の対応を定義し、
前記カード接続関係マップ情報には、カードインスタンス別に、カード間接続されるコネクタのロケーション、ピンと接続先のカードインスタンス、ピンの対応がまとめられており、
前記カード間接続箇所情報には、カード種類別に、ピン、または、ネットの情報がまとめられており、
カード間接続ネットリスト情報には、カード間のコネクタを経由する部分的なネットリスト接続情報がコネクタの接続が無い状態でまとめられている、請求項３に記載のカード設計検証システム。
【発明の詳細な説明】
【０００１】
【発明の属する技術分野】
本発明は、カード設計検証方法及びカード設計検証システムに関する。
【０００２】
【従来の技術】
従来のカード設計に於いては、回路図エディタを代表する論理レベルのネットリスト作成ツールを使用して作成した、カード単体のネットリストの接続を検証するシステム、例えばネットの入出力オープン、マルチソースを検証するようなシステムが実用化されている。
【０００３】
また、カードがコネクタ部品やケーブルを介して別のカードに接続されるようなカード間接続の存在する設計に於いては、それぞれのカードの接続対象となるコネクタ部品のピン属性の整合を検証するシステムが実用化されている。
【０００４】
従来の技術としては、複数の論理回路図の図面間において同一信号線による接続関係を示す相互参照点毎に、この相互参照点に接続される構成部品の入出力属性と信号線の信号名とを格納し、これらの中から同一の信号名により構成部品の入出力属性を検索してその入出力属性により相互参照点間の論理接続をチエックし、このチエック結果に従って論理回路図の図面間の論理接続状態の適否を判定する論理接続チエック方式がある（例えば、特許文献１参照。）。しかし、この従来の技術は、１枚のカードを複数シートの回路図で表現するときのシート間の接続を信号名ベースでカード内の接続を検証するシステムであり、カード間の接続も検証可能なカードの接続検証システムではない。
【０００５】
また、データ入力手順により実装基板のネットリスト情報と実装部品情報とを入力してテーブルを作成し、接続検証手順によりテーブルを参照してループネットなどの信号の接続関係を検証する実装基板試験容易性検証方法もある（例えば、特許文献２参照。）。しかし、この従来の技術も、単なるカード内の接続を検証するシステムであり、カード間の接続も検証可能なカードの接続検証システムではない。
【０００６】
また、プリント基板と、プリント基板を実装するマザーボードの実装設計において、配線前後の実装設計段階が混在する階層間ネットの配線長を算出し、配線長の妥当性のチェックを可能とする実装設計チェック方法がある（例えば、特許文献３参照。）。しかし、この従来の技術は、カード間の接続にピンの配置情報の一致を利用しており、論理情報で接続可能なカードの接続検証システムとは異なる。また、検証のために配置する必要がある部分も、カードの接続検証システムとは異なる。
【０００７】
【特許文献１】
特開昭６３−２５７８４２号公報
【特許文献２】
特開平６−２１５０６７号公報
【特許文献３】
特開平６−２０３１０１号公報
【０００８】
【発明が解決しようとする課題】
上述の、従来のカードの接続検証システムでは、カード間については、コネクタのピン属性の整合性検証に留まっており、コネクタ前後の接続情報も必要とするような電気的接続の検証が不完全となっている。例えば、カード単体では、コネクタに接続されており、入力オープンでは無いような場合でも、カード間接続先の方のコネクタのピンが未使用となっている可能性がある。また、コネクタのピン属性は手動で指定するため、設計者の思い込みが入る可能性があり、特に、両カード間のコネクタのピン属性を同一設計者が指定する場合に於いては、カード間コネクタ部品ピン属性の整合検証自体が効果が無くなる可能性がある。これらの検証の不完全性や設計者の思い込みから、同じ回路構成において、カード内のみの接続と、カード間を含む接続では、後者の方が設計ミスを誘発する可能性が高くなり、これに伴い回路の目視確認に費す工数も多くなっており、カード設計品質を低下、および、検証工数の増加の要因となっている。
【０００９】
このような状況から、カード間を含む接続検証においても、カード内の接続検証と同等の検証を行う手法が有効である。
【００１０】
本発明の目的は、カード内の接続検証と同等の検証を行うことで、効率良く検証し、カード設計品質の向上に寄与するカード設計検証方法及びカード設計検証システムを提供することにある。
【００１１】
【課題を解決するための手段】
本発明は、カード設計において、１種類以上のカードのネットリストの情報と、カード同士の接続情報を与えることで、カード単体に対する接続検証を、カード間に対しても同等に実施することのできるカード設計検証方法及びカード設計検証システムである。
【００１２】
カードネットリスト情報には、１種類以上のカードのネットリストの情報が存在している。カード間接続情報は、カードネットリスト情報で入力されるカード種類を使用したカードインスタンス（カード種類の実体）のカード間接続関係を定義している。部品情報は、カードネットリスト情報で使用されている部品の情報を定義しているライブラリである。カード接続関係マップ作成手段は、カードネットリスト情報及びカード間接続情報を入力し、カード接続関係マップ情報を作成して、カードネットリスト同士の接続関係のコネクタ部分だけを記憶する。カード接続関係マップ作成手段では、カードネットリスト内の接続は記憶しない。カード内検証手段は、カードネットリスト情報及び部品情報から、カード間接続対象箇所を抽出し、カード間接続箇所情報として記憶し、同時にカード内検証を行い、検証結果に結果を出力する。カード間接続情報作成手段は、カードネットリスト情報、カード接続関係マップ情報及びカード間接続箇所情報から、カード間接続ネットリスト情報を作成し記憶する。カード間検証手段は、部品情報及びカード間接続ネットリスト情報から、カード間接続検証を実施し、検証結果を得ることができる。カード内検証手段とカード間検証手段を別々に構成しているのは、１種類のカードが、複数個以上使用されていても、同一カードのカード内の接続について検証を１回で済ませることで、検証処理を効率化するためである。また、カード内とカード間で検証を分けることにより、検証結果が整理して出力されるため、結果確認作業が効率化される。
【００１３】
このようにして、各カード内の接続について検証を実施し、さらにカード間の接続についても、カード内と同等の接続検証を実施するカード設計検証方法及びカード設計検証システムである。
【００１４】
従って、従来、各カードの回路図を用いて部品情報と照らし合わせて目視していたカード間の接続検証を、当該カード設計検証方法及びカード設計検証システムにより、カード内の接続検証と同等の検証を行うことで、効率良く検証し、カード設計品質の向上に寄与する。
【００１５】
【発明の実施の形態】
図１を参照すると、本発明のカード設計検証システムの実施の形態は、カードネットリスト情報１１、カード間接続情報１２、部品情報１３、カード接続関係マップ作成手段２１、カード内検証手段２２、カード間接続情報作成手段２３、カード間検証手段２４、カード接続関係マップ情報３１、カード間接続箇所情報３２、カード間接続ネットリスト情報３３、および、検証結果４で構成している。
【００１６】
カードネットリスト情報１１には、１種類以上のカードのネットリストの情報が存在している。カード間接続情報１２は、カードネットリスト情報１１で入力されるカード種類を使用したカードインスタンスのカード間接続関係を定義している。カード間コネクタ直結接続の場合には、上位カードのカード種類名とコネクタのロケーション名、下位カードのカード種類名とカードインスタンス名とコネクタのロケーション名の対応が複数定義されている。カード間コネクタ直結の場合、上位カード種類と下位カード種類の上位下位関係、接続関係は一意に決まる。また、接続されるコネクタのピン名は、カード間で一致している。カード間ケーブル接続の場合には、一方に、カードインスタンス名とコネクタのロケーション名、他方に、カードインスタンス名とコネクタのロケーション名の対応、それに加え、コネクタピン接続ルールが複数定義されている。カード間ケーブル接続の場合、一方のカード種類と他方のカード種類の上位下位関係、接続関係が一意に決まらないため、カードインスタンス名で対応を取る必要がある。また、接続されるコネクタのピン名は、カード間で一致するとは限らないため、ピン名の対応を定義する必要がある。部品情報１３は、カードネットリスト情報１１で使用されている部品の情報を定義しているライブラリである。
【００１７】
カード接続関係マップ情報３１には、カードインスタンス別に、カード間接続されるコネクタのロケーション、ピンと接続先のカードインスタンス、ピンの対応がまとめられている。カード間接続箇所情報３２には、カード種類別に、ピン、もしくは、ネットの情報がまとめられている。カード間接続ネットリスト情報３３には、カード間のコネクタを経由する部分的なネットリスト接続情報がコネクタの接続が無い状態でまとめられている。
【００１８】
カード接続関係マップ作成手段２１は、カードネットリスト情報１１及びカード間接続情報１２からカード接続関係マップ情報３１を作成する。カード内検証手段２２は、カードネットリスト情報１１及び部品情報１３からカード間接続箇所情報３２及び検証結果４を作成する。カード間接続情報作成手段２３は、カードネットリスト情報１１、カード接続関係マップ情報３１及びカード間接続箇所情報３２からカード間接続ネットリスト情報３３を作成する。カード間検証手段２４は、部品情報１３及びカード間接続ネットリスト情報３３から検証結果４を作成する。
【００１９】
また、カード内検証手段２２と、カード間検証手段２４に於いて、カード内とカード間を別々に検証しているのは、同一カードが複数枚使用されていても、当該のカード内の接続について検証を１回で済ませることで、検証処理を効率化するためである。カード内とカード間を同時に検証する場合、各カードを接続した仮想的なカードについて、接続検証を行うため、複数枚以上使用されているカードの接続については、複数回検証することになる。また、カード内とカード間で検証を分けることにより、検証結果が整理して出力されるため、結果確認作業が効率化される。
【００２０】
次に、図２のフローチャートを参照して本実施の形態の全体の動作について詳細に説明する。
【００２１】
図２のうち、ステップＡ４〜ステップＡ５は、図１のカード接続関係マップ作成手段２１、ステップＡ６〜ステップＡ１０は、図１のカード内検証手段２２、ステップＡ１１〜ステップＡ１３は、図１のカード間接続情報作成手段２３、ステップＡ１４〜ステップＡ１６は、図１のカード間検証手段２４に対応している。
【００２２】
まず、カードネットリスト情報１１、部品情報１３及びカード間接続情報１２を入力する。（ステップＡ１、ステップＡ２及びステップＡ３）。次に、カード間接続情報１２のカード間コネクタ直結接続の情報から、カード間コネクタ直結接続のカードインスタンスで構成される接続関係のマップを作成し、カード接続関係マップ情報３１に記憶する（ステップＡ４）。次に、カード間接続情報１２のカード間ケーブル接続の情報と、カード接続関係マップ情報３１から、カード間コネクタ直結接続のカードインスタンスで構成されるマップにカード間ケーブル接続のカードインスタンスを追加し、カード接続関係マップ情報３１に記憶する（ステップＡ５）。
【００２３】
次に、カードネットリスト情報１１をカード種類毎に検証する。カードネットリストから、検証箇所を順に抽出し（ステップＡ６）、検証箇所がカード間接続対象のコネクタを含んでいるかどうかを判断し（ステップＡ７）、検証箇所がカード間接続対象のコネクタを含んでいれば、カード間接続箇所情報３２にカード種類と検証箇所の情報を記憶する（ステップＡ８）。次に、検証対象箇所に対して、部品情報１３をもとに接続検証処理を実施し、結果を検証結果４に出力する（ステップＡ９）。このとき、検証対象箇所がカード間接続を含んでいる場合は、検証内容によっては接続検証処理を実施しないこともある。全カード種類、全検証箇所が完了していなければ、ステップＡ６に戻る（ステップＡ１０）。
【００２４】
次に、カード間接続箇所情報３２からカード間を含む検証箇所を順に抽出し（ステップＡ１１）、カードネットリスト情報１１及びカード接続関係マップ情報３１から、カード間を含む検証に必要な大きさの部分ネットリストを仮想的に作成し、カード間接続ネットリスト情報３３に記憶する（ステップＡ１２）。部分ネットリストは、カード間接続のコネクタやケーブルが無くなっており、カード間はネットが直接つながっている。全カード間接続箇所情報の抽出が終っていなければステップＡ１１に戻る（ステップＡ１３）。
【００２５】
次に、カード間接続ネットリスト情報３３から、部分ネットリストを順に抽出し（ステップＡ１４）、部品情報１３をもとに接続検証処理を実施し、結果を検証結果４に出力する（ステップＡ１５）。このときの検証処理の内容はステップＡ９のものと同じとなる。全部分ネットリストについて検証が終っていなければステップＡ１４に戻る（ステップＡ１６）。
【００２６】
次に、図２と図３を参照し、具体例を用いて説明する。
【００２７】
図３のうち、カードネットリスト情報１１、カード間接続情報１２、及び、部品情報１３は、検証システムの使用に必要となる情報である。カードネットリスト情報１１は、ＣＡＲＤ−Ａ、ＣＡＲＤ−Ｂ及びＣＡＲＤ−Ｃの３種類のカードの、接続情報が記録されている。ＬＯＣ−Ａ１［ＣＯＮ１］は、図中の部品のロケーション名がＬＯＣ−Ａ１、部品名がＣＯＮ１であることを表している。ＬＯＣ−Ａ２［ＣＯＮ−１］、ＬＯＣ−Ａ３［ＣＯＮ−１］、ＬＯＣ−Ｂ１［ＣＯＮ−２］及びＬＯＣ−Ｃ１［ＣＯＮ−３］も同様。図中のＮＥＴ−Ａ１は、ネット名がＮＥＴ−Ａ１であることを表している。ＮＥＴ−Ａ２、ＮＥＴ−Ａ３、ＮＥＴ−Ｂ１、ＮＥＴ−Ｂ２、ＮＥＴ−Ｃ１及びＮＥＴ−Ｃ２も同様である。また、▲１▼や▲２▼は、図中の部品のピン名を表しており、▲１▼や▲２▼の左右にあるＩ及びＯは、そのピンのピン属性が入力、出力であることを表している。ピン属性は、ピン属性が未定以外の場合、部品情報のピン属性をそのまま継承するが、未定の場合、設計者が属性を自由に定義できる。カード間接続情報１２は、最上位のカードのカードインスタンス名、カード間コネクタ直結接続情報、カード間ケーブル接続情報が記録されている。部品情報１３は、部品の情報が記憶されている。図中のピン１：未定は、ピン１のピンの属性（入力、出力、双方向、電源、グランド、未定）をあらわしており、ピン属性が未定の場合は、入力、出力等どのように使用しても良いことを表している。
【００２８】
まず、カードネットリスト情報１１、カード間接続情報１２及び部品情報１３を入力する（ステップＡ１、ステップＡ２及びステップＡ３）。カード間接続情報１２の検証対象システムの最上位カードの定義からカード種類ＣＡＲＤ−ＡとカードインスタンスＣＩＮＳ−Ａを抽出し、カード接続関係マップ情報３１に記憶する。また、カード間コネクタ直結接続時の定義１から、カード間接続情報１２に記憶した上位側のカード種類ＣＡＲＤ−ＡのロケーションＬＯＣ−Ａ１のコネクタに直結接続する下位側のカード種類ＣＡＲＤ−Ｂと、そのカードインスタンスＣＩＮＳ−Ｂ１、ロケーションＬＯＣ−Ｂ１をカード間接続関係マップ情報３１に上位と下位のコネクタのピンが１対１で接続されている状態で記憶する。このとき、カード種類ＣＡＲＤ−ＢのカードインスタンスＣＩＮＳ−Ｂ１は、上位側であるカード種類ＣＡＲＤ−ＡのカードインスタンスＣＩＮＳ−Ａに繋がっていることを表現するために、ＣＩＮＳ−Ａ／ＣＩＮＳ−Ｂ１と記憶される。このようにカードインスタンスを変更するのは、カード種類ＣＡＲＤ−Ａの実体が複数存在するようなケースで、どのカードインスタンスに繋がっているか明確にする必要があるためである。同様にして、カード間コネクタ直結接続時の定義２から情報を抽出し、カード接続関係マップ情報３１に追加して記憶する（ステップＡ４及びステップＡ５）。
【００２９】
次に、カードネットリスト情報１１から、カード内検証箇所を抽出する。本例では、検証処理はネットに対して行うものとする。まずカード種類ＣＡＤＲ−ＡのネットＮＥＴ−Ａ１を抽出する（ステップＡ６）。ネットＮＥＴ−Ａ１は、ロケーションＬＯＣ−Ａ１に接続されており、カード接続関係マップ情報３１から、ロケーションＬＯＣ−Ａ１の部品は、カード間接続対象であるため、カード間接続を含むと判断される（ステップＡ７）。検証箇所は、カード間接続を含む場合、カード間接続箇所情報３２に記憶される（ステップＡ８）。その後、ネットＮＥＴ−Ａ１に対する接続検証処理を実施する。本実施例の場合は、入力オープンネット、出力オープンネット及びマルチソースネットの検証を行う。ＮＥＴ−Ａ１に接続されているピンには、ピン属性が入力となっているものが２個、出力となっているものが１個存在し、入力オープンネット、出力オープンネット、マルチソースネットが無いことが確認できる。結果については、検証結果４に出力する（ステップＡ９）。このようにして、カード種類ＣＡＲＤ−ＡのネットＮＥＴ−Ａ２及びＮＥＴ−Ａ３、カード種類ＣＡＲＤ−ＢのネットＮＥＴ−Ｂ１及びＮＥＴ−Ｂ２、及び、カード種類ＣＡＲＤ−ＣのネットＮＥＴ−Ｃ１及びＮＥＴ−Ｃ２に対して同様にステップＡ６〜ステップＡ９の処理を行い、全カード内検証対象箇所の検証が完了する（ステップＡ１０）。
【００３０】
次に、カード間接続箇所情報３２から、順に情報を取り出し（ステップＡ１１）、カード間接続の含まれる部分ネットリストを仮想的に作成する。本例では、カード種類ＣＡＲＤ−ＡのネットＮＥＴ−Ａ１から部分ネットリストを作成する。カードネットリスト情報１１から、ネットＮＥＴ−Ａ１は、ロケーションＬＯＣ−Ａ１のピン１及びロケーションＬＯＣ−Ａ２のピン１に接続されており、また、カード接続関係マップ情報３１から、カード種類ＣＡＲＤ−Ａとなる全てのカードインスタンスについて、カード間接続先のカードインスタンスのコネクタのロケーションのピンを検索し、カード種類ＣＡＲＤ−ＢのカードインスタンスＣＩＮＳ−Ａ／ＣＩＮＳ−Ｂ１のロケーションＬＯＣ−Ｂ１のピン１、及び、カード種類ＣＡＲＤ−ＢのカードインスタンスＣＩＮＳ−Ａ／ＣＩＮＳ−Ｂ２のロケーションＬＯＣ−Ｂ１のピン１が発見され、カードネットリスト情報１１のカード種類ＣＡＲＤ−Ｂ内のロケーションＬＯＣ−Ｂ１のピン１の接続から、部分ネットリストを作成する。このとき、カード間で経由するコネクタを無くし、ネットを直結したネットリストとして作成する。作成した部分ネットリストはカード間接続ネットリスト情報３３に記憶される（ステップＡ１２）。このとき、カード間の仮想的なネットリストは、同一種類のカードが複数枚使用されている場合、当該カードの全てのカードインスタンスについて作成する。これにより、対象となるカード内、カード間の全ての接続の検証が可能となる。このようにして、カード間接続箇所情報３２に登録された全ネットに対して同様にステップＡ１１〜ステップＡ１２の処理を行い、全カード間接続ネットリスト情報の作成が完了する（ステップＡ１３）。
【００３１】
次に、カード間接続ネットリスト情報３３から、順に部分ネットリスト情報を取り出し（ステップＡ１４）、取り出した箇所に対して接続検証を実施する。本検証は、前記ステップＡ９と同じ方法にて行うことができる。つまり、カード間の接続に関係ある仮想的なネットリストを、カード間のネットリストと同様な形式で作成しているためである。本実施例の場合は、入力オープンネット、出力オープンネット及びマルチソースネットの検証を行う。カードインスタンスＣＩＮＳ−Ａ／ＣＩＮＳ−Ｂ１のネットＮＥＴ−Ｂ１、カードインスタンスＣＩＮＳ−Ａ／ＣＩＮＳ−Ｂ２のネットＮＥＴ−Ｂ１、及び、カードインスタンスＣＩＮＳ−ＡのネットＮＥＴ−Ａ１を抽出し、検証を実施する。これらのネットに接続されてるピンには、ピン属性が入力となっているものが１個、出力となっているものが２個存在する。このとき、カード間接続するコネクタは無視するため、コネクタのピン属性はカウントされない。出力ピンが複数存在するためマルチソースネットとなり、結果は検証結果４に出力する（ステップＡ１５）。このようにして、全ての部分ネットリスト情報に対して、ステップＡ１４〜ステップＡ１６の処理を行い、全検証が完了する（ステップＡ１６）。
【００３２】
【発明の効果】
以上説明したように、本発明には以下の効果がある。
【００３３】
従来、各カードの回路図を用いて部品情報と照らし合わせて目視していたカード間の接続検証を、当該カード設計検証方法及びカード設計検証システムにより、カード内の接続検証と同等の検証を行うことで、効率良く検証し、カード設計品質の向上に寄与するという効果がある。
【図面の簡単な説明】
【図１】本発明のカード設計検証システムの実施の形態を示す図である。
【図２】本発明のカード設計検証システムの実施の形態の全体の動作のフローチャートである。
【図３】本発明のカード設計検証システムの具体例を示す図である。
【符号の説明】
４    検証結果
１１    カードネットリスト情報
１２    カード間接続情報
１３    部品情報
２１    カード接続関係マップ作成手段
２２    カード内検証手段
２３    カード間接続情報作成手段
２４    カード間検証手段
３１    カード接続関係マップ情報
３２    カード間接続箇所情報
３３    カード間接続ネットリスト情報
【図１】
2004287585.tif 000003
【図２】
2004287585.tif 000004
【図３】
2004287585.tif 000005