(57)【要約】【課題】カバレッジのデバッグを簡単に行え、検証効率を向上できること。【解決手段】検証の対象回路の所定の事象発生の有無を示すカバレッジ抽出用の記述が付加された論理回路記述の論理シミュレーション結果の波形情報１００と、波形情報１００の信号名および信号値を表示装置に表示し、波形情報１００から対象回路で所定の事象の有無を示すカバーポイント名１０１と、カバーポイントのとり得る値１０２およびとり得ない値１０３を抽出し、時刻とカバーポイントととり得る値およびとり得ない値とを結び付けて生成したカバーグループ波形情報を、波形情報１００と同一時間軸で表示装置に表示する情報制御部を備える。【選択図】図１Ａ
2016081397.tif 000002
【特許請求の範囲】
【請求項１】
検証の対象回路の所定の事象発生の有無を示すカバレッジ抽出用の記述が付加された論理回路記述の論理シミュレーション結果の波形情報と、当該波形情報の信号名および信号値を表示装置に表示し、
前記波形情報から前記対象回路で所定の事象の有無を示すカバーポイントと、前記カバーポイントのとり得る値およびとり得ない値を抽出し、時刻と前記カバーポイントと前記とり得る値およびとり得ない値とを結びつけて生成したカバーグループ波形情報を、前記波形情報と同一時間軸で前記表示装置に表示する情報制御部、
を備えたことを特徴とする設計検証支援装置。
【請求項２】
前記情報制御部は、
前記波形情報に基づき、前記カバーポイントのカバーポイント名毎に対応する信号名と、当該信号名に対応する信号の変化した信号値および変化時刻を抽出し、前記カバーグループ波形情報を生成することを特徴とする請求項１に記載の設計検証支援装置。
【請求項３】
前記情報制御部は、
前記波形情報の前記カバーポイント名毎に、前記信号の変化した信号値および変化時刻を抽出し、前記信号の信号値を前記各カバーポイントの前記とり得る値およびとり得ない値に置き換えた波形情報を生成し、
前記置き換えた波形情報のうち、前記とり得る値およびとり得ない値が変化している時刻だけを残して前記カバーグループ波形情報を生成することを特徴とする請求項２に記載の設計検証支援装置。
【請求項４】
前記情報制御部は、
前記カバーポイントのとり得ない値の出現回数をカウントし、カウンタ値を前記各カバーポイントのとり得ない値毎の固有名に対応付けて、前記置き換えた波形情報に付加することを特徴とする請求項３に記載の設計検証支援装置。
【請求項５】
前記情報制御部は、
前記カバーポイントのとり得ない値を前記表示装置に強調表示することを特徴とする請求項１〜４のいずれか一つに記載の設計検証支援装置。
【請求項６】
前記情報制御部は、
前記カバーグループ波形情報と、前記対象回路の検証項目を示す複数の前記カバーポイントを組み合わせた検証項目表のクロスポイントのカウント値とを対応付けた項目表情報と、を前記表示装置に表示出力することを特徴とする請求項１〜５のいずれか一つに記載の設計検証支援装置。
【請求項７】
前記情報制御部は、
前記カバーグループ波形情報を表示した前記表示装置上で指定した時刻範囲に対応して前記検証項目表のカウント値を変更することを特徴とする請求項６に記載の設計検証支援装置。
【請求項８】
前記情報制御部は、
前記検証項目表の作成時に、前記波形情報に基づきクロックが立ち上がりのときの信号名と信号値を抽出し、
前記波形情報からカバレッジ取得タイミングの時刻と、前記各カバーポイントに対応する前記信号の前記カバレッジ取得タイミングにおける信号値とを抽出し、
前記信号値を前記各カバーポイントの前記とり得る値およびとり得ない値に置き換えて前記項目表情報を生成することを特徴とする請求項６または７に記載の設計検証支援装置。
【請求項９】
前記情報制御部は、
前記置き換え時に、前記カバレッジ取得タイミングの時刻に前記信号が変化していない場合は、直前の変化時刻の信号値を用いて補完することを特徴とする請求項８に記載の設計検証支援装置。
【請求項１０】
前記情報制御部は、
前記表示装置に表示された前記検証項目表上の任意の前記クロスポイントの選択時には、該当するカバレッジが埋まった時刻を前記項目表情報から検索し、該当する時刻を前記波形情報上で前記表示装置にマーカー表示することを特徴とする請求項８または９に記載の設計検証支援装置。
【請求項１１】
前記情報制御部は、
前記表示装置に表示出力する一方の前記カバーグループ波形情報あるいは他方の前記項目表情報に対するデータ変更時の情報を連携情報として保持し、いずれか一方の情報のデータ変更時に前記連携情報を参照し、他方の情報のデータ変更に用いることを特徴とする請求項６〜１０のいずれか一つに記載の設計検証支援装置。
【請求項１２】
コンピュータが、
検証の対象回路の所定の事象発生の有無を示すカバレッジ抽出用の記述が付加された論理回路記述の論理シミュレーション結果の波形情報と、当該波形情報の信号名および信号値を表示装置に表示させる処理と、
前記波形情報から前記対象回路で所定の事象の有無を示すカバーポイントと、前記カバーポイントのとり得る値およびとり得ない値を抽出し、時刻と前記カバーポイントと前記とり得る値およびとり得ない値とを結びつけて生成したカバーグループ波形情報を、前記波形情報と同一時間軸で前記表示装置に表示させる処理と、
を実行することを特徴とする設計検証支援方法。
【請求項１３】
前記カバーグループ波形情報と、前記対象回路の検証項目を示す複数の前記カバーポイントを組み合わせた検証項目表のクロスポイントのカウント値とを対応付けた項目表情報と、を前記表示装置に表示出力する処理、
をさらに含むことを特徴とする請求項１２に記載の設計検証支援方法。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、論理シミュレーション結果のデバッグを支援する設計検証支援装置および設計検証支援方法に関する。
【背景技術】
【０００２】
ＬＳＩ開発では、設計仕様を基にレジスタ・トランスファ・レベル（ＲＴＬ）と呼ばれる記述方法を用い、論理式を組合せて回路の論理を表現する。ＲＴＬで設計された論理回路が仕様どおりの機能・動作を実現できているかどうかを検証するために、計算機を用いて論理シミュレーションを実行する。また、対象ＬＳＩの仕様から機能や動作を検証項目として抽出し、検証項目表を作成する。作成した検証項目表を論理シミュレーションに適用し、機能や動作を実現できているか否かを検証する。このとき、検証の網羅性、すなわち、検証漏れがないことを確認する。
【０００３】
検証の網羅性の尺度として、例えば、カバレッジを用いる。カバレッジとは、ある条件、動作、状態が発生したか否かを表す指標であり、カバーポイント名、各カバーポイントのとり得る値（ｂｉｎｓ値）およびとり得ない値（ｉｌｌｅｇａｌ＿ｂｉｎｓ値）等を有する。カバレッジを用いることで、検証対象において、期待する条件、動作、状態が発生したか、あるいは、期待しない条件、動作、状態が発生していないかを確認できるようになる。検証の網羅性のカバレッジは、例えば、以下の手順で取得する。
【０００４】
１．検証項目を論理シミュレータに入力するために、ＳｙｓｔｅｍＶｅｒｉｌｏｇ言語のカバーグループ（ｃｏｖｅｒｇｒｏｕｐ）記述を用いて検証項目を記述する。
２．上記１．の記述を入力として、論理シミュレーションを実行する。
３．上記２．のシミュレーション結果を入力として、カバレッジ解析ツールでカバレッジを取得する。
【０００５】
そして、取得したカバレッジを基に、上記１．カバーグループで記述した検証項目がカバーされたときの時刻や信号値の確認、カバーされるべきではない検証項目がカバーされた条件の確認、等のデバッグをすることがある。このとき、上記３．で用いるカバレッジ解析ツールでは、カバー時刻や信号値が表示されないため、これらカバー時刻や信号値を確認するときには、波形ビューアを使用する。
【０００６】
論理シミュレーション結果である波形の生成機能は、波形データベースとして検証支援（ＥＤＡ：Ｅｌｅｃｔｒｏｎｉｃ  Ｄｅｓｉｇｎ  Ａｕｔｏｍａｔｉｏｎ）ツールの提供各社が実現している。また、波形表示（信号名と信号値）機能についても、波形ビューアとして検証支援ツールの提供各社が実現している。
【０００７】
例えば、検証支援の技術として、シミュレーションの実行内容の違いを識別する識別番号を設定し、カバレッジ情報に、特定された条件を検証したシミュレーションの識別番号と、検証済みを表すフラグとを関連付ける技術がある。また、検証対象回路の信号に基づく回路動作を定義する情報と回路動作の制約条件が記述された制御ファイルを用いて動作シミュレーション中のイベントの発生を検証する項目と発生違反を検証する項目とを関連付けた項目表を生成し記憶する技術がある。また、時系列的に与えられた複数のテスト入力の組合せに関するカバレッジを測定する技術がある（例えば、下記特許文献１〜３参照。）。
【先行技術文献】
【特許文献】
【０００８】
【特許文献１】特開２０１０−２６７２０９号公報
【特許文献２】特開２０１３−２０６０３３号公報
【特許文献３】特開２００３−３４５８５５号公報
【発明の概要】
【発明が解決しようとする課題】
【０００９】
しかしながら、従来の技術では、波形ビューアにカバレッジ（カバーポイント名、各カバーポイントのとり得る値およびとり得ない値）を表示できない。また、複数のカバーポイントの組合せであるクロスカバレッジの埋まった時刻を波形上で簡単に見つけることができない。このように、従来は波形ビューア上で、信号名とカバーグループ内の情報を信号波形と関連付けて共に表示することができないため、波形ビューアとカバレッジ解析ツールとをそれぞれ操作確認する必要があった。これにより、カバーグループを使った際に簡単にカバレッジのデバッグを行えず、検証効率を向上させることができなかった。
【００１０】
一つの側面では、本発明は、カバレッジのデバッグを簡単に行え、検証効率を向上できることを目的とする。
【課題を解決するための手段】
【００１１】
一つの案では、検証の対象回路の所定の事象発生の有無を示すカバレッジ抽出用の記述が付加された論理回路記述の論理シミュレーション結果の波形情報と、当該波形情報の信号名および信号値を表示装置に表示し、前記波形情報から前記対象回路で所定の事象の有無を示すカバーポイントと、前記カバーポイントのとり得る値およびとり得ない値を抽出し、時刻と前記カバーポイントと前記とり得る値およびとり得ない値とを結びつけて生成したカバーグループ波形情報を、前記波形情報と同一時間軸で前記表示装置に表示する情報制御部を備えたことを要件とする。
【発明の効果】
【００１２】
一つの実施の形態によれば、カバレッジのデバッグを簡単に行え、検証効率を向上できる。
【図面の簡単な説明】
【００１３】
【図１Ａ】図１Ａは、実施の形態にかかる設計検証支援装置の表示出力例を示す図（その１）である。
【図１Ｂ】図１Ｂは、実施の形態にかかる設計検証支援装置の表示出力例を示す図（その２）である。
【図２】図２は、実施の形態にかかる設計検証支援装置の機能的構成例を示すブロック図である。
【図３】図３は、検証対象の記述例を示す図である。
【図４】図４は、カバーグループの記述例を示す図である。
【図５】図５は、クロスカバレッジ表にカバレッジ解析ツールの結果を反映した例を示す図表である。
【図６】図６は、論理シミュレーション結果の波形表示例を示す図である。
【図７】図７は、カバーグループ情報の一例を示す図である。
【図８Ａ】図８Ａは、カバーグループ波形情報の生成を説明する図（その１）である。
【図８Ｂ】図８Ｂは、カバーグループ波形情報の生成を説明する図（その２）である。
【図９】図９は、カバーされた検証項目の確認処理の例を示すフローチャートである。
【図１０】図１０は、項目表情報の生成を説明する図である。
【図１１】図１１は、項目表の表示状態を示す図表である。
【図１２】図１２は、波形情報と項目表の連携表示を説明する図（その１）である。
【図１３】図１３は、波形情報と項目表の連携表示を説明する図（その２）である。
【図１４】図１４は、カバーされた検証項目の確認処理の例を示すフローチャートである。
【図１５】図１５は、実施の形態にかかる設計検証支援装置のハードウェア構成例を示すブロック図である。
【図１６】図１６は、カバーグループ波形情報生成の処理内容を示すフローチャートである。
【図１７】図１７は、カバーグループ波形表示制御の処理内容を示すフローチャートである。
【図１８】図１８は、項目表情報生成の処理内容を示すフローチャートである。
【図１９】図１９は、項目表表示制御の処理内容を示すフローチャートである。
【発明を実施するための形態】
【００１４】
以下に添付図面を参照して、この発明にかかる設計検証支援装置および変換方法の実施の形態を詳細に説明する。
【００１５】
（設計検証支援装置の表示出力例）
図１Ａ，図１Ｂは、実施の形態にかかる設計検証支援装置の表示出力例を示す図である。実施の形態の設計検証支援装置は、図１Ａに示すように、Ａ．既存の論理シミュレーション実行結果の波形情報（信号波形）１００と同一時間軸上に、カバーグループ（ｃｏｖｅｒｇｒｏｕｐ）内の情報であるカバーポイント名１０１を含み表示できるようにする。
【００１６】
また、図１Ｂに示すように、Ａ．の波形情報１００と、Ｂ．項目表１１０とを同一画面上に表示できるようにする。また、Ｂ．項目表１１０のクロスカバレッジ部が埋まった箇所を波形情報１００上で確認できるようにする。
【００１７】
図１Ａに示すように、既存の信号名（ｃｌｋ，ａｄｄｒ）と信号値の波形情報１００が表示される。そして、この実施の形態では、さらに、カバーグループ（ｃｏｖｅｒｇｒｏｕｐ）で使用されるカバーポイント名（図１の例ではアドレスＡＤＤＲ）１０１と、各カバーポイントのとり得る値（ｂｉｎｓ値）１０２を表示する。また、各カバーポイントのとり得ない値（ｉｌｌｅｇａｌ＿ｂｉｎｓ値）１０３を表示する。
【００１８】
各カバーポイントのとり得ない値（ｉｌｌｅｇａｌ＿ｂｉｎｓ値）１０３は、表示色を異ならせる等してハイライト表示（強調表示）させる。さらに、各カバーポイントのとり得ない値（ｉｌｌｅｇａｌ＿ｂｉｎｓ値）の発生回数１０４を表示する。この強調表示により、カバーポイントのとり得ない値の発生時刻を簡単に確認できるようになる。
【００１９】
また、図１Ｂ（１）に示すように波形情報１００の表示に加え、表示している波形情報１００に対応する項目表１１０を表示する（波形と項目表の連携）。波形情報１００は、図１Ａの内容を表示する。項目表１１０は、クロスカバレッジ部が埋まった回数を表示する。例えば、図１Ｂ（２）に示す項目表１１０では、図１Ｂ（１）の波形の全時刻Ｔ０におけるクロスカバレッジ部が埋まった回数を表示する。
【００２０】
また、図１Ｂ（３）に示す項目表１１０では、図１Ｂ（１）の所定（時刻）範囲Ｔ１を波形情報１００上で指定した場合の値であり、時刻範囲の変更により項目表の値は図１Ｂ（２）から変化する。
【００２１】
（設計検証支援装置の機能的構成例）
図２は、実施の形態にかかる設計検証支援装置の機能的構成例を示すブロック図である。設計検証支援装置２００は、カバーグループ情報取得部２０１と、カバーグループ情報（格納部）２０２と、表示操作入力部２０３と、表示操作入力情報（格納部）２０４と、カバーグループ情報制御部２０５と、を含む。
【００２２】
実施の形態の設計検証支援装置２００は、論理シミュレーション結果の波形情報１００の表示に加えて、既存のカバレッジ解析ツールで表示するカバレッジと、波形ビューアで表示する波形情報と、を含みいずれも表示し、かつ、カバレッジと波形情報とを互いに連携させて表示する機能を有する。
【００２３】
カバーグループ情報制御部２０５以外の構成部である、カバーグループ情報取得部２０１、カバーグループ情報（格納部）２０２、表示操作入力部２０３、表示操作入力情報（格納部）２０４は、既存の論理シミュレータが備える機能に相当する。
【００２４】
実施の形態では、カバーグループ情報制御部２０５をさらに備える。カバーグループ情報制御部２０５は、カバーグループ波形情報生成部２１１と、カバーグループ波形情報（格納部）２１２と、カバーグループ波形表示制御部２１３と、項目表情報生成部２１４と、項目表情報（格納部）２１５と、項目表表示制御部２１６と、連携情報（格納部）２１７と、を含む。図１Ａ，図１Ｂに示した波形情報１００と、項目表１１０は、カバーグループ波形情報２１２と、項目表情報２１５の表示内容に相当する。
【００２５】
対象ＬＳＩの検証で用いるＳｙｓｔｅｍＶｅｒｉｌｏｇ等の言語のソースコード２２２は、カバーグループ情報取得部２０１に入力される。カバーグループ情報取得部２０１は、ソースコード２２２に基づき、カバーグループの情報を取得し、格納部にカバーグループ情報２０２を格納する。
【００２６】
カバーグループ情報制御部２０５は、検証対象回路の波形情報２２１と、格納部に格納されたカバーグループ情報２０２とに基づき、カバーグループ波形情報２１２と、項目表情報２１５を生成する。そして、カバーグループ情報制御部２０５は、これらカバーグループ波形情報２１２（波形情報１００）と項目表情報２１５（項目表１１０）とを連携させて表示出力する。例えば、カバーグループ波形表示制御部２１３と項目表表示制御部２１６は、単一のディスプレイ２３２上の同一画面上に波形情報１００と項目表１１０とを共に（例えば図１Ｂのように上下に並べて）表示させる表示信号を出力する。
【００２７】
カバーグループ波形情報生成部２１１は、波形情報２２１（上述した波形情報１００）と、格納部に格納されたカバーグループ情報２０２とに基づき、カバーグループ波形情報２１２を生成し、格納部にカバーグループ波形情報２１２を格納する。
【００２８】
項目表情報生成部２１４は、論理シミュレーションの実行結果である波形情報２２１と、格納部２０２に格納されたカバーグループ情報とに基づき、項目表を生成し、格納部に項目表情報２１５を格納する。項目表情報２１５は、カバーグループにおけるカバレッジ取得タイミングの時刻と、各カバーポイントに対応する信号のカバレッジ取得タイミングにおける信号値とを含む。そして、各カバーポイントのとり得る値（ｂｉｎｓ値）１０２と、とり得ない値（ｉｌｌｅｇａｌ＿ｂｉｎｓ値）１０３として生成される。
【００２９】
カバーグループ波形表示制御部２１３は、格納部に格納されたカバーグループ波形情報２１２を波形情報１００としてディスプレイ２３２等に表示するための表示制御を行う。また、項目表表示制御部２１６は、格納部に格納された項目表情報２１５を項目表１１０としてディスプレイ２３２等に表示する表示制御を行う。
【００３０】
キーボードやマウス等の表示操作部２３１の表示操作入力は、表示操作入力部２０３に入力され、設計検証支援装置２００に対する表示操作入力情報として格納部に表示操作入力情報２０４として格納される。表示操作部２３１からは、カバレッジ項目選択、表示するカバーグループ名の指定、期間範囲（開始時刻および終了時刻等）の指定等が入力される。
【００３１】
カバーグループ波形表示制御部２１３と、項目表表示制御部２１６は、格納部に格納された表示操作入力情報２０４が示す表示操作入力情報にしたがい、カバーグループ波形情報２１２（波形情報１００）と、項目表情報２１５（項目表１１０）とを表示出力する表示制御を行う。
【００３２】
この表示制御にあたり、カバーグループ波形表示制御部２１３と、項目表表示制御部２１６は、カバーグループ波形情報２１２と、項目表情報２１５との表示内容を連携させる連携情報２１７を格納部に格納する。そして、カバーグループ波形表示制御部２１３と、項目表表示制御部２１６は、連携情報２１７に基づき、カバーグループ波形情報２１２と、項目表情報２１５（項目表１１０）の表示内容とを同一画面上で互いに連携させて表示させる。
【００３３】
図２に示した構成では、複数の格納部にそれぞれ異なる情報（カバーグループ情報２０２〜連携情報２１７）を格納する構成としたが、１つの格納部の領域を区分けしてこれら複数の情報を格納する構成としてもよい。
【００３４】
（既存のデバッグ例）
既存の論理シミュレーションによるデバッグ例を図３〜図６を用いて簡単に説明しておく。
【００３５】
図３は、検証対象の記述例を示す図である。この図３には、ＲＴＬを対象とした既存の検証用論理回路記述のソースコード３００の例を示している。３行目と４行目に記載されたａｄｄｒ，ｃｍｄに基づき、ａｄｄｒとｃｍｄの波形が表示されることになる。
【００３６】
図４は、カバーグループの記述例を示す図である。ここで、各用語についてその意味を記載しておく。「カバレッジ取得タイミング」は、カバレッジを取得するタイミングである。図４の例では、７行目の「＠（ｐｏｓｅｄｇｅ  ｃｌｋ）」が「カバレッジ取得タイミング」にあたる。「カバーポイント名」は、ある条件、動作、状態を表す１アイテムの名前である。図４の例では、８行目と１５行目の「：ｃｏｖｅｒｐｏｉｎｔ」の前に記述したＡＤＤＲとＣＭＤが「カバーポイント名」にあたる。
【００３７】
「ｂｉｎｓ値」は、各カバーポイントのとり得る値である。図４の例では、９行目〜１１行目、および１６行目〜１８行目のｂｉｎｓと＝の間の記述が「ｂｉｎｓ値」にあたる。「ｉｌｌｅｇａｌ＿ｂｉｎｓ値」は、各カバーポイントのとり得ない値である。図４の例では、１２行目および１９行目のｉｌｌｅｇａｌ＿ｂｉｎｓと＝の間の記述が「ｉｌｌｅｇａｌ＿ｂｉｎｓ値」にあたる。
【００３８】
「クロス名」は、複数のカバーポイントを組合せたクロスカバレッジの名前である。図４の例では、２３行目の「：ｃｒｏｓｓ」の前のＣＲＳ＿ＡＤＤＲ＿ＣＭＤが「クロス名」にあたる。「クロス・カバレッジ」は、複数のカバーポイントの値の組合せのカバレッジである。
【００３９】
そして、一例として以下の手順で、カバレッジ取得／デバッグを行う。
１．検証項目を洗い出す。この処理は、人手により行う。例えば、以下ａ）〜ｃ）を検証項目として挙げる。
ａ）アドレス（信号ａｄｄｒ）が、とり得る全てのアドレス値に変化していること。
ｂ）コマンド（信号ｃｍｄ）が、とり得る全てのコマンド値に変化していること。
ｃ）コマンドとアドレスが、とり得る全ての組合せをとっていること。
【００４０】
２．次に、ＳｙｓｔｅｍＶｅｒｉｌｏｇのカバーグループ（ｃｏｖｅｒｇｒｏｕｐ）記述を使って、上記１．で抽出した検証項目を論理シミュレータに入力可能な記述として、検証対象の論理回路記述に追加する。この処理は、人手による手動操作や表計算アプリケーションを用いた設定入力により行う。図４の７〜２６行目が追加した記述である。
【００４１】
３．次に、図４に示した記述を論理シミュレータに入力し、論理シミュレーションを実行する。
４．シミュレーション結果を、カバレッジ解析ツールに入力して、カバレッジを得る。カバレッジ解析ツールで得られる情報は、図４で追加したカバーグループ（ｃｏｖｅｒｇｒｏｕｐ）記述内のカバーポイント名に対する各ｂｉｎｓ値およびｉｌｌｅｇａｌ＿ｂｉｎｓ値がカバーされた回数だけである。
【００４２】
図５は、クロスカバレッジ表にカバレッジ解析ツールの結果を反映した例を示す図表である。図５の結果表示により、ＡＤＤＲのｂｉｎｓ値と、ＣＭＤのｂｉｎｓ値の組合せ（クロス）の値が１以上の場合、その組合せ（クロス）が発生したと判断できる。ＡＤＤＲのｂｉｎｓ値と、ＣＭＤのｂｉｎｓ値の組合せ（クロス）の値が０の場合には、その組合せ（クロス）は発生しなかったと判断できる。しかし、既存の技術では、組合せがいつ発生したか（時刻）は、図５からはわからない。また、ｂｉｎｓ値が信号の複数の値を含む（例えば、ａｄｄｒ１＿５）場合は、どの信号値（３’ｂ００１〜３’ｂ１０１）で組合せ（クロス）が発生したかはわからない。
【００４３】
５．この後、デバッグのために波形を表示して、組合せの発生時刻や信号値を確認する。図６は、論理シミュレーション結果の波形表示例を示す図である。既存技術の波形ビューアでは、信号名（ＣＬＫ，ａｄｄｒ，ｃｍｄ）とその値（信号値）を表示できる。
【００４４】
以上のように、既存の技術を用いた場合、カバレッジ解析ツールでカバレッジを表示させ、同時に波形ビューアで波形を表示させる。しかし、現状では、これら表示させたカバレッジと波形の両方を観測して、デバッグを行っており、デバッグに手間がかかった。
【００４５】
カバーされた検証項目のデバッグは、人手により行っている。この確認処理を簡単に説明すると、はじめに、カバレッジ解析ツールの結果から、カバーされた検証項目のカバーポイント名とｂｉｎｓ値を抽出する（処理１）。この後、論理回路記述からカバーポイント名に相当する信号名を取得する（処理２）。次に、波形ビューアに信号名に対する波形を表示させる（処理３）。クロスカバレッジの場合、全てのカバーポイントに対して処理１以下を行う（処理４）。
【００４６】
次に、論理回路記述からｂｉｎｓ値に相当する信号値を取得する（処理５）。次に、波形ビューア上で信号値が一致する箇所を検索し、意図どおりかどうか確認する（処理６）。クロスカバレッジの場合、全ての信号値が一致する箇所を検索し、意図どおりかどうか確認する（処理７）。確認が終了していなければ処理２以下を再度実行し、確認が終了すれば処理８を行う。
【００４７】
処理８では、全ての検証項目の確認が終了したか確認する（処理８）。全ての検証項目の確認が終了していなければ処理１以下を再度実行し、全ての検証項目の確認が終了すれば、以上の確認処理を終了する。
【００４８】
このような既存技術では、以下の原因で、デバッグに時間がかかっていた。
原因１：波形ビューアでは、カバーポイント名／ｂｉｎｓ（ｉｌｌｅｇａｌ＿ｂｉｎｓ）名を表示できない。波形は、信号名とその信号値で表示され、カバレッジは、カバーポイント名／ｂｉｎｓ名で表示される。
原因２：クロスカバレッジが波形上のどこで埋まったかを簡単に見つけることができない。
【００４９】
さらに、以下のような場合は、クロスカバレッジを見つけるのに時間がかかった。
クロスカバレッジを構成するカバーポイントが多い場合。
各カバーポイントのとりうる値の種類（ｂｉｎｓ）が多い場合（例えば、図５のａｄｄｒ０〜ａｄｄｒ７）。
カバーポイントの１つのｂｉｎｓ値が、複数の信号値から構成されている場合（例えば、図５のａｄｄｒ１＿５の３’ｂ００１〜３’ｂ１０１）。
【００５０】
上述したが、既存技術では、波形ビューアにカバレッジ（カバーポイント名、各カバーポイントのとり得る値ｂｉｎｓ値およびとり得ない値ｉｌｌｅｇａｌ＿ｂｉｎｓ値）を表示できない。また、クロスカバレッジの埋まった時刻を波形上で簡単に見つけることができない。一般的にカバレッジは、その事象が発生したか／あるいは発生しなかったか、という事象の有無（回数含む）に着目した情報である。
【００５１】
（Ａ．カバーグループ内の情報と波形情報を共に表示する処理内容）
実施の形態の設計検証支援装置２００は、Ａ．カバーグループ内の情報を、既存の論理シミュレーション結果の波形情報と同一時間軸上で表示するために、事象の有無（回数を含む）と時刻を結び付けて管理する。
【００５２】
具体的には、まず、波形データを基に、カバーポイント名毎に、変化情報（時刻と信号値）を抽出し、“信号値”を各カバーポイントのとり得る値（ｂｉｎｓ値）１０２、および各カバーポイントのとり得ない値（ｉｌｌｅｇａｌ＿ｂｉｎｓ値）１０３に置き換えた波形データを生成する。
【００５３】
次に、上記で生成した波形データを基に、各カバーポイントのとり得ない値（ｉｌｌｅｇａｌ＿ｂｉｎｓ値）１０３の出現回数をカウントし、その結果（カウンタ値）を各カバーポイントのとり得ない値（ｉｌｌｅｇａｌ＿ｂｉｎｓ値）１０３毎の固有名に対応付けて、上記１．で生成した波形データに付加する。
【００５４】
これにより、図１Ａに示したように、カバーグループ（ｃｏｖｅｒｇｒｏｕｐ）内の情報１０１，１０２，１０３を既存の波形情報１００と同一時間軸で波形表示できる。
【００５５】
図７は、カバーグループ情報の一例を示す図である。図７（１）は、ＳｙｓｔｅｍＶｅｒｉｌｏｇ等のソースコード２２２の一例を示す。この図７（１）には、上述したカバレッジ、およびクロスカバレッジが記述されている。
【００５６】
また、図７（２）は、図７（１）のソースコード２２２に基づき、カバーグループ情報２０２の格納部に格納されるカバーグループ情報（構文木）を示す。例えば、カバーポイントがＡＤＤＲ，ＣＭＤであり、これら各カバーポイントの信号名と値（ｂｉｎｓ値，ｉｌｌｅｇａｌ＿ｂｉｎｓ値）、クロスカバレッジがＡＤＤＲとＣＭＤである例が示されている。
【００５７】
そして、カバーグループ波形情報生成部２１１は、以下の処理Ａ１．〜Ａ５．を順次実行する。はじめに、Ａ１．ユーザ操作により、図７（２）に示すカバーポイントのＡＤＤＲ（ｃｏｖｅｒ＿ｐｏｉｎｔ＿ｉｄｅｎｔｉｆｉｅｒ）７０１を波形表示対象として取り出す。また、Ａ２．ＡＤＤＲ７０１に対応する信号名ａｄｄｒ７０２を取り出す。
【００５８】
図８Ａ，図８Ｂは、カバーグループ波形情報の生成を説明する図である。図８Ａの下端部分の記述に図８Ｂの上端部分の記述がつながり、便宜上別図とした。カバーグループ波形情報生成部２１１は、波形情報２２１とカバーグループ情報２０２とに基づき、カバーグループ波形情報２１２を生成する。
【００５９】
図８Ａ，図８Ｂに示すように、波形情報２２１は、信号が変化した時刻（変化時刻）、信号名、変化した後の値（信号値）を有する。そして、カバーグループ波形情報生成部２１１は、次に、Ａ３．波形情報２２１から、波形情報２２１の信号名、ａｄｄｒの信号変化情報（変化時刻と信号値）を抽出し、抽出したカバーグループ波形情報２１２ａを生成する。
【００６０】
次に、カバーグループ波形情報生成部２１１は、Ａ４．抽出したカバーグループ波形情報２１２ａの信号値をｂｉｎｓ＿ｉｄｅｎｔｉｆｉｅｒ／あるいはｉｌｌｅｇａｌ＿ｂｉｎｓ＿ｉｄｅｎｔｉｆｉｅｒに置き換え、置き換えたカバーグループ波形情報２１２ｂを生成する。例えば、図７（２）に対応して変化時刻１００の信号値３’ｂ０００をｂｉｎｓ＿ｉｄｅｎｔｉｆｉｅｒ  ａｄｄｒ０に置き換える。また、変化時刻８００の信号値３’ｂ１１１をｉｌｌｅｇａｌ＿ｂｉｎｓ＿ｉｄｅｎｔｉｆｉｅｒ  ａｄｄｒ７に置き換える。
【００６１】
次に、Ａ５．置き換えたカバーグループ波形情報２１２ｂのうち、とり得る値ｂｉｎｓ＿ｉｄｅｎｔｉｆｉｅｒ／あるいはとり得ない値ｉｌｌｅｇａｌ＿ｂｉｎｓ＿ｉｄｅｎｔｉｆｉｅｒが変化している時刻だけを用いて、カバーグループ波形情報２１２ｃを生成する。例えば、置き換えたカバーグループ波形情報２１２ｂのうちｂｉｎｓ＿ｉｄｅｎｔｉｆｉｅｒに変化がない変化時刻３００〜６００の情報は削除される。生成したカバーグループ波形情報２１２ｃをカバーポイント名（ＡＤＤＲ）と共に、カバーグループ波形情報（格納部）２１２に格納する。
【００６２】
このようにして生成されたカバーグループ波形情報２１２は、事象の有無（変化）と変化時刻を含んでいる。このカバーグループ波形情報２１２を用いることで表示に必要なデータ数を削減でき処理を効率化でき、カバーポイント（アドレスＡＤＤＲ）１０１の表示処理を簡単に行えるようになる。
【００６３】
この後、カバーグループ波形表示制御部２１３は、Ａ６．カバーグループ波形情報２１２を波形情報１００とともに波形表示する。この際、カバーグループ波形表示制御部２１３は、図１Ａに示したように、カバーグループ（ｃｏｖｅｒｇｒｏｕｐ）で使用されるカバーポイント名（アドレスＡＤＤＲ）１０１、各カバーポイントのとり得る値（ｂｉｎｓ値）１０２を表示する。また、ｉｌｌｅｇａｌ＿ｂｉｎｓ（ａｄｄｒ７）はハイライト表示し、カバーポイントのとり得ない値（ｉｌｌｅｇａｌ＿ｂｉｎｓ値）１０３を視認しやすくする。
【００６４】
さらに、カバーグループ波形情報生成部２１１は、Ａ７．抽出した波形情報２０２ａのうち、ｉｌｌｅｇａｌ＿ｂｉｎｓの＿ｂｉｎｓ＿ｉｄｅｎｔｉｆｉｅｒ毎に、カウンタ信号を作る。そして、カバーグループ波形情報生成部２１１は、各カバーポイントのとり得ない値（ｉｌｌｅｇａｌ＿ｂｉｎｓ値）の発生回数１０４を波形表示と同じ画面上に表示する。これにより、カバーポイントのとり得ない値（ｉｌｌｅｇａｌ＿ｂｉｎｓ値）１０３の時刻を探しやすくなり、デバッグを効率的に行えるようになる。
【００６５】
図９は、カバーされた検証項目の確認処理の例を示すフローチャートである。上述した設計検証支援装置２００が行うＡ．カバーグループ内の情報と波形情報の表示に基づいて、人手により行うデバッグ処理の一例を示す。
【００６６】
はじめに、上述したＡ．カバーグループ内の情報と波形情報を同一時間軸上に表示した結果から、カバーされた検証項目のカバーポイント名とｂｉｎｓ値を抽出する（ステップＳ９０１）。次に、設計検証支援装置２００の波形ビューアにカバーポイント名に対する波形（値はｂｉｎｓ値）を表示させる（ステップＳ９０２）。次に、波形ビューア上でｂｉｎｓ値が一致する箇所を検索する（ステップＳ９０３）。この処理は、波形ビューアが有する機能を用いることができる。
【００６７】
次に、クロスカバレッジの場合、全てのカバーポイントの確認が終了したか確認する（ステップＳ９０４）。全てのカバーポイントの確認が終了していなければ（ステップＳ９０４：Ｎｏ）、ステップＳ９０２に戻り、全てのカバーポイントの確認が終了すれば（ステップＳ９０４：Ｙｅｓ）、ステップＳ９０５に移行する。ステップＳ９０５では、全ての検証項目の確認が終了していなければ（ステップＳ９０５：Ｎｏ）、ステップＳ９０１に戻り、全ての検証項目の確認が終了すれば（ステップＳ９０５：Ｙｅｓ）、以上の処理を終了する。
【００６８】
（Ｂ．クロスカバレッジ部が埋まった箇所を波形上で確認できる処理内容）
次に、この実施の形態の設計検証支援装置２００が行う波形と項目表の連携表示について説明する。上述した図１Ｂに示した波形情報１００の表示と、波形に対応する項目表１１０を同一画面上に表示する（波形と項目表の連携）処理内容について説明する。
【００６９】
設計検証支援装置２００は、項目表１１０については、波形情報１００上でクロスカバレッジ部が埋まった回数を表示する。上述したように、例えば、図１Ｂ（１）の波形情報１００の全時刻Ｔ０の指定時には、クロスカバレッジ部が埋まった回数は図１Ｂ（２）のように表示する。さらに、図１Ｂ（２）のように選択された状態で所定範囲Ｔ１を波形上で指定した場合、項目表１１０に出力される値は図１Ｂ（３）となる。
【００７０】
図１０は、項目表情報の生成を説明する図である。項目表情報生成部２１４は、波形情報２２１とカバーグループ情報２０２とに基づき、項目表情報２１５を生成する。図１０に示す波形情報２２１は、図８Ａ，図８Ｂと同じである。カバーグループ情報２０２は、図７に示すとおり、カバレッジ取得タイミング、カバーポイント情報（カバーポイント名、信号名、ｂｉｎｓ値とそれに対応する信号値、ｉｌｌｅｇａｌ＿ｂｉｎｓ値とそれに対応する信号値）を含んでいる。
【００７１】
項目表情報生成部２１４は、Ｂ．波形と項目表の連携表示のために、以下の処理Ｂ１．〜Ｂ２．を順次実行する。
Ｂ１．カバレッジ取得タイミングのカバーポイント名に対する信号名とその信号値を抽出する。
この例では、カバレッジ取得タイミングとしてクロックがｐｏｓｅｄｇｅのときのカバーポイント名に対する信号名とその信号値を抽出する。ただし、カバレッジ取得タイミングに信号変化がない場合は、カバレッジ取得タイミングに最も近い信号変化時刻の信号値を抽出する。
【００７２】
具体的には、カバーグループ情報２０２から、カバレッジ取得タイミング、カバーポイント名、信号名、ｂｉｎｓ値とそれに対応する信号値、ｉｌｌｅｇａｌ＿ｂｉｎｓ値とそれに対応する信号値）を抽出する。波形情報２２１の中から、カバレッジ取得タイミングにおける、信号名に対応する信号値を抽出する（抽出情報２２１ａ）。
【００７３】
例えば、図７では、カバレッジ取得タイミングは、ｃｌｋの１’ｂ１（立ち上がり）である。変化時刻１００のとき、ｃｌｋの信号値が１’ｂ１（立ち上がり）であるので、カバレッジ取得タイミングと判断し、カバーポイント名に対応する信号の信号値を抽出する。
【００７４】
ただし、カバレッジ取得タイミングと同時刻に信号変化のない信号については、カバレッジ取得タイミングの直前の変化時刻の信号値をカバレッジ取得タイミングでの信号値とする。例えば、抽出情報２２１ａでは、カバレッジ取得タイミング２００のとき、信号ａｄｄｒは変化しているが、信号ｃｍｄは変化していないため、信号ｃｍｄの信号値は変化時刻１００のときの信号値２'ｂ００で補完する。
【００７５】
Ｂ２．次に、抽出情報２２１ａに対して、信号名をカバーポイント名に、信号値をｂｉｎｓ値、または、ｉｌｌｅｇａｌ＿ｂｉｎｓ値に置き換えて項目表情報２１５を生成する。
【００７６】
これにより、項目表情報生成部２１４は、項目表情報２１５として、カバレッジ取得タイミング毎に、クロスカバレッジのカバーポイント状態（ＡＤＤＲ，ＣＭＤ）をペアで管理することができる。項目表情報生成部２１４は、項目表情報２１５を格納部に格納する。項目表表示制御部２１６は、格納部から項目表情報２１５を読み出し、ディスプレイ２３２等に項目表１１０を表示出力する。
【００７７】
図１１は、項目表の表示状態を示す図表である。この後、項目表表示制御部２１６は、項目表情報２１５を順に検索（走査）していき、カバーポイントのｂｉｎｓ値またはｉｌｌｅｇａｌ＿ｂｉｎｓ値がクロスする箇所をカウントし、図１１に示す項目表１１０の該当マス部分（検証項目のクロス情報）にカウント値を順に設定していく。図１１の例では、カバレッジ取得時刻の場合のカウント値が設定された状態を示したものである。
【００７８】
ここで、項目表１１０の各表示項目についてカバーグループ情報２０２との関連を説明しておく。項目表１１０の縦横軸に表示する表示項目名は、既存の技術を用いて表示設定される。例えば、ＡＤＤＲは、図７に記載した構文木のカバーグループ情報２０２のｃｏｖｅｒ＿ｃｒｏｓｓ−ｌｉｓｔ＿ｏｆ＿ｃｏｖｅｒｐｏｉｎｔｓ−ＡＤＤＲに基づき表示設定される。項目表１１０のＣＭＤは、カバーグループ情報２０２のｃｏｖｅｒ＿ｃｒｏｓｓ−ｌｉｓｔ＿ｏｆ＿ｃｏｖｅｒｐｏｉｎｔｓ−ＣＭＤに基づき表示設定される。
【００７９】
また、項目表１１０のＡＤＤＲのａｄｄｒ０は、カバーグループ情報２０２のｂｉｎｓ＿ｏｒ＿ｅｍｐｔｙ−ｂｉｎ＿ｉｄｅｎｔｉｆｉｅｒ−ａｄｄｒ０に基づき表示設定される。項目表１１０のＡＤＤＲのａｄｄｒ０の値３’ｂ０００は、ａｄｄｒ０に対応するｏｐｅｎ＿ｒａｎｇｅ＿ｌｉｓｔ−３’ｂ０００に基づき表示設定される。
【００８０】
また、ＣＭＤのＵＮＫＮＯＷＮは、ｃｏｖｅｒ＿ｐｏｉｎｔ＿ｉｄｅｎｔｉｆｉｅｒ−ＣＭＤに属するｂｉｎ＿ｉｄｅｎｔｉｆｉｅｒ−ＵＮＫＮＯＷＮに基づき表示設定される。ＣＭＤのＵＮＫＮＯＷＮの値２’ｂ１１は、ＵＮＫＮＯＷＮに対応するｏｐｅｎ＿ｒａｎｇｅ＿ｌｉｓｔ−２’ｂ１１に基づき表示設定される。
【００８１】
（波形情報と項目表の連携）
図１２および図１３は、波形情報と項目表の連携表示を説明する図である。上述した波形情報１００（カバーグループ波形情報２１２）と項目表１１０（項目表情報２１５）の連携表示について説明する。
【００８２】
まず、図１２を用いて区間に応じたカバレッジ状態の連携表示について説明する。図１２（１）は項目表情報２１５であり、図１２（２）は全時刻Ｔ０（図１Ｂ参照）に対応する項目表１１０である。図１２（３）は所定（時刻）範囲Ｔ１（図１Ｂ参照）に対応する項目表１１０である。
【００８３】
表示操作部２３１を表示操作し、カバレッジとして確認したい任意の期間の開始時刻と終了時刻を入力することで、入力した任意の期間に応じたカバレッジ状態を項目表１１０として表示させることができる。この任意の期間は、論理シミュレーション実行期間ではない。そして、期間が異なることで図１２（２），（３）に示すように項目表１１０のマス（クロス情報）の値は期間に対応した値に変化する。
【００８４】
この連携表示制御は、カバーグループ波形表示制御部２１３と、項目表表示制御部２１６が連携情報２１７の格納部にアクセスして行う。連携情報２１７は、例えば、項目表１１０として表示するカバレッジ表示対象時間（開始時刻と終了時刻）、カバーポイント名、カバレッジをカウントしたカバレッジ取得タイミングの時刻（マーキング指示時刻）等を含む。
【００８５】
カバーグループ波形表示制御部２１３は、連携情報２１７にマーキング指示時刻があれば、波形情報１００上で指示時刻の対応位置に開始時刻と終了時刻のマーカー（図１ＢのＴ０またはＴ１の開始時刻と終了時刻）をライン表示させる。
【００８６】
また、カバーグループ波形表示制御部２１３は、表示操作入力情報２０４の中に項目表カバレッジ表示対象時間が設定されていれば、この項目表カバレッジ表示対象時間の開始時刻と終了時刻を連携情報２１７に保存する（一部期間Ｔ１に相当）。
【００８７】
項目表表示制御部２１６は、連携情報２１７に項目表カバレッジ表示対象時間の開始時刻と終了時刻（一部期間Ｔ１に相当）が設定されていれば、この項目表カバレッジ表示対象時間の開始時刻〜終了時刻までのカバレッジをカウントし項目表１１０として表示する。一方、連携情報２１７に項目表カバレッジ表示対象時間の開始時刻と終了時刻（Ｔ１に相当）が設定されていなければ、全ての時間（全時刻Ｔ０に相当）のカバレッジをカウントし項目表１１０として表示する。
【００８８】
次に、図１３を用いて、カバーグループ波形表示と項目表表示の連携表示について説明する。図１３（１）は項目表情報２１５である。図１３（２）は項目表情報２１５を基に、項目表表示制御部２１６が表示した項目表１１０である。図１３（３）はカバーグループ波形情報２１２を基に、カバーグループ波形表示制御部２１３が表示した波形情報１００である。図１３（２）と図１３（３）は、同一画面２３２に表示されている状態である。
【００８９】
この状態でユーザが表示操作部２３１を操作して項目表１１０内の所定のマス（カバーされた検証項目のクロス情報）１１０ａを選択すると、項目表表示制御部２１６は、該当するカバレッジ取得タイミングを項目表情報２１５から検索する。図１３（２）の例では、マス１１０ａの値が２であり、該当するカバレッジ取得が２回あることを示している。
【００９０】
項目表表示制御部２１６は、ユーザが選択したマスに相当するカバーポイント名を、波形表示指示カバーポイントとして連携情報２１７に格納する。さらに、項目表情報２１５から、ユーザが選択したマスに相当するカバーポイント名とｂｉｎｓ値またはｉｌｌｅｇａｌ＿ｂｉｎｓ値を含むカバレッジ取得タイミングを抽出し、マーキング指示時刻として連携情報２１７に格納する。
【００９１】
図１３では、カバーポイント名ＡＤＤＲとＣＭＤを波形表示指示カバーポイントとして連携情報２１７に格納する。さらに、カバーポイント名ＡＤＤＲのｂｉｎｓ値がａｄｄｒ１＿５で、かつ、カバーポイント名ＣＭＤのｂｉｎｓ値がＲＥＡＤであるとき（２１５ａと２１５ｂ）のカバレッジ取得タイミング（２００と１０００）を抽出し、マーキング指示時刻として連携情報２１７に格納する。
【００９２】
カバーグループ波形表示制御部２１３は、連携情報２１７に格納された波形表示指示カバーポイントをカバーグループ波形情報２１２から検索し、みつかったカバーポイント名とｂｉｎｓ値およびｉｌｌｅｇａｌ＿ｂｉｎｓ値を波形表示する。さらに、カバーグループ波形表示制御部２１３は、連携情報２１７に格納されたマーキング指示時刻に基づきマーカーを表示する。図１３（３）では、ｔａとｔｂがその例である。
【００９３】
これにより、項目表１１０上でクロスカバレッジが埋まった（生じた）時刻を選択すると、波形情報１００上でマーカーを表示することにより、選択したクロスカバレッジが埋まった時刻を明示することができる。
【００９４】
図１４は、カバーされた検証項目の確認処理の例を示すフローチャートである。上述した設計検証支援装置２００が行うＢ．項目表１１０のクロスカバレッジ部が埋まった箇所を波形上で表示された状態を人手により確認するデバッグ処理の一例を示す。
【００９５】
はじめに、表示されたカバレッジの項目表１１０の中のカバーされた検証項目の１つを選択する（ステップＳ１４０１）。これにより、設計検証支援装置２００は、選択した検証項目に相当するカバーポイントのカバーグループ名とそのｂｉｎｓ値をディスプレイ２３２上に表示する。また、この表示されたカバー時刻にマーカーを表示する。
【００９６】
ユーザは、このマーカー部分の情報（時刻等）を確認すればよい（ステップＳ１４０２）。この後、全ての検証項目の確認が終了したかを確認し、終了していなければ（ステップＳ１４０３：Ｎｏ）、ステップＳ１４０２に戻り、終了すれば（ステップＳ１４０３：Ｙｅｓ）、確認処理を終了する。
【００９７】
（設計検証支援装置のハードウェア構成例）
図１５は、実施の形態にかかる設計検証支援装置のハードウェア構成例を示すブロック図である。図１５において、設計検証支援装置１５００は、ＣＰＵ（Ｃｅｎｔｒａｌ  Ｐｒｏｃｅｓｓｉｎｇ  Ｕｎｉｔ）１５０１と、ＲＡＭ（Ｒａｎｄｏｍ  Ａｃｃｅｓｓ  Ｍｅｍｏｒｙ）１５０２と、ＨＤＤ（Ｈａｒｄ  Ｄｉｓｋ  Ｄｒｉｖｅ）１５０３と、を有する。また、設計検証支援装置１５００は、グラフィック処理装置１５０４と、入力インタフェース１５０５と、通信インタフェース１５０６と、を有する。また、各部１５０１〜１５０６はバス１５０７によってそれぞれ接続されている。
【００９８】
ここで、ＣＰＵ１５０１は、設計検証支援装置１５００の全体の制御を司る。ＲＡＭ１５０２は、ＣＰＵ１５０１のワークエリアとして使用される。ＨＤＤ１５０３は、ＣＰＵ１５０１の制御にしたがってデータのリード／ライトを制御し、該制御で書き込まれたデータを記憶する。ＨＤＤ１５０３としては、磁気ディスク、光ディスクなどが挙げられる。
【００９９】
通信インタフェース１５０６は、通信回線１５０８を通じてＬＡＮ（Ｌｏｃａｌ  Ａｒｅａ  Ｎｅｔｗｏｒｋ）、ＷＡＮ（Ｗｉｄｅ  Ａｒｅａ  Ｎｅｔｗｏｒｋ）、インターネットなどのネットワークＮＥＴＷＯＲＫに接続され、このネットワークを介して他の装置に接続される。そして、通信インタフェース１５０６は、ネットワークと内部のインタフェースを司り、外部装置からのデータの入出力を制御する。通信インタフェース１５０６には、例えばモデムやＬＡＮアダプタなどを採用することができる。
【０１００】
入力インタフェース１５０５は、キーボード、マウス、タッチパネルなどに接続され、利用者の操作により、各種データの入力を行うインタフェースである。また、入力インタフェース１５０５は、カメラから画像や動画を取り込むこともできる。また、入力インタフェース１５０５は、マイクから音声を取り込むこともできる。グラフィック処理装置１５０４は、ＣＰＵ１５０１の指示により、データを出力するインタフェースである。グラフィック処理装置１５０４は、例えば、ディスプレイに接続され、データをディスプレイに出力する。
【０１０１】
入力インタフェース１５０５、あるいは通信インタフェース１５０６を介して、波形情報２２１とソースコード２２２と、設計検証支援にかかる表示操作入力情報２０４が入力される。そして、ＣＰＵ１５０１が入力情報をデータ処理して、各種情報（カバーグループ情報２０２、カバーグループ波形情報２１２、項目表情報２１５、連携情報２１７等）を生成し、ＨＤＤ１５０３に格納する。このＨＤＤ１５０３に格納された情報を用いて波形情報１００と項目表１１０とを連携して表示させる表示データをグラフィック処理装置１５０４に出力する。
【０１０２】
カバーグループ情報取得部２０１、表示操作入力部２０３、カバーグループ情報制御部２０５の処理は、例えば、図１５に示すＣＰＵ１５０１がアクセス可能なＲＡＭ１５０２、ＨＤＤ１５０３などの記憶装置に記憶されたプログラムにコーディングされている。そして、ＣＰＵ１５０１が記憶装置から該プログラムを読み出して、プログラムにコーディングされている処理を実行する。これにより、図２に記載の各機能部の処理が実現され、処理結果（例えば図２に記載の各情報（カバーグループ情報２０２〜連携情報２１７））は、ＲＡＭ１５０２、ＨＤＤ１５０３などの記憶装置に記憶される。
【０１０３】
（カバーグループ情報制御部が行う処理例）
以下、上述したカバーグループ情報制御部２０５が有するカバーグループ波形情報生成部２１１、項目表情報生成部２１４、カバーグループ波形表示制御部２１３、項目表表示制御部２１６の各機能部の処理例を説明する。
【０１０４】
図１６は、カバーグループ波形情報生成の処理内容を示すフローチャートである。カバーグループ波形情報生成部２１１が行うカバーグループ波形情報２１２の生成処理を説明する。はじめに、カバーグループ波形情報生成部２１１は、カバーグループ情報２０２の中に未だカバーグループ波形情報２１２を生成していないカバーポイントがあれば（ステップＳ１６０１：Ｙｅｓ）、ステップＳ１６０２以下の処理を行う。一方、全てのカバーグループ波形情報を作成済みであれば（ステップＳ１６０１：Ｎｏ）、処理を終了する。
【０１０５】
ステップＳ１６０２では、カバーグループ波形情報生成部２１１は、未だカバーグループ波形情報２１２を生成していないカバーポイント名の１つに対応する信号名をカバーグループ情報２０２から取り出す（ステップＳ１６０２）。
【０１０６】
次に、カバーグループ波形情報生成部２１１は、波形情報２２１から、取り出した信号の変化情報（変化時刻と変化後の信号値）を抽出する（ステップＳ１６０３）。そして、抽出した信号値を対応するｂｉｎｓ値またはｉｌｌｅｇａｌ＿ｂｉｎｓ値に置き換える（ステップＳ１６０４）。
【０１０７】
次に、カバーグループ波形情報生成部２１１は、変化時刻が異なっても、ｂｉｎｓ値およびｉｌｌｅｇａｌ＿ｂｉｎｓ値が変化していない情報（変化時刻と変化後のｂｉｎｓ値およびｉｌｌｅｇａｌ＿ｂｉｎｓ値）は、変化時刻が大きい方を破棄する（ステップＳ１６０５）。
【０１０８】
次に、カバーグループ波形情報生成部２１１は、未だカウンタ信号情報を生成していないｉｌｌｅｇａｌ＿ｂｉｎｓ値があれば（ステップＳ１６０６：Ｙｅｓ）、ステップＳ１６０７に移行し、なければ（ステップＳ１６０６：Ｎｏ）、ステップＳ１６０１に戻る。
【０１０９】
ステップＳ１６０７では、未だカウンタ信号情報を生成していないｉｌｌｅｇａｌ＿ｂｉｎｓ値の１つに対して、カウンタ信号名を生成し、その変化情報（変化時刻とカウント値）を保存し（ステップＳ１６０７）、ステップＳ１６０６に戻る。
【０１１０】
図１７は、カバーグループ波形表示制御の処理内容を示すフローチャートである。カバーグループ波形表示制御部２１３が行うカバーグループ波形情報２１２の表示制御の内容を説明する。
【０１１１】
はじめに、カバーグループ波形表示制御部２１３は、表示操作部２３１の操作に基づく表示操作入力情報２０４、または連携情報２１７の中に波形表示指示されたカバーポイントがあるか判断する（ステップＳ１７０１）。波形表示指示されたカバーポイントがなければ（ステップＳ１７０１：Ｎｏ）、ステップＳ１７０８に移行する。波形表示指示されたカバーポイントがあれば（ステップＳ１７０１：Ｙｅｓ）、波形表示指示カバーポイントを、カバーグループ波形情報２１２から検索する（ステップＳ１７０２）。
【０１１２】
次に、カバーグループ波形表示制御部２１３は、検索により見つかったカバーポイントは波形表示済みか判断する（ステップＳ１７０３）。波形表示済みであれば（ステップＳ１７０３：Ｙｅｓ）、ステップＳ１７０８に移行する。波形表示していなければ（ステップＳ１７０３：Ｎｏ）、カバーグループ波形表示制御部２１３は、見つかったカバーポイントを波形表示する（ステップＳ１７０４）。
【０１１３】
次に、カバーグループ波形表示制御部２１３は、表示したカバーポイントは、ｉｌｌｅｇａｌ＿ｂｉｎｓ値を含むか判断する（ステップＳ１７０５）。カバーポイントがｉｌｌｅｇａｌ＿ｂｉｎｓ値を含まない場合（ステップＳ１７０５：Ｎｏ）、ステップＳ１７０８に移行する。カバーポイントがｉｌｌｅｇａｌ＿ｂｉｎｓ値を含む場合（ステップＳ１７０５：Ｙｅｓ）、カバーグループ波形表示制御部２１３は、波形上のｉｌｌｅｇａｌ＿ｂｉｎｓ値をハイライト表示（強調表示）する（ステップＳ１７０６）。
【０１１４】
次に、カバーグループ波形表示制御部２１３は、ハイライト表示したｉｌｌｅｇａｌ＿ｂｉｎｓ値に対応するカウンタ信号を波形表示する（ステップＳ１７０７）。
【０１１５】
次に、カバーグループ波形表示制御部２１３は、連携情報２１７の中にマーキング指示時刻があるか判断する（ステップＳ１７０８）。マーキング指示時刻がなければ（ステップＳ１７０８：Ｎｏ）、ステップＳ１７１０に移行する。マーキング指示時刻があれば（ステップＳ１７０８：Ｙｅｓ）、連携情報２１７のマーキング指示時刻で波形上にマーカーを表示する（ステップＳ１７０９）。
【０１１６】
次に、カバーグループ波形表示制御部２１３は、表示操作入力情報２０４の中に項目表カバレッジ表示対象時間があるか判断する（ステップＳ１７１０）。項目表カバレッジ表示対象時間がなければ（ステップＳ１７１０：Ｎｏ）、ステップＳ１７１２に移行する。項目表カバレッジ表示対象時間があれば（ステップＳ１７１０：Ｙｅｓ）、カバーグループ波形表示制御部２１３は、項目表カバレッジ表示対象時間（開始時刻と終了時刻）を連携情報２１７に保存する（ステップＳ１７１１）。
【０１１７】
そして、カバーグループ波形表示制御部２１３は、波形表示が終了したか判断し（ステップＳ１７１２）、終了していなければ（ステップＳ１７１２：Ｎｏ）、ステップＳ１７０１に戻り、終了していれば（ステップＳ１７１２：Ｙｅｓ）、以上の処理を終了する。
【０１１８】
図１８は、項目表情報生成の処理内容を示すフローチャートである。項目表情報生成部２１４が行う項目表情報２１５の生成処理を説明する。はじめに、項目表情報生成部２１４は、カバーグループ情報２０２の中に未だ項目表情報２１５を生成していないカバーグループがあるか判断する（ステップＳ１８０１）。項目表情報２１５を生成していないカバーグループがなければ（ステップＳ１８０１：Ｎｏ）、処理を終了する。
【０１１９】
一方、項目表情報２１５を生成していないカバーグループがあれば（ステップＳ１８０１：Ｙｅｓ）、未だ項目表情報２１５を生成していない１つのカバーグループに対応する情報をカバーグループ情報２０２から取り出す（ステップＳ１８０２）。
【０１２０】
この際に取り出す情報は、カバレッジ取得タイミング（ｃｏｖｅｒａｇｅ＿ｅｖｅｎｔ）、カバーポイント名とそれに対応する信号名およびｂｉｎｓ値、ｉｌｌｅｇａｌ＿ｂｉｎｓ値である。
【０１２１】
次に、項目表情報生成部２１４は、取り出した情報を基に、波形情報２２１から所定の情報を抽出し、項目表情報２１５として保存する（ステップＳ１８０３）。この際に抽出する情報は、カバレッジ取得タイミングの時刻、各カバーポイントに対応する信号のカバレッジ取得タイミングにおける信号値である。また、カバレッジ取得タイミングの時刻に信号が変化していない場合はその直前の変化時刻の信号値を用いて補完する。
【０１２２】
次に、項目表情報生成部２１４は、保存した信号値をｂｉｎｓ値またはｉｌｌｅｇａｌ＿ｂｉｎｓ値に置き換え（ステップＳ１８０４）、ステップＳ１８０１に戻る。
【０１２３】
図１９は、項目表表示制御の処理内容を示すフローチャートである。項目表表示制御部２１６が行う項目表カバーグループ波形表示の制御内容を説明する。はじめに、項目表表示制御部２１６は、表示操作入力情報２０４の中に項目表表示を指示されたカバーグループがあるか判断する（ステップＳ１９０１）。項目表表示を指示されたカバーグループがなければ（ステップＳ１９０１：Ｎｏ）、ステップＳ１９０８に移行する。項目表表示を指示されたカバーグループがあれば（ステップＳ１９０１：Ｙｅｓ）、項目表表示制御部２１６は、表示指示されたカバーグループを項目表情報２１５から検索する（ステップＳ１９０２）。
【０１２４】
次に、項目表表示制御部２１６は、見つかったカバーグループは項目表１１０として表示済みか判断する（ステップＳ１９０３）。表示済みであれば（ステップＳ１９０３：Ｙｅｓ）、ステップＳ１９０８に移行する。表示済みでなければ（ステップＳ１９０３：Ｎｏ）、項目表表示制御部２１６は、見つかったカバーグループのカバーポイント名とｂｉｎｓ値、ｉｌｌｅｇａｌ＿ｂｉｎｓ値を項目表１１０に表示する（ステップＳ１９０４）。
【０１２５】
次に、項目表表示制御部２１６は、連携情報２１７の中に項目表カバレッジ表示対象時間（開始時刻と終了時刻）があるかを判断する（ステップＳ１９０５）。項目表カバレッジ表示対象時間がなければ（ステップＳ１９０５：Ｎｏ）、ステップＳ１９０７に移行する。項目表カバレッジ表示対象時間があれば（ステップＳ１９０５：Ｙｅｓ）、項目表表示制御部２１６は、項目表情報２１５から項目表カバレッジ表示対象時間内のカバレッジをカウントし、項目表１１０に表示し（ステップＳ１９０６）、ステップＳ１９０８に移行する。ステップＳ１９０７では、項目表情報２１５から全ての時間のカバレッジをカウントし、項目表１１０に表示し（ステップＳ１９０７）、ステップＳ１９０８に移行する。
【０１２６】
ステップＳ１９０８では、項目表表示制御部２１６は、表示操作入力情報２０４の中に、表示中の項目表１１０の特定のカバレッジに対する、波形表示指示があるか判断する（ステップＳ１９０８）。波形表示指示がなければ（ステップＳ１９０８：Ｎｏ）、ステップＳ１９１０に移行する。波形表示指示があれば（ステップＳ１９０８：Ｙｅｓ）、項目表表示制御部２１６は、波形表示指示されたカバレッジについて、所定の情報を連携情報２１７として保存する（ステップＳ１９０９）。
【０１２７】
この際、保存する情報は、カバーポイント名、カバレッジをカウントしたカバレッジ取得タイミングの時刻（マーキング指示時刻）である。
【０１２８】
この後、項目表１１０の表示が終了したか判断し（ステップＳ１９１０）、終了していなければ（ステップＳ１９１０：Ｎｏ）、ステップＳ１９０１に戻り、終了していれば（ステップＳ１９１０：Ｙｅｓ）、以上の処理を終了する。
【０１２９】
以上説明した実施の形態によれば、カバーポイントと、カバーポイントのとり得る値およびとり得ない値を含むカバーグループ波形情報を、既存のシミュレーション結果の波形情報（信号波形）と共に表示することができ、カバーグループで記述した検証項目がカバーされたときの時刻や信号値の確認、カバーされるべきではない検証項目がカバーされた条件の確認、等のデバッグを容易かつ効率的に行えるようになる。
【０１３０】
また、カバーグループ波形情報は、入力される波形情報から抽出して簡単に生成することができる。この際、信号の信号値を各カバーポイントのとり得る値およびとり得ない値に置き換え、とり得る値およびとり得ない値が変化している時刻だけを残してカバーグループ波形情報を生成することで、必要なデータ数を削減でき、処理を効率化でき、カバーポイントの表示処理を簡単に行えるようになる。
【０１３１】
また、カバーポイントのとり得ない値の出現回数をカウントし、カバーポイントのとり得ない値の名で表示するため、カバーポイントのとり得ない値の発生と出現回数を容易に把握できるようになる。また、強調表示により、カバーポイントのとり得ない値の発生時刻を簡単に確認できるようになる。
【０１３２】
また、カバーグループ波形情報と、検証項目表とを表示出力することで、これらカバーグループ波形情報と、検証項目表とを用いたデバッグ作業を効率的に行えるようになる。そして、カバーグループ波形情報を表示した画面上で指定した時刻範囲に対応して検証項目表のカウント値を変更することで、カバーグループ波形情報の表示内容と検証項目表の表示内容を連携させることができ、デバッグ作業を効率的に行えるようになる。
【０１３３】
また、検証項目表は、波形情報に基づきカバレッジ取得タイミングの信号名と信号値を各カバーポイントのとり得る値およびとり得ない値に置き換えることでカバレッジ取得タイミング毎にクロスカバレッジのカバーポイントを簡単に管理できるようになる。また、置き換え時に、カバレッジ取得タイミングの時刻に信号値が変化していない場合は、直前の変化時刻の信号値を用いて補完できる。
【０１３４】
また、表示された検証項目表上でクロスポイントを選択することで、該当する時刻を波形情報上でマーカー表示でき、検証項目表上の操作で波形情報上のクロスポイントの時刻を容易に確認できるようになる。
【０１３５】
したがって、取得したカバレッジを基に、カバーグループで記述した検証項目がカバーされたときの時刻や信号値の確認、カバーされるべきではない検証項目がカバーされた条件の確認、等のデバッグを簡単に行えるようになる。この際、同一画面上にカバーグループ波形情報と、検証項目表とを表示できるため、既存のカバレッジ解析ツールと波形ビューアを併用したデバッグ作業を不要にでき、デバッグの際の画面確認作業を簡単に行え、検証効率および検証品質を向上できるようになる。
【０１３６】
ところで、上記実施の形態では、波形情報１００と項目表１１０を単一のディスプレイ２３２の同一画面上に表示させる例を説明した。これに限らず、これら波形情報１００と項目表１１０とがデータ連携されているため、単一のディスプレイ２３２の異なる画面上に波形情報１００と項目表１１０を表示させることとしてもよい。また、異なるディスプレイ２３２の画面上にそれぞれ波形情報１００と項目表１１０を連携して表示させることもできる。
【０１３７】
なお、本実施の形態で説明した設計検証支援方法は、予め用意された波形データ変換プログラムをパーソナル・コンピュータやワークステーション等のコンピュータで実行することにより実現することができる。本波形データ変換プログラムは、磁気ディスク、光ディスク、ＵＳＢ（Ｕｎｉｖｅｒｓａｌ  Ｓｅｒｉａｌ  Ｂｕｓ）フラッシュメモリなどのコンピュータで読み取り可能な記録媒体に記録され、コンピュータによって記録媒体から読み出されることによって実行される。また、波形データ変換プログラムは、インターネット等のネットワークを介して配布してもよい。
【０１３８】
上述した実施の形態に関し、さらに以下の付記を開示する。
【０１３９】
（付記１）検証の対象回路の所定の事象発生の有無を示すカバレッジ抽出用の記述が付加された論理回路記述の論理シミュレーション結果の波形情報と、当該波形情報の信号名および信号値を表示装置に表示し、
前記波形情報から前記対象回路で所定の事象の有無を示すカバーポイントと、前記カバーポイントのとり得る値およびとり得ない値を抽出し、時刻と前記カバーポイントと前記とり得る値およびとり得ない値とを結びつけて生成したカバーグループ波形情報を、前記波形情報と同一時間軸で前記表示装置に表示する情報制御部、
を備えたことを特徴とする設計検証支援装置。
【０１４０】
（付記２）前記情報制御部は、
前記波形情報に基づき、前記カバーポイントのカバーポイント名毎に対応する信号名と、当該信号名に対応する信号の変化した信号値および変化時刻を抽出し、前記カバーグループ波形情報を生成することを特徴とする付記１に記載の設計検証支援装置。
【０１４１】
（付記３）前記情報制御部は、
前記波形情報の前記カバーポイント名毎に、前記信号の変化した信号値および変化時刻を抽出し、前記信号の信号値を前記各カバーポイントの前記とり得る値およびとり得ない値に置き換えた波形情報を生成し、
前記置き換えた波形情報のうち、前記とり得る値およびとり得ない値が変化している時刻だけを残して前記カバーグループ波形情報を生成することを特徴とする付記２に記載の設計検証支援装置。
【０１４２】
（付記４）前記情報制御部は、
前記カバーポイントのとり得ない値の出現回数をカウントし、カウンタ値を前記各カバーポイントのとり得ない値毎の固有名に対応付けて、前記置き換えた波形情報に付加することを特徴とする付記３に記載の設計検証支援装置。
【０１４３】
（付記５）前記情報制御部は、
前記カバーポイントのとり得ない値を前記表示装置に強調表示することを特徴とする付記１〜４のいずれか一つに記載の設計検証支援装置。
【０１４４】
（付記６）前記情報制御部は、
前記カバーグループ波形情報と、前記対象回路の検証項目を示す複数の前記カバーポイントを組み合わせた検証項目表のクロスポイントのカウント値とを対応付けた項目表情報と、を前記表示装置に表示出力することを特徴とする付記１〜５のいずれか一つに記載の設計検証支援装置。
【０１４５】
（付記７）前記情報制御部は、
前記カバーグループ波形情報を表示した前記表示装置上で指定した時刻範囲に対応して前記検証項目表のカウント値を変更することを特徴とする付記６に記載の設計検証支援装置。
【０１４６】
（付記８）前記情報制御部は、
前記検証項目表の作成時に、前記波形情報に基づきクロックが立ち上がりのときの信号名と信号値を抽出し、
前記波形情報からカバレッジ取得タイミングの時刻と、前記各カバーポイントに対応する前記信号の前記カバレッジ取得タイミングにおける信号値とを抽出し、
前記信号値を前記各カバーポイントの前記とり得る値およびとり得ない値に置き換えて前記項目表情報を生成することを特徴とする付記６または７に記載の設計検証支援装置。
【０１４７】
（付記９）前記情報制御部は、
前記置き換え時に、前記カバレッジ取得タイミングの時刻に前記信号が変化していない場合は、直前の変化時刻の信号値を用いて補完することを特徴とする付記８に記載の設計検証支援装置。
【０１４８】
（付記１０）前記情報制御部は、
前記表示装置に表示された前記検証項目表上の任意の前記クロスポイントの選択時には、該当するカバレッジが埋まった時刻を前記項目表情報から検索し、該当する時刻を前記波形情報上で前記表示装置にマーカー表示することを特徴とする付記８または９に記載の設計検証支援装置。
【０１４９】
（付記１１）前記情報制御部は、
前記表示装置に表示出力する一方の前記カバーグループ波形情報あるいは他方の前記項目表情報に対するデータ変更時の情報を連携情報として保持し、いずれか一方の情報のデータ変更時に前記連携情報を参照し、他方の情報のデータ変更に用いることを特徴とする付記６〜１０のいずれか一つに記載の設計検証支援装置。
【０１５０】
（付記１２）前記情報制御部は、
前記カバーグループ波形情報と、前記検証項目表とを前記表示装置の同一画面上に表示させる表示信号を出力することを特徴とする付記６〜１１のいずれか一つに記載の設計検証支援装置。
【０１５１】
（付記１３）コンピュータが、
検証の対象回路の所定の事象発生の有無を示すカバレッジ抽出用の記述が付加された論理回路記述の論理シミュレーション結果の波形情報と、当該波形情報の信号名および信号値を表示装置に表示させる処理と、
前記波形情報から前記対象回路で所定の事象の有無を示すカバーポイントと、前記カバーポイントのとり得る値およびとり得ない値を抽出し、時刻と前記カバーポイントと前記とり得る値およびとり得ない値とを結びつけて生成したカバーグループ波形情報を、前記波形情報と同一時間軸で前記表示装置に表示させる処理と、
を実行することを特徴とする設計検証支援方法。
【０１５２】
（付記１４）前記カバーグループ波形情報と、前記対象回路の検証項目を示す複数の前記カバーポイントを組み合わせた検証項目表のクロスポイントのカウント値とを対応付けた項目表情報と、を前記表示装置に表示出力する処理、
をさらに含むことを特徴とする付記１３に記載の設計検証支援方法。
【０１５３】
（付記１５）検証の対象回路の所定の事象発生の有無を示すカバレッジ抽出用の記述が付加された論理回路記述の論理シミュレーション結果の波形情報と、当該波形情報の信号名および信号値を表示装置に表示させ、
前記波形情報から前記対象回路で所定の事象の有無を示すカバーポイントと、前記カバーポイントのとり得る値およびとり得ない値を抽出し、時刻と前記カバーポイントと前記とり得る値およびとり得ない値とを結びつけて生成したカバーグループ波形情報を、前記波形情報と同一時間軸で前記表示装置に表示させる、
処理をコンピュータに実行させることを特徴とする設計検証支援プログラム。
【０１５４】
（付記１６）前記カバーグループ波形情報と、前記対象回路の検証項目を示す複数の前記カバーポイントを組み合わせた検証項目表のクロスポイントのカウント値とを対応付けた項目表情報と、を前記表示装置に表示出力する処理、
をコンピュータに実行させることを特徴とする付記１５に記載の設計検証支援プログラム。
【符号の説明】
【０１５５】
１００，２２１  波形情報
１１０  項目表
２００，１５００  設計検証支援装置
２０１  カバーグループ情報取得部
２０２  カバーグループ情報
２０３  表示操作入力部
２０４  表示操作入力情報
２０５  カバーグループ情報制御部
２１１  カバーグループ波形情報生成部
２１２  カバーグループ波形情報
２１３  カバーグループ波形表示制御部
２１４  項目表情報生成部
２１５  項目表情報
２１６  項目表表示制御部
２１７  連携情報
２２２  ソースコード
２３１  表示操作部
２３２  ディスプレイ（表示装置）
１５０１  ＣＰＵ
１５０２  ＲＡＭ
１５０３  ＨＤＤ
１５０４  グラフィック処理装置
１５０５  入力インタフェース
１５０６  通信インタフェース
１５０７  バス
１５０８  通信回線
【図１Ａ】
2016081397.tif 000003
【図１Ｂ】
2016081397.tif 000004
【図２】
2016081397.tif 000005
【図３】
2016081397.tif 000006
【図４】
2016081397.tif 000007
【図５】
2016081397.tif 000008
【図６】
2016081397.tif 000009
【図７】
2016081397.tif 000010
【図８Ａ】
2016081397.tif 000011
【図８Ｂ】
2016081397.tif 000012
【図９】
2016081397.tif 000013
【図１０】
2016081397.tif 000014
【図１１】
2016081397.tif 000015
【図１２】
2016081397.tif 000016
【図１３】
2016081397.tif 000017
【図１４】
2016081397.tif 000018
【図１５】
2016081397.tif 000019
【図１６】
2016081397.tif 000020
【図１７】
2016081397.tif 000021
【図１８】
2016081397.tif 000022
【図１９】
2016081397.tif 000023