(57)【要約】【課題】プロパティ言語で記述された内容を等価な別の表現であるタイミングチャートに変換して生成することができるタイミングチャート生成装置を得る。【解決手段】ハードウェアの仕様を仕様記述言語で記述したプロパティ情報の内容をタイミングチャートとして生成するタイミングチャート生成装置であって、前記プロパティ情報を構成する構成要素に関する構成単位情報および前記構成単位情報が論理的に意味する時間変化情報を格納する構文情報格納手段と、前記構成単位情報に基づいて、前記プロパティ情報の文法的構造を解析し、前記構成単位情報ごとに、前記タイミングチャートを合成するための合成指示であるタイミングチャート合成指示情報を取得する構文解析手段と、前記タイミングチャート合成指示情報に基づいて、前記プロパティ情報が論理的に意味する信号の時間変化をタイミングチャートとして合成するタイミングチャート合成手段と、を備える。【選択図】        図１
2008112277.tif 000002
【特許請求の範囲】
【請求項１】
ハードウェアの仕様を仕様記述言語で記述したプロパティ情報の内容をタイミングチャートとして生成するタイミングチャート生成装置であって、
前記プロパティ情報を構成する構成要素に関する構成単位情報および前記構成単位情報が論理的に意味する時間変化情報を格納する構文情報格納手段と、
前記構成単位情報に基づいて、前記プロパティ情報の文法的構造を解析し、前記構成単位情報ごとに、前記タイミングチャートを合成するための合成指示であるタイミングチャート合成指示情報を取得する構文解析手段と、
前記タイミングチャート合成指示情報に基づいて、前記プロパティ情報が論理的に意味する信号の時間変化をタイミングチャートとして合成するタイミングチャート合成手段と、
を備えることを特徴とするタイミングチャート生成装置。
【請求項２】
前記タイミングチャート合成手段は、前記プロパティ情報と論理的に一致した信号の時間変化を有するタイミングチャートを合成すること
を特徴とする請求項１に記載のタイミングチャート生成装置。
【請求項３】
前記タイミングチャート合成手段は、前記プロパティ情報と論理的に一致しない信号の時間変化を有するタイミングチャートを合成すること
を特徴とする請求項１に記載のタイミングチャート生成装置。
【請求項４】
前記タイミングチャート合成手段は、前記プロパティ情報と論理的に一致した信号の時間変化を有するタイミングチャートまたは前記プロパティ情報と論理的に一致しない信号の時間変化を有するタイミングチャートのどちらを合成するかを選択可能であること
を特徴とする請求項１および２に記載のタイミングチャート生成装置。
【請求項５】
前記タイミングチャート合成手段は、前記プロパティ情報に対応する前記タイミングチャート合成指示情報が複数存在する場合に、前記複数のタイミングチャート合成指示情報のそれぞれに対応する前記タイミングチャートを合成すること
を特徴とする請求項１〜４のいずれか１つに記載のタイミングチャート生成装置。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、プロパティ言語で記述された内容を等価な別の表現であるタイミングチャートに変換して生成することができるタイミングチャート生成装置に関するものである。
【背景技術】
【０００２】
一般に、半導体集積回路の設計過程では、まず、半導体集積回路全体をシステムと捉え、その動作を記述した動作レベル記述を作成し、つぎに、作成された動作レベル記述を、回路の設計データとなるＲＴ（Register  Transfer）レベル記述に変換する。さらに、ＲＴレベル記述が、ゲートレベル記述（ゲートレベル論理回路；ネットリスト）に自動変換され、このようにして生成されたネットリストをもとに、レイアウト設計が行われ、ついで、チップ設計が行われる。以上のような半導体集積回路の設計では、上記のステップによってなされた設計の正当性を調べる設計検証が行われる。この設計検証には、たとえば、各ステップの変換が正しいかを検証する等価性検証と、各記述が設計対象を正しく表現しているかを検証する仕様検証とがある。
【０００３】
従来、この等価性検証を行う装置として、たとえば、機能レベルのハードウェア記述言語によるハードウェア記述で表現された論理回路と、ゲートレベルのハードウェア記述言語によるハードウェア記述で表現された上記と同じ論理回路との論理の等価性の検証を、プール式の比較による論理検証とテストパターンを使用した比較シミュレーションによる論理検証とのいずれを使用するかを、論理回路を分割して得られる個々の部分回路ごとに切り分けることによって行う論理検証装置などが提案されている（たとえば、特許文献１参照）。
【０００４】
【特許文献１】特開平３−２９８６８号公報
【発明の開示】
【発明が解決しようとする課題】
【０００５】
ところで、近年では、仕様記述言語（以下、プロパティ言語という）で記述した仕様であるプロパティと、ハードウェア記述言語で記述した設計情報とを検証ツールに入力することで、双方の論理の等価性を検証（以下、モデルチェックという）することができるようになっている。ここで、プロパティ言語とは、ハードウェアの設計仕様を記述する専用言語のことをいう。また、このような検証ツールを用いることによって、設計・検証レビュー時には、検証で使用したプロパティを直接レビューすることで、第三者のチェックによるハードウェアの品質改善が期待できる。
【０００６】
しかし、プロパティ言語には複数種類が存在し、それぞれに多くの表現方法がある。また、現時点において、プロパティ言語の歴史が浅いために、プロパティ言語に精通した技術者が不足している。そのため、プロパティ記述者が設計仕様に従ってプロパティを記述したつもりでも、その記述したプロパティが本当に設計仕様通りかどうかを判断することが困難であり、プロパティ自体に記述ミスが入ってしまうことがあった。
【０００７】
また、プロパティ言語の論理的な意味を熟知している者でなければプロパティの内容を理解できないという問題点があり、このことが設計・検証レビュー時の理解の妨げになっていた。また、特許文献１に記載の論理検証装置は、プロパティ言語に関するものではなく、プロパティ言語に関する上記のような問題点を解決するものではなかった。
【０００８】
この発明は、上記に鑑みてなされたもので、プロパティ言語で記述された内容を等価な別の表現であるタイミングチャートに変換して生成することができるタイミングチャート生成装置を得ることを目的とする。
【課題を解決するための手段】
【０００９】
上述した課題を解決し、目的を達成するために、本発明にかかるタイミングチャート生成装置は、ハードウェアの仕様を仕様記述言語で記述したプロパティ情報の内容をタイミングチャートとして生成するタイミングチャート生成装置であって、プロパティ情報を構成する構成要素に関する構成単位情報および構成単位情報が論理的に意味する時間変化情報を格納する構文情報格納手段と、構成単位情報に基づいて、プロパティ情報の文法的構造を解析し、構成単位情報ごとに、タイミングチャートを合成するための合成指示であるタイミングチャート合成指示情報を取得する構文解析手段と、タイミングチャート合成指示情報に基づいて、プロパティ情報が論理的に意味する信号の時間変化をタイミングチャートとして合成するタイミングチャート合成手段と、を備えることを特徴とする。
【発明の効果】
【００１０】
この発明によれば、複雑で難解なプロパティが表している意味を翻訳して、より平易な等価表現としてタイミングチャートを生成することができるため、プロパティ言語の論理的な意味を熟知している者でなくてもプロパティの内容を容易に理解することが可能になる、という効果を奏する。これにより、設計仕様に合致したプロパティが記述してあるかどうかを容易に判断することができる、という効果を奏する。
【００１１】
また、生成したタイミングチャートを確認することにより、モデルチェックを実行する前にプロパティ記述ミスを発見して取り除くことができるため、プロパティ記述ミスにキンしたモデルチェックの再実行を削減することができる、という効果を奏する。更に、理解しやすいタイミングチャート生成が技術者のプロパティ記述教育に貢献する、という効果を奏する。
【発明を実施するための最良の形態】
【００１２】
以下に、本発明にかかるタイミングチャート生成装置の好適な実施の形態を図面に基づいて詳細に説明する。なお、本発明は以下の記述に限定されるものではなく、本発明の要旨を逸脱しない範囲において適宜変更可能である。
【００１３】
実施の形態１．
図１は、本発明の実施の形態１にかかるタイミングチャート生成装置１の概略構成を示すブロック図である。このタイミングチャート生成装置１は、図１に示すように入力部１０と、タイミングチャート合成部２０と、構文解析部３０と、構文データベース４０と、出力部５０と、を備えて構成されている。
【００１４】
入力部１０は、ハードウェアの仕様をプロパティ言語で記述したプロパティであってタイミングチャート生成装置１における変換対象であるプロパティに関するプロパティ情報Ａを入力する。このプロパティ情報Ａが直接記述される場合には、入力部１０はキーボードやポインティングデバイス、マウスなどの入力装置によって構成される。また、プロパティ情報Ａとして記録媒体や通信媒体からファイルを読み込む場合には、入力部１０はファイル読み込み装置によって構成される。入力部１０は、入力されたプロパティ情報Ａをタイミングチャート合成部２０に出力する。
【００１５】
タイミングチャート合成部２０は、入力部１０から受け取ったプロパティ情報Ａを構文解析部３０にプロパティ情報Ａに出力する。そして、タイミングチャート合成部２０は、構文解析部３０から出力されるタイミングチャート合成指示情報Ｃに従って、プロパティ情報Ａから該プロパティ情報が論理的に意味している信号の時間変化を１個または複数のタイミングチャート情報として合成し、合成したタイミングチャート情報を出力部５０に出力する。すなわち、タイミングチャート合成部２０は、プロパティ情報が論理的に意味している信号の時間変化を、所定の等価表現に変換して出力する。
【００１６】
構文解析部３０は、タイミングチャート合成部２０から受け取ったプロパティ情報Ａの文法的構造を解析し、プロパティ情報Ａからタイミングチャート情報への合成（等価変換）に必要なタイミングチャート合成指示情報Ｃを構文単位情報ごとに生成する。このタイミングチャート合成指示情報Ｃは、タイミングチャート情報の生成時にタイミングチャート合成部２０が利用する情報である。
【００１７】
このとき構文解析部３０は、構文データベース４０に構文データベースへの問合せ情報Ｄを出力することにより構文データベース４０に問合せを行い、後述するプロパティ構成単位情報Ｅを構文データベース４０から得る。そして、構文解析部３０は、このプロパティ構成単位情報Ｅを参照しながらプロパティ情報Ａを解析する。そして、構文解析部３０は、作成したタイミングチャート合成指示情報Ｃをタイミングチャート合成部２０に対して出力する。
【００１８】
構文データベース４０は、構文解析部３０によるプロパティ情報Ａの構文を解析する際に使用されるプロパティ構成単位情報Ｅを格納する。プロパティ構成単位情報Ｅは、プロパティ情報Ａの文法的構造やプロパティを構成する構文要素（キーワード）に関する情報、そして該構成単位情報が論理的に意味している時間変化情報、構文要素（キーワード）ごとの等価表現情報である自然言語情報などを含む。これらのプロパティ構成単位情報Ｅは、予めこのタイミングチャート生成装置１の管理者や使用者などによって構文データベース４０の中に格納される。
【００１９】
図２は、構文データベース４０に格納されるプロパティ構成単位情報Ｅの一例を示す図である。図２においては、プロパティ構成単位情報Ｅとして、プロパティを構成する構文要素であってプロパティ言語で記述される「キーワード」、該「キーワード」の分類を示す「分類」、該「キーワード」と等価な自然言語表現を示す「自然言語情報」の各項目を示している。このプロパティ構成単位情報Ｅを用いることにより、プロパティ言語で記述された「キーワード」を該「キーワード」と等価な自然言語表現に変換することができる。たとえば、キーワード「Ｘ｜＝＞Ｙ」は、等価な自然言語表現「Ｘの１サイクル後にＹ」と変換することができる。また、キーワード「ａ；ｂ」は、等価な自然言語表現「ａの後に１サイクル進めてｂ」と変換することができる。
【００２０】
出力部５０は、タイミングチャート合成部２０において合成したタイミングチャート情報をタイミングチャート生成装置１の使用者に対して提示する手段であり、グラフィックディスプレイなどの表示装置に視覚的にその内容を表示したり、ファイルの形式で出力したりする。
【００２１】
つぎに、このような構成を有するタイミングチャート生成装置１の動作について図３を参照して説明する。図３は、タイミングチャート生成装置１におけるハードウェアの仕様（プロパティ）と、該ハードウェアの仕様（プロパティ）の表現形式と、の対応の一例を示す図である。この図３においては、「１サイクル目で信号αがＨｉｇｈであり、且つ２サイクル目で信号αが立ち下がる（Ｌｏｗ）ならば、５サイクル目に信号βは立ち上がる（Ｈｉｇｈになる）」という内容のハードウェアの仕様が、Ｎｏ（１）に「自然言語」で記述され、Ｎｏ（２）に「プロパティ言語」で記述され、Ｎｏ（３）に「タイミングチャート（パス波形）」で記述され、Ｎｏ（４）に「タイミングチャート（フェイル波形）」で記述されている。
【００２２】
なお、図３のＮｏ（３）に示された「タイミングチャート（パス波形）」は、プロパティ情報Ａと論理的に一致した信号の時間変化を有するタイミングチャート（パス波形）であり、図３の（４）に示された「タイミングチャート（フェイル波形）」は、プロパティ情報Ａと論理的に一致しない信号の時間変化を有するタイミングチャート（フェイル波形）を示している。
【００２３】
まず、タイミングチャート生成装置１の使用者によって、ハードウェアの仕様をプロパティ言語で記述したプロパティであってタイミングチャート生成装置１における変換対象であるプロパティに関するプロパティ情報Ａが、入力部１０から入力される。たとえば、プロパティ情報Ａとして、「１サイクル目で信号αがＨｉｇｈであり、且つ２サイクル目で信号αが達下がる（Ｌｏｗ）ならば、５サイクル目に信号βは立ち上がる（Ｈｉｇｈになる）」という内容のハードウェア仕様（自然言語）がプロパティ言語で記述されたプロパティ情報Ａが入力されるものとする。
【００２４】
入力部１０から入力されたプロパティ情報Ａはタイミングチャート合成部２０に出力される。タイミングチャート合成部２０は、プロパティ情報Ａを受け取ると、該プロパティ情報Ａを構文解析部３０に出力する。構文解析部３０は、プロパティ情報Ａを受け取ると、構文データベース４０に構文データベースへの問合せ情報Ｄを出力する。構文データベース４０は、問合せ情報Ｄに対応したプロパティ構成単位情報Ｅを構文解析部３０に出力する。
【００２５】
構文解析部３０は、構文データベース４０から得たプロパティ構成単位情報Ｅを参照しながらプロパティ情報Ａの文法的構造を解析し、プロパティ情報Ａからのタイミングチャート情報の合成（等価変換）に必要なタイミングチャート合成指示情報Ｃを生成する。すなわち、構文解析部３０は、プロパティ構成単位情報Ｅに基づいてプロパティ情報Ａの文法的構造を左側から分割していき、「ａｌｗａｙｓ」、「｛  α；  ！α｝」、「｜＝＞」、「｛［＊２］；  β｝」のまとまりを得る。
【００２６】
そして、構文解析部３０は、これらのそれぞれをさらに分割し、プロパティ構成単位情報Ｅに格納されている構文要素の最小単位になったところで、構文要素を最小単位ごとに対応する自然言語情報に変換して、変換した自然言語情報をタイミングチャート合成指示情報Ｃとして得る。
【００２７】
たとえば、図３の（２）のように記述されたプロパティ情報Ａを構文解析部３０が分割していくと、図４に示すように最小単位の構成要素として、キーワード「always」、キーワード「α」、キーワード「；」、キーワード「！α」、キーワード「｜＝＞」、キーワード「［＊２］」、キーワード「；」、キーワード「β」が得られる。
【００２８】
構文解析部３０はこの時点で、図４に示すように、キーワード「always」→自然言語情報「“初期化”（初期サイクルに）」、キーワード「α」→自然言語情報「“α＝１を配置”（１サイクル目）」、キーワード「；」→自然言語情報「次サイクルに進む」、キーワード「！α」→自然言語情報「“α＝０を配置”（２サイクル目）」、キーワード「｜＝＞」→自然言語情報「“次サイクルに進む」、キーワード「［＊２］」→自然言語情報「“１を２サイクル分配置（２サイクル分指示なし）”（３〜４サイクル目）」、キーワード「；」→自然言語情報「“次サイクルに進む」、キーワード「β」→自然言語情報「“β＝１を配置”（５サイクル目）」、と変換を行う。これにより、構文解析部３０は、変換した自然言語情報をタイミングチャート合成指示情報Ｃとして得る。
【００２９】
そして構文解析部３０は、このタイミングチャート合成指示情報Ｃを、分割したプロパティ情報Ａの構成要素の左側から順に、タイミングチャート合成部２０に出力する。タイミングチャート合成部２０は、タイミングチャート合成指示情報Ｃを受け取ると、該タイミングチャート合成指示情報Ｃに基づいてプロパティ情報Ａから１個または複数の所定の等価表現のタイミングチャート情報を合成する。
【００３０】
図４は、タイミングチャート合成部２０が構文解析部３０から受け取るタイミングチャート合成指示情報Ｃを、受け取った順番に示したものである。タイミングチャート合成部２０は、受け取ったタイミングチャート合成指示情報Ｃを順番に実行する（タイミングチャートの適切な時刻に信号を配置していく）ことにより、図２のＮｏ（３）に示すようなタイミングチャート（パス波形）に対応するタイミングチャート情報Ｆが得られる。
【００３１】
そして、タイミングチャート合成部２０は、合成したタイミングチャート情報Ｆを出力部５０に出力する。出力部５０は、タイミングチャート情報Ｆに基づいて、たとえばグラフィックディスプレイにタイミングチャートを視覚的に表示する。これにより、タイミングチャート生成装置１の使用者は、プロパティの表している内容をタイミングチャートにより容易に理解することができる。
【００３２】
上述した実施の形態１にかかるタイミングチャート生成装置１よれば、ハードウェアの仕様をプロパティ言語で記述したプロパティ情報をより平易な等価表現としてタイミングチャートを生成する。すなわち、プロパティが表している意味を翻訳して、より平易な等価表現としてタイミングチャートを生成する。これにより、プロパティ言語の論理的な意味を熟知している者でなくても、生成したタイミングチャートによりプロパティの内容を容易に理解することが可能になり、設計仕様に合致したプロパティが記述してあるかどうかを容易に判断することができる。
【００３３】
また、生成したタイミングチャートを確認することにより、モデルチェックを実行する前にプロパティ記述ミスを発見して取り除くことができるため、プロパティ記述ミスにキンしたモデルチェックの再実行を削減することができる。更に、理解しやすいタイミングチャートの生成は技術者のプロパティ記述教育に貢献する、というメリットも有する。
【００３４】
実施の形態２．
実施の形態１においては、プロパティ情報Ａと論理的に一致した信号の時間変化を有するタイミングチャート（パス波形）（図３の（３）参照）を合成する場合について説明したが、本発明においては、プロパティ情報Ａと論理的に一致しない信号の時間変化を有するタイミングチャート（フェイル波形）（図３の（４）参照）を合成することもできる。
【００３５】
たとえば、プロパティ情報と論理的に一致した信号の時間変化を有するタイミングチャート（パス波形）を生成させるか、それともプロパティ情報と論理的に一致しない信号の時間変化を有するタイミングチャート（フェイル波形）を生成させるか、を設定することができるタイミングチャート生成設定情報Ｂを用いることにより実現できる。このタイミングチャート生成設定情報Ｂは、図１に示すように入力部１０からタイミングチャート合成部２０に入力される。
【００３６】
そして、タイミングチャート合成部２０が、このタイミングチャート生成設定情報Ｂにしたがって、プロパティ情報と論理的に一致した信号の時間変化を有するタイミングチャート（パス波形）、またはプロパティ情報と論理的に一致しない信号の時間変化を有するタイミングチャート（フェイル波形）のうちの何れかを選択してタイミングチャートを合成することにより、実現可能である。
【００３７】
上述したように、実施の形態１では、パス波形の生成方法を示した。一方、タイミングチャート合成部２０においてフェイル波形を生成させるようにタイミングチャート生成設定情報Ｂに設定した場合には、タイミングチャート合成部２０は受け取ったタイミングチャート合成指示情報Ｃのうち、キーワード「｜＝＞」以降に受け取ったタイミングチャート合成指示情報Ｃの１つ以上の論理を反転する。
【００３８】
図５は、タイミングチャート合成部２０がプロパティ情報Ａと論理的に一致しない信号の時間変化を有するタイミングチャート（フェイル波形）を合成する場合に、構文解析部３０から受け取るタイミングチャート合成指示情報Ｃを示したものである。図５は、図４に示したタイミングチャート合成指示情報Ｃのうち、（８）の合成指示情報の論理を反転して、（８′）としたものである。
【００３９】
図５に示したタイミングチャート合成指示情報Ｃを元にタイミングチャートを合成することにより、図３のＮｏ（４）に示されたタイミングチャート（フェイル波形）が合成可能となる。
【００４０】
上述した実施の形態２にかかるタイミングチャート生成装置によれば、ハードウェアの仕様をプロパティ言語で記述したプロパティ情報から、異なる複数の形式のタイミングチャートを生成可能である。すなわち、プロパティが表している意味を翻訳して、より平易な等価表現としてタイミングチャートを生成する際に、プロパティが表している意味を異なる表示形式でタイミングチャートに表すことができる。
【００４１】
これにより、プロパティ言語の論理的な意味を熟知している者でなくても、プロパティの内容等の条件により、理解に都合の良い形式のタイミングチャートを生成することができ、生成したタイミングチャートによりプロパティの内容を容易に理解することが可能になり、設計仕様に合致したプロパティが記述してあるかどうかを容易に判断することができる。
【００４２】
実施の形態３．
上記においては、タイミングチャート合成指示情報Ｃとして得る場合に、キーワードからを対応する自然言語情報に変換する方法について説明したが、キーワードによっては自然言語情報に変換する際に、複数の変換候補から選択可能な場合がある。たとえば、図２に示すキーワード「ａ｜ｂ」の場合には、「ａとｂの同時成立」、「ａのみ成立」、「ｂのみ成立」の３つの変換候補が存在する。
【００４３】
この場合には、この３つの中から変換する自然言語情報を選択してタイミングチャート合成指示情報を得ることができる。また、この３つの全てに対してタイミングチャート合成指示情報Ｃを得ることができる。たとえば、上述したタイミングチャート生成設定情報Ｂにおいて、複数の波形生成を設定する複数波形設定スイッチを「ＯＮ」に設定することにより、選択可能な複数の変換候補を順に選択して自然言語情報に変換してタイミングチャート合成指示情報Ｃを得ることができる。すなわち、選択可能な複数の変換候補の一だけ、キーワードから自然言語情報への変換を繰り返し実行することで、複数のパス波形のタイミングチャートが生成可能である。
【００４４】
上述した実施の形態３にかかるタイミングチャート生成装置によれば、ハードウェアの仕様をプロパティ言語で記述したプロパティ情報から、異なる複数の形式のタイミングチャートを生成可能である。すなわち、プロパティが表している意味を翻訳して、より平易な等価表現としてタイミングチャートを生成する際に、プロパティが表している意味の候補が複数種類ある場合に、それぞれの意味に対応したタイミングチャートを生成することができる。これにより、プロパティ言語の論理的な意味を熟知している者でなくても、生成したタイミングチャートによりプロパティの内容を容易に理解することが可能になり、設計仕様に合致したプロパティが記述してあるかどうかを容易に判断することができる。
【産業上の利用可能性】
【００４５】
以上のように、本発明にかかるタイミングチャート生成装置は、プロパティの内容を理解、判断する場合に有用であり、特に、プロパティ言語の論理的な意味を熟知していない者がプロパティの内容を理解する場合に適している。
【図面の簡単な説明】
【００４６】
【図１】本発明の実施の形態１にかかるタイミングチャート生成装置の概略構成を示すブロック図である。
【図２】構文データベースに格納されるプロパティ構成単位情報Ｅの一例を示す図である。
【図３】本発明の実施の形態１にかかるタイミングチャート生成装置におけるハードウェアの仕様（プロパティ）と、該ハードウェアの仕様（プロパティ）の表現形式と、の対応の一例を示す図である。
【図４】パス波形のタイミングチャートを生成する場合の、キーワードからタイミングチャート合成指示情報Ｃへの変換を説明するための図である。
【図５】フェイル波形のタイミングチャートを生成する場合の、キーワードからタイミングチャート合成指示情報Ｃへの変換を説明するための図である。
【符号の説明】
【００４７】
１  タイミングチャート生成装置
１０  入力部
２０  タイミングチャート合成部
３０  構文解析部
４０  構文データベース
５０  出力部
Ａ  プロパティ情報
Ｂ  タイミングチャート生成設定情報
Ｃ  タイミングチャート合成指示情報
Ｄ  問合せ情報
Ｅ  プロパティ構成単位情報
Ｆ  タイミングチャート情報
【図１】
2008112277.tif 000003
【図２】
2008112277.tif 000004
【図３】
2008112277.tif 000005
【図４】
2008112277.tif 000006
【図５】
2008112277.tif 000007