(57)【要約】【課題】  検証対象の論理値の活性化状態に対する影響を確認しながら、検証用変数を変更可能にする。【解決手段】  検証対象のシミュレーションを行う際に、その検証対象の任意の値の活性化状態の統計情報をシミュレーション実行中にリアルタイムに表示し、検証対象に影響を与える検証用変数をそのシミュレーション実行中にリアルタイムに変更する。【選択図】      図２
2006350646.tif 000002
【特許請求の範囲】
【請求項１】
検証対象のシミュレーションを行うシミュレーション装置において、
検証対象の任意の値の活性化状態の統計情報をシミュレーション実行中にリアルタイムに表示する統計情報表示手段と、
前記検証対象に影響を与える検証用変数を前記シミュレーション実行中にリアルタイムに変更する変数変更手段とを有することを特徴とするシミュレーション装置。
【請求項２】
前記検証対象の任意の値の活性化状態をシミュレーション実行中にリアルタイムに表示する活性化状態表示手段を更に有することを特徴とする請求項１記載のシミュレーション装置。
【請求項３】
前記変数変更手段で前記検証用変数を変更した手順を記録する変更手順記録手段と、
前記変更手順記録手段で記録した情報を前記シミュレーション実行中に読み出す手段とを更に有することを特徴とする請求項１又は２記載のシミュレーション装置。
【請求項４】
前記検証対象は特定の論理回路であり、前記シミュレーションは前記論理回路の任意の信号のシミュレーションを実行することを特徴とする請求項１乃至３の何れか一項記載のシミュレーション装置。
【請求項５】
検証対象のシミュレーションを行うシミュレーション方法であって、
検証対象の任意の値の活性化状態の統計情報をシミュレーション実行中にリアルタイムに表示する統計情報表示工程と、
前記検証対象に影響を与える検証用変数を前記シミュレーション実行中にリアルタイムに変更する変数変更工程とを有することを特徴とするシミュレーション方法。
【請求項６】
請求項５記載のシミュレーション方法の各手順をコンピュータに実行させるためのプログラム。
【請求項７】
請求項６記載のプログラムを記録したコンピュータ読み取り可能な記録媒体。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、検証対象のシミュレーションを行う技術に関するものである。
【背景技術】
【０００２】
論理検証シミュレーションでは、被検証プログラムである論理回路を、検証プログラムであるテストを用いてシミュレーションを行い、論理回路の検証を行っている（例えば、特許文献１）。この論理検証シミュレーションで検証対象の論理回路の検証が十分であるか否かを確認する方法として、論理回路上の信号の活性化状態、及びその統計情報を確認するという方法が採用されている。また、活性化状態に関しては、各信号毎の活性化状態と、必要によっては複数の信号同士の活性化状態の組み合わせ、更には活性化状態の遷移を確認することも行われている。
【０００３】
論理検証の手順は、まず作成したテストを使用して論理検証シミュレーションを行い、前記活性化状態の統計結果を確認する。所望の信号の活性化状態が不十分であった場合にはテスト変数を変更、テスト変数変更タイミングの変更、或いはその双方を行ったテストを追加し、再度シミュレーションを行う。そして、検証対象の論理回路上の所望の信号の活性化状態が全て網羅されるまでテストの追加、シミュレーション実行が行われる。
【０００４】
図１は、一般的なシミュレーション装置の構成の一例を示す図である。図１に示すように、シミュレーション装置１００はシミュレーションを実行するシミュレーション実行部１３０と、検証対象の論理回路部１２０と、論理回路部１２０のテストプログラムを格納したテスト部１１０と、シミュレーション操作者とシミュレーション装置１００との仲介を行うユーザインターフェース（Ｉ／Ｆ）部１４０とで構成されている。
【０００５】
また、ユーザＩ／Ｆ部１４０は論理回路上における任意の信号の活性化状態を統計情報として表示する統計情報表示部１４１を具備する。
【０００６】
ここで、シミュレーション操作者は、上述のように、統計情報表示部１４１に示されるシミュレーション結果を確認し、テスト部１１０によるテストの変更、追加を行い、再度シミュレーションを実行するという手順を繰り返す。
【特許文献１】特開平06-231201号公報
【発明の開示】
【発明が解決しようとする課題】
【０００７】
しかしながら、従来の方法では、活性化状態の統計結果の確認は、シミュレーションの終了後に行われるため、どのテスト変数をどのタイミングで変更したときに、どの活性化状態の統計情報に貢献したのかを解析することが難しいという問題があった。
【０００８】
また、上述の問題のため、テスト変数の変更は確実な根拠に基づいて行われるものではなく、テストの追加、及びシミュレーション再実行の繰り返しが多く発生し、論理検証の期間が長期化するという問題もあった。
【０００９】
本発明は、上記課題を解決するためになされたもので、検証対象の論理値の活性化状態に対する影響を確認しながら、検証用変数を変更可能にすることを目的とする。
【課題を解決するための手段】
【００１０】
本発明は、検証対象のシミュレーションを行うシミュレーション装置において、検証対象の任意の値の活性化状態の統計情報をシミュレーション実行中にリアルタイムに表示する統計情報表示手段と、前記検証対象に影響を与える検証用変数を前記シミュレーション実行中にリアルタイムに変更する変数変更手段とを有することを特徴とする。
【００１１】
また、本発明は、検証対象のシミュレーションを行うシミュレーション方法であって、検証対象の任意の値の活性化状態の統計情報をシミュレーション実行中にリアルタイムに表示する統計情報表示工程と、前記検証対象に影響を与える検証用変数を前記シミュレーション実行中にリアルタイムに変更する変数変更工程とを有することを特徴とする。
【発明の効果】
【００１２】
本発明によれば、検証対象の論理値の活性化状態に対する影響を確認しながら、検証用変数を変更することができるので、検証十分性を満たしたシミュレーション実行を短期間に行うことができる。
【００１３】
また、シミュレーション実行中に変更した検証用変数及びその変更手順を記録することにより、記録した情報を読み出しながら再度シミュレーション実行が可能となる。
【発明を実施するための最良の形態】
【００１４】
以下、図面を参照しながら発明を実施するための最良の形態について詳細に説明する。
【００１５】
［第１の実施形態］
図２は、第１の実施形態におけるシミュレーション装置の構成の一例を示す図である。図２に示すように、シミュレーション装置２００は、シミュレーションを実行するシミュレーション実行部２３０と、検証対象の論理回路部２２０と、論理回路部２２０のテストプログラムを格納したテスト部２１０と、シミュレーション操作者と本シミュレーション装置２００との仲介を行うユーザインターフェース（Ｉ／Ｆ）部２４０とから構成されている。
【００１６】
ここで、ユーザＩ／Ｆ部２４０は、シミュレーション実行部２３０に対してシミュレーション実行中にテスト変数の変更を行うためのユーザＩ／Ｆであるリアルタイム変数変更部２４１と、シミュレーション実行中に論理回路部２２０内の任意の信号の活性化状態を表示するリアルタイム活性化状態表示部２４２と、シミュレーション実行中に論理回路部２２０内の任意の信号の活性化状態を統計情報として表示するリアルタイム統計情報表示部２４３とを具備する。
【００１７】
以上の構成において、シミュレーション操作者がシミュレーション装置２００を起動すると、シミュレーション実行部２３０が論理回路部２２０とテスト部２１０とを読み込み、テスト部２１０のテストプログラムに従って論理回路部２２０の検証対象のシミュレーションを開始する。そして、シミュレーションが開始されると、予め指示しておいた論理回路部２２０内の任意の信号の活性化状態をリアルタイム活性化状態表示部２４２に表示する。
【００１８】
具体的な表示方法としては、例えばシミュレーション実行部２３０がシミュレーション状態を一時格納する不図示のメモリ領域（シミュレーションを実行しているコンピュータのメモリに割り当てられたメモリ領域、以下、単にメモリ領域と言う）を参照し、メモリ領域が更新されたときに、リアルタイム活性化状態表示部２４２に通知することにより、リアルタイム活性化状態表示部２４２にシミュレーション状態をリアルタイムに表示することができる。
【００１９】
また、リアルタイム統計情報表示部２４３は、予め指示しておいた論理回路部２２０内の任意の信号の活性化状態を統計情報としてリアルタイムに更新して表示する。具体的な表示方法としては、例えばシミュレーション実行部２３０がシミュレーション状態を一時格納する不図示のメモリ領域を参照し、メモリ領域が更新されたときにリアルタイム統計情報表示部２４３に通知し、通知を受けたときにメモリ領域を確認、統計情報を更新して表示するといった方法により実現することができる。
【００２０】
ここで、テスト部２１０はテストを制御する様々なテスト変数を持ち、そのテスト変数は、例えば不図示のメモリ領域に格納され、シミュレーション実行部２３０はそのテスト変数を参照しながらテストシミュレーションを行う。尚、上述のリアルタイム変数変更部２４１はテスト変数が格納されたメモリ領域をアクセスし、書き換えることができるものとする。
【００２１】
次に、論理回路部２２０の検証対象として具体例を挙げ、シミュレーション装置２００における具体的な操作例について説明する。第１の実施形態では、検証対象として図３に示すようなバスアクセス権調停回路３００を挙げ、具体的にシミュレーションする場合について説明する。
【００２２】
図３は、論理回路部２２０の具体例であるバスアクセス権調停回路のシミュレーションを説明するための図である。図３に示すように、論理回路部２２０はバスアクセス権調停回路３００と、バスのマスターとなるマスターＡ３１０、マスターＢ３１１、マスターＣ３１２と、バスマスターが接続するバス３３０と、バス３３０に接続されるバススレーブ３２０とで構成されている。
【００２３】
また、図３に示す３４０は、図２に示したリアルタイム変数変更部２４１の一具体例である。そして、テスト部２１０のテストプログラムは、図３に示すバスマスターＡ３１０、Ｂ３１１、Ｃ３１２のバスアクセス要求を制御するプログラムである。
【００２４】
尚、第１の実施形態では、例えばテスト部２１０は、バスアクセス要求を無作為に行うものとし、かつ１０から２０サイクルに１回行うような制約を与えるものとする。
【００２５】
上述したようなテスト部２１０のテストプログラムを用いてシミュレーション実行中におけるリアルタイム統計情報表示部２４３の様子を図４に示し、リアルタイム活性化状態表示部２４２の様子を図５に示す。
【００２６】
図４では、バスアクセス権調停回路３００の任意の信号として、各バスマスターのバスアクセスリクエスト信号及びバスマスターに対するバスアクセス許可信号に注目し、それらの活性化状態の統計結果を示している。図中の丸印は、各バスマスターの活性化された状態を表しており、黒丸で示す状態がバスアクセス権利を獲得した場合、白丸で示す状態がバスアクセス権利を獲得できなかった場合を表している。
【００２７】
図４に示す４０１〜４１２は、上述の信号の活性化状態が起こり得る全ての組み合わせを示している。４０１〜４０３がそれぞれのバスマスターが単独でアクセス要求を行い、それぞれバスアクセス権利を獲得できた場合を示している。４０４〜４０９までが３つのバスマスターのうち２つのバスマスターのバスアクセス権要求タイミングが重なり、片方のバスマスターがバスアクセス権利を獲得した場合を示している。４１０〜４１２までが３つのバスマスター全てのバスアクセス権要求が重なり、それぞれがバスアクセス権利を獲得した場合を示している。
【００２８】
上述したバスアクセス権調停回路３００の論理検証では、例えば全ての事象を起こせるテストを作成し、問題なく動作することを確認することで、テストの十分性を満たすものと判断する。
【００２９】
これら活性化状態の統計情報は上述した方法によりシミュレーション実行中に逐次更新される。図に示された途中結果からは４０２の事象と４０６の事象が起きていないことが分かる。上述のように、テストは各バスマスターのバスアクセス権要求を無作為に行っているため、上述の４０２、４０６の両事象は、いつかは起こることが予想される。しかし、第１の実施形態におけるシミュレーション装置のリアルタイム変数変更部２４１に上述のバスマスターがバスアクセス権を要求する頻度をコントロールするテスト変数を変更できるようにすることにより、即座に、且つ、テスト結果を確認しながらテスト内容を変更することができる。
【００３０】
図３に示す３４０は上述したリアルタイム変数変更部２４１の具体例であり、３４１、３４３、３４５はバスマスターＡ３１０、Ｂ３１１、Ｃ３１２のバスアクセス権要求頻度をそれぞれ制御するためのテスト変数変更装置で、操作レバー３４２、３４４、３４６を具備している。各操作レバーを上に上げればバスアクセス権要求頻度が上がるようにテスト変数を変更し、下に下げればバスアクセス権要求頻度が下がるようにテスト変数を変更する。
【００３１】
図４に示す４０２の事象が起きていないことから、まだ一度もマスターＢ３１１が単独でバスアクセス権を要求し、権利を獲得した状態が起きていないことが分かる。そこで、上述のリアルタイム変数変更部２４１を操作し、４０２の事象を起こすように制御する。具体的には、操作レバー３４２と操作レバー３４６を下げてマスターＡ３１０とマスターＣ３１２のバスアクセス件要求を行わないようにテスト変数を変更する。このことにより即座に４０２の事象を起こすことができる。
【００３２】
次に、４０６の事象が起きるような操作を行う。この４０６の事象が起きていない、と言うことは、マスターＡ３１０とマスターＢ３１１のバスアクセス権要求が衝突したときに、常にマスターＡ３１０がバスアクセス権を獲得しているということが分かる。
【００３３】
そこで、マスターＡ３１０とマスターＢ３１１だけがバスアクセス権要求を出す状況を作るために、まず、操作レバー３４６を下げてマスターＣ３１２がバスアクセス権要求を起こさないようにする。更に、操作レバー３４２と操作レバー３４４を同程度のレベルとする。
【００３４】
ここで、上述のバスアクセス権調停回路３００におけるバスアクセス権の優先順位変更がラウンドロビン方式で行われているとすると、上述のレバー操作により、４０６の事象を起こすことができる。
【００３５】
更に、図５に示すように、リアルタイム活性化状態表示部２４２にバスアクセス調停回路３００におけるバスアクセス権の優先順位の状態を表示させるようにすれば、バスアクセス権が、マスターＢ３１１が優先であるときにレバー操作を行うことにより、より確実に事象４０６を起こすことができる。
【００３６】
尚、第１の実施形態においては、リアルタイム変数変更部２４１としてグラフィカルなインターフェースの例を示したが、コマンドインターフェースでも構わない。
【００３７】
［第２の実施形態］
次に、図面を参照しながら本発明に係る第２の実施形態を詳細に説明する。
【００３８】
尚、第２の実施形態におけるシミュレーション装置の構成は、第１の実施形態で用いた図２に示す構成と同じであり、その説明は省略する。
【００３９】
次に、論理回路部２２０の検証対象として具体例を挙げ、シミュレーション装置２００における具体的な操作例について説明する。第２の実施形態では、検証対象として図６に示すような画像処理回路６００を挙げ、具体的にシミュレーションする場合について説明する。
【００４０】
図６は、論理回路部２２０の具体例である画像処理回路のシミュレーションを説明するための図である。図６に示すように、画像処理回路６００はFIFO回路６１０と画像処理部６２０とを含む。また、画像処理回路６００には論理検証用に、入力側にマスターモデル６３０が、出力側にスレーブモデル６４０が接続されている。
【００４１】
次に、この画像処理回路６００における外部とのデータ授受の方法について説明する。画像処理回路６００がマスターモデル６３０から画像データを受け取ると、画像データをFIFO部６１０に一時格納する。ここで、画像処理部６２０が画像処理を行う準備ができている場合、画像処理部６２０はFIFO部６１０から画像データを読み出して画像処理を行い、順次スレーブモデル６４０に画像処理後のデータを送出する。
【００４２】
例えば、スレーブモデル６４０は画像処理後のデータを即座に受け取ることができないような状況を模擬できるものとし、その場合には画像処理部６２０に対してビジー信号を発行する。一方、画像処理回路６２０がスレーブモデル６４０からビジー信号を受け取ると、FIFO部６１０からの画像データ読み出しを停止する。また、FIFO部６１０はマスターモデル６３０から画像データを受け続け、バッファがフルになった時点でマスターモデル６３０に対してビジー信号を発行し、これ以上画像データを受け取ることができないことを通知する。
【００４３】
第２の実施形態では、上述の画像処理回路６００のFIFO部６１０に注目した論理検証を例に説明する。
【００４４】
第２の実施形態におけるリアルタイム活性化状態表示部２４２の様子を図７に、リアルタイム統計情報表示部２４３の様子を図８に示す。また、リアルタイム変数変更部２４１の実現例として図６の６５０に示す。
【００４５】
図７では、論理回路部２２０内における任意の信号の活性化状態として、FIFO部６１０の記憶領域のイメージを７０１に、記憶領域に対する書き込みポインタ（ＷＰ）の位置を７０２に、読み出しポインタ（ＲＰ）の位置を７０３に示す。７１０〜７３０は、FIFO部６１０の記憶領域のイメージ７０１、ＷＰの位置７０２、ＲＰの位置７０３の様々な場合について示している。また、この記憶領域のイメージ７０１において、第２の実施形態では画像データを８つまで格納できるものとしており、塗りつぶされた部分は画像データが格納されている状態を示している。
【００４６】
図８には、上述のＷＰとＲＰの位置関係とバッファの状態を縦軸に、ＷＰとＲＰの位置を横軸にとり、それぞれが交差したマスにその事象が起きた回数を表示している。例えば、図８に示す「ＷＰ＞ＲＰ」では、「０＜ＷＰ＜７、且つ、０＜ＲＰ＜７」が合計３２回起きていることを示しているが、これは図７における７１０の状態を代表している。
【００４７】
第１の実施形態と同様に、論理回路部２２０に対して十分なテストを行うために、図８のリアルタイム統計情報表示部２４３の情報より分かる１度も起きていない事象を、図６に示すリアルタイム変数変更部６５０により操作を行う。ここでは、図８に示す「ＷＰ＝ＲＰ＆フル」で「ＷＰ＝ＲＰ＝０」の状態を起こす。これは、図７に示す７３０の状態に相当する。
【００４８】
上述したリアルタイム活性化状態表示部２４２を確認しながら、ＲＰが０に来た時点で図６に示す操作レバー６５４を操作し、常にスレーブモデル６４０からビジー信号を発行している状態とし、操作レバー６５２はマスターモデル６３０からの画像データの出力を止めないような適当な位置に操作する。
【００４９】
このようにして、図７に示す７３０の状態を実現し、また図８に示すリアルタイム統計情報表示部２４３の「ＷＰ＝ＲＰ＆フル」で「ＷＰ＝０、ＲＰ＝０」の統計情報に１追加されることが確認できる。
【００５０】
このように、所望の信号の活性化状態を容易に起こすことができるため、リストアップした信号活性化状態の統計情報の空欄を容易に埋めることができる。
【００５１】
尚、第２の実施形態では、統計情報の表示方法として数値を用いたが、グラフで表示するなど、表示形式に限定されるものではない。
【００５２】
［第３の実施形態］
次に、図面を参照しながら本発明に係る第３の実施形態を詳細に説明する。
【００５３】
通常、論理検証においては、シミュレーションを行って不具合を見つけた場合、論理回路を修正し、不具合を見つけたテストを再実行し、不具合が正しく修正されたことを確認するという手順を踏む。第３の実施形態は、図２に示したシミュレーション装置２００の構成に加え、論理検証の手順におけるテストの再実行を行えるようにするものである。
【００５４】
図９は、第３の実施形態におけるシミュレーション装置の構成の一例を示す図である。図９に示すように、シミュレーション装置９００は、図２に示したシミュレーション装置２００における２１０〜２４３の各部に相当する各部９１０〜９４３に加え、テスト変数を変更した手順を記録する、変更手順記録部９５０を具備する。
【００５５】
ここで、変更手順記録部９５０は、第１の実施形態で説明したリアルタイム変数変更部２４１に相当する、変数変更部９４１を使用してテスト変数を変更したシミュレーション時間（サイクル）及び変更した変数の値を記録する。
【００５６】
テストを再実行する際には、変更手順記録部９５０を用いて記録した情報を、記録したときに使用したテスト部９１０と共に用いる。例えば、シミュレーション実行部９３０は、予め変更手順記録部９５０からテスト変数を変更したシミュレーション時間のみを読み出す。そして、シミュレーション実行部９３０は予め読み出したシミュレーション時間に達したならば、現在実行中のテストに関わるテスト変数が格納されたメモリ領域を、変更手順記録部９５０から現シミュレーション時間に対応する、記録されたテスト変数を読み出して上書きする。
【００５７】
第３の実施形態によれば、変更手順記録部９５０により、テスト変数を変更しつつ実行したシミュレーションを容易に再現することが可能となる。
【００５８】
以上説明したように、第１乃至第３の実施形態によれば、従来テストに組み込んでいたテスト変数を変更するアルゴリズム等を簡略化し、テストコードの削減及びその開発期間を短縮することができる。
【００５９】
尚、本発明は複数の機器（例えば、ホストコンピュータ，インターフェース機器，リーダ，プリンタなど）から構成されるシステムに適用しても、１つの機器からなる装置（例えば、複写機，ファクシミリ装置など）に適用しても良い。
【００６０】
また、本発明の目的は、前述した実施形態の機能を実現するソフトウェアのプログラムコードを記録した記録媒体を、システム或いは装置に供給し、そのシステム或いは装置のコンピュータ（ＣＰＵ若しくはＭＰＵ）が記録媒体に格納されたプログラムコードを読出し実行することによっても、達成されることは言うまでもない。
【００６１】
この場合、記録媒体から読出されたプログラムコード自体が前述した実施形態の機能を実現することになり、そのプログラムコードを記憶した記録媒体は本発明を構成することになる。
【００６２】
このプログラムコードを供給するための記録媒体としては、例えばフロッピー（登録商標）ディスク，ハードディスク，光ディスク，光磁気ディスク，ＣＤ−ＲＯＭ，ＣＤ−Ｒ，磁気テープ，不揮発性のメモリカード，ＲＯＭなどを用いることができる。
【００６３】
また、コンピュータが読出したプログラムコードを実行することにより、前述した実施形態の機能が実現されるだけでなく、そのプログラムコードの指示に基づき、コンピュータ上で稼働しているＯＳ（オペレーティングシステム）などが実際の処理の一部又は全部を行い、その処理によって前述した実施形態の機能が実現される場合も含まれることは言うまでもない。
【００６４】
更に、記録媒体から読出されたプログラムコードが、コンピュータに挿入された機能拡張ボードやコンピュータに接続された機能拡張ユニットに備わるメモリに書込まれた後、そのプログラムコードの指示に基づき、その機能拡張ボードや機能拡張ユニットに備わるＣＰＵなどが実際の処理の一部又は全部を行い、その処理によって前述した実施形態の機能が実現される場合も含まれることは言うまでもない。
【図面の簡単な説明】
【００６５】
【図１】一般的なシミュレーション装置の構成の一例を示す図である。
【図２】第１の実施形態におけるシミュレーション装置の構成の一例を示す図である。
【図３】論理回路部２２０の具体例であるバスアクセス権調停回路のシミュレーションを説明するための図である。
【図４】シミュレーション実行中におけるリアルタイム統計情報表示部２４３の様子を示す図である。
【図５】シミュレーション実行中におけるリアルタイム活性化状態表示部２４２の様子を示す図である。
【図６】論理回路部２２０の具体例である画像処理回路のシミュレーションを説明するための図である。
【図７】第２の実施形態におけるリアルタイム活性化状態表示部２４２の様子を示す図である。
【図８】第２の実施形態におけるリアルタイム統計情報表示部２４３の様子を示す図である。
【図９】第３の実施形態におけるシミュレーション装置の構成の一例を示す図である。
【符号の説明】
【００６６】
１００  シミュレーション装置
１１０  テスト部
１２０  論理回路部
１３０  シミュレーション実行部
１４０  ユーザＩ／Ｆ部
１４１  統計情報表示部
２００  シミュレーション装置
２１０  テスト部
２２０  論理回路部
２３０  シミュレーション実行部
２４０  ユーザＩ／Ｆ部
２４１  リアルタイム変数変更部
２４２  リアルタイム活性化状態表示部
２４３  リアルタイム統計情報表示部
３００  バスアクセス権調停回路
３１０  バスマスターＡ
３１１  バスマスターＢ
３１２  バスマスターＣ
３２０  バススレーブ
３３０  バス
３４０  リアルタイム変数変更部
６００  画像処理回路
６１０  FIFO部
６２０  画像処理部
６３０  マスターモデル
６４０  スレーブモデル
６５０  リアルタイム変数変更部
９００  シミュレーション装置
９１０  テスト部
９２０  論理回路部
９３０  シミュレーション実行部
９４０  ユーザＩ／Ｆ部
９４１  変数変更部
９４２  活性化状態表示部
９４３  統計情報表示部
９５０  変更手順記録部
【図１】
2006350646.tif 000003
【図２】
2006350646.tif 000004
【図３】
2006350646.tif 000005
【図４】
2006350646.tif 000006
【図５】
2006350646.tif 000007
【図６】
2006350646.tif 000008
【図７】
2006350646.tif 000009
【図８】
2006350646.tif 000010
【図９】
2006350646.tif 000011