(57)【特許請求の範囲】
【請求項１】
複数個の機能モジュールがバスに接続され、バス調停回路が前記バスの使用の制御を行う論理システムにおけるバス調停のシミュレーション方法において、
前記機能モジュールとして、抽象レベルでモデル化した機能モジュールモデルを使用し、
前記バス調停回路として、抽象レベルでモデル化したバス調停モデルを使用し、
前記バスの使用の制御に抽象レベルのコマンドを用いて、前記機能モジュールモデルと前記バス調停モデルとのバス調停のシミュレーションを行い、
前記機能モジュールモデルは、
前記バス調停モデルから各機能モジュールモデルに対してバス使用権を要求するか否かのコマンドを入力し、バス使用権を要求するコマンド若しくは要求をしないコマンドを前記バス調停モデルに出力し、
バス使用の要求が認められたか否かにより各機能モジュールモデル固有の動作を行い、
前記バス調停モデルは、
前記複数の各機能モジュールモデルに対してバス使用権を要求するか否かのコマンドを出力し、
前記複数の各機能モジュールモデルからのバス使用権の要求を認めるか否かの判断を行い、
その判断の結果から要求を認める旨のコマンドを所定の機能モジュールモデルに対して出力することを特徴とするバス調停シミュレーション方法。
【請求項２】
複数個の機能モジュールがバスに接続され、バス調停回路が前記バスの使用の制御を行う論理システムにおけるバス調停のシミュレーション方法において、
前記バス調停回路を抽象レベルでモデル化したバス調停モデルが前記機能モジュールを抽象レベルでモデル化した機能モジュールモデルにバス使用権要求の有無を問い合わせるコマンドを送り、前記複数個の各機能モジュールモデルは前記使用権要求の有無を問い合わせるコマンドに対応してバス使用権を要求するコマンド若しくはバス使用権を要求しないコマンドいずれかを前記バス調停回路モデルに返し、前記複数個の各機能モジュールモデルから返されたコマンドに基づいてバス調停を行い、前記バス調停回路モデルはバス調停結果に基づきバス使用を認める唯一の機能モジュールモデルにバス使用を許可するコマンドを出力し、それ以外の機能モジュールモデルにはバス使用を許可しないコマンドを出力し、前記複数の各機能モジュールモデルは受け取ったコマンドに基づいて各々固有の動作を行なう、とする抽象モデルを作成し、
この抽象モデルを用いてバス調停シミュレーションを行う
ことを特徴とするバス調停シミュレーション方法。
【請求項３】
複数個の機能モジュールがバスに接続され、バス調停回路が前記バスの使用の制御を行う論理システムのバス調停のシミュレーションを行い、最適なバス調停方式を決定する方法において、
前記機能モジュールとして、抽象レベルでモデル化し、前記バス調停モデルから各機能モジュールモデルに対してバス使用権を要求するか否かのコマンドを入力し、バス使用権を要求するコマンド若しくは要求をしないコマンドを前記バス調停モデルに出力し、バス使用の要求が認められたか否かにより各機能モジュールモデル固有の動作を行う機能モジュールモデルを使用し、
前記バス調停回路として、抽象レベルでモデル化し、前記複数の各機能モジュールモデルに対してバス使用権を要求するか否かのコマンドを出力し、前記複数の各機能モジュールモデルからのバス使用権の要求を認めるか否かの判断を行い、その判断の結果から要求を認める旨のコマンドを所定の機能モジュールモデルに対して出力するバス調停モデルを使用し、
前記バスの使用の制御に抽象化したコマンドを用いて、所定のバス調停方式の前記機能モジュールモデルと前記バス調停モデルとのバス調停の抽象レベルのモデルを作成するステップと、
この作成された抽象レベルのモデルについてシミュレーションを行うステップと、
このシミュレーションの結果からシミュレーションに係るバス調停方式が最適なバス調停方式か否かを判断するステップと、
この判断の結果、最適ではないとされた場合には、他のバス調停方式のバス調停方式の前記機能モジュールモデルと前記バス調停モデルとのバス調停の抽象レベルのモデルを作成するステップと、
この作成された前記他のバス調停方式に係る抽象化レベルのモデルについてシミュレーションを行うステップと、
前記所定のバス調停方式のシミュレーションの結果、及び前記他のバス調停方式に係るシミュレーションの結果から何れのバス調停方式が最適なバス調停方式かを判断するステップと、
を含むことを特徴をするバス調停方式決定方法。
【請求項４】
複数個の機能モジュールがバスに接続され、バス調停回路が前記バスの使用の制御を行う論理システムのバス調停のシミュレーションを行い、最適なバス調停方式を決定する方法において、
前記バス調停回路を抽象レベルでモデル化したバス調停モデルが機能モジュールを抽象レベルでモデル化した機能モジュールモデルにバス使用権要求の有無を問い合わせるコマンドを送り、前記複数個の各機能モジュールモデルは前記使用権要求の有無を問い合わせるコマンドに対応してバス使用権を要求するコマンド若しくはバス使用権を要求しないコマンドいずれかを前記バス調停回路モデルに返し、前記複数個の各機能モジュールモデルから返されたコマンドに基づいてバス調停を行い、前記バス調停回路モデルはバス調停結果に基づきバス使用を認める唯一の機能モジュールモデルにバス使用を許可するコマンドを出力し、それ以外の機能モジュールモデルにはバス使用を許可しないコマンド出力し、前記複数の各機能モジュールモデルは受け取ったコマンドに基づいて各々固有の動作を行なう、とする所定のバス調停方式の抽象モデルを作成するステップと、
この作成された抽象レベルのモデルを用いてバス調停シミュレーションを行うステップと、
このシミュレーションの結果からシミュレーションに係るバス調停方式が最適なバス調停方式か否かを判断するステップと、
この判断の結果、最適ではないとされた場合には、他のバス調停方式のバス調停方式の前記機能モジュールモデルと前記バス調停モデルとのバス調停の抽象レベルのモデルを作成するステップと、
この作成された前記他のバス調停方式に係る抽象化レベルのモデルについてシミュレーションを行うステップと、
前記所定のバス調停方式のシミュレーションの結果、及び前記他のバス調停方式に係るシミュレーションの結果から何れのバス調停方式が最適なバス調停方式か否かを判断するステップと、
を含むことを特徴とするバス調停方式決定方法。
【請求項５】
複数個の機能モジュールがバスに接続され、バス調停回路が前記バスの使用の制御を行う論理システムにおけるバス調停のシミュレーションプログラムを記録したコンピュータ読み取り可能な記録媒体において、
前記機能モジュールとして、抽象レベルでモデル化した機能モジュールモデルを使用し、
前記バス調停回路として、抽象レベルでモデル化したバス調停モデルを使用し、
抽象化したコマンドを用いて、前記機能モジュールモデルと前記バス調停モデルとのバス調停のシミュレーションを行い、
前記機能モジュールモデルは、
前記バス調停モデルから各機能モジュールモデルに対してバス使用権を要求するか否かのコマンドを入力し、バス使用権を要求するコマンド若しくは要求をしないコマンドを前記バス調停モデルに出力し、
バス使用の要求が認められたか否かにより各機能モジュールモデル固有の動作を行い、
前記バス調停モデルは、
前記複数の各機能モジュールモデルに対してバス使用権を要求するか否かのコマンドを出力し、
前記複数の各機能モジュールモデルからのバス使用権の要求を認めるか否かの判断を行い、
その判断の結果から要求を認める旨のコマンドを所定の機能モジュールモデルに対して出力することを特徴とするバス調停シミュレーションプログラムを記録したコンピュータ読み取り可能な記録媒体。
【請求項６】
複数個の機能モジュールがバスに接続され、バス調停回路が前記バスの使用の制御を行う論理システムにおけるバス調停のシミュレーションプログラムを記録したコンピュータ読み取り可能な記録媒体において、
前記バス調停回路を抽象レベルでモデル化したバス調停のモデルが前記機能モジュールを抽象レベルでモデル化した機能モジュールモデルにバス使用権要求の有無を問い合わせるコマンドを送り、前記複数個の各機能モジュールモデルは前記使用権要求の有無を問い合わせるコマンドに対応してバス使用権を要求するコマンド若しくはバス使用権を要求しないコマンドいずれかを前記バス調停回路モデルに返し、前記複数個の各機能モジュールモデルから返されたコマンドに基づいてバス調停を行い、前記バス調停回路モデルはバス調停結果に基づきバス使用を認める唯一の機能モジュールモデルにバス使用を許可するコマンドを出力し、それ以外の機能モジュールモデルにはバス使用を許可しないコマンド出力し、前記複数の各機能モジュールモデルは受け取ったコマンドに基づいて各々固有の動作を行なう、とする抽象モデルを作成し、
この抽象モデルを用いてバス調停シミュレーションを行う
ことを特徴とするバス調停シミュレーションプログラムを記録したコンピュータ読み取り可能な記録媒体。
【請求項７】
複数個の機能モジュールがバスに接続され、バス調停回路が前記バスの使用の制御を行う論理システムのバス調停のシミュレーションを行い、最適なバス調停方式を決定するプログラムを記録したコンピュータ読み取り可能な記録媒体において、
前記機能モジュールとして、抽象レベルでモデル化し、前記バス調停モデルから各機能モジュールモデルに対してバス使用権を要求するか否かのコマンドを入力し、バス使用権を要求するコマンド若しくは要求をしないコマンドを前記バス調停モデルを出力し、バス使用の要求が認められたか否かにより各機能モジュールモデル固有の動作を行う機能モジュールモデルを使用し、
前記バス調停回路として、抽象レベルでモデル化し、前記複数の各機能モジュールモデルに対してバス使用権を要求するか否かのコマンドを出力し、前記複数の各機能モジュールモデルからのバス使用権の要求を認めるか否かの判断を行い、その判断の結果から要求を認める旨のコマンドを所定の機能モジュールモデルに対して出力するバス調停モデルを使用し、
前記バスの使用の制御に抽象化したコマンドを用いて、所定のバス調停方式の前記機能モジュールモデルと前記バス調停モデルとのバス調停の抽象レベルのモデルを作成するステップと、
この作成された抽象レベルのモデルについてシミュレーションを行うステップと、
このシミュレーションの結果からシミュレーションに係るバス調停方式が最適なバス調停方式か否かを判断するステップと、
この判断の結果、最適ではないとされた場合には、他のバス調停方式のバス調停方式の前記機能モジュールモデルと前記バス調停モデルとのバス調停の抽象レベルのモデルを作成するステップと、
この作成された前記他のバス調停方式に係る抽象化レベルのモデルについてシミュレーションを行うステップと、
前記所定のバス調停方式のシミュレーションの結果、及び前記他のバス調停方式に係るシミュレーションの結果から何れのバス調停方式が最適なバス調停方式か否かを判断するステップと、
を含むことを特徴とするバス調停方式決定プログラムを記録したコンピュータ読み取り可能な記録媒体。
【請求項８】
複数個の機能モジュールがバスに接続され、バス調停回路が前記バスの使用の制御を行う論理システムのバス調停のシミュレーションを行い、最適なバス調停方式を決定するプログラムを記録したコンピュータ読み取り可能な記録媒体において、
前記バス調停回路を抽象レベルでモデル化したバス調停モデルが前記機能モジュールを抽象レベルでモデル化した機能モジュールモデルにバス使用権要求の有無を問い合わせるコマンドを送り、前記複数個の各機能モジュールモデルは前記使用権要求の有無を問い合わせるコマンドに対応してバス使用権を要求するコマンド若しくはバス使用権を要求しないコマンドいずれかを前記バス調停回路モデルに返し、前記複数個の各機能モジュールモデルから返されたコマンドに基づいてバス調停を行い、前記バス調停回路モデルはバス調停結果に基づきバス使用を認める唯一の機能モジュールモデルにバス使用を許可するコマンドを出力し、それ以外の機能モジュールモデルにはバス使用を許可しないコマンド出力し、前記複数の各機能モジュールモデルは受け取ったコマンドに基づいて各々固有の動作を行なう、とする所定のバス調停方式の抽象モデルを作成するステップと、
この作成された抽象レベルのモデルを用いてバス調停シミュレーションを行うステップと、
このシミュレーションの結果からシミュレーションに係るバス調停方式が最適なバス調停方式か否かを判断するステップと、
この判断の結果、最適ではないとされた場合には、他のバス調停方式のバス調停方式の前記機能モジュールモデルと前記バス調停モデルとのバス調停の抽象レベルのモデルを作成するステップと、
この作成された前記他のバス調停方式に係る抽象化レベルのモデルについてシミュレーションを行うステップと、
前記所定のバス調停方式のシミュレーションの結果、及び前記他のバス調停方式に係るシミュレーションの結果から何れのバス調停方式が最適なバス調停方式か否かを判断するステップと、
を含むことを特徴とするバス調停方式決定プログラムを記録したコンピュータ読み取り可能な記録媒体。
【発明の詳細な説明】
【０００１】
【発明の属する技術分野】
本発明は、複数個の機能モジュールをバスで接続した構成の論理システムのバス調停シミュレーション方法、最適バス調停方式決定方法、バス調停シミュレーションプログラムを記録したコンピュータ読み取り可能な記録媒体、及び最適バス調停方式決定プログラムを記録したコンピュータ読み取り可能な記録媒体に関するものであり、特に、バス調停モデルや機能モジュールモデルを容易に作成できるようにすることで、バス調停シミュレーションを効率的に行う技術に関する。
【０００２】
【従来の技術】
集積技術の一層の向上により、システム・オン・シリコンすなわち、プロセッサやＳＩＯ、ＰＩＯ、ＤＭＡＣ、ＤＡＣ、タイマ等といった機能モジュールを多数、バスで接続した構成で論理ＬＳＩが実現されるようになってきた。
【０００３】
バスに接続する機能モジュール数が多くなりバス・マスターが複数になると、複数の機能モジュールが同時にバスを使用することが多くなり、バス調停が必要になる。バス調停にはいくつかの方式があり、当該論理ＬＳＩにとって最も効率の良いバス調停方式を採用するのが望ましい。機能モジュール数が少ないうちはどの方式が良いか容易に決められるが、機能モジュール数が多くなるに従い複雑となり、シミュレーション等で試行錯誤しないと決められなくなってくる。
【０００４】
従来のバス調停シミュレーション方法では、システム全体をＨＤＬ記述でモデル化してシミュレーションを行うため、複数の機能モジュールをバスで接続した構成の論理ＬＳＩをシミュレーションする場合、バスは単に各機能モジュールを接続するための信号線となり、バス調停方式はバス調停回路としてモデル化し、すべての機能モジュール・モデルにバス調停のための制御信号を追加してシミュレーションする必要がある。
【０００５】
図７乃至図９は、３つの機能モジュールをバスで接続した論理ＬＳＩの構成を示したブロック図である。ここで、図７は、デイジーチェイン方式、図８は、集中並列方式、及び、図９は、分散型自己判定方式というバス調停方式である。
【０００６】
ここで、各バス調停方式について概説する。図７は、デイジーチェイン方式である。この方式は、ｂｕｓ−ｇｒａｎｔ線により機能モジュールが芋づる式につながり、バスを要求する機能モジュールがチェインを切断することで調停するようになっており、チェインの先頭に近いもの程バス使用の優先度が高くなっている方式である。また、図８は、集中並列方式である。この方式は、機能モジュールとバス調停回路は一対一の関係で接続して各機能モジュールからのバス要求信号を調停回路に集め、その内最も優先順位の高いもののｂｕｓ−ｇｒａｎｔ線をアサートすることで調停する方式である。図９は、分散型自己判定方式である。この方式は、各機能モジュールに優先度に応じた識別コードを割当て、バス使用を要求する機能モジュールは自身の識別コードを出力して衝突させ、その結果の値を各機能モジュールが調べてバス使用の可否を自己判定する方式である。
【０００７】
これらのバス調停方式のうち、最適なバス調停方式の決定する場合には、バス調停方式をいろいろ変えてシミュレーションを繰り返してシミュレーション必要がある。図１０は、従来の最適なバス調停方式の決定方法を示すフローチャートである。従来例では、まず、所定のバス調停方式のモデルを作成し（ステップＳ４０１）、このモデルについてのシミュレーションを行う（ステップＳ４０２）。このシミュレーションの結果よりシミュレーションに係るバス調停方式が最適か否かを判断して（ステップＳ４０３）、最適でないと判断された場合には、他のバス調停方式のモデルを作成して（ステップＳ４０４）、再び、その作成されたモデルについてシミュレーションを行う（ステップＳ４０２）。
【０００８】
ここで、モデル作成の際には、バス調停回路はもちろん、バス調停のための制御信号が変るため、当該論理ＬＳＩ全体の接続記述およびすべての機能モジュール・モデルを修正する必要がある。例えば、図７の論理ＬＳＩをシミュレーションするには、各機能モジュールをｇｒａｎｔ信号線で芋づる式に接続して各機能モジュールにバス使用権要求の有無に応じてｇｒａｎｔ信号をチェインを切断する／しないを切替える動作を追加しなければならなかった。また、図９の論理ＬＳＩをシミュレーションするには、各機能モジュールにバス調停回路を内蔵させて全体を３つの機能モジュールとバスとの接続という構成にしなければならなかった。
【０００９】
【発明が解決しようとする課題】
以上のように、複数の機能モジュールをバスで接続した構成の論理ＬＳＩに最適なバス調停方式をシミュレーションによって決定する際に、バス調停方式の変更に伴って、バス調停回路はもちろん、バス調停のための制御信号が変るため、当該論理ＬＳＩ全体の接続記述およびすべての機能モジュール・モデルを修正する必要があり、大変な手間がかかるという問題がある。図１１は、従来の機能モジュールモデルをプログラムレベルで示した概略図である。一般的な機能モジュールモデルでは、図示の如く、機能モジュールの入出力端子の定義を行うＩ／Ｏ定義部１０１と、機能モジュールの機能（動作）を記述する機能記述部１０２と、通信（特に、バス調停）の制御に関する動作を記述する通信制御部と、を有している。このような場合には、１つのバス調停方式のシミュレーションを行うために機能モジュールを作成し、別の方式のシミュレーションを行う場合には、Ｉ／Ｏ定義部１０１や通信制御部１０３等を修正する必要がある。従って、プログラムの大部分を修正しなければならないのである。そのため、大変手間がかかるという問題点があった。更に、上記修正を人手で行うため、修正の過程で誤りが生じやすいという問題もあった。
【００１０】
バスのシュミレーションの高速化を目的とした公知技術（特開平８−２２７３６７  出願人：ミツビシ・エレクトロニック・リサーチ・ラボラトリーズ・インコーポレーティド）がある。この公知技術は、シミュレーションに関するＣＰＵバスサイクルを省略することにより、また、周期的クロック信号を明示的にシミュレートしないで、クロック信号のスケジュールのみを発生等、設計エラーが現れることが予期されるシステム動作を除く全てのシステム動作を無視することでシミュレーションの高速化を図る技術であり、上述の問題点であるプログラム修正の手間については、依然として解決されていない。
【００１１】
本発明は、このような事情に鑑みてなされたものであり、その目的とするところは、バス調停モデルや機能モジュールモデルを容易に作成できるようにすることで、バス調停シミュレーションを効率的に行うことができるバス調停シミュレーション方法、及びバス調停シミュレーションプログラムを記録したコンピュータ読み取り可能な記録媒体を提供することにある。
【００１２】
また、他の目的は、バス調停モデルや機能モジュールモデルを容易に作成できるようにすることで、様々なバス調停方式のシミュレーションを容易に行うことにより、最適なバス調停方式の決定を効率的に行うことができる最適バス調停方式決定方法、及び最適バス調停方式決定プログラムを記録したコンピュータ読み取り可能な記録媒体を提供することにある。
【００１３】
【課題を解決するための手段】
図７乃至９に示した論理システムを従来のシミュレーション方式によりシミュレーションする場合、制御信号も含めてモデル化する必要があるため、機能モジュールＡ、Ｂ、Ｃの固有動作は、図７、図８、図９で共通であるにもかかわらず、バス調停方式の違いにより制御信号が異なるため、かなり異なったモデルとなってしまう。従って、各モデルを大幅に修正しなければならない。特に、図９では調停回路が各機能モジュールに含まれており、図７、図８とは大きく異なることは明らかである。
【００１４】
また、当該論理システムに最適なバス調停方式を決定するために、バス調停方式をいろいろ変えてシミュレーションを繰り返すためには、バス調停回路はもちろん、すべての機能モジュールについてもモデルを修正する必要があり、大変な手間がかかることが明らかである。
【００１５】
そこで、本発明の発明者は、バス調停機能を付加したバス・モデルにより、各機能モジュール・モデルからバス調停のための制御信号の代わりにバス使用権を要求するか否かのコマンドを受け取り、付加されたバス調停機能によりバス調停し、その結果を各機能モジュール・モデルに同じくコマンドの形で通知し、各機能モジュール・モデルはバス調停結果に基づいてそれぞれの機能を実行するようにして、抽象化したモデルを作成してシミュレーションを行うようにすれば、上記問題点は、一気に解決することに気がついた。本発明者は、慎重な研究を重ねた結果、以下の発明をすることが出来た。
【００１６】
本願発明の一態様によれば、複数個の機能モジュールがバスに接続され、バス調停回路が前記バスの使用の制御を行う論理システムにおけるバス調停のシミュレーション方法において、前記機能モジュールとして、抽象レベルでモデル化した機能モジュールモデルを使用し、前記バス調停回路として、抽象レベルでモデル化したバス調停モデルを使用し、前記バスの使用の制御に抽象レベルのコマンドを用いて、前記機能モジュールモデルと前記バス調停モデルとのバス調停のシミュレーションを行い、前記機能モジュールモデルは、前記バス調停モデルから各機能モジュールモデルに対してバス使用権を要求するか否かのコマンドを入力し、バス使用権を要求するコマンド若しくは要求をしないコマンドを前記バス調停モデルに出力し、バス使用の要求が認められたか否かにより各機能モジュールモデル固有の動作を行い、前記バス調停モデルは、
前記複数の各機能モジュールモデルに対してバス使用権を要求するか否かのコマンドを出力し、前記複数の各機能モジュールモデルからのバス使用権の要求を認めるか否かの判断を行い、その判断の結果から要求を認める旨のコマンドを所定の機能モジュールモデルに対して出力することを特徴とする。
【００１９】
本願発明の一態様によれば、複数個の機能モジュールがバスに接続され、バス調停回路が前記バスの使用の制御を行う論理システムにおけるバス調停のシミュレーション方法において、前記バス調停回路を抽象レベルでモデル化したバス調停モデルが前記機能モジュールを抽象レベルでモデル化した機能モジュールモデルにバス使用権要求の有無を問い合わせるコマンドを送り、前記複数個の各機能モジュールモデルは前記使用権要求の有無を問い合わせるコマンドに対応してバス使用権を要求するコマンド若しくはバス使用権を要求しないコマンドいずれかを前記バス調停回路モデルに返し、前記複数個の各機能モジュールモデルから返されたコマンドに基づいてバス調停を行い、前記バス調停回路モデルはバス調停結果に基づきバス使用を認める唯一の機能モジュールモデルにバス使用を許可するコマンドを出力し、それ以外の機能モジュールモデルにはバス使用を許可しないコマンドを出力し、前記複数の各機能モジュールモデルは受け取ったコマンドに基づいて各々固有の動作を行なう、とする抽象モデルを作成し、この抽象モデルを用いてバス調停シミュレーションを行うことを特徴とする。
【００２０】
上記発明の構成によれば、バス調停の制御部分に関しては、バスモデルとの間でやり取りするコマンドを用いて抽象化しているため、バス調停方式の変更が容易となり、また、機能モジュールモデルを修正する必要は無い。従って、バス調停モデルを容易に作成できるので、バス調停シミュレーションを効率的に行うことができるのである。
【００２１】
本願発明の一態様によれば、複数個の機能モジュールがバスに接続され、バス調停回路が前記バスの使用の制御を行う論理システムのバス調停のシミュレーションを行い、最適なバス調停方式を決定する方法において、前記機能モジュールとして、抽象レベルでモデル化し、前記バス調停モデルから各機能モジュールモデルに対してバス使用権を要求するか否かのコマンドを入力し、バス使用権を要求するコマンド若しくは要求をしないコマンドを前記バス調停モデルに出力し、バス使用の要求が認められたか否かにより各機能モジュールモデル固有の動作を行う機能モジュールモデルを使用し、前記バス調停回路として、抽象レベルでモデル化し、前記複数の各機能モジュールモデルに対してバス使用権を要求するか否かのコマンドを出力し、前記複数の各機能モジュールモデルからのバス使用権の要求を認めるか否かの判断を行い、その判断の結果から要求を認める旨のコマンドを所定の機能モジュールモデルに対して出力するバス調停モデルを使用し、前記バスの使用の制御に抽象化したコマンドを用いて、所定のバス調停方式の前記機能モジュールモデルと前記バス調停モデルとのバス調停の抽象レベルのモデルを作成するステップと、この作成された抽象レベルのモデルについてシミュレーションを行うステップと、このシミュレーションの結果からシミュレーションに係るバス調停方式が最適なバス調停方式か否かを判断するステップと、この判断の結果、最適ではないとされた場合には、他のバス調停方式の前記機能モジュールモデルと前記バス調停モデルとのバス調停の抽象レベルのモデルを作成するステップと、この作成された前記他のバス調停方式に係る抽象化レベルのモデルについてシミュレーションを行うステップと、前記所定のバス調停方式のシミュレーションの結果、及び前記他のバス調停方式に係るシミュレーションの結果から何れのバス調停方式が最適なバス調停方式かを判断するステップと、を含むことを特徴とする。
【００２４】
本願発明の一態様によれば、複数個の機能モジュールがバスに接続され、バス調停回路が前記バスの使用の制御を行う論理システムのバス調停のシミュレーションを行い、最適なバス調停方式を決定する方法において、  前記バス調停回路を抽象レベルでモデル化したバス調停モデルが機能モジュールを抽象レベルでモデル化した機能モジュールモデルにバス使用権要求の有無を問い合わせるコマンドを送り、前記複数個の各機能モジュールモデルは前記使用権要求の有無を問い合わせるコマンドに対応してバス使用権を要求するコマンド若しくはバス使用権を要求しないコマンドいずれかを前記バス調停回路モデルに返し、前記複数個の各機能モジュールモデルから返されたコマンドに基づいてバス調停を行い、前記バス調停回路モデルはバス調停結果に基づきバス使用を認める唯一の機能モジュールモデルにバス使用を許可するコマンドを出力し、それ以外の機能モジュールモデルにはバス使用を許可しないコマンド出力し、前記複数の各機能モジュールモデルは受け取ったコマンドに基づいて各々固有の動作を行なう、とする所定のバス調停方式の抽象モデルを作成するステップと、この作成された抽象レベルのモデルを用いてバス調停シミュレーションを行うステップと、このシミュレーションの結果からシミュレーションに係るバス調停方式が最適なバス調停方式か否かを判断するステップと、この判断の結果、最適ではないとされた場合には、他のバス調停方式の前記機能モジュールモデルと前記バス調停モデルとのバス調停の抽象レベルのモデルを作成するステップと、この作成された前記他のバス調停方式に係る抽象化レベルのモデルについてシミュレーションを行うステップと、前記所定のバス調停方式のシミュレーションの結果、及び前記他のバス調停方式に係るシミュレーションの結果から何れのバス調停方式が最適なバス調停方式か否かを判断するステップと、を含むことを特徴とする。
【００２５】
上記発明の構成によれば、バス調停方式を変更しても、機能モジュール・モデルを修正する必要がなく、バス・モデルに付加したバス調停機能のみを変更するだけで良く、バス調停方式をさまざまに変更したシミュレーションが容易に実行可能となるのである。
【００２６】
本願発明の一態様によれば、複数個の機能モジュールがバスに接続され、バス調停回路が前記バスの使用の制御を行う論理システムにおけるバス調停のシミュレーションプログラムを記録したコンピュータ読み取り可能な記録媒体において、前記機能モジュールとして、抽象レベルでモデル化した機能モジュールモデルを使用し、前記バス調停回路として、抽象レベルでモデル化したバス調停モデルを使用し、抽象化したコマンドを用いて、前記機能モジュールモデルと前記バス調停モデルとのバス調停のシミュレーションを行い、前記機能モジュールモデルは、前記バス調停モデルから各機能モジュールモデルに対してバス使用権を要求するか否かのコマンドを入力し、バス使用権を要求するコマンド若しくは要求をしないコマンドを前記バス調停モデルに出力し、バス使用の要求が認められたか否かにより各機能モジュールモデル固有の動作を行い、前記バス調停モデルは、前記複数の各機能モジュールモデルに対してバス使用権を要求するか否かのコマンドを出力し、前記複数の各機能モジュールモデルからのバス使用権の要求を認めるか否かの判断を行い、その判断の結果から要求を認める旨のコマンドを所定の機能モジュールモデルに対して出力することを特徴とする。
【００２７】
本願発明の一態様によれば、複数個の機能モジュールがバスに接続され、バス調停回路が前記バスの使用の制御を行う論理システムにおけるバス調停のシミュレーションプログラムを記録したコンピュータ読み取り可能な記録媒体において、前記バス調停回路を抽象レベルでモデル化したバス調停のモデルが前記機能モジュールを抽象レベルでモデル化した機能モジュールモデルにバス使用権要求の有無を問い合わせるコマンドを送り、前記複数個の各機能モジュールモデルは前記使用権要求の有無を問い合わせるコマンドに対応してバス使用権を要求するコマンド若しくはバス使用権を要求しないコマンドいずれかを前記バス調停回路モデルに返し、前記複数個の各機能モジュールモデルから返されたコマンドに基づいてバス調停を行い、前記バス調停回路モデルはバス調停結果に基づきバス使用を認める唯一の機能モジュールモデルにバス使用を許可するコマンドを出力し、それ以外の機能モジュールモデルにはバス使用を許可しないコマンド出力し、前記複数の各機能モジュールモデルは受け取ったコマンドに基づいて各々固有の動作を行なう、とする抽象モデルを作成し、この抽象モデルを用いてバス調停シミュレーションを行うことを特徴とする。
【００２８】
本願発明の一態様によれば、複数個の機能モジュールがバスに接続され、バス調停回路が前記バスの使用の制御を行う論理システムのバス調停のシミュレーションを行い、最適なバス調停方式を決定するプログラムを記録したコンピュータ読み取り可能な記録媒体において、前記機能モジュールとして、抽象レベルでモデル化し、前記バス調停モデルから各機能モジュールモデルに対してバス使用権を要求するか否かのコマンドを入力し、バス使用権を要求するコマンド若しくは要求をしないコマンドを前記バス調停モデルに出力し、バス使用の要求が認められたか否かにより各機能モジュールモデル固有の動作を行う機能モジュールモデルを使用し、前記バス調停回路として、抽象レベルでモデル化し、前記複数の各機能モジュールモデルに対してバス使用権を要求するか否かのコマンドを出力し、前記複数の各機能モジュールモデルからのバス使用権の要求を認めるか否かの判断を行い、その判断の結果から要求を認める旨のコマンドを所定の機能モジュールモデルに対して出力するバス調停モデルを使用し、前記バスの使用の制御に抽象化したコマンドを用いて、所定のバス調停方式の前記機能モジュールモデルと前記バス調停モデルとのバス調停の抽象レベルのモデルを作成するステップと、この作成された抽象レベルのモデルについてシミュレーションを行うステップと、このシミュレーションの結果からシミュレーションに係るバス調停方式が最適なバス調停方式か否かを判断するステップと、
この判断の結果、最適ではないとされた場合には、他のバス調停方式の前記機能モジュールモデルと前記バス調停モデルとのバス調停の抽象レベルのモデルを作成するステップと、この作成された前記他のバス調停方式に係る抽象化レベルのモデルについてシミュレーションを行うステップと、前記所定のバス調停方式のシミュレーションの結果、及び前記他のバス調停方式に係るシミュレーションの結果から何れのバス調停方式が最適なバス調停方式か否かを判断するステップと、を含むことを特徴とする。
【００２９】
本願発明の一態様によれば、複数個の機能モジュールがバスに接続され、バス調停回路が前記バスの使用の制御を行う論理システムのバス調停のシミュレーションを行い、最適なバス調停方式を決定するプログラムを記録したコンピュータ読み取り可能な記録媒体において、前記バス調停回路を抽象レベルでモデル化したバス調停モデルが前記機能モジュールを抽象レベルでモデル化した機能モジュールモデルにバス使用権要求の有無を問い合わせるコマンドを送り、前記複数個の各機能モジュールモデルは前記使用権要求の有無を問い合わせるコマンドに対応してバス使用権を要求するコマンド若しくはバス使用権を要求しないコマンドいずれかを前記バス調停回路モデルに返し、前記複数個の各機能モジュールモデルから返されたコマンドに基づいてバス調停を行い、前記バス調停回路モデルはバス調停結果に基づきバス使用を認める唯一の機能モジュールモデルにバス使用を許可するコマンドを出力し、それ以外の機能モジュールモデルにはバス使用を許可しないコマンドを出力し、前記複数の各機能モジュールモデルは受け取ったコマンドに基づいて各々固有の動作を行なう、とする所定のバス調停方式の抽象モデルを作成するステップと、この作成された抽象レベルのモデルを用いてバス調停シミュレーションを行うステップと、このシミュレーションの結果からシミュレーションに係るバス調停方式が最適なバス調停方式か否かを判断するステップと、この判断の結果、最適ではないとされた場合には、他のバス調停方式の前記機能モジュールモデルと前記バス調停モデルとのバス調停の抽象レベルのモデルを作成するステップと、この作成された前記他のバス調停方式に係る抽象化レベルのモデルについてシミュレーションを行うステップと、前記所定のバス調停方式のシミュレーションの結果、及び前記他のバス調停方式に係るシミュレーションの結果から何れのバス調停方式が最適なバス調停方式か否かを判断するステップと、を含むことを特徴とする。
【００３０】
【発明の実施の形態】
本発明に係るバス調停シミュレーション方法、最適バス調停方式決定方法、バス調停シミュレーションプログラムを記録したコンピュータ読み取り可能な記録媒体、及び最適バス調停方式決定プログラムを記録したコンピュータ読み取り可能な記録媒体の実施形態について、図面を参照しながら詳細に説明する。
【００３１】
本実施形態のバスシミュレーション方法及び最適バス調停方式決定方法を実施するにあたり、以下で説明する処理手順をソフトウエアプログラムにより実現し、そのソフトウエアプログラムをコンピュータシステムに導入（インストール）し、コンピュータシステムにそのプログラムを実行させる。このプログラムの実行により本実施形態を実施することができる。本実施形態で用いるコンピュータシステムは、各種処理を行うためのＣＰＵと、キーボード、マウス、ライトペン、又はフレキシブルディスク装置等の入力装置と、メモリ装置やディスク装置等の外部記憶装置と、ディスプレイ装置、プリンタ装置等の出力装置等とを備えた通常のコンピュータシステムを用いる。なお、前記ＣＰＵは、以下で説明する各種の処理等を行う演算部と、前記処理の命令を記憶する主記憶部とを具備する。
【００３２】
図１は、本実施形態のバス調停シミュレーション方法を示す概念図である。本実施形態のバス調停シミュレーション方法は、機能モジュールの動作を抽象レベルでモデル化した機能モジュールモデル１と、バス調停回路の動作を抽象レベルでモデル化したバス調停モデル７と、を有し、抽象化したコマンドを用いて、機能モジュールモデル１とバス調停モデル７とのバス調停を行うようにしたものである。
【００３３】
このように、各機能モジュールモデルとバス調停モデルとのやり取りを抽象的なコマンドを用いて記述し、この記述されたモデルを用いてバス調停シミュレーションを行うようにすることにより、各モデルの作成が容易となり、バス調停シミュレーションを効率的に行うことができるようになる。
【００３４】
図２は、本実施形態の最適バス調停方式決定方法の処理手順を示すフローチャートである。まず、上述の抽象レベルにてバス調停モデルを作成する（ステップＳ２０１）。最初に作成するバス調停モデルは、上述したバス調停方式のうち、開発者が選択した任意のバス調停方式でよい。続いて、この抽象レベルで作成したバス調停モデルについてシミュレーションを行う（ステップＳ２０２）。続いて、このシミュレーションの結果の判断を行う（ステップＳ２０３）。この判断により、最適なバス調停方式と判断すれば処理を終了する。一般的には、複数のバス調停方式についてシミュレーションを行い、比較検討を行うため、他のバス調停方式について、抽象レベルにてバス調停モデルを作成し（ステップＳ２０４）、作成したモデルについてシミュレーションを行う（ステップＳ２０２）。このようにして、複数のバス調停方式のシミュレーションを行うにして、最適なバス調停方式を決定する。
【００３５】
このように、本実施形態の最適バス調停方式決定方法によれば、バス調停モデルを抽象レベルで作成し、その抽象化レベルでシミュレーションを行うようにしたので、他のバス調停方式へのプログラムの変更が最小限で済む。従って、様々なバス調停方式のシミュレーションを容易に行うことができるので、効率的に最適なバス調停方式を決定することが出来る。
【００３６】
次に、上述の「抽象化したコマンド」について説明する。この抽象化したコマンドとは、各バス調停方式における各機能モジュールモデル１とバス調停モデル７とのやり取りを、従来例のような具体的な端子に所定の命令を送る等の物理的なレベルでやり取りを記述するのではなく、論理的にやり取りを記述するようにしたものである。
【００３７】
図３は、抽象モデルにおける抽象化したコマンドを説明するための図である。まず、バス調停モデル７から各機能モジュールモデル１に対してバス使用権を要求するか否かのコマンド（ＡＳＫＲＥＱ）を出力する。各機能モジュールモデル１は、バス制御信号の代わりにバス使用権を要求するコマンド（ＢＵＳＲＥＱ）若しくは要求をしないコマンド（ＮＯＢＵＳＲＥＱ）をバス調停モデルに出力する。バス調停モデル７は、バス使用権の要求を認めるか否かをバス調停部９により判断を行い、その判断の結果から要求を認める旨のコマンド（ＧＲＡＮＴ）若しくは要求を認めない旨のコマンド（ＮＯＧＲＡＮＴ）を各機能モジュールモデル１に対して出力する。この出力により各機能モジュールモデルは、要求が認められたか否かにより固有動作部１１の記述から動作を行うようにする。
【００３８】
このように、各機能モジュールモデルとバス調停モデルとのやり取りを抽象的なコマンドを用いて記述し、この記述されたモデルを用いてバス調停シミュレーションを行うようにする。この場合に、バス調停部９の部分のみを各種のバス調停方式に対応させるだけでよいため、プログラムの修正は容易となる。また、機能モジュールモデル１については、各種のバス調停方式で固有動作部１１の記述を変更の必要は一般的にはないが、必要に応じて変更も可能である。以上のように、容易に各モデルを作成することが出来るので、バス調停シミュレーションを効率的に行うことができるようになる。
【００３９】
図４は、本実施形態のバス調停シミュレーション方法のフローチャートである。まずステップＳ３０１でバス調停モデル７は、データバスモデル５を通じてすべての機能モジュールモデル１にバス使用権要求の有無を問い合わせるコマンド“ＡＳＫＲＥＱ”を送る。次にステップＳ３０２で、各機能モジュールモデル１は“ＡＳＫＲＥＱ”に対応してバス使用権を要求するコマンド“ＢＵＳＲＥＱ”あるいはバス使用権を要求しないコマンド“ＮＯＢＵＳＲＥＱ”のいずれかをデータバスモデル５に返し、バス調停モデル７はこれを入力する。次にステップＳ３０３で、バス調停モデル７は、データバスモデル５を通じて各機能モジュールモデル１から返されたコマンドに基づいて付加されているバス調停９を用いてバス調停を行う。次にステップＳ３０４で、バス調停モデル７は、バス調停結果に基づきバス使用を認める唯一つの機能モジュールモデル１にバス使用を許可するコマンドＧＲＡＮＴを、それ以外の機能モジュールモデルにはバス使用を許可しないコマンドＮＯＧＲＡＮＴをそれぞれ送る。次に、ステップＳ３０５で、各機能モジュールモデル１は受け取ったコマンドに基づいて各々固有の動作を実行する。以上のステップＳ３０１からステップＳ３０５までを繰り返すことで、本実施形態のバス調停シミュレーション方法では、論理システムのシミュレーションをバスサイクル単位に実行することが可能となる。
【００４０】
図５は、バス調停モデルの例であって、同図（ａ）はデイジーチェイン方式のバス調停モデルを、同図（ｂ）は集中並列方式のバス調停モデルを、同図（ｃ）は分散型自己判定方式のバス調停モデルをそれぞれ示している。図５ではバス調停モデルをＣ言語によるプログラムで表現しているが、特にＣ言語による表現に限るものではない。
【００４１】
デイジーチェイン方式は、図７に示したようにｂｕｓ−ｇｒａｎｔ線により機能モジュールが芋づる式につながり、バスを要求する機能モジュールのところでチェインを切断することで調停するようになっており、チェインの先頭に近いもの程バス使用の優先度が高くなっている方式である。従って、図５（ａ）では、各機能モジュールモデルにチェインの接続順に従って“０”から識別番号を割り振り、その識別番号をインデックスとして機能モジュールモデル１から送られたバス使用権要求のコマンドを格納する配列変数ｃｏｍｍａｎｄｓ［］とバス使用を許可する機能モジュールモデルの識別号を格納する変数ｇｒａｎｔを用いている。動作としては、まず、ｇｒａｎｔに初期値として−１を設定しておき、次にｆｏｒループによりインデックスｉの値を“０”から１ずつ増やしながらｃｏｍｍａｎｄｓ［ｉ］の値を調べ、ｃｏｍｍａｎｄｓ［ｉ］の値が“ＢＵＳＲＥＱ”となった時にｉの値をｇｒａｎｔに設定し、ｂｒｅａｋ文によりループを抜け、調停処理が終了する。処理終了後のｇｒａｎｔの値は、バス使用権を要求している機能モジュールモデルの内でデイジーチェインの先頭にもっとも近い機能モジュールモデルの識別番号であることから、デイジーチェイン方式のバス調停が行われることは明らかである。
【００４２】
集中並列方式は、図８に示すように、機能モジュールとバス調停回路は一対一の関係で接続して各機能モジュールからのバス要求信号を調停回路に集め、その内最も優先順位の高いもののｂｕｓ−ｇｒａｎｔ線をアサートすることで調停する方式である。従って、図５（ｂ）では、各機能モジュールモデルのバス使用優先度に応じた調停を行うため、ｇｒａｎｔ、ｃｏｍｍａｎｄｓ［］に加え、優先度情報を格納した配列変数ｐｒｉｏｒｉｔｉｅｓ［］と最も優先度の高い機能モジュールを見つけ出すための一時変数ｃｕｒ＿ｐｒｉｏｒｉｔｙを追加して用いている。動作としては、まず、ｇｒａｎｔとｃｕｒ＿ｐｒｉｏｒｉｔｙに初期値として−１を設定しておき、次にｆｏｒループによりインデックスｉの値を“０”から１ずつ増やしながらｃｏｍｍａｎｄｓ［ｉ］の値を調べ、“ＢＵＳＲＥＱ”のときは更にｐｒｉｏｒｉｔｉｅｓ［ｉ］とｃｕｒ＿ｐｒｉｏｒｉｔｙを比較してｐｒｉｏｒｉｔｉｅｓ［ｉ］の方が大きい場合にｉの値をｇｒａｎｔに設定し、ｐｒｉｏｒｉｔｉｅｓ［ｉ］をｃｕｒ＿ｐｒｉｏｒｉｔｙに設定するようにし、機能モジュールモデルの個数Ｎ回ループを繰り返し、調停処理が終了する。処理終了後のｇｒａｎｔの値は、バス使用権を要求している機能モジュールモデルの内で最も優先度の高い機能モジュールモデルの識別番号であることから、集中並列方式のバス調停が行われるのは明らかである。
【００４３】
分散型自己判定方式は、各機能モジュールに優先度に応じた識別コードを割当て、バス使用を要求する機能モジュールは自身の識別コードを出力して衝突させ、その結果の値を各機能モジュールが調べてバス使用の可否を自己判定する方式である。従って、図５（ｃ）では、同図（ｂ）と同様に配列変数ｐｒｉｏｒｉｔｉｅｓ［］を用い、優先度に応じた識別コードを格納しておく。ここでは優先度の高い順に“０００”、“００１”、“０１１”、“１１１”の４つのコードとする。動作としては、まず、ｇｒａｎｔに初期値として−１（ａｌｌ“１”）を設定しておき、次にｆｏｒループによりインデックスｉの値を“０”から１ずつ増やしながらｃｏｍｍａｎｄｓ［ｉ］の値を調べ、“ＢＵＳＲＥＱ”のときはｐｒｉｏｒｉｔｉｅｓ［ｉ］とｇｒａｎｔとのビット単位のＡＮＤ演算を行うようにし、機能モジュールモデルの個数Ｎ回ループを繰り返し、調停処理が終了する。処理終了後のｇｒａｎｔの値は、バス使用権を要求している機能モジュールモデルの内で最も優先度の高い機能モジュールモデルの識別コードであることから、分散型自己判定方式のバス調停が行われるのは明らかである。
【００４４】
図７は、機能モジュールモデルの概略を示す図である。まず、バス調停モデルからＡＳＫＲＥＱが入力された場合に、バスの使用要求がある際には、ＢＵＳＲＥＱをバス調停モデルに出力する。それ以外の際、すなわちバスの使用要求がない際には、ＮＯＢＵＳＲＥＱをバス調停モデルに出力する。コマンドＢＵＳＲＥＱを出力して、バス調停モデルからＧＲＡＮＴが帰ってきた場合には、バス使用権が許可された時の動作を行うようにする。バス使用が完了した場合には、必要に応じて、バス調停モデルに対してＲＥＬＥＡＳＥを出力するようにする。一方、コマンドＢＵＳＲＥＱを出力して、バス調停モデルからＮＯＧＲＡＮＴが帰ってきた場合には、バス使用権が拒否された時の動作を行うようにする。一方、それ以外、すなわち、バス使用権を要求していない場合には、バスを使用しない時の動作を行うようにする。
【００４５】
このように機能モジュールモデルを記述することにより、バス調停方式を変更しても機能モジュールモデルは、変更する必要がないか、多少の変更で済む。従って、様々なバス調停方式のシミュレーションを容易に行うことにより、バス調停シミュレーションを効率的に行うことができる。
【００４６】
以上のように、本実施形態のバス調停シミュレーション方法によれば、バス調停の制御部分に関しては、バスモデルとの間でやり取りするコマンドを用いて抽象化しているため、バス調停方式の変更が容易となり、また、機能モジュールモデルを修正する必要は無い。従って、様々なバス調停方式のシミュレーションを容易に行うことにより、バス調停シミュレーションを効率的に行うことができる。また、本実施形態の最適バス調停方式決定方法によれば、バス調停方式をいろいろ変えてシミュレーションする場合、各機能モジュールモデルは一切修正する必要がなく、バス調停機能と優先度を変更するだけで実現可能となる。
【００４７】
なお、上述したバス調停シミュレーション方法、最適バス調停方式決定方法を実現するためのプログラムは記録媒体に保存することができる。この記録媒体をコンピュータシステムによって読み込ませ、前記プログラムを実行してコンピュータを制御しながら上述したバス調停シミュレーション方法、最適バス調停方式決定方法を実現することができる。ここで、前記記録媒体とは、メモリ装置、磁気ディスク装置、光ディスク装置等、プログラムを記録することができるような装置が含まれる。
【００４８】
【発明の効果】
以上説明したように、本発明に係るバス調停シミュレーション方法、及びバス調停シミュレーションプログラムを記録したコンピュータ読み取り可能な記録媒体によれば、バス調停モデルや機能モジュールモデルを容易に作成できるので、バス調停シミュレーションを効率的に行うことができる。
【００４９】
また、本発明に係る最適バス調停方式決定方法、及び最適バス調停方式決定プログラムを記録したコンピュータ読み取り可能な記録媒体によれば、バス調停モデルや機能モジュールモデルを容易に作成できるようにすることで、様々なバス調停方式のシミュレーションを容易に行うことにより、最適なバス調停方式の決定を効率的に行うことができる。
【図面の簡単な説明】
【図１】本実施形態のバス調停シミュレーション方法に用いる抽象モデルを示す図である。
【図２】本実施形態の最適バス調停方式決定方法の処理を示すフローチャートである。
【図３】抽象モデルを説明するための図である。
【図４】本実施形態のバス調停シミュレーション方法の処理を示すフローチャートである。
【図５】バス調停機能の例を示す図である。
【図６】機能モジュールモデルの概略を示す図である。
【図７】デイジーチェイン方式のバス調停を用いた場合の論理システムの一構成例を示す図である。
【図８】集中並列方式のバス調停を用いた場合の論理システムの一構成例を示す図である。
【図９】分散型自己判定方式のバス調停を用いた場合の論理システムの一構成例を示す図である。
【図１０】従来の最適バス調停方式決定方法の処理を示すフローチャートである。
【図１１】従来の機能モジュールモデルの概略を示す図である。
【符号の説明】
１  抽象化機能モデル
３，１５  データバス
５  データバスモデル
７  抽象化バス調停モデル
９  バス調停部
１１  固有動作
１３  機能モデル
１７  バス調停回路
１９  識別コードバス
１００  機能モジュールモデル
１０１  Ｉ／Ｏ定義部
１０２  機能記述部
１０３  通信制御部
【図１】
0003571177.tif 000002
【図２】
0003571177.tif 000003
【図３】
0003571177.tif 000004
【図４】
0003571177.tif 000005
【図５】
0003571177.tif 000006
【図６】
0003571177.tif 000007
【図７】
0003571177.tif 000008
【図８】
0003571177.tif 000009
【図９】
0003571177.tif 000010
【図１０】
0003571177.tif 000011
【図１１】
0003571177.tif 000012