JP2003016134A - 論理回路モデルの変換方法 - Google Patents

Abstract

(57)【要約】 【課題】 ＲＴレベルで詳細に記述された論理回路ブロ
ックのモデルを時間概念を含まない抽象度の高いモデル
に変換する。 【解決手段】 論理回路ブロックが有する状態を動作開
始状態及び動作終了状態として設定する（処理Ｂ１）。
そして、入出力命令情報Ａ２に含まれる解析対象命令に
対応する入力信号を動作開始状態にあるＲＴレベルモデ
ルＡ１に与え、入力信号を変化させた場合、ＲＴレベル
モデルＡ１が動作終了状態になるまで、ＲＴレベルモデ
ルＡ１を解析して論理回路ブロックの動作を抽出する
（処理Ｂ４）。その抽出した動作をもとに、論理回路ブ
ロックの動作モデルＡ３を作成する（処理Ｂ７）。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、ＲＴ（Register T
ransfer）レベルで詳細に記述された論理回路モデル
を、時間概念を含まない抽象度の高い動作モデルに変換
する方法に関する。

【０００２】

【従来の技術】従来の論理回路設計では、Ｖｅｒｉｌｏ
ｇ−ＨＤＬなどのハードウェア記述言語（ＨＤＬ）を用
いて、論理合成を前提としたＲＴレベルモデルを作成
し、論理回路ブロックの設計と検証を行っている。しか
しながら、ＲＴレベルモデルはクロック等を基準とする
詳細な記述がなされているので、シミュレーションに多
大な時間を要する。そのため、大規模なシステムをシミ
ュレーションすることが難しいという問題がある。

【０００３】これに対し、シミュレーションを高速化す
るための方法として、以下の手法が開示されている。す
なわち、検証目的に応じて入力やレジスタの一部を固定
して論理回路の一部を削減する手法（特開２００１−２
２８０８）、命令レベルシミュレータと論理回路シミュ
レータを接続するハード・ソフト協調シミュレーション
で用いるハードウェアのモデルにおいて、入出力信号に
対して影響を受けない複数クロックの処理を１クロック
の処理にまとめる手法（特開平１０−１８７７８９）、
動作の開始と終了が規定された論理回路モデルからクロ
ック信号を取り除く手法（特開平１１−９６１９６）な
どが開示されている。

【０００４】一方、論理回路で構成されるシステムを設
計する手法として、より抽象度の高い記述を用いたモデ
ルを作成してシステム全体の動作仕様を検証し、その後
段階的にモデルを詳細化する手法（ＵＳＰ５８７０５８
８）が開示されている。このような設計手法で用いられ
る抽象度の高いモデルは、Ｃ言語などを用いて記述され
た時間概念を含まないモデルであり、そのモデル間の接
続は、信号によって行われるのではなく、論理回路のブ
ロックからブロックへの命令によって行われる。また、
このようなモデルを用いたシミュレーションにおいて
は、各ブロックの動作は並列に行われるのではなく逐次
的に行われる。そのため、あるブロックが他のブロック
へ命令を発すると、命令を発したブロックの動作は命令
を受けたブロックの動作が終了するまで待機することに
なる。それゆえ、このような抽象度の高いモデルを用い
れば、シミュレーション時に並列動作を考慮した複雑な
スケジューリングを行う必要がなくなるので、高速なシ
ミュレーションが可能になるとともに、ＲＴレベルの詳
細な仕様を決定する前の早い段階でモデル化が可能にな
る。その結果、設計の早い段階でシステム全体の動作仕
様を検証したり、各ブロックの呼び出し回数などの統計
情報を取得してシステムのアーキテクチャの検討に用い
たりすることができるため、効率的にシステム設計を行
うことができる。

【０００５】

【発明が解決しようとする課題】しかしながら、設計資
産を再利用する際には、ＲＴレベルの詳細な記述がなさ
れたモデルが存在しても、動作仕様の検証で用いる抽象
度の高いモデルが存在するとは限らない。そのため、仕
様書または詳細なモデルをもとにして、再利用するブロ
ックに対する抽象度の高いモデルを開発する必要があ
る。このようなモデルの開発と検証には工数がかかる
上、詳細なモデルと抽象度の高いモデルとを二重に開発
することになるため、モデルの動作が必ずしも整合しな
いという問題もある。

【０００６】これに対し、ＲＴレベルモデルを変換して
高速なシミュレーションモデルを作成する従来の手法に
おいて、入力やレジスタの一部を固定する手法では十分
に抽象度の高いモデルが得られない。また、他のブロッ
クとの接続を命令レベルシミュレータに限定したり、動
作の開始と終了が規定されていることを前提としたりす
る手法では、適用できるモデルが非常に限られたものと
なってしまう。

【０００７】そこで、本発明は、各ブロックを逐次的に
処理するシミュレーションに用いるために、ＲＴレベル
で詳細に記述された論理回路ブロックのモデルを、抽象
度が十分に高いモデルに広く汎用的に変換する方法を提
供することを課題とする。

【０００８】

【課題を解決するための手段】上記課題を解決するた
め、本発明は、論理回路ブロックの入出力信号と入出力
命令との関係を表す入出力命令情報を用いて、ＲＴレベ
ルモデルを時間概念を含まない抽象度の高い動作モデル
に変換するものである。

【０００９】具体的に、請求項１の発明が講じた手段
は、論理回路ブロックのＲＴレベルモデルを抽象度の高
い動作モデルに変換する方法であって、前記論理回路ブ
ロックの入出力命令と前記入出力命令に対応する入出力
信号との関係を表す入出力命令情報を用いて、前記論理
回路ブロックが有する１または２以上の状態を動作開始
状態及び動作終了状態として設定する状態設定ステップ
と、前記入出力命令情報に含まれる入力命令のうちから
選択したいずれか１の解析対象命令に対応する入力信号
を、前記動作開始状態のうちから選択したいずれか１の
第１の状態にある前記ＲＴレベルモデルに与え、前記入
力信号を変化させた場合において、前記ＲＴレベルモデ
ルが前記動作終了状態のいずれか１の第２の状態に到達
するまで、前記ＲＴレベルモデルを解析して前記論理回
路ブロックの動作を抽出する動作解析ステップとを有
し、前記動作開始状態と前記入出力命令情報に含まれる
入力命令との組合せの一部または全部に対して、前記動
作解析ステップを繰り返し行い、抽出した動作をもとに
して、前記論理回路ブロックの前記動作モデルを作成す
るものである。

【００１０】請求項１の発明によると、論理回路ブロッ
クの入出力信号と抽象度の高い入出力命令との関係を表
す入出力命令情報を用いて、入力命令に対応する入力信
号の変化に応じた論理回路ブロックの状態遷移と出力信
号の変化に対応する出力命令を抽出する。これをもとに
すれば、ＲＴレベルモデルを時間概念を含まない動作モ
デルに変換することができる。

【００１１】そして、請求項２の発明では、前記請求項
１の論理回路モデルの変換方法における動作解析ステッ
プは、前記解析対象命令に対応する１または２以上の入
力信号の時系列を作成するステップと、前記ＲＴレベル
モデルが前記第２の状態に到達するまで、前記入力信号
の時系列を用いて前記ＲＴレベルモデルを実行するとと
もに、出力信号の時系列を作成するステップと、前記Ｒ
Ｔレベルモデルが前記第２の状態に到達したときのその
状態を、前記論理回路ブロックの動作として抽出するス
テップと、前記出力信号の時系列と、前記入出力命令情
報に含まれる出力命令と前記出力命令に対応する出力信
号の関係とを比較して、前記出力命令を前記入出力命令
情報に含まれる出力命令の中から、前記論理回路ブロッ
クの動作として抽出するステップとを有するものとす
る。

【００１２】請求項２の発明によると、入力信号の時系
列を作成して、その時系列をもとに、出力信号の時系列
を作成する。そして、出力信号の時系列と前記入出力命
令情報に含まれる出力命令に対応する出力信号とを比較
して、ＲＴレベルモデルが到達した動作終了状態ととも
に出力命令を抽出する。これにより、ＲＴレベルモデル
の動作の解析が確実に可能となる。

【００１３】また、請求項３の発明では、前記請求項１
の論理回路モデルの変換方法における動作解析ステップ
は、前記解析対象命令に含まれる入力命令に対応する１
または２以上の入力信号を１クロック毎に作成するステ
ップと、前記入力信号を用いて前記ＲＴレベルモデルを
１クロック毎に実行するとともに、出力信号を１クロッ
ク毎に作成するステップと、前記ＲＴレベルモデルが前
記第２の状態に到達したときのその状態を、前記論理回
路ブロックの動作として１クロック毎に抽出するステッ
プと、前記出力信号と、前記入出力命令情報に含まれる
出力命令と前記出力命令に対応する出力信号の関係とを
比較して、前記出力命令を前記入出力命令情報に含まれ
る出力命令の中から、前記論理回路ブロックの動作とし
て１クロック毎に抽出するステップとを有するものとす
る。

【００１４】請求項３の発明によると、１クロック毎
に、入力信号及び出力信号を作成するとともに、１クロ
ック毎に、ＲＴレベルモデルの動作終了状態及び出力命
令を抽出する。これにより、入力信号の変化が応答信号
に依存する場合や、抽出する出力命令が入力信号をパラ
メータとして取り込む場合であっても、ＲＴレベルモデ
ルの動作の解析が可能となる。

【００１５】また、請求項４の発明では、前記請求項３
の論理回路モデルの変換方法における入出力命令情報に
は、出力命令として、出力信号とともに入力信号が応答
信号として関連付けられた応答信号付出力命令を含み、
前記動作解析ステップは、一のクロックにおいて前記応
答信号付出力命令を抽出したとき、前記入出力命令情報
の中で前記応答信号に対して指定したタイミングで、前
記応答信号付出力命令に対応する前記応答信号の値を変
化させて前記応答信号を作成して、前記一のクロックよ
りも後のクロックにおける前記ＲＴレベルモデルの動作
を解析するものとする。

【００１６】請求項４の発明によると、出力命令を受け
取る相手からの応答信号を必要とする出力命令を持つ論
理回路ブロックに対しても、応答信号の変化を待って行
う論理回路モデルの動作を正確に解析することによっ
て、ＲＴレベルモデルを動作モデルに変換することがで
きる。

【００１７】また、請求項５の発明では、前記請求項３
の論理回路モデルの変換方法における入出力命令情報に
は、入力命令として、入力信号とともに出力信号が応答
信号として関連付けられた応答信号付入力命令を含み、
前記動作解析ステップは、一のクロックにおいて前記応
答信号付入力命令を前記解析対象命令とするとき、前記
入出力命令情報の中で前記応答信号に対して指定したタ
イミングで変化する、前記応答信号付入力命令に対応す
る前記応答信号の値をもとに前記応答信号を作成して、
前記一のクロックよりも後のクロックにおける前記ＲＴ
レベルモデルの動作を解析するものとする。

【００１８】請求項５の発明によると、入力命令を発し
た相手への応答信号を必要とする入力命令を持つ論理回
路ブロックに対しても、応答信号の変化に伴い値が変化
する入力信号に対するＲＴレベルモデルの動作を正確に
解析することによって、論理回路モデルを動作モデルに
変換することができる。

【００１９】また、請求項６の発明では、前記請求項３
の論理回路モデルの変換方法における入出力命令情報に
は、出力命令として、入力信号が返値として関連付けら
れた返値付出力命令を含み、前記動作解析ステップは、
前記返値付出力命令の返値となる入力信号の値に依存し
て前記ＲＴレベルモデルの動作が変化するとき、前記返
値として取り得る値の組合せ毎に、前記ＲＴレベルモデ
ルの動作を解析するものとする。

【００２０】請求項６の発明によると、出力命令を受け
取る相手からの信号を返値として使用する出力命令を持
つ論理回路ブロックに対しても、出力命令を受け取る相
手からの信号の信号値に応じて動作が変化する論理回路
モデルの動作を正確に解析することによって、ＲＴレベ
ルモデルを動作モデルに変換することができる。

【００２１】また、請求項７の発明では、前記請求項３
の論理回路モデルの変換方法における入出力命令情報に
は、入力命令として、出力信号が返値として関連付けら
れた返値付入力命令を含み、前記動作解析ステップは、
前記入出力命令情報の中で前記出力信号に対して指定さ
れたクロックの前記出力信号の値を、前記返値付入力命
令の前記返値として抽出して、前記ＲＴレベルモデルの
動作を解析するものとする。

【００２２】請求項７の発明によると、入力命令を発し
た相手への信号が返値としての意味を持つ論理回路ブロ
ックに対しても、論理回路モデルの状態遷移と、出力信
号の変化に対応する出力命令に加えて、入力命令を発し
た相手への出力信号の値を返値として抽出することによ
って、ＲＴレベルモデルを動作モデルに変換することが
できる。

【００２３】また、請求項８の発明では、前記請求項１
の論理回路モデルの変換方法における状態設定ステップ
は、前記論理回路ブロックが入力命令を受け付けていな
いとき、前記論理回路ブロックの状態が変化しない状態
または有限個の状態を繰り返す状態を、前記動作開始状
態及び前記動作終了状態として設定するものとする。

【００２４】請求項８の発明によると、論理回路ブロッ
クが入力命令を受け付けていないときに時間が変化して
も状態が変化しない状態、または有限個の状態を繰り返
す状態を定常状態とし、定常状態を動作開始状態と動作
終了状態として設定することによって、動作開始状態と
動作終了状態の設定を容易に行うことができる。

【００２５】また、請求項９の発明では、前記請求項１
の論理回路モデルの変換方法における状態設定ステップ
は、前記論理回路ブロックの状態を特定する状態変数の
うち、前記入出力命令情報に含まれる出力命令を認識す
るために用いられる出力信号に影響を与える前記状態変
数を、制御変数として選択し、選択した前記制御変数が
特定する１または２以上の状態を、前記動作開始状態及
び前記動作終了状態として設定するものとする。

【００２６】請求項９の発明によると、出力命令を認識
するために用いられる出力信号に影響を与える状態変数
を制御変数とし、制御変数を用いて動作開始状態と動作
終了状態を設定することによって、動作開始状態と動作
終了状態の選択やＲＴレベルモデルの動作の解析におい
て必要となる演算量を削減することができる。

【００２７】また、請求項１０の発明では、前記請求項
９の論理回路モデルの変換方法における状態設定ステッ
プは、前記制御変数が特定する１または２以上の状態の
うち、前記制御変数の全部または一部の値が同一となる
状態をまとめて１の状態として取り扱い、前記動作開始
状態及び前記動作終了状態を設定するものとする。

【００２８】請求項１０の発明によると、制御変数の全
部または一部の値が同一となる状態をまとめて１の状態
として取り扱い、動作開始状態及び前記動作終了状態を
設定することよって、動作開始状態と動作終了状態の選
択やＲＴレベルモデルの動作の解析において必要となる
演算量を削減することができる。

【００２９】また、請求項１１の発明では、前記請求項
９の論理回路モデルの変換方法における状態設定ステッ
プは、前記ＲＴレベルモデルの１クロックの動作におい
て、前記制御変数の更新に寄与する前記状態変数がある
とき、その状態変数をさらに前記制御変数として選択す
るものとする。

【００３０】

【発明の実施の形態】以下、本発明の各実施形態につい
て、図面を参照しながら説明する。

【００３１】（第１の実施形態）本発明の第１の実施形
態では、請求項１、請求項２及び請求項８に係る発明に
ついて、図１〜図１２を参照しながら説明する。

【００３２】図１は、本発明の各実施形態に係る論理回
路モデルの変換方法の概略構成を表す図である。図１に
おいて、ＲＴレベルモデルＡ１は、変換対象とする論理
回路ブロックの詳細な動作がＲＴレベルで記述されたモ
デル、入出力命令情報Ａ２は、変換対象とする論理回路
ブロックの入出力信号と論理回路ブロックの入出力命令
との対応関係を示す情報である。また、動作モデルＡ３
は変換後の抽象度の高い動作モデルである。そして、各
実施形態に係る論理回路モデルの変換方法では、記述変
換手段１が、ＲＴレベルモデルＡ１を、入出力命令情報
Ａ２を用いて、動作モデルＡ３に変換する。

【００３３】図２は本実施形態が変換対象とする論理回
路ブロックのＲＴレベルモデルＡ１を表す図である。図
２のＲＴレベルモデルＡ１はＶｅｒｉｌｏｇ−ＨＤＬを
用いて記述されており、入出力信号の宣言部（２行、３
行）、内部レジスタの宣言部（４行）、及びクロック
（信号ｃｌｋ）毎に実行される動作記述部（６〜１２
行）によって構成されている。また、動作記述部は内部
レジスタの更新処理（７行、９〜１１行）及び条件判定
処理（６行）を有している。

【００３４】まず、第１の実施形態で用いる入出力命令
情報Ａ２について、図３を参照しながら説明する。図３
は本実施形態における入出力命令情報Ａ２の一例を表す
図である。図３の入出力命令情報Ａ２では、左から入出
力命令を表す関数の宣言（ｆｕｃｔｉｏｎ）、入出力信
号名（ｐｏｒｔ）、及び入出力信号と入出力命令との対
応関係（ｔｙｐｅ）が記述されている。ここで、「ｔｙ
ｐｅ」の欄における宣言はｈｉｇｈ（図中３ａ、３ｅ、
３ｆ）は、信号値１が命令の発生を表し、信号値０が入
力命令を与えていないときであることを示しており、ま
た、宣言ｃｈａｎｇｅ（図中３ｂ、３ｃ、３ｄ）は、信
号値の変化が命令の発生を表し、入力命令を与えていな
いときの状態では、信号値は変化後の値を保つことを示
している。また、図３の最下欄（図中３ｇ）では、「ｆ
ｕｎｃｔｉｏｎ」の欄にＣＬＯＣＫと記述されており、
ｃｌｋはクロック信号であることを示している。

【００３５】次に、記述変換手段１によって実行される
記述変換の方法について、図４を参照しながら説明す
る。図４は、各実施形態における論理回路モデルの変換
方法を示すフローチャートである。

【００３６】図４に示すように、まず処理Ｂ１では、論
理回路ブロックに対する動作開始状態と動作終了状態を
設定し、処理Ｂ２に進む。ここで、論理回路ブロックの
状態は、例えば入力信号及び内部レジスタ値の組合せを
用いて表すことができる。なお、動作開始状態と動作終
了状態とは、後述する処理Ｂ４において論理回路ブロッ
クの動作を解析する場合、それぞれ動作の解析を開始す
る状態と終了する状態である。処理Ｂ２では、入出力命
令情報Ａ２から論理回路ブロックに対する１つの入力命
令（解析対象命令に対応する）を選択し、処理Ｂ３に進
む。処理Ｂ３では、処理Ｂ１で設定した動作開始状態の
中から１つの状態（第１の状態に対応する）を選択し、
処理Ｂ４に進む。処理Ｂ４では、処理Ｂ３で選択した動
作開始状態に対して、処理Ｂ２で選択した入力命令を与
えたとき、ＲＴレベルモデルＡ１を解析して、動作終了
状態のいずれかの１の状態（第２の状態に対応する）に
到達するまでの論理回路ブロックの動作を抽出し、そし
て処理Ｂ５に進む。

【００３７】次に、処理Ｂ５では、処理Ｂ１で選択した
全ての動作開始状態に対して、処理Ｂ２で選択した入力
命令を与えたときの動作の抽出が行われたか否かを判定
する。そして、まだ未処理の動作開始状態が存在すると
き（処理Ｂ５でＹＥＳ）は処理Ｂ３に戻り、全ての動作
開始状態に対して動作の抽出が終了するまで処理Ｂ３〜
処理Ｂ５を繰り返す。一方、全ての動作開始状態につい
て動作の抽出が行われているとき（処理Ｂ５でＮＯ）は
処理Ｂ６に進み、入出力命令情報Ａ２における全ての入
力命令に対する動作の抽出を終了したか否かを判定す
る。そして、まだ未処理の入力命令が存在するとき（処
理Ｂ６でＹＥＳ）は処理Ｂ２に戻り、全ての入力命令に
対して動作の抽出が終了するまで処理Ｂ２〜処理Ｂ６を
繰り返す。一方、全ての入力命令に対して動作の抽出を
終了しているとき（処理Ｂ６でＮＯ）は処理Ｂ７に進
み、最後に、処理Ｂ４で抽出した動作をまとめて、論理
回路ブロックの動作モデルＡ３を作成する。

【００３８】図５は、図４に示す処理Ｂ１、すなわち動
作開始状態と動作終了状態を設定する方法を示すフロー
チャートである。

【００３９】図５に示すように、まず、処理Ｆ１では、
論理回路ブロックの状態を表す状態変数として入力信号
とレジスタを抽出し、処理Ｆ２に進む。処理Ｆ２では、
入力命令を与えていない状態において、値が既定されて
いる入力信号に既定値を与え、処理Ｆ３に進む。これに
より、処理Ｆ１で抽出した状態変数の一部は定数に固定
される。処理Ｆ３では、ＲＴレベルモデルＡ１を解析
し、クロック信号以外の入力信号を変化させないときの
クロック毎の状態遷移を解析し、定常状態を抽出する。
ここで、定常状態とは、１クロック進めても状態が変化
しない状態、または複数クロック後に同じ状態に戻る状
態である。なお、入力信号が状態変数に含まれているた
め、状態遷移に分岐は存在せず、また入力信号は状態遷
移により変化しないため、ある状態が定常状態であるか
否かを判定するには、最大でもレジスタ値の組合せの数
と等しいクロック数の状態遷移を調べればよい。なお、
本発明における定常状態を抽出する方法は、ここに述べ
た方法に限定されるものではない。

【００４０】最後に、処理Ｆ４では、処理Ｆ３で抽出し
た定常状態を動作開始状態と動作終了状態として設定す
る。なお、本発明における動作開始状態と動作終了状態
の設定方法は、ここで述べた方法に限定されるものでは
ない。例えば、使用者が手入力によって、動作開始状態
と動作終了状態を直接設定するなどの方法も考えられ
る。また、ここでは、動作開始状態と動作終了状態を共
通に設定したが、それぞれ別の状態を設定することもで
きる。

【００４１】図６は、図４に示す処理Ｂ４、すなわち動
作解析方法を表すフローチャートである。

【００４２】図６に示すように、まず処理Ｃ１では、処
理Ｂ２で選択した解析対象命令としての入力命令を入力
したときの入力信号の変化と、動作開始状態における入
力信号値とを用いて入力信号を作成する。そして、処理
Ｃ２に進む。処理Ｃ２では、処理Ｂ３で選択した第１の
状態としての動作開始状態において、入力命令が与えら
れていないときの動作開始前の出力信号値を求め記録
し、処理Ｃ３に進む。処理Ｃ３では、処理Ｃ１で作成し
た入力信号に応じて入力信号値を更新し、処理Ｃ４に進
む。処理Ｃ４では、処理Ｃ３で更新した入力信号値に対
する出力信号値を求め記録し、処理Ｃ５に進む。

【００４３】次に、処理Ｃ５では、論理回路ブロックの
状態を調べ、終了状態に到達しているか否かを判定す
る。このとき、論理回路ブロックが第２の状態としての
動作終了状態に到達していないか、あるいは、入力命令
に関する入力信号値の変化が終了していないときは、終
了状態に到達していないと判定（処理Ｃ５でＮＯ）して
処理Ｃ６に進む。一方、第２の状態としての動作終了状
態に到達しており、しかも入力信号値の変化が終了して
いるときは、終了状態に到達していると判定（処理Ｃ５
でＹＥＳ）して処理Ｃ７に進む。処理Ｃ６では、１クロ
ックの動作を実行して論理回路ブロックの状態を更新し
た後、処理Ｃ３に戻り、処理Ｃ５で終了状態に到達する
まで処理Ｃ３〜処理Ｃ６を繰り返す。一方、処理Ｃ７で
は、論理回路ブロックが到達した動作終了状態を抽出
し、処理Ｃ８に進む。

【００４４】最後に、処理Ｃ８では、処理Ｃ２及び処理
Ｃ４で記録した出力信号系列と、入出力命令情報Ａ１に
含まれる出力命令に対応する出力信号パターンとの比較
を行って、対応する出力命令を抽出し出力命令列を作成
する。ここで、複数の出力命令が抽出された場合、先に
認識された出力命令を出力命令列の先頭に配置し、同時
に認識されたときは、任意の順序で並べることによって
出力命令列を作成すればよい。なお、本発明における出
力命令列を並べる順序は、本順序に限定されるものでは
ない。

【００４５】なお、入力命令を与えていない状態におい
てクロックを進めると、全ての状態はいずれかの定常状
態に到達する。従って、本実施形態のように定常状態を
動作終了状態として用いた場合、全ての動作開始状態と
入力命令との組合せに対しクロックを進めると、いずれ
かの動作終了状態に到達し、図６に示した動作の解析を
正常に終了することができる。

【００４６】一方、手入力などによって動作終了状態を
設定する場合は、処理Ｃ５において動作終了状態に到達
せず、図６に示した処理が終了しない場合がある。この
ような場合、処理Ｂ４の実行前または実行中に、設定し
た動作開始状態と入力命令との組合せに対して、動作終
了状態に到達するか否かを判定する。そして、動作終了
状態に到達しない場合は、動作開始状態と動作終了状態
の設定に問題があることを知らせることによって、処理
を終了することができることは言うまでもない。

【００４７】なお、本実施形態においては、入力命令と
動作開始状態の全てに対し動作を解析する際に、動作開
始状態を優先して変化させているが、本発明において、
この順序に限定されるものではない。

【００４８】なお、作成した動作モデルＡ３をシミュレ
ーションで用いる際には、さらに命令入力時の動作開始
状態を設定する手段が必要になるが、例えば、起動時の
動作開始状態と、各動作終了状態に対する次の入力命令
を受けた時の動作開始状態とを別途設定することによっ
て、簡単に動作モデルＡ３に加えることができる。ま
た、本実施形態のように、動作開始状態と動作終了状態
として同じ状態を設定することによって、動作終了状態
と動作開始状態との関係を指定する必要がなくなること
は言うまでもない。また、本実施形態において、起動時
の動作開始状態は、シミュレーションの開始時に別途外
部から設定することとして、作成される動作モデルＡ３
の中では特に指定していない。しかしながら、例えば、
全ての入力信号値とレジスタ値を０に設定したときに到
達する動作終了状態を求め、その動作終了状態に対応す
る動作開始状態を、起動時の動作開始状態に設定する方
法が考えられる。

【００４９】なお、本実施形態において、設定した動作
開始状態の全ての組合せに対して動作を解析している
が、発生する可能性のない動作開始状態は除外して動作
を解析できることは言うまでもない。例えば、別途設定
した起動時の動作開始状態に対する動作を最初に解析
し、その結果得られた動作終了状態に対応する動作開始
状態を発生する可能性のある動作開始状態に設定する。
そして、以後発生する可能性のある動作開始状態に対す
る動作を解析し、その動作開始状態に対する動作だけを
求めることができる。

【００５０】上述した本実施形態に係る論理回路モデル
の変換方法を踏まえて、図２に示すＲＴレベルモデルＡ
１と図３に示す入出力命令情報Ａ２を例として用い、図
４に示す変換方法に従って、記述変換手段１が動作モデ
ルＡ３を作成する手順について具体的に説明する。

【００５１】記述変換手段１は、まず、処理Ｂ１では、
図５に示した方法に従い、動作開始状態と動作終了状態
を設定する。処理Ｂ１において、まず、処理Ｆ１では、
状態変数として図２に示すＲＴレベルモデルＡ１の入力
信号ｉｎ、ｓｅｌ、ｄｉｎとレジスタｆｆ＿ｉｎ、ｏｅ
１、ｏｅ２、ｄｏｕｔを選択し、処理Ｆ２に進む。処理
Ｆ２では、入力信号値を固定し、処理Ｆ３に進む。ここ
では、図３の３ａに示す通り、入力信号ｉｎに対してｈ
ｉｇｈと指定しているため、入力命令を与えていないと
きの入力信号値は０であるので入力信号値を０に固定す
る。処理Ｆ３では、図２に示すＲＴレベルモデルＡ１を
解析し、図７に示すような８種類の状態７ａ〜７ｈを定
常状態として抽出する。そして、処理Ｆ４に進むが、処
理Ｆ４では、抽出した８つの定常状態を動作開始状態と
動作終了状態として設定する。

【００５２】次に、記述変換手段１は、処理Ｂ２に進
み、図３に示す入出力命令情報Ａ２から解析対象命令と
しての１つの命令を選択する。ここでは、例として、図
中３ａで指定されている入力命令ｉｎを選択し、処理Ｂ
３に進む。処理Ｂ３では、処理Ｂ１で設定した動作開始
状態の中から第１の状態としての１つの状態を選択し、
処理Ｂ４に進む。ここでは、例として、図７に示す状態
７ｃを選択する。処理Ｂ４では、図６に示す動作解析処
理に従って、入力命令ｉｎに対する、図２に示すＲＴレ
ベルモデルＡ１の動作を解析する。

【００５３】ここで、処理Ｂ４が行う動作解析処理につ
いて、図６に示すフローチャートに従って、図２及び図
７〜図１０を参照しながら具体的に説明する。ここで、
図８は入力信号を表し、また図９は出力信号を表し、さ
らに図１０は内部レジスタ値を表す図である。

【００５４】まず、処理Ｂ２で選択した入力命令ｉｎを
論理回路ブロックに入力したときの入力信号の変化と、
図７に示す動作開始状態７ｃにおける入力信号値とを用
いて入力信号を作成する（処理Ｃ１）。ここで、図３の
３ａにおいて、入力信号ｉｎに対してｈｉｇｈと宣言し
ているので、入力直後に入力信号ｉｎの値を１にした
後、２クロック目以降は０にする。図８において、８ａ
は入力命令ｉｎを入力する前の入力信号値、８ｂは入力
命令ｉｎを入力した最初のクロックにおける入力信号
値、８ｃは２クロック目の入力信号値である。そして、
入力命令ｉｎに対する信号は１クロック目において与え
ているため、２クロック目以後の入力信号値は同じ値に
なる。次に、入力信号値８ａに対する動作開始前の出力
信号値９ａを求め記録する（処理Ｃ２）。そして、入力
信号値を８ｂに更新し（処理Ｃ３）、１クロック目の出
力信号値９ｂを求め記録する（処理Ｃ４）。そして、処
理Ｃ５では、現在の入力信号値と状態を調べるが、１ク
ロック目において入力信号ｉｎの値の変化が終了してい
ないため、終了状態とみなさず処理Ｃ６に進む（処理Ｃ
５でＮＯ）。処理Ｃ６では、１クロックの動作を実行
し、内部レジスタ値を１０ｃに変更することによって状
態を変更する。ただし、図１０において、１０ａと１０
ｂは動作開始状態におけるレジスタ値である。

【００５５】次に、処理Ｃ３に戻った後は、上述と同様
の処理を２クロック目において繰り返して、処理Ｃ５ま
で進む。そして、処理Ｃ５では、現在の入力信号値と状
態を調べるが、２クロック目においてレジスタｆｆ＿ｉ
ｎの値が１になっており第２の状態としての動作終了状
態に到達していないため、終了状態とみなさず処理Ｃ６
に進む（処理Ｃ５でＮＯ）。処理Ｃ６で１クロックの動
作を実行し、以降の処理は、上述と同様の処理を３クロ
ック目において繰り返して、再び処理Ｃ５まで進む。そ
して、処理Ｃ５では、現在の入力信号値と状態を調べる
が、３クロック目においてレジスタｏｅ１の値が１にな
っており動作終了状態に到達していないため、終了状態
とみなさず処理Ｃ６に進む（処理Ｃ５でＮＯ）。処理Ｃ
６で１クロックの動作を実行し、以降の処理は、上述と
同様の処理を４クロック目において繰り返して、再び処
理Ｃ５まで進む。

【００５６】そして、処理Ｃ５では、現在の入力信号値
と状態を調べるが、このとき入力命令ｉｎによる入力信
号値の変化は終了しており、入力信号とレジスタ値が図
７における動作終了状態７ｄと一致するため、終了状態
とみなして処理Ｃ７に進む（処理Ｃ５でＹＥＳ）。処理
Ｃ７では、論理回路ブロックのその動作終了状態７ｄを
抽出し、処理Ｃ８に進む。最後に、処理Ｃ８では、処理
Ｃ２及び処理Ｃ４で記録した図９に示す出力信号系列
と、図２に示す入出力命令情報Ａ２に含まれる出力命令
に対応する出力信号パターンとを比較する。ここでは、
図９において、９ｃに示す２クロック目において出力信
号ｄｏｕｔが変化しているので、これが出力命令ｄｏｕ
ｔに対応し、また９ｄに示す３クロック目において出力
信号ｏｅ１の値が１になっているので、これが出力命令
ｏｅ１に対応している。従って、命令ｄｏｕｔ及び命令
ｏｅ１を抽出する。なお、この例での抽出結果は、後述
する図１１における１１ｃに該当している。

【００５７】このように、処理Ｂ４によって動作解析処
理を行った後、処理Ｂ５に進む。そして、以下、図４に
示すフローチャートに従って、処理Ｂ２から処理Ｂ６を
繰り返して行うことによって、図７に示す各動作開始状
態に対して各入力命令を入力した場合の動作を抽出す
る。図１１は、図７に示す７ａ〜７ｈの各状態に対して
入力命令ｉｎを入力した場合の動作を抽出した結果であ
る。図１１では、左から入力前のｓｅｌ、ｄｉｎ、ｄｏ
ｕｔの値、入力命令ｉｎ実行後のｓｅｌ、ｄｉｎ、ｄｏ
ｕｔの値、及び抽出した出力命令列が記述されている。
なお、ｉｎ、ｆｆ＿ｉｎ、ｏｅ１、ｏｅ２の各値は、全
ての動作開始状態と動作終了状態で共通の値を持つため
省略している。

【００５８】図７に示す全ての動作開始状態に対して、
全ての入力命令を入力したときの動作を抽出した後、処
理Ｂ７に進み、抽出した動作をまとめて論理回路に対す
る動作モデルＡ３を作成する。このとき、Ｃ言語で動作
モデルＡ３を記述する場合、状態を表す値を格納する変
数と出力命令に対応する関数とを定義し、さらに、各入
力命令毎に各関数内で動作開始状態毎に処理を分け、出
力命令列に対応する関数列の呼び出しと動作終了状態の
変更を行う処理とを記述した関数を定義することによっ
て、動作モデルＡ３を作成することができる。

【００５９】また、論理回路ブロックの状態を表す値の
中で、動作開始状態と動作終了状態の全ての状態におい
て同じ値を持つものは、動作開始状態の区別と動作終了
状態の区別に不要であるので、動作モデルＡ３を作成す
る際に省略することができる。また、動作開始状態を表
す変数値を、条件式や変数への代入文の右辺の式に含め
ることによって、複数の動作開始状態における処理に含
まれる同一の出力命令や変数の変更をまとめて記述する
こともできる。

【００６０】以上の処理によって作成される動作モデル
Ａ３の一例を図１２に示す。図１２は、本実施形態にお
いて作成された動作モデルＡ３をＣ言語で記述したもの
である。図１２に示す動作モデルＡ３は、論理回路ブロ
ックの状態を区別するために用いられる状態変数保存用
の変数の宣言（１行）、出力命令用の関数の宣言（３〜
５行）、各入力命令に対応した関数（７〜３０行）によ
って構成されている。ここで、各入力命令に対応する関
数名には、他のブロックと関数とを区別するためにブロ
ックのモジュール名を付加しており、また、入力命令ｉ
ｎに対する動作は、７〜１９行にまとめられている。な
お、この例では、初期状態での動作開始状態は全ての変
数値が０となる図７に示す状態７ａとし、動作終了状態
が次の動作開始状態になるとしている。また、出力命令
用の関数の宣言を関数へのポインタとしているのは、他
のブロックの入力命令関数のアドレスを代入することに
よって、複数のブロックを接続することを想定している
ためである。

【００６１】なお、本発明において、抽出した動作をも
とに動作モデルＡ３を作成する方法は、ここに述べた方
法に限定されるものではない。また、ここに示した動作
モデルの記述スタイルは一例であり、本発明はこの記述
スタイルに限定されるものではない。

【００６２】以上のように、本実施形態に示した論理回
路モデルの変換方法によれば、ＲＴレベルで詳細に記述
された論理回路モデルに対し、論理回路ブロックの入出
力信号とブロックの入出力命令との対応関係を示す入出
力命令情報Ａ２を与える。これによって、各入力命令に
対する論理回路ブロックの動作を抽出し、クロック概念
を含まない逐次的なシミュレーションで用いるための抽
象度の高い動作モデルＡ３を簡単に作成することができ
る。

【００６３】なお、本実施形態では、図２に示すＲＴレ
ベルモデルＡ１はＶｅｒｉｌｏｇ−ＨＤＬを用いて記述
し、図１２に示す動作モデルＡ３はＣ言語を用いて記述
しているが、本実施形態はこれらの記述言語に依存する
ものではなく、ＶＨＤＬやＣ＋＋などのその他の記述言
語を用いることによっても、本実施形態は同様に実施可
能である。

【００６４】なお、本実施形態では、ＲＴレベルモデル
Ａ１に対する入力信号の全てがいずれかの命令に対応し
ている場合について説明した。しかしながら、テスト回
路用の入力信号などのように、動作モデルＡ３に必要の
ない機能で用いられる入力信号に対しては、あらかじめ
固定値を与え、不要な論理を例えば特開２００１−２２
８０８号公報に開示されている方法に従って削減する。
その後、本実施形態に示した方法を適用することによっ
て、より効率的に、動作モデルＡ３に変換できることは
言うまでもない。

【００６５】（第２の実施形態）第２の実施形態では、
請求項１及び請求項２に係る発明について、図２〜図６
及び図１３〜図１９を参照しながら説明する。

【００６６】第１の実施形態では、１つの入出力信号の
１クロックの値が１つの入出力命令に対応している場合
について説明した。しかしながら、複数の信号の組合せ
が１つの命令としての意味を持つ場合や、信号の一部が
１つの命令に対応するパラメータとしての意味を持つ場
合や、複数クロックにおける信号の変化が１つの命令に
対応する場合もある。

【００６７】そこで、本発明に係る第２の実施形態で
は、複数の信号の複数クロックにおける信号の変化が１
つの入出力命令に対応する入出力信号を持つ論理回路ブ
ロックのＲＴレベルモデルＡ１を動作モデルＡ３に変換
する方法について説明する。

【００６８】図１３は本実施形態における入出力命令情
報Ａ２の一例を表す図である。図１３の入出力命令情報
Ａ２では、第１の実施形態における図３に示す情報に加
え、信号変化のタイミング（ｔｉｍｉｎｇ）が記述され
ている。ここで、図中１３ｂや１３ｃなどに示すように
「ｆｕｎｃｔｉｏｎ」の欄が空白になっている行は、上
の行で指定されている関数に対応する命令についての情
報であることを示している。例えば、１３ａにおいて指
定された関数ｉｎに対応する命令はｉｎ、ｄｉｎ、ｓｅ
ｌの３つの信号に関係付けられている。また、「ｔｙｐ
ｅ」の欄に関して、１３ｂや１３ｃなどに示すようにｐ
ａｒａｍｅｔｅｒと宣言された信号は、入力信号の場合
は指定されたタイミングで入力命令の引数値を入力信号
に設定することを示しており、一方、出力信号の場合は
指定されたタイミングで出力された信号値を出力命令の
引数とすることを示している。また、入力信号がパラメ
ータに設定されている場合は、指定されたタイミング以
外での値は既定されておらず任意であるので、ここでは
０になるとみなす。また、出力命令を抽出するとき、パ
ラメータに設定された出力信号の値は出力命令が発生し
たか否かの判定を行う際には用いない。また、タイミン
グの指定は入力命令または出力命令の開始クロックを０
として、信号変化のタイミングやパラメータ信号の取り
込みタイミングをクロック単位で指定している。

【００６９】次に、本実施形態では、第１の実施形態と
同様に、図４及び図６に示したフローチャートに従って
動作モデルＡ３を作成する方法について説明する。ただ
し、処理Ｂ２で入力命令を選択するときは、パラメータ
の値毎に異なる命令とみなして以後の処理を行う。ま
た、処理Ｂ４で引数を持つ出力信号が抽出されたとき
は、図１３に示す入出力命令情報Ａ２において指定され
たタイミングの出力信号の値を引数値とする。ここで、
複数の出力命令が抽出された場合、抽出された出力命令
に関する信号値の変化が先に開始される出力命令を、出
力命令列の先頭に配置する。また、信号値の変化が同時
のときは、任意の順序で並べることによって出力命令列
を作成すればよい。なお、本発明において、この出力命
令列を並べる順序は本順序に限定されるものではない。

【００７０】以下では、図２で示したＲＴレベルモデル
Ａ１と図１３で示した入出力命令情報Ａ２を用いて、記
述変換手段１が動作モデルＡ３を作成する手順を具体的
に説明する。

【００７１】記述変換手段１は、まず、処理Ｂ１では、
図５に示した方法に従い、動作開始状態と動作終了状態
を設定し、処理Ｂ２に進む。ここで、論理回路ブロック
の定常状態は、図２に示すＲＴレベルモデルＡ１におけ
る入力信号ｉｎ、ｓｅｌ、ｄｉｎの値とレジスタｆｆ＿
ｉｎ、ｏｅ１、ｏｅ２、ｄｏｕｔの値を用いて表すこと
ができる。そして、ここでは、第１の実施形態と同様に
して、定常状態を求めて動作開始状態と動作終了状態に
設定する。ただし、本実施形態では、図１３に示す通
り、ｓｅｌとｄｉｎがｐａｒａｍｅｔｅｒと宣言されて
いるため、入力命令を与えていない状態における値が０
に固定される。従って、設定される状態は図１４で示す
２種類の状態１４ａ及び状態１４ｂになる。

【００７２】次に、処理Ｂ２では、図１３に示す入出力
命令情報Ａ２から解析対象命令としての１つの命令を選
択し、処理Ｂ３に進む。ここでは、例として、まず、１
３ａにおいて指定されたｉｎという命令を選択し、また
パラメータ信号ｄｉｎに対応する引数として１を選択
し、さらにパラメータ信号ｓｅｌに対応する引数として
１を選択する。処理Ｂ３では、処理Ｂ１で設定した動作
開始状態の中から第１の状態としての１つの状態を選択
し、処理Ｂ４に進む。ここでは、例として、状態１３ａ
を選択する。処理Ｂ４では、図６に示す動作解析方法に
従って、入力命令ｉｎに対する図２に示すＲＴレベルモ
デルＡ１の動作を解析する。

【００７３】ここで、処理Ｂ４が行う動作解析処理につ
いて、図６に示すフローチャートに従って、図１３〜図
１７を参照しながら具体的に説明する。図１５は入力信
号を表し、また図１６は出力信号を表し、さらに図１７
は内部レジスタ値を表す図である。

【００７４】まず、処理Ｂ２で選択した入力命令ｉｎを
論理回路ブロックに入力したときの入力信号の変化と、
図１４に示す動作開始状態１４ａにおける入力信号値を
用いて入力信号を作成する（処理Ｃ１）。ここで、図１
３に示す１３ａにおいて、入力信号ｉｎに対してｈｉｇ
ｈと宣言しているので、入力直後に入力信号ｉｎの値を
１にした後、２クロック目以降は０にする。また、入力
信号ｄｉｎに対してｐａｒａｍｅｔｅｒと宣言してお
り、タイミングを０に指定しているので、入力直後に入
力信号ｄｉｎを引数として選択した値１にした後、２ク
ロック目以降は０にする。さらに、入力信号ｓｅｌに対
してｐａｒａｍｅｔｅｒと宣言しており、タイミングを
１に指定しているので、２クロック目に入力信号ｓｅｌ
を引数として選択した値１にした後、３クロック目以降
は０にする。なお、図１５において、１５ａは入力命令
ｉｎを入力する前の入力信号値、１５ｂは入力命令ｉｎ
を入力した最初のクロックにおける入力信号値、１５ｃ
は２クロック目の入力信号値である。そして、入力命令
ｉｎに対する信号は１クロック目で与えられているた
め、２クロック目以後の入力信号値は同じ値となる。

【００７５】次に、入力信号値１５ａに対する動作開始
前の出力信号値１６ａを求め記録する（処理Ｃ２）。そ
して、入力信号値を１５ｂに更新し（処理Ｃ３）、１ク
ロック目の出力信号値１６ｂを求め記録する（処理Ｃ
４）。そして、処理Ｃ５では、現在の入力信号値と状態
を調べるが、１クロック目において入力命令による入力
信号の変化が終了していないため、終了状態とみなさず
処理Ｃ６に進む（処理Ｃ５でＮＯ）。処理Ｃ６では、１
クロックの動作を実行し、内部レジスタ値を１７ｃに変
更することによって状態を変更する。ただし、図１７に
おいて、１７ａと１７ｂは動作開始状態におけるレジス
タ値である。

【００７６】次に、処理Ｃ３に戻った後は、上述と同様
の処理を２クロック目において繰り返して、処理Ｃ５ま
で進む。そして、処理Ｃ５では、現在の入力信号値と状
態を調べるが、２クロック目において入力命令ｉｎによ
る入力信号の変化が終了していないため、終了状態とみ
なさず処理Ｃ６に進む（処理Ｃ５でＮＯ）。処理Ｃ６で
１クロックの動作を実行し、以降の処理は、上述と同様
の処理を３クロック目において繰り返して、再び処理Ｃ
５まで進む。そして、処理Ｃ５では、現在の入力信号値
と状態を調べるが、３クロック目においてレジスタｏｅ
２の値が１になっており第２の状態としての動作終了状
態に到達していないため、終了状態とみなさず処理Ｃ６
に進む（処理Ｃ５でＮＯ）。処理Ｃ６で１クロックの動
作を実行し、以降の処理は、上述と同様の処理を４クロ
ック目において繰り返して、再び処理Ｃ５まで進む。

【００７７】そして、処理Ｃ５では、現在の入力信号値
と状態を調べるが、このとき入力命令ｉｎによる入力信
号の変化は終了しており、入力信号とレジスタ値が図１
４に示す動作終了状態１４ｂと一致するため、終了状態
とみなして処理Ｃ７に進む（処理Ｃ５でＹＥＳ）。処理
Ｃ７では、論理回路ブロックの動作終了状態１４ｂを抽
出し、処理Ｃ８に進む。最後に、処理Ｃ８では、処理Ｃ
２及び処理Ｃ４で記録した図１６に示す出力信号系列
と、図１３に示す入出力命令情報Ａ２に含まれる出力命
令に対応する出力信号パターンとを比較する。ここで
は、図１６の１６ｄに示す３クロック目において出力信
号ｏｅ２の値が１になっているので、これが出力命令ｏ
ｅ２に対応する。その結果、出力命令ｏｅ２を抽出す
る。また、出力命令ｏｅ２は出力信号ｄｏｕｔを引数と
しており、出力信号ｄｏｕｔのタイミングを１に指定し
ているので、出力信号ｏｅ２の値が１となっているクロ
ックの次のクロックである１６ｅに示す出力信号ｄｏｕ
ｔの値１を出力命令ｏｅ２の引数とする。なお、この抽
出結果は、後述する図１８における１８ｇに該当してい
る。

【００７８】このように処理Ｂ４による動作解析処理が
行われた後、処理Ｂ５に進む。そして、以下、同様に、
図４に示すフローチャートに従って、処理Ｂ２から処理
Ｂ６を繰り返して行うことによって、図１４に示す各動
作開始状態に対して各入力命令を入力した場合の動作を
抽出する。図１８は、図１４に示す１４ａ及び１４ｂの
各状態に対して入力命令ｉｎを入力した場合の動作を抽
出した結果である。図１８では、左から引数を含む入力
命令、入力前のｄｏｕｔの値、入力命令ｉｎ実行後のｄ
ｏｕｔの値、及び抽出した出力命令列が記述されてい
る。なお、ｉｎ、ｓｅｌ，ｄｉｎ、ｆｆ＿ｉｎ、ｏｅ
１、ｏｅ２の各値は、全ての動作開始状態と動作終了状
態で共通の値を持つため省略している。

【００７９】図１４に示す全ての動作開始状態に対し
て、全ての入力命令を入力したときの動作を抽出した
後、処理Ｂ７に進み、抽出した動作をまとめて論理回路
ブロックに対する動作モデルＡ３を図１９のように作成
する。ここで、図１９は、本実施形態におけるＣ言語で
記述された動作モデルＡ３の一例を表す図である。図１
９に示す動作モデルＡ３は、論理回路の状態を区別する
ために用いる状態変数保存用の変数の宣言（１行）、出
力命令用の関数の宣言（３、４行）、入力命令に対応し
た関数（６〜１５行）によって構成されている。ここ
で、各入力命令に対応する関数名には、他のブロックと
関数とを区別するためにブロックのモジュール名を付加
している。また、ここでは、各動作開始状態と入力命令
の引数に対する動作は、共通する出力命令と状態変数の
変更を、１つにまとめて記述している。

【００８０】以上のように、本実施形態に示した論理回
路モデルの変換方法によれば、ＲＴレベルで詳細に記述
された論理回路モデルに対し、論理回路ブロックの入出
力信号とブロックの入出力命令との対応関係を示す入出
力命令情報Ａ２を与える。そして、この入出力命令情報
の中に、複数の信号の複数クロックにおける変化と１つ
の命令との対応関係が含まれている場合であっても、各
入力命令に対するＲＴレベルモデルＡ１の動作を抽出
し、クロック概念を含まない逐次的なシミュレーション
で用いるための抽象度の高い動作モデルＡ３を簡単に作
成することができる。

【００８１】（第３の実施形態）本発明の第３の実施形
態では、請求項１、請求項３、請求項４及び請求項５に
係る発明について、図４及び図２０〜図２７を参照しな
がら説明する。

【００８２】前述した第１及び第２の実施形態では、入
力命令は入力信号にのみ対応し、出力命令は出力信号に
のみ対応している場合について説明した。しかしなが
ら、ハンドシェイクプロトコルのように応答信号を必要
とする命令がある場合には、前述の実施形態は対応して
いない。なぜなら、応答信号を必要とする出力命令があ
る場合は、応答信号の変化待ちの状態から先の動作を解
析することができないため、動作終了状態に到達するこ
とができない。それゆえ、必要な動作を抽出することが
できず動作モデルＡ３を作成することができないからで
ある。また、応答信号を必要とする入力命令が存在し、
入力信号の変化が応答信号の変化に依存する場合は、入
力信号を作成することができないため、動作の解析を行
うことができず、それゆえ、動作モデルＡ３を作成する
ことができないからである。

【００８３】そこで、本発明の第３の実施形態では、応
答信号を必要とする入出力命令を持つ論理回路ブロック
のＲＴレベルモデルＡ１を動作モデルＡ３に変換する方
法について説明する。

【００８４】第３の実施形態においては、図２０に示す
論理回路ブロックのＲＴレベルモデルＡ１を変換対象と
する。ここで、図２０はＲＴレベルモデルＡ１をＶｅｒ
ｉｌｏｇ−ＨＤＬを用いて記述した一例を表す図であ
る。

【００８５】まず、本実施形態において用いる入出力命
令情報Ａ２について、図２１を参照しながら説明する。
図２１は本実施形態における入出力命令情報Ａ２の一例
を表す図である。図２１の入出力命令情報Ａ２では、左
から入出力命令を表す関数の宣言（ｆｕｎｃｔｉｏ
ｎ）、入出力信号名（ｐｏｒｔ）、入出力信号と入出力
命令との対応関係（ｔｙｐｅ）、及びタイミング（ｔｉ
ｍｉｎｇ）が記述されている。ここで、入力命令ｉｎは
応答信号付入力命令であり、同図中２１ｂでは、入力命
令ｉｎに関する出力信号ａｃｋに対する情報を示してお
り、タイミングをｘと指定しているのは、信号値１にな
るタイミングが不定であることを意味している。そし
て、２１ａにおいて、入力信号ｉｎのタイミングを０，
＄ｘと指定しているのは、＄ｘは出力信号ａｃｋの値が
１になるクロックｘの値が入り、入力命令開始から出力
信号ａｃｋの値が１になるまで１になり、それ以後０に
なることを意味している。また、出力命令ｏｅ１は応答
信号付出力命令であり、２１ｇにおいて、出力命令ｏｅ
１に関する入力信号ａｃｋ１に対する情報を示してお
り、タイミングをｘ＋１と指定しているのは、信号値１
になるタイミングは出力命令に関する信号変化の２クロ
ック目以後であることを意味している。そして、２１ｆ
において、出力信号ｄｏｕｔのタイミングを＄ｘ＋１と
指定しているのは、入力信号ａｃｋ１の値が１になるク
ロックの値を引数として用いることを意味している。な
お、入力命令と出力命令の区別は最初に指定している信
号の方向で判断することができる。

【００８６】次に、記述変換手段１によって実行される
記述変換の方法について説明する。第３の実施形態でも
同様に、記述変換は上述した図４に示す方法に従って行
われる。そのためここでは、前述の実施形態とは異なる
動作解析処理Ｂ４について、図２２を参照しながら説明
する。図２２は本実施形態における動作解析処理Ｂ４が
行う処理を表すフローチャートである。

【００８７】図２２に示すように、まず、処理Ｄ１で
は、処理Ｂ３で選択した第１の状態としての動作開始状
態において、入力命令が与えられていないときの動作開
始前の出力信号値を求め記録し、処理Ｄ２に進む。処理
Ｄ２では、論理回路ブロックに対する１クロック分の入
力信号を作成し、処理Ｄ３に進む。このとき、入出力命
令情報Ａ２を参照して、選択した解析対象命令としての
入力命令に関する入力信号値の変化が必要なときは、そ
の変化を入力信号に反映する。また、入力命令に関する
入力信号の変化のタイミングが出力信号の変化に依存す
るとき、後述する処理Ｄ５で認識した出力信号の変化の
タイミングを用いて、入力信号の変化のタイミングを決
定する。また、後述する処理Ｄ４で応答信号付出力命令
を抽出しているとき、入出力命令情報Ａ２を参照して、
抽出した出力命令に関する入力信号値の変化を入力信号
に反映する。また、応答信号付出力命令に関係付けられ
た入力信号の変化のタイミングが一定でないときは、指
定された範囲で最も早く変化するものとみなして入力信
号を変化させる。

【００８８】次に、処理Ｄ３では、処理Ｄ２で更新した
入力信号値に対する出力信号値を求め出力信号系列に加
え、処理Ｄ４に進む。処理Ｄ４では、処理Ｄ３で記録し
た出力信号と入出力命令情報Ａ２おいて指定された出力
命令に関する出力信号とを比較し、新たに発生した出力
命令を抽出する。ここで、出力命令の発生を判断すると
きに用いる信号の変化は、変化する値が固定された出力
信号の変化である。また、引数を持つ出力命令を抽出し
たときは、指定されたクロックにおける出力信号の値を
抽出して出力命令の引数とする。そして、処理Ｄ５に進
み、応答信号付入力命令に関する出力信号を調べ、入出
力命令情報Ａ２において指定された応答信号の変化があ
ったか否かを判定し、処理Ｄ６に進む。

【００８９】次に、処理Ｄ６では、終了状態に到達した
か否かを判定する。このとき、終了状態に到達している
とき（処理Ｄ６でＹＥＳ）は処理Ｄ８に進み、一方、終
了状態に到達してないとき（処理Ｄ６でＮＯ）は処理Ｄ
７に進む。ここで、終了状態とは、論理回路ブロックの
状態が第２の状態としての動作終了状態のいずれかの状
態に到達しており、かつ、入力命令に関連する入出力信
号の変化が終了しており、さらに処理Ｄ４で抽出した出
力命令に関する入出力信号の変化が終了している状態の
ことである。そして、処理Ｄ７に進んだときは、１クロ
ックの動作を実行して論理回路ブロックの状態を更新
し、処理Ｄ２に戻り、処理Ｄ６で終了状態に到達するま
で（処理Ｄ６でＹＥＳ）処理Ｄ２〜処理Ｄ７を繰り返
す。一方、処理Ｄ８に進んだときは、処理Ｄ６において
到達した動作終了状態を抽出して、図２２に示す動作解
析処理Ｂ４の処理を終了する。

【００９０】なお、本実施形態において、入力命令に対
する応答信号が発生しないときは、入力命令に関する入
力信号の変化が終了しないため、図２２で示した動作解
析処理が終了しない場合がある。このような場合、図２
２で示した動作解析処理の実行前または実行中に、入力
命令に関する入力信号の変化が発生するか否かを判定す
る。そして、入力信号の変化が発生しないときは、動作
の解析を行わないかまたは中断し、動作解析が実行でき
ないことを報告して終了することができる。また、その
入力命令と動作開始状態の組合せが発生したときは、エ
ラーを報告する動作モデルＡ３を作成することによっ
て、処理を終了することができることは言うまでもな
い。

【００９１】以下では、図２０で示したＲＴレベルモデ
ルＡ１と図２１で示した入出力命令情報Ａ２を用いて、
記述変換手段１が動作モデルＡ３を作成する手順を具体
的に説明する。

【００９２】記述変換手段１は、まず、処理Ｂ１では、
図５に示した方法に従い、動作開始状態と動作終了状態
を設定する。ここで、上述の実施形態と同様にして、論
理回路ブロックの定常状態を求めると、図２０に示すＲ
ＴレベルモデルＡ１の入力信号値が全て０であり、レジ
スタｓｔａｔｅの値が０、１、２である３種類の状態を
抽出する。このとき、３種類の状態を動作開始状態と動
作終了状態として共通に設定してもよいが、ここでは、
３種類の状態のうちレジスタｓｔａｔｅの値が０である
ものだけを動作開始状態として設定することにする。

【００９３】次に、処理Ｂ２では、図２１に示す入出力
命令情報Ａ２から解析対象命令としての１つの命令を選
択する。ここでは、例として、まず、２１ａにおいて指
定された入力命令ｉｎを選択し、さらに引数の値をｓｅ
ｌ、ｄｉｎともに１とする。処理Ｂ３では、処理Ｂ１で
設定した動作開始状態から第１の状態としての１つの状
態を選択し、処理Ｂ４に進む。ここでは動作開始状態が
１種類であるので、その状態を選択する。そして、処理
Ｂ４では、図２２に示した動作解析方法に従って、入力
命令ｉｎに対する図２０に示すＲＴレベルモデルＡ１の
動作を解析する。

【００９４】ここで、処理Ｂ４が行う動作解析処理につ
いて、図２２に示すフローチャートに従って、図２３〜
図２６を参照しながら具体的に説明する。図２３は処理
途中で作成される入力信号を表し、また図２４は出力信
号を表し、さらに図２５は内部レジスタ値を表す図であ
る。

【００９５】まず、動作開始状態の入力信号値２３ａに
対する動作開始前の出力信号値２４ａを求め記録する
（処理Ｄ１）。次に、入力命令ｉｎによる１クロック目
の信号の変化を反映して入力信号２３ｂを作成し、入力
信号として与える（処理Ｄ２）。そして、１クロック目
の出力信号値２４ｂを求め記録し（処理Ｄ３）、記録し
た出力信号系列を調べ新たな出力命令が発生していない
か否かを調べる（処理Ｄ４）。ここでは、まだ対応する
出力命令は認識されない。次に、入力命令ｉｎの応答信
号ａｃｋを調べる（処理Ｄ５）。ここでは、まだ応答信
号ａｃｋの変化はない。そして、処理Ｄ６では、終了状
態に到達しているか否かを判定するが、まだ入力信号の
変化が終了していないので処理Ｄ７に進む（処理Ｄ６で
ＮＯ）。次に、処理Ｄ７では、１クロックの動作を実行
し、内部レジスタ値を２５ｃに変更することによって状
態を変更し、処理Ｄ２に戻る。ただし、図２５において
２５ａ及び２５ｂは動作開始状態におけるレジスタ値で
ある。

【００９６】以後、処理Ｄ２から処理Ｄ７を繰り返す
が、２クロック目の処理Ｄ４では、出力信号ｏｅ２の値
が１に変化しているため、出力命令ｏｅ２の認識条件を
満たしているので、出力命令ｏｅ２を抽出する。そし
て、認識した出力命令ｏｅ２に対する応答信号ａｃｋ２
の変化タイミングをｘ＋１と指定しているので、最も早
いタイミングである１サイクル後、すなわち３クロック
目の処理Ｄ２において入力信号ａｃｋ２の値を１に変化
させ、４クロック目の処理Ｄ２において０に戻す。ま
た、出力命令ｏｅ２のパラメータである出力信号ｄｏｕ
ｔのタイミングを＄ｘ＋１と指定しており、さらに出力
命令ｏｅ２に対する応答信号ａｃｋ２の変化タイミング
決定時においてｘの値＄ｘを０に設定している。このた
め、出力命令ｏｅ２の開始タイミングの１サイクル後で
ある３サイクル目の処理Ｄ４において、出力信号ｏｅ２
の値１を出力命令ｏｅ２の引数として抽出する。なお、
３サイクル目の出力信号ｏｅ２の値も１になっている
が、既に認識されている出力命令によって出力信号ｏｅ
２が１になる期間を＄ｘ＋１と指定しており、また＄ｘ
を０に設定しているため、命令発生の１クロック後、す
なわち３サイクル目まで１になるので、ここでは新たな
出力命令とは認識しない。

【００９７】さらに、３サイクル目の処理Ｄ５におい
て、入力命令ｉｎに対する応答信号ａｃｋの値が１にな
っており、また入力命令ｉｎに対する応答信号ａｃｋの
タイミングをｘと指定しているため、入力命令ｉｎに対
するｘの値＄ｘを３に設定する。これにより、入力信号
ｉｎの値を１に設定するタイミングが命令発生の２サイ
クル後、すなわち３サイクル目までとなる。このため、
４サイクル目の処理Ｄ２において、入力信号ｉｎの値を
０にする。また、４サイクル目の処理Ｄ６において、論
理回路ブロックの状態が終了状態になっており、さらに
入力命令による信号の変化及び認識した出力命令による
信号の変化が終了しているので、処理Ｄ８に進む（処理
Ｄ６でＹＥＳ）。そして、処理Ｄ８では、第２の状態と
しての動作終了状態を抽出し、動作解析処理Ｂ４を終了
する。なお、この例での抽出結果は、後述する図２６に
おける２６ｄに該当している。

【００９８】このように、処理Ｂ４によって動作解析処
理を行った後、処理Ｂ５に進む。そして、以下、図４に
示すフローチャートに従って、処理Ｂ２から処理Ｂ６を
繰り返して行うことによって、各入力命令に対する動作
を抽出する。図２６は、各入力命令と引数の組合せに対
して動作を抽出した結果である。図２６では、左から引
数を含む入力命令、得られた出力命令列が記述されてい
る。また、この例では動作開始状態は１種類しか存在せ
ず、動作開始状態及び動作終了状態を区別する必要がな
いため状態を表す変数の値は省略している。また、入力
命令ｒｅｓｅｔに対する出力命令はないため、図２６の
２６ｅに示すように、出力命令列の欄は空白としてい
る。

【００９９】そして、最後に、処理Ｂ７は抽出した動作
をまとめて論理回路に対する動作モデルＡ３を作成す
る。図２７は、本実施形態におけるＣ言語で記述した動
作モデルＡ３の一例を示す図である。図２７に示す動作
モデルＡ３は、出力命令用の関数の宣言（１、２行）、
入力命令に対応した関数（４〜１６行）によって構成さ
れている。ここで、各命令に対応する関数名には、他の
ブロックの関数と区別するためにブロックのモジュール
名を付加している。また、ここでは、各動作開始状態と
入力命令の引数に対する動作は、共通する出力命令と状
態変数の変更を、１つにまとめて記述している。なお、
この例では動作開始状態は１種類しか存在しないため、
状態を区別するための変数は必要としていない。

【０１００】以上のように、本実施形態に示した論理回
路モデルの変換方法によれば、ＲＴレベルで記述された
論理回路モデルに対し、論理回路ブロックの入出力信号
とブロックの入出力命令との対応関係を示す入出力命令
情報Ａ２を与える。そして、この入出力命令情報Ａ２の
中に、入力応答信号を持つ応答信号付出力命令や出力応
答信号を持つ応答信号付入力命令が含まれている場合で
あっても、各入力命令に対するＲＴレベルモデルＡ１の
動作を抽出し、クロック概念を含まない逐次的なシミュ
レーションで用いるための抽象度の高い動作モデルＡ３
を簡単に作成することができる。

【０１０１】（第４の実施形態）本発明の第４の実施形
態では、請求項１、請求項３、請求項６、及び請求項７
に係る発明について、図４及び図２８〜図３５を参照し
ながら説明する。

【０１０２】前述した第１〜第３の実施形態では、デー
タ読み込み命令のように出力命令が入力信号をパラメー
タとして取り込み、取り込んだ値に応じて論理回路ブロ
ックの動作が変化する場合や、データ読み込み命令のよ
うに入力命令が返値を必要とする場合には対応していな
い。なぜなら、前述した実施形態では、出力命令が入力
信号をパラメータとして取り込むときは、入力信号の値
が定まっていないため以後の動作の解析ができず、動作
モデルＡ３を作成することができないからである。ま
た、入力命令が返値を必要とするときは、返値とするべ
き値が不明であるため動作モデルＡ３を作成することが
できないからである。

【０１０３】そこで、本発明の第４の実施形態では、入
力信号をパラメータとして取り込み、取り込んだ値に応
じて論理回路ブロックの動作が変化し、さらに、入力命
令が返値を必要とする場合について、論理回路ブロック
のＲＴレベルモデルＡ１を動作モデルＡ３に変換する方
法について説明する。

【０１０４】本発明の第４の実施形態においては、図２
８に示す論理回路ブロックのＲＴレベルモデルＡ１を変
換対象とする。ここで、図２８はＲＴレベルモデルＡ１
をＶｅｒｉｌｏｇ−ＨＤＬを用いて記述した一例を表す
図である。

【０１０５】まず、本実施形態において用いる入出力命
令情報Ａ２について、図２９を参照しながら説明する。
図２９は第４の実施形態における入出力命令情報Ａ２の
一例を表す図である。図２９の入出力命令情報Ａ２で
は、左から入出力命令を表す関数の宣言（ｆｕｃｔｉｏ
ｎ）、入出力信号名（ｐｏｒｔ）、入出力信号と入出力
命令との対応関係（ｔｙｐｅ）、及びタイミング（ｔｉ
ｍｉｎｇ）を記述している。ここで、同図中２９ｂにお
いて、入力命令ｏｕｔに関する信号ｄｏｕｔは出力信号
であり、「ｔｙｐｅ」の欄でｐａｒａｍｅｔｅｒと指定
しているため、入力命令ｏｕｔに対する返値とみなす。
そして、返値信号ｄｏｕｔのタイミングを１と指定して
いるため、入力命令開始の１クロック後の値を返値とし
て用いる。また、２９ｄ及び２９ｅにおいて、出力命令
ｒｄに関する信号ｄｉｎとｅｒｒは入力信号であり、
「ｔｙｐｅ」の欄でｐａｒａｍｅｔｅｒと指定している
ため、出力命令ｒｄの返値とみなす。そして、返値信号
ｄｉｎとｅｒｒのタイミングを１と指定しているため、
出力命令開始の１クロック後に出力命令の返値を設定す
る。この場合、動作解析時には値が定まっていないの
で、定数ではなく変数値を設定して動作の解析を行う。

【０１０６】次に、記述変換手段１によって実行される
記述変換の方法について説明する。本実施形態でも同様
に、記述変換は上述した図４に示す方法に従って行われ
る。そのためここでは、前述した実施形態とは異なる動
作解析処理Ｂ４について、図３０を参照しながら説明す
る。図３０は本実施形態における動作解析処理Ｂ４が行
う処理を表すフローチャートである。

【０１０７】図３０に示すように、まず、処理Ｅ１で
は、処理Ｂ３で選択した第１の状態としての動作開始状
態において、解析対象命令としての入力命令が与えられ
ていないときの動作開始前の出力信号値を求め記録し、
処理Ｅ２に進む。処理Ｅ２では、論理回路ブロックに対
する１クロック分の入力信号を作成し、処理Ｅ３に進
む。このとき、後述する処理Ｅ７で返値付出力命令を抽
出しているとき、入出力命令情報Ａ２を参照して、抽出
した出力命令に関する入力信号の値を変数値にする。処
理Ｅ３では、処理Ｅ２で更新した入力信号値に対する出
力信号値を求め出力信号系列に加える。次に、処理Ｅ４
に進み、入力信号または論理回路ブロックの状態を表す
ために用いている状態変数に変数値が設定されていると
き、変数値のままで当該クロックの動作の解析が可能か
否かを判定する。このとき、後述する処理Ｅ７で出力命
令の発生を判定するために用いる出力信号の値、または
後述する処理Ｅ８で終了状態を判定するために用いる状
態変数の値のいずれかが、変数値または変数値を含む式
で表されているときは、動作の解析が不可能であると判
定する。ただし、出力信号の値や状態変数の値が変数値
であっても、取り得る全ての組合せに対して処理Ｅ７ま
たは処理Ｅ８で同じ判定がなされる場合は、動作の解析
が可能であると判定することができる。

【０１０８】そして、処理Ｅ４で動作の解析を不可能と
判定したとき（処理Ｅ４でＹＥＳ）は、処理Ｅ５に進
み、それまでのクロックにおいて抽出した出力命令列と
現在のブロックの状態を退避した後、処理Ｅ６に進む。
処理Ｅ６では、動作の解析を不可能とする原因の変数値
に対して、取り得る可能性のある値の組合せの１つを選
択し、その選択した値を変数値に設定する。そして、処
理Ｅ７に進む。一方、処理Ｅ４で動作の解析を可能と判
定したとき（処理Ｅ４でＹＥＳ）は、そのまま処理Ｅ７
に進む。処理Ｅ７では、出力信号系列を参照して新たに
発生した出力命令を抽出し、処理Ｅ８に進む。

【０１０９】次に、処理Ｅ８では、終了状態に到達した
か否かを判定し、終了状態に到達するときは処理Ｅ１０
に進み、終了状態に到達しないときは処理Ｅ９に進む。
処理Ｅ９に進んだとき（処理Ｅ８でＮＯ）は、１クロッ
クの動作を実行し論理回路ブロックの状態を更新し、処
理Ｅ２に戻る。そして、処理Ｅ２以降の処理は、上述し
た処理を繰り返すとともに、以下で述べる処理に従って
動作解析を進める。なお、ここで状態変数に設定する値
は、変数値または変数値を含む式になるときもある。

【０１１０】一方、処理Ｅ１０に進んだとき（処理Ｅ８
でＹＥＳ）は、処理Ｅ８で到達した第２の状態としての
動作終了状態を抽出し、処理Ｅ１１に進む。処理Ｅ１１
では、出力信号系列を調べて入力命令に対する返値にな
る信号値を抽出し、処理Ｅ１２に進む。そして、処理Ｅ
１２では、処理Ｅ６で取り得る全ての組合せの変数値を
選択し終えたか否かを判定し、選択し終えているとき
（処理Ｅ１２でＮＯ）は動作解析を終了し、一方、まだ
取り得る変数値があるとき（処理Ｅ１２でＹＥＳ）は処
理Ｅ１３に進む。処理Ｅ１３では、処理Ｅ５で退避した
状態を再現し、処理Ｅ６に戻る。処理Ｅ６は、変数値に
設定する値を変更して解析を進める。以降の動作の解析
は、図３０に示すフローチャートに従い、処理Ｅ１２で
全ての変数値を選択し終えたと判定する（処理Ｅ１２で
ＮＯ）まで、上述した処理Ｅ２〜処理Ｅ１３を繰り返
し、最終的に動作解析処理Ｂ４の処理を終了する。

【０１１１】以下では、図２８で示したＲＴレベルモデ
ルＡ１と図２９で示した入出力命令情報Ａ２を用いて、
記述変換手段１が動作モデルＡ３を作成する手順を具体
的に説明する。

【０１１２】記述変換手段１は、まず、処理Ｂ１では、
図５に示した方法に従い、動作開始状態と動作終了状態
を設定する。ここで、上述の実施形態と同様にして、論
理回路ブロックの定常状態を求めると、図２８に示すＲ
ＴレベルモデルＡ１の入力信号値とレジスタ値が全て０
になる状態を抽出する。ここでは、この状態を動作開始
状態と動作終了状態として共通に設定する。次に、処理
Ｂ２では、図２９に示す入出力命令情報Ａ２から１つの
入力命令を選択する。ここでは、図２９の２９ａにおい
て指定されている解析対象命令としての唯一の入力命令
ｏｕｔを選択する。処理Ｂ３では、処理Ｂ１において設
定した唯一の状態を第１の状態としての動作開始状態と
して選択し、処理Ｂ４に進む。そして、処理Ｂ４では、
図３０に示した動作解析方法に従って、入力命令ｏｕｔ
に対する図２８に示すＲＴレベルモデルＡ１の動作を解
析する。

【０１１３】ここで、処理Ｂ４が行う動作解析処理につ
いて、図３０に示すフローチャートに従って、図３１〜
図３４を参照しながら具体的に説明する。図３１は処理
途中で作成される入力信号を表し、また図３２は出力信
号を表し、さらに図３３は内部レジスタ値を表す図であ
る。

【０１１４】まず、動作開始状態の入力信号値３０ａに
対する動作開始前の出力信号値３２ａを求め記録する
（処理Ｅ１）。次に、入力命令ｏｕｔによる１クロック
目の信号の変化を反映して入力信号３１ｂを作成し、入
力信号として与える（処理Ｅ２）。そして、１クロック
目の出力信号値３２ｂを求め記録し（処理Ｅ３）、この
まま動作の解析を続けることができるか否かを判定する
（処理Ｅ４）。ここでは変数値を持つ状態変数や出力信
号は存在しないため、そのまま処理Ｅ７に進む（処理Ｅ
４でＹＥＳ）。処理Ｅ７では、記録した出力信号系列を
もとに新たな出力命令が発生しているか否かを調べて、
処理Ｅ８に進む。ここでは、出力信号ｒｄの値が１に変
化しているため、出力命令ｒｄの発生が認識される。

【０１１５】次に、処理Ｅ８では、終了状態に到達して
いるか否かを判定するが、ここでは、まだ入力命令に関
わる信号の変化が終了していないため、処理Ｅ９に進む
（処理Ｅ８でＮＯ）。処理Ｅ９では、１クロックの動作
を実行し、内部レジスタ値を３３ｃに変更することによ
って状態を変更し、処理Ｅ２に戻る。ただし、図３３に
おいて３３ａ及び３３ｂは動作開始状態におけるレジス
タ値である。

【０１１６】以後、処理Ｅ２から処理Ｅ９を繰り返す
が、２クロック目の処理Ｅ２では、１クロック目に出力
命令ｒｄを認識しており、出力命令ｒｄが２クロック目
に返値をパラメータとする入力信号ｄｉｎとｅｒｒを持
っているので、入力信号に変数値ｉｎ＿ｄｉｎとｉｎ＿
ｅｒｒを設定する。これにより、処理Ｅ３において出力
信号ｄｏｕｔの値が変数値となる。また、処理Ｅ４で
は、以後の動作の解析が可能か否か判定するが、ここで
は、動作終了状態を判定する際に必要な状態と入力信号
の値が変数値となっているので、動作解析が不可能と判
定し処理Ｅ５に進む（処理Ｅ４でＮＯ）。処理Ｅ５で
は、現在の状態とこれまでに抽出した出力命令列を退避
し、処理Ｅ６に進む。そして、処理Ｅ６では、変数値ｉ
ｎ＿ｄｉｎとｉｎ＿ｅｒｒに取り得る値の組合せの１つ
値を設定し、処理Ｅ７に進む。ここでは、まず変数値ｉ
ｎ＿ｄｉｎとｉｎ＿ｅｒｒの両方の値を０に設定する。
この場合、処理Ｅ７では、新たな出力命令は抽出されな
い。

【０１１７】そして、処理Ｅ８に進み、終了状態に到達
したと判定し処理Ｅ１０に進む（処理Ｅ８でＹＥＳ）。
処理Ｅ１０では、第２の状態としての動作終了状態を抽
出し、処理Ｅ１１に進む。さらに、処理Ｅ１１では、入
力命令に対する返値として信号ｄｏｕｔの２クロック目
の値を抽出する。ここで、図３２を参照すると、２クロ
ックの値はｉｎ＿ｄｉｎとなっており、処理Ｅ６でｉｎ
＿ｄｉｎの値として０に設定しているので、返値は０に
なる。なお、この例での抽出結果は、後述する図３４に
おける３４ａに該当している。

【０１１８】次に、処理Ｅ１２に進み、処理Ｅ６におい
てまだ全ての変数値の組合せを選択していないため、未
解析変数値があるので、処理Ｅ１３に進む（処理Ｅ１２
でＹＥＳ）。そして、処理Ｅ１３では、処理Ｅ５で退避
した状態を再現し、処理Ｅ６に戻る。処理Ｅ６では、新
たな変数値の組合せを設定して処理Ｅ７に進む。ここで
は、変数値ｉｎ＿ｄｉｎの値を０に設定し、変数値ｉｎ
＿ｅｒｒの値を１に設定すると、次の４クロック目で出
力命令ｉｒｑを認識し、さらに次の５クロック目で終了
状態にあると判定する。

【０１１９】以後、取り得る全ての変数値の各組合せに
対して上述の処理を繰り返して、動作解析処理Ｂ４を終
了する。その結果、図３４に示す動作解析結果を得る。
ここで、図３４では、左から変数値による分岐の発生前
の出力命令列、分岐発生時の変数値の組合せ、分岐発生
後の出力命令列、及び入力命令に対する返値が記述され
ている。なお、本実施形態において、変数値による分岐
は１回しか生じていないが、分岐が２回以上生じる場合
であっても、本実施形態は同様に解析可能であることは
言うまでもない。

【０１２０】そして、動作解析処理Ｂ４を終了した後
は、本実施形態において動作開始状態は１種類であり、
また入力命令も１種類であるため、処理Ｂ５から処理Ｂ
６に進み、さらに処理Ｂ７に進む。従って、最後に処理
Ｂ７では、図３４に示す動作解析結果をもとに、論理回
路ブロックに対する図３５に示す動作モデルＡ３を作成
する。図３５は、Ｃ言語で記述された動作モデルＡ３の
一例を表す図である。図３５では、左から出力命令用の
関数の宣言（１、２行）、入力命令に対応した関数（４
〜２４行）が記述されている。ここで、各命令に対応す
る関数名には、他のブロックの関数と区別するためにブ
ロックのモジュール名を付加している。なお、図３５に
示した動作モデルＡ３において、関数の返値の受け渡し
は、関数の引数として用いた変数へのポインタを用いて
行っている。また、６行目は出力命令の返値を代入する
ための変数を宣言している。

【０１２１】以上のように、本実施形態に示した論理回
路モデルの変換方法によれば、ＲＴレベルで記述された
論理回路モデルに対し、論理回路ブロックの入出力信号
とブロックの入出力命令との対応関係を示す入出力命令
情報Ａ２を与える。そして、この入出力命令情報Ａ２の
中に返値信号を持つ返値付出力命令や返値付入力命令が
含まれている場合であっても、各入力命令に対するＲＴ
レベルモデルＡ１の動作を抽出し、クロック概念を含ま
ない逐次的なシミュレーションで用いるための抽象度の
高い動作モデルＡ３を簡単に作成することができる。

【０１２２】なお、本実施形態と第３の実施形態を組合
せることにより、返値信号と応答信号の両方を持つ入出
力命令が存在する場合であっても、ＲＴレベルモデルＡ
１を動作モデルＡ３に変換できることは言うまでもな
い。

【０１２３】なお、本実施形態における動作解析におい
ては、出力命令の返値のみを変数値に設定したが、入力
命令の引数を変数値に設定し、異なる引数値を持つ入力
命令に対する動作を同時に解析できることは言うまでも
ない。また、論理回路ブロックの状態を表す変数の一部
を変数値とし、複数の動作開始状態を１つにまとめるこ
とによって、複数の動作開始状態に対する動作を同時に
解析できることは言うまでもない。

【０１２４】（第５の実施形態）本発明の第５の実施形
態では、請求項１、請求項２、請求項９、請求項１０及
び請求項１１に係る発明について、図２、図４、図６、
図１９、及び図３６〜図４０を参照しながら説明する。

【０１２５】前述した全ての実施形態では、論理回路ブ
ロックの状態変数の全てを用いて動作開始状態と動作終
了状態を設定していたため、状態変数の数が多くなると
非常に多数の状態を持つことになる。そのため、第１の
実施形態で示した定常状態の抽出に非常に多くの演算量
が必要になる場合や、多数の動作開始状態を設定する必
要があるために、動作の抽出に多くの演算量が必要にな
る場合がある。

【０１２６】そこで、本発明の第５の実施形態では、動
作開始状態と動作終了状態の設定に必要な状態変数の数
を削減し、より少ない演算量でＲＴレベルモデルＡ１を
動作モデルＡ３に変換する方法について説明する。

【０１２７】本発明の第５の実施形態では、上述した図
４及び図６に示したフローチャートに従い動作モデルＡ
３を作成することにする。

【０１２８】そして、本実施形態では、論理回路ブロッ
クの状態変数の一部である制御変数の値だけを指定し
て、その値を動作開始状態及び動作終了状態として設定
することにする。

【０１２９】ここでは、状態変数の中から制御変数を指
定する方法について図３６を参照しながら説明する。図
３６は、本実施形態における、入力信号とレジスタから
なる状態変数の中から制御変数を選択する方法を表すフ
ローチャートである。図３６に示す制御変数の選択方法
において、まず処理Ｇ１では、状態変数の中から制御出
力信号の値に寄与している変数を選択し、その変数を制
御変数とする。ここで、制御出力信号とは、入出力命令
情報Ａ２において値の変化が出力命令の発生に関係付け
られている出力信号のことであり、出力命令のパラメー
タや入力命令の返値として用いられている出力信号は含
まない。

【０１３０】そして、処理Ｇ２に進み、処理Ｇ１または
後述する処理Ｇ４において抽出した制御変数のうち、後
述する処理Ｇ３において未だ選択していない変数がある
ときは処理Ｇ３に進む（処理Ｇ２でＹＥＳ）。一方、全
ての変数を選択し終えているときは処理を終了する（処
理Ｇ２でＮＯ）。処理Ｇ３に進んだときは、処理Ｇ１ま
たは後述する処理Ｇ４において抽出した制御変数のう
ち、未だ選択してしていない変数を選択し、処理Ｇ４に
進む。処理Ｇ４では、ＲＴレベルモデルＡ１を解析し、
１クロックの動作において、処理Ｇ３で選択した制御変
数の値の変更に寄与する状態変数を抽出する。そして、
その状態変数の中に未だ制御変数に含まれていない変数
があるときは、その変数を制御変数に加え、処理Ｇ２に
戻る。

【０１３１】以降、処理Ｇ２で未選択の制御変数がなく
なり処理を終了するまで（処理Ｇ２でＮＯ）、上述した
処理Ｇ２から処理Ｇ４を繰り返す。ここで、上述した方
法を用いて求めた制御変数で表される状態の遷移は、他
の状態変数の値に影響されない。また、本実施形態で
は、上述した処理Ｇ１及び処理Ｇ４では、制御出力信号
または制御変数の値に寄与する信号の中で、入力パラメ
ータとして用いられる信号があれば、その信号を制御パ
ラメータとして取り出す。

【０１３２】そして、処理Ｂ１で動作開始状態と動作終
了状態を設定する際には、上述の方法によって抽出した
制御変数の値のみを用いる。なお、動作開始状態と動作
終了状態の設定は、第１の実施形態で示した方法によっ
て制御変数で表される状態から定常状態を抽出し、その
定常状態を動作開始状態と動作終了状態としてもよい
し、また、手入力によって設定してもよい。ここで、定
常状態を抽出するとき、制御変数以外の状態変数は制御
変数に影響を与えないため、制御変数だけで定常状態を
抽出できることは言うまでもない。

【０１３３】そして、以後、設定した動作開始状態と動
作終了状態を用いて、図４に示す処理Ｂ２から処理Ｂ７
を行い動作モデルＡ３を作成する。

【０１３４】ただし、処理Ｂ２で入力命令を選択する
際、制御パラメータに含まれていない入力パラメータに
対しては、値が異なるものを別の命令として扱わず、入
力パラメータを変数値として解析を行う。また、処理Ｂ
３で動作開始状態を選択する際、値が固定された入力信
号と制御変数以外の状態変数に対しては変数値を与え、
複数の状態を１つにまとめて選択する。そして、動作解
析処理Ｂ４が行う各処理は、変数値で与えられた状態変
数の値またはパラメータの値をその変数値のまま扱う。
これにより、図６に示す処理Ｃ８で抽出する出力命令の
パラメータの値や処理Ｃ６で設定するレジスタ値は、定
数ではなく１つの変数値または複数の変数値で表される
式になる場合もある。ただし、制御パラメータ及び初期
の制御変数に対しては変数値を用いていないため、制御
出力信号及び制御変数には変数値は現れない。従って、
処理Ｃ８で行う出力命令の発生の判定や処理Ｃ５で行う
終了状態の判定において変数値が現れることはない。そ
のため、その判定が不可能になることはない。

【０１３５】以下では、図２で示したＲＴレベルモデル
Ａ１と図１３で示した入出力命令情報Ａ２を用いて、記
述変換手段１が動作モデルＡ３を作成する手順を具体的
に説明する。

【０１３６】記述変換手段１は、まず、図４に示す処理
Ｂ１において動作開始状態と動作終了状態を設定する。
ここでは、図３６に示すフローチャートに従い、まず制
御変数を選択する。図３６において、処理Ｇ１では、図
１３に示す入出力命令情報Ａ２の中から、出力命令の発
生に関係付けられている出力信号ｏｅ１及びｏｅ２を制
御出力信号として取り出し、これらの信号に寄与してい
る状態変数ｏｅ１及びｏｅ２を制御変数として選択す
る。次に、処理Ｇ２では、制御変数ｏｅ１及びｏｅ２
は、まだ選択されていないため処理Ｇ３に進み（処理Ｇ
２でＹＥＳ）、まず制御変数ｏｅ１を選択する（処理Ｇ
３）。そして、図２に示すＲＴレベルモデルＡ１を解析
すると、１０行目で制御変数ｏｅ１はクロック毎に更新
されており、この更新に寄与する変数ｓｅｌとｆｆ＿ｉ
ｎを制御変数に加える（処理Ｇ４）。

【０１３７】次に、処理Ｇ２に戻り、未選択の制御変数
がなくなるまで（処理Ｇ２でＮＯ）、図３６に示すフロ
ーチャートに従って処理を繰り返すと、結果として、状
態変数ｏｅ１、ｏｅ２、ｓｅｌ、及びｆｆ＿ｉｎが制御
変数として選択される。なお、状態変数ｄｏｕｔは出力
命令の発生に関係付けられていないため、制御変数とし
て選択されない。また、入力パラメータｄｉｎは制御変
数の値に寄与していないため、制御パラメータとして選
択されない。そして、第１の実施形態で示したように、
処理Ｂ１によって定常状態を求めると、選択した４つの
制御変数が０となる１種類の状態が抽出される。従っ
て、処理Ｂ１は、その状態を動作開始状態と動作終了状
態として設定し、処理Ｂ２に進む。

【０１３８】処理Ｂ２では、図１３に示す入出力命令情
報Ａ２から１つの命令を選択し、処理Ｂ３に進む。ここ
では、唯一の入力命令であるｉｎを選択する。この選択
した入力命令ｉｎの引数のうち、ｄｉｎは制御パラメー
タではないため変数値ｉｎ＿ｄｉｎとし、ｓｅｌは制御
パラメータであるため値毎に別の命令として扱う。ま
た、ここでは、例として制御パラメータｓｅｌの値とし
て１を選択する。処理Ｂ３は、処理Ｂ１で設定した動作
開始状態から１つの状態を選択し、処理Ｂ４に進む。こ
こでは、唯一の動作開始状態を第１の状態として選択す
る。このとき、状態変数ｄｏｕｔの値は変数値ｄｏｕｔ
とする。そして、処理Ｂ４では、入力命令ｉｎに対する
図２に示すＲＴレベルモデルＡ１の動作を解析する。

【０１３９】ここで、処理Ｂ４が行う動作解析処理につ
いて、図６に示すフローチャートに従って、図３７〜図
４０を参照しながら説明する。図３７は処理途中で作成
される入力信号を表し、また図３８は出力信号を表し、
さらに図３９は内部レジスタ値を表す図である。

【０１４０】まず、処理Ｂ２で選択した解析対象命令と
しての入力命令ｉｎを入力したときの入力信号の変化
と、動作開始状態における入力信号値を用いて入力信号
を作成する（処理Ｃ１）。ここで、図３７において、３
７ａは入力命令ｉｎを入力する前の入力信号値、３７ｂ
は入力命令ｉｎを入力した最初のクロックにおける入力
信号値、３７ｃは２クロック目における入力信号値であ
る。また、入力信号ｄｉｎに対する引数の値は変数値で
与えられているので、１クロック目の入力信号３７ｂに
おける入力信号ｄｉｎの値は変数値ｉｎ＿ｄｉｎとな
る。

【０１４１】次に、入力信号値３７ａに対する動作開始
前の出力信号値３８ａを求め記録する（処理Ｃ２）。こ
こで、レジスタｄｏｕｔに対応する状態変数の値は変数
値ｄｏｕｔで与えられているので、出力信号ｄｏｕｔの
出力信号値はｄｏｕｔとなる。次に、入力信号値を３７
ｂに更新し（処理Ｃ３）、１クロック目の出力信号値３
８ｂを求め記録する（処理Ｃ４）。そして、処理Ｃ５で
は、現在の入力信号値と状態を調べるが、１クロック目
において入力命令ｉｎによる入力信号の変化が終了して
いないため、終了状態とみなさず処理Ｃ６に進む（処理
Ｃ５でＮＯ）。処理Ｃ６では、１クロックの動作を実行
し、内部レジスタ値を３９ｃに変更することによって状
態を変更し、処理Ｃ３に戻る。ただし、図３９において
３９ａ及び３９ｂは動作開始状態でのレジスタ値であ
る。

【０１４２】以後、処理Ｃ５で終了状態に到達するまで
処理Ｃ３から処理Ｃ６を繰り返すが、４クロック目の処
理Ｃ５では、入力命令ｉｎによる信号の変化は終了して
おり、また、入力信号値３７ｅとレジスタ値３９ｅのう
ち制御変数を調べると、第２の状態としての動作終了状
態に到達しているので、終了状態とみなして処理Ｃ７に
進む（処理Ｃ５でＹＥＳ）。処理Ｃ７では、論理回路ブ
ロックの動作終了状態を抽出し、処理Ｃ８に進む。

【０１４３】最後に、処理Ｃ８では、処理Ｃ２及び処理
Ｃ４で記録した図３８に示す出力信号系列と、図１３に
示す入出力命令情報Ａ２に含まれる出力命令に対応する
出力信号パターンとを比較する。ここでは、図３８にお
いて、３８ｄに示す３クロック目で出力信号ｏｅ２の値
が１になっている。このため、これが出力命令ｏｅ２に
対応しているので、出力命令ｏｅ２を抽出する。また、
出力命令ｏｅ２は出力信号ｄｏｕｔを引数としており、
ｄｏｕｔのタイミングを１と指定している。このため、
出力信号ｏｅ２の値が１となっているクロックの次のク
ロックである３８ｅに示す４クロック目で、出力信号ｄ
ｏｕｔの値が変数値ｉｎ＿ｄｉｎとなっているので、変
数値ｉｎ＿ｄｉｎを出力命令ｏｅ２の引数とする。な
お、この例での抽出結果は、後述する図４０における４
０ｂに該当している。

【０１４４】このように処理Ｂ４による動作解析処理が
行われた後、図４０に示す動作解析結果を得る。図４０
は、入力命令ｉｎに対する動作を解析した結果である。
図４０では、左から引数を含む入力命令、動作開始状態
のｄｏｕｔの値、命令実行後のｄｏｕｔの値、及び抽出
した出力命令列が記述されている。なお、ｉｎ、ｓｅ
ｌ、ｄｉｎ、ｆｆ＿ｉｎ、ｏｅ１、及びｏｅ２の各値
は、全ての動作開始状態と動作終了状態において共通の
値を持つため省略している。

【０１４５】そして、動作解析処理Ｂ４の終了後、処理
Ｂ５に進み、本実施形態において動作開始状態は１種類
であり、また入力命令も１種類であるため、処理Ｂ５か
ら処理Ｂ６に進み、さらに処理Ｂ７に進む。従って、最
後に処理Ｂ７では、図４０に示す動作解析結果をもと
に、動作モデルＡ３を作成する。ここでは、第２の実施
形態と同様に、図１９に示す動作モデルＡ３が作成され
る。なお、本実施形態では、結果として第２の実施形態
と同じ動作モデルＡ３が作成されたが、命令実行後の状
態変数の値は、必ずしも常に一致するわけではない。

【０１４６】以上のように、本実施形態に示した論理回
路モデルの変換方法によれば、ＲＴレベルで記述された
論理回路モデルを変換して抽象度の高い動作モデルＡ３
を作成する際に、出力命令を認識するために用いられる
出力信号に影響を与える状態変数を制御変数とする。そ
れとともに、制御変数の値の変更に影響を与える状態変
数をさらに制御変数に加える。そして、その制御変数の
全部または一部の値が同一となる状態を１つの状態とし
て扱って、動作開始状態と動作終了状態に設定する。こ
れにより、動作開始状態と動作終了状態の数を減らすこ
とができるため、動作開始状態などの選択や論理回路ブ
ロックのＲＴレベルモデルＡ１の動作の解析において必
要な演算量を減らすことができる。

【０１４７】なお、本実施形態では、応答信号や返値信
号を持たない論理回路ブロックに対して、ＲＴレベルモ
デルＡ１を動作モデルＡ３に変換する方法を示した。し
かしながら、ここで用いた動作開始状態と動作終了状態
の設定方法を第３の実施形態や第４の実施形態で示した
動作解析方法と組合せることによって、応答信号や返値
信号を持つ論理回路ブロックのＲＴレベルモデルＡ１を
動作モデルＡ３に変換する場合であっても、動作開始状
態と動作終了状態の数を減らすことができることは言う
までもない。

【０１４８】

【発明の効果】以上のように、本発明によると、論理回
路ブロックの入出力信号と抽象度の高い入出力命令との
関係を表す入出力命令情報を用いて、入力命令に対応す
る入力信号の変化に応じた論理回路ブロックの状態遷移
と出力信号の変化に対応する出力命令を抽出する。これ
により、ＲＴレベルモデルを時間概念を含まない動作モ
デルに変換することができる。その結果、システム全体
を構成する論理回路ブロックの一部にＲＴレベルで詳細
に記述されたモデルしか存在しないときであっても、変
換した動作モデルを用いることによって、システム全体
に対する時間概念を含まない高速なシミュレーションを
実施することがことができる。また、ＲＴレベルモデル
を動作モデルに変換するため、モデルの二重開発による
動作の不一致が発生することもない。

【図面の簡単な説明】

【図１】本発明の第１〜第５の実施形態における論理回
路モデルの変換方法の概略構成を表す図である。

【図２】本発明の第１、第２、及び第５の実施形態にお
けるＲＴレベルモデルの一例を表す図である。

【図３】本発明の第１の実施形態における入出力命令情
報の一例を表す図である。

【図４】本発明の第１〜第５の実施形態における論理回
路モデルの変換方法を表すフローチャートである。

【図５】本発明の第１〜第４の実施形態における動作開
始状態と動作終了状態を設定する方法を表すフローチャ
ートである。

【図６】本発明の第１、第２、及び第５の実施形態にお
ける論理回路モデルの動作解析方法を表すフローチャー
トである。

【図７】本発明の第１の実施形態における動作開始状態
と動作終了状態を表す図である。

【図８】本発明の第１の実施形態における入力命令ｉｎ
に対する入力信号を表す図である。

【図９】本発明の第１の実施形態における入力命令ｉｎ
に対する出力信号を表す図である。

【図１０】本発明の第１の実施形態における入力命令ｉ
ｎに対するレジスタ値を表す図である。

【図１１】本発明の第１の実施形態における入力命令ｉ
ｎに対する動作解析結果を表す図である。

【図１２】本発明の第１の実施形態における変換後の動
作モデルの一例を表す図である。

【図１３】本発明の第２及び第５の実施形態における入
出力命令情報の一例を表す図である。

【図１４】本発明の第２の実施形態における動作開始状
態と動作終了状態を表す図である。

【図１５】本発明の第２の実施形態における入力命令ｉ
ｎに対する入力信号を表す図である。

【図１６】本発明の第２の実施形態における入力命令ｉ
ｎに対する出力信号を表す図である。

【図１７】本発明の第２の実施形態における入力命令ｉ
ｎに対するレジスタ値を表す図である。

【図１８】本発明の第２の実施形態における入力命令ｉ
ｎに対する動作解析結果を表す図である。

【図１９】本発明の第２及び第５の実施形態における変
換後の動作モデルの一例を表す図である。

【図２０】本発明の第３の実施形態におけるＲＴレベル
モデルの一例を表す図である。

【図２１】本発明の第３の実施形態における入出力命令
情報の一例を表す図である。

【図２２】本発明の第３の実施形態における論理回路モ
デルの動作解析方法を表すフローチャートである。

【図２３】本発明の第３の実施形態における入力命令ｉ
ｎに対する入力信号を表す図である。

【図２４】本発明の第３の実施形態における入力命令ｉ
ｎに対する出力信号を表す図である。

【図２５】本発明の第３の実施形態における入力命令ｉ
ｎに対するレジスタ値を表す図である。

【図２６】本発明の第３の実施形態における動作解析結
果を表す図である。

【図２７】本発明の第３の実施形態における変換後の動
作モデルの一例を表す図である。

【図２８】本発明の第４の実施形態におけるＲＴレベル
モデルの一例を表す図である。

【図２９】本発明の第４の実施形態における入出力命令
情報の一例を表す図である。

【図３０】本発明の第４の実施形態における論理回路モ
デルの動作解析方法を表すフローチャートである。

【図３１】本発明の第４の実施形態における入力命令ｏ
ｕｔに対する入力信号を表す図である。

【図３２】本発明の第４の実施形態における入力命令ｏ
ｕｔに対する出力信号を表す図である。

【図３３】本発明の第４の実施形態における入力命令ｏ
ｕｔに対するレジスタ値を表す図である。

【図３４】本発明の第４の実施形態における動作解析結
果を表す図である。

【図３５】本発明の第４の実施形態における変換後の動
作モデルの一例を表す図である。

【図３６】本発明の第５の実施形態における状態変数か
ら制御変数を選択する方法を表すフローチャートであ
る。

【図３７】本発明の第５の実施形態における入力命令ｉ
ｎに対する入力信号を表す図である。

【図３８】本発明の第５の実施形態における入力命令ｉ
ｎに対する出力信号を表す図である。

【図３９】本発明の第５の実施形態における入力命令ｉ
ｎに対するレジスタ値を表す図である。

【図４０】本発明の第５の実施形態における動作解析結
果を表す図である。

【符号の説明】

１ ＲＴレベルモデルを動作モデルに変換する記述
変換手段 Ａ１ 論理回路ブロックのＲＴレベルモデル Ａ２ 論理回路ブロックの入出力命令情報 Ａ３ 論理回路ブロックの動作モデル Ｂ１ 動作開始状態と動作終了状態を設定する処理 Ｂ４ ＲＴレベルモデルの動作を解析する処理 Ｂ７ 動作モデルを作成する処理 Ｆ２ 入力命令がない状態での入力信号値を固定する
処理 Ｆ３ 定常状態を抽出する処理 Ｆ４ 定常状態を動作開始状態と動作終了状態に設定
する処理 Ｃ１、Ｃ３ 論理回路ブロックの入力信号値を記録する
処理 Ｃ２、Ｃ４、Ｄ１、Ｄ３ 論理回路ブロックの出力信号
値を記録する処理 Ｃ５、Ｄ６、Ｅ８ 論理回路ブロックの動作の解析の終
了状態を判定する処理 Ｃ６、Ｄ７、Ｅ９ 論理回路ブロックの１クロックの動
作を実行する処理 Ｃ７、Ｄ８、Ｅ１０ 論理回路ブロックの動作終了状態
を抽出する処理 Ｃ８ 出力信号の時系列から出力命令を抽出する処理 Ｄ２、Ｅ２ クロック毎の入力信号を作成する処理 Ｄ４、Ｅ７ クロック毎に出力命令の発生を認識する処
理 Ｄ５ 入力命令に対する応答信号の発生を調べる処理 Ｅ４ 動作解析可能か否かを判定する処理 Ｅ１１ 入力命令に対する返値信号値の値を抽出する処
理 Ｇ１ 制御出力信号に寄与する状態変数を制御変数と
する処理 Ｇ４ 制御変数の値の変更に寄与する状態変数を制御
変数に加える処理

Claims (11)

【特許請求の範囲】
1. 【請求項１】 論理回路ブロックのＲＴレベルモデルを
   抽象度の高い動作モデルに変換する方法であって、 前記論理回路ブロックの入出力命令と前記入出力命令に
   対応する入出力信号との関係を表す入出力命令情報を用
   いて、 前記論理回路ブロックが有する１または２以上の状態を
   動作開始状態及び動作終了状態として設定する状態設定
   ステップと、 前記入出力命令情報に含まれる入力命令のうちから選択
   したいずれか１の解析対象命令に対応する入力信号を、
   前記動作開始状態のうちから選択したいずれか１の第１
   の状態にある前記ＲＴレベルモデルに与え、前記入力信
   号を変化させた場合において、前記ＲＴレベルモデルが
   前記動作終了状態のいずれか１の第２の状態に到達する
   まで、前記ＲＴレベルモデルを解析して前記論理回路ブ
   ロックの動作を抽出する動作解析ステップとを有し、 前記動作開始状態と前記入出力命令情報に含まれる入力
   命令との組合せの一部または全部に対して、前記動作解
   析ステップを繰り返し行い、抽出した動作をもとにし
   て、前記論理回路ブロックの前記動作モデルを作成する
   ことを特徴とする論理回路モデルの変換方法。
2. 【請求項２】 請求項１記載の論理回路モデルの変換方
   法において、 前記動作解析ステップは、 前記解析対象命令に対応する１または２以上の入力信号
   の時系列を作成するステップと、 前記ＲＴレベルモデルが前記第２の状態に到達するま
   で、前記入力信号の時系列を用いて前記ＲＴレベルモデ
   ルを実行するとともに、出力信号の時系列を作成するス
   テップと、 前記ＲＴレベルモデルが前記第２の状態に到達したとき
   のその状態を、前記論理回路ブロックの動作として抽出
   するステップと、 前記出力信号の時系列と、前記入出力命令情報に含まれ
   る出力命令と前記出力命令に対応する出力信号の関係と
   を比較して、前記出力命令を前記入出力命令情報に含ま
   れる出力命令の中から、前記論理回路ブロックの動作と
   して抽出するステップとを有することを特徴とする論理
   回路モデルの変換方法。
3. 【請求項３】 請求項１記載の論理回路モデルの変換方
   法において、 前記動作解析ステップは、 前記解析対象命令に含まれる入力命令に対応する１また
   は２以上の入力信号を１クロック毎に作成するステップ
   と、 前記入力信号を用いて前記ＲＴレベルモデルを１クロッ
   ク毎に実行するとともに、出力信号を１クロック毎に作
   成するステップと、 前記ＲＴレベルモデルが前記第２の状態に到達したとき
   のその状態を、前記論理回路ブロックの動作として１ク
   ロック毎に抽出するステップと、 前記出力信号と、前記入出力命令情報に含まれる出力命
   令と前記出力命令に対応する出力信号の関係とを比較し
   て、前記出力命令を前記入出力命令情報に含まれる出力
   命令の中から、前記論理回路ブロックの動作として１ク
   ロック毎に抽出するステップとを有することを特徴とす
   る論理回路モデルの変換方法。
4. 【請求項４】 請求項３記載の論理回路モデルの変換方
   法において、 前記入出力命令情報は、出力命令として、出力信号とと
   もに入力信号が応答信号として関連付けられた応答信号
   付出力命令を含み、 前記動作解析ステップは、一のクロックにおいて前記応
   答信号付出力命令を抽出したとき、前記入出力命令情報
   の中で前記応答信号に対して指定したタイミングで、前
   記応答信号付出力命令に対応する前記応答信号の値を変
   化させて前記応答信号を作成して、前記一のクロックよ
   りも後のクロックにおける前記ＲＴレベルモデルの動作
   を解析することを特徴とする論理回路モデルの変換方
   法。
5. 【請求項５】 請求項３記載の論理回路モデルの変換方
   法において、 前記入出力命令情報は、入力命令として、入力信号とと
   もに出力信号が応答信号として関連付けられた応答信号
   付入力命令を含み、 前記動作解析ステップは、一のクロックにおいて前記応
   答信号付入力命令を前記解析対象命令とするとき、前記
   入出力命令情報の中で前記応答信号に対して指定したタ
   イミングで変化する、前記応答信号付入力命令に対応す
   る前記応答信号の値をもとに前記応答信号を作成して、
   前記一のクロックよりも後のクロックにおける前記ＲＴ
   レベルモデルの動作を解析することを特徴とする論理回
   路モデルの変換方法。
6. 【請求項６】 請求項３記載の論理回路モデルの変換方
   法において、 前記入出力命令情報は、出力命令として、入力信号が返
   値として関連付けられた返値付出力命令を含み、 前記動作解析ステップは、前記返値付出力命令の返値と
   なる入力信号の値に依存して前記ＲＴレベルモデルの動
   作が変化するとき、前記返値として取り得る値の組合せ
   毎に、前記ＲＴレベルモデルの動作を解析することを特
   徴とする論理回路モデルの変換方法。
7. 【請求項７】 請求項３記載の論理回路モデルの変換方
   法において、 前記入出力命令情報は、入力命令として、出力信号が返
   値として関連付けられた返値付入力命令を含み、 前記動作解析ステップは、前記入出力命令情報の中で前
   記出力信号に対して指定されたクロックの前記出力信号
   の値を、前記返値付入力命令の前記返値として抽出し
   て、前記ＲＴレベルモデルの動作を解析することを特徴
   とする論理回路モデルの変換方法。
8. 【請求項８】 請求項１記載の論理回路モデルの変換方
   法において、 前記状態設定ステップは、 前記論理回路ブロックが入力命令を受け付けていないと
   き、前記論理回路ブロックの状態が変化しない状態また
   は有限個の状態を繰り返す状態を、前記動作開始状態及
   び前記動作終了状態として設定することを特徴とする論
   理回路モデルの変換方法。
9. 【請求項９】 請求項１記載の論理回路モデルの変換方
   法において、 前記状態設定ステップは、 前記論理回路ブロックの状態を特定する状態変数のう
   ち、前記入出力命令情報に含まれる出力命令を認識する
   ために用いられる出力信号に影響を与える前記状態変数
   を、制御変数として選択し、選択した前記制御変数が特
   定する１または２以上の状態を、前記動作開始状態及び
   前記動作終了状態として設定することを特徴とする論理
   回路モデルの変換方法。
10. 【請求項１０】 請求項９記載の論理回路モデルの変換
    方法において、 前記状態設定ステップは、 前記制御変数が特定する１または２以上の状態のうち、
    前記制御変数の全部または一部の値が同一となる状態は
    まとめて１の状態として扱い、前記動作開始状態及び前
    記動作終了状態を設定することを特徴とする論理回路モ
    デルの変換方法。
11. 【請求項１１】 請求項９記載の論理回路モデルの変換
    方法において、 前記状態設定ステップは、 前記ＲＴレベルモデルの１クロックの動作において、前
    記制御変数の更新に寄与する前記状態変数があるとき、
    その状態変数を前記制御変数としてさらに選択すること
    を特徴とする論理回路モデルの変換方法。