JP2004287585A

JP2004287585A - Method and system for verifying card design

Info

Publication number: JP2004287585A
Application number: JP2003076118A
Authority: JP
Inventors: Masahito Kumazaki; 雅仁熊崎
Original assignee: NEC Corp
Current assignee: NEC Corp
Priority date: 2003-03-19
Filing date: 2003-03-19
Publication date: 2004-10-14
Anticipated expiration: 2023-03-19
Also published as: JP3991224B2

Abstract

<P>PROBLEM TO BE SOLVED: To provide a method and a system for verifying card designs contributing to enhancement of the quality of card designs by verifying the card designs in the same manner as verifying connections within a card. <P>SOLUTION: A card connection relationship map creating means creates card connection relationship map information at the input of card net list information and inter-card connection information, and stores only the connector parts of the connection relationship between card net lists, without storing connections within the card net lists. An in-card verification means extracts the parts of the card net list information and component information which correspond to inter-card connections, and stores them as inter-card connection part information, while at the same time verifying the inside of the card. A inter-card connection information creating means creates inter-card connection net list information from the card net list information, the card connection relationship map information, and the inter-card connection part information. A inter-card verification means verifies inter-card connections based on the component information and the inter-card connection net list information. <P>COPYRIGHT: (C)2005,JPO&NCIPI

Description

【０００１】
【発明の属する技術分野】
本発明は、カード設計検証方法及びカード設計検証システムに関する。
【０００２】
【従来の技術】
従来のカード設計に於いては、回路図エディタを代表する論理レベルのネットリスト作成ツールを使用して作成した、カード単体のネットリストの接続を検証するシステム、例えばネットの入出力オープン、マルチソースを検証するようなシステムが実用化されている。
【０００３】
また、カードがコネクタ部品やケーブルを介して別のカードに接続されるようなカード間接続の存在する設計に於いては、それぞれのカードの接続対象となるコネクタ部品のピン属性の整合を検証するシステムが実用化されている。
【０００４】
従来の技術としては、複数の論理回路図の図面間において同一信号線による接続関係を示す相互参照点毎に、この相互参照点に接続される構成部品の入出力属性と信号線の信号名とを格納し、これらの中から同一の信号名により構成部品の入出力属性を検索してその入出力属性により相互参照点間の論理接続をチエックし、このチエック結果に従って論理回路図の図面間の論理接続状態の適否を判定する論理接続チエック方式がある（例えば、特許文献１参照。）。しかし、この従来の技術は、１枚のカードを複数シートの回路図で表現するときのシート間の接続を信号名ベースでカード内の接続を検証するシステムであり、カード間の接続も検証可能なカードの接続検証システムではない。
【０００５】
また、データ入力手順により実装基板のネットリスト情報と実装部品情報とを入力してテーブルを作成し、接続検証手順によりテーブルを参照してループネットなどの信号の接続関係を検証する実装基板試験容易性検証方法もある（例えば、特許文献２参照。）。しかし、この従来の技術も、単なるカード内の接続を検証するシステムであり、カード間の接続も検証可能なカードの接続検証システムではない。
【０００６】
また、プリント基板と、プリント基板を実装するマザーボードの実装設計において、配線前後の実装設計段階が混在する階層間ネットの配線長を算出し、配線長の妥当性のチェックを可能とする実装設計チェック方法がある（例えば、特許文献３参照。）。しかし、この従来の技術は、カード間の接続にピンの配置情報の一致を利用しており、論理情報で接続可能なカードの接続検証システムとは異なる。また、検証のために配置する必要がある部分も、カードの接続検証システムとは異なる。
【０００７】
【特許文献１】
特開昭６３−２５７８４２号公報
【特許文献２】
特開平６−２１５０６７号公報
【特許文献３】
特開平６−２０３１０１号公報
【０００８】
【発明が解決しようとする課題】
上述の、従来のカードの接続検証システムでは、カード間については、コネクタのピン属性の整合性検証に留まっており、コネクタ前後の接続情報も必要とするような電気的接続の検証が不完全となっている。例えば、カード単体では、コネクタに接続されており、入力オープンでは無いような場合でも、カード間接続先の方のコネクタのピンが未使用となっている可能性がある。また、コネクタのピン属性は手動で指定するため、設計者の思い込みが入る可能性があり、特に、両カード間のコネクタのピン属性を同一設計者が指定する場合に於いては、カード間コネクタ部品ピン属性の整合検証自体が効果が無くなる可能性がある。これらの検証の不完全性や設計者の思い込みから、同じ回路構成において、カード内のみの接続と、カード間を含む接続では、後者の方が設計ミスを誘発する可能性が高くなり、これに伴い回路の目視確認に費す工数も多くなっており、カード設計品質を低下、および、検証工数の増加の要因となっている。
【０００９】
このような状況から、カード間を含む接続検証においても、カード内の接続検証と同等の検証を行う手法が有効である。
【００１０】
本発明の目的は、カード内の接続検証と同等の検証を行うことで、効率良く検証し、カード設計品質の向上に寄与するカード設計検証方法及びカード設計検証システムを提供することにある。
【００１１】
【課題を解決するための手段】
本発明は、カード設計において、１種類以上のカードのネットリストの情報と、カード同士の接続情報を与えることで、カード単体に対する接続検証を、カード間に対しても同等に実施することのできるカード設計検証方法及びカード設計検証システムである。
【００１２】
カードネットリスト情報には、１種類以上のカードのネットリストの情報が存在している。カード間接続情報は、カードネットリスト情報で入力されるカード種類を使用したカードインスタンス（カード種類の実体）のカード間接続関係を定義している。部品情報は、カードネットリスト情報で使用されている部品の情報を定義しているライブラリである。カード接続関係マップ作成手段は、カードネットリスト情報及びカード間接続情報を入力し、カード接続関係マップ情報を作成して、カードネットリスト同士の接続関係のコネクタ部分だけを記憶する。カード接続関係マップ作成手段では、カードネットリスト内の接続は記憶しない。カード内検証手段は、カードネットリスト情報及び部品情報から、カード間接続対象箇所を抽出し、カード間接続箇所情報として記憶し、同時にカード内検証を行い、検証結果に結果を出力する。カード間接続情報作成手段は、カードネットリスト情報、カード接続関係マップ情報及びカード間接続箇所情報から、カード間接続ネットリスト情報を作成し記憶する。カード間検証手段は、部品情報及びカード間接続ネットリスト情報から、カード間接続検証を実施し、検証結果を得ることができる。カード内検証手段とカード間検証手段を別々に構成しているのは、１種類のカードが、複数個以上使用されていても、同一カードのカード内の接続について検証を１回で済ませることで、検証処理を効率化するためである。また、カード内とカード間で検証を分けることにより、検証結果が整理して出力されるため、結果確認作業が効率化される。
【００１３】
このようにして、各カード内の接続について検証を実施し、さらにカード間の接続についても、カード内と同等の接続検証を実施するカード設計検証方法及びカード設計検証システムである。
【００１４】
従って、従来、各カードの回路図を用いて部品情報と照らし合わせて目視していたカード間の接続検証を、当該カード設計検証方法及びカード設計検証システムにより、カード内の接続検証と同等の検証を行うことで、効率良く検証し、カード設計品質の向上に寄与する。
【００１５】
【発明の実施の形態】
図１を参照すると、本発明のカード設計検証システムの実施の形態は、カードネットリスト情報１１、カード間接続情報１２、部品情報１３、カード接続関係マップ作成手段２１、カード内検証手段２２、カード間接続情報作成手段２３、カード間検証手段２４、カード接続関係マップ情報３１、カード間接続箇所情報３２、カード間接続ネットリスト情報３３、および、検証結果４で構成している。
【００１６】
カードネットリスト情報１１には、１種類以上のカードのネットリストの情報が存在している。カード間接続情報１２は、カードネットリスト情報１１で入力されるカード種類を使用したカードインスタンスのカード間接続関係を定義している。カード間コネクタ直結接続の場合には、上位カードのカード種類名とコネクタのロケーション名、下位カードのカード種類名とカードインスタンス名とコネクタのロケーション名の対応が複数定義されている。カード間コネクタ直結の場合、上位カード種類と下位カード種類の上位下位関係、接続関係は一意に決まる。また、接続されるコネクタのピン名は、カード間で一致している。カード間ケーブル接続の場合には、一方に、カードインスタンス名とコネクタのロケーション名、他方に、カードインスタンス名とコネクタのロケーション名の対応、それに加え、コネクタピン接続ルールが複数定義されている。カード間ケーブル接続の場合、一方のカード種類と他方のカード種類の上位下位関係、接続関係が一意に決まらないため、カードインスタンス名で対応を取る必要がある。また、接続されるコネクタのピン名は、カード間で一致するとは限らないため、ピン名の対応を定義する必要がある。部品情報１３は、カードネットリスト情報１１で使用されている部品の情報を定義しているライブラリである。
【００１７】
カード接続関係マップ情報３１には、カードインスタンス別に、カード間接続されるコネクタのロケーション、ピンと接続先のカードインスタンス、ピンの対応がまとめられている。カード間接続箇所情報３２には、カード種類別に、ピン、もしくは、ネットの情報がまとめられている。カード間接続ネットリスト情報３３には、カード間のコネクタを経由する部分的なネットリスト接続情報がコネクタの接続が無い状態でまとめられている。
【００１８】
カード接続関係マップ作成手段２１は、カードネットリスト情報１１及びカード間接続情報１２からカード接続関係マップ情報３１を作成する。カード内検証手段２２は、カードネットリスト情報１１及び部品情報１３からカード間接続箇所情報３２及び検証結果４を作成する。カード間接続情報作成手段２３は、カードネットリスト情報１１、カード接続関係マップ情報３１及びカード間接続箇所情報３２からカード間接続ネットリスト情報３３を作成する。カード間検証手段２４は、部品情報１３及びカード間接続ネットリスト情報３３から検証結果４を作成する。
【００１９】
また、カード内検証手段２２と、カード間検証手段２４に於いて、カード内とカード間を別々に検証しているのは、同一カードが複数枚使用されていても、当該のカード内の接続について検証を１回で済ませることで、検証処理を効率化するためである。カード内とカード間を同時に検証する場合、各カードを接続した仮想的なカードについて、接続検証を行うため、複数枚以上使用されているカードの接続については、複数回検証することになる。また、カード内とカード間で検証を分けることにより、検証結果が整理して出力されるため、結果確認作業が効率化される。
【００２０】
次に、図２のフローチャートを参照して本実施の形態の全体の動作について詳細に説明する。
【００２１】
図２のうち、ステップＡ４〜ステップＡ５は、図１のカード接続関係マップ作成手段２１、ステップＡ６〜ステップＡ１０は、図１のカード内検証手段２２、ステップＡ１１〜ステップＡ１３は、図１のカード間接続情報作成手段２３、ステップＡ１４〜ステップＡ１６は、図１のカード間検証手段２４に対応している。
【００２２】
まず、カードネットリスト情報１１、部品情報１３及びカード間接続情報１２を入力する。（ステップＡ１、ステップＡ２及びステップＡ３）。次に、カード間接続情報１２のカード間コネクタ直結接続の情報から、カード間コネクタ直結接続のカードインスタンスで構成される接続関係のマップを作成し、カード接続関係マップ情報３１に記憶する（ステップＡ４）。次に、カード間接続情報１２のカード間ケーブル接続の情報と、カード接続関係マップ情報３１から、カード間コネクタ直結接続のカードインスタンスで構成されるマップにカード間ケーブル接続のカードインスタンスを追加し、カード接続関係マップ情報３１に記憶する（ステップＡ５）。
【００２３】
次に、カードネットリスト情報１１をカード種類毎に検証する。カードネットリストから、検証箇所を順に抽出し（ステップＡ６）、検証箇所がカード間接続対象のコネクタを含んでいるかどうかを判断し（ステップＡ７）、検証箇所がカード間接続対象のコネクタを含んでいれば、カード間接続箇所情報３２にカード種類と検証箇所の情報を記憶する（ステップＡ８）。次に、検証対象箇所に対して、部品情報１３をもとに接続検証処理を実施し、結果を検証結果４に出力する（ステップＡ９）。このとき、検証対象箇所がカード間接続を含んでいる場合は、検証内容によっては接続検証処理を実施しないこともある。全カード種類、全検証箇所が完了していなければ、ステップＡ６に戻る（ステップＡ１０）。
【００２４】
次に、カード間接続箇所情報３２からカード間を含む検証箇所を順に抽出し（ステップＡ１１）、カードネットリスト情報１１及びカード接続関係マップ情報３１から、カード間を含む検証に必要な大きさの部分ネットリストを仮想的に作成し、カード間接続ネットリスト情報３３に記憶する（ステップＡ１２）。部分ネットリストは、カード間接続のコネクタやケーブルが無くなっており、カード間はネットが直接つながっている。全カード間接続箇所情報の抽出が終っていなければステップＡ１１に戻る（ステップＡ１３）。
【００２５】
次に、カード間接続ネットリスト情報３３から、部分ネットリストを順に抽出し（ステップＡ１４）、部品情報１３をもとに接続検証処理を実施し、結果を検証結果４に出力する（ステップＡ１５）。このときの検証処理の内容はステップＡ９のものと同じとなる。全部分ネットリストについて検証が終っていなければステップＡ１４に戻る（ステップＡ１６）。
【００２６】
次に、図２と図３を参照し、具体例を用いて説明する。
【００２７】
図３のうち、カードネットリスト情報１１、カード間接続情報１２、及び、部品情報１３は、検証システムの使用に必要となる情報である。カードネットリスト情報１１は、ＣＡＲＤ−Ａ、ＣＡＲＤ−Ｂ及びＣＡＲＤ−Ｃの３種類のカードの、接続情報が記録されている。ＬＯＣ−Ａ１［ＣＯＮ１］は、図中の部品のロケーション名がＬＯＣ−Ａ１、部品名がＣＯＮ１であることを表している。ＬＯＣ−Ａ２［ＣＯＮ−１］、ＬＯＣ−Ａ３［ＣＯＮ−１］、ＬＯＣ−Ｂ１［ＣＯＮ−２］及びＬＯＣ−Ｃ１［ＣＯＮ−３］も同様。図中のＮＥＴ−Ａ１は、ネット名がＮＥＴ−Ａ１であることを表している。ＮＥＴ−Ａ２、ＮＥＴ−Ａ３、ＮＥＴ−Ｂ１、ＮＥＴ−Ｂ２、ＮＥＴ−Ｃ１及びＮＥＴ−Ｃ２も同様である。また、▲１▼や▲２▼は、図中の部品のピン名を表しており、▲１▼や▲２▼の左右にあるＩ及びＯは、そのピンのピン属性が入力、出力であることを表している。ピン属性は、ピン属性が未定以外の場合、部品情報のピン属性をそのまま継承するが、未定の場合、設計者が属性を自由に定義できる。カード間接続情報１２は、最上位のカードのカードインスタンス名、カード間コネクタ直結接続情報、カード間ケーブル接続情報が記録されている。部品情報１３は、部品の情報が記憶されている。図中のピン１：未定は、ピン１のピンの属性（入力、出力、双方向、電源、グランド、未定）をあらわしており、ピン属性が未定の場合は、入力、出力等どのように使用しても良いことを表している。
【００２８】
まず、カードネットリスト情報１１、カード間接続情報１２及び部品情報１３を入力する（ステップＡ１、ステップＡ２及びステップＡ３）。カード間接続情報１２の検証対象システムの最上位カードの定義からカード種類ＣＡＲＤ−ＡとカードインスタンスＣＩＮＳ−Ａを抽出し、カード接続関係マップ情報３１に記憶する。また、カード間コネクタ直結接続時の定義１から、カード間接続情報１２に記憶した上位側のカード種類ＣＡＲＤ−ＡのロケーションＬＯＣ−Ａ１のコネクタに直結接続する下位側のカード種類ＣＡＲＤ−Ｂと、そのカードインスタンスＣＩＮＳ−Ｂ１、ロケーションＬＯＣ−Ｂ１をカード間接続関係マップ情報３１に上位と下位のコネクタのピンが１対１で接続されている状態で記憶する。このとき、カード種類ＣＡＲＤ−ＢのカードインスタンスＣＩＮＳ−Ｂ１は、上位側であるカード種類ＣＡＲＤ−ＡのカードインスタンスＣＩＮＳ−Ａに繋がっていることを表現するために、ＣＩＮＳ−Ａ／ＣＩＮＳ−Ｂ１と記憶される。このようにカードインスタンスを変更するのは、カード種類ＣＡＲＤ−Ａの実体が複数存在するようなケースで、どのカードインスタンスに繋がっているか明確にする必要があるためである。同様にして、カード間コネクタ直結接続時の定義２から情報を抽出し、カード接続関係マップ情報３１に追加して記憶する（ステップＡ４及びステップＡ５）。
【００２９】
次に、カードネットリスト情報１１から、カード内検証箇所を抽出する。本例では、検証処理はネットに対して行うものとする。まずカード種類ＣＡＤＲ−ＡのネットＮＥＴ−Ａ１を抽出する（ステップＡ６）。ネットＮＥＴ−Ａ１は、ロケーションＬＯＣ−Ａ１に接続されており、カード接続関係マップ情報３１から、ロケーションＬＯＣ−Ａ１の部品は、カード間接続対象であるため、カード間接続を含むと判断される（ステップＡ７）。検証箇所は、カード間接続を含む場合、カード間接続箇所情報３２に記憶される（ステップＡ８）。その後、ネットＮＥＴ−Ａ１に対する接続検証処理を実施する。本実施例の場合は、入力オープンネット、出力オープンネット及びマルチソースネットの検証を行う。ＮＥＴ−Ａ１に接続されているピンには、ピン属性が入力となっているものが２個、出力となっているものが１個存在し、入力オープンネット、出力オープンネット、マルチソースネットが無いことが確認できる。結果については、検証結果４に出力する（ステップＡ９）。このようにして、カード種類ＣＡＲＤ−ＡのネットＮＥＴ−Ａ２及びＮＥＴ−Ａ３、カード種類ＣＡＲＤ−ＢのネットＮＥＴ−Ｂ１及びＮＥＴ−Ｂ２、及び、カード種類ＣＡＲＤ−ＣのネットＮＥＴ−Ｃ１及びＮＥＴ−Ｃ２に対して同様にステップＡ６〜ステップＡ９の処理を行い、全カード内検証対象箇所の検証が完了する（ステップＡ１０）。
【００３０】
次に、カード間接続箇所情報３２から、順に情報を取り出し（ステップＡ１１）、カード間接続の含まれる部分ネットリストを仮想的に作成する。本例では、カード種類ＣＡＲＤ−ＡのネットＮＥＴ−Ａ１から部分ネットリストを作成する。カードネットリスト情報１１から、ネットＮＥＴ−Ａ１は、ロケーションＬＯＣ−Ａ１のピン１及びロケーションＬＯＣ−Ａ２のピン１に接続されており、また、カード接続関係マップ情報３１から、カード種類ＣＡＲＤ−Ａとなる全てのカードインスタンスについて、カード間接続先のカードインスタンスのコネクタのロケーションのピンを検索し、カード種類ＣＡＲＤ−ＢのカードインスタンスＣＩＮＳ−Ａ／ＣＩＮＳ−Ｂ１のロケーションＬＯＣ−Ｂ１のピン１、及び、カード種類ＣＡＲＤ−ＢのカードインスタンスＣＩＮＳ−Ａ／ＣＩＮＳ−Ｂ２のロケーションＬＯＣ−Ｂ１のピン１が発見され、カードネットリスト情報１１のカード種類ＣＡＲＤ−Ｂ内のロケーションＬＯＣ−Ｂ１のピン１の接続から、部分ネットリストを作成する。このとき、カード間で経由するコネクタを無くし、ネットを直結したネットリストとして作成する。作成した部分ネットリストはカード間接続ネットリスト情報３３に記憶される（ステップＡ１２）。このとき、カード間の仮想的なネットリストは、同一種類のカードが複数枚使用されている場合、当該カードの全てのカードインスタンスについて作成する。これにより、対象となるカード内、カード間の全ての接続の検証が可能となる。このようにして、カード間接続箇所情報３２に登録された全ネットに対して同様にステップＡ１１〜ステップＡ１２の処理を行い、全カード間接続ネットリスト情報の作成が完了する（ステップＡ１３）。
【００３１】
次に、カード間接続ネットリスト情報３３から、順に部分ネットリスト情報を取り出し（ステップＡ１４）、取り出した箇所に対して接続検証を実施する。本検証は、前記ステップＡ９と同じ方法にて行うことができる。つまり、カード間の接続に関係ある仮想的なネットリストを、カード間のネットリストと同様な形式で作成しているためである。本実施例の場合は、入力オープンネット、出力オープンネット及びマルチソースネットの検証を行う。カードインスタンスＣＩＮＳ−Ａ／ＣＩＮＳ−Ｂ１のネットＮＥＴ−Ｂ１、カードインスタンスＣＩＮＳ−Ａ／ＣＩＮＳ−Ｂ２のネットＮＥＴ−Ｂ１、及び、カードインスタンスＣＩＮＳ−ＡのネットＮＥＴ−Ａ１を抽出し、検証を実施する。これらのネットに接続されてるピンには、ピン属性が入力となっているものが１個、出力となっているものが２個存在する。このとき、カード間接続するコネクタは無視するため、コネクタのピン属性はカウントされない。出力ピンが複数存在するためマルチソースネットとなり、結果は検証結果４に出力する（ステップＡ１５）。このようにして、全ての部分ネットリスト情報に対して、ステップＡ１４〜ステップＡ１６の処理を行い、全検証が完了する（ステップＡ１６）。
【００３２】
【発明の効果】
以上説明したように、本発明には以下の効果がある。
【００３３】
従来、各カードの回路図を用いて部品情報と照らし合わせて目視していたカード間の接続検証を、当該カード設計検証方法及びカード設計検証システムにより、カード内の接続検証と同等の検証を行うことで、効率良く検証し、カード設計品質の向上に寄与するという効果がある。
【図面の簡単な説明】
【図１】本発明のカード設計検証システムの実施の形態を示す図である。
【図２】本発明のカード設計検証システムの実施の形態の全体の動作のフローチャートである。
【図３】本発明のカード設計検証システムの具体例を示す図である。
【符号の説明】
４検証結果
１１カードネットリスト情報
１２カード間接続情報
１３部品情報
２１カード接続関係マップ作成手段
２２カード内検証手段
２３カード間接続情報作成手段
２４カード間検証手段
３１カード接続関係マップ情報
３２カード間接続箇所情報
３３カード間接続ネットリスト情報[0001]
TECHNICAL FIELD OF THE INVENTION
The present invention relates to a card design verification method and a card design verification system.
[0002]
[Prior art]
In the conventional card design, a system that verifies the connection of the netlist of a single card created using a logic level netlist creation tool representing a schematic editor, for example, open / output of a net, multi-source A system for verifying the above has been put to practical use.
[0003]
In a design having an inter-card connection in which a card is connected to another card via a connector part or a cable, the matching of the pin attribute of the connector part to be connected to each card is verified. The system has been put into practical use.
[0004]
As a conventional technique, for each cross reference point indicating a connection relationship by the same signal line between drawings of a plurality of logic circuit diagrams, input / output attributes of components connected to this cross reference point, signal names of signal lines, and the like. Is searched for the input / output attribute of the component from the same signal name, and the logical connection between the cross-reference points is checked based on the input / output attribute. There is a logical connection check method for determining whether a logical connection state is appropriate (for example, see Patent Document 1). However, this conventional technology is a system for verifying the connection in the card based on the signal name when connecting a single card with a circuit diagram of a plurality of sheets, and the connection between the cards can also be verified. It is not a simple card connection verification system.
[0005]
Also, by inputting the netlist information and mounting component information of the mounting board by the data input procedure, a table is created and the connection verification procedure refers to the table to verify the connection relation of signals such as loop nets. There is also a sex verification method (for example, see Patent Document 2). However, this conventional technique is also a system for simply verifying connections in a card, and is not a card connection verification system capable of verifying connections between cards.
[0006]
In addition, in the mounting design of the printed circuit board and the motherboard on which the printed circuit board is mounted, the wiring length of the inter-layer net where the mounting design stages before and after the wiring are mixed is calculated, and the mounting design check that enables the validity of the wiring length to be checked There is a method (for example, refer to Patent Document 3). However, this conventional technique uses the coincidence of pin arrangement information for connection between cards, and is different from a card connection verification system that can be connected with logical information. Also, the parts that need to be arranged for verification are different from the card connection verification system.
[0007]
[Patent Document 1]
JP-A-63-257842 [Patent Document 2]
JP-A-6-215067 [Patent Document 3]
JP-A-6-203101
[Problems to be solved by the invention]
In the above-mentioned conventional card connection verification system, between cards, only the verification of the consistency of the pin attributes of the connector is performed, and the verification of the electrical connection that requires the connection information before and after the connector is incomplete. Has become. For example, the card alone may be connected to the connector, and even if the input is not open, the pin of the connector to which the card is connected may be unused. Also, since the pin attributes of the connector are manually specified, there is a possibility that the designer's assumption may be made. Particularly, when the same designer specifies the pin attribute of the connector between the two cards, the connector between the cards is used. There is a possibility that the verification of the matching of the component pin attribute itself is not effective. Due to the imperfections of these verifications and the designer's belief, in the same circuit configuration, the connection of only the inside of the card and the connection including between the cards are more likely to cause a design error in the latter case. As a result, the number of steps required to visually check the circuit is increasing, which is a factor of deteriorating the card design quality and increasing the number of verification steps.
[0009]
Under such circumstances, in connection verification including between cards, a method of performing verification equivalent to connection verification in a card is effective.
[0010]
SUMMARY OF THE INVENTION An object of the present invention is to provide a card design verification method and a card design verification system that efficiently perform verification by performing verification equivalent to connection verification in a card and contribute to improvement of card design quality.
[0011]
[Means for Solving the Problems]
According to the present invention, in card design, by providing netlist information of one or more types of cards and connection information between cards, connection verification for a single card can be performed equally between cards. A card design verification method and a card design verification system.
[0012]
The card netlist information includes information on netlists of one or more types of cards. The inter-card connection information defines an inter-card connection relationship of a card instance (an actual type of card) using the card type input in the card netlist information. The component information is a library that defines information of components used in the card netlist information. The card connection relationship map creating means inputs card net list information and inter-card connection information, creates card connection relationship map information, and stores only the connector portion of the connection relationship between the card net lists. The card connection relation map creating means does not store the connections in the card net list. The in-card verification means extracts an inter-card connection target portion from the card net list information and the component information, stores it as inter-card connection portion information, performs intra-card verification at the same time, and outputs a result as a verification result. The inter-card connection information creating means creates and stores inter-card connection net list information from the card net list information, the card connection relation map information, and the inter-card connection location information. The inter-card verification means can execute the inter-card connection verification from the component information and the inter-card connection net list information, and obtain a verification result. The reason that the in-card verification means and the inter-card verification means are separately configured is that even if a plurality of types of cards are used, the connection within the same card can be verified only once. This is to make the verification process more efficient. Further, since the verification results are sorted and output by dividing the verification between the inside of the card and the card, the result confirmation work is made more efficient.
[0013]
In this manner, a card design verification method and a card design verification system that verify the connection in each card and also perform the same connection verification as in the card for the connection between the cards.
[0014]
Therefore, the connection verification between the cards, which has conventionally been visually checked against the component information using the circuit diagram of each card, is verified by the card design verification method and the card design verification system at the same level as the connection verification in the card. By doing so, verification is performed efficiently, and the quality of card design is improved.
[0015]
BEST MODE FOR CARRYING OUT THE INVENTION
Referring to FIG. 1, an embodiment of a card design verification system according to the present invention includes card net list information 11, inter-card connection information 12, component information 13, card connection relation map creating means 21, in-card verification means 22, It comprises inter-connection information creating means 23, inter-card verification means 24, card connection relation map information 31, inter-card connection location information 32, inter-card connection net list information 33, and verification result 4.
[0016]
The card netlist information 11 includes information on netlists of one or more types of cards. The inter-card connection information 12 defines the inter-card connection relationship of the card instance using the card type input in the card netlist information 11. In the case of the direct connection between the connectors between the cards, a plurality of correspondences between the card type name of the upper card and the location name of the connector, the card type name of the lower card, the card instance name, and the location name of the connector are defined. In the case of direct connection between connectors between cards, the upper / lower relationship and connection relationship between the upper card type and the lower card type are uniquely determined. The pin names of the connectors to be connected are the same between the cards. In the case of card-to-card cable connection, on one side, the correspondence between the card instance name and the location name of the connector, on the other side, the correspondence between the card instance name and the location name of the connector, and in addition, a plurality of connector pin connection rules are defined. In the case of card-to-card cable connection, the upper / lower relationship and connection relationship between one card type and the other card type are not uniquely determined, so it is necessary to take correspondence with the card instance name. In addition, since the pin names of the connected connectors do not always match between the cards, it is necessary to define the correspondence between the pin names. The component information 13 is a library that defines information on components used in the card net list information 11.
[0017]
The card connection relationship map information 31 summarizes, for each card instance, the location of the connector to be connected between the cards, the correspondence between the pin, the connection destination card instance, and the pin. In the inter-card connection location information 32, pin or net information is grouped for each card type. In the inter-card connection net list information 33, partial net list connection information passing through a connector between cards is put together without any connector connection.
[0018]
The card connection relationship map creating means 21 creates card connection relationship map information 31 from the card net list information 11 and the inter-card connection information 12. The in-card verification means 22 creates the inter-card connection point information 32 and the verification result 4 from the card net list information 11 and the component information 13. The inter-card connection information creating means 23 creates inter-card connection net list information 33 from the card net list information 11, the card connection relation map information 31, and the inter-card connection location information 32. The inter-card verification means 24 creates a verification result 4 from the component information 13 and the inter-card connection netlist information 33.
[0019]
In the in-card verifying means 22 and the inter-card verifying means 24, the in-card and inter-card verifying are performed separately even if a plurality of the same cards are used. This is to make the verification process more efficient by performing verification only once. When verifying inside and between cards at the same time, connection verification is performed for a virtual card to which each card is connected, so that connection of a plurality of used cards is verified a plurality of times. Further, since the verification results are sorted and output by dividing the verification between the inside of the card and the card, the result confirmation work is made more efficient.
[0020]
Next, the overall operation of the present embodiment will be described in detail with reference to the flowchart of FIG.
[0021]
2, steps A4 to A5 correspond to the card connection relationship map creating means 21 of FIG. 1, steps A6 to A10 correspond to the in-card verification means 22 of FIG. 1, and steps A11 to A13 correspond to the card of FIG. The inter-connection information creating means 23 and steps A14 to A16 correspond to the inter-card verification means 24 in FIG.
[0022]
First, card net list information 11, component information 13, and inter-card connection information 12 are input. (Step A1, Step A2 and Step A3). Next, a map of a connection relationship composed of card instances of the inter-card connector direct connection is created from the information of the inter-card connector direct connection in the inter-card connection information 12, and stored in the card connection relationship map information 31 (step A4). ). Next, the card instance of the inter-card cable connection is added to the map composed of the card instances of the direct connection of the inter-card connector from the information of the inter-card cable connection of the inter-card connection information 12 and the card connection relation map information 31, It is stored in the card connection relation map information 31 (step A5).
[0023]
Next, the card net list information 11 is verified for each card type. The verification points are sequentially extracted from the card net list (step A6), and it is determined whether the verification points include a connector to be connected between cards (step A7). If so, the card type and the verification location information are stored in the inter-card connection location information 32 (step A8). Next, a connection verification process is performed on the verification target based on the component information 13, and the result is output as the verification result 4 (step A9). At this time, if the location to be verified includes an inter-card connection, the connection verification process may not be performed depending on the content of the verification. If all card types and all verification points have not been completed, the process returns to step A6 (step A10).
[0024]
Next, verification points including inter-cards are sequentially extracted from the inter-card connection point information 32 (step A11). From the card net list information 11 and the card connection relation map information 31, a size required for verification including inter-cards is determined. A partial net list is virtually created and stored in the inter-card connection net list information 33 (step A12). In the partial netlist, connectors and cables for connection between cards are eliminated, and a net is directly connected between cards. If the connection point information between all the cards has not been extracted, the process returns to step A11 (step A13).
[0025]
Next, a partial net list is sequentially extracted from the inter-card connection net list information 33 (step A14), a connection verification process is performed based on the component information 13, and the result is output to the verification result 4 (step A15). . The contents of the verification process at this time are the same as those in step A9. If the verification has not been completed for all the partial netlists, the process returns to step A14 (step A16).
[0026]
Next, a specific example will be described with reference to FIGS.
[0027]
In FIG. 3, the card net list information 11, the inter-card connection information 12, and the component information 13 are information necessary for using the verification system. The card net list information 11 records connection information of three types of cards, CARD-A, CARD-B, and CARD-C. LOC-A1 [CON1] indicates that the location name of the component in the drawing is LOC-A1 and the component name is CON1. The same applies to LOC-A2 [CON-1], LOC-A3 [CON-1], LOC-B1 [CON-2] and LOC-C1 [CON-3]. NET-A1 in the figure indicates that the net name is NET-A1. The same applies to NET-A2, NET-A3, NET-B1, NET-B2, NET-C1, and NET-C2. Also, (1) and (2) represent the pin names of the parts in the figure, and I and O on the left and right of (1) and (2) indicate the input and output of the pin attribute of the pin. It represents that. If the pin attribute is not determined, the pin attribute of the component information is inherited as it is. If the pin attribute is undetermined, the designer can freely define the attribute. The inter-card connection information 12 records the card instance name of the top card, the inter-card connector direct connection information, and the inter-card cable connection information. The component information 13 stores component information. Pin 1: Undetermined in the figure indicates the attribute of the pin 1 (input, output, bidirectional, power, ground, undetermined). If the pin attribute is undetermined, how to use it, such as input and output It indicates that you may do so.
[0028]
First, the card net list information 11, the inter-card connection information 12, and the component information 13 are input (Step A1, Step A2, and Step A3). The card type CARD-A and the card instance CINS-A are extracted from the definition of the top card of the system to be verified in the inter-card connection information 12 and stored in the card connection relationship map information 31. Further, from the definition 1 at the time of the direct connection between the card connectors, the lower card type CARD-B directly connected to the connector of the location LOC-A1 of the upper card type CARD-A stored in the inter card connection information 12; The card instance CINS-B1 and the location LOC-B1 are stored in the inter-card connection relationship map information 31 in a state where the pins of the upper and lower connectors are connected one-to-one. At this time, in order to express that the card instance CINS-B1 of the card type CARD-B is connected to the card instance CINS-A of the card type CARD-A on the upper side, CINS-A / CINS-B1 is used. It is memorized. The reason why the card instance is changed in this way is that it is necessary to clarify which card instance is connected in a case where there are a plurality of entities of the card type CARD-A. Similarly, information is extracted from the definition 2 at the time of the direct connection connection between the cards, and is added to the card connection relation map information 31 and stored (steps A4 and A5).
[0029]
Next, the verification part in the card is extracted from the card net list information 11. In this example, the verification process is performed on the net. First, the net NET-A1 of the card type CADR-A is extracted (step A6). The net NET-A1 is connected to the location LOC-A1, and it is determined from the card connection relation map information 31 that the component at the location LOC-A1 is a connection target between the cards, and thus includes the connection between the cards ( Step A7). If the verification location includes inter-card connection, it is stored in the inter-card connection location information 32 (step A8). After that, a connection verification process is performed on the net NET-A1. In the case of the present embodiment, an input open net, an output open net, and a multi-source net are verified. Among the pins connected to the NET-A1, there are two pins that have the pin attribute input and one pin that has the pin attribute, and there is no input open net, output open net, or multi-source net. You can check. The result is output as verification result 4 (step A9). Thus, the nets NET-A2 and NET-A3 of the card type CARD-A, the nets NET-B1 and NET-B2 of the card type CARD-B, and the nets NET-C1 and NET-B of the card type CARD-C The processing of steps A6 to A9 is similarly performed on C2, and the verification of all the verification target portions in the card is completed (step A10).
[0030]
Next, information is sequentially extracted from the inter-card connection location information 32 (step A11), and a partial net list including the inter-card connection is virtually created. In this example, a partial net list is created from the net NET-A1 of the card type CARD-A. From the card net list information 11, the net NET-A1 is connected to the pin 1 of the location LOC-A1 and the pin 1 of the location LOC-A2, and from the card connection relation map information 31, the card type CARD-A and For all the card instances, the pin of the location of the connector of the card instance of the connection destination between the cards is searched, and the pin 1 of the location LOC-B1 of the card instance CINS-A / CINS-B1 of the card type CARD-B, and The pin 1 of the location LOC-B1 of the card instance CINS-A / CINS-B2 of the card type CARD-B is found, and the pin 1 of the location LOC-B1 in the card type CARD-B of the card netlist information 11 is connected. , Create a partial netlist . At this time, a connector passing between the cards is eliminated, and a net list is created by directly connecting the nets. The created partial netlist is stored in the inter-card connection netlist information 33 (step A12). At this time, when a plurality of cards of the same type are used, a virtual netlist between cards is created for all card instances of the card. As a result, it is possible to verify all connections in the target card and between the cards. In this way, the processes of steps A11 to A12 are similarly performed on all the nets registered in the inter-card connection location information 32, and the creation of the all-card connection net list information is completed (step A13).
[0031]
Next, partial netlist information is sequentially extracted from the inter-card connection netlist information 33 (step A14), and connection verification is performed on the extracted portions. This verification can be performed in the same manner as in step A9. That is, a virtual netlist related to the connection between the cards is created in the same format as the netlist between the cards. In the case of the present embodiment, an input open net, an output open net, and a multi-source net are verified. The net NET-B1 of the card instance CINS-A / CINS-B1, the net NET-B1 of the card instance CINS-A / CINS-B2, and the net NET-A1 of the card instance CINS-A are extracted and verified. . Among the pins connected to these nets, there is one pin having the pin attribute as input and two pins having the pin attribute as output. At this time, since the connector to be connected between the cards is ignored, the pin attribute of the connector is not counted. Since there are a plurality of output pins, a multi-source net is obtained, and the result is output as the verification result 4 (step A15). In this way, the processes of steps A14 to A16 are performed on all the partial netlist information, and the entire verification is completed (step A16).
[0032]
【The invention's effect】
As described above, the present invention has the following effects.
[0033]
Conventionally, connection verification between cards, which has been visually checked against component information using a circuit diagram of each card, is performed by the same card design verification method and card design verification system as verification equivalent to connection verification in the card. This has the effect of efficiently verifying and contributing to the improvement of card design quality.
[Brief description of the drawings]
FIG. 1 is a diagram showing an embodiment of a card design verification system of the present invention.
FIG. 2 is a flowchart of the overall operation of the embodiment of the card design verification system of the present invention.
FIG. 3 is a diagram showing a specific example of a card design verification system of the present invention.
[Explanation of symbols]
4 Verification Result 11 Card Net List Information 12 Inter-Card Connection Information 13 Component Information 21 Card Connection Relationship Map Creation Means 22 In-Card Verification Means 23 Inter-Card Connection Information Creation Means 24 Inter-Card Verification Means 31 Card Connection Relationship Map Information 32 Inter-Card Connection Location information 33 Card connection netlist information

Claims

A first step of inputting card netlist information in which netlist information of one or more types of cards exists;
A second step of inputting inter-card connection information defining an inter-card connection relationship of a card instance (entity of a card type) using the card type input in the card netlist information;
A third step of inputting component information that defines information of components used in the card net list information;
A fourth step of creating a connection relationship map composed of card instances of the inter-card connector direct connection from the inter-card connector direct connection information of the inter-card connection information and storing the map in the card connection relationship map information;
Adding the card instance of the inter-card cable connection to a map composed of the card instances of the inter-card connector direct connection from the inter-card cable connection information of the inter-card connection information and the card connection relation map information, A fifth step of storing the relationship map information,
A sixth step of sequentially extracting verification points from the card net list to verify the card net list information for each card type;
A seventh step of determining whether the verification location includes a connector to be connected between cards;
An eighth step of storing the information of the card type and the verification location in the inter-card connection location information if the verification location includes the connector to be connected between the cards;
A ninth step of performing a connection verification process on the verification target portion based on the component information and outputting a result to a verification result;
If all card types and all verification points have not been completed, a tenth step returns to the sixth step;
An eleventh step of sequentially extracting verification points including between cards from the inter-card connection point information;
A twelfth step of virtually creating a partial netlist of a size necessary for verification including between cards from the card net list information and the card connection relation map information, and storing the partial netlist in the intercard connection netlist information;
A thirteenth step of returning to the eleventh step if extraction of all card connection point information has not been completed;
A fourteenth step of sequentially extracting a partial netlist from the inter-card connection netlist information, a fifteenth step of performing a connection verification process based on the component information, and outputting a result to the verification result;
A sixteenth step of returning to the fourteenth step if the verification has not been completed for all the partial netlists.

The inter-card connection information includes:
In the case of direct connection between card connectors, multiple correspondences between the card type name of the upper card and the location name of the connector, the card type name of the lower card, the card instance name, and the location name of the connector are defined, and the upper card type and the lower card are defined. The upper / lower relationship of the types and the connection relationship are uniquely determined, the pin names of the connected connectors match between the cards,
In the case of card-to-card cable connection, on one side, the card instance name and the location name of the connector, on the other side, the correspondence between the card instance name and the location name of the connector, and in addition, multiple connector pin connection rules are defined. Since the upper-lower relationship and connection relationship between the type and the other card type are not uniquely determined, correspondence is made with the card instance name, and the pin names of the connectors to be connected do not always match between the cards. Define the response,
In the card connection relationship map information, for each card instance, the location of the connector connected between the cards, the pin and the card instance of the connection destination, the correspondence of the pin is summarized,
In the inter-card connection location information, pin or net information is summarized for each card type,
The card design verification method according to claim 1, wherein partial netlist connection information passing through a connector between cards is collected in the inter-card connection netlist information in a state where no connector is connected.

Card net list information, inter-card connection information, component information, card connection relation map creation means, in-card verification means, inter-card connection information creation means, inter-card verification means, and card connection relation map information , Card connection point information, card connection netlist information, and verification results,
In the card netlist information, there is information of a netlist of one or more types of cards,
The inter-card connection information defines an inter-card connection relationship of a card instance (entity of a card type) using a card type input in the card netlist information,
The component information defines information of components used in the card netlist information,
The card connection relationship map creating means inputs the card net list information and the inter-card connection information, creates the card connection relationship map information, and stores only a connector portion of a connection relationship between card net lists, Do not remember the connections in the card netlist,
The in-card verification means extracts an inter-card connection target location from the card net list information and the component information, stores the same as the inter-card connection location information, performs intra-card verification at the same time, and outputs a result to the verification result. Output,
The inter-card connection information creating means creates and stores the inter-card connection net list information from the card net list information, the card connection relationship map information, and the inter-card connection location information,
The card design verification system, wherein the inter-card verification means performs inter-card connection verification from the component information and the inter-card connection netlist information to obtain the verification result.

The inter-card connection information includes:
In the case of direct connection between card connectors, multiple correspondences between the card type name of the upper card and the location name of the connector, the card type name of the lower card, the card instance name, and the location name of the connector are defined, and the upper card type and the lower card are defined. The upper / lower relationship of the types and the connection relationship are uniquely determined, the pin names of the connected connectors match between the cards,
In the case of card-to-card cable connection, on one side, the card instance name and the location name of the connector, on the other side, the correspondence between the card instance name and the location name of the connector, and in addition, multiple connector pin connection rules are defined. Since the upper-lower relationship and connection relationship between the type and the other card type are not uniquely determined, correspondence is made with the card instance name, and the pin names of the connectors to be connected do not always match between the cards. Define the response,
In the card connection relationship map information, for each card instance, the location of the connector connected between the cards, the pin and the card instance of the connection destination, the correspondence of the pin is summarized,
In the inter-card connection location information, pin or net information is summarized for each card type,
4. The card design verification system according to claim 3, wherein partial netlist connection information passing through a connector between cards is collected in the inter-card connection netlist information in a state where no connector is connected.