(57)【要約】【課題】置き換え前のＩＰの入出力信号と置き換え後のＩＰの入出力信号とを相互に変換するインタフェース変換回路を容易に設計できるようにすることを目的とする。【解決手段】装置記憶部１９０は、置き換え前のＩＰの波形パターンを示す信号ファイル１９１と置き換え後のＩＰの波形パターンを示す信号ファイル１９２とを記憶する。信号関係判定部１３０は、信号ファイル１９１が示す置き換え前の入出力信号の波形パターンと信号ファイル１９２が示す置き換え後の入出力信号の波形パターンとを比較し、置き換え前の入出力信号の波形パターンと置き換え後の入出力信号の波形パターンとの関係性を判定し、信号関係ファイル１９３を生成する。ＩＦ変換回路設計部１５０は、信号関係ファイル１９３に基づいてインタフェース変換回路の設計ファイルを生成する。【選択図】図１
2015035025.tif 000002
【特許請求の範囲】
【請求項１】
置き換え前の電子回路の入出力信号を表す置き換え前の信号パターンと、前記置き換え前の電子回路の代わりに新たに用いられる置き換え後の電子回路の入出力信号を表す置き換え後の信号パターンと、を記憶する信号パターン記憶部と、
前記信号パターン記憶部に記憶される前記置き換え前の信号パターンと前記信号パターン記憶部に記憶される前記置き換え後の信号パターンとを比較し、比較結果に基づいて前記置き換え前の信号パターンと前記置き換え後の信号パターンとの信号パターンの関係を判定する信号関係判定部と、
前記信号関係判定部によって判定された前記信号パターンの関係に基づいて、前記置き換え前の信号パターンで表される信号を前記置き換え後の信号パターンで表される信号に変換し、または、前記置き換え後の信号パターンで表される信号を前記置き換え前の信号パターンで表される信号に変換する変換回路に関する設計ファイルを生成する変換回路設計部と
を備えることを特徴とする変換回路設計装置。
【請求項２】
前記信号パターン記憶部は、複数の置き換え前の信号パターンと複数の置き換え後の信号パターンとを記憶し、
前記信号関係判定部は、前記複数の置き換え前の信号パターンと前記複数の置き換え後の信号パターンとのうちから指定される信号パターンを除いて、前記複数の置き換え前の信号パターンと前記複数の置き換え後の信号パターンとの信号パターンの関係を判定する
ことを特徴とする請求項１記載の変換回路設計装置。
【請求項３】
前記信号関係判定部は、前記置き換え前の信号パターンと前記置き換え後の信号パターンとの間に、一方の信号パターンのビット値を反転させると両方の信号パターンが一致する信号関係を意味する反転関係があるか否かを判定し、
前記変換回路設計部は、前記信号関係判定部によって前記置き換え前の信号パターンと前記置き換え後の信号パターンとの間に反転関係があると判定された場合、信号パターンのビット値を反転する設計データを含めて前記設計ファイルを生成する
ことを特徴とする請求項１または請求項２記載の変換回路設計装置。
【請求項４】
前記信号関係判定部は、前記置き換え前の信号パターンと二つ以上の置き換え後の信号パターンとの間に、前記二つ以上の置き換え後の信号パターンを論理演算することによって得られる信号パターンが前記置き換え前の信号パターンと一致する信号関係を意味する論理演算関係があるか否かを判定し、
前記変換回路設計部は、前記信号関係判定部によって前記置き換え前の信号パターンと前記二つ以上の置き換え後の信号パターンとの間に論理演算関係があると判定された場合、二つ以上の信号パターンを論理演算することによって一つの信号パターンを生成する設計データを含めて前記設計ファイルを生成する
ことを特徴とする請求項１から請求項３のいずれかに記載の変換回路設計装置。
【請求項５】
前記変換回路設計装置は信号関係編集部を備え、
前記信号関係判定部は、前記信号パターンの関係を表す信号関係データを生成し、
前記信号関係編集部は、前記信号関係データの編集を命令する編集命令に従って前記信号関係データを編集し、
前記変換回路設計部は、前記信号関係編集部によって編集された前記信号関係データに基づいて前記設計ファイルを生成する
ことを特徴とする請求項１から請求項４のいずれかに記載の変換回路設計装置。
【請求項６】
前記変換回路編集部は、前記信号関係データに基づいて前記信号パターンの関係を表す信号関係図を表示し、表示した前記信号関係図に対する前記編集命令に従って前記信号関係データを編集する
ことを特徴とする請求項５記載の変換回路設計装置。
【請求項７】
前記信号パターン記憶部は、複数の置き換え前の信号パターンと複数の置き換え後の信号パターンとを記憶し、
前記変換回路設計部は、前記複数の置き換え前の信号パターンのうち前記複数の置き換え後の信号パターンのいずれの信号パターンとも特定の関係を有さない信号パターンで表される信号を処理するためのブラックボックスを含めて前記設計ファイルを生成する
ことを特徴とする請求項１から請求項６のいずれかに記載の変換回路設計装置。
【請求項８】
請求項１から請求項７のいずれかに記載の変換回路設計装置としてコンピュータを機能させるための変換回路設計プログラム。
【請求項９】
信号パターン記憶部と、信号関係判定部と、変換回路設計部とを備える変換回路設計装置を用いる変換回路設計方法であって、
前記信号パターン記憶部は、置き換え前の電子回路の入出力信号を表す置き換え前の信号パターンと、前記置き換え前の電子回路の代わりに新たに用いられる置き換え後の電子回路の入出力信号を表す置き換え後の信号パターンと、を記憶する記憶部であり、
前記信号関係判定部が、前記信号パターン記憶部に記憶される前記置き換え前の信号パターンと前記信号パターン記憶部に記憶される前記置き換え後の信号パターンとを比較し、比較結果に基づいて前記置き換え前の信号パターンと前記置き換え後の信号パターンとの信号パターンの関係を判定し、
前記変換回路設計部が、前記信号関係判定部によって判定された前記信号パターンの関係に基づいて、前記置き換え前の信号パターンで表される信号を前記置き換え後の信号パターンで表される信号に変換し、または、前記置き換え後の信号パターンで表される信号を前記置き換え前の信号パターンで表される信号に変換する変換回路に関する設計ファイルを生成する
ことを特徴とする変換回路設計方法。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、インタフェースの変換回路を設計する技術に関するものである。
【背景技術】
【０００２】
ＬＳＩまたはＦＰＧＡなどの集積回路を構成する一部の高機能回路を別のものに置き換える際、置き換え前の高機能回路のインタフェースと置き換え後の高機能回路のインタフェースとの互換性を確保する必要がある。そこで、置き換え前の高機能回路用の入出力信号と置き換え後の高機能回路用の入出力信号とを相互に変換するインタフェース変換回路が用いられる。
ＬＳＩはＬａｒｇｅ  Ｓｃａｌｅ  Ｉｎｔｅｇｒａｔｉｏｎの略称であり、ＦＰＧＡはＦｉｅｌｄ  Ｐｒｏｇｒａｍｍａｂｌｅ  Ｇａｔｅ  Ａｒｒａｙの略称である。
高機能回路および高機能回路の設計ファイルは「ＩＰ（Ｉｎｔｅｌｌｅｃｔｕａｌ  Ｐｒｏｐｅｒｔｙ）」と呼ばれる。
【０００３】
従来、ユーザは、インタフェース変換回路を設計するために置き換え前後の高機能回路のそれぞれの入出力信号をシミュレーションしている。そして、ユーザは、シミュレーションによって得られた入出力信号の波形情報を適宜に変更し、変更後の波形情報をツールに入力することによってインタフェース変換回路の設計ファイルを生成している。
しかし、高機能回路の入出力信号の数が多い場合、入出力信号の波形情報を適宜に変更するためには多くの時間および労力を要する。
【先行技術文献】
【特許文献】
【０００４】
【特許文献１】特開２００１−１４２９２３号公報
【特許文献２】特開２００４−２６５４３５号公報
【発明の概要】
【発明が解決しようとする課題】
【０００５】
本発明は、置き換え前の電子回路用の入出力信号と置き換え後の電子回路用の入出力信号とを相互に変換する変換回路を容易に設計できるようにすることを目的とする。
【課題を解決するための手段】
【０００６】
本発明の変換回路設計装置は、
置き換え前の電子回路の入出力信号を表す置き換え前の信号パターンと、前記置き換え前の電子回路の代わりに新たに用いられる置き換え後の電子回路の入出力信号を表す置き換え後の信号パターンと、を記憶する信号パターン記憶部と、
前記信号パターン記憶部に記憶される前記置き換え前の信号パターンと前記信号パターン記憶部に記憶される前記置き換え後の信号パターンとを比較し、比較結果に基づいて前記置き換え前の信号パターンと前記置き換え後の信号パターンとの信号パターンの関係を判定する信号関係判定部と、
前記信号関係判定部によって判定された前記信号パターンの関係に基づいて、前記置き換え前の信号パターンで表される信号を前記置き換え後の信号パターンで表される信号に変換し、または、前記置き換え後の信号パターンで表される信号を前記置き換え前の信号パターンで表される信号に変換する変換回路に関する設計ファイルを生成する変換回路設計部とを備える。
【発明の効果】
【０００７】
本発明によれば、置き換え前の電子回路用の入出力信号と置き換え後の電子回路用の入出力信号とを相互に変換する変換回路を容易に設計することができる。
【図面の簡単な説明】
【０００８】
【図１】実施の形態１におけるインタフェース変換回路設計装置１００の機能構成図である。
【図２】実施の形態１におけるＩＰ（高機能回路）の置き換え例を示す図である。
【図３】実施の形態１におけるＩＰ（高機能回路）の置き換え例を示す図である。
【図４】実施の形態１におけるインタフェース変換回路設計方法を示すフローチャートである。
【図５】実施の形態１における信号ファイル１９１・１９２の一例を示す図である。
【図６】実施の形態１における信号ファイル１９１・１９２の一例を示す図である。
【図７】実施の形態１における信号関係ファイル１９３の一例を示す図である。
【図８】実施の形態１における信号関係ファイル１９３の一例を示す図である。
【図９】実施の形態１における信号関係判定部１３０の処理の具体例を示すフローチャートである。
【図１０】実施の形態１における信号関係図ファイル１９４の一例を示す図である。
【図１１】実施の形態１における編集後の信号関係ファイル１９３および信号関係図ファイル１９４の一例を示す図である。
【図１２】実施の形態１における編集後の信号関係ファイル１９３および信号関係図ファイル１９４の一例を示す図である。
【図１３】実施の形態１におけるインタフェース変換回路設計装置１００のハードウェア構成の一例を示す図である。
【発明を実施するための形態】
【０００９】
実施の形態１．
置き換え前の電子回路用の入出力信号と置き換え後の電子回路用の入出力信号とを相互に変換するインタフェース変換回路を容易に設計する形態について説明する。
【００１０】
図１は、実施の形態１におけるインタフェース変換回路設計装置１００の機能構成図である。
実施の形態１におけるインタフェース変換回路設計装置１００の機能構成について、図１に基づいて説明する。
【００１１】
インタフェース変換回路設計装置１００（変換回路設計装置の一例）は、インタフェース変換回路（以下、ＩＦ変換回路という）の設計ファイルを生成する装置である。
ＩＦ変換回路は、集積回路を構成する一部の高機能回路（電子回路の一例）を別のものに置き換える際に、置き換え前の高機能回路のインタフェースと置き換え後の高機能回路のインタフェースとの互換性を確保するために用いられる。
例えば、ＩＦ変換回路は、置き換え後の高機能回路からの出力信号を置き換え前の高機能回路の出力形式に変換する。また、ＩＦ変換回路は、置き換え前の高機能回路に対する入力信号を置き換え後の高機能回路の入力形式に変換する。
高機能回路は置き換える電子回路の一例であり、ＩＦ変換回路は一般の電子回路の入出力信号を変換するものであっても構わない。
【００１２】
高機能回路は「ＩＰ（Ｉｎｔｅｌｌｅｃｔｕａｌ  Ｐｒｏｐｅｒｔｙ）」とも呼ばれる。以下、高機能回路を「ＩＰ」という。
【００１３】
図２、図３は、実施の形態１におけるＩＰ（高機能回路）の置き換え例を示す図である。
実施の形態１におけるＩＰの置き換え例について、図２および図３に基づいて説明する。
【００１４】
図２は、ユーザロジック回路２２０（電子回路の一例）に信号を出力するａ社のＩＰ（ＩＰａ２１０）をｂ社のＩＰ（ＩＰｂ２１１）に置き換える例を示している。
この場合、ＩＰｂ２１１の出力信号をＩＰａ２１０の出力信号の形式に変換するＩＦ変換回路２３０が用いられる。
【００１５】
図３は、ユーザロジック回路２２０から信号を入力するＩＰａ２１０をＩＰｂ２１１に置き換える例を示している。
この場合、ＩＰａ２１０に対する入力信号をＩＰｂ２１１の入力信号の形式に変換するＩＦ変換回路２３０が用いられる。
【００１６】
図１に戻り、インタフェース変換回路設計装置１００の説明を続ける。
インタフェース変換回路設計装置１００は、ＩＰデータ入力部１１０と、信号データ生成部１２０と、信号関係判定部１３０と、信号関係編集部１４０と、ＩＦ変換回路設計部１５０と、装置記憶部１９０（信号パターン記憶部の一例）とを備える。
【００１７】
ＩＰデータ入力部１１０は、置き換え前のＩＰの起動・終了信号データ１０１と、置き換え後のＩＰの起動・終了信号データ１０２と、置き換え前のＩＰ設計ファイル１０３と、置き換え後のＩＰ設計ファイル１０４とを入力する。
起動・終了信号データ（１０１、１０２）は起動信号データおよび終了信号データを意味する。起動信号データはＩＰを起動するための信号（起動信号または起点信号ともいう）の波形パターンを示し、終了信号データはＩＰの一連の動作（シーケンスともいう）が終了したことを意味する信号（終了信号または終点信号ともいう）の波形パターンを示す。
ＩＰ設計ファイル（１０３、１０４）は、ＩＰの設計情報（例えば、回路構成）を示す。例えば、ＩＰ設計ファイルはＨＤＬ（Ｈａｒｄｗａｒｅ  Ｄｅｓｃｒｉｐｔｉｏｎ  Ｌａｎｇｕａｇｅ）で記述される。
【００１８】
信号データ生成部１２０は、置き換え前のＩＰの起動・終了信号データ１０１およびＩＰ設計ファイル１０３を用いて、置き換え前のＩＰの信号ファイル１９１を生成する。
信号データ生成部１２０は、置き換え後のＩＰの起動・終了信号データ１０２およびＩＰ設計ファイル１０４を用いて、置き換え後のＩＰの信号ファイル１９２を生成する。
信号ファイル（１９１、１９２）は、起動信号、終了信号または状態信号などの入出力信号のデータを含む。状態信号データは、ＩＰの内部状態を表す状態信号の波形パターンを示す。
信号ファイルを生成する方法は、従来のフォーマル検証ツールによる生成方法と同様である。
【００１９】
信号関係判定部１３０は、置き換え前のＩＰと置き換え後のＩＰとのそれぞれの信号ファイル（１９１、１９２）に基づいて、置き換え前のＩＰの信号データと置き換え後のＩＰの信号データとの関係を示す信号関係ファイル１９３（信号関係データの一例）を生成する。
【００２０】
信号関係編集部１４０は、信号関係ファイル１９３に基づいて、置き換え前のＩＰの信号データと置き換え後のＩＰの信号データとの関係図を表す信号関係図ファイル１９４を生成する。
また、信号関係編集部１４０は、信号関係図ファイル１９４を表示し、ユーザの指示に従って信号関係ファイル１９３および信号関係図ファイル１９４を編集する。
【００２１】
ＩＦ変換回路設計部１５０は、信号関係ファイル１９３または信号関係図ファイル１９４に基づいて、ＩＦ変換回路設計ファイル１９９を生成する。
ＩＦ変換回路設計ファイル１９９は、ＩＦ変換回路の設計情報（例えば、回路構成）を示す。例えば、ＩＦ変換回路設計ファイル１９９はＨＤＬで記述される。
【００２２】
装置記憶部１９０は、インタフェース変換回路設計装置１００が使用、生成または入出力するデータを記憶する。
例えば、装置記憶部１９０は、起動・終了信号データ（１０１、１０２）、ＩＰ設計ファイル（１０３、１０４）、信号ファイル（１９１、１９２）、信号関係ファイル１９３、信号関係図ファイル１９４およびＩＦ変換回路設計ファイル１９９を記憶する。
【００２３】
図４は、実施の形態１におけるインタフェース変換回路設計方法を示すフローチャートである。
実施の形態１におけるインタフェース変換回路設計方法について、図４に基づいて説明する。
【００２４】
Ｓ１１０において、ユーザは、置き換え前のＩＰの起動・終了信号データ１０１およびＩＰ設計ファイル１０３をインタフェース変換回路設計装置１００に入力する。さらに、ユーザは、置き換え後のＩＰの起動・終了信号データ１０２およびＩＰ設計ファイル１０４をインタフェース変換回路設計装置１００に入力する。
このとき、インタフェース変換回路設計装置１００のＩＰデータ入力部１１０は、置き換え前のＩＰの起動・終了信号データ１０１およびＩＰ設計ファイル１０３を入力する。また、ＩＰデータ入力部１１０は、置き換え後のＩＰの起動・終了信号データ１０２およびＩＰ設計ファイル１０４を入力する。
Ｓ１１０の後、処理はＳ１２０に進む。
【００２５】
Ｓ１２０において、信号データ生成部１２０は、Ｓ１１０で入力された置き換え前のＩＰの起動・終了信号データ１０１およびＩＰ設計ファイル１０３を用いて、置き換え前のＩＰの信号ファイル１９１を生成する（図５の（１）参照）。
さらに、信号データ生成部１２０は、Ｓ１１０で入力された置き換え後のＩＰの起動・終了信号データ１０２およびＩＰ設計ファイル１０４を用いて、置き換え後のＩＰの信号ファイル１９２を生成する（図５の（２）参照）。
信号ファイル（１９１、１９２）を生成する方法は、従来のフォーマル検証ツールによる生成方法と同様である。
従来のフォーマル検証ツールによる生成方法は、ＩＰ設計ファイルに基づいてＩＰをシミュレーションし、起動・終了信号データを用いてシミュレーションのＩＰを動作させる。これにより、ＩＰの信号ファイルが生成される。
【００２６】
不要な信号データが有る場合、ユーザはその不要な信号データをインタフェース変換回路設計装置１００に指定してもよい。
不要な信号データが指定された場合、信号データ生成部１２０は不要な信号データを除外して信号ファイル（１９１、１９２）を生成する（図６参照）。
これにより、生成する必要がある信号データの数が減少するため、信号データ生成部１２０の処理時間を短縮させることができる。
Ｓ１２０の後、処理はＳ１３０に進む。
【００２７】
図５、図６は、実施の形態１における信号ファイル１９１・１９２の一例を示す図である。
実施の形態１における信号ファイル１９１・１９２の一例について、図５および図６に基づいて説明する。
【００２８】
例えば、信号ファイル（１９１、１９２）は信号毎に「信号名」「信号の種類」「波形パターン（信号パターン）」を含んでいる。
【００２９】
図５の（１）は置き換え前のＩＰの信号ファイル１９１の一例である。この置き換え前のＩＰの信号ファイル１９１は、起動信号「ｓｉｇｎａｌ＿ａａ」およびその他の信号の波形パターンを示している。各波形パターンは６つの信号値（ビット値）から構成されている。つまり、置き換え前のＩＰの各信号は６サイクルの信号長を有している。
図５の（２）は置き換え後のＩＰの信号ファイル１９２の一例を示している。この置き換え後のＩＰの信号ファイル１９２は、起動信号「ｓｉｇｎａｌ＿ｂａ」およびその他の信号の波形パターンを示している。各波形パターンは９つの信号値から構成されている。つまり、置き換え後のＩＰの各信号は９サイクルの信号長を有している。
【００３０】
図６の（１）は不要な信号データ「ｓｉｇｎａｌ＿ａｚ」が指定された場合に生成される置き換え前のＩＰの信号ファイル１９１の一例を示している。この置き換え前のＩＰの信号ファイル１９１は不要な信号データ「ｓｉｇｎａｌ＿ａｚ」を含んでいない。
図６の（２）は不要な信号データ「ｓｉｇｎａｌ＿ｂｘ」が指定された場合に生成される置き換え後のＩＰの信号ファイル１９２の一例を示している。この置き換え後のＩＰの信号ファイル１９２は不要な信号データ「ｓｉｇｎａｌ＿ｂｘ」を含んでいない。
【００３１】
図４に戻り、Ｓ１３０から説明を続ける。
Ｓ１３０において、信号関係判定部１３０は、置き換え前のＩＰの信号ファイル１９１に含まれる信号データと置き換え後のＩＰの信号ファイル１９２に含まれる信号データとのそれぞれの波形パターンをパターンマッチング等のアルゴリズムによって比較する。
そして、信号関係判定部１３０は、比較結果（信号関係データの一例）を示す信号関係ファイル１９３を生成する。つまり、信号関係判定部１３０は、置き換え前のＩＰの信号データと置き換え後のＩＰの信号データとの波形パターンの関係性を示す信号関係ファイル１９３を生成する（図７参照）。
【００３２】
このとき、信号関係判定部１３０は、置き換え前のＩＰの信号データと置き換え後のＩＰの信号データとを信号の種類に応じて分類し、信号の種類が同じである置き換え前のＩＰの信号データと置き換え後のＩＰの信号データとを比較してもよい。例えば、信号関係判定部１３０は、置き換え前のＩＰの起動信号と置き換え後のＩＰの起動信号とを比較し、置き換え前のＩＰの終了信号と置き換え後のＩＰの終了信号とを比較する。また、信号関係判定部１３０は、置き換え前のＩＰの各状態信号と置き換え後のＩＰの各状態信号とを総当たりで比較する。
また、信号関係判定部１３０は、置き換え前のＩＰの信号データと置き換え後のＩＰの信号データとを分類せずに総当たりで比較しても構わない。
【００３３】
信号関係判定部１３０は、置き換え前のＩＰの信号ファイル１９１と置き換え後のＩＰの信号ファイル１９２とをディスプレイに表示し、比較の対象外にする信号データをユーザに指定させてもよい。
比較の対象外にする信号データが指定された場合、信号関係判定部１３０は、指定された信号データを除外して信号データの比較を行い、信号関係ファイル１９３を生成する（図８参照）。
これにより、比較する必要がある信号データの数が減少するため、信号関係判定部１３０の処理時間を短縮することができる。
Ｓ１３０の後、処理はＳ１４０に進む。
【００３４】
図７、図８は、実施の形態１における信号関係ファイル１９３の一例を示す図である。
実施の形態１における信号関係ファイル１９３の一例について、図７および図８に基づいて説明する。
【００３５】
図７は、図６に示した置き換え前のＩＰの信号ファイル１９１と図６に示した置き換え後のＩＰの信号ファイル１９２とに基づいて生成される信号関係ファイル１９３を示している。
例えば、置き換え前のＩＰの起動信号「ｓｉｇｎａｌ＿ａａ」（図６参照）の１サイクル目の信号値は「１（Ｈｉｇｈ）」であり、残りのサイクルの信号値は「０（Ｌｏｗ）」である。一方、置き換え後のＩＰの起動信号「ｓｉｇｎａｌ＿ｂａ」（図６参照）の１サイクル目の信号値は「０」であり、残りのサイクルの信号値は「１」である。つまり、サイクル数（信号長）を考慮しなければ、置き換え前のＩＰの起動信号「ｓｉｇｎａｌ＿ａａ」の信号値を反転させると、置き換え後のＩＰの起動信号「ｓｉｇｎａｌ＿ｂａ」が得られる。したがって、置き換え前のＩＰの起動信号「ｓｉｇｎａｌ＿ａａ」と置き換え後のＩＰの起動信号「ｓｉｇｎａｌ＿ｂａ」とは「反転」の関係にある（図７参照）。
同様に、置き換え前のＩＰの終了信号「ｓｉｇｎａｌ＿ａｂ」と置き換え後のＩＰの終了信号「ｓｉｇｎａｌ＿ｂｂ」とは「反転」の関係にある（図６、図７参照）。
また、置き換え前のＩＰの状態信号「ｓｉｇｎａｌ＿ａｃ」「ｓｉｇｎａｌ＿ａｙ」は置き換え後のＩＰのいずれの状態信号とも特定の関係性が見出されない。このため、置き換え前のＩＰの状態信号「ｓｉｇｎａｌ＿ａｃ」「ｓｉｇｎａｌ＿ａｙ」に対応する置き換え後のＩＰの状態信号は無い（図６、図７参照）。
【００３６】
図８は、比較の対象外にする信号データ「ｓｉｇｎａｌ＿ａｙ」が指定された場合に生成される信号関係ファイル１９３を示している。この信号関係ファイル１９３は比較の対象外にする信号データ「ｓｉｇｎａｌ＿ａｙ」の比較結果を含んでいない。
【００３７】
図９は、実施の形態１における信号関係判定部１３０の処理の具体例を示すフローチャートである。
実施の形態１における信号関係判定部１３０の処理の具体例について、図９に基づいて説明する。
【００３８】
例えば、信号関係判定部１３０は、置き換え前のＩＰの信号ファイル１９１に含まれる信号データ毎、および、置き換え後のＩＰの信号ファイル１９２に含まれる信号データ毎に、図９に示す信号関係判定処理を実行する。
以下、信号ファイル１９１から選択された置き換え前のＩＰの信号データを信号ファイル１９２に含まれる置き換え後のＩＰの各信号データと比較する場合について説明する。
なお、信号ファイル１９２から選択された置き換え後のＩＰの信号データを信号ファイル１９１に含まれる置き換え前のＩＰの各信号データと比較する場合、置き換え前のＩＰの信号データと置き換え後のＩＰの信号データとを入れ替えて以下の処理を行えばよい。
【００３９】
Ｓ１３１において、信号関係判定部１３０は、置き換え前の信号データの波形パターンが置き換え後のいずれかの信号データの波形パターンと一致するか否かを判定する。つまり、信号関係判定部１３０は、置き換え前のＩＰの信号データと「一致」の関係を有する置き換え後のＩＰの信号データが有るか否かを判定する。
但し、波形パターンのサイクル数（信号長）については無視しても構わない。つまり、置き換え前の信号データのサイクル数と置き換え後の信号データのサイクル数とが一致しなくても構わない。以降の処理においても波形パターンのサイクル数については無視しても構わない。
置き換え前のＩＰの信号データと「一致」の関係を有する置き換え後のＩＰの信号データが有る場合（ＹＥＳ）、その置き換え前のＩＰの信号データに関する信号関係判定処理は終了する。
置き換え前のＩＰの信号データと「一致」の関係を有する置き換え後のＩＰの信号データが無い場合（ＮＯ）、処理はＳ１３２に進む。
【００４０】
Ｓ１３２において、信号関係判定部１３０は、置き換え前の信号データの波形パターンが置き換え後のいずれかの信号データの反転した波形パターンと一致するか否かを判定する。つまり、信号関係判定部１３０は、置き換え前のＩＰの信号データと「反転」の関係を有する置き換え後のＩＰの信号データが有るか否かを判定する。
置き換え前のＩＰの信号データと「反転」の関係を有する置き換え後のＩＰの信号データが有る場合（ＹＥＳ）、その置き換え前のＩＰの信号データに関する信号関係判定処理は終了する。
置き換え前のＩＰの信号データと「反転」の関係を有する置き換え後の信号データが無い場合（ＮＯ）、処理はＳ１３３に進む。
【００４１】
Ｓ１３３において、信号関係判定部１３０は、置き換え前の信号データの波形パターンが置き換え後のいずれかの信号データのデコードした波形パターンと一致するか否かを判定する。つまり、信号関係判定部１３０は、置き換え前のＩＰの信号データと「デコード」の関係を有する置き換え後のＩＰの信号データが有るか否かを判定する。デコードは、所定の変換規則に従って波形パターンを変換することを意味する。但し、波形パターンを反転する変換は除く。
置き換え前のＩＰの信号データと「デコード」の関係を有する置き換え後のＩＰの信号データが有る場合（ＹＥＳ）、その置き換え前のＩＰの信号データに関する信号関係判定処理は終了する。
置き換え前のＩＰの信号データと「デコード」の関係を有する置き換え後のＩＰの信号データが無い場合（ＮＯ）、処理はＳ１３４に進む。
【００４２】
Ｓ１３４において、信号関係判定部１３０は、置き換え前の信号データの波形パターンが置き換え後の複数の信号データから得られる波形パターンの論理積（ＡＮＤ）と一致するか否かを判定する。つまり、信号関係判定部１３０は、置き換え前のＩＰの信号データと「複数信号のＡＮＤ」という関係を有する置き換え後のＩＰの複数の信号データが有るか否かを判定する。
置き換え前のＩＰの信号データと「複数信号のＡＮＤ」という関係を有する置き換え後のＩＰの複数の信号データが有る場合（ＹＥＳ）、その置き換え前のＩＰの信号データに関する信号関係判定処理は終了する。
置き換え前のＩＰの信号データと「複数信号のＡＮＤ」という関係を有する置き換え後のＩＰの複数の信号データが無い場合（ＮＯ）、処理はＳ１３５に進む。
【００４３】
Ｓ１３５において、信号関係判定部１３０は、置き換え前の信号データの波形パターンが置き換え後の複数の信号データから得られる波形パターンの論理和（ＯＲ）と一致するか否かを判定する。つまり、信号関係判定部１３０は、置き換え前のＩＰの信号データと「複数信号のＯＲ」という関係を有する置き換え後のＩＰの複数の信号データが有るか否かを判定する。
置き換え前のＩＰの信号データと「複数信号のＯＲ」という関係を有する置き換え後のＩＰの複数の信号データが有る場合（ＹＥＳ）、その置き換え前のＩＰの信号データに関する信号関係判定処理は終了する。
置き換え前のＩＰの信号データと「複数信号のＯＲ」という関係を有する置き換え後のＩＰの複数の信号データが無い場合（ＮＯ）、その置き換え前のＩＰの信号データと関係性を有する置き換え後のＩＰの信号データが存在せず、信号関係判定処理は終了する。
【００４４】
上記の「一致」「反転」「デコード」「複数信号のＡＮＤ」「複数信号のＯＲ」は信号データの関係性の一例である。また、「複数信号のＡＮＤ」および「複数信号のＯＲ」は論理演算を用いた関係性の一例である。
信号関係判定部１３０は、上記の一つまたは複数の関係性について判定を省略してもよいし、他の関係性について判定を行ってもよい。
【００４５】
図４に戻り、Ｓ１４０から説明を続ける。
Ｓ１４０において、信号関係編集部１４０は、Ｓ１３０で生成された信号関係ファイル１９３をディスプレイに表示する。
そして、ユーザは、表示された信号関係ファイル１９３を参照し、必要に応じて信号関係ファイル１９３を編集するための編集命令をインタフェース変換回路設計装置１００に入力する。
編集命令が入力された場合、信号関係編集部１４０は、編集命令に従って信号関係ファイル１９３を編集する。
【００４６】
但し、信号関係編集部１４０は、信号関係ファイル１９３に基づいて信号関係図ファイル１９４を生成しても構わない。信号関係図ファイル１９４は、置き換え前のＩＰの信号データと置き換え後のＩＰの信号データとの関係を表す信号関係図のデータである。
この場合、信号関係編集部１４０は、生成した信号関係図ファイル１９４を用いて信号関係図を表示し、編集命令に従って信号関係図ファイル１９４を編集する。
例えば、信号関係図はＭＩＬ記号を用いた図である。但し、信号関係図は、ＭＩＬ記号以外の論理記号または論理記号以外の表記を用いた図であっても構わない。
Ｓ１４０の後、処理はＳ１５０に進む。
【００４７】
なお、Ｓ１４０は必ずしも実行しなくて構わない。Ｓ１４０が実行されない場合、Ｓ１３０で生成された信号関係ファイル１９３がＳ１５０で用いられる。
【００４８】
図１０は、実施の形態１における信号関係図ファイル１９４の一例を示す図である。
図１０に示す信号関係図ファイル１９４は、図８に示した信号関係ファイル１９３の内容をＭＩＬ記号で表している。
例えば、信号関係図ファイル１９４は、置き換え前のＩＰの信号「ｓｉｇｎａｌ＿ａａ」を反転させると置き換え後のＩＰの信号「ｓｉｇｎａｌ＿ｂａ」が得られ、置き換え前の「ｓｉｇｎａｌ＿ａｂ」を反転させると置き換え後のＩＰの信号「ｓｉｇｎａｌ＿ｂｂ」が得られることを示している。
また、置き換え前のＩＰの信号「ｓｉｇｎａｌ＿ａｃ」に対応する置き換え後のＩＰの信号が無いため、信号関係図ファイル１９４は置き換え前のＩＰの信号「ｓｉｇｎａｌ＿ａｃ」を変換するためのブラックボックスモジュール「ｓｉｇｎａｌ＿ａｃコンポーネント」を示している。ブラックボックスモジュールは任意の機能を有する回路を表す。
【００４９】
図１１、図１２は、実施の形態１における編集後の信号関係ファイル１９３および信号関係図ファイル１９４の一例を示す図である。
実施の形態１における信号関係ファイル１９３および信号関係図ファイル１９４の編集の一例について、図１１および図１２に基づいて説明する。
【００５０】
図１１の（１）に示す信号関係ファイル１９３は、図８に示した信号関係ファイル１９３から置き換え前のＩＰの信号「ｓｉｇｎａｌ＿ａｃ」に関する行（信号関係データ）を削除したものである。
図１１の（２）に示す信号関係図ファイル１９４は、図１０に示した信号関係図ファイル１９４から置き換え前のＩＰの信号「ｓｉｇｎａｌ＿ａｃ」に関するＭＩＬ記号（信号関係データ）を削除したものである。
【００５１】
図１２の（１）に示す信号関係ファイル１９３は、図８に示した信号関係ファイル１９３に含まれる置き換え前のＩＰの信号名「ｓｉｇｎａｌ＿ａｃ」に対応付けて置き換え後のＩＰの信号名「ｓｉｇｎａｌ＿ｂｃ」を追記したものである。
図１２の（２）に示す信号関係図ファイル１９４は、図１０に示した信号関係図ファイル１９４に含まれる置き換え前のＩＰの信号名「ｓｉｇｎａｌ＿ａｃ」が付されたＭＩＬ記号に関連付けて置き換え後のＩＰの信号名「ｓｉｇｎａｌ＿ｂｃ」を追記したものである。
【００５２】
但し、信号の削除および信号名の追記は編集内容の一例であり、信号関係ファイル１９３または信号関係図ファイル１９４に対してその他の種類の編集が行われても構わない。
例えば、信号名の代わりに、接続先が無いことを意味する「ＯＰＥＮ」が追記されても構わない。
【００５３】
図４に戻り、Ｓ１５０から説明を続ける。
Ｓ１５０において、ＩＦ変換回路設計部１５０は、Ｓ１４０で編集された信号関係ファイル１９３または信号関係図ファイル１９４に基づいて、ＩＦ変換回路設計ファイル１９９を生成する。例えば、ＩＦ変換回路設計ファイル１９９はＨＤＬを用いて記述される。
ＩＦ変換回路設計ファイル１９９はＩＦ変換回路の設計情報（例えば、回路構成）を示すデータである。このＩＦ変換回路は、置き換え後のＩＰの入出力信号に対して、信号関係ファイル１９３および信号関係図ファイル１９４が示す信号関係に相当する変換処理を行う。
Ｓ１５０の後、インタフェース変換回路設計方法の処理は終了する。
【００５４】
実施の形態１において、インタフェース変換回路設計装置１００はＩＦ変換回路の設計ファイルを生成し、ＩＦ変換回路の設計時間を短縮することができる。また、ＩＦ変換回路の設計ファイルは、ＩＦ変換回路の仕様を理解するために用いることもできる。
インタフェース変換回路設計装置１００は、パターン生成用のエンジンおよび等価性チェック用のエンジンなど、従来のフォーマル検証ツールが有する機能を利用することができる。
【００５５】
図１３は、実施の形態１におけるインタフェース変換回路設計装置１００のハードウェア構成の一例を示す図である。
実施の形態１におけるインタフェース変換回路設計装置１００のハードウェア構成の一例について、図１３に基づいて説明する。
【００５６】
インタフェース変換回路設計装置１００は、演算装置９０１、補助記憶装置９０２、主記憶装置９０３、通信装置９０４および入出力装置９０５を備えるコンピュータである。
演算装置９０１、補助記憶装置９０２、主記憶装置９０３、通信装置９０４および入出力装置９０５はバス９０９に接続している。
【００５７】
演算装置９０１は、プログラムを実行するＣＰＵ（Ｃｅｎｔｒａｌ  Ｐｒｏｃｅｓｓｉｎｇ  Ｕｎｉｔ）である。
補助記憶装置９０２は、例えば、ＲＯＭ（Ｒｅａｄ  Ｏｎｌｙ  Ｍｅｍｏｒｙ）、フラッシュメモリまたはハードディスク装置である。
主記憶装置９０３は、例えば、ＲＡＭ（Ｒａｎｄｏｍ  Ａｃｃｅｓｓ  Ｍｅｍｏｒｙ）である。
通信装置９０４は、有線または無線でインターネット、ＬＡＮ（ローカルエリアネットワーク）、電話回線網またはその他のネットワークを介して通信を行う。
入出力装置９０５は、例えば、マウス、キーボード、ディスプレイ装置である。
【００５８】
プログラムは、通常は補助記憶装置９０２に記憶されており、主記憶装置９０３にロードされ、演算装置９０１に読み込まれ、演算装置９０１によって実行される。
例えば、オペレーティングシステム（ＯＳ）が補助記憶装置９０２に記憶される。また、「〜部」として説明している機能を実現するプログラム（インタフェース変換回路設計プログラムの一例）が補助記憶装置９０２に記憶される。そして、ＯＳおよび「〜部」として説明している機能を実現するプログラムは主記憶装置９０３にロードされ、演算装置９０１によって実行される。
【００５９】
「〜の判断」、「〜の判定」、「〜の抽出」、「〜の検知」、「〜の設定」、「〜の登録」、「〜の選択」、「〜の生成」、「〜の入力」、「〜の出力」等の処理の結果を示す情報、データ、信号値または変数値が主記憶装置９０３または補助記憶装置９０２にファイルとして記憶される。また、インタフェース変換回路設計装置１００が使用するその他のデータが主記憶装置９０３または補助記憶装置９０２に記憶される。
【００６０】
また、図１３は実施の形態１におけるインタフェース変換回路設計装置１００のハードウェア構成の一例を示すものであり、インタフェース変換回路設計装置１００のハードウェア構成は図１３に示す構成と異なる構成であってもよい。
なお、実施の形態１に係る方法（インタフェース変換回路設計装置１００の一例）は、フローチャート等を用いて説明している手順、または、それとは一部異なる手順によって実現することができる。
【符号の説明】
【００６１】
１００  インタフェース変換回路設計装置、１０１，１０２  起動・終了信号データ、１０３，１０４  ＩＰ設計ファイル、１１０  ＩＰデータ入力部、１２０  信号データ生成部、１３０  信号関係判定部、１４０  信号関係編集部、１５０  ＩＦ変換回路設計部、１９０  装置記憶部、１９１，１９２  信号ファイル、１９３  信号関係ファイル、１９４  信号関係図ファイル、１９９  ＩＦ変換回路設計ファイル、２００  集積回路、２１０  ＩＰａ、２１１  ＩＰｂ、２２０  ユーザロジック回路、２３０  ＩＦ変換回路、９０１  演算装置、９０２  補助記憶装置、９０３  主記憶装置、９０４  通信装置、９０５  入出力装置、９０９  バス。
【図１】
2015035025.tif 000003
【図２】
2015035025.tif 000004
【図３】
2015035025.tif 000005
【図４】
2015035025.tif 000006
【図５】
2015035025.tif 000007
【図６】
2015035025.tif 000008
【図７】
2015035025.tif 000009
【図８】
2015035025.tif 000010
【図９】
2015035025.tif 000011
【図１０】
2015035025.tif 000012
【図１１】
2015035025.tif 000013
【図１２】
2015035025.tif 000014
【図１３】
2015035025.tif 000015