JP2845478B2 - Logic circuit delay time analyzer - Google Patents

Logic circuit delay time analyzer

Info

Publication number
JP2845478B2
JP2845478B2 JP1042945A JP4294589A JP2845478B2 JP 2845478 B2 JP2845478 B2 JP 2845478B2 JP 1042945 A JP1042945 A JP 1042945A JP 4294589 A JP4294589 A JP 4294589A JP 2845478 B2 JP2845478 B2 JP 2845478B2
Authority
JP
Japan
Prior art keywords
delay time
paths
logic circuit
path
critical
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 - Lifetime
Application number
JP1042945A
Other languages
Japanese (ja)
Other versions
JPH02224070A (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.)
Toshiba Corp
Original Assignee
Toshiba 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 Toshiba Corp filed Critical Toshiba Corp
Priority to JP1042945A priority Critical patent/JP2845478B2/en
Publication of JPH02224070A publication Critical patent/JPH02224070A/en
Application granted granted Critical
Publication of JP2845478B2 publication Critical patent/JP2845478B2/en
Anticipated expiration legal-status Critical
Expired - Lifetime legal-status Critical Current

Links

Description

【発明の詳細な説明】 〔発明の目的〕 (産業上の利用分野) 本発明は、デジタル・システムの論理回路の遅延時間
解析装置、特に論理回路の遅延時間が期待値より大きい
場合にその原因となっている回路部分を検出する論理回
路の遅延時間解析装置に関する。
DETAILED DESCRIPTION OF THE INVENTION [Object of the Invention] (Industrial application field) The present invention relates to an apparatus for analyzing a delay time of a logic circuit of a digital system, in particular, when the delay time of the logic circuit is larger than an expected value. The present invention relates to a delay time analysis device for a logic circuit that detects a circuit portion described as follows.

(従来の技術) 論理回路の設計においては、論理的な機能のみではな
く、さらに遅延時間に関する設計上の制約(以下タイミ
ング制約と呼ぶ)を満たすように設計する必要がある。
このため、設計した論理回路が正しく動作するか否かの
検証は、一般に論理シミュレーション等による機能検証
に加え、タイミング制約を満たしているか否かを検証す
るタイミング検証も行われる。タイミング検証で検証す
べき項目には、フリップ・フロップのセットアップ時間
やホールド時間を満たしていること、クロック信号にハ
ザードが生じていないこと、組合せ回路部分の最大の遅
延時間がクロックの周期等の期待値以下という制約を満
たしていること等があるが、以下の記述はこのうちの組
合せ回路部分の最大の遅延時間のタイミング検証(以下
遅延時間解析と呼ぶ)に関するものである。
(Prior Art) In the design of a logic circuit, it is necessary to design not only a logical function but also a design constraint on a delay time (hereinafter referred to as a timing constraint).
For this reason, verification of whether or not the designed logic circuit operates correctly generally includes not only function verification by logic simulation or the like but also timing verification for verifying whether timing constraints are satisfied. Items to be verified in the timing verification include expectation that the setup time and hold time of the flip-flop are satisfied, that there is no hazard in the clock signal, and that the maximum delay time of the combinational circuit is the clock cycle. The following description relates to the timing verification of the maximum delay time of the combinational circuit portion (hereinafter referred to as delay time analysis).

従来、遅延時間解析ではパス列挙法(例えば、M.A.Wo
ld著:“Design Verification and Performance Analys
is",15th Design Automation Conference,p264−270,19
78)やPERTに基ずく方法(例えば、R.B.Hitchcock他
著:“Timing Analysis of Computer Hardware",IBM J.
RES.DEVELOP.,vol.26 no.1,p100−105,1982)等による
遅延時間算出ツールを用いて組み合わせ回路の遅延時間
を算出していた。その結果、遅延時間が期待値を越える
信号経路(このような信号経路を以下クリティカルパス
と呼ぶ)が存在した場合には、設計者がクリティカルパ
ス上の論理を解析し遅延時間が期待値以下となるように
論理回路を修正(以下タイミング修正と呼ぶ)してい
た。
Conventionally, path enumeration (eg, MAWo
by ld: “Design Verification and Performance Analys
is ", 15th Design Automation Conference, p264−270,19
78) and methods based on PERT (eg, RBHitchcock et al .: "Timing Analysis of Computer Hardware", IBM J.
RES. DEVELOP., Vol. 26 no. 1, p100-105, 1982), etc., to calculate the delay time of the combinational circuit. As a result, if there is a signal path whose delay time exceeds the expected value (such a signal path is hereinafter referred to as a critical path), the designer analyzes the logic on the critical path and determines that the delay time is less than the expected value. The logic circuit has been modified (hereinafter referred to as “timing modification”).

タイミング修正は、一般にクリティカルスの原因とな
っている部分回路を見つけ、その部分回路に対して回路
をより高速で動作するように修正することにより解決出
来る。しかし、従来の遅延時間算出ツールを用いた遅延
時間解析では、前記部分回路を自動的に検出できないた
め、設計者がクリティカルパス上の論理を解析して部分
回路を見つける必要があり、特に論理の段数が多い場合
にはクリティカルパス上の論理を解析しクリティカルパ
スの原因となっている部分回路を見つけることは困難で
あり、この結果タイミング修正には長時間を要するとい
う問題があった。
The timing correction can be generally solved by finding a partial circuit causing the criticality and correcting the partial circuit so that the circuit operates at higher speed. However, in the delay time analysis using the conventional delay time calculation tool, the partial circuit cannot be automatically detected. Therefore, it is necessary for the designer to analyze the logic on the critical path to find the partial circuit. When the number of stages is large, it is difficult to analyze the logic on the critical path and find the partial circuit that is causing the critical path, and as a result, there is a problem that it takes a long time to correct the timing.

(発明が解決しようとする課題) この様に従来に遅延時間解析装置では、クリティカル
パスの原因となっている部分回路を自動的に検出できな
いため、設計者にとっては大きな負担となっていた。
(Problems to be Solved by the Invention) As described above, the conventional delay time analysis apparatus cannot automatically detect a partial circuit that causes a critical path, and thus places a heavy burden on a designer.

本発明は上記の問題点に鑑みてなされたものであり、
遅延時間解析においてクリティカルパスが存在した場
合、その原因となっているような部分回路を容易に発見
できるようにし、設計効率の向上を目的とする。
The present invention has been made in view of the above problems,
When a critical path exists in the delay time analysis, it is possible to easily find a partial circuit that causes the critical path and improve the design efficiency.

〔発明の構成〕[Configuration of the invention]

(課題を解決するための手段) 本発明の遅延時間解析装置は、論理回路中の信号伝播
経路とその遅延時間とを求める遅延時間算出手段を有す
る遅延時間解析装置において、前記論理回路の遅延時間
が期待値よりも大きいクリティカル・パスが複数経路存
在している場合に、各素子に対してその素子を含むクリ
ティカル・パスの経路数を算出する経路数算出手段と、
経路数の範囲を指定する経路数指定手段と、前記経路数
算出手段により算出した経路数が前記経路数指定手段に
より指定された経路数の範囲に含まれる素子を検出する
素子検出手段とを有することを特徴としている。
(Means for Solving the Problems) A delay time analysis device according to the present invention is a delay time analysis device having delay time calculation means for obtaining a signal propagation path in a logic circuit and its delay time. When there are a plurality of critical paths larger than the expected value, a path number calculating unit that calculates the number of paths of the critical path including the element for each element,
A path number specifying unit that specifies a range of the number of paths; and an element detecting unit that detects an element whose number of paths calculated by the path number calculating unit is included in the range of the number of paths specified by the path number specifying unit. It is characterized by:

(作 用) 上記構成の本発明においては、遅延時間が期待値より
も大きいクリティカルパスが複数経路存在した場合に、
まず経路数算出手段が論理回路中の各素子に対しその素
子を含むようなクリティカルパスの数(経路数)を算出
し、次に素子検出手段が前記経路数算出手段により算出
した各素子の経路数が経路数指定手段により指定された
経路数の範囲に含まれるか否かを比較し、経路数の範囲
に含まれる素子を検出し出力する。
(Operation) In the present invention having the above configuration, when a plurality of critical paths exist whose delay time is longer than an expected value,
First, the number-of-paths calculating means calculates the number of critical paths (the number of paths) for each element in the logic circuit including the element, and then the element detecting means calculates the path of each element calculated by the number-of-paths calculating means. Whether the number is included in the range of the number of paths specified by the number-of-paths specifying means is compared, and elements included in the range of the number of paths are detected and output.

このようにして、クリティカルパスの原因となる部分
回路の候補を自動的に検出することにより、タイミング
修正に要する時間を短縮し、設計効率を向上させること
ができる。
In this manner, by automatically detecting a partial circuit candidate that causes a critical path, the time required for timing correction can be reduced, and design efficiency can be improved.

(実施例) 以下、本発明の一実施例について図面を参照して説明
する。
Hereinafter, an embodiment of the present invention will be described with reference to the drawings.

第1図は本実施例に係わる遅延時間解析装置の構成を
示すブロック図である。この装置は、遅延時間算出部1
と、経路数算出部2と、経路数指定部3と、素子検出部
4と、論理回路データ記憶部5、クリティカルパス・デ
ータ記憶部6とにより構成されている。遅延時間解析の
対象となる論理回路は、論理回路データ記憶部5に格納
されている。遅延時間算出部1は、論理回路データ中の
各信号経路の遅延時間を計算し、遅延時間算出の結果ク
リティカルパスが存在した場合には、その信号経路と遅
延時間とをクリティカルパス・データ記憶部6に格納す
る。経路数算出部2は、遅延時間算出の結果クリティカ
ルパスが複数経路存在した場合には、論理回路中の各素
子に対しその素子を含むようなクリティカルパスの数
(経路数)を算出し、論理回路データ記憶部5に格納す
る。経路数指定部3は、キーボード等の入力装置から経
路数の指定情報を受け、これを記憶する。素子検出部4
は、論理回路データ記憶部5に格納されている経路数算
出部2により算出した各論理素子の経路数と経路数指定
部3に格納されている経路数の指定情報とを比較し、経
路数が経路数指定情報により指定された範囲の値となっ
ている場合には、その論理素子の素子名を出力する。
FIG. 1 is a block diagram showing a configuration of a delay time analyzing apparatus according to the present embodiment. This device includes a delay time calculating unit 1
, A path number calculation unit 2, a path number designation unit 3, an element detection unit 4, a logic circuit data storage unit 5, and a critical path data storage unit 6. The logic circuit to be subjected to the delay time analysis is stored in the logic circuit data storage unit 5. The delay time calculation unit 1 calculates the delay time of each signal path in the logic circuit data, and if there is a critical path as a result of the delay time calculation, stores the signal path and the delay time in the critical path data storage unit. 6 is stored. When a plurality of critical paths exist as a result of the delay time calculation, the number-of-paths calculation unit 2 calculates the number of critical paths (the number of paths) for each element in the logic circuit that includes the element, and It is stored in the circuit data storage unit 5. The number-of-paths designation unit 3 receives designation information of the number of paths from an input device such as a keyboard and stores the information. Element detector 4
Compares the number of paths of each logic element calculated by the number-of-paths calculation unit 2 stored in the logic-circuit-data storage unit 5 with the specification information of the number of paths stored in the number-of-paths specification unit 3, and Is in the range specified by the path number specification information, the element name of the logical element is output.

いま、第2図に示す論理回路の遅延時間解析を行う場
合を例にとって説明する。第2図中G1〜G12は素子名、S
1〜S19は信号線名、A〜Hは入出力端子をそれぞれ示し
ている。また、ここで素子G1〜G4はNOTゲート、素子G5
はNORゲート、素子G6〜G10はANDゲート、素子G11はNAND
ゲート、素子G12はEXORゲートである。この論理回路デ
ータは、第3図(a)(b)に示す形式で論理回路デー
タ記憶部5に格納されている。ここで、論理回路データ
は、素子テーブルと信号テーブルとからなっている。素
子テーブルは、各論理素子毎に素子名,素子の種類,端
子,端子に接続されている信号線名が格納されており、
信号テーブルは、各信号毎に信号線名,ソース(信号線
の始点)の素子名と端子、デスティネーション(信号線
の終点)の素子名と端子が格納されている。また、素子
テーブルには算出される経路数を格納するための領域も
確保されている。
Now, a case where the delay time analysis of the logic circuit shown in FIG. 2 is performed will be described as an example. In FIG. 2, G1 to G12 are element names, S
1 to S19 indicate signal line names, and A to H indicate input / output terminals. Here, elements G1 to G4 are NOT gates, and element G5
Is a NOR gate, elements G6 to G10 are AND gates, element G11 is NAND
The gate, element G12, is an EXOR gate. The logic circuit data is stored in the logic circuit data storage unit 5 in the format shown in FIGS. Here, the logic circuit data includes an element table and a signal table. The element table stores element names, element types, terminals, and names of signal lines connected to the terminals for each logical element.
The signal table stores, for each signal, a signal line name, an element name and terminal of a source (start point of a signal line), and an element name and terminal of a destination (end point of a signal line). In addition, an area for storing the calculated number of paths is secured in the element table.

この論理回路データに対する処理は次のように行われ
る。遅延時間算出部1は、パス列挙法により論理回路デ
ータ中の各信号経路の遅延時間を計算し、遅延時間算出
の結果クリティカルパスが存在した場合には、その信号
経路と遅延時間とをクリティカルパス・データ記憶部6
に格納する。(以下では、簡単のため信号線の容量等に
伴う遅延時間は無視する。)各論理素子の遅延時間が第
4図のように与えられ、許容される遅延時間が20〔ns〕
であるとすると、クリティカルパス・データは第5図の
ように算出される。経路数算出部2は、遅延時間算出の
結果クリティカルパスが複数存在した場合には、第6図
に示す処理フローに従い、論理回路中の各素子に対しそ
の素子を含むようなクリティカルパスの数(経路数)を
算出する。結果の論理回路データ記憶部5の素子テーブ
ル中の経路数の内容を第7図に示す。
The processing for the logic circuit data is performed as follows. The delay time calculation unit 1 calculates the delay time of each signal path in the logic circuit data by the path enumeration method, and if a critical path exists as a result of the delay time calculation, compares the signal path and the delay time with the critical path. .Data storage unit 6
To be stored. (Hereinafter, for the sake of simplicity, the delay time associated with the capacitance of the signal line is ignored.) The delay time of each logic element is given as shown in FIG. 4, and the allowable delay time is 20 [ns].
, The critical path data is calculated as shown in FIG. If there are a plurality of critical paths as a result of the delay time calculation, the number-of-paths calculating unit 2 determines the number of critical paths (including the element) for each element in the logic circuit according to the processing flow shown in FIG. (The number of routes). FIG. 7 shows the contents of the number of paths in the element table of the resulting logic circuit data storage unit 5.

次に、経路数の範囲として経路数5以上を指定したと
すると、経路数指定部3は“GE.5"を記憶し、素子検出
部4に出力する。素子検出部4は、第7図に示した素子
テーブル中の各素子(入力端子,出力端子は除く)に対
し経路数が5以上であるか否かを比較し、経路数が5以
上の素子の素子名を出力する。この場合、“G3,G6,G7,G
8,G9,G10,G11"が出力される。この内、G10以外の素子
は、部分回路を構成しているので、この部分回路(第2
図の破線で囲んだ部分)クリティカルパスの原因となっ
ていることが推測できる。第2図で示した論理回路の破
線部分に着目してタイミング修正を行い、例えば第8図
のように論理回路を修正することにより、クリティカル
パスを含まないようにすることができる。
Next, assuming that the number of paths is 5 or more as the range of the number of paths, the number-of-paths specifying unit 3 stores “GE.5” and outputs it to the element detecting unit 4. The element detecting unit 4 compares each element (excluding the input terminal and the output terminal) in the element table shown in FIG. The element name of is output. In this case, “G3, G6, G7, G
8, G9, G10, G11 ". Among these, the elements other than G10 constitute a partial circuit, and therefore, this partial circuit (second
It can be guessed that it is the cause of the critical path. By adjusting the timing by focusing on the broken line portion of the logic circuit shown in FIG. 2, for example, by modifying the logic circuit as shown in FIG. 8, it is possible to exclude the critical path.

なお、本発明は上述した実施例に限定されるものでは
ない。例えば、上記実施例では、クリティカルパスの原
因となっている部分回路の候補を検出した場合に素子名
を出力しているが、論理回路図エディタを使用して回路
図面上でこの部分回路を示すようにしても良い。
The present invention is not limited to the embodiments described above. For example, in the above embodiment, the element name is output when the candidate of the partial circuit causing the critical path is detected. However, this partial circuit is indicated on the circuit diagram using the logic circuit diagram editor. You may do it.

〔発明の効果〕〔The invention's effect〕

以上述べたように、本発明によれば論理回路タイミン
グ検証において、クリティカルパスが存在した場合にそ
の原因となっている部分回路の候補を自動的に検出で
き、タイミング修正の作業を効率的に行うことができ
る。
As described above, according to the present invention, in the logic circuit timing verification, when a critical path exists, a partial circuit candidate causing the critical path can be automatically detected, and the timing correction work can be performed efficiently. be able to.

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

第1図は本発明の一実施例による遅延時間解析装置のブ
ロック図、第2図は遅延時間解析を行う論理回路の一例
を示す図、第3図は第2図に示した論理回路の論理回路
データを示す図、第4図は各素子の遅延時間を示す図、
第5図は第2図に示した論理回路の各信号経路に対して
遅延時間の算出を行ないクリティカルパスを求めた結果
の図、第6図は経路数算出部の処理フロー、第7図は経
路数算出部の処理結果の経路数を示す図、第8図は素子
検出部の出力結果として得られた部分回路に対しタイミ
ング修正を行った結果の論理回路図である。 1……遅延時間算出部、2……経路数算出部 3……経路数指定部、4……素子検出部 5……論理回路データ記憶部 6……クリティカルパス・データ記憶部
FIG. 1 is a block diagram of a delay time analyzing apparatus according to an embodiment of the present invention, FIG. 2 is a diagram showing an example of a logic circuit for performing delay time analysis, and FIG. 3 is a logic diagram of the logic circuit shown in FIG. FIG. 4 is a diagram showing circuit data, FIG. 4 is a diagram showing a delay time of each element,
FIG. 5 is a diagram showing a result of calculating a delay time for each signal path of the logic circuit shown in FIG. 2 to obtain a critical path, FIG. 6 is a processing flow of a path number calculation unit, and FIG. FIG. 8 is a diagram showing the number of paths as a processing result of the number-of-paths calculating section. FIG. 8 is a logic circuit diagram of a result obtained by performing timing correction on a partial circuit obtained as an output result of the element detecting section. DESCRIPTION OF SYMBOLS 1 ... Delay time calculation part, 2 ... Number of paths calculation part 3 ... Number of paths designation part, 4 ... Element detection part 5 ... Logic circuit data storage part 6 ... Critical path data storage part

Claims (1)

(57)【特許請求の範囲】(57) [Claims] 【請求項1】論理回路中の信号伝播経路とその遅延時間
とを求める遅延時間算出手段を有する遅延時間解析装置
において、前記論理回路の遅延時間が期待値よりも大き
いクリティカル・パスが複数経路存在している場合に、
各素子に対してその素子を含むクリティカル・パスの経
路数を算出する経路数算出手段と、経路数の範囲を指定
する経路数指定手段と、前記経路数算出手段により算出
した経路数が前記経路数指定手段により指定された経路
数の範囲に含まれる素子を検出する素子検出手段とを有
することを特徴とする論理回路の遅延時間解析装置。
1. A delay time analyzing apparatus having a delay time calculating means for obtaining a signal propagation path in a logic circuit and a delay time thereof, wherein there are a plurality of critical paths in which the delay time of the logic circuit is larger than an expected value. If you have
Path number calculating means for calculating the number of paths of the critical path including the element for each element; path number specifying means for specifying the range of the number of paths; An element detecting means for detecting an element included in the range of the number of paths designated by the number designating means.
JP1042945A 1989-02-27 1989-02-27 Logic circuit delay time analyzer Expired - Lifetime JP2845478B2 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP1042945A JP2845478B2 (en) 1989-02-27 1989-02-27 Logic circuit delay time analyzer

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP1042945A JP2845478B2 (en) 1989-02-27 1989-02-27 Logic circuit delay time analyzer

Publications (2)

Publication Number Publication Date
JPH02224070A JPH02224070A (en) 1990-09-06
JP2845478B2 true JP2845478B2 (en) 1999-01-13

Family

ID=12650151

Family Applications (1)

Application Number Title Priority Date Filing Date
JP1042945A Expired - Lifetime JP2845478B2 (en) 1989-02-27 1989-02-27 Logic circuit delay time analyzer

Country Status (1)

Country Link
JP (1) JP2845478B2 (en)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP4779908B2 (en) * 2006-09-22 2011-09-28 日本電気株式会社 Circuit design support system, circuit design support method, and program

Also Published As

Publication number Publication date
JPH02224070A (en) 1990-09-06

Similar Documents

Publication Publication Date Title
JP2563663B2 (en) Logic design processing device and timing adjustment method
US20100281447A1 (en) Method for detecting contradictory timing constraint conflicts
US6317861B1 (en) Delay verification device for logic circuit and delay verification method therefor
US7131087B2 (en) Multi-cycle path analyzing method
JP2845478B2 (en) Logic circuit delay time analyzer
Chen et al. A new framework for static timing analysis, incremental timing refinement, and timing simulation
JP2000222452A (en) Method and device for optimizing logical synthesis
JP2666989B2 (en) Logic circuit delay time analyzer
JP3196734B2 (en) Timing analysis apparatus, method and recording medium
JPH07121576A (en) Failure simulation device
JP3036454B2 (en) Timing verification method and apparatus
US20100175037A1 (en) Method, apparatus, and program for correcting hold error
JP2853649B2 (en) How to create a logic simulation model
JP3047884B2 (en) Logic synthesis method and apparatus
JP3087319B2 (en) Timing verification system
JPH03292573A (en) Logic design inspection system
JP3171236B2 (en) Input terminal competition pattern detection system
JP2000113006A (en) Function logic verification for electronic circuit support system
JP2001060216A (en) Logic equivalence verifying device
JPH06243190A (en) Logic simulator
JP2896315B2 (en) Logic simulation method
JPH10207936A (en) Delay simulator
JPH06251099A (en) Timing verification error correcting device
JPH02306180A (en) Expectation value extracting method for logic circuit simulation
JPH0492976A (en) Generation system for logical circuit

Legal Events

Date Code Title Description
FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20081030

Year of fee payment: 10

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20081030

Year of fee payment: 10

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20091030

Year of fee payment: 11

EXPY Cancellation because of completion of term
FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20091030

Year of fee payment: 11