JPH0319085A - 論理設計支援装置 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 ［発明の目的］ （産業上の利用分野） この発明は、論理回路設計あるいはその初期段階の機能
設計等の論理設計において、入力された論理情報を解析
し、論理関係の矛盾ないし冗長性を指摘し、最適化を計
り、あるいは任意のデータパスを指定し、テストパター
ンを生成し、あるいはテストパターンを用いてシミュレ
ーションを行い、動作結果を前記論理情報等と対応付け
て表示し、あるいは前記論理情報に対する図／記述の相
互変換を行い、対照しながら表示する等の各種手段を備
えて、論理設計及びこれに付帯する各種作業を容易・迅
速・正確に効率良く行えるよう支援する論理設計支援装
置に関する。

（従来の技術） 各種の制御や処理等の機能を実現する論理回路の論理設
計を行う場合に、初期段階としての機能設計や、具体的
な論理回路設計などの各段階がある。

機能設計では、論理回路の大まかな構成要素を考え（ブ
ロック図等による）１例えば状態遷移図等を用いて、構
成要素間でのデータ転送をどの様に制御するか等のレジ
スタートランスファーレヘルでの設計等を機能記述等を
用いて行う、また、論理回路設計では、より具体的な論
理回路の構成要素を考え、これらの構成要素間の接続関
係等を論理回路図や論理接続記述等により設計する。

そして、いずれも、前記機能記述や論理接続記述等を用
いて当該論理回路のシミュレーションを実行し、所望の
動作をするか否かを確認する。

ここで、シミュレーションを実行するために必要なテス
トパターンは、当該論理回路の設計者等が１回路動作の
仕様を念頭に置き、また論理回路の接続関係を辿りなが
ら作成する。

そして、シミュレーションを実行した結果、回路の動作
に誤りがあると判断されるときには、その原因となる回
路部分を探して回路の変更等を行った後、再度シミュレ
ーションを実行して回路の動作を確認する。

（発明が解決しようとする課題） 論理設計された回路を動作させるためのテストパターン
は、回路の動作仕様を考慮しながら、回路の各構成要素
間の相互関係を９考にし、機能図や論理回路図、あるい
は機能記述や論理接続記述上で信号名を辿って注意深く
作成しなければならず、煩わしく手間のかかる作業であ
る。

また機能設計においては、頭の中で考えている回路動ｆ
ヤ、あるいは機能仕様書などに基いて機能記述などを作
成する。この段階では、論理関係の最適化等は殆ど考慮
せず、該当する条件等を次々に記述していく、このとき
、往々にして１条件の記述関係等に矛盾や冗長部分等が
生じることが多い、これへの矛盾等を、設計者等がシミ
ュレーションを実行し、あるいはそのためのテストパタ
ーンを作成する中で発見し、修正していくのでは非常に
時間がかかり、またこれらを見逃してしまう危険性も高
い。

従って、このような機能記述等の入力段階で、各種条件
信号の論理関係等を抽出して整理し、設計者などに表示
することができれば、前記矛盾等に対する回路修正等を
迅速に行うことが可能になり、また条件信号の組合わせ
の最適化等も行えるようになる。さらにレジスタ等の構
成要素間の信号転送経路及びその論理段数と転送タイミ
ングクロックとの論理関係を解析し、整理して表示する
ことができれば、転送タイミングの誤りや、レジスタ等
の構成要素間での論理演算処理などから見てタイミング
的に難しいと思われるような部分を容易に発見すること
ができる。

にもかかわらず、従来は、この様な各種機能を備えて論
理設計等を容易にし、迅速　正確に効率良く行えるよう
にするような支ｔａ装置は存在していなかった。

この発明は、この様な従来の事情に鑑み成されたもので
、上述したような各種機能等を備え、論理設計及びこれ
に付帯する各種作業を容易　迅速正確に効率良く行える
よう支援するような論理設計支援装置を提供することを
目的とする。

［発明の構成コ （課題を解決するための手段） この様な目的を達成するために、この発明に係る論理設
計支援装置では１次のような各手段を備えて構成してい
る。

即ち、論理回路の論理情報に基き、データ信号が伝搬す
る任意のデータパスを指定するデータパス指定手段と、 このデータパス指定手段により指定されたデータパスを
活性化させる、制ｍ信号が満たすべき条件を前記論理情
報を用いて抽出し、該データパスを検査するテストパタ
ーンを生成するテストパターン生成手段とを備えて構成
している。

また、前記データパス指定手段として、機能図又は論理
回路図エディタにより入力された機能図又は論理回路図
を表示し、該図上の構成要素の端子もしくは構成要素間
の結線を指定することによりデータ信号の伝搬経路を特
定する手段、あるいは、 機能記述又は論理接続記述により入力された論理情報の
各構成要素及び／もしくは各信号の入出力接続関係を表
示し、各構成要素又は各信号を指定することによりデー
タ信号の伝搬経路を特定する手段を有する。。

また、前記データパス指定手段によりデータ信号が伝搬
する任意のデータパスを指定する際に、特定された信号
経路を活性化するための各信号値を、機能Ｕ！Ｕ／論理
回路図あるいは機能記述／論理接続記述の対応する接続
関係と共に表示する手段を有する。

あるいは、論理回路の論理ゲート情報もしくは接続情報
の論理情報と、当該論理回路に対する任意のテストパタ
ーンとを入力とし、前記論理情報に従い当該論理回路の
動作をシミュレートするシミュレート手段と、 前記テストパターンが検査対象とする当該論理回路内の
データパスに関する情報を受け、前記シミュレート手段
によるシミュレーションの動作結果を前記データパス、
前記論理情報、及びテストパターンと対応ｆ旧すて表示
可能にする解析手段とを備えている。

あるいは、論理情報を機能図又は論理回路図エディタに
より入力する図面入力手段、もしくは論理情報を機能記
述又は論理接続記述により入力する記述入力手段と、 前記図面入力手段により入力された機能図又は論理回路
図に対応する機能記述又は論理接続記述を生成するＵｊ
Ｕ／記述変換手段、もしくは前記記述入力手段により入
力された機能記述又は論理接続記述に対応する機能図又
は論理口Ｂ図を生成する記述／図変換手段と、 前記機能図又は論理回路図と、前記機能記述又は論理接
続記述とを対照して表示する表示手段とを備えて構成し
ている。

あるいは、機能図もしくは機能記述により入力された論
理情報を解析し、同一の構成要素に値を設定する条件信
号の論理関係、もしくは状態遷移の遷移先を選択する条
件信号の論理関係、もしくは構成要素間の論理段数とク
ロック信号との論理関係を抽出し、表示する抽出手段と
、 該表示により論理関係の矛盾ないし冗長性を指摘する指
摘手段と、 当該論理関係の最適化、及び再構成を行う最適化手段と
を備えている。

さらに、前記論理情報を論理回路の論理ゲート情報デー
タ、接続情報データ、ないし図形情報データを持つデー
タベースとして有しても良い。

（作用） この様な構成を備えた論理設計支援装置であれば： データパス指定手段により、当該論理回路の論理ゲート
情報、接続情報等の論理情報に基き、データ信号が伝搬
する任意のデータパスを指定することにより、このデー
タパスを活性化させる制御信号が満たすべき条件が、テ
ストパターン生成手段により、前記論理情報を用いて抽
出され、該データパスを検査するテストパターンがイン
タラクティブに効率良く生成されるようになる。

また、前記データパス指定手段として、機能図又は論理
回路図エディタにより入力された機能図又は論理回路図
を表示し、該図上の構成要素の端子もしくは構成要素間
の結線を指定することによりデータ信号の伝搬経路を特
定する手段、あるいは、機能記述又は論理接続記述によ
り入力された論理情報の各構成要素及び／もしくは各信
号の入出力接続関係を表示し、各構成要素又は各信号を
指定することによりデータ信号の伝搬経路を特定する手
段を利用することにより、データ信号が伝搬される任意
のデータパスの指定がより容易かっ正確に行えるように
なる。

また、前記データパス指定手段によりデータ信号が伝搬
する任意のデータパスを指定する際に、特定された信号
経路を活性化するための各信号値を、機能図／論理回路
図あるいは機能記述／論理接続記述の対応する接続関係
と共に表示する手段を用いることにより、データパスの
指定、及びこのデータパスの特定された信号経路を活性
化するための各信号値の選択等がより容易かつ正確に行
えるようになり、また回路設計上での誤り等も早期に発
見することが可能になる。

あるいは、シミュレート手段により、論理回路の論理ゲ
ート情報もしくは接続情報の論理情報と、当該論理回路
に対する任意のテストパターンとを入力とし、前記論理
情報に従い当該論理回路の動作をシミュレートすると共
に、解析手段により、該テストパターンの検査対象とす
る当該論理回路内のデータパス、シミュレーションの動
作結果、論理情報、及びテストパターンが対応付けて表
示可能になり、回路動作の解析等が効率良く行えるよう
になる。

あるいは、論理情報を機能ＩＡ又は論理回路ＩＡエディ
タにより入力する図面入力手段により入力された機能１
，４又は論理回路図に対応する機能記述又は論理接続記
述が１図、・記述変換手段により生成され、もしくは論
理情報を機能記述又は論理接続記述により入力する記述
入力手段により入力された機能記述又は論理接続記述に
対応する機能］Ａ又は論理回路図が、記述／′図変換手
段により生成され、表示手段により、前記機能図又は論
理回路図と、前記機能記述又は論理接続記述とが対照し
て表示されるようになる。

あるいは、抽出手段により、機能ＩＡもしくは機能記述
により入力された論理情報が解析され、同一の構成要素
に値を設定する条件信号の論理関係、もしくは状態遷移
の遷移先を選択する条件信号の論理関係、もしくは構成
要素間の論理段数とクロック信号との論理関係が抽出さ
れ、整理されて表示されるようになると共に、指摘手段
により、該表示による論理関係の矛盾ないし冗長性が指
摘され、最適化手段を用いることにより、当該論理関係
の最適化、及び再構成が行われるようになる。

これにより設計者は、論理回路のシミュレーションを実
行する以前に、論理回路の修正等を行うことが可能にな
り、もしくは論理回路設計の初期段階からタイミングの
ネックとなる可能性のある論理関係を事前にチエツクす
ることが可能になり。

設計、検証などが効率良く行えるようになる。

さらに、前記論理情報を論理回路の論理ゲート情報デー
タ、接続情報データ、ないし図形情報データを持つデー
タベースとして有することにより、前記各手段の実行効
率をさらに向上させることが可能になる。

このようにして、論理設計及びこれに付帯する回路動作
の解析等の各種作業が容易、迅速、かつ正確に、効率良
く行えるよう支援されるようになる。

（実施例） 第１図は、この発明に係る第１の実１ｉ１例の論理設計
支援装置の要部構成を示すブロック図であ計算機デイス
プレィ１０１．キーボード１０２、ポインティングデバ
イスとして、例えばマウス１０３、及び計算機本体１０
４があり、この計算機本体１０４には、以下に示す各部
が包含されている。

論理回路図やシミュレーション結果等を計ｙ：を機デイ
スプレィ１０１に表示する画面表示制御部１０５がある
。

そして、論理情報を論理回路図エディタにより入力する
論理回路図エディタ部１０６がある。この論理回路図エ
ディタ部１０６では、キーボード１０２やマウス１０３
を用いて、論理回路図にで用いる論理回路ブロックの作
成や論理回路ブロックの配置の決定、信号線等の結線１
編集等が行えるようなされている。

この論理回路図エディタ部１０６により入力された論理
回路の各論理ゲートのゲート種類、ピン種類等の論理ゲ
ート情報や、接続情報、図形情報等の論理情報を論理回
路の論理ゲート情報データ、接続情報データ、ないし図
形情報データとして保持するデータベース１０７があり
、論理回路図エディタ部１０６により入力され、データ
ベース１０７に論理情報として保持される論理回路図に
対応する論理接続記述１０９を生成する論理接続記述言
語変換部１０８が設けられている。

この論理接続記述言語変換部１０８では、論理回路図を
用いないで直接、論理接続記述で入力された論理情報に
対しても、該論理接続記述から回路の接続情報などを取
出してデータベース１０７内に格納する変換ｍ能も有し
ている。但し、この場合には、データベース１０７上に
は図形情報は含まれない、また、論理接続記述に行番号
が附加されている場合には、前記変換機能の実行時に、
この行番号も回路構成要素や論理接続記述の文との対応
を付けながら共にデータベース１０７に格納される。ま
た、この様な場合には、論理接続記述１０９には設計者
により直接入力された記述等が格納される。

そして、データベース１０７に保持される論理回路ＩＡ
と、論理接続記述１０９とは、画面表示制御部１０５に
より、計算機デイスプレィ１０１に対照しながら表示さ
れる。

また、データベース１０７に保持される論理回路の論理
ゲート情報、接続情報等の論理情報に基き、データ信号
が伝搬する任意のデータパス１１１を指定するデータパ
ス抽出部１１０が設けられている。

そして、このデータパス抽出部１１０により指定された
データパスを活性化させる。制ｒ１ｇ信号等の各信号が
満たすべき粂件を、論理接続記述言語変換部１０８によ
り論理回路図に対応して生成された論理接続記述１０９
を論理情報として用いて抽出し、該データパスを検査す
るデータパス活性化テストパターン１１３を生成する制
御ｆｆｌ東件抽出テストパターン作成部１１２が設けち
れている。

データパス抽出部１１０では、データベース１０７上の
回路の接続情報、論理ゲート情報等から、例えばデータ
系の接続、制御系の接続、クロック系の接続を区別し、
データ系のパス、即ちデータ系の信号伝搬経路のみを辿
っていき、特定のデータ系パスを選択・指定することも
可能なように成されている。

さらに、データパス抽出部１１０では、論理回路図エデ
ィタ部１０６により入力された論理回路図を画面表示制
御部１０５を介してデイスプレィ１０１に表示し、この
表示した図の上でキーボード１０２やマウス１０３を用
いて、構成要素の端子もしくは構成要素間の結線を指定
することによりデータ信号の伝搬経路を特定するように
している。また、データパス抽出部１１０では、論理接
続記述により入力された場合でも、該記述による論理情
報の各構成要素及び／もしくは各信号の入出力接続関係
を画面表示制御部１０５を介してデイスプレィ１０１に
表示し、この表示した図の土。

でマウス１０３等を用いて各構成要素又は各信号を指定
することにより、データ信号の伝搬経路を特定すること
もできる。

なお、抽出部１１０では、データ信号が伝搬する任意の
データパスを指定する際に、特定された信号経路を活性
化するための各信号値を、論理回路ＩＡあるいは論理接
続記述の対応する接続関係と共に、画面表示制御部１０
５を介して表示することも可能に成されている。

また、制御条件抽出テストパターンｆヤ成部１１２では
、任意のデータパス内の任意の信号伝搬部分において、
当該信号伝搬が実行されるための条件をデータベース１
０７上の回路接続情報から取り出し、設計者に表示し、
満足すべき条件の信号値を設計者が選択することができ
ると共に、当該条件を満たすような入力信号を、論理回
路図の入力端子まで遡って求め、入力信号のテストパタ
ーンが生成できるように成されている。

さらに、データベース１０７に保持される論理回路の論
理ゲート情報もしくは接続情報の論理情報と、当該論理
回路に対する、例えばデータパス活性化テストパターン
１１３とを入力とし、前記論理情報に従い当該論理回路
の動作をシミュレートするシミユレータ部１１４と、前
記テストパターン１１３が検査対象とする当該論理回路
内のデータパスに関する情報１１１を受け、前記シミユ
レータ部１１４よるシミュレーション結果１１５を前記
データパス１１１、データベース１０７に保持される論
理情報、及びテストパターン１１３と対応付けて表示可
能にする解析部１１６が設けられている。この解析部１
１６では、画面表示制御部１０５を介してデイスプレィ
１０１の画面士。

で、シミュレーション時に得られた信号変化の伝搬関係
等を論理回路図と共にその上に表示することも可能なよ
うに成されている。

第２図は、この発明を適用した第２の実施例の論理設計
支援装置の要部構成を示すフロック図である。

計算機デイスプレィ２０１．キーボード２０２、ポイン
ティングデバイスとして、例えばマウス２０３、及び計
算機本体２０４がある。

この実施例構成では、シミユレータ部２１４は、論理回
路の接続情報等を持つデータベース２０７と、データパ
ス活性化テストパターン２１３とを入力として回路のシ
ミュレーションを行うように成されている。なお、その
他の各構成部については、第１図に示す同名の各構成部
と同様であり、説明を省略する。

第３図は、この発明に係る第１及び第２の実施例構成を
示す第１図及び第２図に、論理回路図エディタ部１０６
及び２０６として示した論理回路図エディタ機能により
作成された論理回ＢＵＡの簡単な表示例である。

この図に明らかなように、入力及び出力端子の論理図シ
ンボルとその信号名、論理ゲートシンボルとその論理ゲ
ート種類名や論理ゲート識別名。

さらに回路構成要素である各シンボル間を接続する結線
と結線の信号名等が表示されている。

第４図は、論理接続記述言語変換部１０８及び２０８に
より、上記第３図の論理回路図から変換された論理接続
記述例の一部を示した表示例である。この表示例では、
論理回路図上で省略された信号名や論理ゲート識別名等
には、論理接続記述変換時に自動的に生成された自動生
成信号名や自動生成論理ゲート識別名等が附加されてい
る。

また、第５図及び第６図は、データパス抽出部１１０お
よび２１０において、論理回路図上でデータパスの定義
を設計者がインタラクティブ（相互関連的）に行う場合
の画面の表示例である。

第５図では１図中の矢印（マウスポインタを示す）で、
データパスを構成する結線を指定することにより、指定
された結線が実線から点線に変わって表示され、データ
パスの一部が選択されているところを示している。

第６図は、第５図と同じ論理回路図上で結線を指定した
表示画面であるが、この場合には指定された結線の入力
側につながるデータパスは一本だけであり、一意的に決
まるので、指定と同時に実線から点線に変わって表示さ
れている。

第７図は、指定されたデータパスに対し、データパスを
活性化するための条件信号の値を決定し、表示した時の
表示例である。

この例では、当該条件信号の値が一意的に決まっている
が、もし値の組合わせが複数存在する場合には、設計者
がマウス１０３及び２０３等を用いて値を選択すること
ができる。また、値に矛盾等が生じた場合には、表示画
面上の該当部分を点滅表示するなどにより、設計者に知
らせることができる。

そして、第８図は、シミュレーション結果のある時刻の
各論理ゲートの値を論理回路図上に示した表示例である
。

例えば画面の左下等に、該当する経過時間が表示されて
いる。

一方、第９目は、この発明を適用した第３の実施例の論
理設計支援装置の要部構成を示すブロックＩＡである。

計算機デイスプレィ４０１、キーボード４０２、ポイン
ティングデバイスとして、例えばマウス４０３、及び計
算機本体４０４があり、この計算機本体４０４には、以
下に示す各部が包含さｔしている。

機能図やシミュレーション結果等を計算機デイスプレィ
４０１に表示する画面表示制御部４０５がある。

そして、論理情報を機能図エディタにより入力する機能
図エディタ部４０６がある。この機能図エディタ部４０
６では、キーボード４０２やマウス４０３を用いて、機
能図上で用いる機能ブロックの作成や機能ブロックの配
置の決定、信号線等の結線、＃ｉ４ｉ等が行えるような
されている。

この機能図エティタ部４０６により入力された機能図の
各論理ゲートのゲート種類、ビン種類等の論理ゲート情
報や、接続情報、図形情報等の論理情報を論理ゲート情
報データ、接続情報データ、ないし図形情報データとし
て保持するデータベース４０７があり、機能ＩＡエディ
タ部４０６により入力され、データベース４０７に論理
情報として保持される機能図に対応する、レジスタート
ランスファーレベルでの機能記述４０９を生成する機能
記述言語変換部４０８が設けられている。

この機能記述言語変換部４０８では、機能図を用いない
で直接、機能記述で入力された論理情報に対しても、該
機能記述から回路の接続情報などを取出してデータベ−
ス４０７上に格納する変換機能も有している。但し、こ
の場合には、データベース４０７上には図形情報は含ま
れない、また。

機能記述に行番号が附加されている場合には、前記変ｔ
ａ機能の実行時に、この行番号も回路構成要素や機能記
述の文との対応をｆ旧すながら共にデータベース４０７
に格納される。また、この様な場合には、機能記述４０
９には設計者により直接入力された記述等が格納される
。

そして、データベース４０７に保持される機能図と、機
能記述４０９とは、画面表示制御部４０５により、計算
機デイスプレィ４０１に対照しながら表示される。

また、データベース４０７に保持される論理ゲート情報
、接続情報等の論理情報に基き、データ信号が伝搬する
任意のデータパス４１１を指定するデータパス抽出部４
１０が設けられている。

そして、このデータパス抽出部４１０により指定された
データパスを活性化させる、ｖ制御信号等の各信号が満
たすべき条件を、機能記述言語変換部４０８により機能
図に対応して生成された機能記述４０９を論理情報とし
て用いて抽出し、該データパスを検査するデータパス活
性化テストパターン４１３を生成する制御条件抽出テス
トパターン作成部４１２が設けられている。

データパス抽出部４１０では、データベース４０７上の
回路の接続情報、論理ゲート情報等から、例えばデータ
系の接続、制御系の接続、クロック系の接続を区別し、
データ系のバス、即ちデータ系の信号伝搬経路のみを辿
っていき、特定のデータ系パスを選択　指定することも
可能なように成されている。

さらに、データパス抽出部４１０では、機能し１工デイ
タ部４０６により入力された機能図を画面表示制御部４
０５を介してデイスプレィ４０１に表示し、この表示し
た図の上でキーボード４０２やマウス４０３を用いて、
構成要素の端子もしくは構成要素間の結線を指定するこ
とによりデータ信号の伝搬経路を特定するようにしてい
る０才な、データパス抽出部４１０では、機能記述によ
り入力された場合でも、該記述による論理情報の各構成
要素及び／もしくは各信号の入出力接続関係を画面表示
制御部４０５を介してデイスプレィ４０１に表示し、こ
の表示した図の上でマウス４０３等を用いて各構成要素
又は各信号を指定することにより、データ信号の伝搬経
路を特定することもできる。

なお、抽出部４１０では、データ信号が伝搬する任意の
データパスを指定する際に、特定された信号経路を活性
化するための各信号値を、機能１１１あるいは機能記述
の対応する接続関係と共に、画面表示制御部４０５を介
して表示することも可能に成されている。

また、制御条件抽出テストパターン作成部４１２では、
任意のデータパス内の任意の信号伝搬部分において、当
該信号伝搬が実行されるための条件をデータベース４０
７上の回路接続情報から取り出し、設計者に表示し、満
足すべき条件の信号値を設計者が選択することができる
と共に、当該条件を満たすような入力信号を、機能図の
入力端子まで遡って求め、入力信号のテストパターンが
生成できるように成されている。

さらに、データベース４０７に保持される論理ゲート情
報もしくは接続情報の論理情報と、当該回路に対する、
例えばデータパス活性化テストパターン４１３とを入力
とし、前記論理情報に従い当該回路の動作をシミュレー
トするシミユレータ部４１４と、前記テストパターン４
１３が検査対象とする当該回路内のテ゛−タパスに関す
る情報４１１を受け、前記シミユレータ部４１４よるシ
ミュレーション結果４１５を前記データパス４１１、デ
ータベース４０７に保持される論理情報、及びテストパ
ターン４１３と対応けけて表示可能にする解析部４１６
が設けられている。この解析部４１６では、画面表示制
御部４０５を介しデイスプレィ４０１の画面」二で、シ
ミュレーション時に得られた信号変化の伝搬関係等を機
能図と共にその上に表示することも可能なように成され
ている。

第１０図は、第９図に示した第３の実施例において、機
能ＩＡエディタ部４０６による機能図エディタによって
作成された機能図の簡単な表示例を示した図である。

２つの入力信号５０１及び５０２が加算器５０３及び引
算器５０４の入力となり、それぞれの演算結果の出力が
セレクタ５０５の入力になっている。このセレクタ５０
５では、前記加算器５０３及び引算器５０４からの２つ
のデータ入力信号が、さらに入力選択信号５０８及びこ
れをインバータ５０７で反転した２つの制御信号により
選択され、１つの出力信号５０６として出力されている
。

第１１図は、第１０図に示した機能図が、機能記述言語
変換部４０８により変換された機能記述の表示の一例で
ある。

この表示例では、最初に回路名（モジュール名）の宣言
が行われており、コメン斗が記述された後に、入力端子
、ターミナル、出力端子がそれぞれ寡言されている。そ
して、この表示例の記述中のｒ＜５ＴＡＴＩｃ＞Ｊ　と
ｒ＜ＥＮＤＳＴＡＴＴＣ〉１のキーワード間に回路の接
続関係が記述されている。

第１２図ないし第１４図は、この第３の実施例において
、データパス抽出部４１０により設計者がデータパスの
定義をインタラクティブに行う場合の表示画面の一例を
示した図である。

第１２図では、ＩＪ中の矢印（マウスポインタ）により
設計者が当該機能図中の、例えばある結線をデータパス
として指定したことにより、この指定された結線のデー
タパスが実線から点線に変わって表示された状態の画面
表示が示されている。

また第１３図は、第１２１３と同じ機能図中で別の結線
が指定された場合の表示画面例であり、この場合には指
定された結線の入力側に２つのデータ入力があるため、
−意にデータパスが決まらず、指定された結線部分だけ
が点線で表示されている。

さらに第１４図では、設計者により、第１３図で出力端
子に接続された結線が選択された後に、Ｉｉ’ｉ１図下
部右側下部右側タのデータ入力の分岐（２つのデータ入
力）に対応した機能記述部分を同時に同一画面上に表示
している例が示されている。

第１５図及び第１６図は、同じく第３の実施例装置にお
いて、機能図ではなく機能記述により入力された場合の
データパス定義（指定）のための表示画面の一例を示し
た図である。

第１５図は、同図右端の出力側からデータパスを順次指
定してきて、回路コンポーネント（ｉｌｌ成要素）ｒＡ
ＲＥＧＩＪのデータ入刃先の回路コンポーネントを指定
する状態になった時点での画面表示例である。そして、
第１６図は、第１５１；１７１において指定されたデー
タパスに対応した機能記述部分が同一画面上に同時に表
示され、データパス指定の確認を可能にしている状態で
の画面表示例である。

第９図のデータパス抽出部４１０においては、機能ＩＡ
上でのバス定義の場合は、機能ＩＡ上で指定された結線
の結線図形情報から、回路コンポーネント等を順に辿り
、回路コンポーネントの表Ｉ＼のポインタ、及び接続関
係を表す接続転送条件表へのポインタのリストとしてデ
ータパスが定義されている。また、機能図がなく機能記
述により入力され、機能記述の回路コンポーネントの入
力光あるいは出力光を指定する場合には、指定された回
路コンポーネントの表へのポインタと、この指定により
決定した接続転送条件表へのポインタのリストとしてデ
ータパスが定義される。

第９図に示す制御条件抽出テストパターン作成部４１２
においては、指定されたデータパスを活性化するための
制ｔｎ粂作値を満たすようなテストパターンか探索され
る。

例えば第３図ないし第５図において示したような回路例
では１回路コンポーネントの「Ａ１からｒｃＡＬＬＪ／
Ｊ　、ｒＡＮｓＪ　で定義されるデ　９パスに対しては
、回路コンポーネント’　ＣＡ　Ｌ　ＵＡｌとｒＡＮｓ
Ｊの接続関係を表す接続転送条件表から、例えばこの例
ではｒｃＡｓＥＪ文に対応した条件を取出し、この取出
した条件中に出現する回路コンポーネント名（例えば、
この例では。

ｒＡＤＤＭＯＤＥｊとｒｓＵＢＭＯＤＥｌ）を辿って取
るべき値を決めていく（例えば、この例でＪｊ：ｒＡＤ
ＤＭＯＤＥＪが（ＦｉｒＩＪ　で、ｒｓＵＢＭＯＤＥＪ
が値「０」となる）、ここで、入力端子に行当たった場
合には（この例ではｒＡＤＤＭ。

ＤＥＪが入力端子である）、それ以上遡らない。

入力端子でなければ（例えばｒｓＵＢＭＯＤＥＪ　）さ
らに遡り、その−上流にある回路コンボーオ・ントの収
るべき値を決定する（この例では、上流のｒ　Ａ　Ｄ　
Ｄ　Ｍ　ＯＤ　Ｆ、　ＪにＦ’ｌ達し、その値は「１」
でなければならない）、そして、既に値が決定されてい
る回路コンボーネンｔ・に行当たった場合には、その値
に矛盾が生じないか否かがチエツクされる（この例では
、ｒＡＤＤＭＯＤＥＪの値はいずれも「１」となり、矛
盾はない）。

第１７図は、このような第９１．？Ｉの制御条件抽出テ
ストパターン作成部４１２における条件抽出の結果、得
られた各条件の値が表示された表示画面の一例を示した
図である。

に述の探索動作の中で、回路コンポーネントの値に矛盾
が生じたような場合や、値の設定が一意に決まらないよ
うな場合等には、その情報が画面上に表示され、設計者
に対して設定すべき値を決定させる（あるいは注意が促
される）。

また、第９図のシミユレータ部４１４においては、制障
東件抽出テストパターンイヤ成部４１２で生成された制
障信号の入力テストパターンに、データ入力テストパタ
ーンを加えたものが読込まれ、回路のシミュレーション
検査が実行される。

そして、第１８図及び第１９図に表示例を示したような
表示画面により、シミュレーシジンの動１ヤ結果が表示
される。

第１８Ｖ！１では、指定された各信号の値の経過時間に
対する波形変化が示されている。また第１９図では、時
刻指定により指定された時刻における各信号の値が、当
該機能図上に重ねて表示されている。

第２０図は、この発明に係る第４の実施例の論理回路設
計支援装置の要部構成を示すブロック１″４である。

この第４の実施例では、機能記述７０１が、該論理設計
支援装置の要部７０２の入力として扱われている。また
、論理設計支援装置の要部７０２には、以下の各部が包
含されている。

機能記述７０１により入力された論理情報を解析し、同
一の構成要素に値を設定する条件信号の論理関係、もし
くは状態遷移の遷移先を選択する条件信号の論理関係、
もしくは構成要素間の論理段数とクロック信号との論理
関係を抽出し、整理して表示可能にするために、シンタ
ックス（Ｓｙｎｔａｘ）解釈部７０３、条件探索部７０
５、レジスタクロック探索部７０７等が設けられている
。

シンタックス解釈部７０３は、機能記述７０１の構文の
解釈を行い、機能記述中に示された構成要素のコンポー
ネントの認識、該コンポーネントの接続関係の解釈、各
種条件の解釈などを実行する。

条件探索部７０，５は、同一コンポーネントにデータを
設定するときの条件である、例えばｒＴＦ。

文やｒｃＡｓＥＪ文等の条件信号、及びネスティングの
関係等を調査する。また、機能記述中の状態遷移表現の
状態遷移先や、遷移条件の関ｆ系の１！１査なども行う
。

レジスタクロック探索部７０７は、機能記述中のレジス
タやラッチ等のコンポーネントの接続関係、論理演算段
数等を調べ、また、データ転送のタイミングクロックの
関係等も調査する。

そして、これらの各部７０３．７０５．７０７により得
られた、データ設定の条件関係、状態遷移の遷移条件関
係、及びレジスタやラッチ等の接続関係やタイミンクク
ロック関係等を表示する表示部７０８がある。

この表示部７０８では、前記の表示を行うと共に、該表
示により論理関係の矛盾ないし冗長性の指摘も行ってい
る。

さらに、当該論理関係の最適化、及び再構成を行う論理
関係再構成部７０７があり、条件探索部７０５で調査さ
れた条件の論理関係を保ったまま、例えばｒＩＦＪ文や
ｒｃＡｓＥＪ文等のネスティング、及び条件信号の関係
等の最適化、及び再構成が行われる。

また、シンク・ノクス解釈部７０３により解釈された機
能記述の関係等や、論理関係再構成部７０７による最適
化及び再構成の情報等を変換してデータベース７０９に
登録するオブジェクト生成部７０４がある。こうしてデ
ータベース７０９に登録されたデータは、例えば機能シ
ミュレータや自動論理合成によって使用される。

第２１図は、この発明に係る第５の実施例の＝６１埋設
計支を長装置の要部構成を示すブロック図である。

この第５の実施例装置では、第２０口に示した第４の実
施例装置と比較して、機能記述７２１だけでなく、機能
１１７２０も入力として扱えるように成されている。

このため、シンタックス解釈部７２３．論理関係再構成
部７２６、表示部７２８等では、機能Ｕ′１１による論
理情報も入出力情報として取扱えるように成されている
。なお、その池の機能や各部構成等は第２０図に示す第
４の実施例装置中の同名の各構成部と同等であり、説明
は省略する。

第２２１Ｅ／Ｉに、上記第４及び第５の実施例装置にお
ける機能記述の一部を示した表示例を示す。

コノ例テハ、ラッチ：　ｒＷＤＰ２４ｓＬ３と、同’Ｑ
ＷＤ２４ＳＬＪに、値「０」才たは「１」を条件によっ
て分けて設定している。

第２３図は、同じく第５の実施例装置における、条件関
係の表示例であり、第２２図に示した機能記述中のラッ
チ：　ｒＷＤＰ２４ｓＬＪに対する値設定の条件信号の
関係を表形式で表示したものである。

第２４図は、同じく第５の実施例装置における、機能記
述例の一部を示した表示例である。

コノ例テハ１条ｆｆ　信号；　’　ＣＡ　３、ｒｃＢＪ
、’ＣＣｐによって、９−ミナル（ｆｆ１号）　；　ｒ
Ｓ　ＩＧＩＪに値「１」または「０」が設定される。な
お、この例では、ｒｓＩＧＩＪに設定されるデータは、
値「１」か、または値「０」であるが、機能記述におい
ては他の回路コンポーネント名を記述することも勿論可
能であり、その場合にはコ〉・ボーネントで区別する。

また第２５図は、第２４図の機能記述に対して、値設定
の条件信号の関係を表形式で表示した場合の表示例であ
る。

ここで、第２４図の機能記述において、ｒＳＩＧＩＪに
値「１」を設定する場合の条件に２か所の矛盾が存在し
ている。即ち、最初のｒＩＦＪ文では条件が信号ｒｃＢ
Ｊが「１」であるとなっているのに、その中の（ネステ
ィング）ｒＴＦＪ文において、今度は条件が信号ｒｃＢ
Ｊが「０」であると記述されている。

第２５図に示した条件関係の表示では、この条件信号ｒ
ｃＢＪに対して相反する値を条件としている箇所がｒ　
Ｘ　Ｊにより表示されており、設計者に注意を促してい
る。

そして、第２６図に、第２４図の機能記述中の粂は信号
の矛盾を修正した機能記述の表示例を示す、また、第２
６図の機能記述の表示例に対応する条件関係の表示例を
第２７図に示す。

ここで、第２７図に示す条件関係の表示には、条件信号
の関係中に冗長な部分が存在している。

第２８図に、この冗長な部分が存在する場合の条件関係
の表示例を示す０図中に反転表示（斜線で示す）により
表されている箇所が、前記冗長な部分である。

さらに、第２９図に、上記第２８図で指摘された冗長部
分を除いた場合の条件関係の表示例を示す、この第２９
図の表示例では、他にもまだ反転表示（斜線）により示
される冗長部分が存在している。

そして、第３０図に、第２９図中の冗長部分を除いた場
合の条件関係の表示例を示す、この表示例では、条件関
係の矛盾も冗長部分も除かれ、シンプルなものとなって
いる。

こうして得られた最終的な条件関係に、元の機能記述７
０１及び７２１を変更するが否かを、表示部７０８及び
７２８による表示に対し、指示することができる。

第３１図は、上記変更指示が行われた場合に、これに対
応して修正された機能記述の表示例である。

ここで、例えば条件文内に複数の実行文が存在するよう
な場合、例えば第２２図に示した機能記述例の、ｒＷＤ
Ｐ２４ｓＬＪに値を設定する文と。

”ＱＷＤ２４ＳＬＪに値を設定する文との２つの実行文
があるような場合には、条件の冗長な部分を除く際に、
実行文が２つ以上存在することが明示される。そして、
なおかつ冗長部分を除くよう指示された場合には、対象
としている実行文が抜出され、機能記述が修正される。

次に、第３２図に、上記第４及び第５の実施例装置にお
ける機能記述の状態遷移表現の表示例を示す。

同図において、ｒ＜ＳＳＴ＞Ｊキーワードに続き、ステ
ートブロック名としてｒｃＴＭＭＯＤＪ、ステート遷移
タイミングクロックとしてｒｃＫＩＪが定義されている
０次に、ステート名を表すラベルとしテ’　Ｄ　Ｉ　Ｓ
、Ａ　Ｂ　Ｌ　Ｅ　ｓ　カ定ｎサレ、ステート：　ＦＤ
ｒＳＡＢＬＥＪにおける動作が記述されている。そして
、ここでは、条件により次のステート遷移先が異なるこ
とが記述されている。

第３３図に、上記第３２図における状態遷移の条件の関
係を、表形式で表した場合の表示例を示す。

この図において１例えば条件信号：　ｒｃＴｓＹＮＣＪ
が値「０」であるときに、次のステート遷移先がｒＲＥ
ｓＥＴＪであるということは、上記第３２図における機
能記述で、ステート、ｒＤＴＳＡＢＬＥＪの最初のｒＩ
ＦＪ文が不成立のときにはどの条件にも当て嵌まらず、
ステート遷移先はステートｒＤ　Ｉ　５ＡＢＬＥＪの次
に記述されているステートｒＲＥｓＥＴＪへ遷移するこ
とを表している。

同様に、第３４図は、上記第４及び第５の実施例装置に
おける、機能記述の状態遷移表現の表示例を示した図で
ある。また、この第３４図中のステート遷移先及び条件
を示した表示例を第３５図に示す。

また第３６図に、同じく第４及び第５の実施例装置にお
ける、機能記述の一部の表示例を示す。

この図の機能記述中において、コンポーネントｒＥＧｃ
１トｒＶＡ　Ｌ　Ｉ　Ｄ　Ｉ　Ｊ　トノ間ｆ）論ｆＷ段
数等を表示した表の画面表示例を第３７図に示す。

第３７図において、ｒＥＧＣＪは入力端子（ＩＮ）であ
り、ｒＶＡＬＩＤｌｌはラッチテあり、クロックはｒＣ
Ｋ２１であ６．ｒＥＧｃ＜Ｏ＞ＪからｒＶＡＬＩＤＩＪ
へのパスは一本あり、その中に現れるターミナル（信号
）は４段であり、また、演算の段数が７段であることが
表示されている。

なお、この発明は、上述した各実施例の構成だけに限ら
ず、各種態様によっても実施可能なことは勿論である。

［発明の効果コ 以上詳細に説明したように、この発明に係る論理設計支
援装置であれば、論理回路設計、ないしその初期段階で
行われる機能設計等の論理設計において、入力された論
理情報を解析し、論理関係の矛盾ないし冗長性等を指摘
し、最適化を計り。

あるいは任意のデータパスを指定し、テストパターンを
生成し、あるいはテストパターンを用いてシミュレーシ
ョンを行い、その動作結果を前記論理情報等と対応けけ
て表示し、あるいは前記論理情報に対する図／記述の相
互変換を行い、対照する等の各種機能が実現されるよう
になる。

従って、論理設計、及びこれに付帯する各種作業等を容
易、迅速に、かつ正確に、効率良く行えるように支援さ
れるようになる。

即ち１機能設計においては、機能記述等による入力時点
で、同一の構成要素に値を設定する条件信号の論理関係
、もしくは状態遷移の遷移先を選択する条件信号の論理
関係等を抽出し、整理して表示することが可能になり、
論理関係の矛盾の発見、論理関係の組合わせの最適化等
をシミュレーションを実行する以前に行うことが可能に
なる。

こうして、回路修正などが速やかに行えるようになる。

あるいは、構成要素間の論理段数等を整理して表示する
ことにより、例えばデータを取込むクロック信号に対し
、データの演算処理に要する時間を見積もること等が可
能になり、設計の初期段階からタイミング設計を行うこ
と等も可能になる。

あるいは、条件信号の論理関係をｉ＆道化することによ
り、機能記述等から、例えばマクロセルにより構成され
る論理接続記述もしくは論理図を自動生成し、短時間で
最適化された論理回路を作成することが可能になる。

あるいは、機能図や論理回路図、もしくは機能記述や論
理接続記述により入力された回路の構成要素間の接続関
係と制御信号等との動作関係を解析し、設計者などに表
示するようになるため、設計者等による回路のデバッグ
効率を向上させることが可能になる。

あるいは、設計者等が信号の伝搬されるデータパスを指
定し、該データパスを活性化するための制御条件等を求
めることにより、シミュレーション等を行うためのテス
トパターンの作成効率を向上させることが可、能になる
。

こうして、論理設計に要する時間を短縮すること等が可
能になる。

【図面の簡単な説明】

第１図はこの発明に係る第１の実施例の論理設計支援装
置のブロック図、第２図は同じく第２の実施例の論理設
計支援装置のブロック図、第３図は第１及び第２の実施
例における論理回路図の表示例を示す図、第４図は第３
図の論理回路図に対応する論理接続記述の表示例を示す
図、第５図及び第６図は第１及び第２の実施例における
論理回路ＩＡ上でのデータパス指定に伴う表示例を示す
図、第７図は第１及び第２の実施例において指定された
データパスを活性化する条件信号の値の表示例を示す図
、第８図は第１及び第２の実施例における任意の時点で
の各構成要素の値の表示例を示す図、第９図はこの発明
に係る第３の実施例の論理示例を示す図、第１１図は第
３の実施例における機能記述の表示例を示す図、第２０
図はこの発明に係る第４の実施例の論理設計支援装置の
ブロック１．７１、第２１図はこの発明に係る第５の実
施例の論理設計支援装置のブロック図、第２２図、第２
４１．１１、第２６図、第３１図、第３２１１１、第３
４図。 及び第３６図は第４及び第５の実施例における機におけ
る条件関係の表示例を示す図、第３３図、第３５図は第
４及び第５の実施例における状態遷移条件の表示例を示
す図、第３７図は第４及び第５の実施例における構成要
素間の論Ｐ！１段数等の表示例を示す図である。 １０１．２０１．４０１・・・デイスプレィ１０２．２
０２．４０２・・・キーボード１０３．２０３．４０３
・・・マウス １０４．２０４．４０４・・・計算機本体１０５．２０
５．４０５・・・画面表示制御部１０６．２０６・・・
論理回路図エディタ部４０６・・・機能図エディタ部 １０７．２０７．４０７・・・データベース１０８．２
０８・・・論理接続記述言語変換部４０８・・・機能記
述言語変換部 １０９．２０９・・・論理接続記述 ４０９・・・機能記述 １１０．２１０．４１０・・・データパス抽出部１１１
．２１１．４１１・・データパス１１２．２１２．４１
２・・制御条件抽出テストパターン（’Ｆ成部 １１３．２１３．４１３・・・データパス活性化テスト
パターン １１４．２１４．４１４・　シミュし一夕部１１５．２
１５．４１５・・・シミュレーション結果 １１Ｇ、２１１５．４１６・・・解析部７０１．７２１
・・機能記述 ７２０−ＩＩ能Ｉ図 ７０２．７２２・論理設計支援装置要部７０３．７２３
・　シンタックス解釈部７０４．７２４・オブジェクト
生成部 ７０５．７２５・条件探索部 ７０６．７２６・・論理関係再構成部 ７０７．７２７・・レジスタ・クロック探索部７０８．
７２８・・・表示部 ７０９．７２９・・オブジェクト（データベース）代廂
人ブｒ埋辷三好秀和 第２４図 第２５図 第２８図 填２９図 第３３図 第３４図 第３６図 第３７図

Claims (1)

1. 【特許請求の範囲】 （１）論理回路の論理情報に基き、データ信号が伝搬す
   る任意のデータパスを指定するデータパス指定手段と、 このデータパス指定手段により指定されたデータパスを
   活性化させる、制御信号が満たすべき条件を前記論理情
   報を用いて抽出し、該データパスを検査するテストパタ
   ーンを生成するテストパターン生成手段とを備えたこと
   を特徴とする論理設計支援装置。 （２）前記データパス指定手段として、 機能図又は論理回路図エディタにより入力された機能図
   又は論理回路図を表示し、該図上の構成要素の端子もし
   くは構成要素間の結線を指定することによりデータ信号
   の伝搬経路を特定する手段、あるいは、 機能記述又は論理接続記述により入力された論理情報の
   各構成要素及び／もしくは各信号の入出力接続関係を表
   示し、各構成要素又は各信号を指定することによりデー
   タ信号の伝搬経路を特定する手段を有することを特徴と
   する請求項（１）記載の論理設計支援装置。（３）前記
   データパス指定手段によりデータ信号が伝搬する任意の
   データパスを指定する際に、特定された信号経路を活性
   化するための各信号値を、機能図／論理回路図あるいは
   機能記述／論理接続記述の対応する接続関係と共に表示
   する手段を有することを特徴とする請求項（２）記載の
   論理設計支援装置。 （４）論理回路の論理ゲート情報もしくは接続情報の論
   理情報と、当該論理回路に対する任意のテストパターン
   とを入力とし、前記論理情報に従い当該論理回路の動作
   をシミュレートするシミュレート手段と、 前記テストパターンが検査対象とする当該論理回路内の
   データパスに関する情報を受け、前記シミュレート手段
   によるシミュレーションの動作結果を前記データパス、
   前記論理情報、及びテストパターンと対応付けて表示可
   能にする解析手段とを備えたことを特徴とする論理設計
   支援装置。 （５）論理情報を機能図又は論理回路図エディタにより
   入力する図面入力手段、もしくは論理情報を機能記述又
   は論理接続記述により入力する記述入力手段と、 前記図面入力手段により入力された機能図又は論理回路
   図に対応する機能記述又は論理接続記述を生成する図／
   記述変換手段、もしくは前記記述入力手段により入力さ
   れた機能記述又は論理接続記述に対応する機能図又は論
   理回路図を生成する記述／図変換手段と、 前記機能図又は論理回路図と、前記機能記述又は論理接
   続記述とを対照して表示する表示手段とを備えたことを
   特徴とする論理設計支援装置。 （６）機能図もしくは機能記述により入力された論理情
   報を解析し、同一の構成要素に値を設定する条件信号の
   論理関係、もしくは状態遷移の遷移先を選択する条件信
   号の論理関係、もしくは構成要素間の論理段数とクロッ
   ク信号との論理関係を抽出し、表示する抽出手段と、 該表示により論理関係の矛盾ないし冗長性を指摘する指
   摘手段と、 当該論理関係の最適化、及び再構成を行う最適化手段と
   を備えたことを特徴とする論理設計支援装置。 （７）前記論理情報を論理回路の論理ゲート情報データ
   、接続情報データ、ないし図形情報データを持つデータ
   ベースとして有することを特徴とする、請求項（１）な
   いし（６）記載の論理設計支援装置。