(57)【特許請求の範囲】
【請求項１】
ＲＴレベルのプロセッサモデルとＲＴレベルのハードウェア記述とを用いてハードウェアの検証を目的としたシミュレーションを行うハードウェア検証部と、
前記ＲＴレベルのハードウェア記述を前記プロセッサモデルに係るプロセッサとの入出力動作を考慮して命令レベルのハードウェア記述である抽象化記述を生成する抽象化手段と、
命令レベルのプロセッサモデルと前記抽象化記述とを用いてソフトウェアの検証を目的としたシミュレーションを行うソフトウェア検証部と、
を具備し、前記抽象化手段は、
前記ＲＴレベルのハードウェア記述を解析し、状態遷移グラフを作成する手段と、
前記状態グラフの初期状態を先頭にして、状態を一列に並べて序列を作る手段と、
前記状態グラフの入出力動作の絡むループは切断する手段と、
各状態の動作記述を序列の順番に並べ、内部信号の削除を行って１つのプロセスとしてまとめる手段と、
ループの切断個所にフラグをセットする文とそれ以降の処理をスキップする文を挿入して抽象化記述を生成する手段と、
を具備することを特徴とするハードウェア／ソフトウェア協調シミュレーション装置。
【請求項２】
ＲＴレベルのプロセッサモデルとＲＴレベルのハードウェア記述とを用いてハードウェアの検証を目的としたシミュレーションを行うハードウェア検証部と、
前記ＲＴレベルのハードウェア記述を前記プロセッサモデルに係るプロセッサとの入出力動作を考慮して命令レベルのハードウェア記述である抽象化記述を生成する抽象化手段と、
命令レベルのプロセッサモデルと前記抽象化記述とを用いてソフトウェアの検証を目的としたシミュレーションを行うソフトウェア検証部と、
を具備し、
前記抽象化手段は、
前記ＲＴレベルのハードウェア記述を解析し、状態遷移グラフを作成する手段と、
前記状態グラフの初期状態を先頭にして、状態を一列に並べて序列を作る手段と、
前記作った序列の前方に戻る状態遷移を残すか否かを判定する手段と、
前記残すと判定した状態遷移の遷移先状態で序列を分割する手段と、
前記求めた分割毎に動作記述を１つのプロセスにまとめ、抽象化記述を生成する手段と、
を具備することを特徴とするハードウェア／ソフトウェア協調シミュレーション装置。
【発明の詳細な説明】
【０００１】
【発明の属する技術分野】
本発明は、ハードウェア／ソフトウェア協調シミュレーション装置、ハードウェア／ソフトウェア協調シミュレーション方法及びハードウェア／ソフトウェア協調シミュレーションプログラムを記録した機械読み取り可能な記録媒体に関し、特に、ハードウェア検証及びソフトウェア検証の全体として高速な協調シミュレーションを行うことができ、効率よくソフトウェアの検証を行う技術に関する。
【０００２】
【従来の技術】
図１６は従来のハードウェア／ソフトウェアの協調シミュレーション装置を示すブロック図である。図示の如く、従来のハードウェア／ソフトウェアの協調シミュレーションにおいては、ハードウェア（ＨＷ）部分の検証目的には、ＲＴ（Register Transfer) レベルの精度が必要であるため、ソフトウェア箇所は小規模プログラム１１を用いてＲＴレベルソフトウェアシミュレータ１３によりシミュレーションを行う。ここで、小規模ソフトウェアとは、検証するソフトウェアのうち、基本動作のみが記述されたソフトウェアであり、外部との入出力までの動作等は記述されていないソフトウェアであって、例えば、ドライバプログラムが含まれる。また、ハードウェア箇所は、ハードウェアが１システムクロックでどのような動作をするかを記述したＲＴレベルのハードウェア記述１２を用いてＲＴレベルハードウェアシミュレータ１４により、シミュレーションを行う。これらＲＴレベルソフトウェアシミュレータ１３及びＲＴレベルハードウェアシミュレータ１４が協調しつつシミュレーションを行うことによりＨＷ検証結果２０を得ることができる。このＨＷ検証結果２０を用いることでハードウェアの検証を行うことができる。
【０００３】
この構成における協調シミュレータは、ＲＴレベルの情報が得られるためハードウェアの検証向きであるが、プロセッサ部分もＲＴレベルであるため、シミュレーションには膨大な時間がかかってしまう。ソフトウェアシミュレータ側の入力が小規模ソフトウェアとなっているのはこの理由であり、この構成はソフトウェアの検証には向いていない。
【０００４】
一方、ソフトウェア（ＳＷ）部分の検証目的には、小規模ソフトウェアの他に、外部との入出力等の動作までをも包含したアプリケーションソフトウェア１６を用いて命令レベルのソフトウェアシミュレータ１８によりソフトウェア箇所のシミュレーションを行う。また、ハードウェア箇所は、命令の１単位でどのような動作をするかを記述した命令レベルのハードウェア記述２３を用いて、命令レベルのハードウェアシミュレータ１９によりシミュレーションを行う。
【０００５】
これら命令レベルソフトウェアシミュレータ１８及び命令レベルハードウェアシミュレータ１９が協調しつつシミュレーションを行うことによりＳＷ検証結果２１を得ることで、ソフトウェア部分の検証を行うことができる。
【０００６】
ソフトウェア検証のためには、ハードウェア部分のシミュレーションをプロセッサの命令レベルに対応する抽象度でシミュレーションしても精度としては十分であり、精度を落とす分シミュレーションの高速化が期待できる。そのような記述としては、ビヘイビアレベル等の記述が考えられる。
【０００７】
しかしながら、ハードウェア設計者は、ＲＴレベルの記述データしか作成しないという問題点がある。ＲＴレベルの記述しか作成しない理由は、現在の設計手法がＲＴレベル以下で自動化されているためである。つまり、例えば、ビヘイビアレベルの記述データを作成することは、ハードウェア設計者にとって余分な作業であり、また、仮にビヘイビアレベルの記述データを作成したとしても、ＲＴレベルの記述データとの等価性を保証しなければならず、そのために更に余計な作業が発生してしまうからである。
【０００８】
そこで、図１７のブロック図に示した協調シミュレータが開示されている。この協調シミュレータは、ソフトウェア検証及びハードウェア検証共に、ソフトウェア部分は、アプリケーションソフトウェア１６を用いて、命令レベルソフトウェアシミュレータ１８により命令レベルのソフトウェアシミュレーションを行う。一方、ハードウェア部分は、ＲＴレベルハードウェア記述１２を用いて、ＲＴレベルハードウェアシミュレータ１４によりＲＴレベルのハードウェアシミュレーションを行うようにしてある。
【０００９】
この命令レベルソフトウェアシミュレータ１８とＲＴレベルハードウェアシミュレータは１４は、レベルが相違するため協調シミュレーションをおこなうことができない。このため、レベルを変換して協調させるためのレベル変換手段２４を設けるようにしてある。このレベル変換手段２４は、プロセッサのバスサイクルに対応するＲＴレベルの信号の変化を表したデータブック２５を検索して、一方の動作を他方の動作に変換して出力するようにしてある。これにより命令レベルのハードウェアシミュレータを作成しなくても協調シミュレーションを行うことができる。
【００１０】
【発明が解決しようとする課題】
しかしながら、図１７の協調シミュレーションでは、シミュレーション間にレベル変換手段２４を設けているため、ソフトウェア側は命令レベル、また、ハードウェア側はＲＴレベルの精度で同時にシミュレーションを行う必要がある。
【００１１】
これは、ハードウェアの開発者にとっては、ソフトウェアシミュレータが高速に処理するため問題はないが、ソフトウェア側の開発者からすれば、ハードウェア側がＲＴレベルの低速なシミュレーションであるため、ソフトウェアのデバッグの効率を低下させてしまうという問題点がある。
【００１２】
本発明は上記事情に鑑みてなされたものであり、その目的とするところは、ハードウェア検証及びソフトウェア検証について全体として高速な協調シミュレーションを行うことができ、効率よくソフトウェアの検証を行うことができるハードウェア／ソフトウェア協調シミュレーション装置、ハードウェア／ソフトウェア協調シミュレーション方法及びハードウェア／ソフトウェア協調シミュレーションプログラムを記録した機械読み取り可能な記録媒体を提供することにある。
【００１３】
【課題を解決するための手段】
本発明の発明者は、ハードウェア／ソフトウェア協調シミュレーションを高速に行うためには、ソフトウェアの検証を目的とする協調シミュレーションを命令レベルで行うことが不可欠であると考えた。一方で、設計者は、ＲＴレベルのハードウェア記述のみを作成し、命令レベルのハードウェア記述を作成しないのが一般的であるため、上記のような問題点があることに気がついた。
【００１４】
そこで、何らかの手段を用いて、ＲＴレベルのハードウェア記述を抽象化して命令レベルに変換することにより、上記目的が達成することができることに気がついた。本発明者は、慎重な研究を重ねた結果、以下のような発明をすることができた。
【００１７】
上記目的を達成するため、本願発明に係るハードウェア／ソフトウェア協調シミュレーション装置は、ＲＴレベルのプロセッサモデルとＲＴレベルのハードウェア記述とを用いてハードウェアの検証を目的としたシミュレーションを行うハードウェア検証部と、前記ＲＴレベルのハードウェア記述を前記プロセッサモデルに係るプロセッサとの入出力動作を考慮して命令レベルのハードウェア記述である抽象化記述を生成する抽象化手段と、命令レベルのプロセッサモデルと前記抽象化記述とを用いてソフトウェアの検証を目的としたシミュレーションを行うソフトウェア検証部と、を具備し、前記抽象化手段は、前記ＲＴレベルのハードウェア記述を解析し、状態遷移グラフを作成する手段と、前記状態グラフの初期状態を先頭にして、状態を一列に並べて序列を作る手段と、前記状態グラフの入出力動作の絡むループは切断する手段と、各状態の動作記述を序列の順番に並べ、内部信号の削除を行って１つのプロセスとしてまとめる手段と、ループの切断個所にフラグをセットする文とそれ以降の処理をスキップする文を挿入して抽象化記述を生成する手段と、を具備することを特徴とする。
【００１９】
また、本願発明に係るハードウェア／ソフトウェア協調シミュレーション装置は、ＲＴレベルのプロセッサモデルとＲＴレベルのハードウェア記述とを用いてハードウェアの検証を目的としたシミュレーションを行うハードウェア検証部と、前記ＲＴレベルのハードウェア記述を前記プロセッサモデルに係るプロセッサとの入出力動作を考慮して命令レベルのハードウェア記述である抽象化記述を生成する抽象化手段と、命令レベルのプロセッサモデルと前記抽象化記述とを用いてソフトウェアの検証を目的としたシミュレーションを行うソフトウェア検証部と、を具備し、前記抽象化手段は、前記ＲＴレベルのハードウェア記述を解析し、状態遷移グラフを作成する手段と、前記状態グラフの初期状態を先頭にして、状態を一列に並べて序列を作る手段と、前記作った序列の前方に戻る状態遷移を残すか否かを判定する手段と、前記残すと判定した状態遷移の遷移先状態で序列を分割する手段と、前記求めた分割毎に動作記述を１つのプロセスにまとめ、抽象化記述を生成する手段と、を具備することを特徴とする。
【００３０】
【発明の実施の形態】
以下、本発明に係るハードウェア／ソフトウェア協調シミュレーション装置、ハードウェア／ソフトウェア協調シミュレーション方法及びハードウェア／ソフトウェア協調シミュレーションプログラムを記録した機械読み取り可能な記録媒体の実施形態について、図面を参照しながら説明する。
【００３１】
第１の実施形態
図１は、本実施形態のハードウェア／ソフトウェア協調シミュレーション装置を示すブロック図である。本実施形態によるハードウェア／ソフトウェア協調シミュレーション装置は、ＲＴレベルのプロセッサモデルとＲＴレベルのハードウェア記述とからハードウェアの検証を目的としたシミュレーションを行うハードウェア検証部１３，１４と、ＲＴレベルのハードウェア記述をプロセッサの入出力命令の動作レベルに抽象化して抽象化記述を生成する抽象化手段１５と、命令レベルのプロセッサモデルと前記抽象化記述とからソフトウェアの検証を目的としたシミュレーションを行うソフトウェア検証部１８，１９とを具備する。
【００３２】
図１に示した小規模ソフトウェア１１とは、検証するソフトウェアのうち、基本動作のみが記述されたソフトウェアであり、外部との入出力までの動作等は記述されていないソフトウェアであって、例えば、ドライバプログラムが含まれる。また、アプリケーションソフトウェア１６は、小規模ソフトウェアの他に、外部との入出力等の動作までをも包含したソフトウェアである。
【００３３】
ハードウェア／ソフトウェア協調シミュレーションを行う際には、まず、ＲＴレベルソフトウェアシミュレータ１３と、ＲＴレベルハードウェアシミュレータ１４とを用いて、ハードウェア検証を目的とした協調シミュレーションを行う。次に、抽象化手段１５によって、ＲＴレベルのハードウェア記述１２をプロセッサの入出力命令の動作レベルに抽象化して抽象化記述１７を生成する。そして、命令レベルソフトウェアシミュレータ１８と、命令レベルハードウェアシミュレータ１９とを用いて、ソフトウェア検証を目的とした協調シミュレーションを行うようにする。
【００３４】
図２は、抽象化手段１５で行う処理を示すフローチャートである。まず、ステップ１１０でＲＴレベルのハードウェア記述１２を解析して、状態遷移グラフを作成する。次に、ステップ１２０で初期状態を先頭にして、状態を一列に並べて序列を作る。次に、ステップ１３０で入出力動作の絡まないループはループとして残し、入出力動作の絡むループは切断する。次に、ステップ１４０で、各状態の動作記述を序列の順番に並べ、内部信号の削除を行って１つのプロセスとしてまとめる。次に、ステップ１５０でループの切断個所にフラグをセットする文とそれ以降の処理をスキップする文を挿入する。最後に、ステップ１６０で抽象化されたハードウェア記述を生成する。
【００３５】
図３は、ステップ１２０の状態を一列に並べる処理のアルゴリズムを示すフローチャートである。ここで示すアルゴリズムは、深さ方向を優先して並べているが、本発明においては、このアルゴリズムに限定されるものではない。このアルゴリズムは、まず、ステップ１２１で初期設定として、状態番号なる変数を導入し、この状態番号に１をセットする。次に、ステップ１２２にて、初期状態に状態番号、すなわち、１を付与する。そして、状態番号をインクリメントする。続いて、ステップ１２３にて、次に遷移する状態の中に状態番号の付与されていないものがあるか否かを判定する。この判定により、状態番号が付与されていないものがある場合には、ステップ１２４にて、その１つを選び状態番号を付与する。また、その残りはスタックに格納し、状態番号をインクリメントする。引き続き、ステップ１２３に戻って、その次に遷移する状態の中に状態番号の付与されていないものがあるか否かの判定を行い、次に遷移する状態の中に状態番号が付与されていないものがなくなるまで繰り返す。
【００３６】
次に遷移する状態のうち、全ての状態に状態番号が付与された場合には、ステップ１２５に進み、スタックに状態が格納されているか否かを判定する。状態が格納されている場合には、ステップ１２６にてスタックから１つ状態を取り出し、ステップ１２７にてその状態に状態番号が付与されているか否かを判定する。この判定により状態番号が付与されていなければ、ステップ１２４に戻って、ステップ１２６にて取り出された状態に状態番号を付与し、また、その残りはスタックに格納し、状態番号をインクリメントする。引き続き、ステップ１２３に戻って、判定を行い、その次に遷移する状態の中に状態番号が付与されていないものがなくなるまで繰り返し、再びステップ１２５に進む。一方、ステップ１２７にてその状態に状態番号が付与されている場合にはステップ１２５に戻って再びスタックに状態が格納されているか否かを判定する。以上の処理を施し、スタックに状態がなくなるまで処理を行う。
【００３７】
図４は、本実施形態で用いるＲＴレベルのハードウェア記述１２を示したものである。この記述は、紙面の都合上、図面に向かって左列上段から記述が開始され、右段下段で記述が終了するように示した。このＲＴレベルのハードウェア記述１２は、状態の宣言部４１と、動作記述部４２と、状態遷移記述部４３とを有するものである。以下では、図４に示したＲＴレベルのハードウェア記述をもとにして、図２に示した抽象化手段１５のアルゴリズムの動作を詳細に説明する。
【００３８】
図４に示したＲＴレベルのハードウェア記述１２の状態の宣言部４１からＳ１乃至Ｓ８の８つの状態があることが分かる。この８つの状態に対して状態遷移記述部４３の状態遷移の動作記述を用いてステップ１１０の処理を行うと図５に示す如くになる。この状態遷移グラフは状態を表すノード５１と、状態間の遷移関係を示すエッジ５２とから構成されている。このエッジの矢印方向へ状態が遷移することを意味する。
【００３９】
図５に示した状態遷移グラフに対して、初期状態を先頭にして、全ての状態を一列に並べて序列を作るステップ１２０の処理を行う。図６は、ステップ１２０で図５に示す状態遷移グラフに図３に示したアルゴリズムを適用し、状態を１列に並べた結果の例を示している。
【００４０】
図６に示した状態遷移グラフに対して、ループの切断の要否を判定するステップ１３０の処理を行う。図７は、ステップ１３０で、ループを切断するか否かを判定した後の状態遷移グラフを示している。ループを切断するか否かの判定は、ループ中に入出力動作がある時はループを切断すると判定し、入出力動作がない時はループは切断しないと判定する。図７では、状態遷移７１〜７５がループであるが、図４の状態遷移記述部４３から状態Ｓ２と状態Ｓ３に入力動作があるため、ループ７１，７２，７３，７５は切断されることになる。ループ７４は入出力動作を含まないため切断しない。なお、入出力動作は、外部入力ピンを右辺に含む信号代入文あるいは外部出力ピンを左辺に含む信号代入文として表現されているため、入出力動作の有無は、これらの信号代入文の有無で判定できる。
【００４１】
図７に示した状態遷移グラフに対して、各状態の動作記述を序列の順番に並べ、内部信号を削除して、一つのプロセスを作成するステップ１４０の処理を行う。ステップ１４０により処理された状態遷移グラフに対し、ループ切断箇所に状態フラグセット文と、それ以降の処理をスキップする文を挿入するステップ１５０の処理を行う。図８は、ステップ１５０でループを切断すると判定した箇所にフラグをセットする文とこれ以降の処理をスキップする文とを挿入した後の様子を模式的に示している。例えば、図７のループ７１を削除し、その代わりにフラグＦＬＧを２にセットする。なお、ループが切断されない個所にはｌｏｏｐ文やｗｈｉｌｅ文等適切な繰り返し文を挿入しておく。この処理により図８の点線に示す如く１つのプロセスにまとめられたものとする。
【００４２】
以上のような処理を経て、抽象化されたハードウェア記述を生成するステップ１６０により抽象化されたハードウェア記述を出力する。図９は、ステップ１６０で生成される抽象化記述の例を示している。
【００４３】
以上説明した抽象化手段によって生成される抽象化記述は、全体が１つのプロセスとしてまとめられているため、１回のイベント処理で全ての状態が正しい順序で実行される。このため、元のＲＴレベルのハードウェア記述が、複数回のイベント処理で全ての状態が実行されるのに比べ、シミュレーションが高速に実行されることになる。また、プロセッサとの間でデータ交換が必要となる部分では、一旦、処理が中断でき、その後の処理もフラグを適切に設定することによって正しく実行されるようになっている。
【００４４】
第２の実施形態
次に、第１の実施の形態で説明した図１に示すハードウェア／ソフトウェア協調シミュレーション装置における抽象化手段１５の第２の実施形態を説明する。
【００４５】
図１０は、抽象化手段１５で行う処理を示すフローチャートである。ここで、第２の実施形態の抽象化手段１５の動作について説明する。まず、ステップ２１０で、ＲＴレベルのハードウェア記述１２を解析して状態遷移グラフを作成する。図５に作成された状態遷移グラフを示す。この処理は、前述の第１の実施形態と同様でもよいので、その説明は省略する。次に、ステップ２２０で、初期状態を先頭とし、すべての状態を一列に並べた序列を作る。この時の状態のならべ方は、図３に示したアルゴリズムと同じで良いので、その説明は省略する。図１１に作成された序列を示す。
【００４６】
次に、ステップ２３０で、序列の前方に戻る状態遷移のそれぞれについて、当該状態遷移を残すか否かを判定する。判定方法は、前方に戻る状態遷移によって構成される閉ループ内に入出力動作が含まれる時、当該状態遷移を残すと判定し、閉ループ内に入出力動作が含まれない時は、当該状態を残さないと判定する。図
１１を使って具体的に説明する。図１１で、序列の前方に戻る状態遷移はｅ１，ｅ２，ｅ３，ｅ４，ｅ５の５つある。この内、ｅ１，ｅ２，ｅ３，ｅ５は、それによって構成される閉ループ内に入出力動作を行う状態Ｓ２ないし状態Ｓ３を含むため、状態遷移を残すと判定され、ｅ４は、閉ループ内に入出力動作を行う状態を含まないので、状態遷移を残さないと判定されることになる。図１２は、このようにして判定された結果を示す。次に、ステップ２４０で、ステップ２３０で残すと判定された状態遷移の遷移先状態で序列を分割する。序列を分割した例を図１３に示す。
【００４７】
最後に、ステップ２５０で、ステップ２４０で求めた各分割毎に、その分割に含まれる状態の動作記述を１つのプロセスとしてまとめ、抽象化記述を生成する。図１４は、抽象化記述の状態遷移関係を表す図であり、図１５は、抽象化記述の例を示す。
【００４８】
以上のステップにより生成された抽象化記述は、プロセッサとの間の入出力動作、つまり、ソフトウェアシミュレータとの間でデータ転送を要する部分以外の動作を１回のイベント処理でシミュレーションできるようになっており、元のＲＴレベルのハードウェア記述では、複数回のイベント処理が必要になるのに比べ、シミュレーションが高速に実行できる。また、第１の実施の形態に示した抽象化手段に比べ、状態遷移を実現するために余分なステートメントを追加する必要もないので、シミュレーションするハードウェアの状態遷移が複雑な場合、第１の実施形態に示した抽象化手段よりも更に効率の良いシミュレーションが可能な記述が生成できる。
【００４９】
なお、上述したハードウェア／ソフトウェア協調シミュレーション方法を実現するためのプログラムは記録媒体に保存することができる。この記録媒体をコンピュータシステムによって読み込ませ、前記プログラムを実行してコンピュータを制御しながら上述したハードウェア／ソフトウェア協調シミュレーション方法を実現することができる。ここで、前記記録媒体とは、メモリ装置、磁気ディスク装置、光ディスク装置等、プログラムを記録することができるような装置が含まれる。
【００５０】
【発明の効果】
以上説明してきたように、本発明に係るハードウェア／ソフトウェア協調シミュレーション装置、ハードウェア／ソフトウェア協調シミュレーション方法及びハードウェア／ソフトウェア協調シミュレーションプログラムを記録した機械読み取り可能な記録媒体によれば、ＲＴレベルのハードウェア記述を抽象化して命令レベルの記述を生成することにより、ハードウェア側のシミュレーションも命令レベルで行うことにより、ソフトウェアの検証を目的とする協調シミュレーションを行う際に、高速なシミュレーションが可能となる。従って、ハードウェア検証及びソフトウェア検証について全体として高速な協調シミュレーションを行うことができ、効率よくソフトウェアの検証を行うことができる。
【図面の簡単な説明】
【図１】本実施形態の構成を示すブロック図である。
【図２】第１の実施形態における抽象化手段１５の処理を示すフローチャートである。
【図３】状態を一列に並べて序列を作るステップ１２０の処理を示すフローチャートである。
【図４】第１及び第２の実施形態で用いるＲＴレベルのハードウェア記述である。
【図５】状態遷移グラフを示す図である。
【図６】状態を一列に並べて序列を作るステップ１２０の処理結果を示す図である。
【図７】ループの切断を判定した結果を示す図である。
【図８】一つのプロセスにまとめることを説明するための図である。
【図９】第１の実施形態により抽象化された後のハードウェア記述を示す図である。
【図１０】第２の実施形態における抽象化手段の処理を示すフローチャートである。
【図１１】状態を一列に並べて序列を作るステップ２２０の処理結果を示す図である。
【図１２】状態遷移を残すか否かの判定結果を示す図である。
【図１３】複数のプロセスに分割することを説明するための図である。
【図１４】分割後の状態遷移を示す図である。
【図１５】第２の実施形態により抽象化された後のハードウェア記述を示す図である。
【図１６】ハードウェア／ソフトウェア協調シミュレーション装置の第１の従来例を示すブロック図である。
【図１７】ハードウェア／ソフトウェア協調シミュレーション装置の第２の従来例を示すブロック図である。
【符号の説明】
１１  小規模ソフトウェア
１２  ＲＴレベルハードウェア記述
１３  ＲＴレベルソフトウェアシミュレータ
１４  ＲＴレベルハードウェアシミュレータ
１５  抽象化手段
１６  アプリケーションソフトウェア
１７  抽象化記述
１８  命令レベルソフトウェアシミュレータ
１９  命令レベルハードウェアシミュレータ
２０  ＨＷ検証結果
２１  ＳＷ検証結果
２３  命令レベルハードウェア記述
２４  レベル変換部
２５  データブック
４１  状態の宣言部
４２  動作記述部
４３  状態遷移記述部
５１  状態（ノード）
５２  状態遷移（エッジ）
７１，７２，７３，７４，７５  ループ
【図１】
0003904645.tif 000002
【図２】
0003904645.tif 000003
【図３】
0003904645.tif 000004
【図４】
0003904645.tif 000005
【図５】
0003904645.tif 000006
【図６】
0003904645.tif 000007
【図７】
0003904645.tif 000008
【図８】
0003904645.tif 000009
【図９】
0003904645.tif 000010
【図１０】
0003904645.tif 000011
【図１１】
0003904645.tif 000012
【図１２】
0003904645.tif 000013
【図１３】
0003904645.tif 000014
【図１４】
0003904645.tif 000015
【図１５】
0003904645.tif 000016
【図１６】
0003904645.tif 000017
【図１７】
0003904645.tif 000018