JPH06180735A

JPH06180735A - 論理回路自動生成方法

Info

Publication number: JPH06180735A
Application number: JP4332929A
Authority: JP
Inventors: Rikako Suzuki; 理香子鈴木; Toru Shonai; 亨庄内; Naohiro Kageyama; 直洋影山; Takashi Okada; 崇岡田; Tsuguo Shimizu; 嗣雄清水; Yoshiaki Kinoshita; 佳明木下
Original assignee: Hitachi Ltd
Current assignee: Hitachi Ltd
Priority date: 1992-12-14
Filing date: 1992-12-14
Publication date: 1994-06-28

Abstract

(57)【要約】【目的】統合化により再収斂パスが発生することを回
避する。【構成】統合化対象選択部（１７００）は、論理回路
データα（４００）中から統合化対象の演算器を選択す
る。再収斂パスチェック部（１８００）は、統合対象の
演算器を統合化した場合に再収斂パスが発生するか否か
をチェックする。統合化処理部（１９００）は、再収斂
パスが発生しない場合に、統合化を実行して新たな論理
回路データβ（１１００）を出力する。再収斂パスが発
生する場合は、統合化をしないか，ユーザの許可を得て
から統合化する。【効果】再収斂パスの発生による故障診断率の低下お
よびディレイ特性の悪化を防ぐことが出来る。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、論理回路自動生成方法
に関し、さらに詳しくは、演算器の統合化により再収斂
パスが発生するか否かをチェックし，その結果に従って
統合化を行うか否かを決定する論理回路自動生成方法に
関する。

【０００２】

【従来の技術】論理設計の初期段階では、まず、大まか
な論理構造（演算器やレジスタ等の論理回路の構成要素
やそれらの接続関係や使用条件）が決まる。次に、その
大まかな論理構造を、論理回路のゲート数を削減する方
向へ変更する。この論理構造の変更を、複数個の演算器
を１つに統合化することにより行う論理回路自動生成方
法が、例えば特開平２−３９３７６号公報に開示されて
いる。ただし、統合化する演算器を、ユーザが指示する
必要がある。

【０００３】一方、統合化する演算器を，ユーザが指示
せず，自動的に決定する論理回路自動生成方法が、例え
ば、Ｎ.Ｐark（ＵＣＩ）などによる“Ｍodule Ａssignm
entand Ｉnterconnect Ｓharing in Ｒesister−Ｔrans
fer Ｓynthesis of Ｐipelined Ｄata Ｐaths”，ＩＣ
ＣＡＤ’８９ｐｐ.16-19”に記載されている。この論
理回路自動生成方法では、パス（信号の伝達路）の共通
度が高い順に演算器を選んで、統合化の対象を決定す
る。

【０００４】

【発明が解決しようとする課題】統合化を行った場合、
統合化後の演算器の前にセレクタが挿入されるが、この
セレクタに入力信号が分岐するため、再収斂パス（一度
分岐してから再び合流するパス）が出現することがあ
る。この再収斂パスについて、図１９および図２０を用
いて説明する。

【０００５】図１９は、統合化前の論理回路の例であ
る。Ａ（２０１），Ｃ（２０２），Ｂ（２０３），Ｄ
（２０４），Ｃ１（２０５），Ｃ２（２０６），Ｃ３
（２０７）は、入力信号である。Ｚ（２１４）は、出力
信号である。（２０８），（２０９）は、演算器であ
る。（２１３）は、セレクタである。（Ｃ１）（２１
０）は、入力信号Ｃ１（２０５）が“１”になったとき
に演算器（２０８）からの信号がセレクタ（２１３）で
選択されることを示している。（Ｃ２）（２１１），
（Ｃ３）（２１２）も同様である。

【０００６】図２０は、図１９の論理回路の２つの演算
器（２０８）と（２０９）を１つの演算器（３０２）に
統合化した結果の論理回路である。統合化後の演算器
（３０２）の前に、セレクタ（３０１）が挿入されてい
る。このセレクタ（３０１）に入力信号Ｃ１（２０５）
が分岐するため、入力信号Ｃ１（２０５）から出力信号
Ｚ（２１４）へのパスが再収斂パスとなっている。入力
信号Ｃ２（２０６）から出力信号Ｚ（２１４）へのパス
も同様に再収斂パスとなっている。このような再収斂パ
スが存在すると、論理回路の故障診断検出率が低下し、
ディレイ特性も悪くなる。

【０００７】しかし、従来の論理回路自動生成方法で
は、統合化により再収斂パスが発生するか否かを考慮し
ていない問題点がある。そこで、本発明の目的は、再収
斂パスの発生の有無をチェックし、その結果に従って統
合化を行うか否かを決定するようにした論理回路自動生
成方法を提供することにある。。

【０００８】

【課題を解決するための手段】第１の観点では、本発明
は、論理回路の構成要素とそれらの接続関係と使用条件
とを記述した論理回路データおよび統合化対象の演算器
種を示す統合化対象演算器種情報を入力する入力ステッ
プと、前記論理回路データ中から統合化対象の複数個の
演算器を選択する統合化対象選択ステップと、それら選
択した統合化対象の各演算器の使用条件の論理和を条件
１とし，統合化対象の演算器の出力を入力とする構成要
素から見て統合化対象の演算器の出力と同等の入力とな
る統合化対象外の演算器または信号の使用条件の論理和
を条件２とし，条件１と条件２の背反性をチェックし，
背反である場合または条件２が存在しない場合は再収斂
パスが発生しないと判定し，背反でない場合は再収斂パ
スが発生すると判定する再収斂パス判定ステップと、再
収斂パスが発生しないと判定した場合に，統合化対象の
複数個の演算器を同じ機能の１個の演算器およびその演
算器の入力を選択するセレクタと置き換え，且つ，条件
２が存在する場合は前記条件１を入力する論理部分を前
記条件２の論理否定を入力する論理部分に置き換える置
換ステップとを有することを特徴とする論理回路自動生
成方法を提供する。

【０００９】第２の観点では、本発明は、上記論理回路
自動生成方法において、再収斂パス判定ステップで再収
斂パスが発生すると判定した場合に、その統合化を中止
する統合化中止ステップを更に有することを特徴とする
論理回路自動生成方法を提供する。

【００１０】第３の観点では、本発明は、上記論理回路
自動生成方法において、再収斂パス判定ステップで再収
斂パスが発生すると判定した場合に、統合化処理を試行
して再収斂パスが発生する論理回路を生成し，その論理
回路を再収斂パスを強調して表示する再収斂パス強調表
示ステップを更に有することを特徴とする論理回路自動
生成方法を提供する。

【００１１】第４の観点では、本発明は、上記論理回路
自動生成方法において、再収斂パス判定ステップで再収
斂パスが発生すると判定した場合に、その統合化を禁止
するか許可するかの指示をユーザに問い合せ，再収斂パ
ス禁止指示が与えられたときはその統合化を中止し，再
収斂パス許可指示が与えられたときはその統合化を進め
るユーザ指示実行ステップを更に有することを特徴とす
る論理回路自動生成方法を提供する。

【００１２】

【作用】上記第１の観点による論理回路自動生成方法で
は、統合化対象の複数個の演算器を選択し、再収斂パス
が発生するか否かをチェックし、再収斂パスが発生しな
いと判定した場合には統合化対象の複数個の演算器を同
じ機能の１個の演算器およびその演算器の入力を選択す
るセレクタと置き換え，且つ，統合化対象の演算器の出
力を入力とする構成要素から見て統合化対象の演算器の
出力と同等の入力となる統合化対象外の演算器または信
号が存在する場合は、それらの使用条件の論理否定で、
統合化対象の各演算器の使用条件を置き換える。そこ
で、再収斂パスを作り込むような統合化を回避可能にな
る。

【００１３】上記第２の観点による論理回路自動生成方
法では、再収斂パスが発生すると判定した場合には、そ
の統合化を行わない。そこで、再収斂パスを作り込むよ
うな統合化を防止できるようになる。

【００１４】上記第３の観点による論理回路自動生成方
法では、再収斂パスが発生すると判定した場合には、再
収斂パスを含む統合化後の論理回路をユーザに提示す
る。そこで、ユーザは、提示された情報を基にして、容
易に対応策を検討できるようになる。

【００１５】上記第４の観点による論理回路自動生成方
法では、再収斂パスが発生すると判定した場合には、そ
の統合化を禁止するか許可するかの指示をユーザが与え
ることが出来るようになる。

【００１６】

【実施例】以下、本発明の実施例を図面を用いて説明す
る。図１は、本発明の論理回路自動生成方法を実施する
論理回路自動生成システム１の構成図である。なお、こ
の論理回路自動生成システム１は、汎用計算機上でソフ
トウエアにより構築されるもので、以下に説明する各部
はそれぞれプログラムである。

【００１７】図１に示すように、論理回路自動生成シス
テム１は、論理回路データα（４００），統合化対象演
算器種情報（６００）およびユーザの指示（４０００）
を入力とし、再収斂パス報告（３０００）および論理回
路データβ（１１００）を出力とするもので、統合化対
象選択部（１７００）と再収斂パスチェック部（１８０
０）と統合化処理部（１９００）と再収斂パス報告部
（２０００）と再収斂パス禁止指示部（１５００）とか
ら構成されている。また、前記再収斂パスチェック部
（１８００）は、要素使用条件探索部（１８１０）と背
反性チェック部（１８２０）とから構成されている。ま
た、前記統合化処理部（１９００）は、統合化演算器生
成部（１９１０）とセレクタ生成部（１９２０）と演算
器置き換え部（１９３０）とから構成されている。

【００１８】図２は、前記論理回路自動生成システム１
の全体処理フロー図である。入力処理（１６００）で
は、論理回路データα（４００）および統合化対象演算
器種情報（６００）を読み込む。論理回路データα（４
００）は、論理回路の論理構造を記述したデータであ
る。この論理回路データα（４００）をテーブル表現に
した論理回路データテーブル（５）の一例を図７に示
す。また、図７の論理回路データテーブル（５）をグラ
フ表現にした論理回路データグラフ（４）を図８に例示
する。さらに、統合化対象演算器種情報（６００）の一
例を図９に示す。

【００１９】図７の論理回路データテーブル（５）は、
要素テーブル（５００）と条件式テーブル（５５０）と
からなっている。要素テーブル（５００）は、要素種
（５０１），入力（５０２），出力（５０３）の３つの
フィールドからなる。要素種（５０１）には構成要素の
種類（例えばＡＤは加算器，ＳＬはセレクタ）を登録
し、入力（５０２）には構成要素への入力情報を登録
し、出力（５０３）には構成要素の出力情報を登録す
る。条件式テーブル（５５０）は、条件（５５１），ブ
ール式（５５２）の２つのフィールドからなる。条件
（５５１）にはセレクタへの入力条件となる信号名を登
録し、ブール式（５５２）には入力条件を表すブール式
を登録する。なお、ブール式（５５２）において、
「＾」は論理否定を表す記号であり、「＆」は論理積を
表す記号である。

【００２０】図８の論理回路データグラフ（４）の各ノ
ードは、図７の要素テーブル（５００）の各エントリに
対応している。Ａ（４０１），Ｃ（４０２），Ｂ（４０
３），Ｄ（４０４），Ｃ１（４０５），Ｃ２（４０
６），Ｃ３（４０７）は、入力信号である。ＡＤ（４０
８），ＡＤ（４０９）は、演算器である。ＳＬ（４１
０）は、セレクタである。Ｚ（４１１）は、出力信号で
ある。なお、図７の論理回路データテーブル（５）を回
路表現にすると、図１９の論理回路になる。

【００２１】図９の統合化対象演算器種情報（６００）
は、統合化対象演算器種（６０１）のフィールドからな
る。この統合化対象演算器種（６０１）において、ＧＴ
は大小判定器，ＥＱは一致判定器，Ａ１はインクリメン
ト器，Ｂ１はデクリメント器である。

【００２２】図２に戻り、統合化対象選択処理（１７０
０）では、統合化対象の演算器を選択し、図１０に示す
如き統合化対象テーブル（７００）を作成して出力す
る。この統合化対象選択処理（１７００）の詳細を図３
に示す。図３に示すように、統合化対象選択処理（１７
００）は、ステップ（１７０１）からなる。ステップ
（１７０１）では、要素テーブル（５００）に登録され
ている演算器の中に同種の演算器が複数存在し，かつ，
その演算器種が統合化対象演算器種情報（６００）に登
録されているか否かを調べる。登録されている場合の
み、それらの演算器を統合化対象として選択し、統合化
対象テーブル（７００）に登録する。例えば、図７の要
素テーブル（５００）中に演算器種ＡＤが複数存在し，
かつ，演算器種ＡＤは図９の統合化対象演算器種情報
（６００）に登録されているので、演算器テーブル（５
００）の１行目のエントリの演算器と２行目のエントリ
の演算器は統合化対象として選択される。

【００２３】図１０に示すように、統合化対象テーブル
（７００）は、演算器テーブル行番号（７０１）および
演算器種（７０２）の２つのフィールドからなってい
る。演算器テーブル行番号（７０１）には、統合化の対
象として選択した演算器に対応する要素テーブル（５０
０）中のエントリの行番号を登録する。演算器種（７０
２）には、当該演算器の種類を登録する。なお、図１０
の統合化対象テーブル（７００）は、図７の要素テーブ
ル（５００）と図９の統合化対象演算器種情報（６０
０）とに基づいて得られたものである。

【００２４】図２に戻り、再収斂チェック処理（１８０
０）では、演算器を統合化した場合に再収斂パスが発生
するか否かをチェックする。この再収斂チェック処理
（１８００）の詳細を図４に示す。図４に示すように、
再収斂チェック処理（１８００）は、ステップ（１８０
１）とステップ（１８０２）とからなる。

【００２５】ステップ（１８０１）は、要素使用条件探
索部（１８１０）に対応する処理であり、ステップ１，
ステップ２およびステップ３からなる。ステップ１で
は、要素テーブル（５００）の各エントリについて、そ
の出力信号を起点に論理回路データグラフ（４）を訪問
し、各要素の使用条件を求め、図１１に示す如き要素使
用条件テーブル（８００）に登録する。例えば、図８の
論理回路データグラフ（４）についての訪問は次のよう
に行われる。図８の論理回路データグラフ（４）で、出
力信号Ｚ（４１１）を起点にして深さ優先でグラフをた
どると、セレクタ（４１０），加算器（４０８），入力
信号Ａ（４０１），入力信号Ｃ（４０２），加算器（４
０８），セレクタ（４１０），加算器（４０９），入力
信号Ｃ（４０２），入力信号Ｂ（４０３），加算器（４
０９），セレクタ（４１０），入力信号Ｄ（４０４），
セレクタ（４１０）の順に構成要素と信号とが順に出現
する。セレクタ（４１０）を通るたびにセレクタ（４１
０）のデータ入力に対応する制御信号入力を求める。そ
の制御信号入力が使用条件である。そこで、加算器（４
０８）の使用条件はＣ１となり、加算器（４０９）の使
用条件はＣ２となり、セレクタ（４１０）の使用条件は
Ｃ１，Ｃ２，Ｃ３となる。この結果、図１１の要素使用
条件テーブル（８００）が得られることになる。

【００２６】図１１に示すように、要素使用条件テーブ
ル（８００）は、要素種（８０１）と使用条件（８０
２）の２つのフィールドからなる。要素種（８０１）
は、要素テーブル（５００）の要素種（５０１）と同じ
ものである。使用条件（８０２）には、各要素の使用条
件を登録する。図４に戻り、ステップ２では、統合化対
象テーブル（７００）に登録された演算器の使用条件の
論理和を（条件１）とする。例えば、図１０の統合化対
象テーブル（７００）に登録された２つの加算器の使用
条件は、図１１の要素使用条件テーブル（８００）より
Ｃ１，Ｃ２であるから、（条件１）＝Ｃ１orＣ２となる。

【００２７】ステップ３では、統合化対象の演算器の出
力を入力とする構成要素から見て統合化対象の演算器の
出力と同等の入力となる統合化対象外の演算器または信
号の使用条件の論理和を（条件２）とする。例えば、図
１０の統合化対象テーブル（７００）に登録された２つ
の加算器の出力を入力とするのは、図８におけるセレク
タ（４１０）であり、このセレクタ（４１０）から見て
統合化対象の演算器（４０８），（４０９）の出力と同
等の入力となるのは入力信号Ｄ（４０４）であり、その
使用条件はＣ３である。従って、（条件２）＝Ｃ３となる。

【００２８】背反性チェック（１８０２）は、背反性チ
ェック部（１８２０）に対応する処理である。この背反
性チェック（１８０２）では、上記（条件１）と（条件
２）の排他的論理和をとり、それが常に“１”であるな
ら、（条件１）と（条件２）は背反であると判定し、そ
うでないなら背反でないと判定する。常に“１”である
か否かは、図１２の（１）に示すようにブール式（９０
２）の変換によって計算できる。また、図１２の（２）
に示すようにカルノーマップ（９０３）を作成し、マッ
プの全ての要素が“１”になるかを調べることによって
判る。なお、図１２の（１）に示すブール式（９０２）
において、「！」は論理和を表す記号であり、「％」は
排他的論理和を表す記号である。（条件１）と（条件
２）が背反である場合、（条件１）は（条件２）の論理
否定で置換できるので、再収斂パスの発生を回避できる
（つまり、再収斂パスは発生しない）。また、（条件
２）が存在しない場合にも、再収斂パスは発生しない。

【００２９】図２に戻り、再収斂発生判定処理（１６１
０）では、再収斂パスが発生するなら、再収斂パス報告
処理（２０００）を実行する。再収斂パスが発生しない
なら、再収斂パス禁止指示判定（１６２０）に進む。図
１２の例では、再収斂パスが発生しないので、再収斂パ
ス禁止指示判定または再収斂パス発生なし判定（１６２
０）に進む。

【００３０】再収斂パス禁止指示判定または再収斂パス
発生なし判定（１６２０）では、再収斂パスの禁止指示
が入力されなかった場合または再収斂パスが発生しない
場合に、統合化処理（１９００）を行う。

【００３１】統合化処理（１９００）では、演算器の統
合化を行い、その結果を論理回路データβ（１１００）
として出力する。この統合化処理（１９００）の詳細を
図５に示す。図５に示すように、統合化処理（１９０
０）は、ステップ（１９０１）とステップ（１９０２）
とステップ（１９０３）とからなる。

【００３２】ステップ（１９０１）は、統合化演算器生
成部（１９１０）に対応する処理であり、統合化対象の
複数の演算器について同じ種類の演算器を新規に１つ生
成する。例えば、図８の２つの加算器（４０８），（４
０９）について、図１３に示す加算器（１００２）を生
成する。

【００３３】ステップ（１９０２）は、セレクタ生成部
（１９２０）に対応する処理であり、統合化対象の複数
の演算器に対する入力信号を選択するセレクタを生成す
る。例えば、図１３に示すセレクタ（１００１）を生成
する。このセレクタ（１００１）は、条件Ｃ１（４０
５）のときに入力信号Ａ（４０１）を選択し、条件Ｃ２
（４０６）のときに入力信号Ｂ（４０３）を選択する。

【００３４】ステップ（１９０３）は、演算器置き換え
部（１９３０）に対応する処理であり、統合化対象の演
算器を前記新規演算器およびセレクタと置換する。例え
ば、図８の加算器（４０８），（４０９）を、図１１の
セレクタ（１００１）および加算器（１００２）に置換
する。これにより、図１４に示す論理回路データグラフ
（１１）が得られる。この論理回路データグラフ（１
１）では、上記背反性チェック処理（１８０２）で説明
したように、（条件式１）＝Ｃ１（４０５）orＣ２（４
０６）を、（条件式２）＝Ｃ３（４０７）の論理否定＾
Ｃ３（１１０２）で置換して、再収斂パスの発生を回避
している。そして、この論理回路データグラフ（１１）
に対応する論理回路データβ（１１００）が出力され
る。論理回路データβ（１１００）のテーブル表現の例
を図１５に示す。また、論理回路データβ（１１００）
の回路表現の例を図１６に示す。

【００３５】図２に戻り、再収斂パス報告処理（２００
０）では、再収斂発生判定処理（１６１０）で再収斂パ
スが発生すると判定された場合に、再収斂パスをディス
プレイに表示する。この再収斂パス報告処理（２００
０）の詳細を図６に示す。図６に示すように、再収斂パ
ス報告処理（２０００）は、ステップ（２００１）とス
テップ（２００２）とからなる。ステップ（２００１）
では、統合化処理（１９００）を試行する。この統合化
処理（１９００）の試行により、例えば、図２０に示す
論理回路（３）が得られる。ステップ（２００２）で
は、前記ステップ（２００１）で得られた論理回路のグ
ラフ表現をディスプレイに表示すると共に再収斂パスと
なっている部分を強調表示する。これが再収斂パス報告
（３０００）である。図１７に、ディスプレイの表示例
を示す。図１７では、実線で示した結線が再収斂パスで
ある。

【００３６】ユーザは、再収斂パス報告（３０００）を
見て、再収斂パス禁止指示または再収斂パス許可指示を
与えることが出来る。図１８に、再収斂パス禁止指示の
例を示す。再収斂パス禁止指示が与えられると、再収斂
パス禁止指示部（１５００）は、再収斂パスを作り込む
ような統合化を禁止する。この結果、論理回路の統合化
がなされないので、論理回路の故障診断率の悪化，ディ
レイ特性の悪化を防止することが出来る。一方、再収斂
パス許可指示が与えられると、再収斂パス禁止指示部
（１５００）は、再収斂パスを作り込むような統合化を
許可する。この結果、図２０に示すような再収斂パスを
含む論理回路の統合化がなされることになる。

【００３７】

【発明の効果】本発明の論理回路自動生成方法によれ
ば、再収斂パスを作り込むような統合化を回避したり禁
止したりすることが可能になる。従って、論理回路の故
障診断率の悪化やディレイ特性の悪化を防止することが
出来る。また、ユーザは、再収斂パスを含む統合化後の
論理回路を見ながら対応策を検討できるようになる。さ
らに、再収斂パスが発生するような統合化を禁止するか
許可するかの指示を、ユーザが与えられるようになる。

【図面の簡単な説明】

【図１】本発明に係る論理回路自動生成システムの一実
施例の構成図である。

【図２】図１の論理回路自動生成システムの全体フロー
図である。

【図３】統合化対象選択処理のフロー図である。

【図４】再収斂チェック処理のフロー図である。

【図５】統合化処理のフロー図である。

【図６】再収斂パス報告処理のフロー図である。

【図７】論理回路データテーブルの例示図である。

【図８】論理回路データグラフの例示図である。

【図９】統合化対象演算器種情報の例示図である。

【図１０】統合化対象テーブルの例示図である。

【図１１】要素使用条件テーブルの例示図である。

【図１２】背反性チェックの説明図である。

【図１３】新規演算器およびセレクタの例示図である。

【図１４】生成された論理回路データグラフの例示図で
ある。

【図１５】生成された論理回路データテーブルの例示図
である。

【図１６】生成された論理回路の例示図である。

【図１７】再収斂パス報告の表示の例示図である。

【図１８】再収斂パス禁止指示の例示図である。

【図１９】統合化前の論理回路の例示図である。

【図２０】統合化により再収斂パスを発生した論理回路
の例示図である。

【符号の説明】

１論理回路自動生成システム４００論理回路データα １１００論理回路データβ １５００再収斂パス禁止指示部１７００統合化対象選択部１８００再収斂パスチェック部１９００統合化処理部２０００再収斂パス報告部

───────────────────────────────────────────────────── フロントページの続き (72)発明者岡田崇東京都国分寺市東恋ケ窪１丁目280番地株式会社日立製作所中央研究所内 (72)発明者清水嗣雄東京都国分寺市東恋ケ窪１丁目280番地株式会社日立製作所中央研究所内 (72)発明者木下佳明神奈川県秦野市堀山下１番地株式会社日立製作所神奈川工場内

Claims

【特許請求の範囲】

【請求項１】論理回路の構成要素とそれらの接続関係
と使用条件とを記述した論理回路データおよび統合化対
象の演算器種を示す統合化対象演算器種情報を入力する
入力ステップと、前記論理回路データ中から統合化対象
の複数個の演算器を選択する統合化対象選択ステップ
と、それら選択した統合化対象の各演算器の使用条件の
論理和を条件１とし，統合化対象の演算器の出力を入力
とする構成要素から見て統合化対象の演算器の出力と同
等の入力となる統合化対象外の演算器または信号の使用
条件の論理和を条件２とし，条件１と条件２の背反性を
チェックし，背反である場合または条件２が存在しない
場合は再収斂パスが発生しないと判定し，背反でない場
合は再収斂パスが発生すると判定する再収斂パス判定ス
テップと、再収斂パスが発生しないと判定した場合に，
統合化対象の複数個の演算器を同じ機能の１個の演算器
およびその演算器の入力を選択するセレクタと置き換
え，且つ，条件２が存在する場合は前記条件１を入力す
る論理部分を前記条件２の論理否定を入力する論理部分
に置き換える置換ステップとを有することを特徴とする
論理回路自動生成方法。
【請求項２】請求項１に記載の論理回路自動生成方法
において、再収斂パス判定ステップで再収斂パスが発生
すると判定した場合に、その統合化を中止する統合化中
止ステップを更に有することを特徴とする論理回路自動
生成方法。
【請求項３】請求項１に記載の論理回路自動生成方法
において、再収斂パス判定ステップで再収斂パスが発生
すると判定した場合に、統合化処理を試行して再収斂パ
スが発生する論理回路を生成し，その論理回路を再収斂
パスを強調して表示する再収斂パス強調表示ステップを
更に有することを特徴とする論理回路自動生成方法。
【請求項４】請求項１または請求項３に記載の論理回
路自動生成方法において、再収斂パス判定ステップで再
収斂パスが発生すると判定した場合に、その統合化を禁
止するか許可するかの指示をユーザに問い合せ，再収斂
パス禁止指示が与えられたときはその統合化を中止し，
再収斂パス許可指示が与えられたときはその統合化を進
めるユーザ指示実行ステップを更に有することを特徴と
する論理回路自動生成方法。