JPH0315983A - Construction of logical circuit - Google Patents

Construction of logical circuit

Info

Publication number
JPH0315983A
JPH0315983A JP1149608A JP14960889A JPH0315983A JP H0315983 A JPH0315983 A JP H0315983A JP 1149608 A JP1149608 A JP 1149608A JP 14960889 A JP14960889 A JP 14960889A JP H0315983 A JPH0315983 A JP H0315983A
Authority
JP
Japan
Prior art keywords
gate
delay
logic
macro
logical
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Pending
Application number
JP1149608A
Other languages
Japanese (ja)
Inventor
Kazuhiko Matsumoto
和彦 松本
Kazumasa Shima
島 和正
Takao Niiya
新舎 隆夫
Eiichi Yabe
矢部 栄一
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Hitachi Ltd
Original Assignee
Hitachi Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Hitachi Ltd filed Critical Hitachi Ltd
Priority to JP1149608A priority Critical patent/JPH0315983A/en
Publication of JPH0315983A publication Critical patent/JPH0315983A/en
Pending legal-status Critical Current

Links

Abstract

PURPOSE:To enable the fine conversion of the kind of a gate for an objective package system in which there are many gates different in delay through the use of the same logical function by generating a desired logical circuit by replacing the gate of standard delay successively into a high-speed gate until a path delay condition is fulfilled. CONSTITUTION:A logical macro name 201 to express the kind of a logical macro and the path delay condition between the input/output terminals 204 to 207 to be generated automatically from the logical macro are inputted, and a model logical circuit 300 defined by the gates 301 to 304 of the standard delay of the logical macro is retrieved from a logical macro library as considering the logical macro name 201 a key. Then, the desired logical circuit is generated by replacing the gates 301 to 304 of the standard delay successively into the high-speed gate until the path delay condition is fulfilled in this model logical circuit 300. Thus, the fine gate kind conversion becomes possible by the same logical function according as the number of the gate of the different delay increases.

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は論理回路の製造方法に係り,特に論理マクロか
らの論理回路の製造方法に関する.〔従来の技術〕 近年,半導体技術の進歩に伴い,論理装置の大規模化・
複雑化が進み,論理設計工数の低減及び論理設計品質の
向上が重要な課題となっている.この課題を解決する有
力な方法の1つが論理生戒であり、論理生成方式の工つ
に、論理マクロから論理回路を生成する論理マクロ展開
方式がある.この論理マクロ展開方式は論理マクロのひ
な型論理回路を論理マクロライブラリに登録しておき、
この論理マクロライブラリを参照して論理生成を行う方
式である.ここで,ひな型論理回路はゲートの組合せで
定義される.一方、1つの実装系には、論理機能が同一
でデイレイが異なるゲートが複数個存在する.そのため
、ゲートのディレィを考慮すると、ひな型論理回路の数
は非常に多くなる.そこで、この問題を解決するために
、ひな型論理回路を標準ディレィのゲートで定義し、異
なるデイレイの論理回路が要求されるときは,標準デイ
レイのゲートを異なるディレィのゲートに置換して所望
の論理回路を生戒するというゲート種変換方法が使用さ
れている.このようなゲート種変換方法は、情報処理学
会第30回全国大会(1 9 8 5年)第l957頁
から第1958頁において論じられている. 〔発明が解決しようとする課題〕 上記のゲート種変換方法は、同一論理機能でデイレイが
異なるゲート数は高々3個の実装系を対象にし,変換す
るデイレイ区分と変換対象範囲を人手で指定してゲート
種変換を行っている.ここで,デイレイ区分は,ハイデ
イレイ,ノーマルデイレイ,ローデイレイの3種があり
、ゲート種変換では,ひな型論理回路がノーマルデイレ
イのゲートで定義されているので,ハイデイレイかロー
デイレイのいずれかが指定される.また,変換対象範囲
は論理回路全体か論理回路の特定の最出力側ゲートのい
ずれかである.そのため,上記のゲート種変換方法は、
同一論理機能でデイレイが異なるゲート数が多くなれば
なるほど、きめ細かいゲート種変換ができないという問
題があった.なるゲート数が多い実装系を対象にし、き
め細かいゲート種変換が可能な方法を提供することにあ
る. 〔課題を解決するための手段〕 上記目的を達或するために、本発明は,論理マクロの種
別を表す論理マクロ名と当該論理マクロから自動生成す
る論理回路の入出力端子間のバスデイレイ条件を入力し
(手段l)、当該論理マクロ名をキーにして論理マクロ
ライブラリから当該論理マクロの標準デイレイのゲート
で定義されているひな型論理回路を検索し(手段2)、
このひな型論理回路において、当該バスデイレイ条件を
満たすまで、標準デイレイのゲートを高速なゲートに順
次置換して所望の論理回路を生成する(手段3)ように
したものである. 〔作用〕 上記手段において,手段工は入力処理を、手段2は論理
回路検索処理を、手段3はゲート種変換処理を各々表す
. 〔実施例〕 以下、本発明の一実施例を図面により詳細に説明する.
第l図は本発明に基づく論理マクロ展開処理のフローチ
ャートである.この図に基づき,論理マクロ展開処理の
処理手順を順次説明する.ステップ100:本ステップ
は、論理マクロ記述データを機能論理ファイル120か
ら入力する.論理マクロ記述データは、論理マクロ名と
当該論理マクロから自動生成する論理回路の入出力端子
間のパスデイレイ条件からなる. 第2図は論理マクロ記述データ例を示す.論理マクロ記
述データ200において,論理マクロ名201は論理マ
クロの種別がHALU(半加算器)であることを、出力
端子のファンアウト数202は出力端子206,207
のファンアウト数が各各3,2であることを,デイレイ
指定パス203は入力端子204と出力端子207の間
の各パス要素のバスデイレイの上限値が9nsであるこ
とを各々表す.ここで,出力端子のファンアウト数20
2とデイレイ指定バス203がバスデイレイ条5!表す
・ ステップ101 :本ステップは、ステップ100で入
力した論理マクロ名をキーにして、当該論理マクロのひ
な型論理回路を論理マクロライブラリエ21から検索す
る. 第3図は論瑞マクロ名201のひな型論理回路を示す.
ひな型論理回路300において、ゲート301〜304
は標準ゲート(同一論理機能のゲートの内で最もデイレ
イが大きいゲート)である。
DETAILED DESCRIPTION OF THE INVENTION [Field of Industrial Application] The present invention relates to a method for manufacturing a logic circuit, and particularly to a method for manufacturing a logic circuit from a logic macro. [Conventional technology] In recent years, with advances in semiconductor technology, logic devices have become larger and larger.
As logic design becomes more complex, reducing the number of man-hours required for logic design and improving logic design quality have become important issues. One of the most effective methods to solve this problem is logic generation, and one of the techniques for logic generation is the logic macro expansion method, which generates logic circuits from logic macros. This logic macro expansion method registers a template logic circuit of a logic macro in a logic macro library.
This method generates logic by referring to this logic macro library. Here, a model logic circuit is defined by a combination of gates. On the other hand, in one implementation system, there are multiple gates with the same logic function but different delays. Therefore, considering the gate delay, the number of model logic circuits becomes extremely large. Therefore, in order to solve this problem, a model logic circuit is defined using standard delay gates, and when a logic circuit with a different delay is required, the standard delay gate is replaced with a gate with a different delay to create the desired logic. A gate type conversion method is used in which the circuit is modified. Such a gate type conversion method is discussed in the 30th National Conference of the Information Processing Society of Japan (1985), pages 1957 to 1958. [Problems to be Solved by the Invention] The above gate type conversion method targets implementation systems with at most three gates with the same logic function but different delays, and requires manual specification of the delay classification to be converted and the conversion target range. Gate type conversion is performed. Here, there are three types of delay classification: high delay, normal delay, and low delay, and in gate type conversion, since the model logic circuit is defined by a normal delay gate, either high delay or low delay is specified. Also, the range to be converted is either the entire logic circuit or a specific most output gate of the logic circuit. Therefore, the above gate type conversion method is
The problem was that as the number of gates with the same logic function but different delays increases, fine-grained gate type conversion becomes impossible. The objective is to provide a method that allows fine-grained gate type conversion for implementation systems with a large number of gates. [Means for Solving the Problems] In order to achieve the above object, the present invention provides a logic macro name indicating the type of logic macro and a bus delay condition between input and output terminals of a logic circuit automatically generated from the logic macro. input (Means 1), search the logic macro library for a model logic circuit defined by the gate of the standard delay of the logic macro using the logic macro name as a key (Means 2);
In this model logic circuit, a desired logic circuit is generated by sequentially replacing standard delay gates with high-speed gates until the bus delay condition is satisfied (means 3). [Operation] In the above means, means means input processing, means 2 represents logic circuit search processing, and means 3 represents gate type conversion processing. [Example] Hereinafter, an example of the present invention will be explained in detail with reference to the drawings.
FIG. 1 is a flowchart of logical macro expansion processing based on the present invention. Based on this figure, we will explain the steps of logical macro expansion processing one by one. Step 100: In this step, logic macro description data is input from the functional logic file 120. The logic macro description data consists of the logic macro name and the path delay conditions between the input and output terminals of the logic circuit automatically generated from the logic macro. Figure 2 shows an example of logical macro description data. In the logic macro description data 200, the logic macro name 201 indicates that the logic macro type is HALU (half adder), and the fanout number 202 of the output terminals indicates the output terminals 206, 207.
This means that the fan-out numbers of are 3 and 2, respectively, and that the upper limit value of the bus delay of each path element between the input terminal 204 and the output terminal 207 of the delay specified path 203 is 9 ns. Here, the fanout number of the output terminal is 20
2 and day-delay designated bus 203 are bus day-delay article 5! Step 101: This step uses the logic macro name input in step 100 as a key to search the logic macro library 21 for a template logic circuit of the logic macro. Figure 3 shows the template logic circuit of Ronzui macro name 201.
In the model logic circuit 300, gates 301 to 304
is a standard gate (a gate with the largest delay among gates with the same logic function).

ステップ102:本ステップは,ステップ101で検索
したひな型論理回路において、ステップ100で入力し
たデイレイ指定パスのバス要素をすべて油出する. ひな型論理回路300において、デイレイ指定バス20
3のパス要素はバス要素305,306である. ステップ103:本ステップは、ステップ102で抽出
したパス要素の内で未処理のパス要素があるかを判定す
る.未処理のバス要素があればステップ104へ進み,
なければステップ112に分岐する. ステップ104:本ステップは、ステップ102で抽出
したバス要素の内で未処理のバス要素を1つ選択する. ステップ105:本ステップは,ステップ108で使用
するパス要素ポインタをOに初期設定する.ステップ1
06:本ステップは、ゲートテーブル130を参照して
、ステップ104で選択したバス要索上の各ゲートのデ
イレイを加算し、当該パス要素のバスデイレイを算出す
る. 第4図はゲートテーブルの内容を示す.ゲートテーブル
エ30はシンボル,論理機能,ゲート名称,ゲート種パ
ラメータ(ファンアウト数,デイレイ)を記述したテー
ブルである. ステップ107:本ステップは,ステップ106で算出
したバスデイレイがステップ100で入力したデイレイ
指定バスの上限値以下であるかを判定する.上限値以下
であればステップ103へ分岐し,上限値を超えるなら
ばステップ108へ進む. ステップ108:本ステップは、ゲートテーブル130
を参照して、ステップ104で選択したパス要素上のゲ
ートでゲート種変換可能なゲートを検索する. 第5図は本ステップのフローチャートである.この図に
基づき、本ステップの処理手順を順次説明する. ステップ500 :本ステップは、要素バスカウンタに
1を加算する.ここで,要素パスカウンタの値は出力端
子を起点にしたゲート段数を表す.ステップ501:本
ステップは、当該パス要素において、要素パスカウンタ
が指すゲートが存在するかを判定する.ゲートが存在す
ればステップ503へ分岐し,存在しなければステップ
502へ進む. ステップ502:本ステップは、要素パスカウンタを1
にセットする. ステップ503:本ステップは、ステップ108におい
て、要素バスカウンタが1巡したかを判定する.1巡し
たならばステップ504へ進み、1巡していなければス
テップ505へ分岐する.ステップ504:本ステップ
は、リターンコーンにゲート種変換不可をセットし、ス
テップ108を終了する. ステップ505:本ステップは,ゲートテーブル130
を参照して、要素バスカウンタが指すゲートがゲート種
変換可能であるかを判定する.可能であればステップ5
06へ進み,不可能であればステップ500へ分岐する
. ステップ506二本ステップは、リターンコードにゲー
ト種変換可能をセットし、ステップ108を終了する. ステップエ09:本ステップは、ステップ108の検索
結果(リターンコード)を判定し,ゲート種変換可能で
あればステップ110へ進み、ゲート種変換不可能であ
ればステップ111へ分岐する. ステップ110:本ステップは,ゲートテーブル130
を参照して,要素パスカウンタが指すゲートを当該ゲー
トと論理機能が同一で当該ゲートの次にデイレイが小さ
いゲートに変換する.ひな型論理回路300において、
パスデイレイ条件(出力端子のファンアウト数202と
デイレイ指定パス203)が指定されているときの上記
ステップ103〜110の処理例を以下に説明する. (1)デイレイ指定バス203のバス要素はバス要素3
05,306の2つである. (2)バス要$305を選択する,このパス要素はゲー
ト301〜303を接続したバスである.(3)ゲート
301はゲート名称がNR21であり,出力端子のファ
ンアウト数202により出力端子207のファンアウト
数は2であるので,ファンアウト数が2である.それゆ
え、ゲートテーブル130によりデイレイは3.5 n
 s  である.また.ゲート302はゲート名称がI
NVIであり、出力端子のファンアウト数202により
出力端子206のファンアウト数は3であるので、ファ
ンアウト数が4である.それゆえ、ゲートテーブル13
0によりデイレイは4.3nsである.また,ゲート3
03はゲート名称がNA21であり,ファンアウト数が
1である.それゆえ,ゲートテーブル130によりデイ
レイは3.3ns  である.したがって、バス要素3
05のバスデイレイは,ゲート301〜303のデイレ
イを加算して1 1.1 n s  である.(4)パ
ス要素305のバスデイレイ1 1.1 n sは、デ
イレイ指定パス203のパスデイレイの上限値9nsよ
り大きいので、ゲート種変換が必要である. (5)ゲートテーブル130を参照してゲート301の
ゲート種変換を試みる.ゲート301のゲート名称はN
R21であり、NR21と同一論理機能でNR21の次
にデイレイが小さいゲートとしてNR22が存在する.
そこで、ゲート301をゲート名称NR22のゲート6
01に置換する. (6)ゲート601はゲート名称がNR22であり、フ
ァンアウト数が2である.それゆえ,ゲートテーブル1
30によりデイレイは2.3 n s  である.した
がって,パス要素305のバスデイレイはゲート601
,302,303のデイレイを加算して9.9 n s
 である.(7)パス要素305のパスデイレイ9.9
 n s  は、デイレイ指定バス203のパスデイレ
イの上限値9nsより大きいので、さらにゲート種変換
が必要である. (8)ゲートテーブル130を参照してゲート302の
ゲート種変換を試みる。ゲート302のゲート名称はI
NVIであり.INV王と同一論理機能でINVIの次
にデイレイが小さいゲートとしてINV2が存在する.
そこで、ゲート302をゲート名称INV2(7)ゲー
ト602に置換する. (9)ゲート602はゲート名称がINV2であり、フ
ァンアウト数が4である.それゆえ、ゲートテーブル1
30によりデイレイは1.9 n s  である.した
がって、パス要素305のバスデイレイはゲート601
,602,603のデイレイを加算して7.5 n s
  である.(10)バス要素305のバスデイレイ7
.5 n s  は、デイレイ指定バス203のバスデ
イレイの上限値9ns以下であるので,これ以上のゲー
ト種変換は不要である. (11)パス要素306を選択する.このパス要素はゲ
ート601,304を接続したパスである.(l2)ゲ
ート304はゲート名称がNR21であり,ファンアウ
ト数がlである.それゆえ、ゲートテーブル130によ
りデイレイは3.3 n s  である.したがって,
パス要素306のパスデイレイはゲート601,304
のデイレイを加算して5.8ns  である. (13)バス要素306のパスデイレイ5.8ns  
は,デイレイ指定バス203のパスデイレイの上限値9
ns以下であるので、ゲート種変換は不要である. (14)未処理のバス要素はないので、本処理は終了す
る. 第6図は上記の処理結果、すなわち、ゲート種変換後の
論理回路を示す. ステップ11l;本ステップは、ステップ100で入力
したパスデイレイ条件を満たす論理回路は生成できない
という内容のエラーメッセージを出力し、論理マクロ展
開処理を異常終了する.ステップl12:本ステップは
、ステップl00〜110で生成した論理回路を論理回
路ファイル122に出力する. 本実施例によれば,論理マクロ記述データで指定された
パスデイレイ条件を満たす論理回路を生成することが可
能である。
Step 102: This step extracts all bus elements of the delay specified path input in step 100 in the model logic circuit searched in step 101. In the model logic circuit 300, the delay specification bus 20
Path elements 3 are bus elements 305 and 306. Step 103: This step determines whether there is an unprocessed path element among the path elements extracted in step 102. If there is an unprocessed bus element, the process advances to step 104;
If not, the process branches to step 112. Step 104: This step selects one unprocessed bus element among the bus elements extracted in step 102. Step 105: This step initializes the path element pointer used in step 108 to O. Step 1
06: This step refers to the gate table 130, adds the delays of each gate on the bus list selected in step 104, and calculates the bus delay of the relevant path element. Figure 4 shows the contents of the gate table. The gate table 30 is a table that describes symbols, logic functions, gate names, and gate type parameters (fan-out number, delay). Step 107: This step determines whether the bus delay calculated in step 106 is less than or equal to the upper limit value of the delay specified bus input in step 100. If it is less than the upper limit, the process branches to step 103, and if it exceeds the upper limit, the process proceeds to step 108. Step 108: In this step, the gate table 130
With reference to , a gate on the path element selected in step 104 that can be converted to a gate type is searched for. Figure 5 is a flowchart of this step. Based on this figure, the processing procedure of this step will be explained one by one. Step 500: This step adds 1 to the element bus counter. Here, the value of the element path counter represents the number of gate stages starting from the output terminal. Step 501: This step determines whether there is a gate pointed to by the element path counter in the path element. If the gate exists, the process branches to step 503; if the gate does not exist, the process proceeds to step 502. Step 502: This step sets the element path counter to 1.
Set to . Step 503: This step determines whether the element bus counter has completed one cycle in step 108. If the process has completed one cycle, the process advances to step 504, and if the process has not completed one cycle, the process branches to step 505. Step 504: In this step, the return cone is set to gate type conversion not possible, and step 108 is ended. Step 505: In this step, the gate table 130
Refer to , and determine whether the gate pointed to by the element bus counter can be converted to a gate type. Step 5 if possible
Proceed to step 06, and if impossible, branch to step 500. Step 506 sets the return code to "gate type conversion possible" and ends step 108. Step E09: In this step, the search result (return code) of step 108 is determined, and if the gate type conversion is possible, the process proceeds to step 110, and if the gate type conversion is not possible, the process branches to step 111. Step 110: In this step, the gate table 130
Referring to , convert the gate pointed to by the element path counter to a gate that has the same logic function as the gate and has the next smallest delay. In the model logic circuit 300,
An example of the processing in steps 103 to 110 described above when path delay conditions (output terminal fan-out number 202 and delay specified path 203) are specified will be described below. (1) The bus element of the delay specification bus 203 is bus element 3
There are two, 05,306. (2) Select bus requirement $305. This path element is a bus connecting gates 301 to 303. (3) The gate name of the gate 301 is NR21, and the fanout number of the output terminal 207 is 2 due to the fanout number 202 of the output terminal, so the fanout number is 2. Therefore, the delay due to the gate table 130 is 3.5 n
It is s. Also. Gate 302 has a gate name I
Since the number of fanouts of the output terminal 206 is 3 due to the number of fanouts of the output terminal 202, the number of fanouts is 4. Therefore, gate table 13
0, the delay is 4.3ns. Also, gate 3
For 03, the gate name is NA21 and the fan-out number is 1. Therefore, the delay due to gate table 130 is 3.3 ns. Therefore, bus element 3
The bus delay of 05 is 1 1.1 ns by adding the delays of gates 301 to 303. (4) Since the bus delay 1 1.1 n s of the path element 305 is larger than the upper limit value of 9 ns of the path delay of the delay specified path 203, gate type conversion is necessary. (5) Attempt to convert the gate type of the gate 301 by referring to the gate table 130. The gate name of gate 301 is N
NR21 exists as a gate with the same logic function as NR21 and the second smallest delay after NR21.
Therefore, gate 301 is replaced by gate 6 with gate name NR22.
Replace with 01. (6) The gate name of the gate 601 is NR22, and the fan-out number is 2. Therefore, gate table 1
30, the delay is 2.3 ns. Therefore, the bus delay of pass element 305 is
, 302, 303 delay is added to give 9.9 n s
It is. (7) Path delay 9.9 of path element 305
Since n s is larger than the upper limit value of 9 ns for the path delay of the delay specification bus 203, further gate type conversion is required. (8) Attempt to convert the gate type of the gate 302 by referring to the gate table 130. The gate name of gate 302 is I
It is NVI. INV2 exists as a gate with the same logic function as INV King and the next smallest delay after INVI.
Therefore, gate 302 is replaced with gate name INV2(7) gate 602. (9) The gate name of the gate 602 is INV2, and the fan-out number is 4. Therefore, gate table 1
30, the delay is 1.9 ns. Therefore, the bus delay of pass element 305 is
, 602, 603 delays are added to give 7.5 n s.
It is. (10) Bus delay 7 of bus element 305
.. 5 ns is less than the bus delay upper limit of 9 ns of the delay specification bus 203, so no further gate type conversion is required. (11) Select path element 306. This path element is a path connecting gates 601 and 304. (l2) The gate name of the gate 304 is NR21, and the fan-out number is l. Therefore, the delay due to gate table 130 is 3.3 ns. therefore,
The path delay of the path element 306 is the gate 601, 304.
The delay is 5.8ns. (13) Path delay of bus element 306 5.8ns
is the upper limit value 9 of the path delay of the delay specified bus 203
Since it is less than ns, there is no need to convert the gate type. (14) Since there are no unprocessed bus elements, this processing ends. Figure 6 shows the result of the above processing, that is, the logic circuit after gate type conversion. Step 11l: This step outputs an error message stating that a logic circuit that satisfies the path delay conditions input in step 100 cannot be generated, and abnormally terminates the logic macro expansion process. Step l12: This step outputs the logic circuit generated in steps l00 to l10 to the logic circuit file 122. According to this embodiment, it is possible to generate a logic circuit that satisfies the path delay conditions specified by the logic macro description data.

〔発明の効果〕〔Effect of the invention〕

本発明によれば,同一論理機能でデイレイが異なるゲー
ト数が多くなればなるほど、きめ細かいゲート種変換が
可能になるので、最適な論理回路の生成が可能になる.
According to the present invention, the greater the number of gates with the same logic function but different delays, the more detailed gate type conversion becomes possible, making it possible to generate an optimal logic circuit.

【図面の簡単な説明】[Brief explanation of the drawing]

第l図は本発明に基づく論理マクロ展開処理のフローチ
ャート、第2図は論理マクロ記述データの説明図、第3
図は論理マクロのひな型論理回路の説明図、第4図はゲ
ートテーブルの説明図、第5図は第■図のステップ10
8のゲート種変換対象ゲート検索処理のブローチャート
,第6図は生成される論理回路の説明図である. 100〜112・・・論理マクロ展開処理ステップ,1
20〜工22・・・論理ファイル、130・・・ゲート
テーブル. 吊 2 目 204 205  人刀1稲! 2oz,′2θ7 よ刀f@J /30 竿 4 目 拓 5 区
Fig. 1 is a flowchart of logical macro expansion processing based on the present invention, Fig. 2 is an explanatory diagram of logical macro description data, and Fig. 3
The figure is an explanatory diagram of the logic macro model logic circuit, Figure 4 is an explanatory diagram of the gate table, and Figure 5 is step 10 of Figure ■.
8 is a flowchart of the gate search process for gate type conversion, and FIG. 6 is an explanatory diagram of the generated logic circuit. 100-112...Logic macro expansion processing step, 1
20~Eng 22...Logic file, 130...Gate table. Hanging 2 eyes 204 205 Jinto 1 rice! 2oz,'2θ7 Yoto f@J /30 Rod 4 Metaku 5 Ward

Claims (1)

【特許請求の範囲】[Claims] 1.計算機を使用する論理装置の論理設計自動化システ
ムにおいて、論理マクロの種別を表す論理マクロ名と当
該論理マクロから自動生成する論理回路の入出力端子間
のパスデイレス条件を入力し、当該論理マクロ名をキー
にして論理マクロライブラリから当該論理マクロの標準
デイレイのゲートで定義されているひな型論理回路を検
索し、このひな型論理回路において、当該パスデイレイ
条件を満たすまで、標準デイレイのゲートを高速なゲー
トに順次置換して所望の論理回路を生成することを特徴
とする論理回路の製造方法。
1. In a logic design automation system for logic devices that uses a computer, enter the logic macro name that represents the type of logic macro and the pathdayless conditions between the input and output terminals of the logic circuit that will be automatically generated from the logic macro, and enter the logic macro name as a key. Search the logic macro library for a model logic circuit defined by the standard delay gate of the logic macro, and sequentially replace the standard delay gate with a high-speed gate in this model logic circuit until the path delay condition is satisfied. 1. A method for manufacturing a logic circuit, comprising: generating a desired logic circuit.
JP1149608A 1989-06-14 1989-06-14 Construction of logical circuit Pending JPH0315983A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP1149608A JPH0315983A (en) 1989-06-14 1989-06-14 Construction of logical circuit

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP1149608A JPH0315983A (en) 1989-06-14 1989-06-14 Construction of logical circuit

Publications (1)

Publication Number Publication Date
JPH0315983A true JPH0315983A (en) 1991-01-24

Family

ID=15478927

Family Applications (1)

Application Number Title Priority Date Filing Date
JP1149608A Pending JPH0315983A (en) 1989-06-14 1989-06-14 Construction of logical circuit

Country Status (1)

Country Link
JP (1) JPH0315983A (en)

Similar Documents

Publication Publication Date Title
Gupta Formal hardware verification methods: A survey
JP3175322B2 (en) Automatic logic generation method
US5991524A (en) Cluster determination for circuit implementation
US5274793A (en) Automatic logic generation method for pipeline processor
US7000206B2 (en) Timing path detailer
JPH0315983A (en) Construction of logical circuit
US6877140B1 (en) Method and system for generating a schematic representing bus structures
Sherman Algorithms for timing requirement analysis and generation
JPS58129650A (en) Data processor
JPH0195365A (en) Analyzing processing system for critical path
JPH03131976A (en) Production of logical circuit
Yoshimura A rule-based and algorithmic approach for logic synthesis
JP2658857B2 (en) Equivalent fault extraction method and device
JP3032874B2 (en) Equivalent circuit creation method and logic simulation method
US7143020B1 (en) Method and system for generic inference of sequential elements
Aarna et al. Parallel fault simulation of digital circuits
JPH05128200A (en) Method and device for logic synthesization
JPS60173484A (en) Logical simulation system
JP2830579B2 (en) Logic simulation equipment
JPS62217172A (en) Matching method for circuit
EP0259704A2 (en) Bitwise implementation mechanism for a circuit design synthesis procedure
JPH03166655A (en) Manufacture of logic circuit
JPH05225273A (en) Conversion device for semiconductor integrated circuit logical connection data
JPH01158571A (en) Logic circuit converting device
Chang et al. A range searching engine for VLSI design CAE