(57)【特許請求の範囲】
【請求項１】
プリント基板に配置される部品の端子間の論理接続情報を有する、設計の関係者によるレビュー対象となる表および図を含む設計仕様書情報から、前記論理接続情報を取得する論理接続情報取得手段と、
前記論理接続情報取得手段により取得された、表から取得された論理接続情報と図から取得された論理接続情報の信号方向の一致性を確認することにより、前記論理接続情報を検証する設計仕様検証手段と
を備えたことを特徴とする検証装置。
【請求項２】
前記論理接続情報は、前記端子毎に、該端子の識別情報と該端子に入力される信号あるいは当該端子から出力される信号の情報とが対応づけられ、
前記設計仕様検証手段は、前記端子に対応する論理接続情報毎に同一の信号の情報を有する論理接続情報の有無により、前記論理接続情報を検証する
ことを特徴とする請求項１に記載の検証装置。
【請求項３】
前記論理接続情報は、前記端子毎に、該端子の識別情報と該端子に入力される信号の情報及び／又は該端子から出力される信号の情報とが対応づけられ、前記信号の情報は、該信号の方向の情報及び該信号の識別情報とを有し、
前記設計仕様検証手段は、第１の論理接続情報における信号の方向と、前記第１の論理接続情報と同一の信号の情報を有する第２の論理接続情報における信号の方向との一致性を検証する
ことを特徴とする請求項１または２のいずれか一項に記載の検証装置。
【請求項４】
前記論理接続情報取得手段によって取得された論理接続情報に基づき、論理接続が確立した接続の割合を測定する測定手段
を備えたことを特徴とする請求項１乃至３のいずれか一項に記載の検証装置。
【請求項５】
前記論理接続情報取得手段によって取得された論理接続情報に基づき、論理接続仕様が確立した接続の情報及び／又は論理接続仕様が確立していない接続の情報を取得する確立情報取得手段
を備えたことを特徴とする請求項１乃至４のいずれか一項に記載の検証装置。
【請求項６】
前記確立情報取得手段によって取得された情報を表示する画面を生成する画面生成手段
を備えたことを特徴とする請求項５に記載の検証装置。
【請求項７】
検証装置が、プリント基板に配置される部品の端子間の論理接続情報を有する、設計の関係者によるレビュー対象となる表および図を含む設計仕様書情報から、前記論理接続情報を取得する論理接続情報取得工程と、
前記検証装置が、前記論理接続情報取得工程において取得された、表から取得された論理接続情報と図から取得された論理接続情報の信号方向の一致性を確認することにより、前記論理接続情報を検証する設計仕様検証工程と
を備えたことを特徴とする検証方法。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は検証装置及び検証方法に関する。
【背景技術】
【０００２】
従来から、高品質なプリント基板を効率良く設計するための技術がある。例えば、特許文献１には、プリント基板の小型化を図る際に、部品配置の不要な検討を行うことなく、部品の配置を検討することのできる回路基板設計支援装置等の発明が開示されている。
【特許文献１】特開２００７−１４８６６４号公報
【発明の開示】
【発明が解決しようとする課題】
【０００３】
しかしながら、プリント基板の設計において、回路図を作成する基となる設計仕様書に誤りがある場合には、作成された回路図にその誤りが反映されてしまい、設計に係るコストを増大させてしまう。そこで、設計仕様書の段階で誤りを排除する必要があるが、上記特許文献１では、そのようなことは考慮されていない。
【０００４】
本発明は上記の従来の問題点に鑑み提案されたものであり、その目的とするところは、プリント基板の設計仕様書における誤りを早期に排除することのできる検証装置及び検証方法を提供することにある。
【課題を解決するための手段】
【０００５】
上記の課題を解決するため、本発明にあっては、請求項１に記載されるように、プリント基板に配置される部品の端子間の論理接続情報を有する、設計の関係者によるレビュー対象となる表および図を含む設計仕様書情報から、前記論理接続情報を取得する論理接続情報取得手段と、前記論理接続情報取得手段により取得された、表から取得された論理接続情報と図から取得された論理接続情報の信号方向の一致性を確認することにより、前記論理接続情報を検証する設計仕様検証手段とを備える検証装置を要旨としている。
【０００６】
また、請求項２に記載されるように、前記論理接続情報は、前記端子毎に、該端子の識別情報と該端子に入力される信号あるいは当該端子から出力される信号の情報とが対応づけられ、前記設計仕様検証手段は、前記端子に対応する論理接続情報毎に同一の信号の情報を有する論理接続情報の有無により、前記論理接続情報を検証するようにすることができる。
【０００７】
また、請求項３に記載されるように、前記論理接続情報は、前記端子毎に、該端子の識別情報と該端子に入力される信号の情報及び／又は該端子から出力される信号の情報とが対応づけられ、前記信号の情報は、該信号の方向の情報及び該信号の識別情報とを有し、前記設計仕様検証手段は、第１の論理接続情報における信号の方向と、前記第１の論理接続情報と同一の信号の情報を有する第２の論理接続情報における信号の方向との一致性を検証するようにすることができる。
【０００８】
また、請求項４に記載されるように、前記論理接続情報取得手段によって取得された論理接続情報に基づき、論理接続が確立した接続の割合を測定する測定手段を備えるようにすることができる。
【０００９】
また、請求項５に記載されるように、前記論理接続情報取得手段によって取得された論理接続情報に基づき、論理接続仕様が確立した接続の情報及び／又は論理接続仕様が確立していない接続の情報を取得する確立情報取得手段を備えるようにすることができる。
【００１０】
また、請求項６に記載されるように、前記確立情報取得手段によって取得された情報を表示する画面を生成する画面生成手段を備えるようにすることができる。
【００１１】
また、請求項７に記載されるように、検証装置が、プリント基板に配置される部品の端子間の論理接続情報を有する、設計の関係者によるレビュー対象となる表および図を含む設計仕様書情報から、前記論理接続情報を取得する論理接続情報取得工程と、前記検証装置が、前記論理接続情報取得工程において取得された、表から取得された論理接続情報と図から取得された論理接続情報の信号方向の一致性を確認することにより、前記論理接続情報を検証する設計仕様検証工程とを備える検証方法として構成することができる。
【発明の効果】
【００１２】
本発明の検証装置及び検証方法にあっては、プリント基板の設計仕様書における誤りを早期に排除することができる。
【発明を実施するための最良の形態】
【００１３】
以下、本発明の好適な実施形態につき説明する。
【００１４】
（本実施形態の検証装置の機能構成）
図１は本実施形態の検証装置の機能構成を示す図である。図１の検証装置１では、プリント基板の設計仕様書に基づいて作成された回路図の論理接続を最終的に検証するが、設計仕様書を作成する段階において、設計仕様書の検証も単独に行うことができる。設計仕様書が有する設計仕様書情報には、例えば、プリント基板に配置される部品の情報、部品に含まれる端子の情報、端子間の論理接続情報等が含まれる。設計仕様書情報とは、設計仕様書に含まれる情報のうち、コンピュータによって処理されることのできる電子的な情報をいう。設計仕様書には、プリント基板に配置される部品の端子間の接続の情報を有する機能ブロック図、プリント基板の外部インタフェースとなるコネクターへの接続の情報を有するコネクター仕様表等がある。
【００１５】
回路図は、設計仕様書に基づいて、操作者がＣＡＤ等により作成するものであり、部品の端子間の論理接続情報が含まれる。論理接続情報は、例えば、端子の識別情報、その端子の接続先となる端子の識別情報、及び、信号の情報を含む。信号の情報は、端子に入力され、あるいは端子から出力される信号の情報であり、例えば、信号の識別情報、及び、その信号の方向の情報を含む。
【００１６】
検証装置１は、例えば、仕様書作成部１００、論理接続情報取得部２００、設計仕様書検証部３００、カバレッジ測定部４００、回路図入力部５００、設計検証部６００、及び、画面生成部７００を有する。
【００１７】
仕様書作成部１００では、操作者によってプリント基板の設計仕様書が作成される。仕様書作成部１００は、シンボル作成部１１０及び論理接続表入力部１３０を有する。シンボル作成部１１０では、設計仕様書を作成する画面において、操作者によって部品等のシンボルが選択され配置されることにより、設計仕様書が作成される。シンボル作成部１１０によって作成される設計仕様書は、端子を含む部品のシンボル、端子間の接続を表すシンボル等に、端子間の論理接続情報が対応づけられている。
【００１８】
シンボル作成部１１０は、部品選択部１１１、接続選択部１１３、及び、出力部１１５を有する。部品選択部１１１では、設計仕様書が作成される画面において、操作者によって、部品を表すシンボルが選択される。部品を表すシンボルには、部品が有する端子の情報が含まれる。
【００１９】
接続選択部１１３では、設計仕様書が作成される画面において、操作者によって端子間の接続を表すシンボルが選択される。選択された接続を表すシンボルが、部品の端子を表すシンボルに対応づけられることにより、その端子の論理接続の仕様が決定される。論理接続の仕様とは、例えば、その端子に接続される端子の情報と、その端子に入力され、あるいはその端子から出力される信号の情報である。
【００２０】
出力部１１５は、端子間の接続を表すシンボルによって決定された論理接続の仕様の情報を、論理接続情報として出力する。出力部１１５は、また、シンボルによって表現される設計仕様書を出力する。出力部１１５によって出力される設計仕様書は、例えば、機能ブロック図である。
【００２１】
論理接続表入力部１３０からは、検証装置１に対して論理接続表が入力される。論理接続表は、論理接続情報を含むテーブルであり、例えば、端子毎の信号の情報を有する。論理接続表入力部１３０は、さらに、端子の識別情報、その端子の接続先となる端子の識別情報を含む論理接続表が入力されてもよい。論理接続表入力部１３０は、また信号の情報を含む論理接続表が入力されてもよい。信号の情報は、例えば、信号の識別情報、信号の方向の情報等を含む。コネクターの端子と端子に入力される信号の情報とが対応づけられたコネクター仕様表は、論理接続表の一例である。
【００２２】
論理接続表入力部１３０は、入力された論理接続表を出力する。この論理接続表は、設計仕様書を構成する文書の一つであり、例えば、プリント基板の外部インタフェースの仕様を含むコネクター仕様表である。
【００２３】
出力部１１５が出力するシンボルによって表現される設計仕様書と、論理接続表入力部１３０が出力する論理接続表による設計仕様書を、関係者がレビューを行う。また、レビューされた設計仕様書により、ＣＡＤ等による回路図の設計を行う。
【００２４】
論理接続情報取得部２００は、仕様書作成部１００によって作成された設計仕様書から、論理接続情報を取得する。論理接続情報取得部２００は、シンボル作成部１１０によって作成された設計仕様書に含まれている論理接続情報を取得する。論理接続情報取得部２００は、また、論理接続表入力部１３０によって入力された論理接続情報を取得する。
【００２５】
設計仕様書検証部３００は、論理接続情報取得部２００によって取得された論理接続情報に基づいて、設計仕様書に含まれる論理接続の検証を行う。設計仕様書検証部３００は、論理接続情報における端子毎に対応するレコードに基づき、そのレコードが信号の方向の情報を含む場合には、レコード毎に、入力もしくは出力される信号の方向が、端子間で矛盾しているか否かの検証を行う。端子間で矛盾している場合には、その端子の論理接続の仕様が誤っていると判断される。
【００２６】
設計仕様書検証部３００は、論理接続情報における端子毎に対応するレコードに基づき、そのレコードが接続先となる端子の識別情報を含む場合に、接続先となる端子のレコードの有無を検証する。接続先となる端子のレコードが無い場合には、その端子の論理接続の仕様が誤っていると判断される。
【００２７】
設計仕様書検証部３００は、論理接続情報における端子毎に対応するレコードに基づき、そのレコードがその端子の信号の情報を含む場合に、同一の信号の情報を含む他の端子のレコードの有無を検証する。同一の信号の情報を含む他の端子のレコードが無い場合には、その端子の論理接続の仕様が誤っていると判断される。
【００２８】
設計仕様書検証部３００による検証結果は、例えば、ファイルに出力される。検証結果は、設計仕様書において、論理接続が誤っている端子又は信号の識別情報と、誤りの内容とが含まれる。
【００２９】
カバレッジ測定部４００は、論理接続情報取得部２００によって論理接続情報が取得された端子の数の、プリント基板に含まれる端子の総数に対する割合を測定する。カバレッジ測定部４００は、測定部４１０と確立情報取得部４３０とを有する。
【００３０】
測定部４１０は、論理接続情報取得部２００によって論理接続情報が取得された端子の数の、プリント基板に含まれる端子の総数に対する割合を測定する。確立情報取得部４３０は、論理接続情報取得部２００によって取得された論理接続情報により、論理接続の仕様が確立した接続の情報、又は、論理接続の仕様が確立していない接続の情報を取得する。測定部４１０によって測定された割合の情報、及び、確立情報取得部４３０によって取得された情報は、画面生成部７００に出力されるとよい。
【００３１】
回路図入力部５００からは、設計仕様書に基づいてＣＡＤ等により作成された回路図の情報が入力される。回路図の情報は、端子毎の論理接続情報が含まれる。回路図入力部５００は、回路図の情報を、設計検証部６００に対して出力する。回路図入力部５００は、回路図の情報を、設計検証部６００に対応するフォーマットに変換してもよい。
【００３２】
設計検証部６００は、論理接続情報取得部２００によって取得された論理接続情報、及び、回路図入力部５００から入力された回路図の情報に基づく論理接続情報を比較することにより、回路図の情報に含まれている論理接続情報を検証する。
【００３３】
設計検証部６００は、期待値生成部６１０、及び、比較部６３０を有する。期待値生成部６１０は、論理接続情報取得部２００によって取得された論理接続情報に基づいて、端子毎の論理接続における期待値を生成する。期待値とは、例えば、接続先となる端子と信号の情報に基づいて得られる、接続元となる端子における信号の真理値である。
【００３４】
比較部６３０は、論理接続情報取得部２００によって取得された論理接続情報と、回路図の情報に基づく論理接続情報とを比較して、端子毎に一致性を検証する。比較部６３０は、さらに、期待値生成部６１０によって生成された期待値を用いて、回路図の情報に基づく論理接続情報の検証を行う。
【００３５】
画面生成部７００は、カバレッジ測定部４００によって得られたカバレッジの情報、及び、設計検証部６００によって検証された論理接続情報の検証結果等を表示する画面を生成する。
【００３６】
なお、図１では、仕様書作成部１００、論理接続情報取得部２００、設計仕様書検証部３００、カバレッジ測定部４００、回路図入力部５００、設計検証部６００、及び、画面生成部７００は、検証装置１に設けられているが、これらの各部が、異なる装置に設けられ、ネットワーク等を介して接続されてもよい。
【００３７】
（設計仕様書の作成から回路図の検証までのフロー）
図２は本実施形態における設計仕様書の作成から回路図の検証までのフロー図である。図２のステップＳ１では、仕様書作成部１００において、設計仕様書が作成される。ステップＳ１に続いてステップＳ２に進み、論理接続情報取得部２００が、ステップＳ１で作成された設計仕様書に含まれる設計仕様書情報の中から、論理接続情報を取得する。ステップＳ２に続くステップＳ３では、設計仕様書検証部３００が、ステップＳ２で取得された論理接続情報により、設計仕様書に基づくプリント基板の端子間の論理接続の検証を行う。ステップＳ３に続いてステップＳ４に進み、カバレッジ測定部４００が、ステップＳ２で取得された論理接続情報に基づき、設計仕様書において論理接続の仕様が確立された端子の割合を測定する。
【００３８】
ステップＳ２からステップＳ４の処理により、ステップＳ１で作成された設計仕様書における論理接続情報の検証が行われる。この検証の結果、設計仕様書の情報に矛盾等の誤りが検出された場合には、ステップＳ１に戻って処理が繰り返される。
【００３９】
一方、検証された設計仕様書に矛盾が検出されない場合にはステップＳ５に進む。ステップＳ５では、操作者がＣＡＤ等を操作することによりステップＳ１で作成された設計仕様書に基づく回路設計が行われ、回路図が作成される。
【００４０】
ステップＳ４及びＳ５の処理の後、ステップＳ６に進み、設計検証部６００により、ステップＳ３で取得された設計仕様書に含まれる論理接続情報と、ステップＳ５で作成された回路図による論理接続情報とが比較されることにより、設計された回路図における論理接続の検証が行われる。
【００４１】
（設計仕様書の作成に用いられるシンボルの説明）
図３及び図４は、設計仕様書の作成に用いられるシンボルを説明する図である。
【００４２】
図３は、部品とその部品が有する端子を表すシンボルを説明する図である。図３（Ａ）のシンボルは、部品外形と、部品が有する端子を表すシンボルとを含む。図３（Ｂ）は、部品のシンボルに対応づけられる情報の例である。図３（Ｂ）では「列名」の欄に、部品のシンボルに対応づけられる情報の識別子が記載されている。また、「インスタンス名」は部品の識別情報であり、「端子名」は端子の識別情報であり、「端子属性」は端子毎に対応する信号の情報である。
【００４３】
図４は、端子間の接続を表すシンボルを説明する図である。図４の「信号線シェープ」は、端子間の接続を表すシンボルである。「信号線シェープ」の端が端子を表すシンボルに対応づけられることにより、その端子に対して入力され、あるいはその端子から出力される信号の仕様が作成される。
【００４４】
（シンボル作成部によって作成される設計仕様書の例）
図５は、シンボル作成部１１０によって作成される設計仕様書の例を示す図である。図５（Ａ）では、部品のシンボルに含まれる端子のシンボルが、接続を表すシンボルによって接続されている。図５のシンボルａ１は、部品「ＬＳＩ１」の端子「ＡＤＤ［１０：３１］」と、部品「ＭＥＭ１」の端子「ＡＤＤ［２０：０］」及び部品「ＭＥＭ２」の端子「ＡＤＤ［１８：０］」とを接続するバスを表すシンボルである。また、図５のシンボルａ２は、部品「ＬＳＩ１」の端子「ＤＡＴＡ［０：１５］」と、部品「ＭＥＭ１」の端子「Ｄ＿Ｑ［１５：０］」とを双方向信号により接続するバスを表すシンボルである。
【００４５】
図５（Ｂ）は、シンボル作成部１１０によって作成される設計仕様書に含まれる論理接続情報の例を示す図である。図５（Ｂ）では、ＣＳＶフォーマットにより、各論理接続において、信号の送信元となる端子の識別情報と、信号の送信先となる端子の識別情報との組が１行毎に示されている。図５（Ｂ）の論理接続情報ｂ１は、図５（Ａ）のシンボルａ１によって表されるバスに含まれる論理接続の情報である。論理接続情報ｂ１は、部品「ＬＳＩ１」の端子「ＡＤＤ１２」と、部品「ＭＥＭ２」の端子「ＡＤＤ１８」とが接続される際の論理接続情報である。論理接続情報ｂ１では、「ＬＳＩ１．ＡＤＤ１２」が送信元の端子の識別情報であり、「ＭＥＭ２．ＡＤＤ１８」が送信先の端子の識別情報である。
【００４６】
図５（Ｂ）の論理接続情報ｂ２は、図５（Ａ）のシンボルａ２によって表されるバスに含まれる論理接続の情報である。論理接続情報ｂ２は、部品「ＬＳＩ１」の端子「Ｄ０」と、部品「ＭＥＭ１」の端子「ＤＱ１５」とが接続される際の論理接続情報である。論理接続情報ｂ２では、「Ｄ０」は信号の識別情報、「ＭＥＭ１．ＤＱ１５」は端子の識別情報、「ＧＮＤ」はプルアップもしくはプルダウンを示す信号の情報である。
【００４７】
（論理接続情報の例）
図６は、論理接続情報を含む設計仕様書の例である。図６において、「ＣＮ１０３」は部品の識別情報である。また、「Ｐｉｎ  Ｎｏ」はコネクターの端子の番号、「論理信号名」はコネクターの端子に入力され、あるいはその端子から出力される信号の識別情報、「Ｉ／Ｏ」は信号の方向を表す情報である。例えば、論理接続情報ｄにおいて、「Ａ５」は端子の識別情報、「ＳＢＵ＿ＣＬＫ」は信号の識別情報、「Ｏ」は信号の方向を表す情報である。
【００４８】
（カバレッジの測定）
図７は、設計仕様書から取得された論理接続情報のカバレッジを説明する図である。図７において、左下がりの斜線のハッチングを施された端子が、設計仕様書に基づいて論理接続が確立された端子であり、右下がりの斜線のハッチングを施された端子が、設計仕様書に論理接続情報が含まれていない端子である。
【００４９】
論理接続が確立した接続の割合は、次式（１）の論理接続情報カバレッジで表される。
【００５０】
【数１】
0005014215.tif 000002
（設計仕様書に含まれている論理接続情報を検証する処理）
図８は、設計仕様書に含まれている論理接続情報を検証する処理の例を示すフロー図である。図８では、設計仕様書検証部３００によって、コネクター仕様表と機能ブロック図とに含まれている論理接続情報の検証が行われる。
【００５１】
図８のステップＳ１０１では、設計仕様書検証部３００に対し、コネクター仕様表による論理接続情報が入力される。コネクター仕様表は、例えば、図６に示す構成を有する。ステップＳ１０１に続いてステップＳ１０２に進み、設計仕様書検証部３００が、ステップＳ１０１で入力されたコネクター仕様表において、端子の情報、及び、信号の情報の重複の有無を確認する。
【００５２】
ステップＳ１０２に続いてステップＳ１０３に進み、設計仕様書検証部３００が、機能ブロック図のファイルを読み込みモードで開く。機能ブロック図は、例えば、図５（Ｂ）に示す構成を有する。
【００５３】
ステップＳ１０３に続いてステップＳ１０４からステップＳ１０９の処理に進む。ステップＳ１０４からステップＳ１０９の処理は、ステップＳ１０３において読み込みモードで開かれたファイルに含まれている論理接続情報の検証が終了するまで繰り返される。
【００５４】
ステップＳ１０４に続くステップＳ１０５では、機能ブロック図のファイルにおける１行分の論理接続情報が読み込まれる。１行分の論理接続情報は、一の端子に対応する論理接続情報である。
【００５５】
ステップＳ１０５に続いてステップＳ１０６に進み、ステップＳ１０５で取得された論理接続情報において、送信元の端子の識別情報と送信先の端子の識別情報とが取得されている場合には、ステップＳ１０８に進み、送信元の端子の識別情報又は送信先の端子の識別情報の何れか一方に代えて、信号の識別情報が取得された場合には、ステップＳ１０７に進む。
【００５６】
ステップＳ１０６に続くステップＳ１０７では、取得された信号の識別情報と同一の信号の識別情報を有する論理接続情報の有無を、コネクター仕様表及び機能ブロック図において確認する。これにより、異なる論理接続情報の間の信号の方向性の一致、又は、設計仕様書における信号の識別情報の重複を検証することができる。ステップＳ１０７の処理の後、ステップＳ１０４に戻って処理を繰り返す。
【００５７】
一方、ステップＳ１０６に続くステップＳ１０８では、取得された送信先の端子の識別情報により設計仕様書内の論理接続の検証が行われる。ステップＳ１０８に続いてステップＳ１０９に進み、取得された送信先の端子の識別情報により設計仕様書内の論理接続の検証が行われる。ステップＳ１０８及びステップＳ１０９の処理により、設計仕様書における信号の識別情報の重複と、信号の方向性の確認ができる。ステップＳ１０９の後、ステップＳ１０４に戻って処理が繰り返される。
【００５８】
ステップＳ１０４からステップＳ１０９に続くステップＳ１１０では、ステップＳ１０３において読み込みモードで開かれたファイルが閉じられる。
【００５９】
ステップＳ１１０に続いてステップＳ１１１に進み、ステップＳ１０７において、信号の識別情報が重複していると判断された論理接続のうち、コネクターの端子に接続されている論理接続は重複ではないと判断される。
【００６０】
ステップＳ１１１に続いてステップＳ１１２に進み、ステップＳ１０１において読み込まれたコネクター仕様表において一の端子に対応する論理接続情報毎にステップＳ１１３の処理が繰り返される。ステップＳ１１３では、ステップＳ１０７からステップＳ１０９の検証に基づいて、信号の識別情報毎に、誤りが検出された端子の識別情報が出力される。
【００６１】
ステップＳ１１２及びステップＳ１１３に続いてステップＳ１１４に進み、誤りが検出された端子がある場合には、ステップＳ１１３で出力された端子の識別情報が、ファイルに出力される。ステップＳ１１４に続いてステップＳ１１５に進み、設計仕様書の検証が終了する。
【００６２】
（コネクター仕様表及び機能ブロック図に含まれる論理接続の検証）
図９は、図８のステップＳ１０８及びステップＳ１０９で行われる設計仕様書内の論理接続の検証の処理を示すフロー図である。図９では、設計仕様書検証部３００により、コネクター仕様表及び機能ブロック図に含まれる論理接続情報が検証される。図９の処理は、一の論理接続情報毎に実行される。
【００６３】
図９のステップＳ２０１では、機能ブロック図から取得された論理接続情報に含まれている信号が、論理信号であるか否かの判断がなされる。論理信号の場合はステップＳ２０２に進み、論理信号で無い場合には処理を終了する。
【００６４】
ステップＳ２０１に続くステップＳ２０２では、検証する論理接続情報に含まれている信号と同一の信号を含む論理接続情報が、コネクター仕様表に含まれているか否かの判断がなされる。コネクター仕様表に含まれている場合には、ステップＳ２０３に進み、コネクター仕様表に含まれていない場合には、処理を終了する。
【００６５】
ステップＳ２０２に続くステップＳ２０３では、検証する論理接続情報に含まれている信号の属性が、電源、接地、接続されていない、の何れかである場合には、処理を終了する。ステップＳ２０３に続くステップＳ２０４では、検証する論理接続情報が、コネクターの端子への接続の情報であるか否かの判断がなされる。コネクターの端子への接続の情報である場合には、ステップＳ２０５に進み、コネクターの端子への接続の情報でない場合には、ステップＳ２１３に進む。
【００６６】
ステップＳ２０４に続くステップＳ２０５では、検証する論理接続情報における信号が、一方向信号か双方向信号かの判断がなされる。一方向信号の場合には、ステップＳ２０６に進み、双方向信号の場合には、ステップＳ２１０に進む。
【００６７】
ステップＳ２０５に続くステップＳ２０６では、検証する論理接続情報における信号が出力信号であり、コネクター仕様表における同一の識別情報の信号が入力信号ではない場合には、設計仕様書に誤りがあると判断する。誤りがある場合にはステップＳ２０７に進み、誤りが無い場合にはステップＳ２０８に進む。ステップＳ２０６に続くステップＳ２０７では、検証する論理接続情報に対し、信号の方向の誤りを表す情報が対応づけられる。
【００６８】
ステップＳ２０６に続くステップＳ２０８では、検証する論理接続情報における信号が入力信号であり、コネクター仕様表における同一の識別情報の信号が出力信号ではない場合には、設計仕様書に誤りがあると判断する。誤りがある場合にはステップＳ２０９に進み、誤りが無い場合には処理を終了する。ステップ２０８に続くステップＳ２０９では、検証する論理接続情報に対し、信号の方向の誤りを表す情報が対応づけられる。ステップＳ２０９の後、処理が終了される。
【００６９】
一方、ステップＳ２０４に続くステップＳ２１０では、検証する論理接続情報において、信号の識別情報の重複に対する誤りを判定しないことが設定される。ステップＳ２１０に続いてステップＳ２１１に進み、検証する論理接続情報に含まれる信号と同一の識別情報を有するコネクター仕様表の信号が、双方向信号では無い場合にステップＳ２１２に進み、双方向信号の場合には処理を終了する。ステップＳ２１１に続くステップＳ２１２では、検証する論理接続情報に対し、信号の方向の誤りを表す情報が対応づけられる。
【００７０】
ステップＳ２０４に続くステップＳ２１３では、検証する論理接続情報に対し、信号の識別情報が重複していることを表す情報が対応づけられる。
【００７１】
また、ステップＳ２０２に続くステップＳ２１４では、検証する論理接続情報において、端子がコネクターの端子へ接続されることを表す情報が含まれる場合には、ステップＳ２１５に進み、含まれない場合には、処理を終了する。ステップＳ２１４に続くステップＳ２１５では、検証する論理接続情報に対し、接続先の端子が無いことを表す情報が対応づけられる。
【００７２】
（設計仕様書の検証結果の例）
図１０は、設計仕様書検証部３００により出力される、設計仕様書の検証結果の例を示す図である。図１０（Ａ）は、設計仕様書における検証結果のサマリーである。図１０（Ａ）では、検証によって検出された誤りの数が、誤りの種類毎に示されている。図１０（Ａ）において、論理接続情報カバレッジの情報ｅは、設計仕様書の検証において、論理接続が確立された端子の割合を表す。
【００７３】
図１０（Ｂ）は、検証によって検出された誤りの詳細を示す図である。図１０（Ｂ）では、端子毎に、「判定」により誤りの有無が対応づけられ、さらに、誤りがある端子には「メッセージ」と「不一致時パターン」により、その誤りの内容が対応づけられている。「不一致時パターン」には、誤りが検出された設計仕様書及び回路図の情報が含まれている。
【００７４】
（回路図における論理接続の検証）
図１１は、設計仕様書に基づいて作成された回路図における論理接続情報を、設計仕様書に含まれている論理接続情報と比較することにより検証する処理の例を示すフロー図である。図１１の処理は、設計検証部６００によって行われる。図１１のステップＳ２１では、ライブラリ情報が読み込まれる。ライブラリ情報は、例えば、論理接続毎に対応する期待値である真理値の情報を有する。ステップＳ２１に続いてステップＳ２２に進み、設計仕様書の機能ブロック図に含まれている論理接続情報が読み込まれる。ステップＳ２２に続いてステップＳ２３に進み、設計仕様書のコネクター仕様表に含まれている論理接続情報が読み込まれる。
【００７５】
ステップＳ２３に続いてステップＳ２４に進み、設計仕様書に基づいて作成された回路図に含まれている論理接続情報が読み込まれる。回路図は、例えば、ネットリストとして読み込まれる。ステップＳ２４に続いてステップＳ２５に進み、検証の条件が設定されている．ｉｎｉファイルが読み込まれる。
【００７６】
ステップＳ２５に続いてステップＳ２６に進み、ステップＳ２４で読み込まれた回路図における論理接続情報と、ステップＳ２２及びステップＳ２３で読み込まれた設計仕様書における論理接続情報との比較により、回路図における論理接続情報の検証が行われる。
【００７７】
（設計仕様書の論理接続情報によるネットリストの検証）
図１２は、設計仕様書の論理接続情報によるネットリストの検証の処理を示すフロー図である。図１２のステップＳ３０１では、設計仕様書の機能ブロック図とコネクター仕様書との間の、論理接続情報の矛盾の有無が検証される。この処理は、図８の処理と同様である。ステップＳ３０１に続いてステップＳ３０２に進み、ステップＳ３０１の処理において、設計仕様書の論理接続情報に矛盾が含まれていた場合には、処理を終了する。
【００７８】
ステップＳ３０２に続いてステップＳ３０３に進み、ライブラリファイルの読み込みが行われる。ステップＳ３０３に続いてステップＳ３０４に進み、コネクター仕様表に基づいて、端子に外部インタフェース信号を接続する処理が行われる。ステップＳ３０４に続いてステップＳ３０５に進み、ネットリストが読み込まれる。ステップＳ３０５に続いてステップＳ３０６に進み、ｉｎｉファイルが読み込まれる。
【００７９】
なお、ステップＳ３０３からステップＳ３０６では、読み込まれたファイル毎に、接続先との対応、信号の方向等の情報について、矛盾の有無が検証され、さらに、論理接続情報の検証を行う端子が設定される。これにより、論理接続情報の検証を行う端子のリストが生成される。
【００８０】
ステップＳ３０６に続いてステップＳ３０７に進み、ステップＳ３０３からステップＳ３０６の処理において、接続先との対応、信号の方向等の情報に、矛盾があった場合には、処理を終了する。ステップＳ３０７に続くステップＳ３０８では、ネットリストと設計仕様書との間において、接続先との対応、信号の方向等の情報について、矛盾の有無が検証される。
【００８１】
ステップＳ３０８に続いてステップＳ３０９に進み、論理接続情報の検証を行う端子について、接続される信号の値が初期化される。ここでは対象となる端子に対して値"ｘ"が入力される。
【００８２】
ステップＳ３０９に続いてステップＳ３１０からステップＳ３１４の処理に進む。ここでは、ステップＳ３０３からステップＳ３０６で作成された端子のリストに基づいて、論理接続情報の検証を行う端子毎に、処理が繰り返される。ステップＳ３１０では、リストに含まれている端子の情報のうち、一の端子の情報が取得される。
【００８３】
ステップＳ３１０に続くステップＳ３１１では、ステップＳ３１０でリストから取得された端子の情報が、すでに検証済みの端子の情報である場合か否かが判断される。既に検証済みの端子の情報である場合には、ステップＳ３１０に戻って処理を繰り返す。
【００８４】
ステップＳ３１１に続くステップＳ３１２では、ステップＳ３１０で取得された端子の情報に基づいて、その情報が、ロジック回路を含む双方向接続の情報か否かの判断がなされる。ロジック回路を含む双方向接続の情報の場合には、ステップＳ３１３に進み、そうでは無い場合には、ステップＳ３１４に進む。
【００８５】
ステップＳ３１３では、ステップＳ３１０で取得された端子の情報に基づいて、その端子の論理接続情報を、期待値を用いることにより検証する。ここでは、ロジック回路を含む双方向接続の検証が行われる。ステップＳ３１４では、ステップＳ３１０で取得された端子の情報に基づいて、その端子の論理接続情報を、期待値を用いることにより検証する。ここでは、ロジック回路を含む双方向接続ではない場合の、論理接続の検証が行われる。
【００８６】
（回路図を読み込む処理）
図１３は、図１２のステップＳ３０５におけるネットリストを読み込む処理の詳細を示すフロー図である。
【００８７】
図１３のステップＳ４０１からステップＳ４０８では、読み込まれたネットリストに含まれている全ての入力端子及び出力端子について、端子毎に対応する信号の情報が対応づけられる。ステップＳ４０１では、ネットリストに含まれている一端子に対応する情報が取得される。情報が取得される場合には、ステップＳ４０２に進み、全ての端子について処理が終了している場合には、ステップＳ４０９に進む。
【００８８】
ステップＳ４０１に続くステップＳ４０２では、検証する端子の数を計数するカウンタがカウントアップされる。このカウンタは、全端子の処理に先んじて初期化される。ステップＳ４０２に続いてステップＳ４０３に進み、ステップＳ４０１で取得された端子の情報に基づいて、その端子がコネクターに含まれる端子か否かの判断がなされる。その端子がコネクターに含まれる端子の場合には、ステップＳ４０４に進み、コネクターに含まれる端子では無い場合には、ステップＳ４０５に進む。
【００８９】
ステップＳ４０３に続くステップＳ４０４では、外部インタフェース信号との対応づけの処理が行われる。一方、ステップＳ４０３に続くステップＳ４０５では、ステップＳ４０１で取得された端子の情報に含まれている端子の識別情報と、同一の識別情報の端子の論理接続情報が、機能ブロック図に含まれているか否かの確認がなされる。
【００９０】
ステップＳ４０５に続いてステップＳ４０６に進み、ステップＳ４０５で確認された結果に基づいて、同一の識別情報の端子の論理接続情報が、機能ブロック図に含まれている場合にはステップＳ４０７に進み、機能ブロック図に含まれていない場合にはステップＳ４０８に進む。
【００９１】
ステップＳ４０６に続くステップＳ４０７では、ステップＳ４０１で取得されたネットリストに含まれている端子の情報が、機能ブロック図に含まれている同一の識別情報を有する端子の論理接続情報と対応づけられる。
【００９２】
一方、ステップＳ４０６に続くステップＳ４０８では、ステップＳ４０１で取得されたネットリストに含まれている端子の情報に対応する論理接続情報が、機能ブロック図に含まれていないことを表すエラーの情報が出力される。
【００９３】
ステップＳ４０１からステップＳ４０８の処理の後に続いて、ステップＳ４０９からステップＳ４１１の処理が、ネットリストに含まれている全ての入力端子に対して行われる。ステップＳ４０９では、ネットリストに含まれている一の入力端子の情報が取得される。
【００９４】
ステップＳ４０９に続いてステップＳ４１０に進み、ステップＳ４０９で取得された端子の情報が、コネクターに含まれる端子の情報か否かの判断がなされる。コネクターに含まれる端子の情報の場合には、ステップＳ４１１に進む。ステップＳ４１１では、ステップＳ４０９で取得された端子の情報に対して、外部インタフェース信号との対応づけの処理が行われる。
【００９５】
（外部インタフェース信号との対応づけの処理）
図１４は、読み込まれたネットリストに含まれている端子の情報を、外部インタフェース信号の情報と対応づける処理の例を示すフロー図である。図１４の処理は、図１３のステップＳ４０４及びステップＳ４１１で行われる処理の詳細である。
【００９６】
図１４のステップＳ５０１では、接続しようとするネットリストの端子（以下、「接続端子」という。）の情報に基づいて、同一の識別情報を有する端子の情報を、コネクター仕様表から検索する。ステップＳ５０１に続いてステップＳ５０２に進み、ステップＳ５０１において、同一の識別情報を有する端子の情報がコネクター仕様表に無かった場合には、ステップＳ５０３に進み、同一の識別情報を有する端子の情報がコネクター仕様表にあった場合には、ステップＳ５０４に進む。
【００９７】
ステップＳ５０２に続くステップＳ５０３では、接続端子の情報に対応する論理接続情報が、コネクター仕様表に含まれていないことを表すエラーの情報が出力される。
【００９８】
ステップＳ５０３に続くステップＳ５０４では、接続端子の情報に基づいて、その端子が入力端子であり、かつ、電源又は接地である場合には、ステップＳ５０５に進み、そうではない場合には、ステップＳ５０６に進む。ステップＳ５０４に続くステップＳ５０５では、接続端子の数を計数するカウンタをカウントアップする。
【００９９】
ステップＳ５０４及びステップＳ５０５に続いてステップＳ５０６に進み、接続端子の情報における信号の方向の情報と、コネクター仕様表に含まれている同一の識別情報を有する端子の論理接続情報における信号の方向の情報とが比較される。信号の方向が一致していない場合には、エラーと判断される。
【０１００】
ステップＳ５０７に続いてステップＳ５０８に進み、ステップＳ５０７においてエラーと判断された場合には、ステップＳ５０９に進む。ステップＳ５０９では、信号の方向が一致しないことを表すエラーの情報が出力される。
【０１０１】
ステップＳ５０８及びステップＳ５０９に続いてステップＳ５１０に進み、接続端子の識別情報と、同一の識別情報を有する端子の論理接続情報が、機能ブロック図において検索される。同一の識別情報を有する端子の論理接続情報が、機能ブロック図の論理接続情報に含まれていない場合には、ステップＳ５１１に進む。ステップＳ５１１では、機能ブロック図の情報に、接続端子の識別情報が追加される。
【０１０２】
ステップＳ５１０に続くステップＳ５１２からステップＳ５１６の処理は、機能ブロック図において、接続端子と同一の識別情報を有する端子の論理接続情報に対して行われる。機能ブロック図において、接続端子と同一の識別情報を有する端子の論理接続情報が複数ある場合には、ステップＳ５１２からステップＳ５１６の処理は、それらの論理接続情報毎に繰り返される。
【０１０３】
ステップＳ５１２に続いてステップＳ５１３に進み、接続端子に対応する信号の方向の情報と、機能ブロック図の論理接続情報における信号の方向の情報とが比較される。信号の方向が一致している場合には、ステップＳ５１４に進み、信号の方向が一致していない場合には、処理を終了する。ステップＳ５１３に続くステップＳ５１４では、接続端子を機能ブロック図における端子と接続する論理接続情報を登録するためのレコードを作成する。
【０１０４】
ステップＳ５１４に続いてステップＳ５１５に進み、接続端子のハンドラを、ステップＳ５１４で作成されたレコードに追加して登録する。ステップＳ５１５に続いてステップＳ５１６に進み、ステップＳ５１５で登録された接続端子に対する論理接続情報の検証を行うか否かを表す情報と対応づける。
【０１０５】
（ネットリストの検証により出力されるエラー）
図１５は、図１２から図１４の処理によりネットリストが検証される際に、検出される誤りの種類を説明する図である。図１５（Ａ）は、コネクター仕様表に基づくネットリストの誤りの種類を説明する図である。図１５（Ａ）の「エラー番号」は、コネクター仕様表における信号の方向と、ネットリストにおける信号の方向とが異なる場合に、出力されるエラーを表す識別情報である。また、図１５（Ｂ）の「エラー番号」は、設計仕様書とネットリストとで、端子の識別情報又は信号の情報の有無が異なる場合に、出力されるエラーを表す識別情報である。
【０１０６】
以上、本発明の好適な実施の形態により本発明を説明した。ここでは特定の具体例を示して本発明を説明したが、特許請求の範囲に定義された本発明の広範な趣旨及び範囲から逸脱することなく、これら具体例に様々な修正及び変更を加えることができることは明らかである。すなわち、具体例の詳細及び添付の図面により本発明が限定されるものと解釈してはならない。
【図面の簡単な説明】
【０１０７】
【図１】本実施形態の検証装置の機能構成を示す図である。
【図２】設計仕様書の作成から回路図の検証までのフロー図である。
【図３】設計仕様書の作成に用いられる部品のシンボルを説明する図である。
【図４】設計仕様書の作成に用いられる接続のシンボルを説明する図である。
【図５】シンボル作成部によって作成される設計仕様書の例を示す図である。
【図６】論理接続情報の例を示す図である。
【図７】論理接続情報のカバレッジを説明する図である。
【図８】設計仕様書に含まれている論理接続情報を検証する処理を示すフロー図である。
【図９】コネクター仕様表及び機能ブロック図に含まれる論理接続を検証する処理を示すフロー図である。
【図１０】設計仕様書の検証結果の例を示す図である。
【図１１】回路図における論理接続を検証する処理のフロー図である。
【図１２】回路図における論理接続を検証する処理の詳細のフロー図である。
【図１３】ネットリストを読み込む処理のフロー図である。
【図１４】外部インタフェース信号との対応づけを行う処理のフロー図である。
【図１５】ネットリストの検証により出力されるエラーの種類を示す図である。
【符号の説明】
【０１０８】
１          検証装置
１００      仕様書作成部
１１０      シンボル作成部
１１１      部品選択部
１１３      接続選択部
１１５      出力部
１３０      論理接続表入力部
２００      論理接続情報取得部
２１０      取得部
２３０      出力部
３００      設計仕様書検証部
４００      カバレッジ測定部
４１０      測定部
４３０      確立情報取得部
５００      回路図入力部
６００      設計検証部
６１０      期待値生成部
６３０      比較部
７００      画面生成部
【図１】
0005014215.tif 000003
【図２】
0005014215.tif 000004
【図３】
0005014215.tif 000005
【図４】
0005014215.tif 000006
【図５】
0005014215.tif 000007
【図６】
0005014215.tif 000008
【図７】
0005014215.tif 000009
【図８】
0005014215.tif 000010
【図９】
0005014215.tif 000011
【図１０】
0005014215.tif 000012
【図１１】
0005014215.tif 000013
【図１２】
0005014215.tif 000014
【図１３】
0005014215.tif 000015
【図１４】
0005014215.tif 000016
【図１５】
0005014215.tif 000017