(57)【要約】【課題】  プリント基板の回路設計段階において論理的接続関係の検証を簡易に行なうことができる接続検証支援装置を提供する。【解決手段】  配線属性付与部１１２でネットリスト中の配線のネット名を抽出して機能連想キーワードテーブル１１１を参照して機能属性を付与するとともに、端子属性付与部１１３で端子機能属性データ１１４を参照してネットリスト中の端子に機能属性を付与し、これら互いに接続された配線および端子の機能属性の一致／不一致を属性検査部１１５で検査して、不一致が検出された配線に対してメッセージ出力部１１６で警告メッセージを行なう。【選択図】  図１
2011003080.tif 000002
【特許請求の範囲】
【請求項１】
配線と電気部品の端子との接続対応関係を表わすネットリストの接続の検証を支援する接続検証支援装置であって、
信号の属性と該属性を表わすキーワードとの対応関係が記憶された記憶部と、
ネットリスト中の配線のネット名を抽出し、前記記憶部に記憶されたキーワードを含む配線に、該キーワードに対応付けられた属性を付与する配線属性付与部と、
ネットリスト中の端子に属性を付与する端子属性付与部と、
ネットリスト中の互いに接続された配線および端子の属性の一致／不一致を検査する属性検査部と、
前記属性検査部による検査結果が不一致の場合に、不一致が検出された配線を示す警告メッセージを出力するメッセージ出力部とを備えたことを特徴とする接続検証支援装置。
【請求項２】
前記端子属性付与部が、前記配線属性付与部によって属性が付与された配線に接続される全ての端子の機能の属性を取得するものであり、
前記属性検査部が、前記配線それぞれについて該配線に接続される全ての端子について一致／不一致を検査することで、端子同士の接続を検査するものであることを特徴とする請求項１記載の接続検証支援装置。
【請求項３】
前記ネットリストは、複数の階層からなる階層構造の回路を表わすものであり、
前記配線属性付与部が、ネットリスト中の、複数の階層に亘って互いに接続される配線に階層ごとの属性を付与するものであり、
前記属性検査部が、複数の階層に亘って接続される各配線に付与された属性、および該各配線に接続される端子の属性の一致／不一致を検査するものであることを特徴とする請求項１または２記載の接続検証支援装置。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、プリント基板の回路設計用の接続検証支援装置に関する。
【背景技術】
【０００２】
プリント基板の回路設計においては、先ず、コンピュータ上の回路設計用ＣＡＤツールを用いて回路図を編集することにより回路設計が行なわれる。回路設計が終了すると、その回路のデータからネットリストが生成され、そのネットリストに基づいて、コンピュータ上の基板レイアウト設計用ＣＡＤツールを用いて基板レイアウト等の物理設計が行なわれる。
【０００３】
回路図を編集する作業においては、プリント基板に搭載予定の電気部品に対応したシンボルを回路設計用ＣＡＤツールの画面上に配置し、そのシンボルの端子を配線でつなぐことにより端子間の接続関係を入力する。個々の配線には、設計者により任意の名前が付与されるか、もしくはＣＡＤツールによってユニークな名前が付与される。また、回路設計用ＣＡＤツールの画面上で配線をつながなくても、複数の端子それぞれにつながれた配線に同一の名前（ネット名）が付与されることにより、電気的につながれた配線とみなされる。
【０００４】
ここで、設計者のケアレスミスなどにより、誤った配線接続が行なわれたり不適切なネット名が付与されると、設計者の意図しない配線パターンの基板が製作されてしてしまう可能性がある。
【０００５】
今日の回路設計用ＣＡＤツールには、これらのミスを防ぐ機能として、シミュレーション機能やＤＲＣ（デザインルールチェック）機能などを持つものがある。シミュレーション機能の主な役割としては、動作検証による論理的接続関係のチェックがある。また、ＤＲＣ機能の主な役割としては、端子の入出力等の物理属性の整合性や、未結線などの機械的接続関係のチェックなどがある。
【０００６】
例えば、シミュレーション機能を持つ回路設計用ＣＡＤツールとして、特許文献１に、遅延情報ファイルを読み込んだ後、実際の配線遅延となる遅延値を計算する配線遅延計算部と、シミュレーション実行の際に使用する異なる配線毎の遅延値を持つノード情報テーブルを自動的に作成する自動ノード生成部を設けることによって、精度の高い論理シミュレーションを可能にした論理シミュレータが提案されている。
【０００７】
また、特許文献２には、接続情報に基づいてタイミング検証を行なう基板設計装置において、ネット名等に対応する接続情報をグラフィカルに表示して情報定義を容易にする技術が提案されている。
【０００８】
さらに、特許文献３には、ＦＰＧＡ（Ｆｉｅｌｄ  Ｐｒｏｇｒａｍｍａｂｌｅ  Ｇａｔｅ  Ａｒｒａｙ）を搭載する基板の論理検証を行なう基板論理検証装置において、ＦＰＧＡ単体の論理シミュレ−ションのテストデ−タを、基板の論理検証に利用することで、基板自体の論理シミュレ−ションの効率化を図る技術が提案されている。
【０００９】
また、特許文献４には、図形を入力するＣＡＤ装置と論理シミュレ−ションを１つのワークステーションの環境内に構築することによって設計の効率化および論理検証効率を向上させるシミュレ−ション機能付設計支援装置が提案されている。
【先行技術文献】
【特許文献】
【００１０】
【特許文献１】特開平５−８９１９８号公報
【特許文献２】特開平１１−２８８４３１号公報
【特許文献３】特開２０００−２４１５４２号公報
【特許文献４】特開平５−２６６１２０号公報
【発明の概要】
【発明が解決しようとする課題】
【００１１】
しかし、シミュレーション機能を持つ回路設計用ＣＡＤツールは高価であり、また関連する基板上の各部品のモデルを準備したりテストパターンを作成したりする等、事前の準備に大きな工数を要する。特に、使用する部品のメーカーは多岐に渡るため、モデルはメーカーごとに異なる上、記述内容が望む形式であるとは限らない。このため、回路設計用ＣＡＤツールによるプリント基板の回路設計段階でのシミュレーションはあまり行なわれていないのが実情である。一般には、このシミュレーションに代えて、設計者の作業による回路レビューを実施して論理的接続関係を検証する方法が多く採用されている。しかし、設計者の作業により論理的接続関係を検証する方法では、チェック漏れ（抜け）が考えられる。また、ネット数が数千から数万におよぶ規模のプリント基板の場合には、大きな工数が発生する。従って、プリント基板の回路設計段階において論理的接続関係の検証を行なうことは困難である。
【００１２】
一方、ＤＲＣ機能を持つ回路設計用ＣＡＤツールにおいては、事前準備はあまり必要ではなく、処理自体もコンピュータが自動的に行なうので簡単かつ高速に処理することが可能である。しかし、対象は単純な機械的接続関係の検証であり、論理的接続関係の検証は行なわれていない。
【００１３】
本発明は、上記事情に鑑み、プリント基板の回路設計段階において論理的接続関係の検証を簡易に行なうことができる接続検証支援装置を提供することを目的とする。
【課題を解決するための手段】
【００１４】
上記目的を達成する本発明の接続検証支援装置は、配線と電気部品の端子との接続対応関係を表わすネットリストの接続の検証を支援する接続検証支援装置であって、
信号の属性とその属性を表わすキーワードとの対応関係が記憶された記憶部と、
ネットリスト中の配線のネット名を抽出し、上記記憶部に記憶されたキーワードを含む配線に、そのキーワードに対応付けられた属性を付与する配線属性付与部と、
ネットリスト中の端子に属性を付与する端子属性付与部と、
ネットリスト中の互いに接続された配線および端子の属性の一致／不一致を検査する属性検査部と、
上記属性検査部による検査結果が不一致の場合に、不一致が検出された配線を示す警告メッセージを出力するメッセージ出力部とを備えたことを特徴とする。
【００１５】
本発明の接続検証支援装置は、ネットリストから取得した、信号の属性を表わすキーワードを含む配線に、そのキーワードに対応付けられた属性を付与するとともに、ネットリスト中の端子に属性を付与し、これら互いに接続された配線および端子の属性の一致／不一致を検査して、不一致が検出された配線に対して警告メッセージを行なうものである。このようにすることにより、ネットリストから取得した配線の属性と、この配線に対応するネットリスト中の端子の属性との整合性が得られているか否かを確認することができる。ここで、配線の属性と端子の属性との整合性が得られていない場合は、設計者が意図しない配線が行なわれているため、その配線に対して警告が行なわれる。従って、プリント基板の回路設計段階において論理的接続関係の検証を簡易に行なうことができる。
【００１６】
ここで、上記端子属性付与部が、上記配線属性付与部によって属性が付与された配線に接続される全ての端子の機能の属性を取得するものであり、
上記属性検査部が、上記配線それぞれについてその配線に接続される全ての端子について一致／不一致を検査することで、端子同士の接続を検査するものであることが好ましい。
【００１７】
このように、配線それぞれについてその配線に接続される全ての端子同士の接続を検査すると、プリント基板の回路設計段階における論理的接続関係の検証の精度を高めることができる。
【００１８】
また、上記本発明の接続検証支援装置において、上記ネットリストは、複数の階層からなる階層構造の回路を表わすものであり、
上記配線属性付与部が、ネットリスト中の、複数の階層に亘って互いに接続される配線に階層ごとの属性を付与するものであり、
上記属性検査部が、複数の階層に亘って接続される各配線に付与された属性、およびその各配線に接続される端子の属性の一致／不一致を検査するものであることも好ましい。
【００１９】
このようにすると、複数の階層からなる階層構造の回路を表わすネットリストにおいても、配線および端子の属性の一致／不一致を検査することができる。
【発明の効果】
【００２０】
本発明によれば、プリント基板の回路設計段階において論理的接続関係の検証を簡易に行なうことができる接続検証支援装置が提供される。
【図面の簡単な説明】
【００２１】
【図１】本発明の接続検証支援装置の一実施形態の構成を示す図である。
【図２】図１に示す接続検証支援装置で実行される処理ルーチンのフローを示す図である。
【図３】２つの階層からなる階層構造の回路を表わすネットリストを示す図である。
【図４】端子名が付与された端子を有するネットリストの接続を支援する接続検証支援装置の構成を示す図である。
【図５】図４に示す接続検証支援装置で実行される処理ルーチンのフローを示す図である。
【発明を実施するための形態】
【００２２】
以下、図面を参照して本発明の実施の形態を説明する。
【００２３】
図１は、本発明の接続検証支援装置の一実施形態の構成を示す図である。
【００２４】
図１に示す接続検証支援装置１１０は、配線と電気部品の端子との接続対応関係を表わすネットリストの接続の検証を支援する接続検証支援装置である。この接続検証支援装置１１０には、機能連想キーワードテーブル１１１と、配線属性付与部１１２と、端子属性付与部１１３と、端子機能属性データ１１４と、属性検査部１１５と、メッセージ出力部１１６とが備えられている。
【００２５】
ここで、機能連想キーワードテーブル１１１が、本発明の記憶部の一例に相当する。この機能連想キーワードテーブル１１１には、あらかじめ定義された信号の機能に関連付けられたキーワードが登録されている。例えば、メモリなどに対する書込み信号に対しては「ＷＥ」，「ＷＲ」、読み出し信号に対しては「ＲＥ」，「ＲＤ」，「ＯＥ」、クロック信号に対しては「ＣＫ」，「ＣＬＫ」，「ＭＨＺ」，「ＫＨＺ」といったキーワードが登録されている。ある程度一般的なキーワードならＣＡＤツールの提供業者（ツールベンダ）による初期設定データの提供による登録が可能である。また、ユーザーが独自に関連付けできるようにしておけば、後述する検証のさらなる精度の向上が期待できる。
【００２６】
この機能連想キーワードテーブル１１１の具体的な例としては、信号の機能属性とキーワードがリスト形式になったＥＸＣＥＬデータや、テキストファイルがある。
【００２７】
また、機能連想キーワードテーブル１１１へのキーワードの登録方法として、ワイルドカードや数字等を表わすエスケープシーケンスが使用可能であるような登録方法もある。この方法によれば、例えば電源電圧を供給するための電源レールのネット名（配線名）のキーワードを％ｄＶ％ｄなどとして、％ｄを一文字の数字で表わすことで、５Ｖ電源系のキーワードを「５Ｖ０」、３．３Ｖ電源系のキーワードを「３Ｖ３」などと個々に登録しなくても、電源系のキーワードのパターンとして認識させることができる。
【００２８】
配線属性付与部１１２は、ネットリスト中の配線のネット名を抽出し、そのネット名に含まれる、機能連想キーワードテーブル１１１に登録されたキーワードを含む配線に、そのキーワードに対応付けられた機能属性を付与する。ネットリストには、配線と電気部品の端子との接続対応関係が表わされている。より具体的には、配線のネット名と、この配線に接続される電気部品の端子番号とが対応付けて示されている。例えば、ＳＲＡＭ部品の１番端子とプロセッサ部品の３番端子が配線「ＳＲＡＭ＿ＷＥ」で接続される場合、ネットリストは、配線のネット名「ＳＲＡＭ＿ＷＥ」と、ＳＲＡＭ部品の１番端子を表わす記号とが対応付けられて記載されている。配線属性付与部１１２は、ネットリストから個々の配線を抽出し、その配線ごとに機能キーワードデータベースから機能属性を推定して付与する。このような処理は、例えば、ネット名の文字列の中に含まれているキーワードの検索を簡単に行なうことができる。
【００２９】
端子属性付与部１１３は、配線属性付与部１１２によって機能属性が付与された配線に接続される全ての端子の機能の属性を取得し、それら端子に付与する。
【００３０】
端子機能属性データ１１４は、ネットリストに表わされた端子（端子番号）とその端子の機能属性との対応関係を示す情報である。例えば、端子機能属性データ１１４において、ＳＲＡＭ部品の１番端子を表わす記号には、この端子の機能属性として「メモリの読出し信号用」が対応づけて登録されている。
【００３１】
ここで、上述した端子属性付与部１１３は、個々のネットリストに含まれる端子について、この端子機能属性データ１１４を検索して機能属性を抽出することによって、その端子に機能属性を付与する。このようにすることにより、端子に機能属性を付与する作業を自動化することができる。
【００３２】
属性検査部１１５は、ネットリスト中の互いに接続された配線および端子の機能属性の一致／不一致を検査する。詳細には、この属性検査部１１５は、配線それぞれについてその配線に接続される全ての端子について一致／不一致を検査することで、端子同士の接続を検査する。
【００３３】
メッセージ出力部１１６は、属性検査部１１５による検査結果が不一致の場合に、不一致が検出された配線を示す警告メッセージを出力する。
【００３４】
本実施形態の接続検証支援装置１１０では、各配線において、そのネット名から推定される機能属性と、その配線に接続される端子の機能属性とが付与され、それら互いに接続された配線および端子の機能属性が一致しているか否かが検査される。検査された結果、それら配線および端子の機能属性が不一致である場合は、その配線は設計者の意図に反する誤接続の可能性があるので、そのネット名等の情報をメッセージ出力部１１６で出力する。例えば、ＳＲＡＭ＿ＷＥというネット名の配線に、メモリ部品の読出し信号用の端子が接続されていれば、設計者が書き込み信号という機能属性にすることを意図したであろう配線を、メモリの読み出し信号端子につないでしまったミスが存在すると推定される。本実施形態では、このような推定される設計者の意図に反する接続を容易にチェックすることが可能となる。
【００３５】
ここで、機能属性の推定レベルを多段階に設定してもよい。例えば、配線属性付与部１１２においてキーワードと一致する文字数を少なくすればあいまいさを広くした機能属性の推定ができる。これにより判定レベルの精度を多段階に設定することが可能となる。尚、ネット名にキーワードが使用されておらず機能属性が推定できない場合の取り扱いについては、問題なしと判定する。
【００３６】
また、本実施形態では、同一の配線の端子間だけで機能属性の推定の判定が行なわれる。このため、例えば、ＣＡＤツールによって機械的にユニークな配線名が付けられた場合であっても、少なくとも端子間における整合性の検査が可能となる。
【００３７】
図２は、図１に示す接続検証支援装置で実行される処理ルーチンのフローを示す図である。
【００３８】
先ず、ステップＳ１において、配線属性付与部１１２でネットリストを読み込む。次に、ステップＳ２において、ネットリスト中の１つの配線のネット名を抽出する。さらに、ステップＳ３において、ネット名から機能属性を推定する。より詳細には、ネット名に、機能連想キーワードテーブル１１１のいずれかのキーワードが含まれているか否かを調べていき、キーワードが含まれている場合には、そのキーワードに対応付けられた機能属性を、ネットに付与する。ネットに付与された機能属性は、ネット機能属性部１２ａに記憶される。
【００３９】
次に、ステップＳ４において、端子属性付与部１１３が、上記ステップＳ２で抽出された対象のネットに接続することが示された端子を抽出する。さらに、ステップＳ５において、端子の機能属性を抽出する。即ち、端子機能属性データ１１４を参照して、ステップＳ４において抽出した端子番号に対応する機能属性を読み出して、その端子に機能属性を付与する。端子に付与された機能属性は、端子機能属性部１２ｂに記憶される。
【００４０】
ステップＳ６では、次の端子、即ち、対象のネットに接続された端子のうち、上記ステップＳ５で機能属性付与が行なわれていない端子があるか否かが判定される。次の端子があると判定された場合は、ステップＳ４に戻る。一方、次の端子がない、即ち、対象のネットに接続された全ての端子について上記ステップＳ５の処理が施されたと判定された場合は、ステップＳ７に進む。
【００４１】
ステップＳ７では、属性検査部１１５でこのネットの機能属性の整合性を判定する。即ち、ネット機能属性部１２ａに記憶されたネットの機能属性と端子機能属性部１２ｂに記憶された端子の機能属性とから、ネットおよび端子の機能属性の一致／不一致を検査する。ここで、属性検査部１１５による検査結果が不一致の場合は、不一致が検出された配線を示す情報を、ログファイル部１２ｃに記憶する。
【００４２】
さらに、ステップＳ８において、次のネットがあるか否かが判定される。次のネットがあると判定された場合は、ステップＳ２に戻る。一方、次のネットがない、即ち、ネットリスト中の全てのネットについて整合性判定が実行されたと判定された場合は、ステップＳ９に進む。
【００４３】
ステップＳ９では、メッセージ出力部１１６でログファイル部１２ｃを参照し、不一致が検出された配線を示す警告メッセージを出力して、このフローを終了する。ユーザは、警告メッセージを参照して、意図しない接続の有無を確認する。
【００４４】
ここで、ネットリストが、複数の階層からなる階層構造の回路を表わす場合がある。
【００４５】
図３は、２つの階層からなる階層構造の回路を表わすネットリストを示す図である。
【００４６】
この回路２００は、図３の上部，下部にそれぞれ示す第１，第２の階層からなる２つの階層構造を有する。
【００４７】
第１の階層は、主回路ブロック２１０，２２０と、主回路ブロック２１０の入力側に配線されたネット２３０，２４０と、主回路ブロック２１０と主回路ブロック２２０との間に配線されたネット２５０，２６０と、主回路ブロック２２０の出力側に配線されたネット２７０とを有する。
【００４８】
第２の階層は、主回路ブロック２１０を構成する構成要素からなるものであり、副回路ブロック２１１，２１２と、副回路ブロック２１１の入力側に配線されたローカルネット２１３，２１４と、副回路ブロック２１１と副回路ブロック２１２との間に配線されたローカルネット２１５と、副回路ブロック２１２の出力側に配線されたローカルネット２１６，２１７とを有する。
【００４９】
このような回路２００を表わすネットリストが、図１に示す接続検証支援装置１１０で読み込まれる。
【００５０】
配線属性付与部１１２は、上記ネットリスト中の、２つの階層に亘って互いに接続される階層ごとのネットに機能属性を付与する。
【００５１】
属性検査部１１５は、２つの階層に亘って接続される各ネットに付与された機能属性、および各ネットに接続される端子の機能属性の一致／不一致を検査する。
【００５２】
階層構造を有する場合は、図３に示すように、電気的に接続されていて一体となるネットでも各階層で別のネット名（例えば、ネット２３０とローカルネット２１３、ネット２４０とローカルネット２１４等）を付けることが可能である。そうした場合に、この接続検証支援装置１１０では、ネットリストをフラット化する前の各階層におけるネットの名称が含まれた段階でネットの階層間での接続の一致／不一致を検査することができる。
【００５３】
上述した実施形態では、ネットリスト中の端子が、電子部品の端子番号として表わされている場合の例を説明したが、ネットリスト中の端子は、ネット名と同様にして、任意に名称を付与したものであってもよい。以下では、このような場合における実施形態について説明する。
【００５４】
図４は、端子名が付与された端子を有するネットリストの接続を支援する接続検証支援装置の構成を示す図、図５は、図４に示す接続検証支援装置で実行される処理ルーチンのフローを示す図である。
【００５５】
尚、図１に示す接続検証支援装置１１０の構成要素と同じ構成要素には同一の符号を付すとともに、図２に示すフロートの処理と同じ処理には同一の符号（ステップＳ）を付し、異なる点について説明する。
【００５６】
図４に示す接続検証支援装置１３０は、図１に示す接続検証支援装置１１０と比較し、端子属性付与部１１３が端子属性付与部１３３に置き換えられている。また、図５に示すフローは、図２に示すフローと比較し、ステップＳ５がステップＳ１５に置き換えられている。
【００５７】
即ち、図４に示す接続検証支援装置１３０では、図５のステップＳ１５に示すように、端子属性付与部１３３が機能連想キーワードテーブル１１１を参照して、端子名にもとづいて端子の機能属性を抽出し、端子に付与する。
【００５８】
このようにすると、端子が端子名で表わされた場合であってもネットの機能属性と端子の機能属性との整合性を高い精度で得ることができる。
【００５９】
尚、回路設計用ＣＡＤツールに、各ネットに機能属性を入力する手段と、それを保存する手段を持たせることによっても、上述したと同様のネットリストの接続の検証を実現することが可能となるが、本実施形態の接続検証支援装置１１０，１３０では、従来より使用されてきたネット名を利用することで、そのような新たな設定作業の手間をかけずにネットリストの接続の検証を実現することができる。
【符号の説明】
【００６０】
１２ａ  ネット機能属性部
１２ｂ  端子機能属性部
１２ｃ  ログファイル部
１１０，１３０  接続検証支援装置
１１１  機能連想キーワードテーブル
１１２  配線属性付与部
１１３，１３３  端子属性付与部
１１４  端子機能属性データ
１１５  属性検査部
１１６  メッセージ出力部
２００  回路
２１０，２２０  主回路ブロック
２１１，２１２  副回路ブロック
２１３，２１４，２１５，２１６，２１７  ローカルネット
２３０，２４０，２５０，２６０，２７０  ネット
【図１】
2011003080.tif 000003
【図２】
2011003080.tif 000004
【図３】
2011003080.tif 000005
【図４】
2011003080.tif 000006
【図５】
2011003080.tif 000007