(57)【特許請求の範囲】
【請求項１】
プリント基板に配置される部品の端子の識別情報、該端子の接続先となる端子の識別情報、及び、該端子の信号の情報の少なくともいずれかを含む論理接続情報を有する設計仕様書情報に基づいて作成され、プリント基板に配置される部品の端子の識別情報、該端子の接続先となる端子の識別情報、及び、該端子の信号の情報の少なくともいずれかを含む論理接続情報を含む回路図情報を入力する回路図入力手段と、
前記設計仕様書情報に含まれる前記論理接続情報、及び前記回路図情報に含まれる前記論理接続情報を取得する情報取得手段と、
前記情報取得手段によって取得された前記設計仕様書情報に含まれる論理接続情報と、前記回路図情報に含まれる論理接続情報とが一致するか否かを検証する設計検証手段と、
前記回路図情報上に当該回路図情報に含まれる前記論理接続情報を示す画面であり、該画面に示される前記論理接続情報のうち前記設計検証手段による一致の検証ができなかった前記論理接続情報を、一致の検証ができた前記論理接続情報とは異なる表示態様で示した画面を生成するとともに、一致の検証ができなかった前記論理接続情報であっても一定の条件下において更に異なる表示態様で示した画面を生成する画面生成手段と、
を備えることを特徴とする検証装置。
【請求項２】
一致するか否かの検証ができなかった前記回路図情報における前記論理接続情報に対する利用者による検証を受け付ける手動検証手段と、
前記手動検証手段による検証結果を前記回路図情報における前記論理接続情報と対応付けて記憶する検証記憶手段と、
を更に備え、
前記画面生成手段は、前記検証記憶手段に記憶された前記検証結果に基づき、検証済みの前記論理接続情報を、未検証の前記論理接続情報とは異なる表示態様で前記回路図情報上に示した画面を生成する
ことを特徴とする請求項１に記載の検証装置。
【請求項３】
前記手動検証手段による前記検証結果に、エラー許容、及び不一致のいずれかの判定情報を付与する評価手段と、
前記評価手段による前記判定情報を前記回路図情報における前記論理接続情報と対応付けて記憶する評価記憶手段と、
を更に備え、
前記画面生成手段は、前記検証記憶手段に記憶された前記判定情報に基づき、前記エラー許容の判定情報が記憶された前記論理接続情報を、前記不一致の判定情報が記憶された前記論理接続情報とは異なる表示態様で前記回路図情報上に示した画面を生成する
ことを特徴とする請求項２に記載の検証装置。
【請求項４】
プリント基板に配置される部品の端子間の論理接続情報を有する設計仕様書情報を作成する仕様書作成手段を更に備え、
前記仕様書作成手段は、
前記部品のシンボルを選択させる部品選択手段と、
前記部品選択手段によって選択された複数の部品のシンボルにおける端子間の接続を表すシンボルを選択させる接続選択手段と、
前記端子間の接続を表すシンボルの始点の端子と終点の端子との接続関係を論理接続情報として出力する出力手段と
を備えたことを特徴とする請求項１に記載の検証装置。
【請求項５】
前記仕様書作成手段は、前記端子毎に、該端子に入力される信号あるいは当該端子から出力される信号の情報が対応づけられる論理接続情報の入力を受け付ける接続情報入力手段
を備えたことを特徴とする請求項１に記載の検証装置。
【請求項６】
検証装置の回路図入力手段が、プリント基板に配置される部品の端子の識別情報、該端子の接続先となる端子の識別情報、及び、該端子の信号の情報の少なくともいずれかを含む論理接続情報を有する設計仕様書情報に基づいて作成され、プリント基板に配置される部品の端子の識別情報、該端子の接続先となる端子の識別情報、及び、該端子の信号の情報の少なくともいずれかを含む論理接続情報を含む回路図情報を入力する回路図入力工程と、
前記検証装置の情報取得手段が、前記設計仕様書情報に含まれる前記論理接続情報、及び前記回路図情報に含まれる前記論理接続情報を取得する情報取得工程と、
前記検証装置の設計検証手段が、前記情報取得工程によって取得された前記設計仕様書情報に含まれる論理接続情報と、前記回路図情報に含まれる論理接続情報とが一致するか否かを検証する設計検証工程と、
前記検証装置の画面生成手段が、前記回路図情報上に当該回路図情報に含まれる前記論理接続情報を示す画面であり、該画面に示される前記論理接続情報のうち前記設計検証工程による一致の検証ができなかった前記論理接続情報を、一致の検証ができた前記論理接続情報とは異なる表示態様で示した画面を生成するとともに、一致の検証ができなかった前記論理接続情報であっても一定の条件下において更に異なる表示態様で示した画面を生成する画面生成工程と、
を備えたことを特徴とする検証方法。
【請求項７】
コンピュータに、
プリント基板に配置される部品の端子の識別情報、該端子の接続先となる端子の識別情報、及び、該端子の信号の情報の少なくともいずれかを含む論理接続情報を有する設計仕様書情報に基づいて作成され、プリント基板に配置される部品の端子の識別情報、該端子の接続先となる端子の識別情報、及び、該端子の信号の情報の少なくともいずれかを含む論理接続情報を含む回路図情報を入力する回路図入力工程と、
前記設計仕様書情報に含まれる前記論理接続情報、及び前記回路図情報に含まれる前記論理接続情報を取得する情報取得工程と、
前記情報取得工程によって取得された前記設計仕様書情報に含まれる論理接続情報と、前記回路図情報に含まれる論理接続情報とが一致するか否かを検証する設計検証工程と、
前記回路図情報上に当該回路図情報に含まれる前記論理接続情報を示す画面であり、該画面に示される前記論理接続情報のうち前記設計検証工程による一致の検証ができなかった前記論理接続情報を、一致の検証ができた前記論理接続情報とは異なる表示態様で示した画面を生成するとともに、一致の検証ができなかった前記論理接続情報であっても一定の条件下において更に異なる表示態様で示した画面を生成する画面生成工程と、
を実行させるための検証プログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、検証装置、検証方法、検証プログラムに関する。
【背景技術】
【０００２】
従来から、高品質なプリント基板を効率良く設計するための技術がある。例えば、特許文献１には、プリント基板の小型化を図る際に、部品配置の不要な検討を行うことなく、部品の配置を検討することのできる回路基板設計支援装置等の発明が開示されている。
【発明の概要】
【発明が解決しようとする課題】
【０００３】
上述のような回路基盤の設計支援装置においては、利用者がＣＡＤにより作成した回路図情報と、設計仕様書とが論理的に一致するかを検証する機能が設けられていることがあるが、自動による検証は、検証のために必要な情報が不足している場合においては、実施することができずに、利用者が手動でレビューをする必要があった。しかしながら、自動による検証を前提とした場合、こうした再度のレビューが必要な箇所を見落としがちになり、論理接続情報の検証のし忘れや、利用者が即座にレビューの必要な箇所を特定するまでに時間や手間がかかってしまうという問題があった。
【０００４】
本発明は、上記に鑑みてなされたものであって、回路図の検証を行う検証装置にあって、利用者が回路図の検証すべき部位を容易に把握することができる検証装置を提供することにある。
【課題を解決するための手段】
【０００５】
上述した課題を解決し、目的を達成するために、本発明は、プリント基板に配置される部品の端子の識別情報、該端子の接続先となる端子の識別情報、及び、該端子の信号の情報の少なくともいずれかを含む論理接続情報を有する設計仕様書情報に基づいて作成され、プリント基板に配置される部品の端子の識別情報、該端子の接続先となる端子の識別情報、及び、該端子の信号の情報の少なくともいずれかを含む論理接続情報を含む回路図情報を入力する回路図入力手段と、前記設計仕様書情報に含まれる前記論理接続情報、及び前記回路図情報に含まれる前記論理接続情報を取得する情報取得手段と、前記情報取得手段によって取得された前記設計仕様書情報に含まれる論理接続情報と、前記回路図情報に含まれる論理接続情報とが一致するか否かを検証する設計検証手段と、前記回路図情報上に当該回路図情報に含まれる前記論理接続情報を示す画面であり、該画面に示される前記論理接続情報のうち前記設計検証手段による一致の検証ができなかった前記論理接続情報を、一致の検証ができた前記論理接続情報とは異なる表示態様で示した画面を生成するとともに、一致の検証ができなかった前記論理接続情報であっても一定の条件下において更に異なる表示態様で示した画面を生成する画面生成手段と、を備えることを特徴とする。
【図面の簡単な説明】
【０００６】
【図１】図１は、本実施形態の検証装置の機能構成を示す図である。
【図２】図２は、設計仕様書の作成から回路図の検証までのフロー図である。
【図３】図３は、設計仕様書の作成に用いられる部品のシンボルを説明する図である。
【図４】図４は、設計仕様書の作成に用いられる接続のシンボルを説明する図である。
【図５】図５は、シンボル作成部によって作成される設計仕様書の例を示す図である。
【図６】図６は、論理接続情報の例を示す図である。
【図７】図７は、設計仕様書に含まれている論理接続情報を検証する処理を示すフロー図である。
【図８】図８は、コネクター仕様表及び機能ブロック図に含まれる論理接続を検証する処理を示すフロー図である。
【図９】図９は、設計仕様書の検証結果の例を示す図である。
【図１０】図１０は、回路図における論理接続を検証する処理のフロー図である。
【図１１】図１１は、回路図における論理接続を検証する処理の詳細のフロー図である。
【図１２】図１２は、ネットリストを読み込む処理のフロー図である。
【図１３】図１３は、外部インタフェース信号との対応づけを行う処理のフロー図である。
【図１４】図１４は、ネットリストの検証により出力されるエラーの種類を示す図である。
【図１５】図１５は、画面生成部により生成される回路図における判定結果の表示態様の一例を示す図である。
【図１６】図１６は、検証装置のハードウェア構成の一例を示す図である。
【発明を実施するための形態】
【０００７】
以下に添付図面を参照して、検証装置の実施の形態を詳細に説明する。
【０００８】
（本実施形態の検証装置の機能構成）
図１は本実施形態の検証装置の機能構成を示す図である。図１の検証装置１では、プリント基板の設計仕様書に基づいて作成された回路図の論理接続を最終的に検証するが、設計仕様書を作成する段階において、設計仕様書の検証も単独に行うことができる。設計仕様書が有する設計仕様書情報には、例えば、プリント基板に配置される部品の情報、部品に含まれる端子の情報、端子間の論理接続情報等が含まれる。設計仕様書情報とは、設計仕様書に含まれる情報のうち、コンピュータによって処理されることのできる電子的な情報をいう。設計仕様書には、プリント基板に配置される部品の端子間の接続の情報を有する機能ブロック図、プリント基板の外部インタフェースとなるコネクターへの接続の情報を有するコネクター仕様表等がある。
【０００９】
回路図は、設計仕様書に基づいて、操作者がＣＡＤ等により作成するものであり、部品の端子間の論理接続情報が含まれる。論理接続情報は、例えば、端子の識別情報、その端子の接続先となる端子の識別情報、及び、信号の情報を含む。信号の情報は、端子に入力され、あるいは端子から出力される信号の情報であり、例えば、信号の識別情報、及び、その信号の方向の情報を含む。
【００１０】
検証装置１は、例えば、仕様書作成部１００、論理接続情報取得部２００、設計仕様書検証部３００、回路図入力部５００、設計検証部６００、画面生成部７００、及び、手動検証部８００を有する。
【００１１】
仕様書作成部１００では、操作者によってプリント基板の設計仕様書が作成される。仕様書作成部１００は、シンボル作成部１１０及び論理接続表入力部１３０を有する。シンボル作成部１１０では、設計仕様書を作成する画面において、操作者によって部品等のシンボルが選択され配置されることにより、設計仕様書が作成される。シンボル作成部１１０によって作成される設計仕様書は、端子を含む部品のシンボル、端子間の接続を表すシンボル等に、端子間の論理接続情報が対応づけられている。
【００１２】
シンボル作成部１１０は、部品選択部１１１、接続選択部１１３、及び、出力部１１５を有する。部品選択部１１１では、設計仕様書が作成される画面において、操作者によって、部品を表すシンボルが選択される。部品を表すシンボルには、部品が有する端子の情報が含まれる。
【００１３】
接続選択部１１３では、設計仕様書が作成される画面において、操作者によって端子間の接続を表すシンボルが選択される。選択された接続を表すシンボルが、部品の端子を表すシンボルに対応づけられることにより、その端子の論理接続の仕様が決定される。論理接続の仕様とは、例えば、その端子に接続される端子の情報と、その端子に入力され、あるいはその端子から出力される信号の情報である。
【００１４】
出力部１１５は、端子間の接続を表すシンボルによって決定された論理接続の仕様の情報を、論理接続情報として出力する。出力部１１５は、また、シンボルによって表現される設計仕様書を出力する。出力部１１５によって出力される設計仕様書は、例えば、機能ブロック図である。
【００１５】
論理接続表入力部１３０は、検証装置１に対する論理接続表の入力を受け付ける。論理接続表は、論理接続情報を含むテーブルであり、例えば、端子毎の信号の情報を有する。論理接続表入力部１３０は、さらに、端子の識別情報、その端子の接続先となる端子の識別情報を含む論理接続表が入力されてもよい。論理接続表入力部１３０は、また信号の情報を含む論理接続表が入力されてもよい。信号の情報は、例えば、信号の識別情報、信号の方向の情報等を含む。コネクターの端子と端子に入力される信号の情報とが対応づけられたコネクター仕様表は、論理接続表の一例である。
【００１６】
論理接続表入力部１３０は、入力された論理接続表を出力する。この論理接続表は、設計仕様書を構成する文書の一つであり、例えば、プリント基板の外部インタフェースの仕様を含むコネクター仕様表である。
【００１７】
出力部１１５が出力するシンボルによって表現される設計仕様書と、論理接続表入力部１３０が出力する論理接続表による設計仕様書を、関係者がレビューを行う。また、レビューされた設計仕様書により、ＣＡＤ等による回路図の設計を行う。
【００１８】
論理接続情報取得部２００は、仕様書作成部１００によって作成された設計仕様書から、論理接続情報を取得する。論理接続情報取得部２００は、シンボル作成部１１０によって作成された設計仕様書に含まれている論理接続情報を取得する。論理接続情報取得部２００は、また、論理接続表入力部１３０によって入力された論理接続情報を取得する。
【００１９】
設計仕様書検証部３００は、論理接続情報取得部２００によって取得された論理接続情報に基づいて、設計仕様書に含まれる論理接続の検証を行う。設計仕様書検証部３００は、論理接続情報における端子毎に対応するレコードに基づき、そのレコードが信号の方向の情報を含む場合には、レコード毎に、入力もしくは出力される信号の方向が、端子間で矛盾しているか否かの検証を行う。端子間で矛盾している場合には、その端子の論理接続の仕様が誤っていると判断される。
【００２０】
設計仕様書検証部３００は、論理接続情報における端子毎に対応するレコードに基づき、そのレコードが接続先となる端子の識別情報を含む場合に、接続先となる端子のレコードの有無を検証する。接続先となる端子のレコードが無い場合には、その端子の論理接続の仕様が誤っていると判断される。
【００２１】
設計仕様書検証部３００は、論理接続情報における端子毎に対応するレコードに基づき、そのレコードがその端子の信号の情報を含む場合に、同一の信号の情報を含む他の端子のレコードの有無を検証する。同一の信号の情報を含む他の端子のレコードが無い場合には、その端子の論理接続の仕様が誤っていると判断される。
【００２２】
設計仕様書検証部３００による検証結果は、例えば、ファイルに出力される。検証結果は、設計仕様書において、論理接続が誤っている端子又は信号の識別情報と、誤りの内容とが含まれる。
【００２３】
回路図入力部５００からは、設計仕様書に基づいてＣＡＤ等により作成された回路図の情報が入力される。回路図の情報は、端子毎の論理接続情報が含まれる。回路図入力部５００は、回路図の情報を、設計検証部６００に対して出力する。回路図入力部５００は、回路図の情報を、設計検証部６００に対応するフォーマットに変換してもよい。
【００２４】
設計検証部６００は、論理接続情報取得部２００によって取得された論理接続情報、及び、回路図入力部５００から入力された回路図の情報に基づく論理接続情報を比較することにより、回路図の情報に含まれている論理接続情報を検証する。なお、本実施形態においては、論理接続情報取得部２００と、回路図入力部５００とが、情報取得部に相当する。
【００２５】
設計検証部６００は、期待値生成部６１０、比較部６２０、及び、検証記憶部６３０を有する。期待値生成部６１０は、論理接続情報取得部２００によって取得された論理接続情報に基づいて、端子毎の論理接続における期待値を生成する。期待値とは、例えば、接続先となる端子と信号の情報に基づいて得られる、接続元となる端子における信号の真理値である。
【００２６】
比較部６２０は、論理接続情報取得部２００によって取得された論理接続情報と、回路図の情報に基づく論理接続情報とを比較して、端子毎に一致性を検証する。比較部６２０は、さらに、期待値生成部６１０によって生成された期待値を用いて、回路図の情報に基づく論理接続情報の検証を行う。
【００２７】
検証記憶部６３０は、比較部６２０による検証の履歴を論理接続情報ごとに記憶する。この際、検証の履歴における検証の判定の分類としては、「一致」「不一致」「検証不能」「警告」等が含まれる。「一致」は論理接続情報が一致する場合の判定結果である。不一致は、論理接続情報が一致しなかったり、コネクター端子の向きが不一致であったり、設計仕様書にある端子が、回路図の情報にないなどの場合の判定結果である。
【００２８】
「検証不能」とは、仕様書に情報がない場合や、仕様書には情報があるものの検証ができない場合の判定結果である。「警告」は「不一致」のうち、特に重要度の高いエラーの場合に付与され、例えばコネクター仕様のＮＣ端子が回路図上で結線するような場合の判定結果である。
【００２９】
画面生成部７００は、設計検証部６００によって検証された論理接続情報の検証結果等を表示する画面を生成する。画像形成部７００は、また後述する手動検証部８００による論理接続情報の検証結果を表示する画面を生成する。これらの画面の表示態様については後述する。
【００３０】
手動検証部８００は、設計検証部６００によって自動検証できずに、「検証不能」と判定された回路情報の論理接続情報に対して利用者の手動によるレビューを受け付ける。手動検証部８００は、評価部８１０と、評価記憶部８２０とを備えている。評価部８１０は、回路図における論理接続情報に対して、「エラー許容」又は「不一致」の判定情報を利用者が選択して付与することができる。「エラー許容」とは、「不一致」や「警告」と判定された場合であっても、許容でき、設計上問題がないとみなすことができる場合に付与される判定結果である。利用者はこの際は実際に設計仕様書と回路図とをレビューして判定を行う。評価記憶部８２０は、評価部８１０によって付与された判定情報を論理接続情報ごとに記憶する。
【００３１】
なお、図１では、仕様書作成部１００、論理接続情報取得部２００、設計仕様書検証部３００、回路図入力部５００、設計検証部６００、画面生成部７００、及び手動検証部８００は、検証装置１に設けられているが、これらの各部が、異なる装置に設けられ、ネットワーク等を介して接続されてもよい。
【００３２】
（設計仕様書の作成から回路図の検証までのフロー）
図２は本実施形態における設計仕様書の作成から回路図の検証までのフロー図である。図２に示されるように、仕様書作成部１００において、設計仕様書が作成される（ステップＳ１）。ステップＳ１に続いてステップＳ２に進み、論理接続情報取得部２００が、ステップＳ１で作成された設計仕様書に含まれる設計仕様書情報の中から、論理接続情報を取得する（ステップＳ２）。ステップＳ２に続くステップＳ３では、設計仕様書検証部３００が、ステップＳ２で取得された論理接続情報により、設計仕様書に基づくプリント基板の端子間の論理接続の検証を行う（ステップＳ３）。
【００３３】
ステップＳ２からステップＳ３の処理により、ステップＳ１で作成された設計仕様書における論理接続情報の検証が行われる。この検証の結果、設計仕様書の情報に矛盾等の誤りが検出された場合には、ステップＳ１に戻って処理が繰り返される。
【００３４】
一方、検証された設計仕様書に矛盾が検出されない場合にはステップＳ４に進む。ステップＳ４では、操作者がＣＡＤ等を操作することによりステップＳ１で作成された設計仕様書に基づく回路設計が行われ、回路図が作成される（ステップＳ４）。
【００３５】
ステップＳ３及びＳ４の処理の後、ステップＳ５に進み、設計検証部６００は、ステップＳ３で取得された設計仕様書に含まれる論理接続情報と、ステップＳ４で作成された回路図による論理接続情報とを比較することで、設計された回路図における論理接続の検証を行う（ステップＳ５）。
【００３６】
（設計仕様書の作成に用いられるシンボルの説明）
図３及び図４は、設計仕様書の作成に用いられるシンボルを説明する図である。
【００３７】
図３は、部品とその部品が有する端子を表すシンボルを説明する図である。図３（Ａ）のシンボルは、部品外形と、部品が有する端子を表すシンボルとを含む。図３（Ｂ）は、部品のシンボルに対応づけられる情報の例である。図３（Ｂ）では「列名」の欄に、部品のシンボルに対応づけられる情報の識別子が記載されている。また、「インスタンス名」は部品の識別情報であり、「端子名」は端子の識別情報であり、「端子属性」は端子毎に対応する信号の情報である。
【００３８】
図４は、端子間の接続を表すシンボルを説明する図である。図４の「信号線シェープ」は、端子間の接続を表すシンボルである。「信号線シェープ」の端が端子を表すシンボルに対応づけられることにより、その端子に対して入力され、あるいはその端子から出力される信号の仕様が作成される。
【００３９】
（シンボル作成部によって作成される設計仕様書の例）
図５は、シンボル作成部１１０によって作成される設計仕様書の例を示す図である。図５（Ａ）では、部品のシンボルに含まれる端子のシンボルが、接続を表すシンボルによって接続されている。図５のシンボルａ１は、部品「ＬＳＩ１」の端子「ＡＤＤ［１０：３１］」と、部品「ＭＥＭ１」の端子「ＡＤＤ［２０：０］」及び部品「ＭＥＭ２」の端子「ＡＤＤ［１８：０］」とを接続するバスを表すシンボルである。また、図５のシンボルａ２は、部品「ＬＳＩ１」の端子「ＤＡＴＡ［０：１５］」と、部品「ＭＥＭ１」の端子「Ｄ＿Ｑ［１５：０］」とを双方向信号により接続するバスを表すシンボルである。
【００４０】
図５（Ｂ）は、シンボル作成部１１０によって作成される設計仕様書に含まれる論理接続情報の例を示す図である。図５（Ｂ）では、ＣＳＶフォーマットにより、各論理接続において、信号の送信元となる端子の識別情報と、信号の送信先となる端子の識別情報との組が１行毎に示されている。図５（Ｂ）の論理接続情報ｂ１は、図５（Ａ）のシンボルａ１によって表されるバスに含まれる論理接続の情報である。論理接続情報ｂ１は、部品「ＬＳＩ１」の端子「ＡＤＤ１２」と、部品「ＭＥＭ２」の端子「ＡＤＤ１８」とが接続される際の論理接続情報である。論理接続情報ｂ１では、「ＬＳＩ１．ＡＤＤ１２」が送信元の端子の識別情報であり、「ＭＥＭ２．ＡＤＤ１８」が送信先の端子の識別情報である。
【００４１】
図５（Ｂ）の論理接続情報ｂ２は、図５（Ａ）のシンボルａ２によって表されるバスに含まれる論理接続の情報である。論理接続情報ｂ２は、部品「ＬＳＩ１」の端子「Ｄ０」と、部品「ＭＥＭ１」の端子「ＤＱ１５」とが接続される際の論理接続情報である。論理接続情報ｂ２では、「Ｄ０」は信号の識別情報、「ＭＥＭ１．ＤＱ１５」は端子の識別情報、「ＧＮＤ」はプルアップもしくはプルダウンを示す信号の情報である。
【００４２】
（論理接続情報の例）
図６は、論理接続情報を含む設計仕様書の例である。図６において、「ＣＮ１０３」は部品の識別情報である。また、「Ｐｉｎ  Ｎｏ．」はコネクターの端子の番号、「論理信号名」はコネクターの端子に入力され、あるいはその端子から出力される信号の識別情報、「Ｉ／Ｏ」は信号の方向を表す情報である。例えば、論理接続情報ｄにおいて、「Ａ５」は端子の識別情報、「ＳＢＵ＿ＣＬＫ」は信号の識別情報、「Ｏ」は信号の方向を表す情報である。
【００４３】
（設計仕様書に含まれている論理接続情報を検証する処理）
図７は、設計仕様書に含まれている論理接続情報を検証する処理の例を示すフロー図である。図７では、設計仕様書検証部３００によって、コネクター仕様表と機能ブロック図とに含まれている論理接続情報の検証が行われる。
【００４４】
図７に示されるように、設計仕様書検証部３００に対し、コネクター仕様表による論理接続情報が入力される（ステップＳ１０１）。コネクター仕様表は、例えば、図６に示す構成を有する。ステップＳ１０１に続いてステップＳ１０２に進み、設計仕様書検証部３００が、ステップＳ１０１で入力されたコネクター仕様表において、端子の情報、及び、信号の情報の重複の有無を確認する（ステップＳ１０２）。
【００４５】
ステップＳ１０２に続いてステップＳ１０３に進み、設計仕様書検証部３００が、機能ブロック図のファイルを読み込みモードで開く（ステップＳ１０３）。機能ブロック図は、例えば、図５（Ｂ）に示す構成を有する。
【００４６】
ステップＳ１０３に続いてステップＳ１０４からステップＳ１０９の処理に進む。ステップＳ１０４からステップＳ１０９の処理は、ステップＳ１０３において読み込みモードで開かれたファイルに含まれている論理接続情報の検証が終了するまで繰り返される。
【００４７】
ステップＳ１０４に続くステップＳ１０５では、機能ブロック図のファイルにおける１行分の論理接続情報が読み込まれる（ステップＳ１０５）。１行分の論理接続情報は、一の端子に対応する論理接続情報である。
【００４８】
ステップＳ１０５に続いてステップＳ１０６に進み、ステップＳ１０５で取得された論理接続情報において、送信元の端子の識別情報と送信先の端子の識別情報とが取得されている場合には、ステップＳ１０８に進み、送信元の端子の識別情報又は送信先の端子の識別情報の何れか一方に代えて、信号の識別情報が取得された場合には、ステップＳ１０７に進む（ステップＳ１０６）。
【００４９】
ステップＳ１０６に続くステップＳ１０７では、取得された信号の識別情報と同一の信号の識別情報を有する論理接続情報の有無を、コネクター仕様表及び機能ブロック図において確認する（ステップＳ１０７）。これにより、異なる論理接続情報の間の信号の方向性の一致、又は、設計仕様書における信号の識別情報の重複を検証することができる。ステップＳ１０７の処理の後、ステップＳ１０４に戻って処理を繰り返す。
【００５０】
一方、ステップＳ１０６に続くステップＳ１０８では、取得された送信先の端子の識別情報により設計仕様書内の論理接続の検証が行われる（ステップＳ１０８）。ステップＳ１０８に続いてステップＳ１０９に進み、取得された送信先の端子の識別情報により設計仕様書内の論理接続の検証が行われる（ステップＳ１０９）。ステップＳ１０８及びステップＳ１０９の処理により、設計仕様書における信号の識別情報の重複と、信号の方向性の確認ができる。ステップＳ１０９の後、ステップＳ１０４に戻って処理が繰り返される。
【００５１】
ステップＳ１０４からステップＳ１０９に続くステップＳ１１０では、ステップＳ１０３において読み込みモードで開かれたファイルが閉じられる（ステップＳ１１０）。
【００５２】
ステップＳ１１０に続いてステップＳ１１１に進み、ステップＳ１０７において、信号の識別情報が重複していると判断された論理接続のうち、コネクターの端子に接続されている論理接続は重複ではないと判断される（ステップＳ１１１）。
【００５３】
ステップＳ１１１に続いてステップＳ１１２に進み、ステップＳ１０１において読み込まれたコネクター仕様表において一の端子に対応する論理接続情報毎にステップＳ１１３の処理が繰り返される（ステップＳ１１２）。ステップＳ１１３では、ステップＳ１０７からステップＳ１０９の検証に基づいて、信号の識別情報毎に、誤りが検出された端子の識別情報が出力される（ステップＳ１１３）。
【００５４】
ステップＳ１１２及びステップＳ１１３に続いてステップＳ１１４に進み、誤りが検出された端子があるか否かの判定が行われる（ステップＳ１１４）。誤りが検出された端子がない場合には（ステップＳ１１４：Ｎｏ）、処理が終了する。一方、誤りが検出された端子がある場合には（ステップＳ１１４：Ｙｅｓ）、ステップＳ１１３で出力された端子の識別情報が、ファイルに出力され（ステップＳ１１５）、設計仕様書の検証が終了する。
【００５５】
（コネクター仕様表及び機能ブロック図に含まれる論理接続の検証）
図８は、図７のステップＳ１０８及びステップＳ１０９で行われる設計仕様書内の論理接続の検証の処理を示すフロー図である。図８では、設計仕様書検証部３００により、コネクター仕様表及び機能ブロック図に含まれる論理接続情報が検証される。図８の処理は、一の論理接続情報毎に実行される。
【００５６】
図８のステップＳ２０１では、機能ブロック図から取得された論理接続情報に含まれている信号が、論理信号であるか否かの判断がなされる（ステップＳ２０１）。論理信号の場合はステップＳ２０２に進み、論理信号で無い場合には処理を終了する。
【００５７】
ステップＳ２０１に続くステップＳ２０２では、検証する論理接続情報に含まれている信号と同一の信号を含む論理接続情報が、コネクター仕様表に含まれているか否かの判断がなされる（ステップＳ２０２）。コネクター仕様表に含まれている場合には、ステップＳ２０３に進み、コネクター仕様表に含まれていない場合には、処理を終了する。
【００５８】
ステップＳ２０２に続くステップＳ２０３では、検証する論理接続情報に含まれている信号の属性が、電源、接地、接続されていない、の何れかであるかを判定する（ステップＳ２０３）。何れかである場合には、処理を終了する。ステップＳ２０３に続くステップＳ２０４では、検証する論理接続情報が、コネクターの端子への接続の情報であるか否かの判断がなされる（ステップＳ２０４）。コネクターの端子への接続の情報である場合には、ステップＳ２０５に進み、コネクターの端子への接続の情報でない場合には、ステップＳ２１３に進む。
【００５９】
ステップＳ２０４に続くステップＳ２０５では、検証する論理接続情報における信号が、一方向信号か双方向信号かの判断がなされる（ステップＳ２０５）。一方向信号の場合には、ステップＳ２０６に進み、双方向信号の場合には、ステップＳ２１０に進む。
【００６０】
ステップＳ２０５に続くステップＳ２０６では、検証する論理接続情報における信号が出力信号であり、コネクター仕様表における同一の識別情報の信号が入力信号ではない場合には、設計仕様書に誤りがあると判断する（ステップＳ２０６）。誤りがある場合にはステップＳ２０７に進み、誤りが無い場合にはステップＳ２０８に進む。ステップＳ２０６に続くステップＳ２０７では、検証する論理接続情報に対し、信号の方向の誤りを表す情報が対応づけられる（ステップＳ２０７）。
【００６１】
ステップＳ２０６に続くステップＳ２０８では、検証する論理接続情報における信号が入力信号であり、コネクター仕様表における同一の識別情報の信号が出力信号ではない場合には、設計仕様書に誤りがあると判断する（ステップＳ２０８）。誤りがある場合にはステップＳ２０９に進み、誤りが無い場合には処理を終了する。ステップＳ２０８に続くステップＳ２０９では、検証する論理接続情報に対し、信号の方向の誤りを表す情報が対応づけられる（ステップＳ２０９）。ステップＳ２０９の後、処理が終了される。
【００６２】
一方、ステップＳ２０５に続くステップＳ２１０では、検証する論理接続情報において、信号の識別情報の重複に対する誤りを判定しないことが設定される（ステップＳ２１０）。ステップＳ２１０に続いてステップＳ２１１に進み、検証する論理接続情報に含まれる信号と同一の識別情報を有するコネクター仕様表の信号が、双方向信号では無い場合にステップＳ２１２に進み、双方向信号の場合には処理を終了する（ステップＳ２１１）。ステップＳ２１１に続くステップＳ２１２では、検証する論理接続情報に対し、信号の方向の誤りを表す情報が対応づけられる（ステップＳ２１２）。
【００６３】
ステップＳ２０４に続くステップＳ２１３では、検証する論理接続情報に対し、信号の識別情報が重複していることを表す情報が対応づけられる（ステップＳ２１３）。
【００６４】
また、ステップＳ２０２に続くステップＳ２１４では、検証する論理接続情報において、端子がコネクターの端子へ接続されることを表す情報が含まれる場合には、ステップＳ２１５に進み、含まれない場合には、処理を終了する（ステップＳ２１４）。ステップＳ２１４に続くステップＳ２１５では、検証する論理接続情報に対し、接続先の端子が無いことを表す情報が対応づけられる（ステップＳ２１５）。
【００６５】
（設計仕様書の検証結果の例）
図９は、設計仕様書検証部３００により出力される、設計仕様書の検証結果の例を示す図である。図９（Ａ）は、設計仕様書における検証結果のサマリーである。図９（Ａ）では、検証によって検出された誤りの数が、誤りの種類毎に示されている。図９（Ａ）において、論理接続情報カバレッジの情報ｅは、設計仕様書の検証において、論理接続が確立された端子の割合を表す。
【００６６】
図９（Ｂ）は、検証によって検出された誤りの詳細を示す図である。図９（Ｂ）では、端子毎に、「判定」により誤りの有無が対応づけられ、さらに、誤りがある端子には「メッセージ」と「不一致時パターン」により、その誤りの内容が対応づけられている。「不一致時パターン」には、誤りが検出された設計仕様書及び回路図の情報が含まれている。
【００６７】
（回路図における論理接続の検証）
図１０は、設計仕様書に基づいて作成された回路図における論理接続情報を、設計仕様書に含まれている論理接続情報と比較することにより検証する処理の例を示すフロー図である。図１０の処理は、設計検証部６００によって行われる。図１０では、ライブラリ情報が読み込まれる（ステップＳ２１）。ライブラリ情報は、例えば、論理接続毎に対応する期待値である真理値の情報を有する。ステップＳ２１に続いてステップＳ２２に進み、設計仕様書の機能ブロック図に含まれている論理接続情報が読み込まれる（ステップＳ２２）。ステップＳ２２に続いてステップＳ２３に進み、設計仕様書のコネクター仕様表に含まれている論理接続情報が読み込まれる（ステップＳ２３）。
【００６８】
ステップＳ２３に続いてステップＳ２４に進み、設計仕様書に基づいて作成された回路図に含まれている論理接続情報が読み込まれる（ステップＳ２４）。回路図は、例えば、ネットリストとして読み込まれる。ステップＳ２４に続いてステップＳ２５に進み、検証の条件が設定されている．ｉｎｉファイルが読み込まれる（ステップＳ２５）。
【００６９】
ステップＳ２５に続いてステップＳ２６に進み、ステップＳ２４で読み込まれた回路図における論理接続情報と、ステップＳ２２及びステップＳ２３で読み込まれた設計仕様書における論理接続情報との比較により、回路図における論理接続情報の検証が行われる（ステップＳ２６）。
【００７０】
（設計仕様書の論理接続情報によるネットリストの検証）
図１１は、設計仕様書の論理接続情報によるネットリストの検証の処理を示すフロー図である。図１１のステップＳ３０１では、設計仕様書の機能ブロック図とコネクター仕様書との間の、論理接続情報の矛盾の有無が検証される。この処理は、図７の処理と同様である。ステップＳ３０１に続いてステップＳ３０２に進み、ステップＳ３０１の処理において、設計仕様書の論理接続情報に矛盾が含まれていた場合には、処理を終了する。
【００７１】
ステップＳ３０２に続いてステップＳ３０３に進み、ライブラリファイルの読み込みが行われる。ステップＳ３０３に続いてステップＳ３０４に進み、コネクター仕様表に基づいて、端子に外部インタフェース信号を接続する処理が行われる。ステップＳ３０４に続いてステップＳ３０５に進み、ネットリストが読み込まれる。ステップＳ３０５に続いてステップＳ３０６に進み、．ｉｎｉファイルが読み込まれる。
【００７２】
なお、ステップＳ３０３からステップＳ３０６では、読み込まれたファイル毎に、接続先との対応、信号の方向等の情報について、矛盾の有無が検証され、さらに、論理接続情報の検証を行う端子が設定される。これにより、論理接続情報の検証を行う端子のリストが生成される。
【００７３】
ステップＳ３０６に続いてステップＳ３０７に進み、ステップＳ３０３からステップＳ３０６の処理において、接続先との対応、信号の方向等の情報に、矛盾があった場合には、処理を終了する。ステップＳ３０７に続くステップＳ３０８では、ネットリストと設計仕様書との間において、接続先との対応、信号の方向等の情報について、矛盾の有無が検証される。
【００７４】
ステップＳ３０８に続いてステップＳ３０９に進み、論理接続情報の検証を行う端子について、接続される信号の値が初期化される。ここでは対象となる端子に対して値"ｘ"が入力される。
【００７５】
ステップＳ３０９に続いてステップＳ３１０からステップＳ３１４の処理に進む。ここでは、ステップＳ３０３からステップＳ３０６で作成された端子のリストに基づいて、論理接続情報の検証を行う端子毎に、処理が繰り返される。ステップＳ３１０では、リストに含まれている端子の情報のうち、一の端子の情報が取得される。
【００７６】
ステップＳ３１０に続くステップＳ３１１では、ステップＳ３１０でリストから取得された端子の情報が、すでに検証済みの端子の情報である場合か否かが判断される。既に検証済みの端子の情報である場合には、ステップＳ３１０に戻って処理を繰り返す。
【００７７】
ステップＳ３１１に続くステップＳ３１２では、ステップＳ３１０で取得された端子の情報に基づいて、その情報が、ロジック回路を含む双方向接続の情報か否かの判断がなされる。ロジック回路を含む双方向接続の情報の場合には、ステップＳ３１３に進み、そうでは無い場合には、ステップＳ３１４に進む。
【００７８】
ステップＳ３１３では、ステップＳ３１０で取得された端子の情報に基づいて、その端子の論理接続情報を、期待値を用いることにより検証する。ここでは、ロジック回路を含む双方向接続の検証が行われる。ステップＳ３１４では、ステップＳ３１０で取得された端子の情報に基づいて、その端子の論理接続情報を、期待値を用いることにより検証する。ここでは、ロジック回路を含む双方向接続ではない場合の、論理接続の検証が行われる。そして最後にステップＳ３１５において、画面生成部７００は論理接続の検証結果のサマリーファイルを作成して画面に表示させる。
【００７９】
（回路図を読み込む処理）
図１２は、図１１のステップＳ３０５におけるネットリストを読み込む処理の詳細を示すフロー図である。
【００８０】
図１２のステップＳ４０１からステップＳ４０８では、読み込まれたネットリストに含まれている全ての入力端子及び出力端子について、端子毎に対応する信号の情報が対応づけられる。ステップＳ４０１では、ネットリストに含まれている一端子に対応する情報が取得される。情報が取得される場合には、ステップＳ４０２に進み、全ての端子について処理が終了している場合には、ステップＳ４０９に進む。
【００８１】
ステップＳ４０１に続くステップＳ４０２では、検証する端子の数を計数するカウンタがカウントアップされる。このカウンタは、全端子の処理に先んじて初期化される。ステップＳ４０２に続いてステップＳ４０３に進み、ステップＳ４０１で取得された端子の情報に基づいて、その端子がコネクターに含まれる端子か否かの判断がなされる。その端子がコネクターに含まれる端子の場合には、ステップＳ４０４に進み、コネクターに含まれる端子では無い場合には、ステップＳ４０５に進む。
【００８２】
ステップＳ４０３に続くステップＳ４０４では、外部インタフェース信号との対応づけの処理が行われる。一方、ステップＳ４０３に続くステップＳ４０５では、ステップＳ４０１で取得された端子の情報に含まれている端子の識別情報と、同一の識別情報の端子の論理接続情報が、機能ブロック図に含まれているか否かの確認がなされる。
【００８３】
ステップＳ４０５に続いてステップＳ４０６に進み、ステップＳ４０５で確認された結果に基づいて、同一の識別情報の端子の論理接続情報が、機能ブロック図に含まれている場合にはステップＳ４０７に進み、機能ブロック図に含まれていない場合にはステップＳ４０８に進む。
【００８４】
ステップＳ４０６に続くステップＳ４０７では、ステップＳ４０１で取得されたネットリストに含まれている端子の情報が、機能ブロック図に含まれている同一の識別情報を有する端子の論理接続情報と対応づけられる。
【００８５】
一方、ステップＳ４０６に続くステップＳ４０８では、ステップＳ４０１で取得されたネットリストに含まれている端子の情報に対応する論理接続情報が、機能ブロック図に含まれていないことを表すエラーの情報が出力される。
【００８６】
ステップＳ４０１からステップＳ４０８の処理の後に続いて、ステップＳ４０９からステップＳ４１１の処理が、ネットリストに含まれている全ての入力端子に対して行われる。ステップＳ４０９では、ネットリストに含まれている一の入力端子の情報が取得される。
【００８７】
ステップＳ４０９に続いてステップＳ４１０に進み、ステップＳ４０９で取得された端子の情報が、コネクターに含まれる端子の情報か否かの判断がなされる。コネクターに含まれる端子の情報の場合には、ステップＳ４１１に進む。ステップＳ４１１では、ステップＳ４０９で取得された端子の情報に対して、外部インタフェース信号との対応づけの処理が行われる。
【００８８】
（外部インタフェース信号との対応づけの処理）
図１３は、読み込まれたネットリストに含まれている端子の情報を、外部インタフェース信号の情報と対応づける処理の例を示すフロー図である。図１３の処理は、図１２のステップＳ４０４及びステップＳ４１１で行われる処理の詳細である。
【００８９】
図１３のステップＳ５０１では、接続しようとするネットリストの端子（以下、「接続端子」という。）の情報に基づいて、同一の識別情報を有する端子の情報を、コネクター仕様表から検索する。ステップＳ５０１に続いてステップＳ５０２に進み、ステップＳ５０１において、同一の識別情報を有する端子の情報がコネクター仕様表に無かった場合には、ステップＳ５０３に進み、同一の識別情報を有する端子の情報がコネクター仕様表にあった場合には、ステップＳ５０４に進む。
【００９０】
ステップＳ５０２に続くステップＳ５０３では、接続端子の情報に対応する論理接続情報が、コネクター仕様表に含まれていないことを表すエラーの情報が出力される。
【００９１】
ステップＳ５０２に続くステップＳ５０４では、接続端子の情報に基づいて、その端子が入力端子であり、かつ、電源又は接地である場合には、ステップＳ５０５に進み、そうではない場合には、ステップＳ５０６に進む。ステップＳ５０４に続くステップＳ５０５では、接続端子の数を計数するカウンタをカウントアップする。
【００９２】
ステップＳ５０４及びステップＳ５０５に続いてステップＳ５０６に進み、接続端子の情報における信号の方向の情報と、コネクター仕様表に含まれている同一の識別情報を有する端子の論理接続情報における信号の方向の情報とが比較される。信号の方向が一致していない場合には、エラー（不一致）と判断される。
【００９３】
ステップＳ５０７に続いてステップＳ５０８に進み、ステップＳ５０７においてエラーと判断された場合には、ステップＳ５０９に進む。ステップＳ５０９では、信号の方向が一致しないことを表すエラー（不一致）の情報が出力される。
【００９４】
ステップＳ５０８及びステップＳ５０９に続いてステップＳ５１０に進み、接続端子の識別情報と、同一の識別情報を有する端子の論理接続情報が、機能ブロック図において検索される。同一の識別情報を有する端子の論理接続情報が、機能ブロック図の論理接続情報に含まれていない場合には、ステップＳ５１１に進む。ステップＳ５１１では、機能ブロック図の情報に、接続端子の識別情報が追加される。
【００９５】
ステップＳ５１０に続くステップＳ５１２からステップＳ５１６の処理は、機能ブロック図において、接続端子と同一の識別情報を有する端子の論理接続情報に対して行われる。機能ブロック図において、接続端子と同一の識別情報を有する端子の論理接続情報が複数ある場合には、ステップＳ５１２からステップＳ５１６の処理は、それらの論理接続情報毎に繰り返される。
【００９６】
ステップＳ５１２に続いてステップＳ５１３に進み、接続端子に対応する信号の方向の情報と、機能ブロック図の論理接続情報における信号の方向の情報とが比較される。信号の方向が一致している場合には、ステップＳ５１４に進み、信号の方向が一致していない場合には、処理を終了する。ステップＳ５１３に続くステップＳ５１４では、接続端子を機能ブロック図における端子と接続する論理接続情報を登録するためのレコードを作成する。
【００９７】
ステップＳ５１４に続いてステップＳ５１５に進み、接続端子のハンドラを、ステップＳ５１４で作成されたレコードに追加して登録する。ステップＳ５１５に続いてステップＳ５１６に進み、ステップＳ５１５で登録された接続端子に対する論理接続情報の検証を行うか否かを表す情報と対応づける。
【００９８】
一方、ステップＳ５１７において、方法が一致する論理信号が検出されなかった場合、ステップＳ５１８にすすみ、エラーの出力をだす。
【００９９】
（ネットリストの検証により出力されるエラー）
図１４は、図１１から図１３の処理によりネットリストが検証される際に、検出される誤りの種類を説明する図である。図１４（Ａ）は、コネクター仕様表に基づくネットリストの誤りの種類を説明する図である。図１４（Ａ）の「エラー番号」は、コネクター仕様表における信号の方向と、ネットリストにおける信号の方向とが異なる場合に、出力されるエラーを表す識別情報である。また、図１４（Ｂ）の「エラー番号」は、設計仕様書とネットリストとで、端子の識別情報又は信号の情報の有無が異なる場合に、出力されるエラーを表す識別情報である。
【０１００】
また図１５は、画面生成部７００が生成する検査終了後の画面の一例を示している。画面生成部７００は、設計検証部６００による検証後、又は手動検証部８００による検証後に検証結果の表示画面を生成する。図１５に示されるように、画面生成部７００は、設計検証部６００による検証の結果である、判定情報を回路図の情報における論理接続情報ごとに表示する。この際、表示の態様は、その判定結果によって異なることし、利用者が視認しやすいようにされている。例えば、設計検証部６００によって「一致」と判定された論理接続情報は、「黒」の文字により表示される。また、設計検証部６００によって、「検証不能」と判定された論理接続情報は「ピンク」の文字により表示される。また、「検証不能」となっていた論理接続情報は、手動検証部８００によってチェックした後には「緑」の文字にて表示される。また、設計検証部６００や、手動検証部８００によって「不一致」や「警告」と判定された論理接続情報は「赤色」の文字により表示される。また、設計検証部６００や手動検証部８００により「不一致」と判定された論理接続情報に対して、利用者が手動検証部８００を通じて「エラー許容」と判定した論理接続情報は、「青」の文字により表示される。したがって、本実施形態においては、論理接続情報に対する判定の結果が、それぞれ他の判定結果とは識別しやすいように、異なる表示態様で表示されている。なお、本実施形態においては、色を異ならせることで表示態様を変えるようにしたが、例えば文字の太さや大きさ、フォントの違い等適宜別の方法で表示態様を変更するようにしてもよい。
【０１０１】
次に、本実施形態にかかる検証装置のハードウェア構成について図１６を用いて説明する。図１６は、検証装置１のハードウェア構成を示す説明図である。
【０１０２】
本実施形態にかかる検証装置１は、ＣＰＵ（Central  Processing  Unit）５１などの制御装置と、ＲＯＭ（Read  Only  Memory）５２やＲＡＭ（Random  Access  Memory）５３などの記憶装置と、ネットワークに接続して通信を行う通信Ｉ／Ｆ５４と、ＨＤＤ（Hard  Disk  Drive）、ＣＤ（Compact  Disc）ドライブ装置などの外部記憶装置と、ディスプレイ装置などの表示装置と、キーボードやマウスなどの入力装置と、各部を接続するバス６１を備えており、通常のコンピュータを利用したハードウェア構成となっている。
【０１０３】
本実施形態にかかる検証装置１で実行される検証用のプログラムは、インストール可能な形式又は実行可能な形式のファイルでＣＤ−ＲＯＭ（Compact  Disk  Read  Only  Memory）、フレキシブルディスク（ＦＤ）、ＣＤ−Ｒ（Compact  Disk  Recordable）、ＤＶＤ（Digital  Versatile  Disk）等のコンピュータで読み取り可能な記録媒体に記録されてコンピュータプログラムプロダクトとして提供される。
【０１０４】
また、本実施形態にかかる検証装置１で実行される検証用のプログラムを、インターネット等のネットワークに接続されたコンピュータ上に格納し、ネットワーク経由でダウンロードさせることにより提供するように構成してもよい。また、本実施形態にかかる検証装置１で実行される検証用プログラムをインターネット等のネットワーク経由で提供または配布するように構成してもよい。
【０１０５】
また、本実施形態にかかる検証装置１において実行される検証プログラムを、ＲＯＭ等に予め組み込んで提供するように構成してもよい。
【０１０６】
本実施形態にかかる検証装置１で実行される検証用プログラムは、上述した各部を含むモジュール構成となっており、実際のハードウェアとしてはＣＰＵ５１（プロセッサ）が上記記憶媒体から検証用プログラムを読み出して実行することにより上記各部が主記憶装置上にロードされ、上述した各部が主記憶装置上に生成されるようになっている。
【符号の説明】
【０１０７】
１  検証装置
１００  仕様書作成部
１１０  シンボル作成部
１１１  部品選択部
１１３  接続選択部
１１５  出力部
１３０  論理接続表入力部
２００  論理接続情報取得部
３００  設計仕様書検証部
５００  回路図入力部
６００  設計検証部
６１０  期待値生成部
６２０  比較部
６３０  検証記憶部
７００  画面生成部
８００  手動検証部
【先行技術文献】
【特許文献】
【０１０８】
【特許文献１】特開２００７−１４８６６４号公報
【図１】
0006047900.tif 000002
【図２】
0006047900.tif 000003
【図３】
0006047900.tif 000004
【図４】
0006047900.tif 000005
【図５】
0006047900.tif 000006
【図６】
0006047900.tif 000007
【図７】
0006047900.tif 000008
【図８】
0006047900.tif 000009
【図９】
0006047900.tif 000010
【図１０】
0006047900.tif 000011
【図１１】
0006047900.tif 000012
【図１２】
0006047900.tif 000013
【図１３】
0006047900.tif 000014
【図１４】
0006047900.tif 000015
【図１５】
0006047900.tif 000016
【図１６】
0006047900.tif 000017