(57)【要約】【課題】回路の設計データ中の２点間に存在する信号経路を回路図情報／信号遷移情報から自動的に検出すること。【解決手段】回路図情報の１点から入力側として生成される第１の信号経路を検出する始点側信号経路検出部１１１と、回路図情報の他の点から出力側として生成される第２の信号経路を検出する終点側信号経路検出部１１２と、前記検出された第１の信号経路および第２の信号経路の合致を検出する合致信号経路検出部１３０を備える。【選択図】      図２
2010009540.tif 000002
【特許請求の範囲】
【請求項１】
回路図情報の１点から入力側として生成される第１の信号経路を、検出する第１検出手段と、
回路図情報の他の点から出力側として生成される第２の信号経路を、検出する第２検出手段と、
前記検出された第１の信号経路および第２の信号経路の合致を検出する手段を備えることを特徴とする回路設計データ検証ツール。
【請求項２】
前記合致が検出された信号経路内に存在する各信号線に流れる信号の波形を前記１点側から前記他の点側の順に並べた状態で表示画面に表示する、波形表示手段を更に備えることを特徴とする請求項１に記載の回路設計データ検証ツール。
【請求項３】
前記回路図情報によって示される回路図を示す回路図表示手段を更に備え、
前記信号経路の合致が検出された信号経路を表示画面に表示することを特徴とする請求項１に記載の回路設計データ検証ツール。
【請求項４】
前記信号経路の合致が検出されなかった場合に、信号経路の合致が検出されなかったことを通知するデータを出力する手段を更に備えることを特徴とする請求項１に記載の回路設計データ検証ツール。
【請求項５】
回路図情報の１点から入力側として生成される第１の信号経路を検出し、
回路図情報の他の点から出力側として生成される第２の信号経路を検出し、
前記検出された第１の信号経路および第２の信号経路の合致を検出することを特徴とする回路設計検証方法。
【請求項６】
前記合致が検出された信号経路内に存在する各信号線に流れる信号の波形を前記１点側から前記他の点側の順に並べた状態で表示することを特徴とする請求項５に記載の回路設計検証方法。
【請求項７】
前記信号経路の合致が検出された信号経路を、表示画面に表示することを特徴とする請求項５に記載の回路設計検証方法。
【請求項８】
コンピュータに回路設計データの検証処理を実行させるプログラムであって、
前記コンピュータに、回路図情報の１点から入力側として生成される第１の信号経路を検出する処理を実行させる手順と、
前記コンピュータに回路図情報の他の点から出力側として生成される第２の信号経路を検出する処理を実行させる手順と、
前記コンピュータに前記検出された第１の信号経路および第２の信号経路の合致を検出する処理を実行させる手順を備えることを特徴とするプログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、回路の設計データを検証するための回路設計データ検証ツール、および回路設計検証方法に関する。
【背景技術】
【０００２】
従来においては、回路設計データ検証ツールを利用し、ある２点間の信号経路上にある信号の波形を確認したい場合は、人間が、自身で２点間の信号を１つずつ選択し波形ビューアへ表示させるか、回路設計データ検証ツールが備える、選択した信号の前後の信号を検索する機能（特許文献１参照）を使って検索した信号を、波形ビューアへ表示させていた。
【特許文献１】特開平１１−６６１１４号公報
【発明の開示】
【発明が解決しようとする課題】
【０００３】
２点間の信号経路中の信号を１つずつ選択し波形ビューアへ表示させる場合は、その２点間にどのような信号が存在するか事前に知っておく必要がある。また、選択した信号の前後の信号を検索する機能を使う場合、前後の信号を検索する事が出来ても、複数の行き先がある場合、どの信号が見たいパス上の信号か事前に知っておく必要がある。
【０００４】
本発明の目的は、回路図情報中の２点間に存在する信号経路を自動的に検出する事が可能な回路設計データ検証ツール、および回路設計検証方法を提供することにある。
【課題を解決するための手段】
【０００５】
本発明の一例に係わる回路設計データ検証ツールは、回路図情報の１点から入力側として生成される第１の信号経路を、検出する第１検出手段と、回路図情報の他の点から出力側として生成される第２の信号経路を、検出する第２検出手段と、前記検出された第１の信号経路および第２の信号経路の合致を検出する手段を備えることを特徴とする。
【０００６】
本発明の一例に係わる回路設計検証方法は、回路図情報の１点から入力側として生成される第１の信号経路を検出し、回路図情報の他の点から出力側として生成される第２の信号経路を検出し、前記検出された第１の信号経路および第２の信号経路の合致を検出することを特徴とする。
【発明の効果】
【０００７】
本発明によれば、回路図情報中の２点間に存在する信号経路を自動的に検出する事が可能になる。
【発明を実施するための最良の形態】
【０００８】
本発明の実施の形態を以下に図面を参照して説明する。
【０００９】
図１は、本発明の一実施形態に係わる回路設計データ検証装置のシステム構成を示すブロック図である。
【００１０】
図１に示すように、回路設計データ検証装置１００は、指定点振分部１０１、始点側信号経路検出部１１１、終点側信号経路検出部１１２、第１レジスタ１２１、第２レジスタ１２２、合致信号経路検出部１３０、第３レジスタ１４０、および表示制御部１７０等を有する。回路設計データ検証装置１００の指定点振分部１０１、始点側信号経路検出部１１１、終点側信号経路検出部１１２、合致信号経路検出部１３０は、コンピュータで実行されるコンピュータプログラムによって実現することが可能である。
【００１１】
オペレータは、マウスやキーボード等の入力装置２０を用いて回路図情報／信号遷移情報１０中の信号経路上の始点（１点）および終点（他の点）の２点を指定する。指定点振分部１０１は、入力装置２０の入力信号から、入力された始点を始点側信号経路検出部１１１に渡し、入力された終点を終点側信号経路検出部１１２に渡す。
【００１２】
始点側信号経路検出部１１１は、指定点振分部１０１から渡された始点から入力側として生成される第１の信号経路を検出する。言い換えると、始点側信号経路検出部１１１は、始点に流れる信号を要因として生成される全ての信号を検出すると言い換えることも出来る。始点側信号経路検出部１１１は、検出結果を第１レジスタ１２１に記録する。また、終点側信号経路検出部１１２は、指定点振分部１０１から渡された終点から出力側として生成される第２の信号経路を検出する。終点側信号経路検出部１１２は、指定点振分部１０１から渡された終点を生成する要因となる全ての信号を検出すると言い換えることも出来る。終点側信号経路検出部１１２は、検出結果を第２レジスタ１２２に記録する。
【００１３】
合致信号経路検出部１３０は、第１レジスタ１２１および第２レジスタ１２２を参照し、始点側信号経路検出部１１１によって検出された信号経路および終点側信号経路検出部１１２によって検出された信号経路の合致を検出する。そして、合致信号経路検出部１３０は、合致が検出された信号経路を第３レジスタ１４０に記録する。
【００１４】
表示制御部１７０は、回路図情報／信号遷移情報１０に基づいて、合致信号経路検出部１３０が検出した信号経路中の信号線に流れる信号の遷移および合致信号経路検出部１３０が検出した信号経路に対応する回路図の少なくとも信号の遷移を表示装置３０の表示画面上に表示するための映像信号を生成し、表示装置に伝送する。回路図情報／信号遷移情報１０には、回路設計データ、および回路設計データに基づいて行われた各信号線に流れる信号の遷移のシミュレーション結果を有する。
【００１５】
次に、図２に示す回路図の設計データを例にして、回路設計データ検証装置１００の動作を説明する。図２に示す回路図を説明する。  
図２に示すように、第１入力信号ＩＮ＿Ａが第１信号線２０１を経由して第１フリップフロップＦＦ＿Ａに入力されている。クロック信号ＣＬＫが、第６信号線２０６を経由して第１フリップフロップＦＦ＿Ａに入力されている。
【００１６】
第２入力信号ＩＮ＿Ｂが、第２信号線２０２を経由して第２フリップフロップＦＦ＿Ｂに入力されている。クロック信号ＣＬＫが、第７信号線２０７を経由して第２フリップフロップＦＦ＿Ｂに入力されている。
【００１７】
第３入力信号ＩＮ＿Ｃが、第３信号線２０３を経由して第３フリップフロップＦＦ＿Ｃに入力されている。クロック信号ＣＬＫが、第８信号線２０８を経由して第３フリップフロップＦＦ＿Ｃに入力されている。
【００１８】
第４入力信号ＩＮ＿Ｄが、第４信号線２０４を経由して第４フリップフロップＦＦ＿Ｄに入力されている。クロック信号ＣＬＫが、第９信号線２０９を経由して第４フリップフロップＦＦ＿Ｄに入力されている。
【００１９】
第５入力信号ＩＮ＿Ｅが、第５信号線２０５を経由して第５フリップフロップＦＦ＿Ｅに入力されている。クロック信号ＣＬＫが、第１０信号線２１０を経由して第５フリップフロップＦＦ＿Ｅに入力されている。
【００２０】
第１フリップフロップＦＦ＿Ａの出力である第１出力信号ＳＩＧ＿Ａが、第１１信号線２１１を経由して第１ＡＮＤ演算器ＡＮＤ＿Ａに入力されている。第２フリップフロップＦＦ＿Ｂの出力である第２出力信号ＳＩＧ＿Ｂが、第１２信号線２１２を経由して第１ＡＮＤ演算器ＡＮＤ＿Ａに入力されている。
【００２１】
第３フリップフロップＦＦ＿Ｃの出力である第３出力信号ＳＩＧ＿Ｃが、第１３信号線２１３を経由して第１ＮＯＴ演算器ＮＯＴ＿Ａに入力されている。
【００２２】
第４フリップフロップＦＦ＿Ｄの出力である第４出力信号ＳＩＧ＿Ｄが、第１４信号線２１４を経由して第２ＯＲ演算器ＯＲ＿Ｂに入力されている。第５フリップフロップＦＦ＿Ｅの出力である第５出力信号ＳＩＧ＿Ｅが、第１５信号線２１５を経由して第２ＯＲ演算器ＯＲ＿Ｂに入力されている。
【００２３】
第１ＡＮＤ演算器ＡＮＤ＿Ａの出力である第６出力信号ＳＩＧ＿Ｆが、第１７信号線２１７を経由して第６フリップフロップＦＦ＿Ｆに入力されている。クロック信号ＣＬＫが、第２３信号線２２３を経由して第６フリップフロップＦＦ＿Ｆに入力されている。
【００２４】
第６出力信号ＳＩＧ＿Ｆが、第１８信号線２１８を経由して第１ＯＲ演算器ＯＲ＿Ａに入力されている。第１ＮＯＴ演算器ＮＯＴ＿Ａの出力である第７出力信号ＳＩＧ＿Ｇが、第１６信号線２１６を経由して第１ＯＲ演算器ＯＲ＿Ａに入力されている。
【００２５】
第１ＯＲ演算器ＯＲ＿Ａの出力である第８出力信号ＳＩＧ＿Ｈが、第１９信号線２１９を経由して第２ＡＮＤ演算器ＡＮＤ＿Ｂに入力されている。第２ＯＲ演算器ＯＲ＿Ｂの出力である第９出力信号ＳＩＧ＿Ｉが、第２０信号線２２０を経由して第２ＡＮＤ演算器ＡＮＤ＿Ｂに入力されている。
【００２６】
第９出力信号ＳＩＧ＿Ｉが、第２２信号線２２２を経由して第７フリップフロップＦＦ＿Ｇに入力されている。クロック信号ＣＬＫが、第２４信号線２２４を経由して第７フリップフロップＦＦ＿Ｇに入力されている。
【００２７】
第２ＡＮＤ演算器ＡＮＤ＿Ｂの出力である第１０出力信号ＳＩＧ＿Ｊが、第２５信号線２２５を経由して第２ＮＯＴ演算器ＮＯＴ＿Ｂに入力されている。第２ＮＯＴ演算器ＮＯＴ＿Ｂの出力である第１１出力信号ＳＩＧ＿Ｋが第２６信号線２２６を経由して第８フリップフロップＦＦ＿Ｈに入力されている。クロック信号ＣＬＫが、第２１信号線２２１を介して第８フリップフロップＦＦ＿Ｈに入力されている。
【００２８】
第６フリップフロップＦＦ＿Ｆから、第２７信号線２２７に第１外部出力信号ＯＵＴ＿Ａが出力されている。第８フリップフロップＦＦ＿Ｈから第２外部出力信号ＯＵＴ＿Ｂが、第２８信号線２２８に出力されている。第７フリップフロップＦＦ＿Ｇから第３外部出力信号ＯＵＴ＿Ｃが、第２９信号線２２９に出力されている。
【００２９】
次に、回路設計データ検証装置１００が実行する処理の手順について図３のフローチャートを参照して説明する。
【００３０】
先ず、オペレータが入力装置２０を用いて始点および終点の２点を入力する（ステップＳ１１）。オペレータが、第１出力信号ＳＩＧ＿Ａが流れる第１１信号線２１１上の１点を始点として入力し、第１１出力信号ＳＩＧ＿Ｋが流れる第２６信号線２２６上の１点を終点として入力したものとして、ステップＳ１１以降の処理を説明する。指定点振分部１０１は、第１１信号線２１１上の始点を始点側信号経路検出部１１１に渡す。また、指定点振分部１０１は、第２６信号線２２６上の終点を終点側信号経路検出部１１２に渡す。
【００３１】
始点側信号経路検出部１１１は、第１１信号線２１１上の始点から入力側として生成される信号経路を検出する（ステップＳ１２）。通常、選択した点の前後の経路を検索する機能では、行き先が複数ある場合、次にどちらを検索するかツール側で判断出来ない為、前後１つの通信線しか検索しないが、この場合は無条件に全ての行き先を検索するようにする事で、最終段の経路まで検索が出来るようになる。
【００３２】
始点側信号経路検出部１１１による検出結果を含む回路図を図４に示す。図４の回路図において破線で示されている信号経路が、始点側信号経路検出部１１１によって検出された信号経路である。図４に示すように、検出された信号経路内には、第１１信号線２１１、第１７信号線２１７、第１８信号線２１８、第１９信号線２１９、第２５信号線２２５、第２６信号線２２６、第２７信号線２２７、および第２８信号線２２８の信号線が存在する。
【００３３】
始点側信号経路検出部１１１は、第１レジスタ１２１に検出結果を記録する（ステップＳ１３）。始点側信号経路検出部１１１による検出結果の記録例を図５に示す。例えば、回路中の各信号経路に対して、初期値としてそれぞれ“０”を与える。そして、図５に示すように、検出された信号経路内に存在する信号線に対して“１”のビットを立てる。
【００３４】
次いで、終点側信号経路検出部１１２は、終点から出力側として生成される信号経路を検出する（ステップＳ１４）。終点側信号経路検出部１１２による検出結果を含む回路図を図６に示す。
【００３５】
図６において破線で示されている信号経路が、終点側信号経路検出部１１２によって検出された信号経路である。図６に示すように、検出された信号経路内には、第１信号線２０１、第２信号線２０２、第３信号線２０３、第４信号線２０４、第５信号線２０５、第６信号線２０６、第７信号線２０７、第８信号線２０８、第９信号線２０９、第１０信号線２１０、第１１信号線２１１、第１２信号線２１２、第１３信号線２１３、第１４信号線２１４、第１５信号線２１５、第１６信号線２１６、第１８信号線２１８、第１９信号線２１９、第２０信号線２２０、第２５信号線２２５、および第２６信号線２２６の信号線が存在する。
【００３６】
終点側信号経路検出部１１２は、第２レジスタ１２２に検出結果を記録する（ステップＳ１５）。検出結果の記録例を図７に示す。例えば、回路中の各信号線に対して、初期値としてそれぞれ“０”のビットを与える。そして、図７に示すように、検出された信号経路内に存在する信号線のビットに対して“１”を立てる。
【００３７】
合致信号経路検出部１３０は、第１レジスタ１２１と第２レジスタ１２２を参照し、同じ信号線のビットの値同士のＡＮＤ演算を行うことによって、始点側信号経路検出部１１１によって検出され、且つ終点側信号経路検出部１１２によって検出された信号経路を全て検出する。図８に第１レジスタ１２１および第２レジスタ１２２の同じ信号経路のビット値のＡＮＤ演算結果を示す。図８において、列Ｃ１が第１レジスタ１２１に格納されている始点側信号経路検出部１１１の検出結果、列Ｃ２が第２レジスタ１２２に格納されている終点側信号経路検出部１１２の検出結果、列Ｃ３が演算結果である。図８の列Ｃ３に示すように、両方の検出部１１１，１２１によって検出された信号経路内に存在する信号線における演算結果は、“１”になる。従って、合致信号経路検出部１３０は、演算結果が“１”である信号線を検出することで、始点側信号経路検出部１１１によって検出され、且つ終点側信号経路検出部１１２によって検出された信号経路を検出することが出来る。ここでは、第１１信号線２１１、第１８信号線２１８、第１９信号線２１９、第２５信号線２２５、および第２６信号線２２６が“１”になっている。
【００３８】
合致信号経路検出部１３０による検出結果を含む回路図を図９に示す。図９において、破線で示されている信号線が、オペレータが指定した２点間の信号経路である。
【００３９】
そして、合致信号経路検出部１３０は、演算結果に基づいて始点側信号経路検出部１１１によって検出された信号経路と、且つ終点側信号経路検出部１１２によって検出された信号経路と合致する信号経路があるか確認する（ステップＳ１６）。合致信号経路検出部１３０は、ステップＳ１６に処理に基づいて合致する信号線が有るか否かを判別する（ステップＳ１７）。合致する信号経路が無いと判別した場合（ステップＳ１７のＮｏ）、合致信号経路検出部１３０は、信号経路の合致が検出されなかったことを通知するデータとして、始点から終点へ通る信号経路（パス）が無い旨のメッセージを表示装置３０に表示するためのデータを生成し、データを表示制御部１７０に出力する。表示制御部１７０は、データに基づいてメッセージを表示装置３０に表示するための映像信号を生成し、表示装置３０伝送する。表示装置３０は、伝送された映像信号に基づいてメッセージを表示する（ステップＳ１８）。
【００４０】
合致する経路がある場合（ステップＳ１７のＹｅｓ）、合致信号経路検出部１３０は、図９に示す演算結果において、ビットの値が“１”である信号線を、始点から終点に順に並べた、リストを作成する（ステップＳ１９）。図１０にリストの例を示す。図１０に示すように、第１１信号線２１１、第１８信号線２１８、第１９信号線２１９、第２５信号線２２５、および第２６信号線２２６が順番に並んでいる。そして、リスト上の信号線に流れる信号を検出し、リストに付け加える。そして、合致信号経路検出部１３０は、作成したリストを第３レジスタ１４０に格納する（ステップＳ２０）。
【００４１】
合致信号経路検出部１３０は、波形と回路図との両方を表示装置３０に表示するか否かを判別する（ステップＳ２１）。両方を表示すると判断した場合（ステップＳ２１のＹｅｓ）、合致信号経路検出部１３０は、第３レジスタ１４０に格納されているリストと共に波形および回路図を示すための指示を表示制御部１７０に渡す（ステップＳ２２）。
【００４２】
表示制御部１７０は、回路図情報／信号遷移情報１０が有するデータに基づいて、第３レジスタ１４０に格納されているリストに載っている信号線に流れる信号の遷移を選択的に表示装置３０の表示画面上に表示するためのデータを生成する。
【００４３】
また、表示制御部１７０は、リストに載っている信号の回路図を表示装置３０の表示画面上に表示するためのデータを生成する。
【００４４】
そして、表示制御部１７０は、生成したデータに基づいて、回路図および信号の遷移を表示するための映像信号を生成し、表示装置３０に伝送する。表示装置３０は、伝送された映像信号に基づいて信号の遷移および回路図を表示する。表示制御部１７０が作成するデータによって表示される信号の遷移（波形）の例を図１１に示す、図１１に示すように、第１出力信号ＳＩＧ＿Ａ、第６出力信号ＳＩＧ＿Ｆ、第８出力信号ＳＩＧ＿Ｈ、第１０出力信号ＳＩＧ＿Ｊ、および第１１出力信号ＳＩＧ＿Ｋのそれぞれに流れる信号の波形が図１０に示すリストの順番に従って上側から下側に順番に並んでいる。また、表示制御部１７０が作成するデータによって表示される回路図の例を図１２に示す。図１２に示すように、リストに載っている信号線および信号線上の第１フリップフロップＦＦ＿Ａ、第１ＡＮＤ演算器ＡＮＤ＿Ａ、第１ＯＲ演算器ＯＲ＿Ａ、第２ＡＮＤ演算器ＡＮＤ＿Ｂ、第２ＮＯＴ演算器ＮＯＴ＿Ｂ、および第８フリップフロップＦＦ＿Ｈが表示されている。
【００４５】
ステップＳ２１において、両方を表示しないと判断した場合（ステップＳ２１のＮｏ）、合致信号経路検出部１３０は、第３レジスタ１４０に格納されているリスト、および信号の遷移を表示するための指示を渡す（ステップＳ２３）。
【００４６】
表示制御部１７０は、先に説明したのと同様に、リストに載っている信号の波形を用意する。そして、表示制御部１７０は、信号の遷移をリストの順番（始点側から終点側に並べた順番）に上から下に並べて表示装置３０に表示するためのデータを生成する。そして、表示制御部１７０は、表示装置３０に回路図を表示するための映像信号を生成し、表示装置３０に伝送する。表示装置３０は、伝送された映像信号に基づいて波形を表示する。
【００４７】
以上の処理によって、オペレータが指定した２点から、２点間の経路を自動的に検出することが出来る。さらに、検出された経路中の各信号線に流れる波形を時間的な順（始点側から終点側の順）に上から下に並べて表示装置３０に表示することで、信号の波形の遷移がわかりやすくなる。また、検出された経路上の信号の回路図だけを表示することで、検出された信号をオペレータが視覚的に把握することが出来る。
【００４８】
なお、本実施形態の回路設計データ検証装置による回路の設計データを検証するための処理はコンピュータプログラムによって実現されているので、このコンピュータプログラムをコンピュータ読み取り可能な記憶媒体を通じて通常のコンピュータにインストールするだけで、本実施形態と同様の効果を容易に実現することができる。また、このコンピュータプログラムは、パーソナルコンピュータのみならず、プロセッサを内蔵した電子機器上で実行することができる。
【００４９】
なお、本発明は、上記実施形態そのままに限定されるものではなく、実施段階ではその要旨を逸脱しない範囲で構成要素を変形して具体化できる。また、上記実施形態に開示されている複数の構成要素の適宜な組み合せにより種々の発明を形成できる。例えば、実施形態に示される全構成要素から幾つかの構成要素を削除してもよい。更に、異なる実施形態に亘る構成要素を適宜組み合せてもよい。
【図面の簡単な説明】
【００５０】
【図１】本発明の一実施形態に係わる回路設計データ検証装置のシステム構成を示すブロック図。
【図２】本発明の一実施形態に係わる回路設計データに基づいて表示される回路図の例を示す図。
【図３】回路設計データ検証装置１００が実行する処理の手順を示すフローチャート。
【図４】始点側信号経路検出部による検出結果を含む回路図の例を示す図。
【図５】始点側信号経路検出部による第１レジスタへの検出結果の記録例を示す表。
【図６】終点側信号経路検出部による検出結果を含む回路図の例を示す図。
【図７】終点側信号経路検出部による第２レジスタへの検出結果の記録例を示す表。
【図８】第１レジスタおよび第２レジスタの同じ信号経路のビット値のＡＮＤ演算結果を示す表。
【図９】合致信号経路検出部による抽出結果を含む回路図の例を示す図。
【図１０】合致する信号経路を回路の入力側から出力側に順に並べたリストの例を示す図。
【図１１】表示装置に表示される波形の例を示す図。
【図１２】表示装置に表示される回路図の例を示す図。
【符号の説明】
【００５１】
１００…回路設計データ検証装置，１０１…指定点振分部，１１１…始点側信号経路検出部，１１２…終点側信号経路検出部，１２１…レジスタ，１２２…レジスタ，１３０…合致信号経路検出部，１４０…レジスタ，１７０…表示制御部。
【図１】
2010009540.tif 000003
【図２】
2010009540.tif 000004
【図３】
2010009540.tif 000005
【図４】
2010009540.tif 000006
【図５】
2010009540.tif 000007
【図６】
2010009540.tif 000008
【図７】
2010009540.tif 000009
【図８】
2010009540.tif 000010
【図９】
2010009540.tif 000011
【図１０】
2010009540.tif 000012
【図１１】
2010009540.tif 000013
【図１２】
2010009540.tif 000014