(57)【要約】【課題】正常終了するシナリオと全てのエラーが発生するシナリオを個別に作成し、これらのシナリオから検証スティミュラスを生成していたので、作成するシナリオの数が膨大になり、かつ検証スティミュラス生成に時間を要していた。本発明は検証スティミュラスを効率よく生成できる方法及び装置を提供することを目的にする。【解決手段】正常終了およびエラー発生のシナリオ定義を生成し、このシナリオ定義を検証シナリオテンプレートに適用してシナリオを生成してスティミュラスライブラリを生成し、定義番号を用いてシナリオ定義とスティミュラスライブラリ中のスティミュラスを読み込んで検証スティミュラスを生成する。効率よく検証スティミュラスを生成できる。【選択図】図１
2012118598.tif 000002
【特許請求の範囲】
【請求項１】
ターゲットを検証する検証スティミュラスを生成する検証スティミュラス生成装置において、
複数の処理手順で構成される検証シナリオテンプレートと、
処理手順毎にエラーの有無、エラー種別を定義し、かつ定義番号が付与された複数のシナリオ定義が格納されるシナリオ定義管理部と、
前記シナリオ定義管理部からシナリオ定義を読み込み、この読み込んだシナリオ定義を前記検証シナリオテンプレートに適用してシナリオを生成して、このシナリオからスティミュラスを生成するスティミュラスライブラリ生成部と、
前記スティミュラスライブラリ生成部が生成したスティミュラスが格納されるスティミュラスライブラリと、
定義番号が入力され、この定義番号に基づいて前記スティミュラスライブラリからスティミュラスを読み込んで、この読み込んだスティミュラスから検証スティミュラスを生成する検証スティミュラス生成部と、
を具備したことを特徴とする検証スティミュラス生成装置。
【請求項２】
前記シナリオ定義にはエラー条件が付与され、
前記検証スティミュラス生成部は入力された定義番号に基づいてシナリオ定義管理部からシナリオ定義を読み込み、
前記読み込んだシナリオ定義のエラー条件に基づいて、読み込んだスティミュラスのエラー発生範囲を拡張するスティミュラス拡張部を具備したことを特徴とする請求項１記載の検証スティミュラス生成装置。
【請求項３】
前記エラー条件は、ランダム値あるいは境界値で指定されることを特徴とする請求項２記載の検証スティミュラス生成装置。
【請求項４】
ターゲットを検証する検証スティミュラスを生成する検証スティミュラス生成方法において、
処理手順毎にエラーの有無、エラー種別を定義し、かつ定義番号が付与されたシナリオ定義を検証シナリオテンプレートに適用してシナリオを生成し、この生成したシナリオからスティミュラスを生成する工程を繰り返して、スティミュラスライブラリを生成する工程と、
定義番号が入力され、この定義番号に基づいて前記スティミュラスライブラリからスティミュラスを読み込み、この読み込んだスティミュラスからターゲットを検証する検証スティミュラスを生成する工程と、
を備えたことを特徴とする検証スティミュラス生成方法。
【請求項５】
前記シナリオ定義にはエラー条件が付与され、検証スティミュラスを生成するときにシナリオ定義を読み込み、このシナリオ定義のエラー条件に基づいて、前記スティミュラスライブラリから読み込んだスティミュラスのエラー発生範囲を拡張するようにしたことを特徴とする請求項４記載の検証スティミュラス生成方法。
【請求項６】
前記エラー条件は、ランダム値あるいは境界値で指定されることを特徴とする請求項５記載の検証スティミュラス生成方法。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、ターゲットの動作を検証する検証スティミュラスを生成する方法および装置に関し、特に効率的に検証スティミュラスを生成することができる検証スティミュラス生成装置およびその検証スティミュラス方法に関するものである。
【背景技術】
【０００２】
ＬＳＩ（Large Scale Integration）等の集積回路の設計では、設計した集積回路が正常に動作するか否かを検証することが必要不可欠である。特に、大規模集積回路では検証作業が膨大になるので、効率的な検証を行わなければならない。
【０００３】
図４に、動作検証を行う検証スティミュラスを生成する検証スティミュラス生成装置の構成を示す。なお、検証スティミュラスとは、検証を行うターゲットデバイスに入力する一連のテスト信号のことを言う。
【０００４】
図４において、１０は検証スティミュラス生成装置であり、検証シナリオ１１ａ〜１１ｃ、スティミュラス生成部１２、スティミュラス選択部１４で構成される。１３ａ〜１３ｃは生成されたスティミュラスである。
【０００５】
スティミュラス選択部１４で選択された検証スティミュラスは、図示しない通信装置を介してパターンメモリ２０に送信され、格納される。検証パターン発生部２１はパターンメモリ２０に格納された検証スティミュラスを読み出し、ターゲット２２に出力する。ターゲット２２が検証する集積回路である。
【０００６】
検証シナリオ１１ａ〜１１ｃは検証するターゲット２２の動作を表すシナリオであり、それぞれ処理手順１ａ〜処理手順Ｎａ、処理手順１ｂ〜処理手順Ｎｂ、処理手順１ｃ〜処理手順Ｎｃで構成される。検証シナリオ１１ａはターゲット２２が正常終了する検証シナリオであり、検証シナリオ１１ｂ、１１ｃはそれぞれエラー１Ａ、エラー１Ｂを発生する検証シナリオである。なお、検証シナリオは全てのエラー発生について生成されるが、この図では３つの検証シナリオのみ記載している。
【０００７】
検証シナリオ１１ａ〜１１ｃは順番にスティミュラス生成部１２に入力される。スティミュラス生成部１２はシミュレーションモデルとテストベンチで構成され、入力された検証シナリオをシミュレーションし、検証スティミュラス１３ａ〜１３ｃを生成する。
【０００８】
生成した検証スティミュラス１３ａ〜１３ｃはスティミュラス選択部１４に入力される。スティミュラス選択部１４は、入力された検証スティミュラスから１つを選択し、この選択した検証スティミュラスを図示しない通信装置を用いてパターンメモリ２０に送信する。
【０００９】
図５に、ターゲット２２の動作を検証する手順を示す。図４において、ターゲット２２の動作検証を行う検証者は、工程（Ｐ５−１）で正常動作用検証シナリオ１１ａと、複数のエラー処理用検証シナリオ１１ｂ、１１ｃを作成する。エラー処理用検証シナリオは、全てのエラー処理について作成する。
【００１０】
次に、工程（Ｐ５−２）で、スティミュラス生成部１２を用いて、シミュレーションによって、作成した全検証シナリオに対応する検証スティミュラスを生成する。
【００１１】
そして、工程（Ｐ５−３）で、スティミュラス選択部１４によって生成した検証スティミュラスを順番に選択し、この選択した検証スティミュラスをパターンメモリ２０に送信し、ターゲット２２の動作を検証する。
【００１２】
そして、工程（Ｐ５−４）で全ての検証シナリオに基づいてターゲット２２の動作を行ったかをチェックし、動作検証していない検証シナリオがある（ＮＯ）と工程（Ｐ５−３）に戻り、全ての検証シナリオの動作検証を終了する（ＹＥＳ）と、検証作業を終了する。
【００１３】
特許文献１には、全てのレコードタイプとタスク宣言の初期値が規定され、具体的なプロセスが記載されていないシナリオテンプレートを生成し、データ組み合わせリストとテストベンチ組み合わせリストから検証項目を生成して、この検証項目をシナリオテンプレートに追記することによって検証シナリオを生成する検証シナリオ生成装置が記載されている。
【先行技術文献】
【特許文献】
【００１４】
【特許文献１】特開２００８−２１０００４号公報
【発明の概要】
【発明が解決しようとする課題】
【００１５】
しかしながら、このような検証スティミュラス生成装置には、次のような課題があった。
【００１６】
図４の検証スティミュラス生成装置は、エラー処理用の検証シナリオがエラー処理の数だけ必要になる。このため、検証するエラー処理の数に応じて検証シナリオを個別に作成しなければならず、検証者の負担が増大してしまうという課題があった。
【００１７】
また、作成した検証シナリオ毎にスティミュラス生成のシミュレーションを行わなければならないので、エラー処理用の検証シナリオの数が多い場合には検証スティミュラス生成に時間を要するという課題もあった。
【００１８】
特許文献１の検証シナリオ生成装置はシナリオテンプレートを用いて検証シナリオを生成するものであり、自動的に検証シナリオを生成することができるという利点はあるが、テストベンチライブラリを整備しなければならず、また検証シナリオ毎にシミュレーションして検証スティミュラスを生成しなければならないという課題もあった。
【００１９】
本発明の目的は、検証シナリオのテンプレートを用いることによって、正常動作用検証スティミュラスとエラー処理用検証スティミュラスを効率的に生成することができる検証スティミュラス生成方法およびその装置を実現することにある。
【課題を解決するための手段】
【００２０】
このような課題を達成するために、本発明のうち請求項１記載の発明は、
ターゲットを検証する検証スティミュラスを生成する検証スティミュラス生成装置において、
複数の処理手順で構成される検証シナリオテンプレートと、
処理手順毎にエラーの有無、エラー種別を定義し、かつ定義番号が付与された複数のシナリオ定義が格納されるシナリオ定義管理部と、
前記シナリオ定義管理部からシナリオ定義を読み込み、この読み込んだシナリオ定義を前記検証シナリオテンプレートに適用してシナリオを生成して、このシナリオからスティミュラスを生成するスティミュラスライブラリ生成部と、
前記スティミュラスライブラリ生成部が生成したスティミュラスが格納されるスティミュラスライブラリと、
定義番号が入力され、この定義番号に基づいて前記スティミュラスライブラリからスティミュラスを読み込んで、この読み込んだスティミュラスから検証スティミュラスを生成する検証スティミュラス生成部と、
を具備したものである。検証シナリオテンプレートとシナリオ定義を生成するだけで、検証スティミュラスを生成することができる。
【００２１】
請求項２記載の発明は、請求項１に記載の発明において、
前記シナリオ定義にはエラー条件が付与され、
前記検証スティミュラス生成部は入力された定義番号に基づいてシナリオ定義管理部からシナリオ定義を読み込み、
前記読み込んだシナリオ定義のエラー条件に基づいて、読み込んだスティミュラスのエラー発生範囲を拡張するスティミュラス拡張部を具備したものである。スティミュラスライブラリの規模を小さくし、かつスティミュラスライブラリ生成時間を短縮できる。
【００２２】
請求項３記載の発明は、請求項２に記載の発明において、
前記エラー条件を、ランダム値あるいは境界値で指定するようにしたものである。効率的にエラー条件を指定できる。
【００２３】
請求項４記載の発明は、
ターゲットを検証する検証スティミュラスを生成する検証スティミュラス生成方法において、
処理手順毎にエラーの有無、エラー種別を定義し、かつ定義番号が付与されたシナリオ定義を検証シナリオテンプレートに適用してシナリオを生成し、この生成したシナリオからスティミュラスを生成する工程を繰り返して、スティミュラスライブラリを生成する工程と、
定義番号が入力され、この定義番号に基づいて前記スティミュラスライブラリからスティミュラスを読み込み、この読み込んだスティミュラスからターゲットを検証する検証スティミュラスを生成する工程と、
を備えたものである。検証シナリオテンプレートとシナリオ定義を生成するだけで、検証スティミュラスを生成することができる。
【００２４】
請求項５記載の発明は、請求項４に記載の発明において、
前記シナリオ定義にはエラー条件が付与され、検証スティミュラスを生成するときにシナリオ定義を読み込み、このシナリオ定義のエラー条件に基づいて、前記スティミュラスライブラリから読み込んだスティミュラスのエラー発生範囲を拡張するようにしたものである。スティミュラスライブラリの規模を小さくし、かつスティミュラスライブラリ生成時間を短縮できる。
【００２５】
請求項６記載の発明は、請求項５に記載の発明において、
前記エラー条件を、ランダム値あるいは境界値で指定ようにしたものである。効率的にエラー条件を指定できる。
【発明の効果】
【００２６】
本発明によれば以下のような効果がある。
請求項１、２、３、４、５、および６の発明によれば、複数の処理手順で構成される検証シナリオテンプレートにシナリオ定義を適用してシナリオを生成し、このシナリオからスティミュラスを生成する工程を繰り返してスティミュラスライブラリを生成して、定義番号に基づいて前記スティミュラスライブラリからスティミュラスを読み込んで、これらから検証スティミュラスを生成するようにした。
【００２７】
検証シナリオテンプレートとシナリオ定義を作成するだけで、正常動作の検証スティミュラスだけでなく、エラー処理の検証スティミュラスを生成することができるという効果がある。
【００２８】
また、エラーが発生するまでのスティミュラスは同じなので、スティミュラスのセーブ、リストアを繰り返すことにより、効率的にスティミュラスライブラリを生成することができるという効果もある。
【００２９】
さらに、シナリオ定義でエラー条件を与え、検証スティミュラスを生成する際にシナリオ定義を読み込み、読み込んだシナリオ定義のエラー条件に基づいてエラー発生範囲を拡張することにより、スティミュラスライブラリの大きさを小さくし、かつ生成時間を短縮することができるという効果もある。
【図面の簡単な説明】
【００３０】
【図１】本発明の一実施例を示した構成図である。
【図２】シナリオ定義の一例である。
【図３】図１の装置の動作を示したフローチャートである。
【図４】従来の検証スティミュラス生成部の構成図である。
【図５】図４従来例の動作を示すフローチャートである。
【発明を実施するための形態】
【００３１】
以下本発明を、図面を用いて詳細に説明する。図１は本発明に係る検証スティミュラス生成装置の一実施例を示した構成図である。なお、図４と同じ要素には同一符号を付し、説明を省略する。
【００３２】
図１において、３０は検証スティミュラス生成装置であり、検証シナリオテンプレート３１、シナリオ定義管理部３２、スティミュラスライブラリ生成部３３、スティミュラスライブラリ３４、検証スティミュラス生成部３５で構成される。検証スティミュラス生成部３５にはスティミュラス拡張部３５ａが含まれる。
【００３３】
検証シナリオテンプレート３１は検証するターゲット２２の動作を表すシナリオの雛型となるものであり、処理手順３１ａ、３１ｂ、３１ｃ〜３１ｎのＮ個の処理手順で構成される。検証シナリオテンプレート３１は、図４従来例の正常終了する検証シナリオ１１ａと同じものを用いることができる。
【００３４】
シナリオ定義管理部３２には複数のシナリオ定義が格納され、これらのシナリオ定義を管理して、要求されたシナリオ定義を出力する。３２ａは格納されたシナリオ定義を表す。シナリオ定義は、各処理手順についてエラー発生の有無、エラー種別、エラー条件を定義したものであり、定義番号で管理されている。シナリオ定義の詳細は後述する。
【００３５】
スティミュラスライブラリ生成部３３は、シナリオ定義管理部３２に格納されたシナリオ定義を１つずつ読み込み、検証シナリオテンプレート３１にこの読み込んだシナリオ定義を適用させてシナリオを生成する。スティミュラスライブラリ生成部３３はシミュレーションモデルとテストベンチを用いてシミュレーションを行い、生成したシナリオに対応するスティミュラスを生成する。
【００３６】
この生成したスティミュラスはスティミュラスライブラリ３４に格納される。３４ａはスティミュラスライブラリ３４に格納されたスティミュラスの一例を表す。スティミュラスライブラリ３４に格納されたスティミュラスは、元となるシナリオ定義に付与された定義番号で管理され、この定義番号を指定することによって読み出すことができる。
【００３７】
スティミュラスライブラリ生成部３３は、シナリオ定義管理部３２に格納された全てのシナリオ定義についてスティミュラスを生成し、スティミュラスライブラリ３４に格納する。スティミュラスライブラリ生成部３３は、シナリオ定義に含まれるエラー条件の範囲内における代表的なエラー条件に基づいてスティミュラスを生成する。
【００３８】
検証スティミュラス生成部３５にはスティミュラス拡張部３５ａが含まれ、また定義番号が入力される。検証スティミュラス生成部３５は、入力された定義番号に対応するシナリオ定義およびスティミュラスをそれぞれシナリオ定義管理部３２、スティミュラスライブラリ３４から読み込み、スティミュラス拡張部３５ａは読み込んだスティミュラスにエラー条件を作用させてスティミュラスのエラー発生範囲を拡張する。なお、エラー条件が指定されない場合は、検証スティミュラス生成部３５はシナリオ定義を読み込まない。
【００３９】
検証スティミュラス生成部３５は、読み込んだスティミュラスおよび拡張したスティミュラスをマージし、検証スティミュラスを生成する。３６は生成された検証スティミュラスである。
【００４０】
シナリオ定義によって生成し、スティミュラスライブラリ３４に格納されるスティミュラスはエラー条件の代表値についてのみ生成され、エラー条件の値は変数などで保持されている。スティミュラス拡張部３５ａは、ターゲット２２の検証スティミュラスを生成する際に、エラー条件を参照して、変数で保持されたエラー条件にシナリオ定義のエラー条件を代入してエラー発生範囲を拡張することにより、読み込んだスティミュラスを他の条件のスティミュラスに拡張する。
【００４１】
このようにすることによって、スティミュラスライブラリ３４にはエラー条件の代表値におけるスティミュラスを格納するだけでよくなるので、スティミュラスライブラリの生成時間を短縮し、またスティミュラスライブラリ３４に格納するスティミュラスを削減することができる。
【００４２】
生成された検証スティミュラス３６はパターンメモリ２０に送信される。検証パターン発生部２１はパターンメモリ２０に格納されたスティミュラスをターゲット２２に送信して、その動作を検証する。
【００４３】
このように、予めシナリオ定義に対応するスティミュラスを生成してスティミュラスライブラリ３４に格納しておくことにより、定義番号を入力するだけでターゲット２２の検証スティミュラスを容易に生成することができる。
【００４４】
次に、図２に基づいてシナリオ定義について説明する。シナリオ定義は、検証シナリオテンプレート３１内のＮ個の処理手順３１ａ〜３１ｎについて、正常終了するかエラーが発生するかを記述し、エラーが発生する場合はエラー種別とエラー条件を定義したものである。なお、エラー条件がない場合もある。
【００４５】
全てのシナリオ定義には、定義番号が付与される。シナリオ定義はターゲット２２を検証する検証者が生成し、予めシナリオ定義管理部３２に格納しておく。
【００４６】
エラー種別はエラーの種類を表すものであり、例えばバスアクセスの際のアドレスやデータ違反、通信プロトコルにおけるサムチェックエラーやＣＲＣ(Cyclic Redundancy Check)エラーなどがある。
【００４７】
エラー条件はエラー発生の値（シード）の範囲を指定するものであり、ランダム値と境界値のいずれかで指定する。ランダム値はある値の範囲内でランダムに発生する値のことを言い、そのエラー条件は値を発生する範囲、例えば０ｘＡ０〜０ｘＦＦ、０〜１０００で指定する。例えば、エラー条件が０ｘＡ０〜０ｘＦＦの場合は０ｘＡ０、０ｘＡ７、０ｘＢ３、０ｘＢＥの順で値を生成し、０〜１０００の場合は０、４、３７、１１１、５４６の順で生成する。生成するランダム値は、指定されたランダム値生成アルゴリズムに基づいて生成する。
【００４８】
境界値は、ある値の範囲を最大値、最小値のような境界条件となる値で指定するものである。例えば、０、１６、３２、６４のように具体的な数値で指定する。このように、エラー条件をランダム値あるいは境界値で指定することにより、効率的にエラー条件を指定できる。
【００４９】
エラー条件の値が何に対するエラーを表すかは、エラー種別によって異なる。エラー条件がどの値のときにどういうエラー処理を行うかは、シナリオ定義で定義しておく。
【００５０】
図２において、４０は全ての処理手順でエラーが発生しないシナリオ定義である。エラーが発生しないので、エラー種別およびエラー条件は空欄になっている。このシナリオ定義には、定義番号０１が付与されている。
【００５１】
４１、４２は処理手順１でそれぞれエラー種別１Ａ、１Ｂのエラーが発生する場合のシナリオ定義であり、１１、１２の定義番号が付与されている。また、エラー条件はシナリオ定義４１ではランダム値（０ｘＡ０〜０ｘＦＦ）で指定され、シナリオ定義４２では境界値０ｘ０で指定されている。
【００５２】
４３、４４は処理手順２でそれぞれエラー種別２Ａ、２Ｂのエラーが発生する場合のシナリオ定義であり、それぞれ２１、２２の定義番号が付与されている。エラー条件は、シナリオ定義４３では境界値（１６、３２、６４）で指定され、シナリオ定義４４ではランダム値（１２８〜２５５）で指定されている。
【００５３】
４５、４６は処理手順Ｎでそれぞれエラー種別ＮＡ、ＮＢのエラーが発生する場合のシナリオ定義であり、それぞれＮ１、Ｎ２の定義番号が付与されている。エラー条件はランダム値で指定され、その範囲はシナリオ定義４５では０〜１０００、シナリオ定義４６では０ｘ２００〜０ｘ３ＦＦになっている。
【００５４】
このように、シナリオ定義管理部３２に格納されるシナリオ定義は、指定された１つの処理手順で１つだけエラーが発生するシナリオ定義を網羅したものである。例えば、処理手順の数をＮ、各処理手順で発生するエラー種別の数をそれぞれＭ（１）、Ｍ（２）、Ｍ（３）、・・・・、Ｍ（Ｎ−２）、Ｍ（Ｎ−１）、Ｍ（Ｎ）とすると、シナリオ定義管理部３２に格納されるシナリオ定義の数Ｍｔは、
Ｍｔ＝Ｍ１＋Ｍ２＋Ｍ３＋・・・・＋Ｍ（Ｎ−２）＋Ｍ（Ｎ−１）＋Ｍ（Ｎ）＋１
になる。
【００５５】
各シナリオ定義では、エラーは１回しか発生しない。このため、シナリオ定義に対応するスティミュラス生成では、同じ作業を重複して行うことになる。例えば、処理手順３１ｃでエラーが発生するシナリオ定義（Ｍ（３）個ある）では、ひとつ前の処理手順（処理手順３１ｂ）までは同じ作業を行うことになる。
【００５６】
このため、シナリオ定義３１ｃに対応するスティミュラス生成時に処理手順３１ｂまでは正常終了のシミュレーションデータを用いるようにすると、シミュレーション時間を大幅に短縮することができる。また、シミュレーションデータセーブ機能を用いて処理手順３１ｂまでのシミュレーションデータを保存しておき、この保存したシミュレーションデータをリストアして処理手順３１ｃ以降のシミュレーションを行うようにしてもよい。
【００５７】
次に、図３フローチャートに基づいて本実施例の動作を説明する。図３において、工程（Ｐ３−１）でシナリオ定義管理部３２に格納されているシナリオ定義の１つを読み込み、工程（Ｐ３−２）で読み込んだシナリオ定義を検証シナリオテンプレート３１に適用してシナリオを生成して、シミュレーションによってスティミュラスを生成する。そして、工程（Ｐ３−３）でこの生成したスティミュラスをスティミュラスライブラリ３４に格納する。
【００５８】
次に、工程（Ｐ３−４）でシナリオ定義管理部３２に格納された全シナリオ定義についてスティミュラスを生成したかをチェックし、スティミュラスを生成していないシナリオ定義があると（ＮＯ）工程（Ｐ３−１）に戻り、全シナリオ定義のスティミュラス生成が終了する（ＹＥＳ）と、工程（Ｐ３−５）に進む。
【００５９】
次に、工程（Ｐ３−５）で検証者はシナリオ定義の定義番号を入力する。検証スティミュラス生成部３３はシナリオ定義管理部３２から定義番号に対応するシナリオ定義を読み込み、スティミュラスライブラリ３４から入力された定義番号に対応するスティミュラスを読み込む。
【００６０】
そして、工程（Ｐ３−６）で読み込んだシナリオ定義のエラー条件に基づいてスティミュラスのエラー発生範囲を拡張する。そして、工程（Ｐ３−７）で検証スティミュラスから検証パターンを生成し、この検証パターンをターゲット２２に出力して、その動作を検証する。なお、エラー条件が指定されていない場合は、工程（Ｐ３−５）でシナリオ定義を読み込まず、かつ工程（Ｐ３−６）でスティミュラスの拡張は行わない。
【００６１】
次に、工程（Ｐ３−８）でターゲット２２の検証が終了したかをチェックし、終了していない（ＮＯ）と工程（Ｐ３−５）に戻って新たな定義番号の入力を待ち、検証が終了する（ＹＥＳ）と、ターゲット２２の検証を終了する。
【００６２】
なお、この実施例では検証者がシナリオ定義の定義番号を入力するようにしたが、定義番号を自動的に入力するようなバッチを組むようにしてもよい、
【符号の説明】
【００６３】
２０  パターンメモリ
２１  検証パターン発生部
２２  ターゲット
３０  検証スティミュラス生成部
３１  検証シナリオテンプレート
３２  シナリオ定義管理部
３３  スティミュラスライブラリ生成部
３４  スティミュラスライブラリ
３４ａ  スティミュラス
３５  検証スティミュラス生成部
３５ａ  スティミュラス拡張部
３６  検証スティミュラス
４０〜４６  シナリオ定義
【図１】
2012118598.tif 000003
【図２】
2012118598.tif 000004
【図３】
2012118598.tif 000005
【図４】
2012118598.tif 000006
【図５】
2012118598.tif 000007