JPH0589198A - Logical simulator - Google Patents

Logical simulator

Info

Publication number
JPH0589198A
JPH0589198A JP3274600A JP27460091A JPH0589198A JP H0589198 A JPH0589198 A JP H0589198A JP 3274600 A JP3274600 A JP 3274600A JP 27460091 A JP27460091 A JP 27460091A JP H0589198 A JPH0589198 A JP H0589198A
Authority
JP
Japan
Prior art keywords
delay
logic
wiring
value
simulation
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
JP3274600A
Other languages
Japanese (ja)
Inventor
Noburo Yoshida
宣郎 吉田
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.)
Mitsubishi Electric Corp
Original Assignee
Mitsubishi Electric 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 Mitsubishi Electric Corp filed Critical Mitsubishi Electric Corp
Priority to JP3274600A priority Critical patent/JPH0589198A/en
Publication of JPH0589198A publication Critical patent/JPH0589198A/en
Pending legal-status Critical Current

Links

Landscapes

  • Test And Diagnosis Of Digital Computers (AREA)
  • Tests Of Electronic Circuits (AREA)

Abstract

PURPOSE:To provide a logical simulation result which is directly connected with an actual circuit and has high accuracy by obtaining a wiring delay value for each different wiring so as to reflect it on simulation. CONSTITUTION:By adding both a wiring delay calculating part 10 which reads a delay information file 14 and then calculates the delay value which will become actual wiring delay and an automatic node generating part 11 which automatically generates node information tables 6, 7 which have delay values for each different wiring and are used in simulation to conventional logical simulation, the logical simulation with higher accuracy is provided.

Description

【発明の詳細な説明】Detailed Description of the Invention

【0001】[0001]

【産業上の利用分野】この発明は、論理回路における論
理動作のチェックおよびタイミング検証を行なう手段と
して用いられる論理シミュレータに関するものである。
BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a logic simulator used as means for checking logic operation and timing verification in a logic circuit.

【0002】[0002]

【従来の技術】論理回路の設計では、その論理動作のチ
ェックおよびタイミング検証を行なう手段として、論理
シミュレータが多く用いられている。図3は従来の論理
シミュレータの構成および処理を示すフローチャートで
ある。図3において、8は動作チェックされる論理回路
を読み込み入力する論理回路入力部であり、12は論理
回路を構成する素子の遅延値を計算する素子遅延計算部
であり、13は論理回路に対してシミュレーションを実
行する論理シミュレーション実行部である。また、9は
外部に遅延情報ファイル14があるかどうかを判別する
判別部であり、このファイル14がある場合のみ素子の
遅延値の遅延計算を素子遅延計算部12で行なう。この
遅延情報ファイル14は、論理回路のレイアウト後の配
線容量値や配線抵抗値等の信号伝達が遅れる要因となる
情報を格納している。
2. Description of the Related Art In designing a logic circuit, a logic simulator is often used as a means for checking the logic operation and verifying the timing. FIG. 3 is a flowchart showing the configuration and processing of a conventional logic simulator. In FIG. 3, 8 is a logic circuit input section for reading and inputting a logic circuit whose operation is to be checked, 12 is an element delay calculation section for calculating a delay value of an element forming the logic circuit, and 13 is for the logic circuit. Is a logic simulation execution unit that executes a simulation. Reference numeral 9 denotes a discriminating unit for discriminating whether or not the delay information file 14 is externally provided. Only when the file 14 is present, the element delay calculating unit 12 performs the delay calculation of the delay value of the element. The delay information file 14 stores information that causes delay in signal transmission such as wiring capacitance value and wiring resistance value after the layout of the logic circuit.

【0003】次に動作について説明する。まず、論理回
路入力部8で論理シミュレーションを実行する論理回路
の読み込みを行なう。次いで、遅延情報ファイル14が
あるかどうかを判別部9で判別し、ある場合には、素子
遅延計算部12で、論理シミュレーション対象素子に対
し遅延計算を行ない、個別の遅延値を与える。最後にそ
の遅延値をもとに論理回路に対する論理シミュレーショ
ンを論理シミュレーション実行部13で実行し、シミュ
レーションの結果を得る。
Next, the operation will be described. First, the logic circuit input unit 8 reads a logic circuit for which a logic simulation is to be executed. Next, the determination unit 9 determines whether or not there is the delay information file 14, and if there is, the element delay calculation unit 12 calculates the delay for the logic simulation target element and gives an individual delay value. Finally, the logic simulation execution unit 13 executes a logic simulation for the logic circuit based on the delay value, and obtains the simulation result.

【0004】[0004]

【発明が解決しようとする課題】従来の論理シミュレー
タは以上のように構成されているので、異なった配線に
よる詳細な遅延値が取り扱えず、これらの遅延値は、そ
の配線につながっている素子に吸収され、素子の持つ遅
延値として取り扱われることになり、実回路の論理シミ
ュレーションを精度よく実行できないなどの問題点があ
った。
Since the conventional logic simulator is constructed as described above, detailed delay values due to different wirings cannot be handled, and these delay values are stored in the elements connected to the wirings. It is absorbed and treated as the delay value of the element, which causes a problem that the logic simulation of the actual circuit cannot be performed accurately.

【0005】この発明は上記のような問題点を解消する
ためになされたもので、各素子毎に与えられた素子遅延
値を取り扱うとともに、異なる配線による配線遅延値を
取り扱え、より実回路に即した精度の高いシミュレーシ
ョン機能を有する論理シミュレータの提供を目的とす
る。
The present invention has been made in order to solve the above-mentioned problems, and can handle the element delay value given to each element and also handle the wiring delay value due to different wirings. It is an object of the present invention to provide a logic simulator having a highly accurate simulation function.

【0006】[0006]

【課題を解決するための手段】この発明に係る論理シミ
ュレータは、論理回路のレイアウト後の配線容量値や配
線抵抗値等の信号伝達が遅れる要因となる情報を格納し
た遅延情報ファイル14に基づいて実際の配線遅延とな
る遅延値を計算する配線遅延計算部10と、この計算結
果に基づいて異なる配線毎の遅延値を持つノード情報を
格納したノード情報テーブル6,7を自動的に作成する
自動ノード生成部11と、上記遅延情報ファイル14に
基づいて論理回路中の素子の遅延値を計算する素子遅延
計算部12と、上記ノード情報テーブル6,7および上
記素子遅延値に基づいて論理回路に対する論理シミュレ
ーションを実行する論理シミュレーション実行部13と
を備えたものである。
A logic simulator according to the present invention is based on a delay information file 14 which stores information such as wiring capacitance value and wiring resistance value after a layout of a logic circuit which causes delay in signal transmission. A wiring delay calculation unit 10 that calculates a delay value that is an actual wiring delay, and an automatic node information table 6 and 7 that automatically stores node information having delay values for different wirings based on the calculation result The node generation unit 11, the element delay calculation unit 12 that calculates the delay value of the element in the logic circuit based on the delay information file 14, the node information tables 6 and 7 and the logic circuit based on the element delay value And a logic simulation execution unit 13 that executes a logic simulation.

【0007】[0007]

【作用】配線遅延計算部10は遅延情報ファイル14に
基づいて実際の配線遅延となる遅延値を計算する。自動
ノード生成部11はその計算結果に基づいて異なる配線
毎の遅延値を持つノード情報を格納したノード情報テー
ブル6,7を自動的に作成する。素子遅延計算部12は
遅延情報ファイル14に基づいて素子の遅延値を計算す
る。論理シミュレーション実行部13はノード情報テー
ブル6,7および素子遅延値に基づいて論理回路に対す
る論理シミュレーションを実行する。上記ノード情報テ
ーブル6,7の内容は論理シミュレーションを実行する
際に詳細な遅延値として反映される。
The wiring delay calculation unit 10 calculates the delay value which is the actual wiring delay based on the delay information file 14. Based on the calculation result, the automatic node generation unit 11 automatically creates the node information tables 6 and 7 storing the node information having different delay values for each wiring. The element delay calculation unit 12 calculates the delay value of the element based on the delay information file 14. The logic simulation execution unit 13 executes a logic simulation for the logic circuit based on the node information tables 6 and 7 and the element delay value. The contents of the node information tables 6 and 7 are reflected as detailed delay values when executing the logic simulation.

【0008】[0008]

【実施例】図1はこの発明の一実施例に係る論理シミュ
レータの構成および処理を示すフローチャートである。
図1において、8は動作チェックされる論理回路を読み
込み入力する論理回路入力部、9は外部に遅延情報ファ
イル14があるかどうかを判別する判別部、10は遅延
情報ファイル14に基づいて実際の配線遅延となる遅延
値を計算する配線遅延計算部、11はその計算結果に基
づいて異なる配線毎の遅延値を持つノード情報を格納し
たノード情報テーブル6,7を自動的に作成する自動ノ
ード生成部、12は遅延情報ファイル14に基づいて論
理回路中の素子の遅延値を計算する素子遅延計算部、1
3はノード情報テーブル6,7および素子遅延値に基づ
いて論理回路に対する論理シミュレーションを実行する
論理シミュレーション実行部である。
1 is a flow chart showing the configuration and processing of a logic simulator according to an embodiment of the present invention.
In FIG. 1, 8 is a logic circuit input section for reading and inputting a logic circuit whose operation is to be checked, 9 is a discriminating section for discriminating whether or not there is a delay information file 14 outside, and 10 is an actual circuit based on the delay information file 14. A wiring delay calculation unit for calculating a delay value which becomes a wiring delay, and 11 is an automatic node generation for automatically creating node information tables 6 and 7 storing node information having delay values for different wirings based on the calculation result. , 12 is an element delay calculating section for calculating the delay value of an element in the logic circuit based on the delay information file 14, 1
Reference numeral 3 is a logic simulation execution unit that executes a logic simulation on the logic circuit based on the node information tables 6 and 7 and the element delay value.

【0009】図2は、この実施例の論理シミュレータに
より論理シミュレーションが実行される論理回路の回路
図である。この論理回路はNAND素子とAND素子で
構成されている。図2において、1は外部入力ピン、2
は外部出力ピンであり、3はNAND素子、4と5はA
ND素子を表す。これらNAND素子3とAND素子
4,5はこの論理回路における構成素子であり、そして
6と7は、この発明を実現させるため、図1における自
動ノード生成部11によって作成されたNAND素子3
からAND素子4へのノード情報テーブルと、NAND
素子3からAND素子5へのノード情報テーブルであ
る。これらのノード情報テーブル6,7は、配線遅延値
を持つ。
FIG. 2 is a circuit diagram of a logic circuit in which logic simulation is executed by the logic simulator of this embodiment. This logic circuit is composed of a NAND element and an AND element. In FIG. 2, 1 is an external input pin, 2
Is an external output pin, 3 is a NAND element, and 4 and 5 are A
It represents an ND element. The NAND element 3 and the AND elements 4 and 5 are constituent elements in this logic circuit, and 6 and 7 are NAND elements 3 created by the automatic node generation unit 11 in FIG. 1 in order to realize the present invention.
Node information table from to element 4 and NAND
It is a node information table from the element 3 to the AND element 5. These node information tables 6 and 7 have wiring delay values.

【0010】次に上記実施例の動作を図1と図2を参照
しながら説明する。図1において、論理回路入力部8は
従来技術で説明した通りである。次に遅延情報ファイル
14があったならば、配線遅延計算部10において、実
際の配線遅延となる遅延値を遅延情報ファイル14を基
に計算し、自動ノード生成部11で異なる配線毎の遅延
値を持つノード情報テーブル6,7を作成する。そし
て、素子遅延計算部12で素子の遅延値の計算を従来技
術で説明した通り行ない、最後に論理シミュレーション
実行部13はノード情報テーブル6,7が示す配線遅延
値と上記素子遅延値をもとに論理回路に対して論理シミ
ュレーションを実行し、シミュレーション結果を得る。
Next, the operation of the above embodiment will be described with reference to FIGS. In FIG. 1, the logic circuit input unit 8 is as described in the related art. Next, if there is the delay information file 14, the wiring delay calculation unit 10 calculates a delay value that is the actual wiring delay based on the delay information file 14, and the automatic node generation unit 11 calculates the delay value for each different wiring. Node information tables 6 and 7 having Then, the element delay calculation unit 12 calculates the delay value of the element as described in the related art, and finally the logic simulation execution unit 13 determines the wiring delay value and the element delay value indicated by the node information tables 6 and 7. Then, a logic simulation is performed on the logic circuit to obtain a simulation result.

【0011】図2に示す一実施例において、配線遅延計
算を行なうノード3−4間および3−5間は、それぞれ
異なった配線であるため、遅延値も異なる。したがっ
て、図1の自動ノード生成部11によって、3−4間に
対してはノード情報テーブル6を作成し、3−5間に対
してはノード情報テーブル7を作成する。これらのノー
ド情報テーブル6,7には、それぞれの配線に対する計
算された遅延値が入る。この情報を基に論理シミュレー
ションが実行されるが、その際、まず、入力パターン信
号が外部入力ピン1より入力され、NAND素子3をあ
る遅延値で遅延して通過する。そして、AND素子4へ
到達する信号はノード情報テーブル6に記述されている
遅延値で遅延を行ない、AND素子5へ到達する信号は
ノード情報テーブル7に記述されている遅延値で遅延を
行なう。次いで、その信号はAND素子4およびAND
素子5をある遅延値で遅延して通過し、外部出力ピン2
にシミュレーション結果として表れる。
In the embodiment shown in FIG. 2, the delay values are different between the nodes 3-4 and 3-5 for which the wiring delay calculation is performed, because the wirings are different from each other. Therefore, the automatic node generation unit 11 of FIG. 1 creates the node information table 6 for 3-4 and the node information table 7 for 3-5. The calculated delay values for the respective wirings are stored in these node information tables 6 and 7. A logic simulation is executed based on this information. At this time, first, an input pattern signal is input from the external input pin 1 and passes through the NAND element 3 with a delay value. The signal reaching the AND element 4 is delayed by the delay value described in the node information table 6, and the signal reaching the AND element 5 is delayed by the delay value described in the node information table 7. The signal is then AND element 4 and AND
It passes through the element 5 with a certain delay value and the external output pin 2
Appears as a simulation result.

【0012】以上のように上記実施例によれば、遅延が
取り扱え、外部より配線容量値や配線抵抗値等を読み込
むことにより、遅延値を決定できる機能を持ち、配線の
分岐、引き回し等により、異なる素子間の容量値、抵抗
値から内部で、それらの配線に伴う遅延値の違いを自動
的に認識し、異なる配線遅延毎に、精度の高い論理シミ
ュレーションが行なえる機能を備えた論理シミュレータ
を実現することができる。
As described above, according to the above-described embodiment, the delay can be handled, and the delay value can be determined by reading the wiring capacitance value, the wiring resistance value, etc. from the outside. A logic simulator with a function that automatically recognizes the difference in the delay value due to the wiring internally from the capacitance value and resistance value between different elements and can perform a highly accurate logic simulation for each different wiring delay. Can be realized.

【0013】なお、上記実施例ではNAND素子3から
AND素子4の遅延とNAND素子3からAND素子5
の遅延として、ノード情報テーブル6,7を作成した
が、NAND素子3からAND素子4、NAND素子3
からAND素子5へ至る経路で、AND素子4とAND
素子5への分岐点で分け、まず分岐点までの遅延値を求
め、それらに対するノード情報テーブルを作成しても良
く、この場合も上記実施例と同様の効果を奏する。
In the above embodiment, the delay from the NAND element 3 to the AND element 4 and the delay from the NAND element 3 to the AND element 5
The node information tables 6 and 7 are created as delays of the NAND element 3 to the AND element 4 and the NAND element 3
AND element 4 and AND on the path from
It is also possible to divide at the branch point to the element 5 and first obtain the delay values up to the branch point, and create a node information table for them, and in this case also, the same effect as the above-mentioned embodiment can be obtained.

【0014】[0014]

【発明の効果】以上のように本発明によれば、遅延情報
ファイルに基づいて実際の配線遅延となる遅延値を計算
し、この計算結果に基づいて異なる配線毎の遅延値を持
つノード情報テーブルを自動的に作成し、そのノード情
報テーブルと素子遅延値に基づいて論理シミュレーショ
ンを実行するように構成したので、各素子毎に与えられ
た素子遅延値、および異なる配線による配線遅延値を取
り扱うことができ、即ち異なる配線による遅延値の違い
をシミュレーションでき、これにより従来に比べ、より
実回路に即した精度の高い論理シミュレーションが可能
になるという効果が得られる。特にRC回路モデルを考
慮した論理シミュレーションが可能になり、より実回路
に即したシミュレーション結果が得られる。
As described above, according to the present invention, the delay value which is the actual wiring delay is calculated based on the delay information file, and the node information table having the delay value for each different wiring based on the calculation result. Is created automatically and the logic simulation is executed based on the node information table and the element delay value. Therefore, the element delay value given for each element and the wiring delay value by different wiring can be handled. That is, it is possible to simulate a difference in delay value due to different wirings, and as a result, it is possible to obtain a highly accurate logic simulation that is more suited to an actual circuit than in the past. In particular, it becomes possible to perform a logic simulation in consideration of the RC circuit model, and a simulation result more suited to an actual circuit can be obtained.

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

【図1】この発明の一実施例に係るシミュレータの構成
及び処理を示すフローチャートである。
FIG. 1 is a flowchart showing the configuration and processing of a simulator according to an embodiment of the present invention.

【図2】この実施例の論理シミュレータにより論理シミ
ュレーションされる論理回路の回路図である。
FIG. 2 is a circuit diagram of a logic circuit that is logically simulated by the logic simulator of this embodiment.

【図3】従来の論理シミュレータの構成及び処理を示す
フローチャートである。
FIG. 3 is a flowchart showing the configuration and processing of a conventional logic simulator.

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

6,7 ノード情報テーブル 10 配線遅延計算部 11 自動ノード生成部 12 素子遅延計算部 13 論理シミュレーション実行部 14 遅延情報ファイル 6, 7 Node information table 10 Wiring delay calculation unit 11 Automatic node generation unit 12 Element delay calculation unit 13 Logic simulation execution unit 14 Delay information file

─────────────────────────────────────────────────────
─────────────────────────────────────────────────── ───

【手続補正書】[Procedure amendment]

【提出日】平成4年6月22日[Submission date] June 22, 1992

【手続補正1】[Procedure Amendment 1]

【補正対象書類名】明細書[Document name to be amended] Statement

【補正対象項目名】0004[Correction target item name] 0004

【補正方法】変更[Correction method] Change

【補正内容】[Correction content]

【0004】[0004]

【発明が解決しようとする課題】従来の論理シミュレー
タは以上のように構成されているので、同一信号内の
なった配線毎に遅延値が取り扱えず、これらの遅延値
は、その配線につながっている素子に吸収され、素子の
持つ遅延値として取り扱われることになり、実回路の論
理シミュレーションを精度よく実行できないなどの問題
点があった。
Since INVENTION Problems to be Solved conventional logic simulator is constructed as described above, delay values are not handled in each wiring becomes different <br/> in the same signal, these delay values However, it is absorbed by the element connected to the wiring and is treated as a delay value of the element, which causes a problem that the logic simulation of the actual circuit cannot be performed accurately.

【手続補正2】[Procedure Amendment 2]

【補正対象書類名】明細書[Document name to be amended] Statement

【補正対象項目名】0005[Correction target item name] 0005

【補正方法】変更[Correction method] Change

【補正内容】[Correction content]

【0005】この発明は上記のような問題点を解消する
ためになされたもので、各素子毎に与えられた素子遅延
値を取り扱うとともに、同一信号内の異なる配線毎の
線遅延値を取り扱え、より実回路に即した精度の高いシ
ミュレーション機能を有する論理シミュレータの提供を
目的とする。
The present invention has been made in order to solve the above problems, and handles the element delay value given to each element, and at the same time, arranges wirings for different wirings in the same signal. An object of the present invention is to provide a logic simulator that can handle delay values and has a highly accurate simulation function that is more suitable for an actual circuit.

【手続補正3】[Procedure 3]

【補正対象書類名】明細書[Document name to be amended] Statement

【補正対象項目名】0012[Correction target item name] 0012

【補正方法】変更[Correction method] Change

【補正内容】[Correction content]

【0012】以上のように上記実施例によれば、遅延が
取り扱え、外部より配線容量値や配線抵抗値等を読み込
むことにより、遅延値を決定できる機能を持ち、配線の
分岐、引き回し等により、異なる素子間の容量値、抵抗
値から内部で、それらの配線に伴う遅延値の違いを自動
的に認識し、同一信号内でも異なる配線毎に配線遅延値
を扱うことのできる精度の高い論理シミュレーションが
行なえる機能を備えた論理シミュレータを実現すること
ができる。
As described above, according to the above-described embodiment, the delay can be handled, and the delay value can be determined by reading the wiring capacitance value, the wiring resistance value, etc. from the outside. Internally, the difference in the delay value due to the wiring is automatically recognized from the capacitance value and resistance value between different elements, and the wiring delay value is different for each wiring even within the same signal.
It is possible to realize a logic simulator equipped with a function capable of performing a highly accurate logic simulation capable of handling .

【手続補正4】[Procedure amendment 4]

【補正対象書類名】明細書[Document name to be amended] Statement

【補正対象項目名】0014[Correction target item name] 0014

【補正方法】変更[Correction method] Change

【補正内容】[Correction content]

【0014】[0014]

【発明の効果】以上のように本発明によれば、遅延情報
ファイルに基づいて実際の配線遅延となる遅延値を計算
し、この計算結果に基づいて異なる配線毎の遅延値を持
つノード情報テーブルを自動的に作成し、そのノード情
報テーブルと素子遅延値に基づいて論理シミュレーショ
ンを実行するように構成したので、各素子毎に与えられ
た素子遅延値、および同一信号内の異なる配線による配
線遅延値を取り扱うことができ、即ち同一信号内の異な
る配線による遅延値の違いをシミュレーションでき、こ
れにより従来に比べ、より実回路に即した精度の高い論
理シミュレーションが可能になるという効果が得られ
る。特にRC回路モデルを考慮した論理シミュレーショ
ンが可能になり、より実回路に即したシミュレーション
結果が得られる。
As described above, according to the present invention, the delay value which is the actual wiring delay is calculated based on the delay information file, and the node information table having the delay value for each different wiring based on the calculation result. Is created automatically and the logic simulation is executed based on the node information table and the element delay value, so the element delay value given for each element and the wiring delay due to different wiring in the same signal The value can be handled, that is , the difference in delay value due to different wirings in the same signal can be simulated, which enables a highly accurate logic simulation more suitable for an actual circuit than the conventional one. The effect is obtained. In particular, it becomes possible to perform a logic simulation in consideration of the RC circuit model, and a simulation result more suited to an actual circuit can be obtained.

Claims (1)

【特許請求の範囲】[Claims] 【請求項1】 論理回路における論理動作のチェックお
よびタイミング検証を行なうためのシミュレーション動
作を行なう論理シミュレータにおいて、上記論理回路の
レイアウト後の配線容量値や配線抵抗値等の信号伝達が
遅れる要因となる情報を格納した遅延情報ファイルに基
づいて、実際の配線遅延となる遅延値を計算する配線遅
延計算部と、この計算結果に基づいて異なる配線毎の遅
延値を持つノード情報を格納したノード情報テーブルを
自動的に作成する自動ノード生成部と、上記遅延情報フ
ァイルに基づいて上記論理回路中の素子の遅延値を計算
する素子遅延計算部と、上記ノード情報テーブルおよび
上記素子遅延値に基づいて上記論理回路に対する論理シ
ミュレーションを実行する論理シミュレーション実行部
とを備えたことを特徴とする論理シミュレータ。
1. A logic simulator that performs a simulation operation for checking the logic operation and verifying the timing in a logic circuit, which causes a delay in signal transmission such as a wiring capacitance value and a wiring resistance value after the layout of the logic circuit. A wiring delay calculation unit that calculates a delay value that is an actual wiring delay based on a delay information file that stores information, and a node information table that stores node information having delay values for different wirings based on the calculation result An automatic node generator that automatically creates a delay element, an element delay calculator that calculates a delay value of an element in the logic circuit based on the delay information file, and the node information table and the element delay value based on the element delay value. It has a logic simulation execution unit that executes a logic simulation for a logic circuit. A logic simulator to collect.
JP3274600A 1991-09-26 1991-09-26 Logical simulator Pending JPH0589198A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP3274600A JPH0589198A (en) 1991-09-26 1991-09-26 Logical simulator

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP3274600A JPH0589198A (en) 1991-09-26 1991-09-26 Logical simulator

Publications (1)

Publication Number Publication Date
JPH0589198A true JPH0589198A (en) 1993-04-09

Family

ID=17543997

Family Applications (1)

Application Number Title Priority Date Filing Date
JP3274600A Pending JPH0589198A (en) 1991-09-26 1991-09-26 Logical simulator

Country Status (1)

Country Link
JP (1) JPH0589198A (en)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH07105240A (en) * 1993-09-30 1995-04-21 Nec Corp Circuit designing device

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH02183554A (en) * 1989-01-10 1990-07-18 Fujitsu Ltd Ic pattern design apparatus
JPH02259881A (en) * 1989-03-31 1990-10-22 Hitachi Ltd Method for calculating signal delay time

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH02183554A (en) * 1989-01-10 1990-07-18 Fujitsu Ltd Ic pattern design apparatus
JPH02259881A (en) * 1989-03-31 1990-10-22 Hitachi Ltd Method for calculating signal delay time

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH07105240A (en) * 1993-09-30 1995-04-21 Nec Corp Circuit designing device

Similar Documents

Publication Publication Date Title
US8122404B2 (en) Performing a statistical timing abstraction for a hierarchical timing analysis of VLSI circuits
US7941774B2 (en) Partial timing modeling for gate level simulation
US9934342B1 (en) Clock gating verification during RTL stage of integrated circuit design
JPH05256901A (en) Method for judging logical function of circuit
JP3851357B2 (en) Timing characteristic extraction method for transistor circuit, storage medium storing timing characteristic library, LSI design method, and gate extraction method
US6389578B1 (en) Method and apparatus for determining the strengths and weaknesses of paths in an integrated circuit
JPH0589198A (en) Logical simulator
US7031889B1 (en) Method and apparatus for evaluating the design quality of network nodes
US7328415B2 (en) Modeling blocks of an integrated circuit for timing verification
Bruno et al. The FPGA Programming Handbook: An essential guide to FPGA design for transforming ideas into hardware using SystemVerilog and VHDL
JP3144617B2 (en) Logic circuit verification method
JP2000181944A (en) Delay library generation method and storage medium
JP3032874B2 (en) Equivalent circuit creation method and logic simulation method
Nopper et al. Flexible modeling of unknowns in model checking for incomplete designs
Khvatov et al. Method for Determining the Optimal Composition of a Reduced Standard Cell Library for FPGA
JP2785708B2 (en) Logic simulation method
Aarna et al. Parallel fault simulation of digital circuits
EP0525576A1 (en) Design flow methodology for an integrated circuit
JP2658857B2 (en) Equivalent fault extraction method and device
Joyce et al. Practical Uses of Formal Methods in Development of Airborne Software
JPH08263530A (en) Method for generating model for logic simulation
JPH04238576A (en) Delay simulation system
JPH0375875A (en) Delay simulator
JPH02249070A (en) Delay simulator
Goeke Design of a hardware efficient key generation algorithm with a VHDL implementation