JP2006004320A

JP2006004320A - 論理回路のシンボル表示装置

Info

Publication number: JP2006004320A
Application number: JP2004182175A
Authority: JP
Inventors: Eiji Furukawa; 英司古川
Original assignee: Fujitsu Ltd
Current assignee: Fujitsu Ltd
Priority date: 2004-06-21
Filing date: 2004-06-21
Publication date: 2006-01-05

Abstract

【課題】論理回路を読み込み、コンポーネントとシンボルを多対多の場合でも論理回路図面を表現可能にした表示装置を提供すること。
【解決手段】、本発明では、論理回路読み込み部２と、コンポーネントライブラリを参照してコンポーネントとコンポーネントポートを作成するコンポーネント／コンポーネントポート作成部４と、インスタンスに対し、コンポーネント／コンポーネントポートを参照してインスタンス／インスタンスポートを作成するインスタンス／インスタンスポート作成部５と、シンボルライブラリを参照してシンボルとシンボルポートを作成するシンボル／シンボルポート作成部６と、インスタンス毎にどのシンボルを用いて表示するのかを対応付けするインスタンス／インスタンスポートとシンボル／シンボルポート対応手段と、回路図表示手段と、コンポーネントライブラリと、シンボルライブラリを具備する。
【選択図】図１

Description

本発明は論理回路を読み込み、コンポーネントとシンボルを多対多に対応付けて、論理回路図を表現可能な表示装置、表示方法、プログラムに係り、論理回路の設計に使用される論理回路図入力装置に関するものである。

論理回路の設計は、コンポーネント（機能、セル）のインスタンス（機能を遂行するための実体）を、テキストまたはＧＵＩ（Graphical User Interface）により、その接続関係を表現することである。論理回路を論理回路図として表現する場合、従来は、あらかじめコンポーネントとシンボル（形状）を一対一に対応付けて、インスタンスをシンボルとして回路図を表現していた。

しかし、あるコンポーネントを表現する方法は複数あり、例えばＡＮＤＯＲを意味するコンポーネントを表現する方法として、図５２（Ａ）、（Ｂ）など複数ある。図５２（Ａ）は回路設計のとき、ＡＮＤ、ＯＲという機能そのものを図示しているので、機能としてはわかり易い表現である。

しかし同じＡＮＤＯＲでも、図５２（Ｂ）に示す如く、ＮＡＮＤのコンポーネントを３つ使用して表現した方が、つまりＮＡＮＤのコンポーネントを使って３つのインスタンスで表現した方が作り易い。

このように同じＮＡＮＤを意味するコンポーネントを表現する方法として図５２（Ａ）、（Ｂ）に示すように複数ある。また同じ２入力ＮＡＮＤを意味するコンポーネントを表現する方法として、図５３、図５４、図５５に示す如く、これまた複数個ある。

これらを回路図として表現する場合、従来は同じ機能にもかかわらず別々のコンポーネントを定義して、それぞれ一対一にシンボルを対応付ける必要があった。

特許文献１にはシンボルを論理的に等価な別のシンボルに置き換える技術が提案されている。

特許文献２には、またあるシンボルを複数のコンポーネントに対応付ける技術が提案されている。
特開平４−５２７６９号公報特開平６−２５９５０２号公報

上記特許文献１はシンボルを論理的に等価な別のシンボルに置き換える技術であって単に論理の反転を自動で行う技術であり、複雑な機能を持つコンポーネントのシンボルを別のシンボルに置き換えることはできない。

また上記特許文献２は、あるシンボルを複数のコンポーネントに使いまわしできる技術であるが、あるコンポーネントを複数のシンボルに対応付けることはできない。

本発明はコンポーネントとシンボルを多対多に対応付けることにより、設計者が論理設計を行いやすいシンボルに、いつでも切り替えることができる論理回路のシンボル表示装置を提供するものである。

このため、本発明のシンボル表示装置では、ＨＤＬ（Hardware Description Language 、ハードウェア記述言語）または論理入力ＣＡＤによる論理回路情報を読み込む論理回路読み込み手段と、コンポーネントライブラリを参照してコンポーネントとコンポーネントポートを作成するコンポーネント及びコンポーネントポート作成手段と、論理回路中に出現するインスタンスに対し、コンポーネント及びコンポーネントポートを参照してインスタンス及びインスタンスポートを作成するインスタンス及びインスタンスポート作成手段と、シンボルライブラリを参照してシンボルとシンボルポートを作成するシンボル及びシンボルポート作成手段と、インスタンス毎にどのシンボルを用いて表示するのかを対応付けするインスタンス及びインスタンスポートとシンボル及びシンボルポート対応手段と、論理回路を回路図として表示する回路図表示手段と、コンポーネントのポート情報を持つコンポーネントライブラリと、シンボルのポート情報やシンボルの回路情報を持つシンボルライブラリから構成される。

本発明によれば、コンポーネントのインスタンス毎にシンボルの対応付けを行うことができ、またコンポーネントとシンボルを多対多に対応付けることで、設計者が論理設計を行いやすいシンボルに、いつでも切り替えることが可能となり、設計者が論理設計しやすくすることが可能となる。

本発明では、まずＨＤＬによる論理回路読み込み手段により論理回路を読み込む。次に、その論理回路から、コンポーネント及びコンポーネントの作成手段からコンポーネント及びコンポーネントポートを、また、インスタンス及びインスタンスの作成手段からインスタンス及びインスタンスポートを、論理回路記憶部に作成する。

次にシンボル及びシンボルポートの作成手段からシンボル及びシンボルポートを作成する。次に、インスタンス及びインスタンスポートとシンボル及びシンボルポートの対応手段により、インスタンス毎にどのシンボルを用いて表示するかの対応付けを行い、論理回路記憶部を書き換える。最後に、回路図表示手段により、論理回路を回路図として表示する。

本発明では、論理図面において、主に、Class Component 、Class Instance、Class Symbol、Class ComponentPort 、Class InstancePort、Class SymbolPortの下記の６つのデータ構造を用いる。

（１）Class Component ｛
Name name;
ComponentPort component _-port;
TrInformation tr_-information;
｝
（２）Class Instance｛
Name name;
InstancePort instance _-port;
Component ^*to_-component;
Symbol^*to_-symbol;
Instance^*to_-instance;
｝
（３）Class Symbol｛
Name name;
SymbolPort symbol _-port;
SymbolSchema symbol _-schema;
Location location;
Instance^*to_-instance;
Symbol^*to_-symbol;
｝
（４）Class ComponentPort ｛
Name name;
｝
（５）Class InstancePort｛
Name name;
SymbolPort^*to_-symbol_-port;
｝
（６）Class SymbolPort｛
Name name;
InstancePort^*to_-instance_-port;
SymbolPort^*to_-symbol_-port;
｝
（１）Class Component は、コンポーネントの情報を保持するためのデータ構造である。Component ::nameは、コンポーネントの名前である。

Component ::Component _-portは、そのコンポーネントのポート情報を格納しているデータである。Component ::tr_-information は、そのコンポーネントにおけるトランジスタ情報を格納しているデータである。

（２）Class Instanceは、コンポーネントを実体化（インスタンスという）したデータ構造である。Instance::namaは、インスタンスの名前である。Instance:: instance _-portは、そのインスタンスのポート情報を格納しているデータである。

Ｉnstance ::to_-component はコンポーネントへのリンクである。

Ｉnstance ::to_-symbolはシンボルへのリンクである、Instance::to_-instanceは、複数のコンポーネントを一つのシンボルで表示するときに使用する、インスタンスへのリンクである。ループリンクになっていて、その複数のインスタンスを一つのシンボルで表示する。

（３）Class Symbolは、論理図面上に表示されるインスタンスの図形情報（シンボル）のデータ構造である。Symbol::nameは、シンボルの名前である。Symbol::symbol_-portは、そのシンボルのポート情報を格納しているデータである。Symbol::symbol_-schemaは、シンボルの図形情報を格納しているデータである。Symbol:: location は、そのシンボルの図面上の位置を表すデータである。Symbol::to_-instanceは、インスタンスへのリンクである。Symbol::to_-symbolは、ひとつのコンポーネントを複数のシンボルで表示するときに使用するシンボルへのリンクである。

（４）Class ComponentPort は、コンポーネントのポートの情報を保持するためのデータ構造である。ComponentPort ::nameは、コンポーネントポートの名前である。

（５）Class InstancePortは、インスタンスのポートを保持するためのデータ構造である。

InstancePort::nameは、インスタンスポートの名前である。

InstancePort::to_-symbol_-portは、対応するシンボルポートへのリンクである。

（６）Class SymbolPortは、シンボルのポートを保持するためのデータ構造である。

SymbolPort:: name は、シンボルポートの名前である。

SymbolPort::to_-instance_-portは、対応するインスタンスポートへのリンクである。

SymbolPort::to_-symbol_-portは、ひとつのコンポーネントを複数のシンボルで表示する時で、対応するインスタンスポートがない場合、その複数のシンボル内での接続を示すリンクである。

次にコンポーネントとシンボルが、Ａ．コンポーネントの数が１．シンボルの数がｍ（ｍは正の複数）、の例、Ｂ．コンポーネントの数がｎ（ｎは正の複数）、シンボルの数が１の例、Ｃ．コンポーネントの数がｎ、シンボルの数がｍの例について論理図面データを説明する。

Ａ．コンポーネント１: シンボルｍの例
ＡＮＤＯＲというコンポーネントがあり、それを図５２（Ａ）、（Ｂ）に示す如く、複数のシンボルの組み合わせで表現する場合。

これをＨＤＬで表現すると、図３に示す如く表現される。図３において、ＡＮＤＯＲはコンポーネント名、instance１はインスタンス名、Ａ１、Ａ２、Ｂ１、Ｂ２、Ｘはピン名、in１〜in４、out １はそれぞれピンに接続される信号線である。そして後述するようにこの図３に示す入力データにもとづき図１に示すコンポーネントライブラリ、シンボルライブラリを参照し、別途入力されたシンボルデータ等により、ａｎｄシンボル２個、ｏｒシンボル１個で図面を表現する、図４〜図９に示す如き、図５２（Ａ）に対する論理図面データが得られる。

なお、図４は、コンポーネントのテーブル、図５はインスタンスのテーブル、図６はシンボルのテーブル、図７はコンポーネントＡＮＤＯＲのコンポーネントポートのテーブル、図８はインスタンス１のインスタンスポートのテーブル、図９（Ａ）〜（Ｃ）はシンボル１〜シイボル３のシンボルポートのテーブルである。

これらの論理図面データにもとづき、ａｎｄシンボル３個、オアシンボル１個で構成されるＡＮＤＯＲの回路図面が表示される。

また図５２（Ｂ）に示す如く、ｎａｎｄシンボル３個で図面を表示する場合、論理図面データは、図１０〜図１５に示す如きものが得られる。この場合、ＨＤＬ表現は図３に示すものと同一である。

なお図１０はコンポーネントのテーブル、図１１はインスタンスのテーブル、図１２はシンボルのテーブル、図１３はコンポーネントＡＮＤＯＲのコンポーネントポートのテーブル、図１４はインスタンス１のインスタンスポートのテーブル、図１５（Ａ）〜（Ｃ）はシンボル１４〜シンボル１６のシンボルポートのテーブルである。

これらの論理図面データにもとづき、ｎａｎｄシンボル３個で構成されるＡＮＤＯＲの回路図面が表示される。

本発明で使用する論理図面データについて、ａｎｄシンボル２個、ｏｒシンボル１個でＡＮＤＯＲの図面を表現する。

図４〜図９を例にして代表的に説明する。

コンポーネントは、図４に示す如く、コンポーネントの名前を示すｎａｍｅ、コンポーネントのポート情報を示すcomponent _-port、そのコンポーネントにおけるトランジスタ情報を示すtr_-information を有する。

インスタンスは、図５に示す如く、そのインスタンスの名前を示すｎａｍｅ、インスタンスのポート情報を示すinstance_-port、リンクするコンポーネントを示すto_-component 、このインスタンスポートが使用するシンボルへのリンク情報を示すto_-symbol、複数のコンポーネントを一つのシンボルで表示するときに使用するインスタンスへのリンク情報であるto_-instanceを有する。

シンボルは、図６に示す如く、その名前を示すｎａｍｅ、シンボルのポート情報を示すsymbol_-port、そのシンボルの図形情報の格納先を示すsymbol_-schema、シンボルの図面上の位置を示すlocation、インスタンスへのリンク情報を示すto_-instance、ひとつのコンポーネントを複数のシンボルで表示するときに使用するシンボルへのリンク情報を示すto_-symbolを有する。

コンポーネントポートは、図７に示す如く、コンポーネントのポート情報を保持するものであり、ｎａｍｅはコンポーネントポートの名前である。

インスタンスポートは、図８に示す如く、インスタンスのポートを保持するものであり、ｎａｍｅはインスタンスポートの名前を示し、to_-symbol_-portは対応するシンボルポートへのリンクを示す。

シンボルポートは、図９に示す如く、シンボルのポートを保持するものであり、ｎａｍｅはシンボルポートの名前、to_-instance_-portは対応するインスタンスポートへのリンク、to_-symbol_-portはひとつのコンポーネントを複数のシンボルで表示すると時で、対応するインスタンスポートがない場合その複数のシンボル内での接続を示すリンクである。

例えば図９（Ａ）のsymbol１のsymbol_-portＸがsymbol３のポートＡ１と電気接続していること、図９（Ｂ）のsymbol２のsymbol_-portＸがsymbol３のポートＡ２と電気接続していること、図９（Ｃ）のsymbol３のsymbol_-poart Ａ１、Ａ２がsymbol１のポートＸ、symbol２のポートＸとそれぞれ電気接続していることが示される。

次にＡＮＤＯＲをｎａｎｄシンボル３個で図面を表現する場合について説明する。この場合ＨＤＬの表現は、前記図３と同じであるので図１０に示すコンポーネントの図面データは、図４と同一である。また図１１に示すインスタンスも、to_-symbolの部分を除いて図５と同一である。

この場合、インスタンス１で使用するシンボルは、いずれもｎａｎｄであるので、図１２に示す如く、symbol_-schemaにはｎａｎｄが記入され、それぞれsymbol４〜６と対応している。またインスタンスには、to_-symbolにリンク先のsymbol４が記入されている。その他前記ａｎｄシンボル２個、ｏｒシンボル１個の場合と同様に図１３に示す如く、コンポーネントポート、図１４に示す如く、インスタンス１のインスタンスポート、図１５に示す如く、シンボル４〜６のシンボルポート等が構成されている。

Ｂ．コンポーネントｎ：シンボル１の例
２入力が同値の場合に１を出力する一致回路が複数のコンポーネントから構成されていて、それを一つのシンボルで表現する場合の論理図面の例について説明する。

一致回路は、前記の如く、２入力が同値の場合１を出力する回路であり、図面としては図１６（Ｃ）に示す如く、２入力、１出力のボックスで示すことができる。また、後述する図３８（Ｂ）に示す如く、ＮＯＴ２個、ＡＮＤ２個、ＯＲ１個で構成することができるので、ＨＤＬの表現としては図１６（Ａ）に示す如く、記載することができる。

また一致回路における、前記２個のＡＮＤと１個のＯＲは、図３８（Ｂ）に示す如く、ＡＮＤＯＲを構成するので、図１６（Ｂ）に示す如く、記載することもできる。

従って、ＮＯＴ２個、ＡＮＤ２個、ＯＲ１個のコンポーネントの場合の論理図面データは、コンポーネントを図１７に示す如く記載し、インスタンスを図１８に示す如く記載し、シンボルを図１９に示す如く記載し、コンポーネントＮＯＴのコンポーネントポートを図２０に示す如く記載し、コンポーネントＡＮＤのコンポーネントポートを図２１に示す如く記載し、コンポーネントＯＲのコンポーネントポートを図２２に示す如く記載し、インスタンス１のインスタンスポートを図２３に示す如く記載し、インスタンス２のインスタンスポートを図２４に示す如く記載し、インスタンス３のインスタンスポートを図２５に示す如く記載し、インスタンス４のインスタンスポートを図２６に示す如く記載し、インスタンス５のインスタンスポートを図２７に示す如く記載し、シンボル７のシンボルポートを図２８に示す如く記載することができる。

また一致回路は、コンポーネントｎ、シンボル１の場合、図１６（Ｂ）の如く、ＨＤＬ表現することができるので、ＮＯＴ２個、ＡＮＤＯＲ１個のコンポーネントの場合の論理図面データは、コンポーネントを図２９に示す如く記載し、インスタンスを図３０に示す如く記載し、シンボルを図３１に示す如く記載し、コンポーネントＮＯＴのコンポーネントポートを図３２に示す如く記載し、コンポーネントＡＮＤＯＲのコンポーネントポートを図３３に示す如く記載し、インスタンス１のインスタンスポートを図３４に示す如く記載し、インスタンス２のインスタンスポートを図３５に示す如く記載し、インスタンス３のインスタンスポートを図３６に示す如く記載し、シンボル７のシンボルポートを図３７に示す如く記載することができる。

Ｃ．コンポーネントｎ：シンボルｍ（多対多）の例
一致回路は図３８（Ｂ）に示す回路でも構成されるので、複数のシンボルで表現する場合、ＨＤＬで表現ると図３８（Ａ）に示す如く、表現することができるので、論理図面データは、コンポーネントを図３９に示す如く記載し、インスタンスを図４０に示す如く記載し、シンボルを図４１に示す如く記載し、コンポーネントＮＡＮＤのコンポーネントポートを図４２に示す如く記載し、コンポーネントＯＲのコンポーネントポートを図４３に示す如く記載し、インスタンス１のインスタンスポートを図４４に示す如く記載し、インスタンス２のインスタンスポートを図４５に示す如く記載し、インスタンス３のインスタンスポートを図４６に示す如く記載し、シンボル１のシンボルポートを図４７に示す如く記載し、シンボル２のシンボルポートを図４８に示す如く記載し、シンボル３のシンボルポートを図４９に示す如く記載し、シンボル４のシンボルポートを図５０に示す如く記載し、シンボル５のシンボルポートを図５１に示す如く記載することができる。

本発明では、このようにして得られた論理図面データにより、後述する回路図表示部が、シンボルとシンボルポート等を読み出して、公知の如く、図形情報に変換し、目的とする図形を表示出力するものである。

本発明の一実施例を説明する。図１は本発明の一実施例構成図、図２はその動作説明図である。図１において、１は入力部、２は論理回路読み込み部、３は論理回路記憶部、４はコンポーネント及びコンポーネントポート作成部、５はインスタンス及びインスタンスポート作成部、６はシンボル及びシンボルポート作成部、７はインスタンス及びインスタンスポートとシンボル及びシンボルポートの対応部、８は回路図表示部、９はディスプレイ、１０はコンポーネントライブラリ、１１はシンボルライブラリである。

なお図１において、矩形図形で囲んだ部分は、本発明の論理回路のシンボル表示装置を構成するコンピュータシステムの主要構成部分であり、論理回路記憶部３は主記憶で構成され、他の部分はＣＰＵの動作を示している。

入力部１は、本発明で使用される、図３に示す如き論理回路や、その論理回路を構成するシンボル、ロケーション等を入力するものであり、例えばキーボードやマウス等により構成される。

論理回路読み込み部２は、図３に示す如き、ＨＤＬによる論理回路を読み込んだり、シンボル、ロケーション等を読み込むものである。

論理回路記憶部３は、論理回路読み込み部２で読み込んだ、図３に示す如き論理回路データ、コンポーネント及びコンポーネントポート作成部４で作成された、図４、図７に示す如きコンポーネント、コンポーネントポート、インスタンス及びインスタンスポート作成部５で作成された、図５、図８に示す如き、インスタンス、インスタンスポート、シンボル及びシンボルポート作成部６で作成された、図６、図９に示す如き、シンボル、シンボルポート等が記憶されるものである。

コンポーネント及びコンポーネントポート作成部４は、前記図３に示すＨＤＬによる論理回路データのコンポーネント名（この例ではＡＮＤＯＲ）よりコンポーネントライブラリ１０を参照して図４に示す如きコンポーネントを作成し、そのコンポーネントポートに記入されたアドレス先よりコンポーネントライブラリ１０を参照して、図７に示す如きコンポーネントポートを作成するものである。

インスタンス及びインスタンスポート作成部５は、前記図３に示すＨＤＬによる論理回路データのコンポーネント名ＡＮＤＯＲと、インスタンス名instance１と、あらかじめ定められたデータ構造により、図５に示すインスタンスと、図８に示す如きインスタンスポートを作成するものである。ただし前記図５に示すインスタンスのto_-symbol、to_-instance、及び前記図８で示すインスタンスポートのto_-symbol_-porat は後述するインスタンス及びインスタンスポートとシンボル及びシンボルポートの対応部７で記入する。

シンボル及びシンボルポート作成部６は、別途オペレータが入力したインスタンス１を表現するシンボル（この例ではsymbol１、symbol２、symbol３とシンボルライブラリ１１を参照して、図６に示すシンボルと、図９に示すシンボルポートを作成するものである。ただし前記図６に示すシンボルのlocationと、to_-instanceと、to_-symbol及び図９に示すto_-instance_-portとto_-symbol_-portは後述するインスタンス及びインスタンスポートとシンボル及びシンボルポートの対応部７で記入する。

インスタンス及びインスタンスポートとシンボル及びシンボルポートの対応部７は、前記の如く、インスタンスのto_-symbol、to_-instance、シンボルのlocation、to_-instance、to_-symbol、インスタンスポートのto_-symbol_-port、to_-symbol_-portの各項を記入するものであり、このため、これらの各テーブルに記入するために必要な前記データが事前に入力されるものである。

回路図表示部８は、図６に示すシンボル、図８に示すインスタンスポート、図９に示すシンボルポートの各テーブルよりシンボルとシンボルポートとロケーション等を読み出して図形情報に変換するものである。

ディスプレイ９は、前記回路図表示部８で作成された図形情報にもとづき可視情報に変換するものであり、ディスプレイやプリンタ等で構成される。

コンポーネントライブラリ１０はコンポーネントのポート情報やトランジスタ情報が格納されるものであり、本発明の論理回路のシンボル表示装置を動作させるのに先立ち事前に作成されるものである。

シンボルライブラリ１１は、シンボルポート情報やシンボルの図形情報が格納されるものであり、これまた本発明を動作させるのに先立ち事前に作成されるものである。

次に図１に示す本発明の動作を図２に示すフローチャートにもとづき、最初にＡＮＤＯＲを図５２（Ａ）に示す如く、ＡＮＤ２個とＯＲ１個で表示し、次に同（Ｂ）に示す如く、ＮＡＮＤ３個で表示する例について説明する。

Ｓ１．オペレータは、入力部１より、図３に示す如き、ＨＤＬによる論理回路データを入力する。図３は、コンポーネント名がＡＮＤＯＲ、インスタンス名がinstance１、インスタンスの接続情報として、instance１のピン名Ａ１、Ａ２、Ｂ１、Ｂ２の各ピンに入力信号ｉｎ１、ｉｎ２、ｉｎ３、ｉｎ４が接続され、ピン名Ｘのピンに出力信号ｏｕｔ１が接続されることを示す。この論理回路データは論理回路読み込み部２により読み込まれ、論理回路記憶部３により保持される。

Ｓ２．この入力データはコンポーネント及びコンポーネントポート作成部４で読み出され、そのコンポーネント名がＡＮＤＯＲであることが解読され、コンポーネントライブラリ１０が参照され、そのコンポーネントポートの記入先のアドレスがトランジスタ情報（tr_-information ）とともに得られ、図４に示すコンポーネントが作成される。このコンポーネントポートの記入先アドレスにより、再びコンポーネントライブラリ１０をアクセスすることにより、ＡＮＤＯＲのコンポーネントポートの名前が得られ、図７に示すコンポーネントポートが作成される。そしてこれらが論理回路記憶部３に保持される。

Ｓ３．次にインスタンス及びインスタンス作成部５がインスタンス名instance１によりコンポーネントライブラリ１０を参照することにより、図５に示すインスタンスが得られる。そしてこのインスタンスのinstance_-portに記入されたアドレスよりコンポーネントポートを参照することにより、図８に示すインスタンスポートが得られる。そしてこれらが論理回路記憶部３に保持される。ただし、前記図５に示すインスタンスのto_-symbol、to_-instance及びインスタンスポートのto_-symbol_-portの項は、この時点では記入されていない。

Ｓ４．それからシンボル及びシンボルポート作成部６で図６に示すシンボルと、図９に示すシンボルポートの作成が行われるが、これに先立ってこのステップＳ４で、前記instance１を表現するシンボルがsymbol１〜symbol３であること、symbol１、２がそれぞれａｎｄであり、symbol３がｏｒであることが入力部１から入力される。これによりシンボル及びシンボルポート作成部６がシンボルライブラリ１１を参照して図６に示すシンボルと、図９に示すシンボルポートを作成する。そしてこれらが論理回路記憶部３に保持される。ただし図６に示すシンボルのlocation、to_-instance、to_-symbol及びシンボルポートのto_-instance_-port及びto_-symbol_-portの項はこの時点では記入されていない。

Ｓ５．前記Ｓ４までに記入できなかった前記各データを前記各論理回路図のテーブルに記入する処理を行う。このために必要なデータを入力部１より入力され、図５に示すインスタンスのto_-symbol、to_-instance、図６に示すシンボルのlocation、to_-instance、to_-symbol、図８に示すインスタンスポートのto_-symbol_-port、図９に示すシンボルポートのto_-instance、to_-symbol_-port等のデータを入力部１より入力する。これによりインスタンス及びインスタンスポートとシンボル及びシンボルポートの対応部７は、前記各テーブルの項を記入し、これにより前記図４〜図９に示す論理回路図面を構成する各テーブルが完成する。

Ｓ６．これにより回路図表示部８は、論理回路記憶部３に保持された論理回路図よりシンボル、シンボルポート、ロケーション等を読み出してこれを図形情報に変換する。そしてディスプレイ９でこれを表示する。

Ｓ７．オペレータはこの図面を他のものに変更する必要がないと判断すれば、そのまま終了する。

Ｓ８−１．しかしオペレータが他の図面に変更した方がよいと判断すると、例えば図５２（Ａ）の図面をｎａｎｄシンボル３個で表現する図５２（Ｂ）に変更したいと判断すると、前記Ｓ４に戻る。このとき、オペレータは入力部１より、instance１を表現するシンボルsymbol４〜６がｎａｎｄであることを入力する。これによりシンボル及びシンボルポート作成部６が、図１２に示す如く、シンボルのテーブルを、ｎａｍｅ、symbol_-port、symbol_-schemaを訂正した、変更図面に合致したデータに訂正する。

Ｓ８_-２．それからオペレータは図１１に示すインスタンスのto_-symbol、図１２に示すシンボルのlocation、to_-instance、to_-symbol、図１４に示すインスタンスポートのto_-symbol_-port、図１５に示すシンボルポートのto_-symbol_-portの各項を変更するためのデータを入力部１より入力する。これにもとづきインスタンス及びインスタンスポートとシンボル及びシンボルポートの対応部７が動作して、図１１、図１２、図１４、図１５に示す如き各テーブルを作成するので、回路図表示部８はこの変更図面にもとづく図面表示をディスプレイ９に行う。

このようにして別のシンボルを使用したものと簡単に表示変更することができる。

なお前記説明では、ＨＤＬにもとづく論理回路の読み込みの場合について説明したが、本発明は勿論これのみに限定されるものではなく、回路入力ＣＡＤ等にもとづく論理回路入力でも適用できる。

また動作説明としてわかり易くするために、図５２（Ａ）、（Ｂ）に示すＡＮＤＯＲの例について説明したが、本発明の表示装置は、図３８に示す如きコンポーネントとシンボルを多対多で表現した場合においても、同様に適用できるものである。

本発明の一実施例構成図である。本発明の動作説明図である。ＨＤＬによる論理回路データである。ａｎｄシンボル２、ｏｒシンボル１で表現したＡＮＤＯＲの論理図面データ（その１）である。ａｎｄシンボル２、ｏｒシンボル１で表現したＡＮＤＯＲの論理図面データ（その２）である。ａｎｄシンボル２、ｏｒシンボル１で表現したＡＮＤＯＲの論理図面データ（その３）である。ａｎｄシンボル２、ｏｒシンボル１で表現したＡＮＤＯＲの論理図面データ（その４）である。ａｎｄシンボル２、ｏｒシンボル１で表現したＡＮＤＯＲの論理図面データ（その５）である。ａｎｄシンボル２、ｏｒシンボル１で表現したＡＮＤＯＲの論理図面データ（その６）である。ｎａｎｄシンボル３、で表現したＡＮＤＯＲの論理図面データ（その１）である。ｎａｎｄシンボル３、で表現したＡＮＤＯＲの論理図面データ（その２）である。ｎａｎｄシンボル３、で表現したＡＮＤＯＲの論理図面データ（その３）である。ｎａｎｄシンボル３、で表現したＡＮＤＯＲの論理図面データ（その４）である。ｎａｎｄシンボル３、で表現したＡＮＤＯＲの論理図面データ（その５）である。ｎａｎｄシンボル３、で表現したＡＮＤＯＲの論理図面データ（その６）である。複数のコンポーネントで構成される一致回路を１つのシンボルで表現する場合の説明図である。ＮＯＴシンボル２、ＡＮＤシンボル２、ＯＲシンボル１で表現した一致回路の論理図面データ（その１）である。ＮＯＴシンボル２、ＡＮＤシンボル２、ＯＲシンボル１で表現した一致回路の論理図面データ（その２）である。ＮＯＴシンボル２、ＡＮＤシンボル２、ＯＲシンボル１で表現した一致回路の論理図面データ（その３）である。ＮＯＴシンボル２、ＡＮＤシンボル２、ＯＲシンボル１で表現した一致回路の論理図面データ（その４）である。ＮＯＴシンボル２、ＡＮＤシンボル２、ＯＲシンボル１で表現した一致回路の論理図面データ（その５）である。ＮＯＴシンボル２、ＡＮＤシンボル２、ＯＲシンボル１で表現した一致回路の論理図面データ（その６）である。ＮＯＴシンボル２、ＡＮＤシンボル２、ＯＲシンボル１で表現した一致回路の論理図面データ（その７）である。ＮＯＴシンボル２、ＡＮＤシンボル２、ＯＲシンボル１で表現した一致回路の論理図面データ（その８）である。ＮＯＴシンボル２、ＡＮＤシンボル２、ＯＲシンボル１で表現した一致回路の論理図面データ（その９）である。ＮＯＴシンボル２、ＡＮＤシンボル２、ＯＲシンボル１で表現した一致回路の論理図面データ（その１０）である。ＮＯＴシンボル２、ＡＮＤシンボル２、ＯＲシンボル１で表現した一致回路の論理図面データ（その１１）である。ＮＯＴシンボル２、ＡＮＤシンボル２、ＯＲシンボル１で表現した一致回路の論理図面データ（その１２）である。ＮＯＴシンボル２個、ＡＮＤＯＲシンボル１個で表現した一致回路の論理図面データ（その１）である。ＮＯＴシンボル２個、ＡＮＤＯＲシンボル１個で表現した一致回路の論理図面データ（その２）である。ＮＯＴシンボル２個、ＡＮＤＯＲシンボル１個で表現した一致回路の論理図面データ（その３）である。ＮＯＴシンボル２個、ＡＮＤＯＲシンボル１個で表現した一致回路の論理図面データ（その４）である。ＮＯＴシンボル２個、ＡＮＤＯＲシンボル１個で表現した一致回路の論理図面データ（その５）である。ＮＯＴシンボル２個、ＡＮＤＯＲシンボル１個で表現した一致回路の論理図面データ（その６）である。ＮＯＴシンボル２個、ＡＮＤＯＲシンボル１個で表現した一致回路の論理図面データ（その７）である。ＮＯＴシンボル２個、ＡＮＤＯＲシンボル１個で表現した一致回路の論理図面データ（その８）である。ＮＯＴシンボル２個、ＡＮＤＯＲシンボル１個で表現した一致回路の論理図面データ（その９）である。一致回路を複数のシンボルで表現する場合の説明図である。一致回路を複数のコンポーネントｎとシンボルｍ（ｎ、ｍは複数）で表現した論理図面データ（その１）である。一致回路を複数のコンポーネントｎとシンボルｍで表現した論理図面データ（その２）である。一致回路を複数のコンポーネントｎとシンボルｍで表現した論理図面データ（その３）である。一致回路を複数のコンポーネントｎとシンボルｍで表現した論理図面データ（その４）である。一致回路を複数のコンポーネントｎとシンボルｍで表現した論理図面データ（その５）である。一致回路を複数のコンポーネントｎとシンボルｍで表現した論理図面データ（その６）である。一致回路を複数のコンポーネントｎとシンボルｍで表現した論理図面データ（その７）である。一致回路を複数のコンポーネントｎとシンボルｍで表現した論理図面データ（その８）である。一致回路を複数のコンポーネントｎとシンボルｍで表現した論理図面データ（その９）である。一致回路を複数のコンポーネントｎとシンボルｍで表現した論理図面データ（その１０）である。一致回路を複数のコンポーネントｎとシンボルｍで表現した論理図面データ（その１１）である。一致回路を複数のコンポーネントｎとシンボルｍで表現した論理図面データ（その１２）である。一致回路を複数のコンポーネントｎとシンボルｍで表現した論理図面データ（その１３）である。ＡＮＤＯＲ回路説明図である。ＮＡＮＤ回路（その１）である。ＮＡＮＤ回路（その２）である。ＮＡＮＤ回路（その３）である。

符号の説明

１入力部
２論理回路読み込み部
３論理回路記憶部
４コンポーネント及びコンポーネントポート作成部
５インスタンス及びインスタンスポート作成部
６シンボル及びシンボルポート作成部
７インスタンス及びインスタンスポートとシンボル及びシンボルポートの対応部
８回路図表示部
９ディスプレイ
１０コンポーネントライブラリ
１１シンボルライブラリ

Claims

ＨＤＬまたは論理入力ＣＡＤによる論理回路情報を読み込む論理回路読み込み手段と、コンポーネントライブラリを参照してコンポーネントとコンポーネントポートを作成するコンポーネント及びコンポーネントポート作成手段と、
論理回路中に出現するインスタンスに対し、コンポーネント及びコンポーネントポートを参照してインスタンス及びインスタンスポートを作成するインスタンス及びインスタンスポート作成手段と、
シンボルライブラリを参照してシンボルとシンボルポートを作成するシンボル及びシンボルポート作成手段と、
インスタンス毎にどのシンボルを用いて表示するのかを対応付けするインスタンス及びインスタンスポートとシンボル及びシンボルポート対応手段と、
論理回路を回路図として表示する回路図表示手段と、
コンポーネントのポート情報を持つコンポーネントライブラリと、
シンボルのポート情報やシンボルの回路情報を持つシンボルライブラリを具備することを特徴とする論理回路のシンボル表示装置。
ＨＤＬまたは論理入力ＣＡＤによる論理回路情報を読み込む論理回路読み込み、
コンポーネントライブラリを参照してコンポーネントとコンポーネントポートを作成し、
論理回路中に出現するインスタンスに対し、コンポーネント及びコンポーネントポートを参照してインスタンス及びインスタンスポートを作成し、
シンボルライブラリを参照してシンボルとシンボルポートを作成し、
インスタンス毎にどのシンボルを用いて表示するのかを対応付けし、
論理回路を回路図として表示することを特徴とする論理回路のシンボル表示方法。
コンポーネントのポート情報を持つコンポーネントライブラリと、シンボルのポート情報やシンボルの回路情報を持つシンボルライブラリを具備するコンピュータを、
ＨＤＬまたは論理入力ＣＡＤによる論理回路情報を読み込む論理回路読み込み機能と、コンポーネントライブラリを参照してコンポーネントとコンポーネントポートを作成するコンポーネント及びコンポーネントポート作成機能と、
論理回路中に出現するインスタンスに対し、コンポーネント及びコンポーネントポートを参照してインスタンス及びインスタンスポートを作成するインスタンス及びインスタンスポート作成機能と、
シンボルライブラリを参照してシンボルとシンボルポートを作成するシンボル及びシンボルポート作成機能と、
インスタンス毎にどのシンボルを用いて表示するのかを対応付けするインスタンス及びインスタンスポートとシンボル及びシンボルポート対応機能と、
論理回路を回路図として表示する回路図表示機能と、
として動作させることを特徴とするプログラム。