JPH0415874A - 論理回路図出力方法 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野］ 本発明は、ファンアウト数の表示機能を備えた論理回路
図の表示方法に関するものである。

［従来の技術］ 従来、ＬＳＩ等の論理回路を搭載するデバイスは、通常
、信号の伝播速度等を保証するために、セルの種類別に
許容ファンアウト数が決められている。許容ファンアウ
ト数とは、あるセルの出力が他のセルに入力できる最大
本数のことであって、許容ファンアウト数以上の本数を
とってしまうと、出力電圧レベルが低下してしまい、論
理レベルの判定でエラーが生じることになる。このため
、論理設計を行うときには、必ず論理を構成するセルの
許容ファンアウト数を考慮して、使用ファンアウト数、
つまりあるセルの出力信号が実際に他のセルに入力する
本数を決める必要がある。

しかしながら、機能論理図作成時には、ゲートレベルの
ファンアウト数が見え難く、許容ファンアウト数のチエ
ツクに多大な工数を必要として１いた。

第６図は、セルの許容ファンアウト数を考慮した従来に
おける論理設計手順の動作フローチャトである。

ＤＡ（設計自動化）システムを利用して、セルの許容フ
ァンアウト数を考慮しながら論理設計を行う場合には、
第６図のフローに示す順序で行っていた。

■機能論理モジュールの作成処理→フリップフロップや
デコーダ等のレベルの論理を機能論理モジュールと呼ぶ
が、この機能論理モジュールの名前（モジュールタイプ
名）と、機能論理モジュールで使用する入出力ビンをＤ
Ａシステムに登録する（ステップ６１）。

■論理変換ライブラリの作成処理→ＬＳＩのセルに対応
するレベルの論理を詳細論理モジュールと呼び、詳細論
理モジュールを使用して記述された論理を詳細論理と呼
ぶ。次に、機能論理モジュールの内部を詳細論理で記述
した論理変換ライブラリを作成する（ステップ６２）。

■機能論理モジュール集の作成処理−機能論理モジュー
ルと論理変換ライブラリの対応を参照するための資料と
して、機能論理モジュール集を作成する（ステップ６３
）。なお、第７図に、機能論理モジュール集の記述内容
の一例を示す。

■機能論理ファイルの作成処理−機能論理モジュールを
使用して記述した論理を機能論理と呼ぶが、この機能論
理をＤＡシステムに入力することにより機能論理ファイ
ルを作成する（ステップ６４）。

■詳細論理ファイルの自動生成処理−機能論理ファイル
を基に、詳細論理ファイルを自動生成する（ステップ６
５）。この自動生成処理では、ＤＡシステムにおいて、
機能論理ファイル内の機能論理モジュールを、論理変換
ライブラリを基に詳細論理に置き換える処理であって、
この処理により、詳細論理の信号接続情報であるネット
リスト（接続関係をリストで示す図）を出力する。なお
、第８図に、ネットリストの記述内容の一例を示す。

第７図の機能論理モジュール集の記述内容εして、ここ
では、２人力４出力デコーダの例がボされている。機能
論理モジュール集には、モジュールタイプ名６１の下に
、機能論理モジュールの論理図シンボル６２、詳細論理
図６３、機能論理モジュールの入力ビンが必要とする使
用ファンアウト数６４、機能論理モジュールの出力ビン
の許容ファンアウト数６５が、それぞれ記述されている
。

第８図のネットリストの記述例として、信号名６６、信
号の許容ファンアウト数６７、信号の使用ファンアウト
数６８、信号を出力する詳細論理モジュールの詳細論理
図位置６９、信号が入力する詳細論理モジュールの詳細
論理図位置７０等が記述されている。

第９図は、従来の機能論理図、ネットリスト、および詳
細論理図の出力処理の概略図である。

９１は機能論理ファイル、９２は論理変換ライブラリ、
９３は詳細論理ファイル、９４は機能論理図、９５はネ
ットリスト、９６は詳細論理図である。また、９０１は
機能論理ファイル９１から機能論理図９４を出力する処
理、９０２はネットリストから機能論理ファイル９１を
修正する処理、９０３は論理変換ライブラリ９２かもネ
ットリスト９５を自動生成する処理、９０４は詳細論理
ファイル９３から詳細論理図９６を出力する処理である
。

機能論理モジュールを用いて記述した論理を、ＤＡシス
テムに入力することにより機能論理ファイル９１を作成
した後、その機能論理ファイル９１から機能論理図出力
処理９０１を実行することにより機能論理図９４を出力
する。また、機能論理モジュールの内部が詳細論理で記
述された論理変換ライブラリ９２を基にして、機能論理
ファイル９１内の機能論理モジュールを詳細論理に置き
換えることにより、詳細論理ファイル９３が自動生成さ
れる。この論理自動生成処理９０３により、詳細論理の
信号接続情報であるネットリスト９５が出力される。こ
のネットリスト９５を参照して機能論理ファイル９１を
修正する場合には、詳細論理の信号接続情報から機能論
理を修正する。また、詳細論理図９６は、詳細論理ファ
イル９３から詳細論理図出力処理９０４を実行すること
により出力される。

なお、詳細論理の情報を機能論理の作成時に参照できる
ような従来の技術としては、例えば、特開昭６２−２９
３４７３号公報に記載された方法があるが、この方法に
おいても、機能論理から詳細論理の信号接続情報を生成
するが、この情報を機能論理図に記述することは行って
いない。

〔発明が解決しようとする課題〕

前述の論理設計の手順において、■機能論理ファイルの
作成作業は、次の■詳細論理ファイルの自動生成処理の
後に判明する信号の使用ファンアウト数を予想しながら
行われる。このため、設計者は、■機能論理モジュール
集作成処理で作成した機能論理モジュール集を参照して
、詳細論理での使用ファンアウト数を計数する。

しかし、この方法では、使用ファンアウト数をカウント
誤りした場合でも、■詳細論理ファイルの自動生成処理
が終了するまでは判明しない。

また、上述のように、ネットリスト９５を参照しながら
機能論理ファイル９１を修正する場合には、詳細論理の
信号接続情報から機能論理を修正するため、信号を出力
する機能論理モジュールを人手により検索しなければな
らず、致方ゲートの中からの検索処理は極めて困難であ
る。この検索作業は、２０，０００ゲ一ト程度のＬＳＩ
で、機能論理の信号数が約１２００本の場合には、２０
０時間程度の設計工数を必要とする。

本発明の目的は、このような従来の課題を解決し、機能
論理ファイル作成時に、ファンアウト対策に多大な工数
を必要とせず、従来のＤＡシステム上で機能論理図にフ
ァンアウトを表示することが可能な論理回路図出力方法
を提供することにある。

〔課題を解決するための手段］ 上記目的を達成するため、本発明の論理回路図出力方法
は、機能論理モジュールの識別名と、該機能論理モジュ
ールの接続端子であるパラメータに対応した信号名と、
該パラメータの信号の接続数（使用ファンアウト数）と
を登録した信号情−テプルを作成し、機能論理モジュー
ルを詳細−環モジュールで記述した論理変換ライブラリ
を検索して、論理回路を構成する機能論理モジュールが
出力する信号の許容ファンアウト数、および使用ファン
アウト数を抽出し、抽出された許容ファンアウト数およ
び使用ファンアウト数をそれぞれ上記信号情報テーブル
に登録し、該信号情報テーブルから表示対象出力側信号
名単位に同一信号名の使用ファンアウト数の加算結果、
および許容ファンアウト数をそれぞれ論理図に表示する
ことに特徴がある。

［作　　用） 本発明においては、機能論理モジュールと、その機能論
理モジュールの接続端子であるパラメータに対応した信
号名と、その信号の接続数（使用ファンアウト数）を登
録した信号情報テーブルを作成して、論理回路図製作時
にそのテーブル中の使用ファンアウト数を論理図に表示
する。すなわち、出力側パラメータに対応した信号名単
位に、信号情報テーブルの入力側である同一信号名を検
索することによりネットを認識し、同−不ツドに接続す
る機能論理モジュールを論理変換ライブラリより展開す
ることにより、ネットに関する詳細論理レベルの接続数
、つまり使用ファンアウト数をカウントし、その出力側
信号名に対応する信号情報テーブルに求めた使用ファン
アウト数を格納する。論理図作成時に、機能論理モジュ
ールの出力パラメータを信号情報テーブルから検索し、
対応する使用ファンアウト数を求めることにより、論理
図上に使用ファンアウト数を表示することができる。

〔実施例］ 以下、本発明の実施例を、図面により詳細に説明する。

第２図は、本発明において引用される論理図の例を示す
図である。

第２図において、０１０，０２０は各々論理図、ｌは論
理図の基本単位、２，６，７．３７は信号名、３，３６
．４１は入出力パラメータ、３５は機能論理モジュール
、４はその機能論理モジュ・−ル３５のタイプ名、５は
ＩＤ名（識別名）である。

第２図に示すように、論理図中の情報は、機能論理モジ
ュール３５とその入力パラメータ３６、出力パラメータ
３に与えられた信号名３７，２を基本単位としている。

すなわち、機能論理モジュール３５は、タイプ名４とＩ
Ｄ名５とパラメータ名３６，３から構成され、各機能論
理モジュール間は信号名ＤＥＦ２，６．７により接続関
係を示す。

第３図は、本発明により新たに作成される信号情報テー
ブルの内容を示す図である。

本発明においては、第２図に示す論理図情報を第３図に
示すような信号情報テーブルに展開する。

展開内容は、タイプ名８、ＩＤ名９．１７０区分１０、
パラメータ名１１、信号名１４であり、各機能論理モジ
ュールのパラメータ単位に信号情報テーブルに登録され
る。パラメータ名１１のＡとＺはタイプ名ｌの機能論理
モジュール３５における入力パラメータＩおよび出力パ
ラメータ０であり、パラメータ名１１のＢおよびＣはそ
れぞれタイプ名２および３の機能論理モジュール３目に
おける入力パラメータＪである。パラメータ情報として
、パラメータ名１１の他に、許容ファンアウト数（出力
信号が他の機能モジュールに入力できる許容最大本数）
１２と接続数（出力が実際に他の機能モジュールと接続
されている使用ファンアウト数）１３の欄があるが、こ
れらは後述する本発明の処理により自動検索されて、各
欄に登録される。

第４図は、機能論理モジュールが登録されている論理変
換ライブラリの図である。

第３図に示す信号情報テーブル中の許容ファンアウト数
１２の求め方を、第４図により説明する。

論理変換ライブラリ２８は、機能論理モジュールの全タ
イプの詳細論理展開形が登録されている。

ここでは、説明上、タイプ１とタイプ２とタイプ３の各
機能論理モジュールの展開形が示されている。論理変換
ライブラリ２８から、信号情報テーブル中のタイプｌの
機能論理モジュール３５を検索し、そのテーブル中のＩ
１０区分０（３８）で１あるパラメータ単位（Ｚ）のフ
ァンアウト数３０を抽出することにより、信号情報テー
ブル中の許容ファンアウト数２２の欄にセットする。同
じようにして、許容ファンアウト数については、信号情
報テーブル中のＩ１０区用○の全パラメータに対して実
施する。そして、それらを信号情報テーブル中の許容フ
ァンアウト数の欄に記述する。

次に、第３図に示す信号情報テーブル中の接続数１３の
求め方を、第４図により説明する。

この接続数１３はパラメータに接続される信号名の数を
示している。第４図のタイプ２の機能論理モジュール展
開形３１を例にして説明すると、第２図のタイプ２の機
能論理モジュール４０のパラメータ４１に対する展開形
は、第４図における信号名３２に該当する。論理変換ラ
イブラリ２８を検索することにより、第２図中の信号名
６の接続数は第４図中の信号名３２の個数、つまり２個
であることを識別する。そして、この処理により求めた
接続数を信号情報テーブル中の接続数１３の欄のタイプ
２に該当する２３にセットする。

このようにして、論理変換ライブラリ２８から該当する
タイプの機能モジュールの各パラメータに対する許容フ
ァンアウト数および接続数を求め、信号情報テーブルの
該当欄にセットすることにより、信号情報テーブルが完
成する。

第５図は、本発明において、論理図中のファンアウト数
表示例を示す図である。

第５図においては、第２図に示す０１０の論理図のみを
示している。

信号情報テーブルを使用して、この論理図上に許容ファ
ンアウト数、使用ファンアウト数を表示する方法を説明
する。

論理図を作成する際に、表示対象となる出力側信号名Ｄ
ＥＦ４２に対して、信号情報テーブル中に１７０区分が
０（３８）である同一信号名ＤＥＦ２５を検索し、許容
ファンアウト数５（２２）を抽出する。同じようにして
、１１０区分が１（４３）である同一信号名ＤＥＦ（２
６）および（２７ンを検索し、信号名ＤＥＦ（２６）に
対する接続数　２（２３）および信号名ＤＥＦ（２７）
に対する接続数２（２４）を抽出し、それらの合計の接
続数、つまり使用ファンアウト数４を求める。これらの
処理により求めた許容ファンアウト数と使用ファンアウ
ト数を、第５図の３３と３４に示すように信号名の直後
に表示する。

以上のようにして、本発明においては、論理図に許容フ
ァンアウト数と使用ファンアウト数とを表示することが
できるので、機能論理ファイルの作成作業中に、使用フ
ァンアウト数と許容ファンアウト数が判明しているため
、工数低減が可能であり、直ちに誤りを修正することが
できる。

第１図は、本発明の一実施例を示すファンアウト表示機
能を備えた論理図の表示手順のフローチャートである。

先ず、論理図上の全ての機能論理モジュール（第２図の
３５．４０）に関するタイプ名４、ＩＤ名５、パラメー
タ３，３６．４１に関する１１０区分、パラメータ名３
，３６，４１、信号名２゜７．３７を、第３図の信号情
報テーブルに展開する（ステップ４４）。次に、許容フ
ァンアウト数を求めるため、信号情報テーブル中の１／
○区介が０の全てのパラメータ（第３図の３９）につい
て論理変換ライブラリ（第４図の２８）を検索し、許容
ファンアウト数（第４図の３０）を抽出した後、信号情
報テーブル中の許容ファンアウト数の欄（第３図の２２
）にセットする（ステップ４５）。次に、使用ファンア
ウト数を求めるため、信号情報テーブル中の１１０区分
が１の全てのパラメータ（第３図の４３）について論理
変換ライブラリ（第４図の２８）からパラメータと同一
名の信号名（第４図の３２）の個数を抽出し、信号情報
テーブル中の接続数（第３図の２３）にセットする（ス
テラ、ｊ４６）。これにより、信号情報テーブルが完成
した６次に、論理図への許容ファンアウト数、使用ファ
ンアウト数の表示のために、信号情報テーブルを用いて
、表示対象出力側信号名単位に繰り返し下記の処理を実
行する。先ず、使用ファンアウト数のカウンタを初期化
する（ステップ４７）。次いて、論理図中の出力側信号
名（第５図の４２）に対して、信号情報テーブル中の信
号名（第３図の１４）につき、１７０区用がｌで、かつ
同一イル号名のものについて検索する（ステップ４８）
。該当する信号名の有無を判定する（ステップ４９）。

該当する信号名が有の場合には、使用ファンアウト数の
カウンタに検索した信号名に対応する接続数（第３図の
２３）を加算しくステップ５０）、次いで信号情報テー
ブルの検索処理が終了か否かを判定する（ステップ５１
）。未終了の場合には、ステップ４８に戻り、同一名称
の入力側信号名を検索する。

一方、ステップ４９で、該当信号名が無い場合には、ス
テップ５２まで処理をスキップする。

信号情報テーブルの検索終了後、信号情報テブルから許
容ファンアウト数（第３図の２２）を論理図上に表示す
る（第５図の３３）（ステップ５２）。

次いで、使用ファンアウト数のカウンタより、使用ファ
ンアウト数を論理図上に表示する（第５図の３４）（ス
テップ５３）。

最後に、処理中信号名が論理図中での最終の出力側信号
名であるか否かを判別する（ステップ５４）。最終の出
力側信号名でない場合には、ステップ４７に戻って、使
用ファンアウト数カウンタを初期化する。一方、ステッ
プ５４で、最終の出力側信号名である場合には、処理を
終了する。

［発明の効果１ 以上説明したように、本発明によれば、機能レベルの論
理図において、ゲートレベルのファンアウト数をプログ
ラムでチエツクして、その結果を論理図上に表示するこ
とができるので、ファンアウト数のチエツク工数を低減
でき、論理設計を行う場合に極めて能率的である。

【図面の簡単な説明】

第１図は本発明の一実施例を示す論理図へのファンアウ
ト数表示処理の手順のフローチャート、第２図は本発明
において、ファンアウト表示する前の論理図の接続関係
図、第３図は本発明で新たに作成される信号情報テーブ
ルの内容を示す図、第４図は機能論理モジュールを登録
した論理変換ライブラリの内容の説明図、第５図は本発
明による論理図中のファンアウト数表示例を示す図、率
６図は従来の論理設計処理の手順のフローチャート、第
７図は従来の機能論理モジュール集の記述内容例を示す
図、第８図は従来のネットリストの記述内容例を示す図
、第９図は従来の機能論理図、ネットリストおよび詳細
論理図の作成処理概要図である。 ｌ：論理図の基本単位、３５，４０：機能論理モジュー
ル、３，３６，４１　：入出力パラメータ、２．６，７
，３７二信号名、８：信号情報テーブルのタイプ名、９
：同じ＜ＩＤ名、ｌＯ：同じく１１０区分、ｌｌ：同じ
くパラメータ名、１２：同じく許容ファンアウト数、１
３：同じく接続数、１４：同じく信号名、２８：論理変
換ライブラリ、２９：機能論理モジュール展開図、３０
：展開図中の許容ファンアウト数、３２：入力パラメー
タに対応する信号名、６１：機能論理モジュール集のモ
ジュールタイプ名、９１：機能論理ファイル、９２：論
理変換ライブラリ、９３：詳細論理ファイル、９４：機
能論理図、９５：ネットリスト、９６：詳細論理図。 第 図 第 論理ヌｊ表示例 図 第 図

Claims (1)

【特許請求の範囲】
1. １、機能論理モジュールの識別名と、該機能論理モジュ
   ールの接続端子であるパラメータに対応した信号名と、
   該パラメータの信号の接続数（使用ファンアウト数）と
   を登録した信号情報テーブルを作成し、機能論理モジュ
   ールを詳細論理モジュールで記述した論理変換ライブラ
   リを検索して、論理回路を構成する機能論理モジュール
   が出力する信号の許容ファンアウト数、および使用ファ
   ンアウト数を抽出し、抽出された許容ファンアウト数お
   よび使用ファンアウト数をそれぞれ上記信号情報テーブ
   ルに格納し、該信号情報テーブルから表示対象出力側信
   号名単位に同一信号名の使用ファンアウト数の加算結果
   、および許容ファンアウト数をそれぞれ論理図に表示す
   ることを特徴とする論理回路図出力方法。