JPH0442372A - 論理回路編集方式 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 ［目次コ 概要 産業上の利用分野 従来の技術 発明が解決しようとする課題 課題を解決するための手段 作用 実施例 発明の効果 ［概要］ 論理回路を人力編集してデータベースに登録する論理回
路編集方式に関し、 論理回路の設計作業をより効率的に行うことが可能とな
る方式の提供を目的とし、 既存の論理回路を機能レベルの表現形式に変換する表現
形式変換手段と、機能レベルの形式で表現された既存の
論理回路を利用して新たな論理回路の入力編集を行なう
入力編集手段と、入力編集で得られた目的の論理回路を
データベースに登録するデータベース登録手段と、を有
する。

［産業上の利用分野］ 本発明は、論理回路を入力編集してデータベースに登録
する論理回路編集方式に関する。

電子計算機を利用したＣＡＤシステムやＤＡシステムに
おいては論理回路の入力編集が論理エディタで行わ札　
データベース化される。

［従来の技術］ 第１１図においては従来技術が説明されており、タイム
チャート、ブロック図、真理値テーブルの作成作業や論
理的な機能分割の作業が設計対象の論理回路について予
め行われると、論理エントリ部１１００．　１１０２か
ら各々論理シンボル表現。

バッチ型言語記述表現で目的の論理回路が入力される。

それらの論理回路は入力編集部１１０４に与えら札　入
力編集部１１０４０編集結果はチエツク部１１０６へ出
力される。

チエツク部１１０６では設計対象とされた論理回路の全
体的なデザインルールチエツクが行わ札チエツク後の論
理回路はデータベース登録部１１０８によりデータベー
スに登録される。

［発明が解決しようとする課題］ 一般に論理回路は既存のものを利用して新たに設計され
ている。

その際には既存の論理回路が機能レベルで予め検討さ札
　一部の論理を変更したり別のＬＳＩ技術に適合させる
などの検討も行われる。

このため従来においては、論理回路の設計に多大な労力
が費やされており、その開発に長い期間を要してい九 本発明は上記従来の事情に鑑みて為されたものであり、
その目的は、論理回路の設計をより効率的に行うことが
可能となる方式を提供することにある。

［課題を解決するための手段］ 上記目的を達成するために、本発明では第１図の方式が
採られている。

同図において、既存の論理回路１０が表現形式変換手段
１２で機能レベルの表現形式に変換される。

また、入力編集手段１６では新たな論理回路１４０入力
編集が行わ札　その際には表現形式変換手段１２により
機能レベルの形式で表現された既存の論理回路１０が利
用される。

そして、この入力編集で得られた新たな論理回路１４は
データベース登録手段２０によりデータベース１８へ登
録される。

［作用］ 本発明では、既存の論理回路１０（全体または一部）が
機能レベルで表現されるので、回路検討の作業をそのレ
ベルで行える。

［実施例］ 以下、図面に基づ〜）で本発明に係る方式の好適な実施
例を説明する。

第２図において、ワークスチーシロン２００゜２０２．
２０４．２０６がホスト計算機２０８に接続されており
、ホスト計算機２０８で用意された論理回路のデータベ
ースがワークスチーシロン２００．２０２，２０６によ
り利用されている。

これ制のワークステージピン２００，２０２゜２０４．
２０６においてはシンボル表現、バッチ型結線表現、バ
ッチ型機能表現、真理値テーブル表現が任意に選択さ札
　データベース登録の既存回路を利用することで新たな
論理回路の入力編集が行われる。

第３図ではこのシステムが説明されており、データベー
ス部３００で検索された既存の論理回路１０は変換処理
部８０２に与えられる。

変換処理部３０２には変換部３０４，３０８が設けられ
ており、データベース検索で得られた既存の論理回路１
０はその逆変換により論理シンボル表現（会話型）、バ
ッチ型言語記述表現のものへ各々変換される。

この変換処理部３０２で表現形式が変換された既存の論
理回路ＩＯは論理エントリ処理部３０８のデータ入力部
３１０に与えら札　真理値テープル記述、論理式記述で
表現される回路データに変換される。

また論理エントリ処理部８０８の操作入力部８１２では
論理シンボル、バッチ型言語表現の回路設計データが入
力される。

これらのデータ入力部３１０．操作入力部３１２から入
力された新設計回路のデータは編集部３１４に与えら札
　その編集結果が論理エントリ処理部３０８から圧縮処
理部３１６へ出力される。

圧縮処理部３１６においては真理値内容に基づいて機能
単位で部分回路が切り出さ札　これを圧縮した回路デー
タは部分チエツク処理部３１８に与えられて簡易なセル
フチエツクが行われる。

さらに、部分回路のチエツクが完了した新設計の回路デ
ータは全体チエツク処理部３２０に与えら法　その全体
的なデザインルールチエツクが行われる。

そして、全体チエツク処理部３２０による全体チエツク
が完了した新設計の回路データはデータベース作成部８
２２へ与えろ札　このデータベース作成部８２２により
データベース部８２４へ登録される。

また、圧縮処理部８１６で圧縮されて部分チエツク処理
部８１８でチエツクされた部分回路はライブラリ作成部
３２６によりライブラリ化さ札このライブラリデータは
表現形式が変換されてから変換処理部３０２よりライブ
ラリ部３２８に登録される。

第４図においてはグラフィックデイスプレィで表示され
る新設計の論理回路が示されており、領域４００が指定
されると、ウィンドウ４５０が開かれる。

そして、領域４００内の部分回路と対応した論理式がウ
ィンドウ４５０内に表示される。

さらに、領域４０２が指定されると、ウィンドウ４５２
が開か札　領域４０２内の部分回路と対応した論理式が
ウィンドウ４５２内で表示される。

その結恩　領域４００．４０２内における回路部分の論
理を機能レベルで確認できる。

また、領域４０４が指定されることによりラインドウ４
５４が開か札　データ入力部３１０から真理値テーブル
記述の入力が行なわれると、領域４０４で表示の部分回
路と対応した論理式がウィンドウ４５４内に表示される
。

第５図（Ａ）においては、領域４００内で論理シンボル
２ＡＩ、２Ａ２，４Ａを付したゲート間の結線が真理値
表を用いて説明されており、同図（Ｂ）においては同領
域４００内で論理シンボル２Ａ３，２Ａ４，２Ａ５を付
したゲート間の結線が同様に真理値表を用いて説明され
ている。

第４図のウィンドウ４５０，４５２，４５４内で論理式
が各々表示される際には、第７図の処理が行われる。

第８図のように領域４００が指定されてその領域４００
が切り出されると、切り出し領域内４００における接続
ネットのバックトレースで第９図の作業テーブルが作成
される（ステップ７００）。

そのときのバックトレースは ＫＯ→Ｋ　１４　Ｋ　１０ ＫＯ→Ｋ　ｌ−＋　Ｋ　２１ ＫＯ→に２→に２０ ＫＯ→に２→に２１ ＫＯ→に２→に２２ ＫＯ→に２→に２３ ＬＯ→Ｌ１→ＬＩＯ ＬＯ→Ｌｌ→Ｌｌｌ ＬＯ→Ｌ２→Ｌ２０ ＬＯ→Ｌ２→Ｌ２１ のように行なわれる。

次に、切り出し領域４００内の論理的な接続関係をチエ
ツクする処理が次のようにして行わ法部１０図で示され
る別の作業テーブルが作成される（ステップ７０２）。

ＫＯ（２Ａ２）→Ｋｌ　（２Ａ　１　）→ＫＩＯＫＯ（
２Ａ２）→Ｋｌ　（２Ａ　Ｉ　）→に２１ＫＯ（２Ａ２
）→に２（４Ａ）→に２０ＫＯ（２Ａ２）→に２（４Ａ
）→に２１ＫＯ（２Ａ２）→に２（４Ａ）→に２２ＫＯ
（２Ａ２）→に２（４Ａ）→に２３ＬＯ（２Ａ５）→Ｌ
−１（２Ａ３）→ＬＩＤＬＯ（２Ａ５）　→Ｌｌ（２Ａ
３）　→Ｌｌ＋ＬＯ（２Ａ５）→Ｌ２（２Ａ４）　→Ｌ
２０ＬＯ（２Ａ５）　→Ｌ２（２Ａ４）　　→Ｌ２１こ
のようにして論理的な接続関係が確認されると、ライブ
ラリ部８２６のテーブルが論理識別子（ＡＭＤ、ＯＲ；
　　ＦＦなど）を用いて参照され（ステップ７０４）、
その結弘　各論理シンボル２Ａ２．２ＡＩ、４Ａ、２Ａ
５．２Ａ３．２Ａ４とそれらの論理式とが以下のように
対応付けられる。

２Ａ２：　ＫＯ＝に１・に２　　・・Φ第（１）式２Ａ
１：　Ｋ１＝に１０・に２１−−−第（２）式４Ａ：　
　Ｋ２＝に２０・　Ｋ２１＠　Ｋ２２・に２３書舎・第
（３）式 ２Ａ５：　ＬＯ＝Ｌ１＋Ｌ２　　・・・第（４）式２Ａ
３：　Ｌ１＝Ｌ１０＠Ｌｌｌ・・・第（５）式２Ａ４：
　Ｌ２＝Ｌ２０＠Ｌ２１・・・第（６）式そして、以上
の論理式を第１０図の作業テーブルにおける論理シンボ
ル部分へ各々代入する処理（ステップ７０Ｂ）、　　入
力側の最終ネットへ向がってバックトレースしながら論
理を変換する処理（ステップ７０８）が行われる。

すなわち、Ｋ＝ＫＯ・・・第（７）式 の出力が得られる場合において、第（２）式、第（３）
式が第（１）式に代入されると、ＫＯ＝　（ＫＩＯ−Ｋ
２１）　”　Ｋ２Ｏ−Ｋ２１−　Ｋ２２−　Ｋ２Ｓ）・
・・第（８）式 が得ら札　出力には、 Ｋ＝（Ａ−Ｂ）・（Ｃ−Ｄ　−Ｅ　−Ｆ）・・・第（９
）式 ％式％ Ｌ＝ＬＯ−−−第（１０）式 の場合において、第（４）式に第（５）式、第（６）式
が代入されると、 ＬＯ＝（ＬＩＯ・Ｌｌｌ）　＋　（Ｌ２０＋Ｌ２１）・
・・第（１１）式 が得ら札　出力りは、 Ｌ＝（Ｇ−Ｈ）＋　（Ｉ＋Ｊ）・・・第（１２）式で表
される。

上記の第（９）式とこの第（１２）式とは第４図のよう
にウィンドウ４５０で表示さ札　領域４００と対応付け
られる。

このように、領域４００が指定されると、自動的にウィ
ンドウ４５０が開かれて領域４００の論理式がそのウィ
ンドウ４５０で表示される。

従って、入力Ａ、　　Ｂ、　　Ｃ，Ｄ、　　Ｅ、　　Ｆ
がすべて”■”であるときにのみ１”の出力Ｋが得ら札
それ以外では出力Ｋが”０”となることを設計者が直ち
に確認でき、既存の回路部分を論理機能のレベルでチエ
ツクできる。

これは、次に行われるシミュレーシｅン処理でシミュレ
ーシロンパターンを作成し、テストパターンを作成する
際に有効な支援ツールとしても利用できる。

なお、第５図に示される真理値表系統図の表示が行われ
る場合には、ライブラリ部８２６の真理値表テーブルが
論理式のテーブルに代えて参照される。

また、手動で回路部分が設計される場合には、データ入
力部３１０で入力された真理値テーブル記述のデータが
利用される。

第４図の領域４０４につ〜）てタイミング制御回路の論
理条件が第６図（Ａ）のように真理値表で表現された場
合、フリップフロップ人力Ｃが”１″となる条件から同
図（Ｂ）の真理値テーブルが作成される。

そして、その圧縮により同図、（Ｃ）の真理値テーブル
が生成されると、同図（Ｄ）で示される論理式が導か法
　第４図のウィンドウ４５４内で表示される。

以上説明したように本実施例によれム　既存の回路部分
が機能レベル（論理式）で表現されるので、回路設計を
より効率的に行うことが可能となる。

また、論理エントリの入力方法を目的に合わせて適宜選
択できるので、論理設計をより効率化できる。

さらに、論理の一部変更が行われる場合にお〜）て、変
更部分のみの論理式から回路機能を確認できるので、回
路変更が容易となる。

そして、機能単位で回路チエツクが行われるので、回路
の信頼性を高めることが可能となる。

なお、回路の部分的な変更が容易となるので、大規模な
集積回路を分割して効率的に設計でき、０ＭＯ８系、ガ
リウムヒ素系などの間における移行を効率的に行うこと
が可能となる。

また、第２図のように並列分散で回路設計の処理が行わ
れるので、きわめて大規模な回路であっても、これを短
期間で効率良（設計することも可能となる。

［発明の効果］ 以上説明したように本発明によれζよ、既設計の回路論
理が機能レベルで表現されるので、これを新設計の論理
回路で容易に流用でき、したがって、論理回路の設計を
きわめて効率的に行うことが可能となる。

【図面の簡単な説明】

第１図は発明の原理説明図、 第２図は実施例のシステム構成説明臥 第３図は実施例を説明するブロック臥 第４図は実施例の回路表示説明１ 第５図（Ａ）、第５図（Ｂ）は部分回路の真理値表系統
１ 第６図は論理式導出作用説明１ 第８図は切り出し範囲の内容説明１ 第７図はウィンドウ内輪理式の表示処理を説明するフロ
ーチャート、 第９図はバックトレース用接続ネットテーブルの説明図
、 第１０図は論理的接続関係用テーブルの説明１第１１図
は従来技術を説明するブロック図、である。 １０・・・既存の論理回路 ２００、　２０２．　２０４．　２０６・Φ・ワークス
テージロン ２０８−・・ホスト計算機 ３００・・・データベース部 ３０２拳・・変換処理部 ３０４．３０６・・・変換部 ３０８・・・論理エントリ処理部 ３１０−・拳データ入力部 ３１２・・・操作入力部 ３１４・・・編集部 ３１６−−・圧縮処理部 ３１８・・令部分チエツク処理部 ３２０・・・全体チエツク処理部 ３２２・・−データベース作成部 ８２４拳・・データベース部 ３２６．３２８・・・ライブラリ部 ４００．４０２．４０４・・・領域 ４５０、　４５２．　４５４−・・ウィンドウ］ 第１ ０区 第１ １図

Claims (1)

1. 【特許請求の範囲】 既存の論理回路（１０）を機能レベルの表現形式に変換
   する表現形式変換手段（１２）と、機能レベルの形式で
   表現された既存の論理回路（１０）を利用して新たな論
   理回路（１４）の入力編集を行なう入力編集手段（１６
   ）と、 入力編集で得られた目的の論理回路（１４）をデータベ
   ース（１８）に登録するデータベース登録手段（２０）
   と、 を有する、ことを特徴とする論理回路編集方式。