JP6193674B2

JP6193674B2 - 変換回路設計装置、変換回路設計プログラムおよび変換回路設計方法

Info

Publication number: JP6193674B2
Application number: JP2013164520A
Authority: JP
Inventors: 敏雅朝山; 将大中嶋; 一雄千葉
Original assignee: Mitsubishi Electric Corp
Current assignee: Mitsubishi Electric Corp
Priority date: 2013-08-07
Filing date: 2013-08-07
Publication date: 2017-09-06
Anticipated expiration: 2033-08-07
Also published as: JP2015035025A

Description

本発明は、インタフェースの変換回路を設計する技術に関するものである。

ＬＳＩまたはＦＰＧＡなどの集積回路を構成する一部の高機能回路を別のものに置き換える際、置き換え前の高機能回路のインタフェースと置き換え後の高機能回路のインタフェースとの互換性を確保する必要がある。そこで、置き換え前の高機能回路用の入出力信号と置き換え後の高機能回路用の入出力信号とを相互に変換するインタフェース変換回路が用いられる。
ＬＳＩはＬａｒｇｅＳｃａｌｅＩｎｔｅｇｒａｔｉｏｎの略称であり、ＦＰＧＡはＦｉｅｌｄＰｒｏｇｒａｍｍａｂｌｅＧａｔｅＡｒｒａｙの略称である。
高機能回路および高機能回路の設計ファイルは「ＩＰ（ＩｎｔｅｌｌｅｃｔｕａｌＰｒｏｐｅｒｔｙ）」と呼ばれる。

従来、ユーザは、インタフェース変換回路を設計するために置き換え前後の高機能回路のそれぞれの入出力信号をシミュレーションしている。そして、ユーザは、シミュレーションによって得られた入出力信号の波形情報を適宜に変更し、変更後の波形情報をツールに入力することによってインタフェース変換回路の設計ファイルを生成している。
しかし、高機能回路の入出力信号の数が多い場合、入出力信号の波形情報を適宜に変更するためには多くの時間および労力を要する。

特開２００１−１４２９２３号公報特開２００４−２６５４３５号公報

本発明は、置き換え前の電子回路用の入出力信号と置き換え後の電子回路用の入出力信号とを相互に変換する変換回路を容易に設計できるようにすることを目的とする。

本発明の変換回路設計装置は、
置き換え前の電子回路の入出力信号を表す置き換え前の信号パターンと、前記置き換え前の電子回路の代わりに新たに用いられる置き換え後の電子回路の入出力信号を表す置き換え後の信号パターンと、を記憶する信号パターン記憶部と、
前記信号パターン記憶部に記憶される前記置き換え前の信号パターンと前記信号パターン記憶部に記憶される前記置き換え後の信号パターンとを比較し、比較結果に基づいて前記置き換え前の信号パターンと前記置き換え後の信号パターンとの信号パターンの関係を判定する信号関係判定部と、
前記信号関係判定部によって判定された前記信号パターンの関係に基づいて、前記置き換え前の信号パターンで表される信号を前記置き換え後の信号パターンで表される信号に変換し、または、前記置き換え後の信号パターンで表される信号を前記置き換え前の信号パターンで表される信号に変換する変換回路に関する設計ファイルを生成する変換回路設計部とを備える。

本発明によれば、置き換え前の電子回路用の入出力信号と置き換え後の電子回路用の入出力信号とを相互に変換する変換回路を容易に設計することができる。

実施の形態１におけるインタフェース変換回路設計装置１００の機能構成図である。実施の形態１におけるＩＰ（高機能回路）の置き換え例を示す図である。実施の形態１におけるＩＰ（高機能回路）の置き換え例を示す図である。実施の形態１におけるインタフェース変換回路設計方法を示すフローチャートである。実施の形態１における信号ファイル１９１・１９２の一例を示す図である。実施の形態１における信号ファイル１９１・１９２の一例を示す図である。実施の形態１における信号関係ファイル１９３の一例を示す図である。実施の形態１における信号関係ファイル１９３の一例を示す図である。実施の形態１における信号関係判定部１３０の処理の具体例を示すフローチャートである。実施の形態１における信号関係図ファイル１９４の一例を示す図である。実施の形態１における編集後の信号関係ファイル１９３および信号関係図ファイル１９４の一例を示す図である。実施の形態１における編集後の信号関係ファイル１９３および信号関係図ファイル１９４の一例を示す図である。実施の形態１におけるインタフェース変換回路設計装置１００のハードウェア構成の一例を示す図である。

実施の形態１．
置き換え前の電子回路用の入出力信号と置き換え後の電子回路用の入出力信号とを相互に変換するインタフェース変換回路を容易に設計する形態について説明する。

図１は、実施の形態１におけるインタフェース変換回路設計装置１００の機能構成図である。
実施の形態１におけるインタフェース変換回路設計装置１００の機能構成について、図１に基づいて説明する。

インタフェース変換回路設計装置１００（変換回路設計装置の一例）は、インタフェース変換回路（以下、ＩＦ変換回路という）の設計ファイルを生成する装置である。
ＩＦ変換回路は、集積回路を構成する一部の高機能回路（電子回路の一例）を別のものに置き換える際に、置き換え前の高機能回路のインタフェースと置き換え後の高機能回路のインタフェースとの互換性を確保するために用いられる。
例えば、ＩＦ変換回路は、置き換え後の高機能回路からの出力信号を置き換え前の高機能回路の出力形式に変換する。また、ＩＦ変換回路は、置き換え前の高機能回路に対する入力信号を置き換え後の高機能回路の入力形式に変換する。
高機能回路は置き換える電子回路の一例であり、ＩＦ変換回路は一般の電子回路の入出力信号を変換するものであっても構わない。

高機能回路は「ＩＰ（ＩｎｔｅｌｌｅｃｔｕａｌＰｒｏｐｅｒｔｙ）」とも呼ばれる。以下、高機能回路を「ＩＰ」という。

図２、図３は、実施の形態１におけるＩＰ（高機能回路）の置き換え例を示す図である。
実施の形態１におけるＩＰの置き換え例について、図２および図３に基づいて説明する。

図２は、ユーザロジック回路２２０（電子回路の一例）に信号を出力するａ社のＩＰ（ＩＰａ２１０）をｂ社のＩＰ（ＩＰｂ２１１）に置き換える例を示している。
この場合、ＩＰｂ２１１の出力信号をＩＰａ２１０の出力信号の形式に変換するＩＦ変換回路２３０が用いられる。

図３は、ユーザロジック回路２２０から信号を入力するＩＰａ２１０をＩＰｂ２１１に置き換える例を示している。
この場合、ＩＰａ２１０に対する入力信号をＩＰｂ２１１の入力信号の形式に変換するＩＦ変換回路２３０が用いられる。

図１に戻り、インタフェース変換回路設計装置１００の説明を続ける。
インタフェース変換回路設計装置１００は、ＩＰデータ入力部１１０と、信号データ生成部１２０と、信号関係判定部１３０と、信号関係編集部１４０と、ＩＦ変換回路設計部１５０と、装置記憶部１９０（信号パターン記憶部の一例）とを備える。

ＩＰデータ入力部１１０は、置き換え前のＩＰの起動・終了信号データ１０１と、置き換え後のＩＰの起動・終了信号データ１０２と、置き換え前のＩＰ設計ファイル１０３と、置き換え後のＩＰ設計ファイル１０４とを入力する。
起動・終了信号データ（１０１、１０２）は起動信号データおよび終了信号データを意味する。起動信号データはＩＰを起動するための信号（起動信号または起点信号ともいう）の波形パターンを示し、終了信号データはＩＰの一連の動作（シーケンスともいう）が終了したことを意味する信号（終了信号または終点信号ともいう）の波形パターンを示す。
ＩＰ設計ファイル（１０３、１０４）は、ＩＰの設計情報（例えば、回路構成）を示す。例えば、ＩＰ設計ファイルはＨＤＬ（ＨａｒｄｗａｒｅＤｅｓｃｒｉｐｔｉｏｎＬａｎｇｕａｇｅ）で記述される。

信号データ生成部１２０は、置き換え前のＩＰの起動・終了信号データ１０１およびＩＰ設計ファイル１０３を用いて、置き換え前のＩＰの信号ファイル１９１を生成する。
信号データ生成部１２０は、置き換え後のＩＰの起動・終了信号データ１０２およびＩＰ設計ファイル１０４を用いて、置き換え後のＩＰの信号ファイル１９２を生成する。
信号ファイル（１９１、１９２）は、起動信号、終了信号または状態信号などの入出力信号のデータを含む。状態信号データは、ＩＰの内部状態を表す状態信号の波形パターンを示す。
信号ファイルを生成する方法は、従来のフォーマル検証ツールによる生成方法と同様である。

信号関係判定部１３０は、置き換え前のＩＰと置き換え後のＩＰとのそれぞれの信号ファイル（１９１、１９２）に基づいて、置き換え前のＩＰの信号データと置き換え後のＩＰの信号データとの関係を示す信号関係ファイル１９３（信号関係データの一例）を生成する。

信号関係編集部１４０は、信号関係ファイル１９３に基づいて、置き換え前のＩＰの信号データと置き換え後のＩＰの信号データとの関係図を表す信号関係図ファイル１９４を生成する。
また、信号関係編集部１４０は、信号関係図ファイル１９４を表示し、ユーザの指示に従って信号関係ファイル１９３および信号関係図ファイル１９４を編集する。

ＩＦ変換回路設計部１５０は、信号関係ファイル１９３または信号関係図ファイル１９４に基づいて、ＩＦ変換回路設計ファイル１９９を生成する。
ＩＦ変換回路設計ファイル１９９は、ＩＦ変換回路の設計情報（例えば、回路構成）を示す。例えば、ＩＦ変換回路設計ファイル１９９はＨＤＬで記述される。

装置記憶部１９０は、インタフェース変換回路設計装置１００が使用、生成または入出力するデータを記憶する。
例えば、装置記憶部１９０は、起動・終了信号データ（１０１、１０２）、ＩＰ設計ファイル（１０３、１０４）、信号ファイル（１９１、１９２）、信号関係ファイル１９３、信号関係図ファイル１９４およびＩＦ変換回路設計ファイル１９９を記憶する。

図４は、実施の形態１におけるインタフェース変換回路設計方法を示すフローチャートである。
実施の形態１におけるインタフェース変換回路設計方法について、図４に基づいて説明する。

Ｓ１１０において、ユーザは、置き換え前のＩＰの起動・終了信号データ１０１およびＩＰ設計ファイル１０３をインタフェース変換回路設計装置１００に入力する。さらに、ユーザは、置き換え後のＩＰの起動・終了信号データ１０２およびＩＰ設計ファイル１０４をインタフェース変換回路設計装置１００に入力する。
このとき、インタフェース変換回路設計装置１００のＩＰデータ入力部１１０は、置き換え前のＩＰの起動・終了信号データ１０１およびＩＰ設計ファイル１０３を入力する。また、ＩＰデータ入力部１１０は、置き換え後のＩＰの起動・終了信号データ１０２およびＩＰ設計ファイル１０４を入力する。
Ｓ１１０の後、処理はＳ１２０に進む。

Ｓ１２０において、信号データ生成部１２０は、Ｓ１１０で入力された置き換え前のＩＰの起動・終了信号データ１０１およびＩＰ設計ファイル１０３を用いて、置き換え前のＩＰの信号ファイル１９１を生成する（図５の（１）参照）。
さらに、信号データ生成部１２０は、Ｓ１１０で入力された置き換え後のＩＰの起動・終了信号データ１０２およびＩＰ設計ファイル１０４を用いて、置き換え後のＩＰの信号ファイル１９２を生成する（図５の（２）参照）。
信号ファイル（１９１、１９２）を生成する方法は、従来のフォーマル検証ツールによる生成方法と同様である。
従来のフォーマル検証ツールによる生成方法は、ＩＰ設計ファイルに基づいてＩＰをシミュレーションし、起動・終了信号データを用いてシミュレーションのＩＰを動作させる。これにより、ＩＰの信号ファイルが生成される。

不要な信号データが有る場合、ユーザはその不要な信号データをインタフェース変換回路設計装置１００に指定してもよい。
不要な信号データが指定された場合、信号データ生成部１２０は不要な信号データを除外して信号ファイル（１９１、１９２）を生成する（図６参照）。
これにより、生成する必要がある信号データの数が減少するため、信号データ生成部１２０の処理時間を短縮させることができる。
Ｓ１２０の後、処理はＳ１３０に進む。

図５、図６は、実施の形態１における信号ファイル１９１・１９２の一例を示す図である。
実施の形態１における信号ファイル１９１・１９２の一例について、図５および図６に基づいて説明する。

例えば、信号ファイル（１９１、１９２）は信号毎に「信号名」「信号の種類」「波形パターン（信号パターン）」を含んでいる。

図５の（１）は置き換え前のＩＰの信号ファイル１９１の一例である。この置き換え前のＩＰの信号ファイル１９１は、起動信号「ｓｉｇｎａｌ＿ａａ」およびその他の信号の波形パターンを示している。各波形パターンは６つの信号値（ビット値）から構成されている。つまり、置き換え前のＩＰの各信号は６サイクルの信号長を有している。
図５の（２）は置き換え後のＩＰの信号ファイル１９２の一例を示している。この置き換え後のＩＰの信号ファイル１９２は、起動信号「ｓｉｇｎａｌ＿ｂａ」およびその他の信号の波形パターンを示している。各波形パターンは９つの信号値から構成されている。つまり、置き換え後のＩＰの各信号は９サイクルの信号長を有している。

図６の（１）は不要な信号データ「ｓｉｇｎａｌ＿ａｚ」が指定された場合に生成される置き換え前のＩＰの信号ファイル１９１の一例を示している。この置き換え前のＩＰの信号ファイル１９１は不要な信号データ「ｓｉｇｎａｌ＿ａｚ」を含んでいない。
図６の（２）は不要な信号データ「ｓｉｇｎａｌ＿ｂｘ」が指定された場合に生成される置き換え後のＩＰの信号ファイル１９２の一例を示している。この置き換え後のＩＰの信号ファイル１９２は不要な信号データ「ｓｉｇｎａｌ＿ｂｘ」を含んでいない。

図４に戻り、Ｓ１３０から説明を続ける。
Ｓ１３０において、信号関係判定部１３０は、置き換え前のＩＰの信号ファイル１９１に含まれる信号データと置き換え後のＩＰの信号ファイル１９２に含まれる信号データとのそれぞれの波形パターンをパターンマッチング等のアルゴリズムによって比較する。
そして、信号関係判定部１３０は、比較結果（信号関係データの一例）を示す信号関係ファイル１９３を生成する。つまり、信号関係判定部１３０は、置き換え前のＩＰの信号データと置き換え後のＩＰの信号データとの波形パターンの関係性を示す信号関係ファイル１９３を生成する（図７参照）。

このとき、信号関係判定部１３０は、置き換え前のＩＰの信号データと置き換え後のＩＰの信号データとを信号の種類に応じて分類し、信号の種類が同じである置き換え前のＩＰの信号データと置き換え後のＩＰの信号データとを比較してもよい。例えば、信号関係判定部１３０は、置き換え前のＩＰの起動信号と置き換え後のＩＰの起動信号とを比較し、置き換え前のＩＰの終了信号と置き換え後のＩＰの終了信号とを比較する。また、信号関係判定部１３０は、置き換え前のＩＰの各状態信号と置き換え後のＩＰの各状態信号とを総当たりで比較する。
また、信号関係判定部１３０は、置き換え前のＩＰの信号データと置き換え後のＩＰの信号データとを分類せずに総当たりで比較しても構わない。

信号関係判定部１３０は、置き換え前のＩＰの信号ファイル１９１と置き換え後のＩＰの信号ファイル１９２とをディスプレイに表示し、比較の対象外にする信号データをユーザに指定させてもよい。
比較の対象外にする信号データが指定された場合、信号関係判定部１３０は、指定された信号データを除外して信号データの比較を行い、信号関係ファイル１９３を生成する（図８参照）。
これにより、比較する必要がある信号データの数が減少するため、信号関係判定部１３０の処理時間を短縮することができる。
Ｓ１３０の後、処理はＳ１４０に進む。

図７、図８は、実施の形態１における信号関係ファイル１９３の一例を示す図である。
実施の形態１における信号関係ファイル１９３の一例について、図７および図８に基づいて説明する。

図７は、図６に示した置き換え前のＩＰの信号ファイル１９１と図６に示した置き換え後のＩＰの信号ファイル１９２とに基づいて生成される信号関係ファイル１９３を示している。
例えば、置き換え前のＩＰの起動信号「ｓｉｇｎａｌ＿ａａ」（図６参照）の１サイクル目の信号値は「１（Ｈｉｇｈ）」であり、残りのサイクルの信号値は「０（Ｌｏｗ）」である。一方、置き換え後のＩＰの起動信号「ｓｉｇｎａｌ＿ｂａ」（図６参照）の１サイクル目の信号値は「０」であり、残りのサイクルの信号値は「１」である。つまり、サイクル数（信号長）を考慮しなければ、置き換え前のＩＰの起動信号「ｓｉｇｎａｌ＿ａａ」の信号値を反転させると、置き換え後のＩＰの起動信号「ｓｉｇｎａｌ＿ｂａ」が得られる。したがって、置き換え前のＩＰの起動信号「ｓｉｇｎａｌ＿ａａ」と置き換え後のＩＰの起動信号「ｓｉｇｎａｌ＿ｂａ」とは「反転」の関係にある（図７参照）。
同様に、置き換え前のＩＰの終了信号「ｓｉｇｎａｌ＿ａｂ」と置き換え後のＩＰの終了信号「ｓｉｇｎａｌ＿ｂｂ」とは「反転」の関係にある（図６、図７参照）。
また、置き換え前のＩＰの状態信号「ｓｉｇｎａｌ＿ａｃ」「ｓｉｇｎａｌ＿ａｙ」は置き換え後のＩＰのいずれの状態信号とも特定の関係性が見出されない。このため、置き換え前のＩＰの状態信号「ｓｉｇｎａｌ＿ａｃ」「ｓｉｇｎａｌ＿ａｙ」に対応する置き換え後のＩＰの状態信号は無い（図６、図７参照）。

図８は、比較の対象外にする信号データ「ｓｉｇｎａｌ＿ａｙ」が指定された場合に生成される信号関係ファイル１９３を示している。この信号関係ファイル１９３は比較の対象外にする信号データ「ｓｉｇｎａｌ＿ａｙ」の比較結果を含んでいない。

図９は、実施の形態１における信号関係判定部１３０の処理の具体例を示すフローチャートである。
実施の形態１における信号関係判定部１３０の処理の具体例について、図９に基づいて説明する。

例えば、信号関係判定部１３０は、置き換え前のＩＰの信号ファイル１９１に含まれる信号データ毎、および、置き換え後のＩＰの信号ファイル１９２に含まれる信号データ毎に、図９に示す信号関係判定処理を実行する。
以下、信号ファイル１９１から選択された置き換え前のＩＰの信号データを信号ファイル１９２に含まれる置き換え後のＩＰの各信号データと比較する場合について説明する。
なお、信号ファイル１９２から選択された置き換え後のＩＰの信号データを信号ファイル１９１に含まれる置き換え前のＩＰの各信号データと比較する場合、置き換え前のＩＰの信号データと置き換え後のＩＰの信号データとを入れ替えて以下の処理を行えばよい。

Ｓ１３１において、信号関係判定部１３０は、置き換え前の信号データの波形パターンが置き換え後のいずれかの信号データの波形パターンと一致するか否かを判定する。つまり、信号関係判定部１３０は、置き換え前のＩＰの信号データと「一致」の関係を有する置き換え後のＩＰの信号データが有るか否かを判定する。
但し、波形パターンのサイクル数（信号長）については無視しても構わない。つまり、置き換え前の信号データのサイクル数と置き換え後の信号データのサイクル数とが一致しなくても構わない。以降の処理においても波形パターンのサイクル数については無視しても構わない。
置き換え前のＩＰの信号データと「一致」の関係を有する置き換え後のＩＰの信号データが有る場合（ＹＥＳ）、その置き換え前のＩＰの信号データに関する信号関係判定処理は終了する。
置き換え前のＩＰの信号データと「一致」の関係を有する置き換え後のＩＰの信号データが無い場合（ＮＯ）、処理はＳ１３２に進む。

Ｓ１３２において、信号関係判定部１３０は、置き換え前の信号データの波形パターンが置き換え後のいずれかの信号データの反転した波形パターンと一致するか否かを判定する。つまり、信号関係判定部１３０は、置き換え前のＩＰの信号データと「反転」の関係を有する置き換え後のＩＰの信号データが有るか否かを判定する。
置き換え前のＩＰの信号データと「反転」の関係を有する置き換え後のＩＰの信号データが有る場合（ＹＥＳ）、その置き換え前のＩＰの信号データに関する信号関係判定処理は終了する。
置き換え前のＩＰの信号データと「反転」の関係を有する置き換え後の信号データが無い場合（ＮＯ）、処理はＳ１３３に進む。

Ｓ１３３において、信号関係判定部１３０は、置き換え前の信号データの波形パターンが置き換え後のいずれかの信号データのデコードした波形パターンと一致するか否かを判定する。つまり、信号関係判定部１３０は、置き換え前のＩＰの信号データと「デコード」の関係を有する置き換え後のＩＰの信号データが有るか否かを判定する。デコードは、所定の変換規則に従って波形パターンを変換することを意味する。但し、波形パターンを反転する変換は除く。
置き換え前のＩＰの信号データと「デコード」の関係を有する置き換え後のＩＰの信号データが有る場合（ＹＥＳ）、その置き換え前のＩＰの信号データに関する信号関係判定処理は終了する。
置き換え前のＩＰの信号データと「デコード」の関係を有する置き換え後のＩＰの信号データが無い場合（ＮＯ）、処理はＳ１３４に進む。

Ｓ１３４において、信号関係判定部１３０は、置き換え前の信号データの波形パターンが置き換え後の複数の信号データから得られる波形パターンの論理積（ＡＮＤ）と一致するか否かを判定する。つまり、信号関係判定部１３０は、置き換え前のＩＰの信号データと「複数信号のＡＮＤ」という関係を有する置き換え後のＩＰの複数の信号データが有るか否かを判定する。
置き換え前のＩＰの信号データと「複数信号のＡＮＤ」という関係を有する置き換え後のＩＰの複数の信号データが有る場合（ＹＥＳ）、その置き換え前のＩＰの信号データに関する信号関係判定処理は終了する。
置き換え前のＩＰの信号データと「複数信号のＡＮＤ」という関係を有する置き換え後のＩＰの複数の信号データが無い場合（ＮＯ）、処理はＳ１３５に進む。

Ｓ１３５において、信号関係判定部１３０は、置き換え前の信号データの波形パターンが置き換え後の複数の信号データから得られる波形パターンの論理和（ＯＲ）と一致するか否かを判定する。つまり、信号関係判定部１３０は、置き換え前のＩＰの信号データと「複数信号のＯＲ」という関係を有する置き換え後のＩＰの複数の信号データが有るか否かを判定する。
置き換え前のＩＰの信号データと「複数信号のＯＲ」という関係を有する置き換え後のＩＰの複数の信号データが有る場合（ＹＥＳ）、その置き換え前のＩＰの信号データに関する信号関係判定処理は終了する。
置き換え前のＩＰの信号データと「複数信号のＯＲ」という関係を有する置き換え後のＩＰの複数の信号データが無い場合（ＮＯ）、その置き換え前のＩＰの信号データと関係性を有する置き換え後のＩＰの信号データが存在せず、信号関係判定処理は終了する。

上記の「一致」「反転」「デコード」「複数信号のＡＮＤ」「複数信号のＯＲ」は信号データの関係性の一例である。また、「複数信号のＡＮＤ」および「複数信号のＯＲ」は論理演算を用いた関係性の一例である。
信号関係判定部１３０は、上記の一つまたは複数の関係性について判定を省略してもよいし、他の関係性について判定を行ってもよい。

図４に戻り、Ｓ１４０から説明を続ける。
Ｓ１４０において、信号関係編集部１４０は、Ｓ１３０で生成された信号関係ファイル１９３をディスプレイに表示する。
そして、ユーザは、表示された信号関係ファイル１９３を参照し、必要に応じて信号関係ファイル１９３を編集するための編集命令をインタフェース変換回路設計装置１００に入力する。
編集命令が入力された場合、信号関係編集部１４０は、編集命令に従って信号関係ファイル１９３を編集する。

但し、信号関係編集部１４０は、信号関係ファイル１９３に基づいて信号関係図ファイル１９４を生成しても構わない。信号関係図ファイル１９４は、置き換え前のＩＰの信号データと置き換え後のＩＰの信号データとの関係を表す信号関係図のデータである。
この場合、信号関係編集部１４０は、生成した信号関係図ファイル１９４を用いて信号関係図を表示し、編集命令に従って信号関係図ファイル１９４を編集する。
例えば、信号関係図はＭＩＬ記号を用いた図である。但し、信号関係図は、ＭＩＬ記号以外の論理記号または論理記号以外の表記を用いた図であっても構わない。
Ｓ１４０の後、処理はＳ１５０に進む。

なお、Ｓ１４０は必ずしも実行しなくて構わない。Ｓ１４０が実行されない場合、Ｓ１３０で生成された信号関係ファイル１９３がＳ１５０で用いられる。

図１０は、実施の形態１における信号関係図ファイル１９４の一例を示す図である。
図１０に示す信号関係図ファイル１９４は、図８に示した信号関係ファイル１９３の内容をＭＩＬ記号で表している。
例えば、信号関係図ファイル１９４は、置き換え前のＩＰの信号「ｓｉｇｎａｌ＿ａａ」を反転させると置き換え後のＩＰの信号「ｓｉｇｎａｌ＿ｂａ」が得られ、置き換え前の「ｓｉｇｎａｌ＿ａｂ」を反転させると置き換え後のＩＰの信号「ｓｉｇｎａｌ＿ｂｂ」が得られることを示している。
また、置き換え前のＩＰの信号「ｓｉｇｎａｌ＿ａｃ」に対応する置き換え後のＩＰの信号が無いため、信号関係図ファイル１９４は置き換え前のＩＰの信号「ｓｉｇｎａｌ＿ａｃ」を変換するためのブラックボックスモジュール「ｓｉｇｎａｌ＿ａｃコンポーネント」を示している。ブラックボックスモジュールは任意の機能を有する回路を表す。

図１１、図１２は、実施の形態１における編集後の信号関係ファイル１９３および信号関係図ファイル１９４の一例を示す図である。
実施の形態１における信号関係ファイル１９３および信号関係図ファイル１９４の編集の一例について、図１１および図１２に基づいて説明する。

図１１の（１）に示す信号関係ファイル１９３は、図８に示した信号関係ファイル１９３から置き換え前のＩＰの信号「ｓｉｇｎａｌ＿ａｃ」に関する行（信号関係データ）を削除したものである。
図１１の（２）に示す信号関係図ファイル１９４は、図１０に示した信号関係図ファイル１９４から置き換え前のＩＰの信号「ｓｉｇｎａｌ＿ａｃ」に関するＭＩＬ記号（信号関係データ）を削除したものである。

図１２の（１）に示す信号関係ファイル１９３は、図８に示した信号関係ファイル１９３に含まれる置き換え前のＩＰの信号名「ｓｉｇｎａｌ＿ａｃ」に対応付けて置き換え後のＩＰの信号名「ｓｉｇｎａｌ＿ｂｃ」を追記したものである。
図１２の（２）に示す信号関係図ファイル１９４は、図１０に示した信号関係図ファイル１９４に含まれる置き換え前のＩＰの信号名「ｓｉｇｎａｌ＿ａｃ」が付されたＭＩＬ記号に関連付けて置き換え後のＩＰの信号名「ｓｉｇｎａｌ＿ｂｃ」を追記したものである。

但し、信号の削除および信号名の追記は編集内容の一例であり、信号関係ファイル１９３または信号関係図ファイル１９４に対してその他の種類の編集が行われても構わない。
例えば、信号名の代わりに、接続先が無いことを意味する「ＯＰＥＮ」が追記されても構わない。

図４に戻り、Ｓ１５０から説明を続ける。
Ｓ１５０において、ＩＦ変換回路設計部１５０は、Ｓ１４０で編集された信号関係ファイル１９３または信号関係図ファイル１９４に基づいて、ＩＦ変換回路設計ファイル１９９を生成する。例えば、ＩＦ変換回路設計ファイル１９９はＨＤＬを用いて記述される。
ＩＦ変換回路設計ファイル１９９はＩＦ変換回路の設計情報（例えば、回路構成）を示すデータである。このＩＦ変換回路は、置き換え後のＩＰの入出力信号に対して、信号関係ファイル１９３および信号関係図ファイル１９４が示す信号関係に相当する変換処理を行う。
Ｓ１５０の後、インタフェース変換回路設計方法の処理は終了する。

実施の形態１において、インタフェース変換回路設計装置１００はＩＦ変換回路の設計ファイルを生成し、ＩＦ変換回路の設計時間を短縮することができる。また、ＩＦ変換回路の設計ファイルは、ＩＦ変換回路の仕様を理解するために用いることもできる。
インタフェース変換回路設計装置１００は、パターン生成用のエンジンおよび等価性チェック用のエンジンなど、従来のフォーマル検証ツールが有する機能を利用することができる。

図１３は、実施の形態１におけるインタフェース変換回路設計装置１００のハードウェア構成の一例を示す図である。
実施の形態１におけるインタフェース変換回路設計装置１００のハードウェア構成の一例について、図１３に基づいて説明する。

インタフェース変換回路設計装置１００は、演算装置９０１、補助記憶装置９０２、主記憶装置９０３、通信装置９０４および入出力装置９０５を備えるコンピュータである。
演算装置９０１、補助記憶装置９０２、主記憶装置９０３、通信装置９０４および入出力装置９０５はバス９０９に接続している。

演算装置９０１は、プログラムを実行するＣＰＵ（ＣｅｎｔｒａｌＰｒｏｃｅｓｓｉｎｇＵｎｉｔ）である。
補助記憶装置９０２は、例えば、ＲＯＭ（ＲｅａｄＯｎｌｙＭｅｍｏｒｙ）、フラッシュメモリまたはハードディスク装置である。
主記憶装置９０３は、例えば、ＲＡＭ（ＲａｎｄｏｍＡｃｃｅｓｓＭｅｍｏｒｙ）である。
通信装置９０４は、有線または無線でインターネット、ＬＡＮ（ローカルエリアネットワーク）、電話回線網またはその他のネットワークを介して通信を行う。
入出力装置９０５は、例えば、マウス、キーボード、ディスプレイ装置である。

プログラムは、通常は補助記憶装置９０２に記憶されており、主記憶装置９０３にロードされ、演算装置９０１に読み込まれ、演算装置９０１によって実行される。
例えば、オペレーティングシステム（ＯＳ）が補助記憶装置９０２に記憶される。また、「〜部」として説明している機能を実現するプログラム（インタフェース変換回路設計プログラムの一例）が補助記憶装置９０２に記憶される。そして、ＯＳおよび「〜部」として説明している機能を実現するプログラムは主記憶装置９０３にロードされ、演算装置９０１によって実行される。

「〜の判断」、「〜の判定」、「〜の抽出」、「〜の検知」、「〜の設定」、「〜の登録」、「〜の選択」、「〜の生成」、「〜の入力」、「〜の出力」等の処理の結果を示す情報、データ、信号値または変数値が主記憶装置９０３または補助記憶装置９０２にファイルとして記憶される。また、インタフェース変換回路設計装置１００が使用するその他のデータが主記憶装置９０３または補助記憶装置９０２に記憶される。

また、図１３は実施の形態１におけるインタフェース変換回路設計装置１００のハードウェア構成の一例を示すものであり、インタフェース変換回路設計装置１００のハードウェア構成は図１３に示す構成と異なる構成であってもよい。
なお、実施の形態１に係る方法（インタフェース変換回路設計装置１００の一例）は、フローチャート等を用いて説明している手順、または、それとは一部異なる手順によって実現することができる。

１００インタフェース変換回路設計装置、１０１，１０２起動・終了信号データ、１０３，１０４ＩＰ設計ファイル、１１０ＩＰデータ入力部、１２０信号データ生成部、１３０信号関係判定部、１４０信号関係編集部、１５０ＩＦ変換回路設計部、１９０装置記憶部、１９１，１９２信号ファイル、１９３信号関係ファイル、１９４信号関係図ファイル、１９９ＩＦ変換回路設計ファイル、２００集積回路、２１０ＩＰａ、２１１ＩＰｂ、２２０ユーザロジック回路、２３０ＩＦ変換回路、９０１演算装置、９０２補助記憶装置、９０３主記憶装置、９０４通信装置、９０５入出力装置、９０９バス。

Claims

置き換え前の電子回路の入出力信号を表す置き換え前の信号パターンと、前記置き換え前の電子回路の代わりに新たに用いられる置き換え後の電子回路の入出力信号を表す置き換え後の信号パターンと、を記憶する信号パターン記憶部と、
前記信号パターン記憶部に記憶される前記置き換え前の信号パターンと前記信号パターン記憶部に記憶される前記置き換え後の信号パターンとを比較し、比較結果に基づいて前記置き換え前の信号パターンと前記置き換え後の信号パターンとの信号パターンの関係を判定する信号関係判定部と、
前記信号関係判定部によって判定された前記信号パターンの関係に基づいて、前記置き換え前の信号パターンで表される信号を前記置き換え後の信号パターンで表される信号に変換し、または、前記置き換え後の信号パターンで表される信号を前記置き換え前の信号パターンで表される信号に変換する変換回路に関する設計ファイルを生成する変換回路設計部と
を備えることを特徴とする変換回路設計装置。
前記信号パターン記憶部は、複数の置き換え前の信号パターンと複数の置き換え後の信号パターンとを記憶し、
前記信号関係判定部は、前記複数の置き換え前の信号パターンと前記複数の置き換え後の信号パターンとのうちから指定される信号パターンを除いて、前記複数の置き換え前の信号パターンと前記複数の置き換え後の信号パターンとの信号パターンの関係を判定することを特徴とする請求項１記載の変換回路設計装置。
前記信号関係判定部は、前記置き換え前の信号パターンと前記置き換え後の信号パターンとの間に、一方の信号パターンのビット値を反転させると両方の信号パターンが一致する信号関係を意味する反転関係があるか否かを判定し、
前記変換回路設計部は、前記信号関係判定部によって前記置き換え前の信号パターンと前記置き換え後の信号パターンとの間に反転関係があると判定された場合、信号パターンのビット値を反転する設計データを含めて前記設計ファイルを生成する
ことを特徴とする請求項１または請求項２記載の変換回路設計装置。
前記信号関係判定部は、前記置き換え前の信号パターンと二つ以上の置き換え後の信号パターンとの間に、前記二つ以上の置き換え後の信号パターンを論理演算することによって得られる信号パターンが前記置き換え前の信号パターンと一致する信号関係を意味する論理演算関係があるか否かを判定し、
前記変換回路設計部は、前記信号関係判定部によって前記置き換え前の信号パターンと前記二つ以上の置き換え後の信号パターンとの間に論理演算関係があると判定された場合、二つ以上の信号パターンを論理演算することによって一つの信号パターンを生成する設計データを含めて前記設計ファイルを生成する
ことを特徴とする請求項１から請求項３のいずれかに記載の変換回路設計装置。
前記変換回路設計装置は信号関係編集部を備え、
前記信号関係判定部は、前記信号パターンの関係を表す信号関係データを生成し、
前記信号関係編集部は、前記信号関係データの編集を命令する編集命令に従って前記信号関係データを編集し、
前記変換回路設計部は、前記信号関係編集部によって編集された前記信号関係データに基づいて前記設計ファイルを生成する
ことを特徴とする請求項１から請求項４のいずれかに記載の変換回路設計装置。
前記信号関係編集部は、前記信号関係データに基づいて前記信号パターンの関係を表す信号関係図を表示し、表示した前記信号関係図に対する前記編集命令に従って前記信号関係データを編集する
ことを特徴とする請求項５記載の変換回路設計装置。
前記信号パターン記憶部は、複数の置き換え前の信号パターンと複数の置き換え後の信号パターンとを記憶し、
前記変換回路設計部は、前記複数の置き換え前の信号パターンのうち前記複数の置き換え後の信号パターンのいずれの信号パターンとも特定の関係を有さない信号パターンで表される信号を処理するためのブラックボックスを含めて前記設計ファイルを生成する
ことを特徴とする請求項１から請求項６のいずれかに記載の変換回路設計装置。
請求項１から請求項７のいずれかに記載の変換回路設計装置としてコンピュータを機能させるための変換回路設計プログラム。
信号パターン記憶部と、信号関係判定部と、変換回路設計部とを備える変換回路設計装置を用いる変換回路設計方法であって、
前記信号パターン記憶部は、置き換え前の電子回路の入出力信号を表す置き換え前の信号パターンと、前記置き換え前の電子回路の代わりに新たに用いられる置き換え後の電子回路の入出力信号を表す置き換え後の信号パターンと、を記憶する記憶部であり、
前記信号関係判定部が、前記信号パターン記憶部に記憶される前記置き換え前の信号パターンと前記信号パターン記憶部に記憶される前記置き換え後の信号パターンとを比較し、比較結果に基づいて前記置き換え前の信号パターンと前記置き換え後の信号パターンとの信号パターンの関係を判定し、
前記変換回路設計部が、前記信号関係判定部によって判定された前記信号パターンの関係に基づいて、前記置き換え前の信号パターンで表される信号を前記置き換え後の信号パターンで表される信号に変換し、または、前記置き換え後の信号パターンで表される信号を前記置き換え前の信号パターンで表される信号に変換する変換回路に関する設計ファイルを生成する
ことを特徴とする変換回路設計方法。