(57)【要約】  【課題】  設計した論理回路の論理検証およびエラー箇所の修正において、論理設計工数の低減に寄与することのできる論理検証装置、論理検証方法および論理検証プログラムを提供する。  【解決手段】  論理回路の設計を行う際に処理対象となる実回路データと論理検証を行う際に処理対象となる検証用データとの間でのデータ変換を行うデータ変換部と、前記検証用データに対して論理検証を行う検証部と、前記検証部における検証結果および前記検証用データの修正に関する候補として該検証結果に対応付けて予め設定された修正候補データを取得し、該取得した前記検証結果および修正候補データに基づいて、前記検証用データの修正を行う仮修正部とを備えてなる。  【選択図】  図１
2005284751.tif 000002
【特許請求の範囲】
【請求項１】
論理回路の設計を行う際に処理対象となる実回路データと論理検証を行う際に処理対象となる検証用データとの間でのデータ変換を行うデータ変換部と、
前記検証用データに対して論理検証を行う検証部と、
前記検証部における検証結果および前記検証用データの修正に関する候補として該検証結果に対応付けて予め設定された修正候補データを取得し、該取得した前記検証結果および修正候補データに基づいて、前記検証用データの修正を行う仮修正部と
を備えてなる論理検証装置。
【請求項２】
請求項１に記載の論理検証装置において、
前記修正候補データを前記検証部における検証結果に対応付けて記憶する修正候補データ記憶部と、
ユーザの操作入力に基づき、前記仮修正部にて取得された検証結果に対応付けて前記修正候補データ記憶部に記憶されている修正候補データのうち、任意の修正候補データを選択するための修正候補データ選択部とを有し、
前記仮修正部は、前記修正候補データ選択部により選択された任意の修正候補データに基づいて前記検証用データの修正を行う論理検証装置。
【請求項３】
請求項１に記載の論理検証装置において、
前記仮修正部により検証用データに対して行われた修正内容を版数に対応させて記憶する仮修正情報記憶部と、
ユーザの操作入力に基づき、前記仮修正情報記憶部に記憶されている修正内容のうち、任意の版数の修正内容を選択し、該選択した修正内容を前記実回路データに反映させるための仮修正版数選択部とを有する論理検証装置。
【請求項４】
論理回路の設計を行う際に処理対象となる実回路データを、論理検証を行う際に処理対象となる検証用データに変換するデータ変換ステップと、
前記検証用データに対して論理検証を行う検証ステップと、
前記検証ステップにおける検証結果および前記検証用データの修正に関する候補として該検証結果に対応付けて予め設定された修正候補データを取得し、該取得した前記検証結果および修正候補データに基づいて、前記検証用データの修正を行う仮修正ステップと
を備えてなる論理検証方法。
【請求項５】
論理回路の設計を行う際に処理対象となる実回路データを、論理検証を行う際に処理対象となる検証用データに変換するデータ変換ステップと、
前記検証用データに対して論理検証を行う検証ステップと、
前記検証ステップにおける検証結果および前記検証用データの修正に関する候補として該検証結果に対応付けて予め設定された修正候補データを取得し、該取得した前記検証結果および修正候補データに基づいて、前記検証用データの修正を行う仮修正ステップと
をコンピュータに実行させることを特徴とする論理検証プログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、論理検証装置、論理検証方法および論理検証プログラムに関するものである。
【背景技術】
【０００２】
従来、ＣＡＤによる論理回路の設計作業において、その設計工程の中で論理設計ミスが混入しないよう、設計した論理回路に対して論理検証を行っている。
【０００３】
設計者は、この論理検証においてエラーが検出された場合、当該エラーの発生原因を究明し、そのエラー発生原因に基づいて設計した論理回路を修正する。
【０００４】
一般に、論理回路の設計および修正を行う際に処理対象となるデータ（以下、実回路データ）と、論理検証を行う際に処理対象となるデータ（以下、検証用データ）とはデータ形式が異なる。設計者は論理回路の設計および修正と回路の論理検証を、実回路データと検証用データとの間でのデータ変換を伴いつつ、論理検証エラーが無くなるまで繰り返し行っていた（例えば、特許文献１から３参照。）。
【特許文献１】特開平５−２６６１３４号公報  （第３―４頁、第１図）
【特許文献２】特開平７−３０２２８１号公報  （第６―１６頁、第１図）
【特許文献３】特開２００１−３０６６４６号公報  （第８―１５頁、第１図）
【発明の開示】
【発明が解決しようとする課題】
【０００５】
従来の論理検証装置では、設計した論理回路のある範囲における論理検証においてエラーが検出された場合、そのエラーが検出された時点で論理検証の処理は終了する。このような場合、そのエラーが検出された箇所とは別に他のエラー箇所が存在していても（すなわち、論理検証を行っている範囲内に複数のエラー箇所が存在していても）、当該エラー箇所についての論理を修正して初めて、当該他のエラー箇所が発見されることになる（例えば、図１９に示す回路の構成要素ａから構成要素ｂまでの検証範囲における回路エラー１および回路エラー２）。
【０００６】
すなわち、検証用データに対する論理検証を行った後に、実回路データの論理検証エラーが検出された箇所に対する修正を行ったにも拘わらず、当該修正後の実回路データを検証用データに変換して論理検証を行うと、他の箇所に潜んでいたエラーが検出される場合がある。このような場合、ある検証範囲における複数のエラー箇所を検出するために実回路データと検証用データとの間でのデータ変換を複数回繰り返さなければならず、設計工数増加の一因となっていた。
【０００７】
また、現在検出されているエラー箇所以外の他のエラー箇所が不明であるため、当該他のエラー箇所に対して最適とは言えない修正方法を現在検出されているエラー箇所に適用してしまい、結果として当該他のエラー箇所が検出された際に以前適用した修正方法を変更しなければならない場合もあった。このような、以前適用した修正方法の変更は、実回路データと検証用データとの間での無駄なデータ変換処理の発生、ひいては論理設計工数の増加に繋がっていた。
【０００８】
本発明は上述した問題点を解決するためになされたものであり、設計した論理回路の論理検証およびエラー箇所の修正において、論理設計工数の低減に寄与することのできる論理検証装置、論理検証方法および論理検証プログラムを提供することを目的とする。
【課題を解決するための手段】
【０００９】
上述した課題を解決するため、本発明に係る論理検証装置は、論理回路の設計を行う際に処理対象となる実回路データと論理検証を行う際に処理対象となる検証用データとの間でのデータ変換を行うデータ変換部と、前記検証用データに対して論理検証を行う検証部と、前記検証部における検証結果および前記検証用データの修正に関する候補として該検証結果に対応付けて予め設定された修正候補データを取得し、該取得した前記検証結果および修正候補データに基づいて、前記検証用データの修正を行う仮修正部とを備えてなることを特徴とするものである。
【００１０】
このように、論理検証における処理対象である検証用データに対しての修正を可能とすることで、データ変換を行う回数を減らすことができる。さらに、修正を行った後の検証用データに対しても同様に論理検証を行うことができるため、検証用データの状態のままで論理検証作業と修正作業を繰り返し実行することができ、現在検出されているエラー箇所以外の他のエラー箇所をも検出することが可能となる。また、修正候補データに基づいて修正を行う構成としたことで、論理回路修正時における設計者の負担が軽減されるとともに、設計ミスの発生を抑制することができる。すなわち、設計した論理回路の論理検証およびエラー箇所の修正において、論理設計工数の低減に寄与することができる。
【００１１】
なお、修正を行った後の検証用データに対して論理検証を行い、論理検証エラーが検出されなかった場合には、当該論理検証した検証用データを実回路データにデータ変換することもできる。
【００１２】
上述のような構成の論理検証装置において、前記修正候補データを前記検証部における検証結果に対応付けて記憶する修正候補データ記憶部と、ユーザの操作入力に基づき、前記仮修正部にて取得された検証結果に対応付けて前記修正候補データ記憶部に記憶されている修正候補データのうち、任意の修正候補データを選択するための修正候補データ選択部とを有し、前記仮修正部は、前記修正候補データ選択部により選択された任意の修正候補データに基づいて前記検証用データの修正を行う構成とすることもできる。
【００１３】
このような構成とすることにより、検証用データにおける論理検証エラーに対する修正内容を予め用意されている修正候補の中から選択することができ、修正作業の負担を軽減することができる。また、修正作業におけるミスの発生も抑制することができる。
【００１４】
上述のような構成の論理検証装置において、前記修正候補データを前記検証部における検証結果および所定の選択条件に対応付けて記憶する修正候補データ記憶部を有し、前記仮修正部は、前記取得された検証結果および所定の選択条件に基づいて前記修正候補データ記憶部に記憶されている修正候補データを選択し、該選択した修正候補データに基づいて前記検証用データの修正を行うことが好ましい。
【００１５】
このような構成とすることにより、検証用データに対する修正作業を自動的に行うことが可能となり、論理設計における作業の効率化に寄与することができる。
【００１６】
上述のような構成の論理検証装置において、前記仮修正部により検証用データに対して行われた修正内容を版数に対応させて記憶する仮修正情報記憶部と、ユーザの操作入力に基づき、前記仮修正情報記憶部に記憶されている修正内容のうち、任意の版数の修正内容を選択し、該選択した修正内容を前記実回路データに反映させるための仮修正版数選択部とを有する論理検証装置。
【００１７】
このような構成とすることにより、検証用データに対して過去に行った複数の版数（バージョン）の修正内容の中からユーザが最適と判断したものを選択することができる。
【００１８】
上述のような構成の論理検証装置において、前記検証部にて行う論理検証の内容を規定する検証ルール情報を記憶する検証ルール情報記憶部を有し、前記検証部は、前記検証ルール情報に基づいて、検証用データにおける特定の範囲を部分的に検証対象外にする構成とすることもできる。
【００１９】
上述のような構成の論理検証装置において、前記検証部にて行う論理検証の内容を規定する検証ルール情報を記憶する検証ルール情報記憶部を有し、前記検証部は、前記仮修正部により修正された検証用データに対する論理検証を行う場合には、前記検証ルール情報に基づいて、検証用データにおける該修正による影響がおよぶ範囲のみを検証対象とすることが好ましい。
【００２０】
このような構成とすることにより、検証用データにおける論理検証を行う必要のない範囲（例えば、すでに論理検証済みのエラーのない範囲など）について不要な論理検証処理を繰り返すことがなくなり、論理検証における処理効率の向上に寄与することができる。
【００２１】
また、本発明に係る論理検証方法は、論理回路の設計を行う際に処理対象となる実回路データを、論理検証を行う際に処理対象となる検証用データに変換するデータ変換ステップと、前記検証用データに対して論理検証を行う検証ステップと、前記検証ステップにおける検証結果および前記検証用データの修正に関する候補として該検証結果に対応付けて予め設定された修正候補データを取得し、該取得した前記検証結果および修正候補データに基づいて、前記検証用データの修正を行う仮修正ステップとを備えてなることを特徴とする。
【００２２】
上述のような構成の論理検証方法において、前記修正候補データを前記検証ステップにおける検証結果に対応付けて記憶する修正候補データ記憶ステップと、ユーザの操作入力に基づき、前記仮修正ステップにて取得された検証結果に対応付けて前記修正候補データ記憶ステップにて記憶されている修正候補データのうち、任意の修正候補データを選択するための修正候補データ選択ステップとを有し、前記仮修正ステップは、前記修正候補データ選択ステップにおいて選択された任意の修正候補データに基づいて前記検証用データの修正を行うことが好ましい。
【００２３】
上述のような構成の論理検証方法において、前記修正候補データを前記検証ステップにおける検証結果および所定の選択条件に対応付けて記憶する修正候補データ記憶ステップを有し、前記仮修正ステップは、前記取得された検証結果および所定の選択条件に基づいて前記修正候補データ記憶ステップにて記憶されている修正候補データを選択し、該選択した修正候補データに基づいて前記検証用データの修正を行うことが望ましい。
【００２４】
上述のような構成の論理検証方法において、前記仮修正ステップにおいて検証用データに対して行われた修正内容を版数に対応させて記憶する仮修正情報記憶ステップと、ユーザの操作入力に基づき、前記仮修正情報記憶ステップにて記憶されている修正内容のうち、任意の版数の修正内容を選択し、該選択した修正内容を前記実回路データに反映させるための仮修正版数選択ステップとを有する構成とすることもできる。
【００２５】
上述のような構成の論理検証方法において、前記検証ステップにて行う論理検証の内容を規定する検証ルール情報を記憶する検証ルール情報記憶ステップを有し、前記検証ステップは、前記検証ルール情報に基づいて、検証用データにおける特定の範囲を部分的に検証対象外にすることが好ましい。
【００２６】
上述のような構成の論理検証方法において、前記検証ステップにて行う論理検証の内容を規定する検証ルール情報を記憶する検証ルール情報記憶ステップを有し、前記検証ステップは、前記仮修正ステップにおいて修正された検証用データに対する論理検証を行う場合には、前記検証ルール情報に基づいて、検証用データにおける該修正による影響がおよぶ範囲のみを検証対象とすることもできる。
【００２７】
また、本発明に係る論理検証プログラムは、論理回路の設計を行う際に処理対象となる実回路データを、論理検証を行う際に処理対象となる検証用データに変換するデータ変換ステップと、前記検証用データに対して論理検証を行う検証ステップと、前記検証ステップにおける検証結果および前記検証用データの修正に関する候補として該検証結果に対応付けて予め設定された修正候補データを取得し、該取得した前記検証結果および修正候補データに基づいて、前記検証用データの修正を行う仮修正ステップとをコンピュータに実行させることを特徴とする。
【００２８】
上述のような構成の論理検証プログラムにおいて、前記修正候補データを前記検証ステップにおける検証結果に対応付けて記憶する修正候補データ記憶ステップと、ユーザの操作入力に基づき、前記仮修正ステップにて取得された検証結果に対応付けて前記修正候補データ記憶ステップにて記憶されている修正候補データのうち、任意の修正候補データを選択するための修正候補データ選択ステップとを有し、前記仮修正ステップは、前記修正候補データ選択ステップにおいて選択された任意の修正候補データに基づいて前記検証用データの修正を行うことが好ましい。
【００２９】
上述のような構成の論理検証プログラムにおいて、前記修正候補データを前記検証ステップにおける検証結果および所定の選択条件に対応付けて記憶する修正候補データ記憶ステップを有し、前記仮修正ステップは、前記取得された検証結果および所定の選択条件に基づいて前記修正候補データ記憶ステップにて記憶されている修正候補データを選択し、該選択した修正候補データに基づいて前記検証用データの修正を行うことが望ましい。
【００３０】
上述のような構成の論理検証プログラムにおいて、前記仮修正ステップにおいて検証用データに対して行われた修正内容を版数に対応させて記憶する仮修正情報記憶ステップと、ユーザの操作入力に基づき、前記仮修正情報記憶ステップにて記憶されている修正内容のうち、任意の版数の修正内容を選択し、該選択した修正内容を前記実回路データに反映させるための仮修正版数選択ステップとを有する構成とすることもできる。
【００３１】
上述のような構成の論理検証プログラムにおいて、前記検証ステップにて行う論理検証の内容を規定する検証ルール情報を記憶する検証ルール情報記憶ステップを有し、前記検証ステップは、前記検証ルール情報に基づいて、検証用データにおける特定の範囲を部分的に検証対象外にすることが好ましい。
【００３２】
上述のような構成の論理検証プログラムにおいて、前記検証ステップにて行う論理検証の内容を規定する検証ルール情報を記憶する検証ルール情報記憶ステップを有し、前記検証ステップは、前記仮修正ステップにおいて修正された検証用データに対する論理検証を行う場合には、前記検証ルール情報に基づいて、検証用データにおける該修正による影響がおよぶ範囲のみを検証対象とすることもできる。
【００３３】
なお、上述した論理検証プログラムは、コンピュータにより読取り可能な記録媒体に記憶させることによって、論理検証装置を構成するコンピュータに実行させることが可能となる。なお、上記コンピュータにより読取り可能な記録媒体としては、ＣＤ−ＲＯＭやフレキシブルディスク、ＤＶＤディスク、光磁気ディスク、ＩＣカード等の可搬型記憶媒体や、コンピュータプログラムを保持するデータベース、或いは、他のコンピュータ並びにそのデータベースや、更に回線上の伝送媒体をも含むものである。
【００３４】
このように、論理検証プログラムをコンピュータに実行させることにより、上述した論理検証方法における各ステップが実現される。
【発明の効果】
【００３５】
以上に詳述したように本発明によれば、設計した論理回路の論理検証およびエラー箇所の修正において、論理設計工数の低減に寄与することのできる論理検証装置、論理検証方法および論理検証プログラムを提供することができる。
【発明を実施するための最良の形態】
【００３６】
以下、本発明の実施の形態について図面を参照しつつ説明する。
【００３７】
図１は、本発明の実施の形態による論理検証装置の全体構成を示す機能ブロック図である。
【００３８】
本実施の形態による論理検証装置は、検証指示部１０１、検証指示データ記憶部１０２、検証部１０３、検証結果記憶部１０４、実回路データ記憶部１０５、データ変換部１０６、検証用データ記憶部１０７、仮修正部１０８、仮修正指示部１０９、仮修正指示データ記憶部１１０、仮修正箇所判定・反映部１１１、仮修正情報記憶部１１２、仮修正候補選択部１１３、仮修正版数選択部１１４、不図示の操作入力部、不図示の表示部、不図示のＣＰＵおよび不図示の記憶部を備えてなる構成となっている。
【００３９】
以下、本実施の形態による論理検証装置の各構成要素について詳細に説明する。
【００４０】
検証指示部１０１は、ユーザによる操作入力を受け付け、設計した回路に対して論理検証を行う項目や論理検証を行う範囲の設定について指示を行う役割を有する。
【００４１】
検証指示データ記憶部（検証ルール情報記憶部）１０２は、ＨＤＤやＲＡＭ等の記憶領域で構成され、検証指示部１０１により指示された検証項目や検証範囲についての設定情報を格納する役割を有している。すなわち、検証部にて行う論理検証の内容を規定する検証ルール情報を記憶する役割を有する（検証ルール情報記憶ステップ）。
【００４２】
検証部１０３は、検証指示データ記憶部１０２に格納されている検証指示部１０１による検証指示の内容に基づいて、検証用データ記憶部１０７に記憶されている検証用データ（論理検証を行う際に処理対象となる）について論理検証を行う。
【００４３】
検証結果記憶部１０４は、ＨＤＤやＲＡＭ等の記憶領域で構成され、検証部１０３による論理検証の結果を格納する役割を有する。
【００４４】
実回路データ記憶部１０５は、ＨＤＤ、ＲＡＭ、ＭＯ等の記憶領域で構成され、現在回路設計が行われているオリジナルの実回路データ（論理回路の設計を行う際に処理対象となる）と、オリジナルの実回路データに対して修正を加えた修正後の実回路データとをそれぞれ別々に格納する役割を有する。この修正後の実回路データは、次に行う修正の際のオリジナルの実回路データとして扱うこともできる。なお、ここではオリジナルの実回路データと修正後の実回路データとを別々に分けて保存する構成となっているが、これに限られるものではなく、修正後の実回路データをオリジナルの実回路データに上書きして、この上書きした実回路データを次に行う修正の際のオリジナルの実回路データとして取り扱うこともできる。
【００４５】
データ変換部１０６は、実回路データから検証用データへの変換および検証用データから実回路データへの変換を行う役割を有する。
【００４６】
検証用データ記憶部１０７は、実回路データから変換された検証用データや、仮修正部１０８において仮修正（検証用データに対して行う修正）された検証用データの内容を記憶する役割を有する。
【００４７】
仮修正部１０８は、後述の仮修正指示データ記憶部１１０に格納されている仮修正候補データおよび検証部１０３における検証結果を取得し、後述の仮修正候補選択部１１３からの指示に基づいて、検証用データ記憶部１０７に格納されている検証用データの仮修正を行う。
【００４８】
仮修正指示部１０９は、ユーザの操作入力に基づき、仮修正部１０８において検証用データに対して行われる仮修正に関する指示を行う役割を有する。具体的には、どのような仮修正を行うかなどの候補（仮修正候補データ）の指示等を行う。ここで指示される仮修正の候補は論理回路に関する設計規約等に基づいて設定されるものであり、候補の数が１つの場合も複数の場合もある。
【００４９】
仮修正指示データ記憶部（修正候補データ記憶部）１１０は、仮修正指示部１０９により指示された仮修正候補データ（指示された仮修正方法に関するデータであり、検証用データの修正に関する候補として検証結果に対応付けて予め設定されている修正候補データに相当）等を記憶する役割を有する（修正候補データ記憶ステップ）。
【００５０】
仮修正箇所判定・反映部１１１は、検証用データ記憶部１０７に格納されている仮修正が行われた検証用データの仮修正箇所の判定を行い、当該検証用データに対して行った仮修正の内容を仮修正情報記憶部１１２に送信するとともに、仮修正版数選択部１１４からの選択指示に基づいて、仮修正情報記憶部１１２に格納されている検証用データに対して行った仮修正の内容のうち選択された版数の仮修正内容を実回路データに反映させる（実修正）役割を有する。
【００５１】
仮修正情報記憶部１１２には、検証用データに対して行った仮修正の内容とこの仮修正を行った検証用データについての論理検証結果とを対応付けて、版数（バージョン）ごとに（版数に対応させて）格納する役割を有する。
【００５２】
仮修正候補選択部１１３は、ユーザの操作入力に基づき、仮修正指示データ記憶部１１０に記憶されている仮修正候補データにおいて挙げられている仮修正方法の候補のうち、任意のものを選択する役割を有している。なお、仮修正候補選択部１１３による仮修正候補の選択が行われるのは、仮修正部において「半自動」での仮修正が行われるときのみである（詳細は後述）。
【００５３】
仮修正版数選択部１１４は、ユーザの操作入力に基づき、仮修正情報記憶部１１２に格納されている検証用データに対して行った複数の仮修正の内容の中から任意の版数のものを選択する役割を有する。
【００５４】
なお、検証指示部１０１、仮修正指示部１０９、仮修正候補選択部１１３および仮修正版数選択部１１４は、それぞれがキーボード、マウス、ディスプレイ等から構成され、ユーザによる操作入力を受け付けるとともに、操作入力の内容および操作入力の対象をユーザに対して表示可能となっている。検証指示部１０１、仮修正指示部１０９、仮修正候補選択部１１３および仮修正版数選択部１１４は、タッチパネルディスプレイによって構成することも可能である。
【００５５】
具体的に、検証指示部１０１では、すでにユーザにより設定され、検証指示データ記憶部１０２に格納されている論理検証項目および論理検証を行う範囲に関する設定情報や、これらの情報を入力または設定するための画面などを表示可能となっている。
【００５６】
仮修正指示部１０９では、すでにユーザにより設定され、仮修正指示データ記憶部１１０に格納されている仮修正候補データの内容や、仮修正候補データを入力または設定するための画面などを表示可能となっている。
【００５７】
仮修正候補選択部１１３では、仮修正部１０８にて仮修正指示データ記憶部１１０から取得された仮修正候補データをユーザが任意に選択可能なように画面表示可能となっている。
【００５８】
仮修正版数選択部１１４では、仮修正情報記憶部１１２に格納されている検証用データに対して行った複数の仮修正の内容と、これらの仮修正の内容それぞれに対する検証結果とをユーザに表示可能となっており、ユーザはこれらの表示に基づいて検証結果を踏まえて任意の版数の仮修正内容を選択可能となっている。
【００５９】
また、検証指示部１０１、仮修正指示部１０９、仮修正候補選択部１１３および仮修正版数選択部１１４は、ここではそれぞれ別個に設けられた構成となっているが、不図示の操作入力部（キーボード、マウスおよびディスプレイ、またはタッチパネルディスプレイ等）によってこれらの機能を実現することも可能である。なお、ユーザは不図示の操作入力部への操作入力により、検証用データに対する仮修正を行うことが可能となっている。
【００６０】
また、不図示の表示部はＣＲＴディスプレイや液晶ディスプレイ等から構成され、不図示の記憶部はＨＤＤ、ＲＡＭ等の記憶領域から構成されている。
【００６１】
続いて、本実施の形態による論理検証装置における処理の流れについて説明する。
【００６２】
図２は、本実施の形態による論理検証装置における処理の流れを示すフローチャートである。
【００６３】
実回路データ記憶部１０５に格納されている設計した実回路データに対して論理検証を行う際、まず論理検証を行おうとする実回路データをデータ変換部１０６により検証用データに変換する（データ変換ステップ）。そして、データ変換されて検証用データ記憶部１０７に格納されている検証用データに対して検証部１０３において論理検証（検証ステップ）を行う（Ｓ１１）。論理検証を行う際の検証内容（どの検証項目を検証するか、どの範囲について検証を行うか等）については、上述のように、検証指示部１０１により予め設定されている。
【００６４】
なお、設定される検証内容として、例えば、各検証項目でエラーになった場合に、当該エラーを検出した時点で論理検証を一時停止し、ユーザが手動で当該エラーが検出された検証用データに対する仮修正を行う仮修正モード（マニュアル）、当該エラーを検出した時点で論理検証を一時停止し、あらかじめ設定されているいくつかの修正候補をユーザが選択し、選択された修正候補に基づく仮修正を当該エラーが検出された検証用データに対して行う仮修正モード（半自動）、当該エラーを検出した時点であらかじめ設定されている仮修正候補に基づく仮修正を当該エラーが検出された検証用データに対して自動的に行い、論理検証を継続する仮修正モード（自動）のうちのいずれかの選択などがある。
【００６５】
もちろん、論理検証を行う範囲の設定として、検証の対象となる回路のうち一部について論理検証を行ったり、所定の範囲についての論理検証をスキップしたりといった設定を行うことも可能である。図３は、検証項目を設定するときの検証指示部１０１における表示例である。なお、上述の仮修正モードの設定については、仮修正指示部１０９において行うことも可能である。
【００６６】
図４〜図６を用いて、論理検証を行う範囲の設定内容について説明する。仮修正後の検証用データに対する論理検証を行う範囲としては、仮修正が検証用データの回路に影響を与える箇所のみが対象となる。よって回路の内容に変更のない範囲については論理検証は行わない。すなわち、検証部は、検証ルール情報に基づいて、検証用データにおける特定の範囲を部分的に検証対象外にする。具体的には、仮修正部により修正された検証用データに対する論理検証を行う場合には、検証ルール情報に基づいて、検証用データにおける該修正による影響がおよぶ範囲のみを検証対象とする。
【００６７】
例えば、回路を構成する構成要素（マクロ）間を繋ぐ接続線（ネット）単位で論理検証を行う場合、ネットを構成するドライバに該当するマクロ、レシーバに該当するマクロに変更があった場合のみ検証を行う。図４に示す回路はマクロＭ１〜Ｍ７と、これらのマクロを繋ぐネットＮ１〜Ｎ３から構成されており、例えば仮修正によりマクロＭ４が変更された場合、ネットＮ１についてはドライバおよびレシーバの変更はなく、ネットＮ２ではレシーバが変更され、ネットＮ３ではドライバが変更されたことになる。よって、論理検証を行う範囲は、範囲Ａ２およびＡ３となる。
【００６８】
この他、回路における任意のマクロ間のパス単位での論理検証を行う場合、その任意のマクロ間の接続状態に変更があった場合のみ検証を行う。図５は、任意のマクロＫ１およびＫ２間の回路の（経路）パスを示しており、当該パスにおいて仮修正による変更のない状態を示している。この状態においては、マクロＫ１およびＫ２間のパスは論理検証の対象範囲とならない。
【００６９】
図６は、任意のマクロＫ１およびＫ２間の回路のパスにおいて仮修正による変更があった（例えば、マクロＫ３が変更された）状態を示している。この状態においては、マクロＫ１およびＫ２間のパスは論理検証の対象範囲となる。
【００７０】
上述のようにして検証用データに対する論理検証を行った結果、得られるエラー情報を不図示の表示部に画面表示した例を図７に示す。本実施の形態では、同図に示すように、論理検証において検出されたエラーの内容（チェック項目とエラーメッセージ等）を不図示の表示部においてリスト表示する。また、リスト表示された各エラー内容を不図示の操作入力部により選択すると、図８に示すように、論理検証が行われた検証用データの回路のうち、その選択されたエラー内容に該当する部分（ここではマクロ（論理回路の構成要素）Ａが該当）が不図示の表示部に回路図表示される。このように、エラー情報をリスト表示し、各エラー内容を回路図表示できるようにすることで、設計者がエラー内容を直感的に把握しやすい。すなわち、従来、論理検証におけるエラー発生箇所に基づいて、解析ツールによるエラー箇所からのｆｏｒｗａｒｄ／ｂａｃｋｗａｒｄトレース等を行いエラー解析や修正を行っていたことによるエラー原因の特定に時間がかかる問題を解決することができる。
【００７１】
論理検証（Ｓ１１）を行った結果、エラーが検出された場合（Ｓ１２，Ｙｅｓ）、当該エラーが検出された検証用データについての仮修正（Ｓ１３）に進む。
【００７２】
仮修正部１０８は、仮修正指示部１０９において設定され、仮修正指示データ記憶部１１０に格納されている仮修正候補データに基づいて、検証用データに対する仮修正（仮修正ステップ）を行う（Ｓ１３）。仮修正を行う際の仮修正の方法については、上述の論理検証のステップ（Ｓ１１）においてエラーが検出された場合、設定されている仮修正モードによる。
【００７３】
以下、本実施の形態において設定可能な３種類の仮修正モードについて説明する。
【００７４】
（１）マニュアル修正
上述のようにリスト表示されるエラー情報（図７参照）と、エラー箇所の回路図表示（図８参照）とに基づいて、ユーザが不図示の操作入力部を用いて手動で検証用データに対する回路の仮修正を行う。
【００７５】
（２）半自動修正
不図示の表示部において、エラー箇所の回路図表示（図８参照）と共に、図９に示すようにあらかじめエラー原因に対応して定義されている修正方法の候補の一覧が表示され、ユーザが仮修正候補選択部１１３によりこれら修正候補の一覧の中から任意の修正候補を選択（修正候補データ選択ステップ）して仮修正を行う。すなわち、ユーザの操作入力に基づき、仮修正部にて取得された検証結果に対応付けて仮修正指示データ記憶部に記憶されている仮修正候補データのうち、任意の仮修正候補データを選択するための仮修正候補選択部とを有し、仮修正部は、仮修正候補選択部により選択された任意の仮修正候補データに基づいて検証用データの修正を行う。
【００７６】
（３）自動修正
あらかじめエラー原因に対応して定義されている修正方法に基づいて自動的に検証用データの仮修正を行う。ここで、当該エラー原因に対する修正案が複数存在する場合には、これらの修正案の中から１つの修正候補を選択するための選択条件を定義しておく（図１０参照）。この選択条件に関するデータは、仮修正指示データ記憶部１１０に格納されており、仮修正候補データは検証部における検証結果および選択条件（所定の選択条件）に対応付けられている。ここでは、選択条件により「修正方法１」が自動選択される例を示している。このようにして、検出されたエラーの原因と選択条件に基づいて、回路の仮修正（例えば、マクロＡからマクロＢへの変更など）を自動で行う（図１１参照）。すなわち、仮修正部は、取得された検証結果および所定の選択条件に基づいて仮修正指示データ記憶部に記憶されている仮修正候補データを選択し、該選択した仮修正候補データに基づいて検証用データの仮修正を行う。
【００７７】
これら「半自動修正」および「自動修正」によれば、人手による修正であることを原因とする修正ミスの発生を抑制することができる。
【００７８】
このようにして仮修正された検証用データは検証用データ記憶部１０７に格納される。
【００７９】
続いて、上述のステップ（Ｓ１３）において仮修正された検証用データに対して検証部１０３による論理検証を行う（Ｓ１４）。
【００８０】
仮修正された検証用データの論理検証において、論理検証エラーが検出された場合（Ｓ１５，Ｙｅｓ）、検出されたエラーの内容を不図示の表示部に表示し（Ｓ１６）、再度仮修正処理（Ｓ１３）に進む。
【００８１】
一方、論理検証エラーが検出されなかったが（Ｓ１５，Ｎｏ）、別の仮修正候補を試す場合（Ｓ１７，Ｙｅｓ）にも、再度仮修正処理（Ｓ１３）に進む。
【００８２】
仮修正した内容を実回路データに反映する場合（Ｓ１８，Ｙｅｓ）、仮修正箇所判定・反映部１１１によって、実回路データに反映させようとする仮修正の内容をデータ変換部１０６を介して実回路データに反映させ、実回路データ記憶部１０５に格納する（Ｓ１９）。
【００８３】
仮修正した内容を実回路データに反映しない場合（Ｓ１８，Ｎｏ）、仮修正箇所判定・反映部１１１は、検証用データに対して行った仮修正の内容を検証結果と共に仮修正情報記憶部１１２に格納させる（Ｓ２０）。このようにして、仮修正情報記憶部１１２には検証用データに対して行った仮修正の内容が仮修正の版数によって区別して格納されてゆく（仮修正情報記憶ステップ）。
【００８４】
なお、論理検証（Ｓ１１）を行った結果、エラーが検出されなかった場合（Ｓ１２，Ｎｏ）、当該検証用データの内容のままで、データ変換部１０６による実回路データへの変換を行う（Ｓ１９）。
【００８５】
上述のように、検出用データに対して行った仮修正の内容と検証結果とを対応付けて版数管理することにより、過去に行ったいくつかの仮修正結果の中から、その検証結果を踏まえつつ、仮修正版数選択部１１４にて表示される仮修正版数管理画面（図１２参照）において、任意の版数の仮修正が行われた検証用データを選択（仮修正版数選択ステップ）して回路図表示させたり（同図では「版数２」を選択）、実回路データに反映させたりすることが可能となる。
【００８６】
図１３は、仮修正版数選択部１１４により任意に選択された版数の仮修正が行われた検証用データの内容を回路図表示すると共に、当該版数の仮修正内容に対する検証結果を仮修正版数選択部１１４もしくは不図示の表示部にて表示している例を示している。
【００８７】
また、仮修正版数選択部１１４にて表示される仮修正版数管理画面において、任意の版数の仮修正内容を選択し、選択した検証用データを図１４に示すように仮修正の内容を検証用データ内にコメント形式で付加したデータを出力させることもできる。同図では、検証用データにおける仮修正前の行をｂ、仮修正後の行をａで表している。ここでは、仮修正の内容を検証用データ内にコメント形式で付加する役割および当該データを出力する役割は仮修正箇所判定・反映部１１１が有する構成となっている。
【００８８】
なお、ここで任意に選択された版数の仮修正内容が反映された論理回路の検証用データは、修正後の実回路データとして、修正前の実回路データとは別に実回路データ記憶部１０５に格納することが好ましいが、これに限られるものではなく、修正前の実回路データに対して上書きするかたちで実回路データ記憶部１０５に格納することも可能である。
【００８９】
このように、実回路データに対する論理検証エラーが検出された場合でも、実回路データの修正作業を行うことなく、検証用データに対する修正と論理検証を行うことにより論理回路の検証作業を続行することができる。これにより、重大なエラーに隠れていた他のエラー等をすべて検出することが可能となる。また、実回路データに対して、修正と論理検証を繰り返し行う必要がないため、データ変換に要する時間を短縮することができ、ひいては論理設計工数を削減することができる。
【００９０】
続いて、上記構成による論理検証装置における論理検証の具体例について述べる。図１５に、設計した論理回路における指定経路上の回路構成を検証する場合（クロック分配系の接続規約チェック）を示す。
【００９１】
同図に示す回路は入力マクロ１５１、第１分配マクロ１５２、第２分配マクロ１５３、第３分配マクロ１５４、ＦＦ１５５、ＦＦ１５６、ＦＦ１５７、ＦＦ１５８およびマクロ１５９を有している。同図では、第１分配マクロ１５２、第２分配マクロ１５３およびマクロ１５９に対して定義されている、論理検証エラーが発生した場合に代わりに使用可能なマクロの候補Ｐ１〜Ｐ３が示されている。
【００９２】
入力マクロ１５１を始点とする論理検証を行う場合、第１分配マクロ１５２にエラーがあると、第１分配マクロ１５２に対応付けて定義されている仮修正候補としてのマクロに変更する。ここでは仮修正候補Ｐ１は１つのマクロのみなので、この候補のマクロ「ＣＫＤＶ１」に自動的に変更される（自動修正）。
【００９３】
上述のマクロの変更により第１分配マクロ１５２における論理検証エラーが解消されると、論理検証は第２分配マクロ１５３へと進む。ここでは、第２分配マクロ１５３に対して複数の仮修正候補（「ＣＫＤＶ２Ａ」および「ＣＫＤＶ２Ｂ」）Ｐ２が対応付けられており、第２分配マクロ１５３にエラーがあると、仮修正候補選択部１１３において複数の仮修正候補Ｐ２を表示し、ユーザに仮修正候補Ｐ２のうちのいずれか１つのマクロを選択させる（半自動修正）。
【００９４】
上述のマクロの変更により第２分配マクロ１５３における論理検証エラーが解消されると、論理検証は第３分配マクロ１５４およびマクロ１５９への経路へと進む。ここでは、マクロ１５９に対して複数の仮修正候補（「ＣＫＤＶ３Ａ」および「ＣＫＤＶ３Ｂ」）Ｐ２が分岐条件付きで定義されており、マクロ１５９にエラーがあると、当該分岐条件に基づいて自動的に仮修正候補を選択し、仮修正を行う（自動修正）。
【００９５】
図１６〜図１８は、任意の始点から終点までのパスの論理検証を行う場合について説明するための図である。図１６では、始点から終点までのパスにマクロ１６１（ＡＮＤ）が配置されている状態を示している。この始点から終点までの範囲に対して論理検証を行った結果、マクロ１６１にて論理検証エラーが発生した場合、仮修正候補選択部１１３にマクロ１６１に対応付けて定義されている仮修正候補（ここでは「マクロ１６２に置換」、「ネットＢにインバータ挿入」の２つ）が表示される。
【００９６】
図１７は、仮修正候補として「マクロ１６２に置換」を選択した状態を示す図である。同図に示すようにマクロ１６１がマクロ１６２に変更されている。これにより始点から終点までのパスが活性化する。
【００９７】
図１８は、仮修正候補として「ネットＢにインバータ挿入」を選択した状態を示す図である。同図に示すようにインバータ１６３がネットＢに挿入されている。これにより始点から終点までのパスが活性化する。
【００９８】
以上、本発明によれば、論理回路の設計期間の短縮および論理回路修正の容易化を実現することができる。また、重大な検証エラーにより他に存在するエラーの論理検証が行えないといったことがなく、回路全体についての検証が可能となる。また、論理回路の修正箇所が与える影響を検証することが可能であり、回路の修正後に発生する新たな論理検証エラーをも検証用データの段階で検出することができる。
【００９９】
この他、回路の修正方法が複数存在する場合に、それぞれの修正案を容易に試すことができ、最適な修正案を適用することができるため、論理回路検証後の修正と検証の繰り返し運用が不要となる。すなわち、仮修正によって検証済みの修正内容を実回路データに反映することができる。
【０１００】
また、修正候補を修正候補選択部において表示し、選択可能とすることで、論理設計の初心者でも容易に論理回路の仮修正を行うことが可能となる。
（付記１）論理回路の設計を行う際に処理対象となる実回路データと論理検証を行う際に処理対象となる検証用データとの間でのデータ変換を行うデータ変換部と、
前記検証用データに対して論理検証を行う検証部と、
前記検証部における検証結果および前記検証用データの修正に関する候補として該検証結果に対応付けて予め設定された修正候補データを取得し、該取得した前記検証結果および修正候補データに基づいて、前記検証用データの修正を行う仮修正部と
を備えてなる論理検証装置。
（付記２）付記１に記載の論理検証装置において、
前記修正候補データを前記検証部における検証結果に対応付けて記憶する修正候補データ記憶部と、
ユーザの操作入力に基づき、前記仮修正部にて取得された検証結果に対応付けて前記修正候補データ記憶部に記憶されている修正候補データのうち、任意の修正候補データを選択するための修正候補データ選択部とを有し、
前記仮修正部は、前記修正候補データ選択部により選択された任意の修正候補データに基づいて前記検証用データの修正を行う論理検証装置。
（付記３）付記１に記載の論理検証装置において、
前記修正候補データを前記検証部における検証結果および所定の選択条件に対応付けて記憶する修正候補データ記憶部を有し、
前記仮修正部は、前記取得された検証結果および所定の選択条件に基づいて前記修正候補データ記憶部に記憶されている修正候補データを選択し、該選択した修正候補データに基づいて前記検証用データの修正を行う論理検証装置。
（付記４）付記１に記載の論理検証装置において、
前記仮修正部により検証用データに対して行われた修正内容を版数に対応させて記憶する仮修正情報記憶部と、
ユーザの操作入力に基づき、前記仮修正情報記憶部に記憶されている修正内容のうち、任意の版数の修正内容を選択し、該選択した修正内容を前記実回路データに反映させるための仮修正版数選択部とを有する論理検証装置。
（付記５）付記１に記載の論理検証装置において、
前記検証部にて行う論理検証の内容を規定する検証ルール情報を記憶する検証ルール情報記憶部を有し、
前記検証部は、前記検証ルール情報に基づいて、検証用データにおける特定の範囲を部分的に検証対象外にする論理検証装置。
（付記６）付記１に記載の論理検証装置において、
前記検証部にて行う論理検証の内容を規定する検証ルール情報を記憶する検証ルール情報記憶部を有し、
前記検証部は、前記仮修正部により修正された検証用データに対する論理検証を行う場合には、前記検証ルール情報に基づいて、検証用データにおける該修正による影響がおよぶ範囲のみを検証対象とする論理検証装置。
（付記７）論理回路の設計を行う際に処理対象となる実回路データを、論理検証を行う際に処理対象となる検証用データに変換するデータ変換ステップと、
前記検証用データに対して論理検証を行う検証ステップと、
前記検証ステップにおける検証結果および前記検証用データの修正に関する候補として該検証結果に対応付けて予め設定された修正候補データを取得し、該取得した前記検証結果および修正候補データに基づいて、前記検証用データの修正を行う仮修正ステップと
を備えてなる論理検証方法。
（付記８）付記７に記載の論理検証方法において、
前記修正候補データを前記検証ステップにおける検証結果に対応付けて記憶する修正候補データ記憶ステップと、
ユーザの操作入力に基づき、前記仮修正ステップにて取得された検証結果に対応付けて前記修正候補データ記憶ステップにて記憶されている修正候補データのうち、任意の修正候補データを選択するための修正候補データ選択ステップとを有し、
前記仮修正ステップは、前記修正候補データ選択ステップにおいて選択された任意の修正候補データに基づいて前記検証用データの修正を行う論理検証方法。
（付記９）付記７に記載の論理検証方法において、
前記修正候補データを前記検証ステップにおける検証結果および所定の選択条件に対応付けて記憶する修正候補データ記憶ステップを有し、
前記仮修正ステップは、前記取得された検証結果および所定の選択条件に基づいて前記修正候補データ記憶ステップにて記憶されている修正候補データを選択し、該選択した修正候補データに基づいて前記検証用データの修正を行う論理検証方法。
（付記１０）付記７に記載の論理検証方法において、
前記仮修正ステップにおいて検証用データに対して行われた修正内容を版数に対応させて記憶する仮修正情報記憶ステップと、
ユーザの操作入力に基づき、前記仮修正情報記憶ステップにて記憶されている修正内容のうち、任意の版数の修正内容を選択し、該選択した修正内容を前記実回路データに反映させるための仮修正版数選択ステップとを有する論理検証方法。
（付記１１）付記７に記載の論理検証方法において、
前記検証ステップにて行う論理検証の内容を規定する検証ルール情報を記憶する検証ルール情報記憶ステップを有し、
前記検証ステップは、前記検証ルール情報に基づいて、検証用データにおける特定の範囲を部分的に検証対象外にする論理検証方法。
（付記１２）付記７に記載の論理検証方法において、
前記検証ステップにて行う論理検証の内容を規定する検証ルール情報を記憶する検証ルール情報記憶ステップを有し、
前記検証ステップは、前記仮修正ステップにおいて修正された検証用データに対する論理検証を行う場合には、前記検証ルール情報に基づいて、検証用データにおける該修正による影響がおよぶ範囲のみを検証対象とする論理検証方法。
（付記１３）論理回路の設計を行う際に処理対象となる実回路データを、論理検証を行う際に処理対象となる検証用データに変換するデータ変換ステップと、
前記検証用データに対して論理検証を行う検証ステップと、
前記検証ステップにおける検証結果および前記検証用データの修正に関する候補として該検証結果に対応付けて予め設定された修正候補データを取得し、該取得した前記検証結果および修正候補データに基づいて、前記検証用データの修正を行う仮修正ステップと
をコンピュータに実行させることを特徴とする論理検証プログラム。
（付記１４）付記１３に記載の論理検証プログラムにおいて、
前記修正候補データを前記検証ステップにおける検証結果に対応付けて記憶する修正候補データ記憶ステップと、
ユーザの操作入力に基づき、前記仮修正ステップにて取得された検証結果に対応付けて前記修正候補データ記憶ステップにて記憶されている修正候補データのうち、任意の修正候補データを選択するための修正候補データ選択ステップとを有し、
前記仮修正ステップは、前記修正候補データ選択ステップにおいて選択された任意の修正候補データに基づいて前記検証用データの修正を行う論理検証プログラム。
（付記１５）付記１３に記載の論理検証プログラムにおいて、
前記修正候補データを前記検証ステップにおける検証結果および所定の選択条件に対応付けて記憶する修正候補データ記憶ステップを有し、
前記仮修正ステップは、前記取得された検証結果および所定の選択条件に基づいて前記修正候補データ記憶ステップにて記憶されている修正候補データを選択し、該選択した修正候補データに基づいて前記検証用データの修正を行う論理検証プログラム。
（付記１６）付記１３に記載の論理検証プログラムにおいて、
前記仮修正ステップにおいて検証用データに対して行われた修正内容を版数に対応させて記憶する仮修正情報記憶ステップと、
ユーザの操作入力に基づき、前記仮修正情報記憶ステップにて記憶されている修正内容のうち、任意の版数の修正内容を選択し、該選択した修正内容を前記実回路データに反映させるための仮修正版数選択ステップとを有する論理検証プログラム。
（付記１７）付記１３に記載の論理検証プログラムにおいて、
前記検証ステップにて行う論理検証の内容を規定する検証ルール情報を記憶する検証ルール情報記憶ステップを有し、
前記検証ステップは、前記検証ルール情報に基づいて、検証用データにおける特定の範囲を部分的に検証対象外にする論理検証プログラム。
（付記１８）付記１３に記載の論理検証プログラムにおいて、
前記検証ステップにて行う論理検証の内容を規定する検証ルール情報を記憶する検証ルール情報記憶ステップを有し、
前記検証ステップは、前記仮修正ステップにおいて修正された検証用データに対する論理検証を行う場合には、前記検証ルール情報に基づいて、検証用データにおける該修正による影響がおよぶ範囲のみを検証対象とする論理検証プログラム。
【図面の簡単な説明】
【０１０１】
【図１】本発明の実施の形態による論理検証装置の全体構成を示す機能ブロック図である。
【図２】本実施の形態による論理検証装置における処理の流れを示すフローチャートである。
【図３】検証項目を設定するときの検証指示部における表示例である。
【図４】論理検証を行う範囲の設定内容について説明するための図である。
【図５】論理検証を行う範囲の設定内容について説明するための図である。
【図６】論理検証を行う範囲の設定内容について説明するための図である。
【図７】論理検証を行った結果得られるエラー情報を不図示の表示部に画面表示した例である。
【図８】選択されたエラー内容に該当する部分が不図示の表示部に回路図表示されている例である。
【図９】エラー原因に対応して定義されている修正方法の候補一覧の表示例である。
【図１０】検証用データの自動修正について説明するための図である。
【図１１】検証用データの自動修正について説明するための図である。
【図１２】仮修正版数選択部にて表示される仮修正版数管理画面を示す図である。
【図１３】任意に選択された版数の仮修正内容の回路図表示と、当該版数の仮修正内容に対する検証結果の表示の例である。
【図１４】仮修正の内容を検証用データ内にコメント形式で付加したデータの一例を示す図である。
【図１５】設計した回路図面における指定経路上の回路構成の論理検証について説明するための図である。
【図１６】任意の始点から終点までのパスの論理検証を行う場合について説明するための図である。
【図１７】任意の始点から終点までのパスの論理検証を行う場合について説明するための図である。
【図１８】任意の始点から終点までのパスの論理検証を行う場合について説明するための図である。
【図１９】従来の論理検証装置について説明するための図である。
【符号の説明】
【０１０２】
１０１  検証指示部、１０２  検証指示データ記憶部、１０３  検証部、１０４  検証結果記憶部、１０５  実回路データ記憶部、１０６  データ変換部、１０７  検証用データ記憶部、１０８  仮修正部、１０９  仮修正指示部、１１０  仮修正指示データ記憶部、１１１  仮修正箇所判定・反映部、１１２  仮修正情報記憶部、１１３  仮修正候補選択部、１１４  仮修正版数選択部。
【図１】
2005284751.tif 000003
【図２】
2005284751.tif 000004
【図３】
2005284751.tif 000005
【図４】
2005284751.tif 000006
【図５】
2005284751.tif 000007
【図６】
2005284751.tif 000008
【図７】
2005284751.tif 000009
【図８】
2005284751.tif 000010
【図９】
2005284751.tif 000011
【図１０】
2005284751.tif 000012
【図１１】
2005284751.tif 000013
【図１２】
2005284751.tif 000014
【図１３】
2005284751.tif 000015
【図１４】
2005284751.tif 000016
【図１５】
2005284751.tif 000017
【図１６】
2005284751.tif 000018
【図１７】
2005284751.tif 000019
【図１８】
2005284751.tif 000020
【図１９】
2005284751.tif 000021