JPH1011473A - 二つの論理回路間のフリップフロップの対応づけ方法 - Google Patents
二つの論理回路間のフリップフロップの対応づけ方法Info
- Publication number
- JPH1011473A JPH1011473A JP8162718A JP16271896A JPH1011473A JP H1011473 A JPH1011473 A JP H1011473A JP 8162718 A JP8162718 A JP 8162718A JP 16271896 A JP16271896 A JP 16271896A JP H1011473 A JPH1011473 A JP H1011473A
- Authority
- JP
- Japan
- Prior art keywords
- association
- ffs
- collision
- associating
- group
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Abstract
(57)【要約】
【課題】従来の回路構造の類似性を利用した、二つの論
理回路間のＦＦ対応づけ方法では正確にＦＦを対応づけ
られない場合でも、正確にＦＦを対応づけることが可能
なＦＦ対応づけ方法を提供する。 【解決手段】論理回路ファイル１２０、１２１を入力
し、二つの論理回路間のＦＦ対応づけステップ１００〜
１０７にてＦＦの対応づけを行い、対応したＦＦを対応
ＦＦファイル１２２に出力する。
理回路間のＦＦ対応づけ方法では正確にＦＦを対応づけ
られない場合でも、正確にＦＦを対応づけることが可能
なＦＦ対応づけ方法を提供する。 【解決手段】論理回路ファイル１２０、１２１を入力
し、二つの論理回路間のＦＦ対応づけステップ１００〜
１０７にてＦＦの対応づけを行い、対応したＦＦを対応
ＦＦファイル１２２に出力する。
Description
【０００１】
【発明の属する技術分野】本発明は、ＦＦを含む二つの
論理回路を入力とする、論理等価検証方法及びインクリ
メンタル論理生成方法の主要構成要素の一つであるＦＦ
対応づけ方法に関する。
論理回路を入力とする、論理等価検証方法及びインクリ
メンタル論理生成方法の主要構成要素の一つであるＦＦ
対応づけ方法に関する。
【０００２】
【従来の技術】ＦＦの構成が類似する二つの論理回路を
入力とする、論理等価検証あるいはインクリメンタル論
理生成を行う場合、論理回路をＦＦと組み合わせ論理に
分け、二つの組み合わせ論理を入力とする、論理等価検
証あるいはインクリメンタル論理生成に帰着することが
一般に行われる。帰着後の処理を正確に行うには、まず
二つの組み合わせ論理の入出力端点となるＦＦを二つの
論理回路間で正確に対応づける必要がある。
入力とする、論理等価検証あるいはインクリメンタル論
理生成を行う場合、論理回路をＦＦと組み合わせ論理に
分け、二つの組み合わせ論理を入力とする、論理等価検
証あるいはインクリメンタル論理生成に帰着することが
一般に行われる。帰着後の処理を正確に行うには、まず
二つの組み合わせ論理の入出力端点となるＦＦを二つの
論理回路間で正確に対応づける必要がある。
【０００３】このような背景からＦＦの対応づけ方法が
いくつか考案されており、その一つが特願平７−２０１
３９に記載されている。この方法はＦＦの対応づけに回
路構造の類似性を利用する、外部信号／ＦＦ共有率によ
る対応づけと強制対応づけの二つの方法を用いている。
いくつか考案されており、その一つが特願平７−２０１
３９に記載されている。この方法はＦＦの対応づけに回
路構造の類似性を利用する、外部信号／ＦＦ共有率によ
る対応づけと強制対応づけの二つの方法を用いている。
【０００４】外部信号／ＦＦ共有率による対応づけと
は、二つの論理回路間の各ＦＦ対に対して回路構造の類
似度を表わす外部入力（出力）信号共有率、入力（出
力）ＦＦ共有率という四つの評価指標のいずれかを評価
し、評価値の大きい順に同一評価値のＦＦ対をグループ
にし、１グループに含まれるＦＦ対が一つであればそれ
らを対応づける、というものである。ここで、ＦＦ対が
二つ以上含まれる１グループは衝突ＦＦグループと呼ば
れる。
は、二つの論理回路間の各ＦＦ対に対して回路構造の類
似度を表わす外部入力（出力）信号共有率、入力（出
力）ＦＦ共有率という四つの評価指標のいずれかを評価
し、評価値の大きい順に同一評価値のＦＦ対をグループ
にし、１グループに含まれるＦＦ対が一つであればそれ
らを対応づける、というものである。ここで、ＦＦ対が
二つ以上含まれる１グループは衝突ＦＦグループと呼ば
れる。
【０００５】強制対応づけとは、前記の外部信号／ＦＦ
共有率による対応づけで作成される衝突ＦＦグループの
中で最も入力側（あるいは出力側）に近いＦＦを含むも
のを選択し、そのＦＦを含むＦＦ対を対応づけるという
ものである。ここで、このようなＦＦが複数あるとき
は、それらのＦＦを含むいずれかのＦＦ対を対応づけ
る。
共有率による対応づけで作成される衝突ＦＦグループの
中で最も入力側（あるいは出力側）に近いＦＦを含むも
のを選択し、そのＦＦを含むＦＦ対を対応づけるという
ものである。ここで、このようなＦＦが複数あるとき
は、それらのＦＦを含むいずれかのＦＦ対を対応づけ
る。
【０００６】強制対応づけは、外部信号／ＦＦ共有率に
よる対応づけで一つのＦＦ対も対応づけられなかったと
きに行われる。
よる対応づけで一つのＦＦ対も対応づけられなかったと
きに行われる。
【０００７】
【発明が解決しようとする課題】上記のＦＦ対応づけ方
法ではＦＦの対応づけが正確に行われない場合がある。
法ではＦＦの対応づけが正確に行われない場合がある。
【０００８】例えば、図４の論理回路４００と図５の論
理回路５００はゲート４０６とゲート５０６以外はすべ
て等しい回路であるから、ＦＦの対応づけは（Ｆｉ、Ｇ
ｉ）、ｉ＝１、．．．、５となるのが正しい。ところ
が、論理回路４００と論理回路５００の四つのＦＦ対
（Ｆ４、Ｇ４）、（Ｆ４、Ｇ５）、（Ｆ５、Ｇ４）、
（Ｆ５、Ｇ５）に対する外部入力（出力）信号共有率、
入力（出力）ＦＦ共有率はいずれもすべて等しいので、
外部信号／ＦＦ共有率による対応づけでは対応がつか
ず、強制対応づけが行われ、（Ｆ４、Ｇ５）等が対応づ
けられる可能性がある。
理回路５００はゲート４０６とゲート５０６以外はすべ
て等しい回路であるから、ＦＦの対応づけは（Ｆｉ、Ｇ
ｉ）、ｉ＝１、．．．、５となるのが正しい。ところ
が、論理回路４００と論理回路５００の四つのＦＦ対
（Ｆ４、Ｇ４）、（Ｆ４、Ｇ５）、（Ｆ５、Ｇ４）、
（Ｆ５、Ｇ５）に対する外部入力（出力）信号共有率、
入力（出力）ＦＦ共有率はいずれもすべて等しいので、
外部信号／ＦＦ共有率による対応づけでは対応がつか
ず、強制対応づけが行われ、（Ｆ４、Ｇ５）等が対応づ
けられる可能性がある。
【０００９】本発明の目的は、このように従来方法では
正確にＦＦが対応づけられない場合に、ＦＦの対応づけ
を正確に行う方法を提供することにある。
正確にＦＦが対応づけられない場合に、ＦＦの対応づけ
を正確に行う方法を提供することにある。
【００１０】
【課題を解決するための手段】上記の目的を達成するた
めに、本発明は、論理回路１と論理回路２を入力する入
力手段と、前記論理回路１と前記論理回路２の間で外部
信号／ＦＦ共有率によるＦＦ対応づけを行うＦＦ対応づ
け手段１と、前記ＦＦ対応づけ手段１で対応ＦＦがない
場合に機能比較によるＦＦ対応づけを行うＦＦ対応づけ
手段２と、前記ＦＦ対応づけ手段２で対応ＦＦがない場
合に強制対応づけによりＦＦを対応づけるＦＦ対応づけ
手段３と、前記ＦＦ対応づけ手段１〜３で対応づけた対
応ＦＦを出力する出力手段から構成されるようにしたも
のである。
めに、本発明は、論理回路１と論理回路２を入力する入
力手段と、前記論理回路１と前記論理回路２の間で外部
信号／ＦＦ共有率によるＦＦ対応づけを行うＦＦ対応づ
け手段１と、前記ＦＦ対応づけ手段１で対応ＦＦがない
場合に機能比較によるＦＦ対応づけを行うＦＦ対応づけ
手段２と、前記ＦＦ対応づけ手段２で対応ＦＦがない場
合に強制対応づけによりＦＦを対応づけるＦＦ対応づけ
手段３と、前記ＦＦ対応づけ手段１〜３で対応づけた対
応ＦＦを出力する出力手段から構成されるようにしたも
のである。
【００１１】また、前記ＦＦ対応づけ手段２は、前記Ｆ
Ｆ対応づけ手段１で作成される衝突ＦＦグループのレベ
ルを計算する手段と、前記衝突ＦＦグループをレベルの
昇順にソートする手段と、前記衝突ＦＦグループをソー
トされた順番に取り出し、前記衝突ＦＦグループ内の各
ＦＦ対に対して機能比較による共有率Ｒｆを計算する手
段と、前記Ｒｆに基づき、対応ＦＦの判定と前記衝突Ｆ
Ｆグループの更新を行う手段で構成されるようにしたも
のである。
Ｆ対応づけ手段１で作成される衝突ＦＦグループのレベ
ルを計算する手段と、前記衝突ＦＦグループをレベルの
昇順にソートする手段と、前記衝突ＦＦグループをソー
トされた順番に取り出し、前記衝突ＦＦグループ内の各
ＦＦ対に対して機能比較による共有率Ｒｆを計算する手
段と、前記Ｒｆに基づき、対応ＦＦの判定と前記衝突Ｆ
Ｆグループの更新を行う手段で構成されるようにしたも
のである。
【００１２】また、前記機能比較による共有率Ｒｆを計
算する手段は、ＦＦ対の二つのＦＦをそれぞれ出力とす
る二つのコーン（１出力組み合わせ論理）に対して、未
対応の入力があればそれらの入力にすべて０を割り当て
て前記二つのコーンの機能比較を行う機能比較手段１
と、未対応の入力があればそれらの入力にすべて１を割
り当てて前記二つのコーンの機能比較を行う機能比較手
段２と、前記機能比較手段１、２の結果がともに機能一
致ならば前記Ｒｆを１００とし、そうでなければ前記Ｒ
ｆを０とする手段で構成されるようにしたものである。
算する手段は、ＦＦ対の二つのＦＦをそれぞれ出力とす
る二つのコーン（１出力組み合わせ論理）に対して、未
対応の入力があればそれらの入力にすべて０を割り当て
て前記二つのコーンの機能比較を行う機能比較手段１
と、未対応の入力があればそれらの入力にすべて１を割
り当てて前記二つのコーンの機能比較を行う機能比較手
段２と、前記機能比較手段１、２の結果がともに機能一
致ならば前記Ｒｆを１００とし、そうでなければ前記Ｒ
ｆを０とする手段で構成されるようにしたものである。
【００１３】上記のＦＦ対応づけ手段２はＦＦの対応づ
けに機能の一致性を利用するもので、上記のＦＦ対応づ
け手段１〜３は上記のＦＦ対応づけ手段１、３のみでは
正確に対応づけられないＦＦを正確に対応づけることが
できる。
けに機能の一致性を利用するもので、上記のＦＦ対応づ
け手段１〜３は上記のＦＦ対応づけ手段１、３のみでは
正確に対応づけられないＦＦを正確に対応づけることが
できる。
【００１４】
【発明の実施の形態】以下、本発明の１実施例を図面に
より詳細に説明する。図１〜３は本発明に基づくＦＦ対
応づけのフローチャートである。また、図４、５の論理
回路４００、５００はそれぞれ、ＦＦ対応づけの二つの
入力論理回路１２０、１２１の例である。以下、論理回
路４００、５００を入力した場合を例に、図１のフロー
チャートの処理手順を順次説明する。
より詳細に説明する。図１〜３は本発明に基づくＦＦ対
応づけのフローチャートである。また、図４、５の論理
回路４００、５００はそれぞれ、ＦＦ対応づけの二つの
入力論理回路１２０、１２１の例である。以下、論理回
路４００、５００を入力した場合を例に、図１のフロー
チャートの処理手順を順次説明する。
【００１５】ステップ１００：論理回路ファイル１２
０、１２１から論理回路４００、５００をそれぞれ入力
する。ここで、論理回路４００、５００の各ＦＦにはそ
れぞれＦ１〜Ｆ５、Ｇ１〜Ｇ５のラベルがついており、
すべてのＦＦは未対応である。
０、１２１から論理回路４００、５００をそれぞれ入力
する。ここで、論理回路４００、５００の各ＦＦにはそ
れぞれＦ１〜Ｆ５、Ｇ１〜Ｇ５のラベルがついており、
すべてのＦＦは未対応である。
【００１６】ステップ１０１：未対応ＦＦがあるので、
ステップ１０２に進む。
ステップ１０２に進む。
【００１７】ステップ１０２：前記文献に記載の方法で
外部信号／ＦＦ共有率によるＦＦ対応づけを行う。その
結果、対応ＦＦ対（Ｆ３、Ｇ３）と二つの衝突ＦＦグル
ープＣ１＝｛（Ｆ１、Ｇ１）、（Ｆ１、Ｇ２）、（Ｆ
２、Ｇ１）、（Ｆ２、Ｇ２）｝、Ｃ２＝｛（Ｆ４、Ｇ
４）、（Ｆ４、Ｇ５）、（Ｆ５、Ｇ４）、（Ｆ５、Ｇ
５）｝が得られる。
外部信号／ＦＦ共有率によるＦＦ対応づけを行う。その
結果、対応ＦＦ対（Ｆ３、Ｇ３）と二つの衝突ＦＦグル
ープＣ１＝｛（Ｆ１、Ｇ１）、（Ｆ１、Ｇ２）、（Ｆ
２、Ｇ１）、（Ｆ２、Ｇ２）｝、Ｃ２＝｛（Ｆ４、Ｇ
４）、（Ｆ４、Ｇ５）、（Ｆ５、Ｇ４）、（Ｆ５、Ｇ
５）｝が得られる。
【００１８】ステップ１０３：対応ＦＦがあるので、ス
テップ１０１に進む。
テップ１０１に進む。
【００１９】ステップ１０１：未対応ＦＦがあるので、
ステップ１０２に進む。
ステップ１０２に進む。
【００２０】ステップ１０２：外部信号／ＦＦ共有率に
よるＦＦ対応づけを行い、二つの衝突ＦＦグループＣ１
＝｛（Ｆ１、Ｇ１）、（Ｆ１、Ｇ２）、（Ｆ２、Ｇ
１）、（Ｆ２、Ｇ２）｝、Ｃ２＝｛（Ｆ４、Ｇ４）、
（Ｆ４、Ｇ５）、（Ｆ５、Ｇ４）、（Ｆ５、Ｇ５）｝が
得られる。
よるＦＦ対応づけを行い、二つの衝突ＦＦグループＣ１
＝｛（Ｆ１、Ｇ１）、（Ｆ１、Ｇ２）、（Ｆ２、Ｇ
１）、（Ｆ２、Ｇ２）｝、Ｃ２＝｛（Ｆ４、Ｇ４）、
（Ｆ４、Ｇ５）、（Ｆ５、Ｇ４）、（Ｆ５、Ｇ５）｝が
得られる。
【００２１】ステップ１０３：対応ＦＦがないので、ス
テップ１０４に進む。
テップ１０４に進む。
【００２２】ステップ１０４：機能比較によるＦＦ対応
づけを行う。図２はステップ１０４のフローチャートで
ある。以下、図２のフローチャートの処理手順を順次説
明する。
づけを行う。図２はステップ１０４のフローチャートで
ある。以下、図２のフローチャートの処理手順を順次説
明する。
【００２３】ステップ２００（ステップ１０４の開
始）：衝突ＦＦグループのレベルを計算する。
始）：衝突ＦＦグループのレベルを計算する。
【００２４】ここで、衝突ＦＦグループのレベルとは衝
突ＦＦグループに含まれる各ＦＦ対のＦＦのレベルの最
小値であり、ＦＦのレベルとは当該ＦＦから外部入力端
子までのパスに含まれるＦＦの個数の最小値である。本
実施例では、Ｆ１、Ｆ２、Ｇ１、Ｇ２のＦＦのレベルは
１、Ｆ４、Ｆ５、Ｇ４、Ｇ５のＦＦのレベルは２である
ので、衝突グループＣ１のレベルは１、衝突グループＣ
２のレベルは２となる。
突ＦＦグループに含まれる各ＦＦ対のＦＦのレベルの最
小値であり、ＦＦのレベルとは当該ＦＦから外部入力端
子までのパスに含まれるＦＦの個数の最小値である。本
実施例では、Ｆ１、Ｆ２、Ｇ１、Ｇ２のＦＦのレベルは
１、Ｆ４、Ｆ５、Ｇ４、Ｇ５のＦＦのレベルは２である
ので、衝突グループＣ１のレベルは１、衝突グループＣ
２のレベルは２となる。
【００２５】ステップ２０１：衝突ＦＦグループをレベ
ルの昇順にソートする。その結果、衝突グループＣ１、
Ｃ２の順にソートされる。
ルの昇順にソートする。その結果、衝突グループＣ１、
Ｃ２の順にソートされる。
【００２６】ステップ２０２：処理対象の衝突ＦＦグル
ープのインデックスｉを１にセットする。
ープのインデックスｉを１にセットする。
【００２７】ステップ２０３：ｐは衝突ＦＦグループの
個数で２である。ｉ＞ｐ（１＞２）ではないので、ステ
ップ２０４に進む。
個数で２である。ｉ＞ｐ（１＞２）ではないので、ステ
ップ２０４に進む。
【００２８】ステップ２０４（１回目）：衝突ＦＦグル
ープＣ１の各ＦＦ対について機能比較による共有率Ｒｆ
を計算する。図３はステップ２０４のフローチャートで
ある。以下、図３のフローチャートの処理手順を順次説
明する。
ープＣ１の各ＦＦ対について機能比較による共有率Ｒｆ
を計算する。図３はステップ２０４のフローチャートで
ある。以下、図３のフローチャートの処理手順を順次説
明する。
【００２９】ステップ３００（ステップ２０４の開
始）：衝突ＦＦグループのＦＦ対のインデックスｊを１
にセットする。本フローチャートでは衝突ＦＦグループ
のｊ番目のＦＦ対を（ｘｊ、ｙｊ）で表わす。ＦＦ対の
順番はステップ１０２に記した順番とする。
始）：衝突ＦＦグループのＦＦ対のインデックスｊを１
にセットする。本フローチャートでは衝突ＦＦグループ
のｊ番目のＦＦ対を（ｘｊ、ｙｊ）で表わす。ＦＦ対の
順番はステップ１０２に記した順番とする。
【００３０】ステップ３０１：ｑは衝突ＦＦグループに
含まれるＦＦ対の個数で４である。ｊ＞ｑ（１＞４）で
はないので、ステップ３０２に進む。
含まれるＦＦ対の個数で４である。ｊ＞ｑ（１＞４）で
はないので、ステップ３０２に進む。
【００３１】ステップ３０２：Ｃｏｎｅ（Ｆ１）、ある
いはＣｏｎｅ（Ｇ１）に未対応入力ＦＦがあるかどうか
を判定する。
いはＣｏｎｅ（Ｇ１）に未対応入力ＦＦがあるかどうか
を判定する。
【００３２】ここでＦ、をＦＦのラベルとするとき、Ｃ
ｏｎｅ（Ｆ）とはラベルＦのＦＦのデータ入力（Ｄ）端
子を出力とし、ラベルＦのＦＦより入力側にあるＦＦの
データ出力（Ｑ）端子 あるいは外部入力端子を入力とするコーンである。ま
た、ラベルＦのＦＦの入力ＦＦとはデータ出力端子がＣ
ｏｎｅ（Ｆ）の入力となるＦＦであり、当該ＦＦが未対
応のとき、未対応入力ＦＦとなる。
ｏｎｅ（Ｆ）とはラベルＦのＦＦのデータ入力（Ｄ）端
子を出力とし、ラベルＦのＦＦより入力側にあるＦＦの
データ出力（Ｑ）端子 あるいは外部入力端子を入力とするコーンである。ま
た、ラベルＦのＦＦの入力ＦＦとはデータ出力端子がＣ
ｏｎｅ（Ｆ）の入力となるＦＦであり、当該ＦＦが未対
応のとき、未対応入力ＦＦとなる。
【００３３】Ｃｏｎｅ（Ｆ１）には未対応入力ＦＦのＦ
４があり、コーンＧ１には未対応入力ＦＦのＧ４があ
る。従って、ステップ３０３に進む。
４があり、コーンＧ１には未対応入力ＦＦのＧ４があ
る。従って、ステップ３０３に進む。
【００３４】ステップ３０３：Ｃｏｎｅ（Ｆ１）の入力
ＦＦのＦ４とＣｏｎｅ（Ｇ１）の入力ＦＦのＧ４に０を
割り当てる。
ＦＦのＦ４とＣｏｎｅ（Ｇ１）の入力ＦＦのＧ４に０を
割り当てる。
【００３５】ステップ３０４：Ｃｏｎｅ（Ｆ１）とＣｏ
ｎｅ（Ｇ１）の機能比較を行う。コーンの機能はそれぞ
れＣｏｎｅ（Ｆ１）＝１、Ｃｏｎｅ（Ｇ１）＝１である
ので、機能一致となる。
ｎｅ（Ｇ１）の機能比較を行う。コーンの機能はそれぞ
れＣｏｎｅ（Ｆ１）＝１、Ｃｏｎｅ（Ｇ１）＝１である
ので、機能一致となる。
【００３６】ステップ３０５：機能一致であるので、ス
テップ３０６に進む。
テップ３０６に進む。
【００３７】ステップ３０６：Ｃｏｎｅ（Ｆ１）の入力
ＦＦのＦ４とコーンＧ１の入力ＦＦのＧ４に１を割り当
てる。
ＦＦのＦ４とコーンＧ１の入力ＦＦのＧ４に１を割り当
てる。
【００３８】ステップ３０７：Ｃｏｎｅ（Ｆ１）とＣｏ
ｎｅ（Ｇ１）の機能比較を行う。コーンの機能はそれぞ
れＣｏｎｅ（Ｆ１）＝¬（Ｉ０・Ｉ１）、Ｃｏｎｅ（Ｇ
１）＝¬（Ｉ０・Ｉ１）であるので、機能一致となる。
ｎｅ（Ｇ１）の機能比較を行う。コーンの機能はそれぞ
れＣｏｎｅ（Ｆ１）＝¬（Ｉ０・Ｉ１）、Ｃｏｎｅ（Ｇ
１）＝¬（Ｉ０・Ｉ１）であるので、機能一致となる。
【００３９】ステップ３０８：機能一致であるので、ス
テップ３０９に進む。
テップ３０９に進む。
【００４０】ステップ３０９：共有率Ｒｆ（Ｆ１、Ｇ
１）＝１００とする。
１）＝１００とする。
【００４１】ステップ３１１：ｊ＝２とする。
【００４２】以後、ステップ３１１でｊ＝５となるまで
ステップ３０１〜３１１が繰り返され、衝突ＦＦグルー
プＣ１の各ＦＦ対についての共有率Ｒｆが計算される。
ステップ３０１〜３１１が繰り返され、衝突ＦＦグルー
プＣ１の各ＦＦ対についての共有率Ｒｆが計算される。
【００４３】ステップ３０１：ｊ＞ｑ（５＞４）である
から、ステップ２０４の処理を終了する。衝突ＦＦグル
ープＣ１の各ＦＦ対についてのステップ２０４（１回
目）の共有率Ｒｆの計算結果を図６に示す。
から、ステップ２０４の処理を終了する。衝突ＦＦグル
ープＣ１の各ＦＦ対についてのステップ２０４（１回
目）の共有率Ｒｆの計算結果を図６に示す。
【００４４】ステップ２０５：衝突ＦＦグループＣ１に
ついて前記文献に記載の方法で対応ＦＦの判定と衝突Ｆ
Ｆグループの更新を行い、Ｃ１＝｛（Ｆ１、Ｇ１）、
（Ｆ１、Ｇ２）、（Ｆ２、Ｇ１）、（Ｆ２、Ｇ２）｝が
得られる。
ついて前記文献に記載の方法で対応ＦＦの判定と衝突Ｆ
Ｆグループの更新を行い、Ｃ１＝｛（Ｆ１、Ｇ１）、
（Ｆ１、Ｇ２）、（Ｆ２、Ｇ１）、（Ｆ２、Ｇ２）｝が
得られる。
【００４５】ステップ２０６：対応ＦＦがないので、ス
テップ２０７に進む。
テップ２０７に進む。
【００４６】ステップ２０７：ｉ＝２とする。
【００４７】ステップ２０３：ｉ＞ｐ（２＞２）ではな
いので、ステップ２０４に進む。
いので、ステップ２０４に進む。
【００４８】ステップ２０４（２回目）：衝突ＦＦグル
ープＣ２の各ＦＦ対について共有率Ｒｆを計算する。
ープＣ２の各ＦＦ対について共有率Ｒｆを計算する。
【００４９】ステップ３００（ステップ２０４の開
始）：ｊ＝１とする。
始）：ｊ＝１とする。
【００５０】ステップ３０１：ｊ＞ｑ（１＞４）ではな
いので、ステップ３０２に進む。
いので、ステップ３０２に進む。
【００５１】ステップ３０２：Ｃｏｎｅ（Ｆ４）には未
対応入力ＦＦのＦ１、Ｆ２があり、Ｃｏｎｅ（Ｇ４）に
は未対応入力ＦＦのＧ１、Ｇ２がある。従って、ステッ
プ３０３に進む。
対応入力ＦＦのＦ１、Ｆ２があり、Ｃｏｎｅ（Ｇ４）に
は未対応入力ＦＦのＧ１、Ｇ２がある。従って、ステッ
プ３０３に進む。
【００５２】ステップ３０３：Ｃｏｎｅ（Ｆ４）の入力
ＦＦのＦ１、Ｆ２とＣｏｎｅ（Ｇ４）の入力ＦＦのＧ
１、Ｇ２に０を割り当てる。
ＦＦのＦ１、Ｆ２とＣｏｎｅ（Ｇ４）の入力ＦＦのＧ
１、Ｇ２に０を割り当てる。
【００５３】ステップ３０４：Ｃｏｎｅ（Ｆ４）とＣｏ
ｎｅ（Ｇ４）の機能比較を行う。コーンの機能はそれぞ
れＣｏｎｅ（Ｆ４）＝１、Ｃｏｎｅ（Ｇ４）＝１である
ので、機能一致となる。
ｎｅ（Ｇ４）の機能比較を行う。コーンの機能はそれぞ
れＣｏｎｅ（Ｆ４）＝１、Ｃｏｎｅ（Ｇ４）＝１である
ので、機能一致となる。
【００５４】ステップ３０５：機能一致であるので、ス
テップ３０６に進む。
テップ３０６に進む。
【００５５】ステップ３０６：Ｃｏｎｅ（Ｆ４）の入力
ＦＦのＦ１、Ｆ２とＣｏｎｅ（Ｇ４）の入力ＦＦのＧ
１、Ｇ２に１を割り当てる。
ＦＦのＦ１、Ｆ２とＣｏｎｅ（Ｇ４）の入力ＦＦのＧ
１、Ｇ２に１を割り当てる。
【００５６】ステップ３０７：Ｃｏｎｅ（Ｆ４）とＣｏ
ｎｅ（Ｇ４）の機能比較を行う。コーンの機能はそれぞ
れＣｏｎｅ（Ｆ４）＝¬Ｆ３、Ｃｏｎｅ（Ｇ４）＝¬Ｇ
３であり、ＦＦ対（Ｆ３、Ｇ３）は対応ＦＦであるの
で、機能一致となる。
ｎｅ（Ｇ４）の機能比較を行う。コーンの機能はそれぞ
れＣｏｎｅ（Ｆ４）＝¬Ｆ３、Ｃｏｎｅ（Ｇ４）＝¬Ｇ
３であり、ＦＦ対（Ｆ３、Ｇ３）は対応ＦＦであるの
で、機能一致となる。
【００５７】ステップ３０８：機能一致であるので、ス
テップ３０９に進む。
テップ３０９に進む。
【００５８】ステップ３０９：共有率Ｒｆ（Ｆ４、Ｇ
４）＝１００とする。
４）＝１００とする。
【００５９】ステップ３１１：ｊ＝２とする。
【００６０】以後、ステップ３１１でｊ＝５となるまで
ステップ３０１〜３１１が繰り返され、衝突ＦＦグルー
プＣ２の各ＦＦ対についての共有率Ｒｆが計算される。
ステップ３０１〜３１１が繰り返され、衝突ＦＦグルー
プＣ２の各ＦＦ対についての共有率Ｒｆが計算される。
【００６１】ステップ３０１：ｊ＞ｑ（５＞４）である
から、ステップ２０４の処理を終了する。衝突ＦＦグル
ープＣ２の各ＦＦ対についてのステップ２０４（２回
目）の共有率Ｒｆの計算結果を図７に示す。
から、ステップ２０４の処理を終了する。衝突ＦＦグル
ープＣ２の各ＦＦ対についてのステップ２０４（２回
目）の共有率Ｒｆの計算結果を図７に示す。
【００６２】ステップ２０５：衝突ＦＦグループＣ２に
ついて対応ＦＦの判定と衝突ＦＦグループの更新を行
い、対応ＦＦ対（Ｆ４、Ｇ４）、（Ｆ５、Ｇ５）が得ら
れる。
ついて対応ＦＦの判定と衝突ＦＦグループの更新を行
い、対応ＦＦ対（Ｆ４、Ｇ４）、（Ｆ５、Ｇ５）が得ら
れる。
【００６３】ステップ２０６：対応ＦＦがあるので、ス
テップ１０４を終了する。
テップ１０４を終了する。
【００６４】ステップ１０５：対応ＦＦがあるので、ス
テップ１０１に進む。
テップ１０１に進む。
【００６５】ステップ１０１：未対応ＦＦがあるので、
ステップ１０１に進む。
ステップ１０１に進む。
【００６６】ステップ１０２：外部信号／ＦＦ共有率に
よるＦＦ対応づけを行い、対応ＦＦ対（Ｆ１、Ｇ１）、
（Ｆ２、Ｇ２）が得られる。
よるＦＦ対応づけを行い、対応ＦＦ対（Ｆ１、Ｇ１）、
（Ｆ２、Ｇ２）が得られる。
【００６７】ステップ１０３：対応ＦＦがあるので、ス
テップ１０１に進む。
テップ１０１に進む。
【００６８】ステップ１０１：未対応ＦＦがないので、
ステップ１０７に進む。
ステップ１０７に進む。
【００６９】ステップ１０７：以上の処理で得られた対
応ＦＦ対（Ｆ１、Ｇ１）、（Ｆ２、Ｇ２）、（Ｆ３、Ｇ
３）、（Ｆ４、Ｇ４）、（Ｆ５、Ｇ５）を対応ＦＦファ
イル１２２に出力する。
応ＦＦ対（Ｆ１、Ｇ１）、（Ｆ２、Ｇ２）、（Ｆ３、Ｇ
３）、（Ｆ４、Ｇ４）、（Ｆ５、Ｇ５）を対応ＦＦファ
イル１２２に出力する。
【００７０】本実施例によれば、二つの論理回路間のＦ
Ｆ対応づけが可能である。
Ｆ対応づけが可能である。
【００７１】
【発明の効果】上記のように、本発明によれば、外部信
号／ＦＦ共有率によるＦＦ対応づけと強制対応づけでは
ＦＦの対応づけが正確に行われない場合でも、ＦＦの対
応づけを正確に行うことが可能である。
号／ＦＦ共有率によるＦＦ対応づけと強制対応づけでは
ＦＦの対応づけが正確に行われない場合でも、ＦＦの対
応づけを正確に行うことが可能である。
【図面の簡単な説明】
【図１】本発明に基づく二つの論理回路間のＦＦ対応づ
けのフローチャートである。
けのフローチャートである。
【図２】ステップ１０４のフローチャートである。
【図３】ステップ２０４のフローチャートである。
【図４】論理回路１の例である。
【図５】論理回路２の例である。
【図６】１回目のステップ２０４の共有率Ｒｆの計算結
果である。
果である。
【図７】２回目のステップ２０４の共有率Ｒｆの計算結
果である。
果である。
１００〜１０７…二つの論理回路間のＦＦ対応づけステ
ップ、１２０、１２１…論理回路ファイル、 １２２…
対応ＦＦファイル。
ップ、１２０、１２１…論理回路ファイル、 １２２…
対応ＦＦファイル。
───────────────────────────────────────────────────── フロントページの続き (72)発明者 新舎 隆夫 神奈川県秦野市堀山下１番地株式会社日立 製作所汎用コンピュータ事業部内
Claims (3)
- 【請求項１】二つの論理回路間のＦＦ（フリップフロッ
プ）を対応づける方法において、論理回路１と論理回路
２を入力する入力手段と、前記論理回路１と前記論理回
路２の間で外部信号／ＦＦ共有率によるＦＦ対応づけを
行うＦＦ対応づけ手段１と、前記ＦＦ対応づけ手段１で
対応ＦＦがない場合に機能比較によるＦＦ対応づけを行
うＦＦ対応づけ手段２と、前記ＦＦ対応づけ手段手段２
で対応ＦＦがない場合に強制対応づけによりＦＦを対応
づけるＦＦ対応づけ手段３と、前記ＦＦ対応づけ手段１
〜３で対応づけた対応ＦＦを出力する出力手段からなる
ことを特徴とする二つの論理回路間のＦＦの対応づけ方
法。 - 【請求項２】前記ＦＦ対応づけ手段２は、前記ＦＦ対応
づけ手段１で作成される衝突ＦＦグループのレベルを計
算する手段と、前記衝突ＦＦグループをレベルの昇順に
ソートする手段と、前記衝突ＦＦグループをソートされ
た順番に取り出し、前記衝突ＦＦグループ内の各ＦＦ対
に対して機能比較による共有率Ｒｆを計算する手段と、
前記Ｒｆに基づき、対応ＦＦの判定と前記衝突ＦＦグル
ープの更新を行う手段からなることを特徴とする前記請
求項１に記載の二つの論理回路間のＦＦの対応づけ方
法。 - 【請求項３】前記機能比較による共有率Ｒｆを計算する
手段は、ＦＦ対の二つのＦＦをそれぞれ出力とする二つ
のコーン（１出力組み合わせ論理）に対して、未対応の
入力があればそれらの入力にすべて０を割り当てて前記
二つのコーンの機能比較を行う機能比較手段１と、未対
応の入力があればそれらの入力にすべて１を割り当てて
前記二つのコーンの機能比較を行う機能比較手段２と、
前記機能比較手段１、２の結果がともに機能一致ならば
前記Ｒｆを１００とし、そうでなければ前記Ｒｆを０と
する手段からなることを特徴とする前記請求項１に記載
の二つの論理回路間のＦＦの対応づけ方法。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP8162718A JPH1011473A (ja) | 1996-06-24 | 1996-06-24 | 二つの論理回路間のフリップフロップの対応づけ方法 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP8162718A JPH1011473A (ja) | 1996-06-24 | 1996-06-24 | 二つの論理回路間のフリップフロップの対応づけ方法 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH1011473A true JPH1011473A (ja) | 1998-01-16 |
Family
ID=15759973
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP8162718A Pending JPH1011473A (ja) | 1996-06-24 | 1996-06-24 | 二つの論理回路間のフリップフロップの対応づけ方法 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH1011473A (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| WO2013080676A1 (ja) | 2011-11-30 | 2013-06-06 | セントラル硝子株式会社 | フルオロアルカンスルホン酸無水物の製造方法 |
-
1996
- 1996-06-24 JP JP8162718A patent/JPH1011473A/ja active Pending
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| WO2013080676A1 (ja) | 2011-11-30 | 2013-06-06 | セントラル硝子株式会社 | フルオロアルカンスルホン酸無水物の製造方法 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US7016896B2 (en) | Pattern search method, pattern search apparatus and computer program therefor, and storage medium thereof | |
| JP2003044267A (ja) | データソート方法、データソート装置およびデータソートプログラム | |
| JPH1063707A (ja) | 論理回路検証装置および論理回路検証方法 | |
| JPH0756656B2 (ja) | ゲ−ト論理自動更新方法 | |
| US4922445A (en) | Logic circuit simulation method | |
| US20050278175A1 (en) | Searching for symbol string | |
| CA2006230C (en) | Method and apparatus for validating character strings | |
| JPH1011473A (ja) | 二つの論理回路間のフリップフロップの対応づけ方法 | |
| JP3534471B2 (ja) | マージソート方法及びマージソート装置 | |
| JP2002149737A (ja) | 二つの論理回路間のフリップフロップの対応づけ方法 | |
| JPH10340278A (ja) | 論理等価性検証方法および論理等価性検証装置 | |
| US6877140B1 (en) | Method and system for generating a schematic representing bus structures | |
| JPH0743728B2 (ja) | 要約文生成方式 | |
| US20240289621A1 (en) | Neural network model conversion device and method | |
| CN111400320B (zh) | 用于生成信息的方法和装置 | |
| JPS60583A (ja) | 単語認識方式 | |
| JPH08153129A (ja) | 再利用容易化装置 | |
| JP2845173B2 (ja) | 論理照合方式 | |
| JPH05165918A (ja) | 論理回路の生成方法 | |
| JP2896315B2 (ja) | 論理シミュレーション方法 | |
| JP2897539B2 (ja) | ハードウェア記述自動生成方法とその装置 | |
| JPH01232436A (ja) | 単一化候補項の選択装置 | |
| JP2797955B2 (ja) | 期待値照合装置および方法 | |
| JP2839574B2 (ja) | 不定値を含む論理回路の照合方式 | |
| KR100519698B1 (ko) | 객체 모델에서 단어 정보를 활용한 클래스간의 유사성 측정방법 |