JP2976640B2 - Design support equipment - Google Patents

Design support equipment

Info

Publication number
JP2976640B2
JP2976640B2 JP3288333A JP28833391A JP2976640B2 JP 2976640 B2 JP2976640 B2 JP 2976640B2 JP 3288333 A JP3288333 A JP 3288333A JP 28833391 A JP28833391 A JP 28833391A JP 2976640 B2 JP2976640 B2 JP 2976640B2
Authority
JP
Japan
Prior art keywords
logical
logic
model
function
circuit
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.)
Expired - Fee Related
Application number
JP3288333A
Other languages
Japanese (ja)
Other versions
JPH05128203A (en
Inventor
修二 宮阪
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.)
Panasonic Holdings Corp
Original Assignee
Matsushita Electric Industrial Co 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 Matsushita Electric Industrial Co Ltd filed Critical Matsushita Electric Industrial Co Ltd
Priority to JP3288333A priority Critical patent/JP2976640B2/en
Publication of JPH05128203A publication Critical patent/JPH05128203A/en
Application granted granted Critical
Publication of JP2976640B2 publication Critical patent/JP2976640B2/en
Anticipated expiration legal-status Critical
Expired - Fee Related legal-status Critical Current

Links

Classifications

    • YGENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y02TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
    • Y02EREDUCTION OF GREENHOUSE GAS [GHG] EMISSIONS, RELATED TO ENERGY GENERATION, TRANSMISSION OR DISTRIBUTION
    • Y02E60/00Enabling technologies; Technologies with a potential or indirect contribution to GHG emissions mitigation
    • Y02E60/30Hydrogen technology
    • Y02E60/50Fuel cells

Description

【発明の詳細な説明】DETAILED DESCRIPTION OF THE INVENTION

【0001】[0001]

【産業上の利用分野】本発明は、論理回路の機能あるい
は構造を表現するハードウェア記述言語によって記述さ
れた論理回路の記述を、該機能あるいは構造を実現する
集積回路のプリミティブな論理素子から成る論理構造に
変換する論理合成装置と、集積回路のプリミティブな論
理素子から成る論理構造の中から、冗長な論理構造を抽
出し、該冗長な論理構造に対し論理の最適化を行う論理
圧縮装置とを用いた設計支援装置に関する。
BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a description of a logic circuit described by a hardware description language expressing a function or a structure of the logic circuit, comprising a primitive logic element of an integrated circuit realizing the function or the structure. A logic synthesizing device for converting into a logical structure, and a logical compression device for extracting a redundant logical structure from a logical structure composed of primitive logical elements of an integrated circuit and optimizing the logic with respect to the redundant logical structure. The present invention relates to a design support device using a computer.

【0002】[0002]

【従来の技術】近年、集積回路の開発にあたっては、論
理回路の機能あるいは構造を表現するハードウェア記述
言語によって記述された論理回路の記述を、該機能ある
いは構造を実現する集積回路のプリミティブな論理素子
から成る論理構造に変換する論理合成装置と、集積回路
のプリミティブな論理素子から成る論理構造の中から、
冗長な論理構造を抽出し、該冗長な論理構造に対し論理
の最適化を行う論理圧縮装置とを用いて、上記ハードウ
ェア記述言語による機能あるいは構造の記述から、自動
的に集積回路の回路図を設計する方法が採られる場合が
多い。
2. Description of the Related Art In recent years, in the development of integrated circuits, the description of a logic circuit described by a hardware description language that expresses the function or structure of the logic circuit is replaced by the primitive logic of the integrated circuit that realizes the function or structure. From a logic synthesis device that converts to a logic structure consisting of elements, and a logic structure consisting of primitive logic elements of an integrated circuit,
A circuit diagram of an integrated circuit is automatically extracted from the description of the function or structure in the hardware description language by using a logical compression device that extracts a redundant logical structure and optimizes the logic with respect to the redundant logical structure. Is often adopted.

【0003】その場合、上記論理圧縮装置における、冗
長な論理構造に対する論理の最適化処理は、ハードウェ
ア記述言語によって記述された全ての回路記述に対して
行われるか、あるいは、上記最適化処理の対象とする回
路ブロック(または最適化処理の対象としない回路ブロ
ック)を上記論理圧縮装置の使用者が、その都度指定
し、最適化処理の対象とする回路ブロックに対し、冗長
な論理構造の圧縮を行うかのどちらかの方法で行われて
いた。
In such a case, the logic optimization processing for the redundant logical structure in the logical compression apparatus is performed for all circuit descriptions described in a hardware description language, or The user of the logical compression apparatus specifies a circuit block to be targeted (or a circuit block not targeted for optimization processing) each time, and compresses a redundant logical structure for the circuit block targeted for optimization processing. Had to be done either way.

【0004】[0004]

【発明が解決しようとする課題】しかしながら、近年盛
んに開発されている信号処理用の集積回路などでは、回
路規模が大きく、上記のように、全体回路に対し論理の
圧縮処理を行うと、膨大な処理コストを要する。また、
上記のような信号処理用の集積回路などでは、レジスタ
や加算器などのデータパス系を構成する基本要素は、そ
の各々について単独に、集積回路のプリミティブな論理
素子から成る論理構造に変換しさえすればよく、相互の
接続関係から冗長な論理構造を最適化する必要がない場
合が多い。
However, integrated circuits for signal processing, which have been actively developed in recent years, have a large circuit scale. High processing costs. Also,
In an integrated circuit for signal processing as described above, the basic elements constituting the data path system, such as registers and adders, are each independently converted to a logical structure composed of primitive logic elements of the integrated circuit. In many cases, it is not necessary to optimize a redundant logical structure from the mutual connection relationship.

【0005】しかし、上記のように、論理圧縮装置の使
用者が、そのようなデータパス系を構成する基本要素に
たいし、その都度最適化処理の対象としない回路ブロッ
クであることを論理圧縮装置に入力することは多大の手
間を要する。従来の方法では、このような課題点を有し
ていた。
However, as described above, the user of the logical compression apparatus determines that the basic block constituting such a data path system is a circuit block which is not subject to optimization processing each time. Inputting to the device requires a great deal of trouble. The conventional method has such a problem.

【0006】本発明は、上記課題に鑑み、論理部品ごと
に予め論理の最適化処理の対象とするか否かを示す展開
フラグを持たせ、上記論理部品間の接続構造を規定する
ことによって、論理装置の構造を入力し、上記展開フラ
グに基づいて論理の最適化処理を効率的に行う設計支援
装置を提供するものである。
In view of the above problems, the present invention provides a development flag indicating whether or not to be subjected to logic optimization processing for each logical component in advance, and defines a connection structure between the logical components. An object of the present invention is to provide a design support apparatus that inputs a structure of a logic device and efficiently performs a logic optimization process based on the expansion flag.

【0007】[0007]

【課題を解決するための手段】上記課題を解決するため
に本発明の設計支援装置は、論理装置の機能あるいは構
造を表現するハードウェア記述言語で、特定の機能ある
いは構造を実現するように記述された、機能モデルと、
上記機能モデルを記述した、機能あるいは構造の記述か
ら上記論理合成装置を用いて変換された、プリミティブ
な論理素子から成る論理構造を、上記論理圧縮装置にお
いて、論理回路の最適化の対象とするか否かを示す、展
開フラグとを有した、論理部品モデルを要素とする、部
品ライブラリと、上記部品ライブラリから取り出した論
理部品モデルの接続関係によって、設計された論理回路
の構造を規定し登録する、回路図エディタと、上記、回
路図エディタに登録された各論理部品モデル毎の、機能
モデルに記述された機能あるいは構造の記述を、プリミ
ティブな論理素子から成る論理構造に変換し、上記機能
モデルを、該変換されたプリミティブな論理素子から成
る、論理構造モデルに置き換える論理合成装置と、上
記、回路図エディタに登録された各論理部品モデル間の
接続関係の中で、各論理部品モデル毎の展開フラグを検
査し、論理回路の最適化の処理において、論理回路の最
適化の対象とする論理部品モデルの場合は、該論理部品
モデルを、上記論理構造モデルで表わされる論理構造に
展開し、そうでない場合は、該論理部品モデルを、その
まま保持する、論理展開装置と、上記論理展開装置によ
って展開された、プリミティブな論理素子群の論理構造
の中から、冗長な論理構造を抽出し、該冗長な論理構造
に対し論理の最適化を行う論理圧縮装置とを備えたもの
である。
In order to solve the above-mentioned problems, a design support apparatus according to the present invention is described in a hardware description language that expresses a function or a structure of a logical device so as to realize a specific function or structure. The functional model,
Whether the logic structure composed of primitive logic elements converted from the description of the function or the structure using the logic synthesis device from the description of the function model is used as the target of optimization of the logic circuit in the logic compression device. The structure of the designed logic circuit is defined and registered based on the connection relationship between the component library and the logic component model extracted from the component library, having the logic component model as an element having a development flag indicating whether or not the logic circuit is designed. Converting the description of the function or structure described in the function model for each of the logic component models registered in the circuit diagram editor into a logical structure composed of primitive logic elements. A logic synthesizing apparatus for replacing a primitive logic element with a logical structure model, and a circuit editor In the case of a logical part model to be optimized for the logical circuit in the processing of the optimization of the logical circuit, the expansion flag of each logical part model is inspected in the connection relation between the registered logical part models. Expands the logical component model into a logical structure represented by the logical structure model, otherwise, retains the logical component model as it is, a logical developing device, and a logical developing device developed by the logical developing device. A logical compression device that extracts a redundant logical structure from the logical structure of the primitive logical element group and optimizes the logic with respect to the redundant logical structure.

【0008】[0008]

【作用】本発明は上記した構成によって、上記部品ライ
ブラリから論理部品モデルを取り出し、取り出された論
理部品モデル間の接続情報を、回路図エディタによって
規定することによって、設計された論理装置の構造を登
録する。論理合成装置では、上記、回路図エディタに登
録された、論理部品モデルごとの、機能モデルに記述さ
れた機能あるいは構造の記述を、プリミティブな論理素
子から成る論理構造に変換し、上記機能モデルを、該変
換されたプリミティブな論理素子から成る、論理構造モ
デルに置き換える。
According to the present invention, a logical component model is extracted from the component library and connection information between the extracted logical component models is defined by a circuit diagram editor by the circuit configuration editor. sign up. In the logic synthesis device, the description of the function or structure described in the function model for each logic component model registered in the circuit diagram editor is converted into a logic structure composed of primitive logic elements, and the function model is converted into a logical structure. , Is replaced with a logical structure model composed of the converted primitive logical elements.

【0009】ここでハードウェア記述言語による機能モ
デルを、集積回路を構成するプリミティブな論理素子に
変換する方法は、従来から用いられている自動論理合成
システムを用いる。[藤代一成編;CAD/CAM 116
(1990)]。
Here, as a method of converting a function model in a hardware description language into primitive logic elements constituting an integrated circuit, a conventionally used automatic logic synthesis system is used. [Edited by Kazunari Fujishiro; CAD / CAM 116]
(1990)].

【0010】論理展開装置では、上記、回路図エディタ
に登録された各論理部品モデル間の接続関係の中で、各
論理部品モデル毎の展開フラグを検査し、論理回路の最
適化の処理において、論理回路の最適化の対象とする論
理部品モデルの場合は、該論理部品モデルを、上記論理
構造モデルで表わされる論理構造に展開し、そうでない
場合は、該論理部品モデルを、そのまま保持する。
In the logic development device, the development flag for each logic component model is checked in the connection relationship between the logic component models registered in the circuit diagram editor, and in the process of optimizing the logic circuit, In the case of a logical component model to be optimized for a logical circuit, the logical component model is developed into a logical structure represented by the logical structure model. Otherwise, the logical component model is held as it is.

【0011】論理圧縮装置では、上記論理展開装置によ
って展開された、プリミティブな論理素子群の論理構造
の中から、冗長な論理構造を抽出し、該冗長な論理構造
に対し論理の最適化を行う。ここで、論理の最適化の方
法は、近年広く行われている論理最適化方法を用いる。
In the logical compression device, a redundant logical structure is extracted from the logical structure of the primitive logical element group developed by the logical developing device, and the logic is optimized for the redundant logical structure. . Here, as a method of optimizing the logic, a logic optimizing method widely used in recent years is used.

【0012】以上の処理を行うことによって、論理回路
の機能あるいは構造を表現するハードウェア記述言語に
よって記述された論理回路の記述を、該機能あるいは構
造を実現する集積回路のプリミティブな論理素子から成
る論理構造に変換する論理合成装置と、集積回路のプリ
ミティブな論理素子から成る論理構造の中から、冗長な
論理構造を抽出し、該冗長な論理構造に対し論理の最適
化を行う論理圧縮装置とを用いた集積回路の設計方法に
おいて論理の最適化処理を効率的に行う事が可能とな
る。
By performing the above processing, the description of the logic circuit described by the hardware description language expressing the function or structure of the logic circuit is made up of the primitive logic elements of the integrated circuit realizing the function or structure. A logic synthesizing device for converting into a logical structure, and a logical compression device for extracting a redundant logical structure from a logical structure composed of primitive logical elements of an integrated circuit and optimizing the logic with respect to the redundant logical structure. It is possible to efficiently perform the logic optimization process in the integrated circuit design method using the logic.

【0013】[0013]

【実施例】以下、本発明の一実施例の設計支援装置につ
いて、図面を参照しながら説明する。
DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENTS Hereinafter, a design support apparatus according to an embodiment of the present invention will be described with reference to the drawings.

【0014】図1は、本発明の第1の実施例における設
計支援装置の構成図である。図1において、10は、論
理装置の機能あるいは構造を表現するハードウェア記述
言語で、特定の機能あるいは構造を実現するように記述
された、機能モデルと、上記機能モデルを記述した、機
能あるいは構造の記述から論理合成装置を用いて変換さ
れた、プリミティブな論理素子から成る論理構造を、論
理圧縮装置において、論理回路の最適化の対象とするか
否かを示す、展開フラグとを有した、論理部品モデルを
要素とする、部品ライブラリ、11は、上記部品ライブ
ラリ10から取り出した論理部品モデルの接続関係によ
って、設計された論理回路の構造を規定し登録する、回
路図エディタ、12は、上記、回路図エディタ11に登
録された各論理部品モデル毎の、機能モデルに記述され
た機能あるいは構造の記述を、プリミティブな論理素子
から成る論理構造に変換し、上記機能モデルを、該変換
されたプリミティブな論理素子から成る、論理構造モデ
ルに置き換える論理合成装置、13は、上記、回路図エ
ディタ11に登録された各論理部品モデル間の接続関係
の中で、各論理部品モデル毎の展開フラグを検査し、論
理回路の最適化の処理において、論理回路の最適化の対
象とする論理部品モデルの場合は、該論理部品モデル
を、上記論理構造モデルで表わされる論理構造に展開
し、そうでない場合は、該論理部品モデルを、そのまま
保持する、論理展開装置、14は、上記論理展開装置1
3によって展開された、プリミティブな論理素子群の論
理構造の中から、冗長な論理構造を抽出し、該冗長な論
理構造に対し論理の最適化を行う論理圧縮装置である。
FIG. 1 is a block diagram of a design support apparatus according to a first embodiment of the present invention. In FIG. 1, reference numeral 10 denotes a hardware description language that expresses a function or a structure of a logical device, and a function model described so as to realize a specific function or structure, and a function or structure describing the function model. A logical structure composed of primitive logic elements, which has been converted from the description of the logical synthesis device using a logic synthesis device, in a logical compression device, indicates whether or not the logic circuit is to be optimized, The component library 11 having a logic component model as an element defines and registers the structure of the designed logic circuit based on the connection relationship of the logic component models extracted from the component library 10. The description of the function or structure described in the function model for each logical component model registered in the circuit diagram The logic synthesizing device 13 which converts the functional model into a logical structure composed of the converted primitive logical elements and converts the functional model into a logical structure model composed of the converted primitive logical elements. In the connection relationship between the component models, the expansion flag for each logical component model is checked, and in the process of optimizing the logic circuit, in the case of the logical component model to be optimized, the logical component The logical development device 14 expands the model into a logical structure represented by the logical structure model, and otherwise holds the logical component model as it is.
3 is a logical compression device that extracts a redundant logical structure from among the logical structures of the primitive logical element group developed by 3 and optimizes the logic for the redundant logical structure.

【0015】以上のように構成された設計支援装置につ
いて、以下、図1、図2、図3、図4、図5、図6、図
7、及び図8を用いて第1の実施例の動作を説明する。
The design support apparatus configured as described above will be described below with reference to FIG. 1, FIG. 2, FIG. 3, FIG. 4, FIG. 5, FIG. 6, FIG. The operation will be described.

【0016】まず、図2は、部品ライブラリ10の要素
であるところの論理部品モデルの一例であり、マルチプ
レクサを表している。図2において、20は、この論理
部品モデルが有している機能モデルであり、ハードウェ
ア記述言語で、マルチプレクサの機能が記述されてい
る。21は、この論理部品モデルが有している展開フラ
グであり、本例では、該展開フラグがONになっている
ので、上記マルチプレクサは、冗長な論理構造に対する
最適化処理の対象となることが示されている。
First, FIG. 2 shows an example of a logical component model which is an element of the component library 10 and shows a multiplexer. In FIG. 2, reference numeral 20 denotes a function model of the logical component model, which describes a function of a multiplexer in a hardware description language. Reference numeral 21 denotes an expansion flag of the logical component model. In this example, since the expansion flag is ON, the multiplexer may be a target of optimization processing for a redundant logical structure. It is shown.

【0017】図3も、部品ライブラリ10の要素である
ところの、論理部品モデルの一例であり、3ビットイン
バータを表している。図3において、30は、この論理
部品モデルが有している機能モデルであり、記述言語
で、3ビットインバータの機能が記述されている。31
は、この論理部品モデルが有している展開フラグであ
り、本例では、該展開フラグがONになっているので、
上記3ビットインバータも、冗長な論理構造に対する最
適化処理の対象となることが示されている。
FIG. 3 also shows an example of a logical component model which is an element of the component library 10 and represents a 3-bit inverter. In FIG. 3, reference numeral 30 denotes a function model of the logical component model, in which the function of a 3-bit inverter is described in a description language. 31
Is a development flag possessed by this logical component model. In this example, since the development flag is ON,
It is shown that the 3-bit inverter is also subjected to optimization processing for a redundant logical structure.

【0018】図4も、部品ライブラリ10の要素である
ところの、論理部品モデルの一例であり、レジスタを表
している。図4において、40は、この論理部品モデル
が有している機能モデルであり、ハードウェア記述言語
で、レジスタの機能が記述されている。41は、この論
理部品モデルが有している展開フラグであり、本例で
は、該展開フラグがOFFになっているので、上記レジ
スタは、冗長な論理構造に対する最適化処理の対象外と
なることが示されている。
FIG. 4 is also an example of a logical component model, which is an element of the component library 10, and represents a register. In FIG. 4, reference numeral 40 denotes a function model of the logical component model, in which a function of a register is described in a hardware description language. Reference numeral 41 denotes an expansion flag of the logical component model. In this example, since the expansion flag is OFF, the register is not subject to optimization processing for a redundant logical structure. It is shown.

【0019】図5は、回路図エディタ11に規定され登
録された論理部品モデルと論理部品モデル間の接続情報
の一例を示している。この様に、論理装置の設計者は、
部品ライブラリ10、の要素であるところの論理部品モ
デルを用いて、設計された論理装置の構造を回路図エデ
ィタ11に登録する。この例では、登録されている論理
部品モデルの中でレジスタのみの展開フラグがOFFで
あり、その他の論理部品モデルの展開フラグは、ONで
ある。
FIG. 5 shows an example of the connection information between the logic component models defined and registered in the circuit diagram editor 11. In this way, the designer of a logical device
Using the logical component model, which is an element of the component library 10, the structure of the designed logical device is registered in the circuit diagram editor 11. In this example, among the registered logical part models, the expansion flags of only the registers are OFF, and the expansion flags of the other logical part models are ON.

【0020】図6は、図5の様に回路図エディタ11に
登録された全ての論理部品モデルに対し、論理合成装置
12を用いて、各論理部品モデル毎に、該論理部品モデ
ルが有している機能モデルに記述された機能の記述を、
プリミティブな論理素子から成る論理構造に変換し、上
記機能モデルを、該変換されたプリミティブな論理素子
から成る、論理構造モデルに置き換えた様子を示してい
る。このように、各論理部品単位でまず論理合成が行わ
れるのである。点線の囲みは、この処理が各々の論理部
品モデル内での合成であって、まだプリミティブな論理
素子群の展開は行われていないことを示している。
FIG. 6 shows, for all the logic component models registered in the circuit diagram editor 11 as shown in FIG. 5, using the logic synthesizer 12 for each logic component model. Description of the function described in the function model
This figure shows a state where the function model is converted into a logical structure composed of primitive logical elements, and the functional model is replaced with a logical structure model composed of the converted primitive logical elements. As described above, first, the logic synthesis is performed for each logical component. The dotted-line box indicates that this processing is synthesis within each logical component model, and that primitive logical element groups have not been expanded yet.

【0021】図7は、図6に示した論理部品モデル間の
接続情報の中で、展開フラグがONである論理部品モデ
ルに関しては、論理展開装置13によって、プリミティ
ブな論理素子群の論理構造を展開した様子を示してい
る。本例では、レジスタ以外の論理部品モデルは、展開
フラグがONであるので、図7の様に展開される。点線
の囲みは、レジスタの論理部品モデルは展開されていな
いことを示している。
FIG. 7 shows, in the connection information between the logical part models shown in FIG. 6, for the logical part model for which the development flag is ON, the logical development unit 13 shows the logical structure of the primitive logical element group. It shows a state where it has been unfolded. In this example, the logical component model other than the register is expanded as shown in FIG. 7 because the expansion flag is ON. A box surrounded by a dotted line indicates that the logical component model of the register is not expanded.

【0022】図8は、論理圧縮装置を用いて、図7の様
に展開されたプリミティブな論理素子群の論理構造の中
から、冗長な論理構造を抽出し、該冗長な論理構造に対
し論理の最適化を行った様子を示している。本例では、
ORゲート、インバータの冗長な論理構造をNORゲー
トに置き換えている。この最適化処理において、レジス
タ内の論理構造は、展開されていないので、最適化処理
の対象には入っておらず、マルチプレクサの論理構造
と、3ビットインバータの論理構造との接続関係からの
み論理回路の圧縮が行われた。
FIG. 8 shows the use of a logical compression device to extract a redundant logical structure from the logical structure of a group of primitive logical elements developed as shown in FIG. The figure shows a state in which optimization has been performed. In this example,
The redundant logic structure of the OR gate and the inverter is replaced with a NOR gate. In this optimization processing, since the logical structure in the register is not expanded, it is not included in the object of the optimization processing, and only based on the connection relationship between the logical structure of the multiplexer and the logical structure of the 3-bit inverter. Circuit compression was done.

【0023】以上のように本実施例によれば、論理装置
の機能あるいは構造を表現するハードウェア記述言語
で、特定の機能あるいは構造を実現するように記述され
た、機能モデルと、上記機能モデルを記述した、機能あ
るいは構造の記述から上記論理合成装置を用いて変換さ
れた、プリミティブな論理素子から成る論理構造を、上
記論理圧縮装置において、論理回路の最適化の対象とす
るか否かを示す、展開フラグとを有した、論理部品モデ
ルを要素とする、部品ライブラリと、上記部品ライブラ
リから取り出した論理部品モデルの接続関係によって、
設計された論理回路の構造を規定し登録する、回路図エ
ディタと、上記、回路図エディタに登録された各論理部
品モデル毎の、機能モデルに記述された機能あるいは構
造の記述を、プリミティブな論理素子から成る論理構造
に変換し、上記機能モデルを、該変換されたプリミティ
ブな論理素子から成る、論理構造モデルに置き換える論
理合成装置と、上記、回路図エディタに登録された各論
理部品モデル間の接続関係の中で、各論理部品モデル毎
の展開フラグを検査し、論理回路の最適化の処理におい
て、論理回路の最適化の対象とする論理部品モデルの場
合は、該論理部品モデルを、上記論理構造モデルで表わ
される論理構造に展開し、そうでない場合は、該論理部
品モデルを、そのまま保持する、論理展開装置と、上記
論理展開装置によって展開された、プリミティブな論理
素子群の論理構造の中から、冗長な論理構造を抽出し、
該冗長な論理構造に対し論理の最適化を行う論理圧縮装
置と、を備え、上記部品ライブラリから論理部品モデル
を取り出し、取り出された論理部品モデル間の接続情報
を、回路図エディタによって規定することによって、設
計された論理装置の構造を登録し、論理合成装置では、
上記、回路図エディタに登録された、論理部品モデルご
との、機能モデルに記述された機能あるいは構造の記述
を、プリミティブな論理素子から成る論理構造に変換
し、上記機能モデルを、該変換されたプリミティブな論
理素子から成る、論理構造モデルに置き換え、論理展開
装置では、上記、回路図エディタに登録された各論理部
品モデル間の接続関係の中で、各論理部品モデル毎の展
開フラグを検査し、論理回路の最適化の処理において、
論理回路の最適化の対象とする論理部品モデルの場合
は、該論理部品モデルを、上記論理構造モデルで表わさ
れる論理構造に展開し、そうでない場合は、該論理部品
モデルを、そのまま保持し、論理圧縮装置では、上記論
理展開装置によって展開された、プリミティブな論理素
子群の論理構造の中から、冗長な論理構造を抽出し、該
冗長な論理構造に対し論理の最適化を行うことによっ
て、論理回路の機能あるいは構造を表現するハードウェ
ア記述言語によって記述された論理回路の記述を、該機
能あるいは構造を実現する集積回路のプリミティブな論
理素子から成る論理構造に変換する論理合成装置と、集
積回路のプリミティブな論理素子から成る論理構造の中
から、冗長な論理構造を抽出し、該冗長な論理構造に対
し論理の最適化を行う論理圧縮装置とを用いた集積回路
の設計方法において論理の最適化処理を効率的に行う事
が可能となる。
As described above, according to the present embodiment, the function model described in the hardware description language that expresses the function or structure of the logical device so as to realize a specific function or structure is provided. In the logical compression device, it is determined whether or not a logical structure composed of primitive logical elements, which has been converted from the description of the function or structure using the logical synthesis device, is to be optimized by the logical compression device. A part library having a development flag and a logical part model as an element, and a connection relationship between the part library and the part model extracted from the part library,
A circuit diagram editor for defining and registering the structure of the designed logic circuit, and a description of the function or structure described in the function model for each logic component model registered in the circuit diagram editor as a primitive logic. A logical synthesis device that converts the functional model into a logical structure model composed of the converted primitive logic elements and converts the functional model into a logical structure model, and a logical component model registered in the circuit diagram editor. In the connection relationship, the expansion flag for each logical component model is checked, and in the process of optimizing the logical circuit, in the case of the logical component model to be optimized, the logical component model is replaced by A logical expansion device that expands the logical component model into a logical structure represented by the logical structure model, and otherwise holds the logical component model as it is. Deployed Te, from the logical structure of primitive logic element group, to extract the redundant logic structure,
A logic compression device for optimizing the logic with respect to the redundant logic structure, extracting a logical component model from the component library, and specifying connection information between the extracted logical component models by a circuit diagram editor. Registers the structure of the designed logic device, and in the logic synthesis device,
The function or structure description described in the function model for each logic component model registered in the circuit diagram editor is converted into a logical structure composed of primitive logic elements, and the function model is converted The logic development model is replaced with a logic structure model composed of primitive logic elements, and the logic development device checks the development flag for each logic component model in the connection relationship between the logic component models registered in the circuit diagram editor. In the process of optimizing logic circuits,
In the case of a logic component model to be optimized for a logic circuit, the logic component model is expanded into a logic structure represented by the above-described logic structure model, otherwise, the logic component model is held as it is, In the logical compression device, a redundant logical structure is extracted from the logical structure of the primitive logical element group expanded by the logical expansion device, and the logic is optimized for the redundant logical structure. A logic synthesis device that converts a description of a logic circuit described by a hardware description language that expresses a function or structure of the logic circuit into a logic structure composed of primitive logic elements of an integrated circuit that realizes the function or structure; A redundant logical structure is extracted from a logical structure composed of primitive logical elements of a circuit, and logic is optimized for the redundant logical structure. It is possible to carry out the optimization process of the logical efficiently in the design method for an integrated circuit using a physical compression device.

【0024】以下、本発明の第2の実施例について図面
を参照しながら説明する。図9は、本発明の第2の実施
例における設計支援装置の構成図である。図9におい
て、91は回路図エディタ、92は論理展開装置、93
は論理圧縮装置であり、以上は、図1の構成と同様なも
のである。図1の構成と異なるのは、図1における部品
ライブラリ10の代わりに、集積回路を構成するプリミ
ティブな論理素子から成る論理構造で、特定の機能を実
現するように構成された論理構造モデルと、該論理構造
モデルで規定されたプリミティブな論理素子から成る論
理構造を、論理回路の最適化の処理において、論理回路
の最適化の対象とするか否かを示す、展開フラグとを有
した、論理部品モデルを要素とする、部品ライブラリ9
0を設けた点と、論理合成装置12を削除した点であ
る。
Hereinafter, a second embodiment of the present invention will be described with reference to the drawings. FIG. 9 is a configuration diagram of a design support apparatus according to the second embodiment of the present invention. In FIG. 9, 91 is a circuit diagram editor, 92 is a logic development device, 93
Is a logical compression device, which has the same configuration as that of FIG. The difference from the configuration of FIG. 1 is that instead of the component library 10 in FIG. 1, a logical structure composed of primitive logical elements constituting an integrated circuit, a logical structure model configured to realize a specific function, A logic having an expansion flag indicating whether or not a logic structure composed of primitive logic elements defined by the logic structure model is to be subjected to optimization of the logic circuit in the logic circuit optimization processing. Component library 9 with component models as elements
0 and the point where the logic synthesis device 12 is deleted.

【0025】以上のように構成された設計支援装置につ
いて、以下、図9、図10、図11、図12、図5、図
6、図7及び、図8、を用いて第2の実施例の動作を説
明する。
A second embodiment of the design support apparatus constructed as described above will be described with reference to FIGS. 9, 10, 11, 12, 5, 6, 7, and 8. Will be described.

【0026】まず、図10は、部品ライブラリ90の要
素であるところの、論理部品モデルの一例であり、マル
チプレクサを表している。図10において、100は、
この論理部品モデルが有している論理構造モデルであ
り、集積回路を構成するプリミティブな論理素子の接続
構造で機能が表現されている。101は、この論理部品
モデルが有している展開フラグであり、本例では、該展
開フラグがONになっているので、上記マルチプレクサ
は、冗長な論理構造に対する最適化処理の対象となるこ
とが示されている。
First, FIG. 10 shows an example of a logical component model, which is an element of the component library 90, and represents a multiplexer. In FIG. 10, 100 is
This is a logical structure model possessed by the logical component model, in which functions are represented by a connection structure of primitive logic elements constituting an integrated circuit. Reference numeral 101 denotes an expansion flag included in the logical component model. In this example, since the expansion flag is ON, the multiplexer may be a target of optimization processing for a redundant logical structure. It is shown.

【0027】図11も、部品ライブラリ90の要素であ
るところの、論理部品モデルの一例であり、3ビットイ
ンバータを表している。図11において、110は、こ
の論理部品モデルが有している論理構造モデルであり、
集積回路を構成するプリミティブな論理素子の接続構造
で機能が表現されている。111は、この論理部品モデ
ルが有している展開フラグであり、本例では、該展開フ
ラグがONになっているので、上記3ビットインバータ
も、冗長な論理構造に対する最適化処理の対象となるこ
とが示されている。
FIG. 11 also shows an example of a logical component model, which is an element of the component library 90, and represents a 3-bit inverter. In FIG. 11, reference numeral 110 denotes a logical structure model of the logical component model;
The function is expressed by a connection structure of primitive logic elements that constitute an integrated circuit. Reference numeral 111 denotes an expansion flag of the logical component model. In this example, since the expansion flag is ON, the 3-bit inverter is also subjected to optimization processing for a redundant logical structure. It has been shown.

【0028】図12も、部品ライブラリ90の要素であ
るところの、論理部品モデルの一例であり、レジスタを
表している。図12において、120は、この論理部品
モデルが有している論理構造モデルであり、集積回路を
構成するプリミティブな論理素子の接続構造で機能が表
現されている。121は、この論理部品モデルが有して
いる展開フラグであり、本例では、該展開フラグがOF
Fになっているので、上記レジスタは、冗長な論理構造
に対する最適化処理の対象外となることが示されてい
る。
FIG. 12 is also an example of a logical component model, which is an element of the component library 90, and represents a register. In FIG. 12, reference numeral 120 denotes a logical structure model of the logical component model, whose functions are represented by a connection structure of primitive logical elements forming an integrated circuit. Reference numeral 121 denotes an expansion flag of the logical component model. In this example, the expansion flag is
Since it is F, it is indicated that the register is not subjected to the optimization processing for the redundant logical structure.

【0029】図5は、回路図エディタ91に規定され登
録された論理部品モデルと論理部品モデル間の接続情報
の一例を示している。この様に、論理装置の設計者は、
部品ライブラリ90の要素であるところの論理部品モデ
ルを用いて、設計された論理装置の構造を回路図エディ
タ91に登録する。この例では、登録されている論理部
品モデルの中でレジスタのみの展開フラグがOFFであ
り、その他の論理部品モデルの展開フラグは、ONであ
る。
FIG. 5 shows an example of the connection information between the logic component models defined and registered in the circuit diagram editor 91. In this way, the designer of a logical device
Using the logical component model, which is an element of the component library 90, the structure of the designed logical device is registered in the circuit diagram editor 91. In this example, among the registered logical part models, the expansion flags of only the registers are OFF, and the expansion flags of the other logical part models are ON.

【0030】図6は、図5の様に回路図エディタ91に
登録された全ての論理部品モデルに対し、論理展開装置
92によって論理の展開が行われる前の様子を示してい
る。点線の囲みは、まだプリミティブな論理素子群の展
開は行われていないことを示している。
FIG. 6 shows a state before the logic is developed by the logic developing device 92 for all the logic component models registered in the circuit diagram editor 91 as shown in FIG. The dotted box indicates that the primitive logic element group has not been expanded yet.

【0031】図7は、図6に示した論理部品モデル間の
接続情報の中で、展開フラグがONである論理部品モデ
ルに関しては、論理展開装置92によって、プリミティ
ブな論理素子群の論理構造を展開した様子を示してい
る。本例では、レジスタ以外の論理部品モデルは、展開
フラグがONであるので、図7の様に展開される。点線
の囲みは、レジスタの論理部品モデルは展開されていな
いことを示している。
FIG. 7 shows, in the connection information between the logical part models shown in FIG. 6, with respect to the logical part model for which the development flag is ON, the logical development unit 92 shows the logical structure of the primitive logic element group. It shows a state where it has been unfolded. In this example, the logical component model other than the register is expanded as shown in FIG. 7 because the expansion flag is ON. A box surrounded by a dotted line indicates that the logical component model of the register is not expanded.

【0032】図8は、論理圧縮装置を用いて、図7の様
に展開されたプリミティブな論理素子群の論理構造の中
から、冗長な論理構造を抽出し、該冗長な論理構造に対
し論理の最適化を行った様子を示している。本例では、
ORゲート、インバータの冗長な論理構造をNORゲー
トに置き換えている。この最適化処理において、レジス
タ内の論理構造は、展開されていないので、最適化処理
の対象には入っておらず、マルチプレクサの論理構造
と、3ビットインバータの論理構造との接続関係からの
み論理回路の圧縮が行われた。
FIG. 8 shows a case where a redundant logical structure is extracted from the logical structure of a group of primitive logical elements developed as shown in FIG. The figure shows a state in which optimization has been performed. In this example,
The redundant logic structure of the OR gate and the inverter is replaced with a NOR gate. In this optimization processing, since the logical structure in the register is not expanded, it is not included in the object of the optimization processing, and only based on the connection relationship between the logical structure of the multiplexer and the logical structure of the 3-bit inverter. Circuit compression was done.

【0033】以上のように本実施例によれば、集積回路
を構成するプリミティブな論理素子から成る論理構造
で、特定の機能を実現するように構成された論理構造モ
デルと、該論理構造モデルで規定されたプリミティブな
論理素子から成る論理構造を、論理回路の最適化の処理
において、論理回路の最適化の対象とするか否かを示
す、展開フラグとを有した、論理部品モデルを要素とす
る、部品ライブラリと、上記部品ライブラリから取り出
した論理部品モデルの接続関係によって、設計された論
理回路の構造を規定し登録する、回路図エディタと、上
記、回路図エディタに登録された各論理部品モデル間の
接続関係の中で、各論理部品モデル毎の展開フラグを検
査し、論理回路の最適化の処理において、論理回路の最
適化の対象とする論理部品モデルの場合は、該論理部品
モデルを、上記論理構造モデルで表わされる論理構造に
展開し、そうでない場合は、該論理部品モデルを、その
まま保持する、論理展開装置と、上記論理展開装置によ
って展開された、プリミティブな論理素子群の論理構造
の中から、冗長な論理構造を抽出し、該冗長な論理構造
に対し論理の最適化を行う論理圧縮装置と、を備え、上
記部品ライブラリから論理部品モデルを取り出し、取り
出された論理部品モデル間の接続情報を、回路図エディ
タによって規定することによって、設計された論理装置
の構造を登録し、論理展開装置では、上記、回路図エデ
ィタに登録された各論理部品モデル間の接続関係の中
で、各論理部品モデル毎の展開フラグを検査し、論理回
路の最適化の処理において、論理回路の最適化の対象と
する論理部品モデルの場合は、該論理部品モデルを、上
記論理構造モデルで表わされる論理構造に展開し、そう
でない場合は、該論理部品モデルを、そのまま保持し、
論理圧縮装置では、上記論理展開装置によって展開され
た、プリミティブな論理素子群の論理構造の中から、冗
長な論理構造を抽出し、該冗長な論理構造に対し論理の
最適化を行うことによって、集積回路のプリミティブな
論理素子から成る論理構造の中から、冗長な論理構造を
抽出し、該冗長な論理構造に対し論理の最適化を行う論
理圧縮装置とを用いた集積回路の設計方法において論理
の最適化処理を効率的に行う事が可能となる。
As described above, according to the present embodiment, a logical structure model configured to realize a specific function by a logical structure composed of primitive logical elements constituting an integrated circuit, and a logical structure model configured to realize a specific function. A logic component model having a development flag indicating whether or not a logic structure composed of defined primitive logic elements is to be optimized in the logic circuit in the process of optimizing the logic circuit. A circuit diagram editor, which defines and registers the structure of the designed logic circuit based on the connection relationship between the component library and the logical component model extracted from the component library, and the respective logical components registered in the circuit diagram editor In the connection relationship between the models, the expansion flag for each logical component model is checked, and in the process of optimizing the logic circuit, the logic to be optimized for the logic circuit is checked. In the case of a product model, the logical component model is developed into a logical structure represented by the logical structure model. Otherwise, the logical component model is retained as it is, by a logical developing device and a logical developing device. A logical compression device that extracts a redundant logical structure from the expanded logical structure of the primitive logical element group and optimizes the logic with respect to the redundant logical structure. The part model is taken out, the connection information between the taken out logical part models is defined by the circuit diagram editor, and the structure of the designed logic device is registered. In the connection relationship between the respective logical component models, the development flag of each logical component model is inspected, and the logic circuit optimization For logical component model to be subjected to reduction, the logical component model, developed in the logical structure represented by the above logical structure model, otherwise, a logical component model, and held as it is,
In the logical compression device, a redundant logical structure is extracted from the logical structure of the primitive logical element group expanded by the logical expansion device, and the logic is optimized for the redundant logical structure. A logical compression apparatus for extracting a redundant logical structure from a logical structure composed of primitive logical elements of an integrated circuit and optimizing the logic with respect to the redundant logical structure. Optimization processing can be performed efficiently.

【0034】[0034]

【発明の効果】以上のように本発明は、論理装置の機能
あるいは構造を表現するハードウェア記述言語で、特定
の機能あるいは構造を実現するように記述された、機能
モデルと、上記機能モデルを記述した、機能あるいは構
造の記述から上記論理合成装置を用いて変換された、プ
リミティブな論理素子から成る論理構造を、上記論理圧
縮装置において、論理回路の最適化の対象とするか否か
を示す、展開フラグとを有した、論理部品モデルを要素
とする、部品ライブラリと、上記部品ライブラリから取
り出した論理部品モデルの接続関係によって、設計され
た論理回路の構造を規定し登録する、回路図エディタ
と、上記、回路図エディタに登録された各論理部品モデ
ル毎の、機能モデルに記述された機能あるいは構造の記
述を、プリミティブな論理素子から成る論理構造に変換
し、上記機能モデルを、該変換されたプリミティブな論
理素子から成る、論理構造モデルに置き換える論理合成
装置と、上記、回路図エディタに登録された各論理部品
モデル間の接続関係の中で、各論理部品モデル毎の展開
フラグを検査し、論理回路の最適化の処理において、論
理回路の最適化の対象とする論理部品モデルの場合は、
該論理部品モデルを、上記論理構造モデルで表わされる
論理構造に展開し、そうでない場合は、該論理部品モデ
ルを、そのまま保持する、論理展開装置と、上記論理展
開装置によって展開された、プリミティブな論理素子群
の論理構造の中から、冗長な論理構造を抽出し、該冗長
な論理構造に対し論理の最適化を行う論理圧縮装置と、
を備えることによって、論理回路の機能あるいは構造を
表現するハードウェア記述言語によって記述された論理
回路の記述を、該機能あるいは構造を実現する集積回路
のプリミティブな論理素子から成る論理構造に変換する
論理合成装置と、集積回路のプリミティブな論理素子か
ら成る論理構造の中から、冗長な論理構造を抽出し、該
冗長な論理構造に対し論理の最適化を行う論理圧縮装置
とを用いた集積回路の設計方法において論理の最適化処
理を効率的に行う事が可能となる。
As described above, the present invention relates to a hardware description language that expresses the function or structure of a logical device, and describes a function model and a function model described so as to realize a specific function or structure. Indicates whether a logic structure composed of primitive logic elements, which has been converted from the described function or structure description using the logic synthesis device, is to be subjected to optimization of a logic circuit in the logic compression device. A circuit diagram editor for defining and registering the structure of a designed logic circuit based on a connection relationship between a component library having a logic component model having an expansion flag and a logic component model extracted from the component library. And the description of the function or structure described in the function model for each logical component model registered in the circuit diagram editor A logic synthesis device that converts the functional model into a logical structure model that is converted to a logical structure composed of logical elements and that converts the functional model to a logical structure model that is composed of the converted primitive logical elements; In the connection relationship of, the expansion flag for each logical component model is inspected, and in the process of optimizing the logical circuit, in the case of the logical component model to be optimized for the logical circuit,
The logical component model is developed into a logical structure represented by the logical structure model. Otherwise, the logical component model is retained as it is, and a logical developing device and a primitive developed by the logical developing device are developed. A logical compression device that extracts a redundant logical structure from the logical structure of the logical element group and optimizes the logic with respect to the redundant logical structure;
A logic for converting a description of a logic circuit described by a hardware description language expressing a function or a structure of the logic circuit into a logic structure composed of primitive logic elements of an integrated circuit realizing the function or the structure An integrated circuit using a synthesizing device and a logical compression device that extracts a redundant logical structure from a logical structure composed of primitive logical elements of the integrated circuit and optimizes the logic with respect to the redundant logical structure. In the design method, it is possible to efficiently perform logic optimization processing.

【図面の簡単な説明】[Brief description of the drawings]

【図1】本発明の第1の実施例における設計支援装置の
構成図
FIG. 1 is a configuration diagram of a design support apparatus according to a first embodiment of the present invention.

【図2】展開フラグがONである論理部品モデルの一例
を示した図
FIG. 2 is a diagram illustrating an example of a logical component model in which a development flag is ON;

【図3】展開フラグがONである論理部品モデルの一例
を示した図
FIG. 3 is a diagram illustrating an example of a logical component model in which a development flag is ON;

【図4】展開フラグがOFFである論理部品モデルの一
例を示した図
FIG. 4 is a diagram illustrating an example of a logical component model in which a development flag is OFF;

【図5】回路図エディタによって、設計された論理装置
の構造が規定されている様子を示した図
FIG. 5 is a diagram showing a state in which the structure of a designed logic device is defined by a circuit diagram editor;

【図6】論理合成装置によって各論理部品モデル毎にプ
リミティブな論理素子に合成された様子を示した図
FIG. 6 is a diagram showing a state in which each logical component model is synthesized into a primitive logical element by a logical synthesizer.

【図7】論理展開装置によって論理部品モデルがプリミ
ティブな論理素子による論理構造に展開された様子を示
した図
FIG. 7 is a diagram showing a state where a logical component model is developed into a logical structure by primitive logical elements by a logical developing device.

【図8】論理圧縮装置によって冗長な論理構造が最適化
された様子を示した図
FIG. 8 is a diagram showing a state where a redundant logical structure is optimized by a logical compression device;

【図9】本発明の第2の実施例における設計支援装置の
構成図
FIG. 9 is a configuration diagram of a design support apparatus according to a second embodiment of the present invention.

【図10】展開フラグがONである論理部品モデルの一
例を示した図
FIG. 10 is a diagram illustrating an example of a logical component model in which a development flag is ON;

【図11】展開フラグがONである論理部品モデルの一
例を示した図
FIG. 11 is a diagram showing an example of a logical component model whose development flag is ON.

【図12】展開フラグがOFFである論理部品モデルの
一例を示した図
FIG. 12 is a diagram illustrating an example of a logical component model in which a development flag is OFF.

【符号の説明】[Explanation of symbols]

10、90 部品ライブラリ 11、91 回路図エディタ 12 論理合成装置 13、92 論理展開装置 14、93 論理圧縮装置 20、30、40 機能モデル 100、110、120 論理構造モデル 21、31、41、101、111、121 展開フラ
10, 90 parts library 11, 91 circuit diagram editor 12 logic synthesis device 13, 92 logic development device 14, 93 logic compression device 20, 30, 40 functional model 100, 110, 120 logical structure model 21, 31, 41, 101, 111, 121 Expansion flag

Claims (3)

(57)【特許請求の範囲】(57) [Claims] 【請求項1】 論理装置の機能あるいは構造を表現する
ハードウェア記述言語によって記述された論理回路の記
述を、該機能あるいは構造を実現する集積回路のプリミ
ティブな論理素子から成る論理構造に変換する論理合成
装置と、集積回路のプリミティブな論理素子から成る論
理構造の中から、冗長な論理構造を抽出し、該冗長な論
理構造に対し論理の最適化を行う論理圧縮装置とを備え
た、論理回路の設計支援装置にして、論理装置の機能あ
るいは構造を表現するハードウェア記述言語で、特定の
機能あるいは構造を実現するように記述された機能モデ
ルと、上記機能モデルを記述した機能あるいは構造の記
述から上記論理合成装置を用いて変換されたプリミティ
ブな論理素子から成る論理構造を、上記論理圧縮装置に
おいて、論理回路の最適化の対象とするか否かを示す、
展開フラグとを有した、論理部品モデルを要素とする、
部品ライブラリと、上記部品ライブラリから取り出した
論理部品モデルの接続関係によって、設計された論理回
路の構造を規定し登録する、回路図エディタと、上記、
回路図エディタに登録された各論理部品モデル毎の、機
能モデルに記述された機能あるいは構造の記述を、プリ
ミティブな論理素子から成る論理構造に変換し、上記機
能モデルを、該変換されたプリミティブな論理素子から
成る、論理構造モデルに置き換える論理合成装置と、上
記、回路図エディタに登録された各論理部品モデル間の
接続関係の中で、各論理部品モデル毎の展開フラグを検
査し、論理回路の最適化の処理において、論理回路の最
適化の対象とする論理部品モデルの場合は、該論理部品
モデルを、上記論理構造モデルで表わされる論理構造に
展開し、そうでない場合は、該論理部品モデルを、その
まま保持する、論理展開装置と、上記論理展開装置によ
って展開された、プリミティブな論理素子群の論理構造
の中から、冗長な論理構造を抽出し、該冗長な論理構造
に対し論理の最適化を行う論理圧縮装置とを有した設計
支援装置。
1. A logic for converting a description of a logic circuit described by a hardware description language expressing a function or a structure of a logic device into a logic structure composed of primitive logic elements of an integrated circuit realizing the function or the structure. A logic circuit, comprising: a synthesis device; and a logic compression device that extracts a redundant logic structure from a logic structure including primitive logic elements of an integrated circuit and optimizes the logic with respect to the redundant logic structure. A function model written to realize a specific function or structure in a hardware description language that expresses the function or structure of a logical device, and a description of a function or structure describing the above function model The logic structure composed of the primitive logic elements converted by using the logic synthesis device from Indicate whether to target for optimization,
A logical component model having an expansion flag as an element,
A circuit diagram editor for defining and registering the structure of the designed logic circuit based on the connection relationship between the component library and the logical component model extracted from the component library;
The function or structure description described in the function model for each logical component model registered in the circuit diagram editor is converted into a logical structure composed of primitive logic elements, and the function model is converted into the converted primitive model. A logic synthesis device to be replaced with a logic structure model consisting of logic elements, and a connection flag between the logic component models registered in the circuit diagram editor, inspecting a development flag for each logic component model, In the optimization process of (1), if the logical component model is to be optimized for the logic circuit, the logical component model is expanded to the logical structure represented by the logical structure model. From the logic structure of primitive logic elements developed by the logic development device and the logic development device that holds the model as it is, Extract the physical structure, design support device having a logical compression apparatus for performing a logic optimization to the redundant logic structure.
【請求項2】 論理回路の中から、冗長な論理構造を抽
出し、該冗長な論理構造に対し論理の最適化を行う論理
圧縮装置を備えた設計支援装置にして、集積回路を構成
するプリミティブな論理素子から成る論理構造で、特定
の機能を実現するように構成された論理構造モデルと、
該論理構造モデルで規定されたプリミティブな論理素子
から成る論理構造を、論理回路の最適化の処理におい
て、論理回路の最適化の対象とするか否かを示す、展開
フラグとを有した、論理部品モデルを要素とする、部品
ライブラリと、上記部品ライブラリから取り出した論理
部品モデルの接続関係によって、設計された論理回路の
構造を規定し登録する、回路図エディタと、上記、回路
図エディタに登録された各論理部品モデル間の接続関係
の中で、各論理部品モデルに対して該論理部品モデルの
展開フラグを検査し、論理回路の最適化の処理におい
て、論理回路の最適化の対象とする論理部品モデルの場
合は、該論理部品モデルを、上記論理構造モデルによっ
て表わされる論理構造に展開し、そうでない場合は、該
論理部品モデルをそのまま保持する、論理展開装置と、
上記論理展開装置によって展開された、プリミティブな
論理素子群の論理構造の中から、冗長な論理構造を抽出
し、該冗長な論理構造に対し論理の最適化を行う論理圧
縮装置とを有した設計支援装置。
2. A primitive for constructing an integrated circuit by extracting a redundant logical structure from a logical circuit and providing a design support device having a logical compression device for optimizing the logic with respect to the redundant logical structure. A logical structure model composed of various logical elements, and configured to realize a specific function;
A logic having an expansion flag indicating whether or not a logic structure composed of primitive logic elements defined by the logic structure model is to be subjected to optimization of the logic circuit in the logic circuit optimization processing. A circuit diagram editor that registers and registers the structure of the designed logic circuit based on the connection relationship between the component library having the component model as an element and the logical component model extracted from the component library. In the connection relationship between the respective logical part models, the development flag of the logical part model is inspected for each logical part model, and is used as a target of the logical circuit optimization in the processing of the optimization of the logical circuit. In the case of a logical part model, the logical part model is developed into a logical structure represented by the logical structure model. Or to hold, and the logical deployment device,
A design having a logical compression device that extracts a redundant logical structure from the logical structure of a group of primitive logical elements developed by the logical expander and optimizes the logic for the redundant logical structure Support equipment.
【請求項3】 ハードウェア記述言語は、論理装置の
機能あるいは構造を字句によって表現するテキスト言語
であるか、論理装置の機能あるいは構造を図的に表現す
る図的言語であるか、上記テキスト言語及び図的言語を
混合して論理装置の機能あるいは構造を表現する言語で
あるかの何れかであることを特徴とする請求項1記載
設計支援装置。
3. The hardware description language is a text language that expresses the function or structure of a logical device by lexical expression, a graphical language that expresses the function or structure of the logical device graphically, or the text language described above. 2. The design support apparatus according to claim 1, wherein the language is a language that expresses the function or structure of the logic device by mixing a graphical language.
JP3288333A 1991-11-05 1991-11-05 Design support equipment Expired - Fee Related JP2976640B2 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP3288333A JP2976640B2 (en) 1991-11-05 1991-11-05 Design support equipment

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP3288333A JP2976640B2 (en) 1991-11-05 1991-11-05 Design support equipment

Publications (2)

Publication Number Publication Date
JPH05128203A JPH05128203A (en) 1993-05-25
JP2976640B2 true JP2976640B2 (en) 1999-11-10

Family

ID=17728833

Family Applications (1)

Application Number Title Priority Date Filing Date
JP3288333A Expired - Fee Related JP2976640B2 (en) 1991-11-05 1991-11-05 Design support equipment

Country Status (1)

Country Link
JP (1) JP2976640B2 (en)

Also Published As

Publication number Publication date
JPH05128203A (en) 1993-05-25

Similar Documents

Publication Publication Date Title
JP3027009B2 (en) Design capture system
JP2000082094A (en) Semiconductor integrated circuit design verification system
JP2000076321A (en) Lsi design system by preparation of model for function block and lsi designing method thereof
JP2002279005A (en) Method, device and program for generating three- dimensional analytic model and its recording medium
US7624363B2 (en) Method and apparatus for performing equivalence checking on circuit designs having differing clocking and latching schemes
JP2976640B2 (en) Design support equipment
US7814455B2 (en) Logic synthesis method and device
JP2923914B2 (en) CAD system for integrated circuits
JP4448048B2 (en) Structural analysis program
JP2600572B2 (en) Method and apparatus for converting logic verification target circuit including sequential circuit into logic verification facilitating circuit
JP2930087B2 (en) Logic design support system
JPH05159012A (en) Design support device
JP3019874B2 (en) Program generation / synthesis apparatus and method
EP0991000A2 (en) Reuse of hardware components
JP2774396B2 (en) Data generator
JPH027171A (en) Logical circuit synthesizing system
JP2005301498A (en) Logic data generation method and logic simulator
JP3123960B2 (en) LSI design method using FSM reconstruction description
JP2706367B2 (en) Processing method of mask pattern data
US5140672A (en) Diagram generator having reference table which included reproducing and name assigning units for expanding circuit from lower to higher level
Morris et al. Structured abstract schematics
JPH10187791A (en) Automatic test circuit generation method
JP2001318956A (en) Lsi logical design support system in consideration of layout design and its method
JP2001308185A (en) Semiconductor integrated circuit and method for designing circuit
JPH1139360A (en) Logic synthesis supporting method/system

Legal Events

Date Code Title Description
LAPS Cancellation because of no payment of annual fees