[go: up one dir, main page]

JP2000113019A - Circuit designing method and design supporting device - Google Patents

Circuit designing method and design supporting device

Info

Publication number
JP2000113019A
JP2000113019A JP10284374A JP28437498A JP2000113019A JP 2000113019 A JP2000113019 A JP 2000113019A JP 10284374 A JP10284374 A JP 10284374A JP 28437498 A JP28437498 A JP 28437498A JP 2000113019 A JP2000113019 A JP 2000113019A
Authority
JP
Japan
Prior art keywords
circuit
path
logic synthesis
logic
time
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
JP10284374A
Other languages
Japanese (ja)
Inventor
Shinkichi Hazama
信吉 挾間
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.)
Sony Corp
Original Assignee
Sony Corp
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 Sony Corp filed Critical Sony Corp
Priority to JP10284374A priority Critical patent/JP2000113019A/en
Publication of JP2000113019A publication Critical patent/JP2000113019A/en
Pending legal-status Critical Current

Links

Landscapes

  • Design And Manufacture Of Integrated Circuits (AREA)

Abstract

(57)【要約】 【課題】論理回路記述やネットリストの変更が不要で、
大規模で複雑な回路においても回路変更や修正を短時間
で効率よく行い、回路全体の高速最適化を論理合成によ
り適切に行うことができる回路設計方法を提供する。 【解決手段】回路性能の見積もりをするための論理合成
を、論理記述回路情報21、クロック制約データ22お
よびマッピングセルライブラリ23のみを用いて第1の
論理合成部24で行う。その論理合成結果に基づいて、
制約条件決定部27において、回路内部の全てのパスを
抽出し、遅延時間を算出し、遅延時間が動作周期を越え
ているパスを選択し、そのパスに対してタイミング制
約、負荷容量制約、マッピングセルの使用制限の観点か
ら制約条件を決定し、制約条件データ28を生成する。
この制約条件データ28に基づいて、第2の論理合成部
29において論理合成を行い、高速最適化されたネット
リスト30を得る。
(57) [Summary] [Problem] It is not necessary to change a logic circuit description or a netlist.
Provided is a circuit design method capable of efficiently performing circuit change and correction in a short time even in a large-scale and complicated circuit, and appropriately performing high-speed optimization of the entire circuit by logic synthesis. A first logic synthesis unit performs logic synthesis for estimating circuit performance using only logic description circuit information, clock constraint data, and a mapping cell library. Based on the logic synthesis result,
The constraint condition determination unit 27 extracts all paths in the circuit, calculates a delay time, selects a path whose delay time exceeds the operation cycle, and performs timing constraint, load capacity constraint, and mapping for the path. Constraints are determined from the viewpoint of cell use restrictions, and constraint data 28 is generated.
Based on the constraint data 28, logic synthesis is performed in the second logic synthesis unit 29, and a netlist 30 optimized at high speed is obtained.

Description

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

【0001】[0001]

【発明の属する技術分野】本発明は、たとえば半導体装
置に収容する回路の設計に用いて好適で、特に、高速に
動作する回路を論理合成により設計する場合にその回路
設計を効率よく行うことのできる回路設計方法およびそ
のような回路設計を支援する設計支援装置に関する。
BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention is suitable for use in, for example, the design of a circuit housed in a semiconductor device. The present invention relates to a circuit design method that can be performed and a design support device that supports such circuit design.

【0002】[0002]

【従来の技術】近年、半導体集積回路として実現する所
望の回路を設計する際には、設計者はハードウェア記述
言語(HDL:Hardware Description Language)を用い
て論理回路をレジスタ・トランスファー・レベル(RT
L)で記述し、これをマッピングセルライブラリととも
に論理合成ツール(以後、このツールをCADと言う場
合もある。)の入力データとして読み込み、論理合成す
ることによってゲート化(セルマッピング)する方法が
主流になっている。しかし、回路規模の増加や複雑化に
伴い、その全ての処理をCADだけで実現することが困
難になってきており、CADでの処理が不可能な部分に
ついては設計者が処理前後のデータ(HDL、ネットリ
ストなど)に対して別途、回路修正や変更などをを施さ
なくてはならなくなっている。特に、高速動作する論理
回路を設計する場合において、一層このような状況が発
生し易くなっている。
2. Description of the Related Art In recent years, when designing a desired circuit realized as a semiconductor integrated circuit, a designer uses a hardware description language (HDL) to register a logic circuit at a register transfer level (RT).
L), and this is read as input data of a logic synthesis tool (hereinafter sometimes referred to as CAD) together with a mapping cell library, and gated (cell mapping) by logic synthesis is mainly used. It has become. However, with the increase in circuit scale and complexity, it has become difficult to realize all of the processing by CAD alone. For parts that cannot be processed by CAD, the designer must use data before and after processing ( HDL, netlist, etc.) must be separately modified or changed. In particular, such a situation is more likely to occur when designing a logic circuit that operates at high speed.

【0003】これまでの論理合成を用いた回路の高速化
処理は、制約条件にクロック周期およびレジスタ間の遅
延値をタイミング制約条件という形で与えて論理合成を
行い、その結果をタイミング解析し、所望の動作クロッ
クで動作するか否かを判断するというものであった。し
かし回路がより高速になってくると、設計者によるタイ
ミング制約条件の決定はパスの最大遅延値だけにならざ
るを得ず、このようなタイミング条件の付加だけでは制
約を満たすことが困難になってきた。そこで設計者は論
理合成語のネットリストから、制約を満たさないレジス
タ間に任意的にラッチ(フリップフロップ)を人手によ
って挿入したり、設計の初期レベルに戻って論理回路記
述上でクリティカルな部分を回路分割をするなどの作業
を繰り返し、高速化の実現を図っていた。
[0003] In the conventional high-speed processing using logic synthesis, logic synthesis is performed by giving a clock cycle and a delay value between registers as constraint conditions in the form of timing constraints, and the result is subjected to timing analysis. It is to determine whether or not to operate with a desired operation clock. However, as circuits become faster, designers have to determine timing constraints only by the maximum delay value of the path, and it becomes difficult to satisfy the constraints only by adding such timing conditions. Have been. Therefore, designers can manually insert latches (flip-flops) manually between registers that do not satisfy the constraints from the netlist of logic synthesis words, or return to the initial level of the design and identify critical parts in the logic circuit description. Work such as dividing the circuit was repeated to achieve higher speed.

【0004】最近では、このような問題に対応するため
に、論理記述からレジスタ間の遅延時間を計算し、タイ
ミング制約以外にも負荷や駆動能力を考慮して、回路の
最適化を行う方法が提案されている。たとえば、特開平
7−7142号公報には、論理記述よりパスの遅延時間
を計算し、その遅延時間に応じてパスを分離、抽出し、
抽出したパスのネット解析を行い、回路の最適化を行う
方法が開示されている。そしてその最適化方法として
は、回路内部のバッファの挿入位置を最適な場所に変更
することで駆動能力を改善するという方法と、最適化対
象となるパス内のセルをもとの論理関係を維持したまま
最適化非対象のパスにセル複製するという方法が示され
ている。
Recently, in order to cope with such a problem, a method of calculating a delay time between registers from a logical description and optimizing a circuit in consideration of a load and a driving ability in addition to a timing constraint has been proposed. Proposed. For example, Japanese Patent Laid-Open No. 7-7142 discloses that a path delay time is calculated from a logical description, and a path is separated and extracted according to the delay time.
A method of performing net analysis of an extracted path and optimizing a circuit is disclosed. As the optimization method, the drive capacity is improved by changing the insertion position of the buffer inside the circuit to the optimum position, and the logical relationship based on the cells in the path to be optimized is maintained A method is shown in which a cell is duplicated to a path that is not targeted for optimization while the cell is not optimized.

【0005】[0005]

【発明が解決しようとする課題】しかしながら、前述し
たようなこれまでの回路の最適化方法では、最適化処理
の過程で論理記述の変更が行われてしまったり、適用回
路が特定のデータパス系の回路に限定されるなどの問題
がある。また、システムLSI開発などの大規模で複雑
な回路においては、変更箇所の増加が予想される上に、
回路変更や修正といった最適化工程に多大な時間がかか
ってしまうという問題もある。さらに、論理回路記述や
ネットリストなどの変更によってRTLでの回路データ
の再利用性も失われてしまうという不利益もある。
However, in the conventional circuit optimizing method as described above, the logic description is changed in the course of the optimizing process, or the applied circuit has a specific data path system. There is a problem that the circuit is limited to the above. In large-scale and complicated circuits such as system LSI development, the number of changed parts is expected to increase.
There is also a problem that an optimizing process such as a circuit change or correction takes a long time. Further, there is a disadvantage in that the reusability of circuit data in RTL is lost due to a change in a logic circuit description, a netlist, or the like.

【0006】したがって本発明の目的は、論理回路記述
やネットリストの変更が不要で、大規模で複雑な回路に
おいても回路変更や修正を短時間で効率よく行い、回路
全体の高速最適化を論理合成により適切に行うことがで
きる回路設計方法を提供することにある。また本発明の
他の目的は、論理回路記述やネットリストの変更が不要
で、大規模で複雑な回路においても回路変更や修正を短
時間で効率よく行い、回路全体の高速最適化を論理合成
により適切に行うことができる設計支援装置を提供する
ことにある。
Accordingly, it is an object of the present invention to make it possible to efficiently and quickly change and modify a large-scale and complicated circuit without having to change the description of the logic circuit or the netlist, and to achieve high-speed optimization of the entire circuit. An object of the present invention is to provide a circuit design method that can be appropriately performed by synthesis. Another object of the present invention is to eliminate the need to change a logic circuit description or a netlist, to efficiently and quickly change or modify a large-scale and complicated circuit, and to achieve high-speed optimization of the entire circuit by logic synthesis. It is an object of the present invention to provide a design support device that can perform the program more appropriately.

【0007】[0007]

【課題を解決するための手段】前記課題を解決するため
に、本発明の回路設計方法は、入力した論理回路記述に
対して論理合成を行って所望の回路を生成し、前記生成
された回路より、1周期内に信号処理が行われるべき区
間ごとのパスを抽出し、前記抽出されたパスごとの処理
時間を含む前記生成された回路の特性を検出し、前記検
出の結果に基づいて決定される論理合成時の条件に基づ
いて、前記論理回路記述に対して再度論理合成を行っ
て、所望の特性を有する回路を生成する。
In order to solve the above-mentioned problems, a circuit design method according to the present invention generates a desired circuit by performing logic synthesis on an inputted logic circuit description, More specifically, a path for each section in which signal processing is to be performed within one cycle is extracted, a characteristic of the generated circuit including a processing time for each extracted path is detected, and a determination is made based on a result of the detection. Based on the conditions at the time of the logic synthesis, the logic circuit description is again subjected to logic synthesis to generate a circuit having desired characteristics.

【0008】好適には、前記回路の特性の検出は、前記
抽出されたパスより、当該パスの前記処理時間が当該パ
スの動作周期より長いパスを検出する処理を含み、前記
再度の論理合成は、前記検出されたパスの処理時間が当
該パスの動作周期内になるように設定された条件に基づ
いて行う。特定的には、前記再度の論理合成時の条件
は、セルの負荷容量の指定および使用セルの指定を含む
条件である。
Preferably, the detection of the characteristic of the circuit includes a process of detecting, from the extracted paths, a path whose processing time of the path is longer than the operation cycle of the path, and the logical synthesis again is performed. The processing is performed based on conditions set so that the processing time of the detected path is within the operation cycle of the path. Specifically, the condition at the time of the second logic synthesis is a condition including designation of a load capacity of a cell and designation of a cell to be used.

【0009】また、本発明の設計支援装置は、入力した
論理回路記述に対して論理合成を行って所望の回路を生
成する第1の論理合成手段と、前記生成された回路よ
り、1周期内に信号処理が行われるべき区間ごとのパス
を抽出するパス抽出手段と、前記抽出されたパスごとの
処理時間を含む、前記生成された回路の特性を検出する
特性検出手段と、前記検出の結果に基づいて決定され入
力される論理合成時の条件に基づいて、前記論理回路記
述に対して再度論理合成を行って、所望の特性を有する
回路を生成する第2の論理合成手段とを有する。
Further, the design support apparatus of the present invention comprises: a first logic synthesizing means for performing logic synthesis on an input logic circuit description to generate a desired circuit; Path extracting means for extracting a path for each section in which signal processing is to be performed, characteristic detecting means for detecting the characteristic of the generated circuit including a processing time for each extracted path, and a result of the detection And a second logic synthesizing unit that performs logic synthesis again on the logic circuit description based on the logic synthesis condition determined and input based on the logic synthesis to generate a circuit having desired characteristics.

【0010】好適には、前記特性検出手段は、前記抽出
されたパスより、当該パスの前記処理時間が当該パスの
動作周期より長いパスを検出し、前記第2の論理合成手
段は、前記検出されたパスの処理時間が当該パスの動作
周期内になるように設定された条件に基づいて行う。特
定的には、前記再度の論理合成時の条件は、セルの負荷
容量の指定および使用セルの指定を含む条件である。ま
た好適には、前記第1の論理合成手段は、予め用意され
たセルライブラリを参照し、前記入力した論理回路記述
に対して、動作クロックに基づく条件のみに基づいて論
理合成を行う。
Preferably, the characteristic detecting means detects, from the extracted paths, a path in which the processing time of the path is longer than the operation cycle of the path, and the second logic synthesizing means detects the path. The processing is performed based on the conditions set so that the processing time of the given path falls within the operation cycle of the path. Specifically, the condition at the time of the second logic synthesis is a condition including designation of a load capacity of a cell and designation of a cell to be used. Preferably, the first logic synthesis means performs logic synthesis on the input logic circuit description based only on a condition based on an operation clock with reference to a cell library prepared in advance.

【0011】[0011]

【発明の実施の形態】本発明の一実施の形態について図
1〜図10を参照して説明する。まず最初に、設計対象
の回路の一般的な構成について、回路の高速化という観
点から説明する。図1は、その設計対象の回路の一般的
な構成を示す図である。一般的な論理回路は、図1に示
すように、組合せ論理12が2つのレジスタ11,13
間(パス)に存在するようになっている。これを上流設
計手法では、RTL(レジスタ・トランスファー・レベ
ル)といい、基本的な回路構成として扱われる。
DESCRIPTION OF THE PREFERRED EMBODIMENTS One embodiment of the present invention will be described with reference to FIGS. First, a general configuration of a circuit to be designed will be described from the viewpoint of speeding up the circuit. FIG. 1 is a diagram showing a general configuration of a circuit to be designed. In a general logic circuit, as shown in FIG.
It exists between (path). This is referred to as RTL (register transfer level) in the upstream design method, and is treated as a basic circuit configuration.

【0012】このような回路においては、まずデータは
クロック信号と同期して入力レジスタ11に入る。そし
て、クロック周期の時間(Tc)以内で組み合わせ論理
12の信号処理が行われて、受け側のレジスタ13に入
力される。この時、データの処理にかかる時間(Td)
は、クロック周期の時間(Tc)よりも短い時間でない
と所望の処理が行えず、また適切にデータがレジスタ間
(パス)を伝搬しない。すなわち、クロック周期時間
(Tc)とデータ処理時間(Td)の間には、式1のよ
うな関係が必要となる。
In such a circuit, data first enters the input register 11 in synchronization with a clock signal. Then, the signal processing of the combinational logic 12 is performed within the clock cycle time (Tc), and is input to the register 13 on the receiving side. At this time, the time required for data processing (Td)
Cannot perform desired processing unless the time is shorter than the clock cycle time (Tc), and data does not properly propagate between registers (paths). That is, a relationship such as Equation 1 is required between the clock cycle time (Tc) and the data processing time (Td).

【0013】[0013]

【数1】 クロック周期時間(Tc)>データ処理時間(Td)## EQU1 ## Clock cycle time (Tc)> Data processing time (Td)

【0014】このような論理回路が高速動作するために
は、クロック周期の時間(Tc)を短くしなくてはなら
ず、さらに上記の説明より、レジスタ間のデータ処理時
間(Td)はクロック周期よりも一層短い時間にしなく
てはならないことになる。
In order for such a logic circuit to operate at high speed, the clock cycle time (Tc) must be shortened. Further, from the above description, the data processing time (Td) between the registers is reduced by the clock cycle. You will have to spend less time.

【0015】次に、本実施の形態の設計支援システムに
ついて説明する。図2は、本実施の形態の設計支援シス
テムの構成および処理の流れを示すブロック図である。
設計支援システム20は、処理部として、第1の論理合
成部24、制約条件決定部27および第2の論理合成部
29を有する。
Next, a design support system according to the present embodiment will be described. FIG. 2 is a block diagram illustrating a configuration and a processing flow of the design support system according to the present embodiment.
The design support system 20 includes a first logic synthesis unit 24, a constraint condition determination unit 27, and a second logic synthesis unit 29 as processing units.

【0016】第1の論理合成部24は、入力されるHD
Lにより論理記述された回路情報21を、マッピングセ
ルライブラリ23を参照して論理合成し、解析用ネット
リスト25および論理合成結果レポート26を出力す
る。この際に、第1の論理合成部24は、クロック制約
データ22として提供される動作クロックに基づく情報
のみを制約情報として、論理合成を行う。
The first logic synthesizing section 24 receives the input HD
The circuit information 21 logically described by L is logically synthesized with reference to the mapping cell library 23, and an analysis netlist 25 and a logical synthesis result report 26 are output. At this time, the first logic synthesis unit 24 performs logic synthesis using only information based on the operation clock provided as the clock constraint data 22 as constraint information.

【0017】制約条件決定部27は、第1の論理合成部
24により生成された解析用ネットリスト25および論
理合成結果レポート26を解析して、所望の動作速度で
動作するような回路を論理合成により生成するための制
約条件を決定し、制約条件データ28として出力する。
The constraint condition determination unit 27 analyzes the analysis netlist 25 and the logic synthesis result report 26 generated by the first logic synthesis unit 24 and performs logic synthesis on a circuit that operates at a desired operation speed. The constraint condition to be generated is determined by the formula (1), and is output as the constraint condition data 28.

【0018】この制約条件決定部27における処理につ
いて、図3を参照して詳細に説明する。図3は、制約条
件決定部27におけるパスの制約条件の決定方法を説明
するためのフローチャートである。制約条件決定部27
においては、まず、第1の論理合成部24における論理
合成により生成された解析用ネットリスト25と結果レ
ポート26より、回路内部の全てのパスを抽出して、そ
の遅延時間を算出する(ステップS271)。次に、回
路の動作速度はパスの遅延時間の設計目標値となるた
め、動作速度が同じになる回路毎にパスを分離する(ス
テップS272)。これより同じクロック系に存在する
パスが明らかにできるため制約条件を与える範囲が限定
でき、論理合成時に制約条件の適用精度の向上につなが
る。
The processing in the constraint condition determining section 27 will be described in detail with reference to FIG. FIG. 3 is a flowchart for explaining a method of determining the constraint condition of the path in the constraint condition determination unit 27. Constraint condition determining unit 27
First, all paths in the circuit are extracted from the analysis netlist 25 generated by the logic synthesis in the first logic synthesis unit 24 and the result report 26, and the delay time is calculated (step S271). ). Next, since the operation speed of the circuit becomes the design target value of the delay time of the path, the path is separated for each circuit having the same operation speed (step S272). Thus, the paths existing in the same clock system can be clarified, so that the range in which the constraint condition is given can be limited, and the application accuracy of the constraint condition at the time of logic synthesis is improved.

【0019】次に、遅延時間が動作速度により規定され
る動作周期を越えているパスを選択し、パス内部のセル
のマッピング状態、遅延時間、および個々のセルの論理
動作にかかる処理時間を分析する(ステップS27
3)。この分析結果をもとにタイミング制約、負荷容量
制約、マッピングセルの使用制限の観点から論理合成に
おける制約条件を決定する(ステップS274)。同様
の処理を、条件を満たさない他のパスに対しても順次行
い、制約条件に追加していく(ステップS275)。そ
して、条件を満たさない高速最適化を適用する回路全て
に対して処理を行ったら、パス制約条件データを出力し
て処理を終了する(ステップS276)。
Next, a path whose delay time exceeds the operation cycle defined by the operation speed is selected, and the mapping state of the cells in the path, the delay time, and the processing time required for the logical operation of each cell are analyzed. (Step S27)
3). Based on the analysis result, the constraint condition in the logic synthesis is determined from the viewpoint of the timing constraint, the load capacity constraint, and the use restriction of the mapping cell (step S274). Similar processing is sequentially performed on other paths that do not satisfy the conditions, and the paths are added to the constraint conditions (step S275). Then, when the processing is performed on all the circuits to which the high-speed optimization that does not satisfy the condition is applied, the path constraint condition data is output, and the processing ends (step S276).

【0020】第2の論理合成部29は、第1の論理合成
部24と同様に、論理記述回路情報21を、マッピング
セルライブラリ23を参照して論理合成し、ネットリス
ト30および論理合成結果レポート26を出力する。こ
の際に、第2の論理合成部29は、制約条件決定部27
により生成された制約条件データ28を制約情報とし
て、論理合成を行う。なお、第2の論理合成部29の論
理合成のアルゴリズム、手法は、第1の論理合成部24
と同じである。
The second logic synthesizing unit 29 performs logic synthesis of the logic description circuit information 21 with reference to the mapping cell library 23, similarly to the first logic synthesis unit 24, and outputs a netlist 30 and a logic synthesis result report. 26 is output. At this time, the second logic synthesizing unit 29
The logic synthesis is performed using the constraint data 28 generated by the above as constraint information. The algorithm and method of the logic synthesis of the second logic synthesis unit 29 are the same as those of the first logic synthesis unit 24.
Is the same as

【0021】次に、設計支援システム20の動作および
設計支援システム20を用いた回路設計処理の流れにつ
いて、具体例を挙げて説明する。まず 最初に、回路性
能の見積もりをするための論理合成を第1の論理合成部
24により行う。この論理合成では論理記述回路情報2
1、クロック制約データ22およびマッピングセルライ
ブラリ23のみを用いて行う。この時のクロック制約デ
ータ22は、動作周波数を示すクロックの周期時間の設
定だけであり、回路特性の制約となるものは何も含まれ
ないものである。この第1の論理合成部24における論
理合成の結果に基づいて、生成される回路の基本的な動
作性能を把握することができる。すなわち、この見積も
り結果から、どのくらいの動作周波数が得られるのか、
そのためにどのくらいの遅延値を設定すればよいのかを
知ることができる。
Next, the operation of the design support system 20 and the flow of circuit design processing using the design support system 20 will be described with reference to specific examples. First, the first logic synthesis unit 24 performs logic synthesis for estimating circuit performance. In this logic synthesis, logic description circuit information 2
1. This is performed using only the clock constraint data 22 and the mapping cell library 23. The clock constraint data 22 at this time is only the setting of the cycle time of the clock indicating the operating frequency, and does not include anything that restricts the circuit characteristics. Based on the result of the logic synthesis in the first logic synthesis unit 24, the basic operation performance of the generated circuit can be grasped. In other words, from this estimation result, how much operating frequency can be obtained,
It is possible to know how much delay value should be set for that purpose.

【0022】そこで、制約条件決定部27においては、
まず、ステップS272において、第1の論理合成部2
4における論理合成により生成された解析用ネットリス
ト25と結果レポート26より、回路内部の全てのパス
を抽出して、その遅延時間を算出する。生成された回路
のパスの遅延時間は、たとえば図4に示すような分布で
表現することができる。なお、この回路は2系統のクロ
ックで動作しているものとし、T1、T2はその動作速
度、つまり動作目標時間を示す。
Therefore, in the constraint condition determining unit 27,
First, in step S272, the first logic synthesis unit 2
4, all paths in the circuit are extracted from the analysis netlist 25 generated by the logic synthesis and the result report 26, and the delay time is calculated. The delay time of the path of the generated circuit can be represented by a distribution as shown in FIG. 4, for example. This circuit is operated by two clocks, and T1 and T2 indicate the operation speed, that is, the operation target time.

【0023】図4に示す分布では、2つのクロック系が
混在した形でパスの遅延時間が分布している。この状態
でこれらのパスに遅延時間に制約を与えても、最適な制
約条件にはならない。そこで、ステップS272とし
て、これを動作目標時間(クロック周期)毎のパス群に
分解する。その結果、図5に示すように2つのクロック
系を分類して分布表示することができる。これを見ると
どのパスが動作目標に達していないかを明らかにでき
る。すなわち、図5(A)より、T1の目標時間に対し
ては、PATH3、7、11、12、13、14が遅延
時間条件を満たしておらず、パスの処理時間の短縮が必
要になる。T2も同様に考えると、図5(B)より、P
ATH1、2、5、8、16、19が制約違反をおこし
ていることがわかる。なお、パスの遅延時間が動作目標
時間内にあれば、高速最適化の対象にはならない。
In the distribution shown in FIG. 4, the delay time of the path is distributed in a form where two clock systems are mixed. In this state, even if constraints are imposed on the delay times of these paths, the optimal constraints will not be obtained. Therefore, in step S272, this is decomposed into a group of paths for each operation target time (clock cycle). As a result, the two clock systems can be classified and displayed as shown in FIG. By looking at this, it is possible to clarify which path has not reached the operation target. That is, as shown in FIG. 5A, for the target time of T1, PATH3, 7, 11, 12, 13, and 14 do not satisfy the delay time condition, and it is necessary to reduce the processing time of the path. Considering T2 in the same way, from FIG.
It can be seen that ATHs 1, 2, 5, 8, 16, and 19 violate constraints. Note that if the path delay time is within the operation target time, it is not a target of high-speed optimization.

【0024】クロック毎にパスが分解できたら、ステッ
プS273として、遅延時間が動作速度により規定され
る動作周期を越えているパスを選択し、そのパスがどの
ようなセルで構成されているのか、またそれぞれのセル
の遅延時間はどのくらいになるのかを結果レポート26
より分析する。たとえば、あるパスについて分析した結
果を図6に示す。なお、このパスの遅延時間は18.9
0nsecであり、動作目標は15.00nsecであ
る。
If the path can be decomposed for each clock, in step S273, a path whose delay time exceeds the operation cycle defined by the operation speed is selected, and what kind of cell constitutes the path is determined. Also, what is the delay time of each cell?
Analyze more. For example, FIG. 6 shows the result of analyzing a certain path. The delay time of this path is 18.9
0 nsec, and the operation target is 15.00 nsec.

【0025】次に、ステップS274として、この分析
結果をもとにタイミング制約、負荷容量制約、マッピン
グセルの使用制限の観点から論理合成における制約条件
を決定する。まず、タイミング制約は、図1で示したよ
うに、パスのデータ処理時間(Td)をクロック周期
(Tc)よりも短くなるように最大遅延値として設定す
る。そして、この最大遅延値は、見積もりをするために
第1の論理合成部24で行われた論理合成の結果をもと
にして、パスの処理が最短になるように決定する。たと
えば、図6に例示したパスについては、15nsecを
制約として与える。
Next, as step S274, based on the result of the analysis, a constraint condition in logic synthesis is determined from the viewpoint of a timing constraint, a load capacity constraint, and a limitation on the use of a mapping cell. First, as shown in FIG. 1, the timing constraint sets the data processing time (Td) of the path as the maximum delay value so as to be shorter than the clock cycle (Tc). Then, the maximum delay value is determined based on the result of the logic synthesis performed by the first logic synthesis unit 24 for estimation so that the processing of the path becomes the shortest. For example, for the path illustrated in FIG. 6, 15 nsec is given as a constraint.

【0026】負荷容量制約は、個々のセルの処理時間か
ら負荷遅延、駆動能力を見積もり、処理時間が最小とな
るように与える。図7に負荷容量制約条件を与える場合
の回路の例を示す。この回路においては、図7(A)に
示すように、レジスタ(REG)R0の出力Qは4つの
ノードに分岐して、4つの論理回路(Logic)L
0,L1,L2,L3にそれぞれ接続しており、ファン
アウトは4となっている。そのためR0の負荷容量は4
つのノードに分割され、ドライブ能力もレジスタR0の
出力ドライブの1/4になっている。
The load capacity constraint estimates the load delay and the driving capacity from the processing time of each cell and gives the processing time to be minimized. FIG. 7 shows an example of a circuit when a load capacity constraint condition is given. In this circuit, as shown in FIG. 7A, the output Q of the register (REG) R0 branches to four nodes, and the four logic circuits (Logic) L
0, L1, L2, L3, respectively, and the fan-out is 4. Therefore, the load capacity of R0 is 4
It is divided into two nodes, and the drive capacity is 1 / of the output drive of the register R0.

【0027】このような場合には、レジスタR0の出力
について、ファンアウトが1となるような負荷容量の制
約の指定を行う。そのような指定を行えば、図7(B)
に示すように、レジスタR0の出力がファンアウト1に
なるように、レジスタR0の出力部にバッファ(BU
F)が挿入される。このようにすれば、レジスタR0が
バッファBUFを十分高速にドライブすることができる
ようになり、また、バッファは適切なドライブ能力のも
のが選択されるが、通常は少なくともレジスタR0の出
力ドライブよりもドライブ能力は高いため、各論理回路
に対する出力も高速化される。また、レジスタR0〜レ
ジスタR01、レジスタR0〜レジスタR11、レジス
タR0〜レジスタR21、レジスタR0〜レジスタR3
1間のパスには、事前に最も条件の厳しいタイミング制
約が与えられているため、ドライブ能力を強化すれば、
図7の論理回路はさらに高速化する。
In such a case, with respect to the output of the register R0, the restriction of the load capacity so that the fan-out becomes 1 is specified. If such designation is made, FIG. 7 (B)
As shown in the figure, a buffer (BU) is provided at the output of the register R0 so that the output of the register R0 becomes the fan-out 1.
F) is inserted. In this way, the register R0 can drive the buffer BUF at a sufficiently high speed, and the buffer is selected to have an appropriate drive capacity, but is usually at least higher than the output drive of the register R0. Since the drive capability is high, the output to each logic circuit is also speeded up. Also, the registers R0 to R01, the registers R0 to R11, the registers R0 to R21, the registers R0 to R3
Since the most strict timing constraints are given to the path between 1 in advance, if the drive capacity is enhanced,
The speed of the logic circuit of FIG. 7 is further increased.

【0028】マッピングセルの使用制限は、本実施の形
態においては、これまで与えた制約条件でも最適化が実
現不可能な場合に制約条件の中にさらに加え、さらなる
高速最適化を図るものである。マッピングセルの使用制
限は、遅延時間に占める割合の大きいセルから順次制約
を与える。このような制約を加えると、論理合成処理で
は等価論理を維持するために、処理時間が高速なセルを
置換マッピングしようとしたり、あるいは等価な論理構
造を別のセルでマッピングするように試みる。そしてそ
の結果、タイミング制約や負荷容量の制約も同時に与え
られているためパス内部は全体的に高速セルによって構
成されることになる。
In the present embodiment, the restriction on the use of the mapping cell is intended to further increase the speed of optimization in addition to the constraints when optimization cannot be realized even with the constraints given so far. . The restriction on the use of the mapping cells imposes restrictions sequentially from cells having a large ratio to the delay time. When such a constraint is added, in the logic synthesis processing, in order to maintain the equivalent logic, an attempt is made to replace and map a cell with a short processing time or to map an equivalent logical structure with another cell. As a result, since the timing constraint and the load capacity constraint are also given at the same time, the inside of the path is entirely constituted by high-speed cells.

【0029】その決定方法について具体的に説明する。
図6においては、SL1204というセレクト機能を持
つセルを下線で、VF1003というバッファ機能を持
つセルをアスタリスクで表示した。図8は、図6で示し
たパスに存在するセルを、遅延時間の大きいものから順
に並べたものである。また、図9は、図8をもとにセル
別にパスの遅延時間の総和を算出したものである。図
8、図9からわかるように、SL1204およびVF1
003というセルが、図6に示したパスにおいて、遅延
時間に占める割合が大きいことがわかる。そこで、この
ような2つのセルに対して、使用を禁止するようなマッ
ピング制限制約を与える。
The determination method will be specifically described.
In FIG. 6, a cell having a select function of SL1204 is indicated by an underline, and a cell having a buffer function of VF1003 is indicated by an asterisk. FIG. 8 shows cells arranged in the path shown in FIG. 6 arranged in descending order of delay time. FIG. 9 shows the sum of the delay times of the paths calculated for each cell based on FIG. As can be seen from FIGS. 8 and 9, SL1204 and VF1
It can be seen that the cell 003 accounts for a large proportion of the delay time in the path shown in FIG. Therefore, a mapping restriction constraint that prohibits use of such two cells is given.

【0030】このような制約の決定を最適化対象となる
パス全てを満足するような制約になるまで繰り返し検討
を行う。ただし全てのパスにおいて同じ制約を与えても
条件を満たすことが困難な場合もあるので、その時は指
定パスに対してだけ有効な制約であってもよい。そし
て、最適化処理が必要な全てのパスに対して行うことに
より、制約条件決定部27における制約条件の決定処理
が終了し、制約条件データ28が生成される。
The determination of such constraints is repeatedly examined until the constraints satisfy all the paths to be optimized. However, there are cases where it is difficult to satisfy the condition even if the same constraint is given to all the paths. In this case, the constraint may be valid only for the designated path. By performing the optimization process on all the paths that need to be performed, the constraint condition determination process in the constraint condition determination unit 27 ends, and the constraint data 28 is generated.

【0031】そして、この制約条件データ28を、第2
の論理合成部29における論理合成時に与えてやると、
高速最適化されたネットリスト30を得ることができ
る。図6に示したパスに対して、前述したような種々の
制約を加えて論理合成を行った結果を、図10に示す。
図10に示すように、SL1204は別のセルで再構成
されており、VF1003はVF1004、VF100
6、VF1008の高速セルに置換されてパス内にマッ
ピングされていることがわかる。また、これらの制約に
より、結果的にパスの遅延時間は14.04nsecに
短縮され、設計目標である15.00nsecの条件を
満たしており高速最適化がなされたことがわかる。
The constraint data 28 is stored in the second
Given at the time of logic synthesis in the logic synthesis unit 29 of
A high-speed optimized netlist 30 can be obtained. FIG. 10 shows the result of performing logic synthesis on the path shown in FIG. 6 with the various restrictions described above.
As shown in FIG. 10, the SL 1204 has been reconfigured with another cell, and the VF 1003 has VF 1004, VF 100
6. It can be seen that the high-speed cell of the VF 1008 is replaced and mapped in the path. In addition, due to these restrictions, as a result, the path delay time is reduced to 14.04 nsec, which satisfies the design target of 15.00 nsec, indicating that high-speed optimization has been performed.

【0032】なお、遅延値などの修正は、ネットリスト
30と一緒に出力される論理合成結果レポート31を参
考にして、制約条件データ28を調整すればよい。
The correction of the delay value and the like may be performed by adjusting the constraint condition data 28 with reference to the logic synthesis result report 31 output together with the netlist 30.

【0033】このように、本実施の形態の設計支援シス
テム20においては、従来、論理合成と論理合成前後の
論理回路データの修正作業で行っていた高速化処理を、
最終的に論理合成処理のみで扱えるようになった。その
ため、設計過程でこの修正作業に費やしていた工数を大
幅に削減することができる。また、人手による処理が不
要になり、人為的なミスがなくなり、回路品質を向上さ
せることができる。さらに、設計支援システム20によ
り生成された回路データは、人為的な修正もなくCAD
による再現性をもつことから、設計データの資産化が可
能になり、たとえばこれを他設計へ流用することも可能
になる。また規模が大きく、高速化が困難だった回路に
ついても、設計支援システム20により高速化を図るこ
とができる。さらに高速化処理以外にも論理合成の過程
において最も作業時間のかかっていたタイミング制約の
最適化処理においても、設計支援システム20によるア
プローチが適用可能であり、設計過程でタイミング最適
化に要する工数の短縮にも効果を有する。
As described above, in the design support system 20 according to the present embodiment, the high-speed processing which has conventionally been performed in the logic synthesis and the correction of the logic circuit data before and after the logic synthesis is performed.
Eventually, it could be handled only by logic synthesis processing. Therefore, the man-hours spent for this correction work in the design process can be significantly reduced. In addition, manual processing is not required, human error is eliminated, and circuit quality can be improved. Further, the circuit data generated by the design support system 20 is CAD
, The design data can be capitalized. For example, it can be used for other designs. In addition, the design support system 20 can increase the speed of a circuit which is large and whose speed has been difficult to increase. In addition to the speed-up processing, the approach by the design support system 20 can be applied to the optimization processing of the timing constraint that took the most work time in the logic synthesis process, and the man-hour required for the timing optimization in the design process is reduced. It is also effective for shortening.

【0034】なお、本発明は、本実施の形態に限られる
ものではなく任意好適な種々の改変が可能である。たと
えば、設計支援システム20の構成は、通常のワークス
テーションなどの汎用計算機システム上にソフトウェア
により構成してもよいし、専用のハードウェアにより構
成してもよい。また、論理合成の具体的な方法、アルゴ
リズムなどは任意の方法でよい。一般的に用いられてい
る論理合成ツールを用いてよい。
Note that the present invention is not limited to the present embodiment, and various suitable modifications are possible. For example, the configuration of the design support system 20 may be configured by software on a general-purpose computer system such as an ordinary workstation, or may be configured by dedicated hardware. Further, a specific method of logic synthesis, an algorithm, or the like may be an arbitrary method. A generally used logic synthesis tool may be used.

【0035】また、設計する回路の内容には何ら限定さ
れるものではなく、任意の回路の設計に適用することが
できる。また、製造する半導体集積回路のデザインルー
ルなどの製造条件などに何ら依存するものではない。そ
の製造条件などに基づいて用意されたマッピングセルラ
イブラリを利用することにより、任意の半導体集積回路
の設計に適用可能である。
The contents of the circuit to be designed are not limited at all, and can be applied to the design of an arbitrary circuit. Further, it does not depend on the manufacturing conditions such as the design rule of the semiconductor integrated circuit to be manufactured. By using a mapping cell library prepared based on the manufacturing conditions and the like, it can be applied to the design of an arbitrary semiconductor integrated circuit.

【0036】[0036]

【発明の効果】このように、本発明によれば、論理回路
記述やネットリストの変更が不要で、大規模で複雑な回
路においても回路変更や修正を短時間で効率よく行い、
回路全体の高速最適化を論理合成により適切に行うこと
ができる回路設計方法および設計支援装置を提供するこ
とができる。
As described above, according to the present invention, there is no need to change the logic circuit description or the netlist, and even in a large-scale and complicated circuit, the circuit can be changed and modified efficiently in a short time.
It is possible to provide a circuit design method and a design support device capable of appropriately performing high-speed optimization of an entire circuit by logic synthesis.

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

【図1】図1は、論理回路の基本的な構成を説明するた
めの図である。
FIG. 1 is a diagram for explaining a basic configuration of a logic circuit.

【図2】図2は、本発明の一実施の形態の設計支援シス
テムの構成および処理の流れを示すブロック図である。
FIG. 2 is a block diagram illustrating a configuration and a processing flow of the design support system according to the embodiment of the present invention;

【図3】図3は、図2に示した設計支援システムの制約
条件決定部における制約条件の決定方法を説明するため
のフローチャートである。
FIG. 3 is a flowchart for explaining a method of determining a constraint condition in a constraint condition determining unit of the design support system shown in FIG. 2;

【図4】図4は、図2に示した設計支援システムの第1
の論理合成部における論理合成の結果の、パスの遅延時
間の分布を示す図である。
FIG. 4 is a first view of the design support system shown in FIG. 2;
FIG. 10 is a diagram illustrating a distribution of delay times of paths as a result of logic synthesis in the logic synthesis unit of FIG.

【図5】図5は、図4に示したパスを動作周波数ごとに
分けてその遅延時間の分布を示した図である。
FIG. 5 is a diagram showing the distribution of delay times of the path shown in FIG. 4 for each operating frequency.

【図6】図6は、図2に示した設計支援システムの第1
の論理合成部における論理合成の結果のあるパスのパス
構造とその遅延時間を示す図である。
FIG. 6 is a first view of the design support system shown in FIG. 2;
3 is a diagram showing a path structure of a path having a result of logic synthesis in a logic synthesis unit of FIG.

【図7】図7は、図3に示した制約条件の決定の際の負
荷容量制約条件の付与を説明するための回路例を示す図
である。
FIG. 7 is a diagram illustrating an example of a circuit for explaining assignment of a load capacity constraint condition when determining the constraint condition illustrated in FIG. 3;

【図8】図8は、図6で示したパスに存在するセルを、
遅延時間の大きいものから順に示した図である。
FIG. 8 shows cells existing in the path shown in FIG. 6;
It is a figure shown in order from the thing with a large delay time.

【図9】図9は、図6に示したパスに存在するセルにつ
いて、図8に基づいて、セル別のパスの遅延時間の総和
を示す図である。
FIG. 9 is a diagram illustrating a sum of delay times of paths for each cell based on FIG. 8 for cells existing on the path illustrated in FIG. 6;

【図10】図10は、図6に示したパスに最適化を行っ
た後のパス構造とその遅延時間を示す図である。
FIG. 10 is a diagram illustrating a path structure after optimizing the path illustrated in FIG. 6 and a delay time thereof.

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

11…入力段レジスタ、12…組み合わせ論理、13…
出力段レジスタ、20…設計支援システム、21…論理
記述回路情報、22…クロック制約データ、23…マッ
ピングセルライブラリ、24…第1の論理合成部、25
…解析用ネットリスト、26…論理合成結果レポート、
27…制約条件決定部、28…制約条件データ、29…
第2の論理合成部、30…ネットリスト、31…論理合
成結果レポート
11 ... input stage register, 12 ... combinational logic, 13 ...
Output stage register, 20 design support system, 21 logic description circuit information, 22 clock constraint data, 23 mapping cell library, 24 first logic synthesis unit, 25
... Analysis netlist, 26 ... Logic synthesis result report,
27 ... constraint condition determination unit, 28 ... constraint condition data, 29 ...
Second logic synthesis unit, 30 ... net list, 31 ... logic synthesis result report

Claims (7)

【特許請求の範囲】[Claims] 【請求項1】入力した論理回路記述に対して論理合成を
行って所望の回路を生成し、 前記生成された回路より、1周期内に信号処理が行われ
るべき区間ごとのパスを抽出し、 前記抽出されたパスごとの処理時間を含む、前記生成さ
れた回路の特性を検出し、 前記検出の結果に基づいて決定される論理合成時の条件
に基づいて、前記論理回路記述に対して再度論理合成を
行って、所望の特性を有する回路を生成する回路設計方
法。
1. A logic circuit is synthesized with respect to an input logic circuit description to generate a desired circuit, and a path for each section in which signal processing is to be performed within one cycle is extracted from the generated circuit. Detecting the characteristic of the generated circuit including the processing time for each extracted path, based on the condition at the time of logic synthesis determined based on the result of the detection, A circuit design method for performing logic synthesis to generate a circuit having desired characteristics.
【請求項2】前記回路の特性の検出は、前記抽出された
パスより、当該パスの前記処理時間が当該パスの動作周
期より長いパスを検出する処理を含み、 前記再度の論理合成は、前記検出されたパスの処理時間
が当該パスの動作周期内になるように設定された条件に
基づいて行う請求項1に記載の回路設計方法。
2. The method according to claim 1, wherein detecting the characteristic of the circuit includes detecting, from the extracted path, a path whose processing time of the path is longer than the operation cycle of the path. 2. The circuit design method according to claim 1, wherein the processing is performed based on a condition set so that a processing time of the detected path is within an operation cycle of the path.
【請求項3】前記再度の論理合成時の条件は、セルの負
荷容量の指定および使用セルの指定を含む条件である請
求項2に記載の回路設計方法。
3. The circuit design method according to claim 2, wherein the condition at the time of the second logic synthesis is a condition including designation of a load capacity of a cell and designation of a cell to be used.
【請求項4】入力した論理回路記述に対して論理合成を
行って所望の回路を生成する第1の論理合成手段と、 前記生成された回路より、1周期内に信号処理が行われ
るべき区間ごとのパスを抽出するパス抽出手段と、 前記抽出されたパスごとの処理時間を含む、前記生成さ
れた回路の特性を検出する特性検出手段と、 前記検出の結果に基づいて決定され入力される論理合成
時の条件に基づいて、前記論理回路記述に対して再度論
理合成を行って、所望の特性を有する回路を生成する第
2の論理合成手段とを有する設計支援装置。
4. A first logic synthesis means for performing logic synthesis on an input logic circuit description to generate a desired circuit, and a section in which signal processing is to be performed within one cycle by the generated circuit. Path extraction means for extracting a path for each path; characteristic detection means for detecting a characteristic of the generated circuit including a processing time for each of the extracted paths; determined and input based on a result of the detection A second logic synthesis means for performing logic synthesis on the logic circuit description again based on a condition at the time of logic synthesis to generate a circuit having desired characteristics.
【請求項5】前記特性検出手段は、前記抽出されたパス
より、当該パスの前記処理時間が当該パスの動作周期よ
り長いパスを検出し、 前記第2の論理合成手段は、前記検出されたパスの処理
時間が当該パスの動作周期内になるように設定された条
件に基づいて行う請求項4に記載の設計支援装置。
5. The characteristic detecting means detects, from the extracted paths, a path in which the processing time of the path is longer than the operation cycle of the path, and the second logic synthesizing means detects the detected path. The design support apparatus according to claim 4, wherein the processing is performed based on a condition set so that a processing time of the path is within an operation cycle of the path.
【請求項6】前記再度の論理合成時の条件は、セルの負
荷容量の指定および使用セルの指定を含む条件である請
求項5に記載の設計支援装置。
6. The design support apparatus according to claim 5, wherein the condition at the time of the second logic synthesis is a condition including designation of a load capacity of a cell and designation of a cell to be used.
【請求項7】前記第1の論理合成手段は、予め用意され
たセルライブラリを参照し、前記入力した論理回路記述
に対して、動作クロックに基づく条件のみに基づいて論
理合成を行う請求項4に記載の設計支援装置。
7. The logic synthesis means according to claim 4, wherein the first logic synthesis means refers to a cell library prepared in advance and performs logic synthesis on the input logic circuit description based only on a condition based on an operation clock. 3. The design support device according to 1.
JP10284374A 1998-10-06 1998-10-06 Circuit designing method and design supporting device Pending JP2000113019A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP10284374A JP2000113019A (en) 1998-10-06 1998-10-06 Circuit designing method and design supporting device

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP10284374A JP2000113019A (en) 1998-10-06 1998-10-06 Circuit designing method and design supporting device

Publications (1)

Publication Number Publication Date
JP2000113019A true JP2000113019A (en) 2000-04-21

Family

ID=17677766

Family Applications (1)

Application Number Title Priority Date Filing Date
JP10284374A Pending JP2000113019A (en) 1998-10-06 1998-10-06 Circuit designing method and design supporting device

Country Status (1)

Country Link
JP (1) JP2000113019A (en)

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6654939B2 (en) 2001-06-20 2003-11-25 Mitsubishi Denki Kabushiki Kaisha Method of designing logic circuit, and computer product
JP2014021573A (en) * 2012-07-13 2014-02-03 International Business Maschines Corporation Method for optimizing netlist used in logic circuit design for semiconductor integrated circuit; device for assisting in logic circuit design using the same method; and computer program that can be executed on the same
JP2016105252A (en) * 2014-12-01 2016-06-09 株式会社ソシオネクスト Design method, design apparatus, and program

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6654939B2 (en) 2001-06-20 2003-11-25 Mitsubishi Denki Kabushiki Kaisha Method of designing logic circuit, and computer product
JP2014021573A (en) * 2012-07-13 2014-02-03 International Business Maschines Corporation Method for optimizing netlist used in logic circuit design for semiconductor integrated circuit; device for assisting in logic circuit design using the same method; and computer program that can be executed on the same
JP2016105252A (en) * 2014-12-01 2016-06-09 株式会社ソシオネクスト Design method, design apparatus, and program

Similar Documents

Publication Publication Date Title
US7020856B2 (en) Method for verifying properties of a circuit model
US7958470B1 (en) Method and system for false path analysis
US7076748B2 (en) Identification and implementation of clock gating in the design of integrated circuits
Benini et al. Telescopic units: A new paradigm for performance optimization of VLSI designs
US20070276645A1 (en) Power modelling in circuit designs
US7519939B2 (en) Method and program for supporting register-transfer-level design of semiconductor integrated circuit
US6457159B1 (en) Functional timing analysis for characterization of virtual component blocks
CN104573169A (en) Methods and tools for designing integrated circuits with auto-pipelining capabilities
US20090132984A1 (en) Optimal Flow In Designing A Circuit Operable In Multiple Timing Modes
WO2005119530A2 (en) Method and apparatus for fixing hold time violations in a circuit design
WO2002101600A2 (en) Method for generating design constraints for modulates in a hierarchical integrated circuit design system
US20050097484A1 (en) Method for clock synchronization validation in integrated circuit design
JP2015524589A (en) Relative timing characterization
JP2003526149A (en) Method and apparatus for verifying critical path and false path
CN112069763B (en) Method of correcting the circuit
US20080201671A1 (en) Method for generating timing exceptions
US7240311B2 (en) Combinational equivalence checking methods and systems with internal don't cares
US7194715B2 (en) Method and system for performing static timing analysis on digital electronic circuits
US7191417B1 (en) Method and apparatus for optimization of digital integrated circuits using detection of bottlenecks
US7100140B2 (en) Generation of graphical congestion data during placement driven synthesis optimization
US6532577B1 (en) Timing driven interconnect analysis
JP2000113019A (en) Circuit designing method and design supporting device
US8959467B2 (en) Structural rule analysis with TCL scripts in synthesis or STA tools and integrated circuit design tools
JPH09282341A (en) Method and device for designing layout of lsi
Neumann et al. Layout driven retiming using the coupled edge timing model