JP2729061B2 - Zero-delay operation processing method for simulation equipment - Google Patents

Zero-delay operation processing method for simulation equipment

Info

Publication number
JP2729061B2
JP2729061B2 JP25410388A JP25410388A JP2729061B2 JP 2729061 B2 JP2729061 B2 JP 2729061B2 JP 25410388 A JP25410388 A JP 25410388A JP 25410388 A JP25410388 A JP 25410388A JP 2729061 B2 JP2729061 B2 JP 2729061B2
Authority
JP
Japan
Prior art keywords
delay
zero
primitive
unit
fan
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Expired - Fee Related
Application number
JP25410388A
Other languages
Japanese (ja)
Other versions
JPH02100729A (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.)
Fujitsu Ltd
Original Assignee
Fujitsu Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Fujitsu Ltd filed Critical Fujitsu Ltd
Priority to JP25410388A priority Critical patent/JP2729061B2/en
Publication of JPH02100729A publication Critical patent/JPH02100729A/en
Application granted granted Critical
Publication of JP2729061B2 publication Critical patent/JP2729061B2/en
Anticipated expiration legal-status Critical
Expired - Fee Related legal-status Critical Current

Links

Landscapes

  • Test And Diagnosis Of Digital Computers (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)

Description

【発明の詳細な説明】 [概要] 回路モデルの出力値を演算評価するためのゼロ遅延プ
リミティブ(入力遅延値ゼロ)による入力値を確定する
シミュレーション装置のゼロ遅延演算処理方式に関し、 ゼロ遅延プリミティブと可変遅延プリミティブが混在
した回路モデルであってもゼロ遅延プリミティブの入力
確定値を高速演算することを目的とし、 回路モデルから、ゼロ遅延プリミティブのみと可変遅
延プリミティブのみの入出力接続をもつ2タイプに分離
した新たな回路モデルを生成し、ゼロ遅延にイベントが
発生した際に、ネット値の確定順序付けに従ってゼロ遅
延プリミティブのみの入出力接続をもつモデルをファン
アウト展開し、同時に二重登録防止処理を行なって専用
キューにゼロ遅延プリミティブを格納し、専用キューに
格納したゼロ遅延プリミティブにつき論理演算を行なっ
て出力値を確定し、更に同一シミュレーション時刻でネ
ット値を変える必要がある場合にはネット値を更新し、
専用キューが空になるまでファンアウト展開、専用キュ
ーの格納及び論理演算、ネット値更新を繰り返するよう
に構成する。
DETAILED DESCRIPTION OF THE INVENTION [Summary] The present invention relates to a zero-delay operation processing method of a simulation apparatus for determining an input value by a zero-delay primitive (input delay value zero) for operation and evaluation of an output value of a circuit model. Even if the circuit model has variable delay primitives, the purpose is to calculate the input value of the zero delay primitive at high speed. From the circuit model, there are two types with input / output connections of only the zero delay primitive and only the variable delay primitive Generate a new separated circuit model, and when an event occurs at zero delay, fan-out the model with input / output connection of only zero delay primitive according to the net value determination ordering, and simultaneously perform double registration prevention processing Store the zero-delay primitive in the dedicated queue and store it in the dedicated queue. Performs a logical operation on the zero-delay primitive to determine the output value, and further updates the net value if it is necessary to change the net value at the same simulation time,
Until the dedicated queue becomes empty, the fan-out expansion, storage of the dedicated queue, logical operation, and updating of the net value are repeated.

[産業上の利用分野] 本発明は、シミュレーションモデルのプリミティブ出
力値を演算評価するためにゼロ遅延プリミティブの入力
値を確定する演算を実行するシミュレーション装置のゼ
ロ遅延演算処理方式に関する。
BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a zero-delay operation processing method of a simulation apparatus that executes an operation for determining an input value of a zero-delay primitive in order to evaluate a primitive output value of a simulation model.

コンピュータ等のハードウェアの論理設計を行なうCA
E(Computer Aided Engineering)分野にあっては、作
成された論理設計モデルを検証するためのツールとして
シミュレーション装置が使用されている。
CA that performs logical design of hardware such as computers
In the field of E (Computer Aided Engineering), a simulation device is used as a tool for verifying a created logical design model.

このようなシミュレーション装置にあっては、詳細遅
延値を取扱った論理シミュレーション及びタイミングシ
ミュレーションを実行して論理設計モデルからテストパ
ータンを作成する際の有効性等を検証している。
In such a simulation apparatus, a logic simulation and a timing simulation dealing with a detailed delay value are executed to verify the effectiveness and the like when a test pattern is created from a logic design model.

ところで、このような論理及びタイミングシミュレー
ションにあっては、回路モデルの出力値を演算評価する
際に、入力値を確定する処理が要求され、この入力値を
確定するためにゼロ遅延処理と詳細遅延処理が行なわれ
る。
By the way, in such logic and timing simulation, processing for determining an input value is required when calculating and evaluating an output value of a circuit model. In order to determine this input value, zero delay processing and detailed delay processing are required. Processing is performed.

即ち、ゼロ遅延処理とは、シミュレーション回路モデ
ルを構成する演算処理の最小単位となるドットプリミテ
ィブ、チェック用プリミティブ等を入力遅延値の総和が
ゼロとなるゼロ遅延素子プリミティブとして扱い、この
ゼロ遅延素子プリミティブの入力側にイベントが発生し
た時の出力値を演算評価するものである。
That is, the zero delay processing means that a dot primitive, a check primitive, or the like, which is the minimum unit of the arithmetic processing configuring the simulation circuit model, is treated as a zero delay element primitive having a total input delay value of zero. Is used to calculate and evaluate the output value when an event occurs on the input side of.

一方、詳細遅延処理とは、適宜の素子プリミティブに
対し実線路長遅延や素子論理遅延を考慮した詳細遅延値
を準備し、入力イベントの発生に対し詳細遅延値を用い
て素子プリミティブの出力値の演算評価を行なうもので
ある。
On the other hand, the detailed delay processing is to prepare a detailed delay value for an appropriate element primitive in consideration of an actual line length delay and an element logic delay, and use the detailed delay value for the occurrence of an input event to output an element primitive output value. This is for performing arithmetic evaluation.

通常のシミュレーション回路モデルにあっては、ゼロ
遅延処理を行なう入力プリミティブと詳細遅延処理を行
なう入力プリミティブは混在しており、このような回路
モデルであってもゼロ遅延処理を高速に行なうことが望
まれる。
In a general simulation circuit model, input primitives for performing zero delay processing and input primitives for performing detailed delay processing are mixed, and it is desirable to perform zero delay processing at high speed even with such a circuit model. It is.

[従来技術] 従来、ゼロ遅延処理と詳細遅延処理が混在している2
パスシミュレーション処理(イベントがあった全ネット
値の確定を行なってから演算する方式)を対象としたゼ
ロ遅延演算処理方式にあっては、離散したシミュレーシ
ョン時刻毎にイベント設定、ネット値作成、更新フェー
ズ及びファンアウト展開、演算評価、イベントのスケジ
ューリング等を処理している。
[Prior Art] Conventionally, zero delay processing and detailed delay processing are mixed.
In the zero-delay calculation processing method for the path simulation processing (a method in which all net values with events are determined and then calculated), an event setting, a net value creation, and an update phase are performed for each discrete simulation time. And fan-out expansion, operation evaluation, event scheduling, and the like.

このため、同一シミュレーション時刻ではゼロ遅延プ
リミティブの演算順序に従ってネット値を更新するフェ
ーズがあり、ネット値が確定していないゼロ遅延プリミ
ティブについては、ネット値が確定するまで複数回演算
を繰り返すようにしている。
For this reason, at the same simulation time, there is a phase in which the net value is updated in accordance with the calculation order of the zero-delay primitive. For a zero-delay primitive whose net value is not determined, the calculation is repeated a plurality of times until the net value is determined. I have.

[発明が解決しようとする課題] しかしながら、このような従来の同一シミュレーショ
ン処理時刻のゼロ遅延プリミティブのネット値を確定す
るゼロ遅延演算処理にあっては、ネット値が確定してい
ないプリミティブについては、ネット値が確定するまで
に複数回の演算処理を繰り返さなければならず、ネット
値が確定するまでムダな演算処理をして収束することと
なり、回路モデルによっては、演算処理時間が長くなる
問題があった。
[Problems to be Solved by the Invention] However, in such a conventional zero-delay operation processing for determining a net value of a zero-delay primitive at the same simulation processing time, for a primitive whose net value is not determined, Until the net value is determined, the arithmetic processing must be repeated a plurality of times. Unnecessary arithmetic processing is performed until the net value is determined, and the calculation converges. Depending on the circuit model, there is a problem that the arithmetic processing time becomes longer. there were.

本発明は、このような従来の問題点に鑑みてなされた
もので、ゼロ遅延と詳細遅延の入力側遅延プリミテイブ
が混在した回路モデルであってもゼロ遅延プリミティブ
による入力確定値を高速に演算できる論理シミュレーシ
ョン装置のゼロ遅延演算処理方式を提供することを目的
とする。
The present invention has been made in view of such a conventional problem, and it is possible to quickly calculate an input final value by a zero delay primitive even in a circuit model in which input delay primitives of zero delay and detailed delay are mixed. An object of the present invention is to provide a zero-delay operation processing method for a logic simulation device.

[問題点を解決するための手段] 第1図は本発明の原理説明図である。[Means for Solving the Problems] FIG. 1 is a diagram illustrating the principle of the present invention.

第1図において、まず本発明は、入力接続先にゼロ遅
延プリミティブと可変遅延プリミティブが混在した回路
モデルの出力値を演算評価するための入力値を確定する
演算を実行するシミュレーション装置のゼロ遅延演算処
理方式を対象とする。
In FIG. 1, first, the present invention relates to a zero-delay operation of a simulation apparatus for executing an operation for determining an input value for evaluating an output value of a circuit model in which a zero-delay primitive and a variable-delay primitive are mixed at an input connection destination. Targets processing method.

このようなゼロ遅延演算処理方式として本発明にあっ
ては、まずモデル生成部10で、シミュレーション対象と
なった回路モデルに基づき、ゼロ遅延プリミティブにの
み入力接続されたモデルと、可変遅延プリミティブにの
み入力接続されたモデルとに分離した新たな回路モデル
を生成する。
According to the present invention as such a zero-delay operation processing method, first, based on the circuit model to be simulated, the model generation unit 10 only inputs a model connected to only the zero-delay primitive and only a variable-delay primitive. Generate a new circuit model separated from the input connected model.

このモデル生成部10で生成されたゼロ遅延プリミティ
ブのみの入力接続をもつ遅延素子を識別し、ネット値に
対応してファンアウト展開処理部12によりファンアウト
展開する。
The delay element having the input connection of only the zero delay primitive generated by the model generation unit 10 is identified, and the fan-out expansion processing unit 12 performs fan-out expansion in accordance with the net value.

ゼロ遅延ネット値にイベントが発生した際には、ファ
ンアウト展開処理部12のアクセスで得られたゼロ遅延プ
リミティブをゼロ遅延キュー格納部14の専用キューに格
納する。
When an event occurs in the zero delay net value, the zero delay primitive obtained by the access of the fan-out expansion processing unit 12 is stored in a dedicated queue of the zero delay queue storage unit 14.

このゼロ遅延キュー格納部14に対する格納に際しては
同時イベント発生時の二重登録を防止する処理が二重登
録防止処理部16によって行なわれる。
When storing in the zero-delay queue storage unit 14, the double registration prevention processing unit 16 performs processing to prevent double registration when a simultaneous event occurs.

ゼロ遅延キュー完納部の16の専用キューに格納された
ゼロ遅延プリミティブに基づき演算評価部18がファンク
ションコードに応じた演算を行なってゼロ遅延プリミテ
ィブの出力値を確定する。
Based on the zero-delay primitives stored in the 16 dedicated queues of the zero-delay queue complete storage unit, the operation evaluation unit 18 performs an operation according to the function code to determine the output value of the zero-delay primitive.

更に、同一シミュレーション時刻で複数のゼロ遅延プ
リミティブに同時イベント発生があった場合には、ネッ
ト値更新部20で次のゼロ遅延プリミティブの出力値を確
定するためにネット値を更新して前記ファンアウト展開
処理部12をアクセスする。
Further, if there is a simultaneous event occurring in a plurality of zero-delay primitives at the same simulation time, the net value is updated by the net value update unit 20 in order to determine the output value of the next zero-delay primitive, and the fan-out is performed. The expansion processing unit 12 is accessed.

このようなファンアウト展開処理部12、ゼロ遅延キュ
ー格納部14、二重登録防止部16、演算評価部18及びネッ
ト値更新部20による順次処理をゼロ遅延キュー格納部14
の専用キューが空になるまで繰り返すように構成する。
The sequential processing by the fan-out expansion processing unit 12, the zero delay queue storage unit 14, the double registration prevention unit 16, the operation evaluation unit 18, and the net value update unit 20 is performed by the zero delay queue storage unit 14.
Is configured to be repeated until the dedicated queue becomes empty.

[作用] このような構成を備えた本発明によるシミュレーショ
ン装置のゼロ遅延演算処理方式にあっては、ゼロ遅延プ
リミティブと可変遅延プリミティブの混在回路モデルを
入力接続を同一タイプとしたモデルに分離し、分離され
たゼロ遅延プリミティブ側について、従来のゼロ遅延モ
デルはシーケンス処理のため順序性がある。これを本発
明の方式によって演算順序を自動的に制御して専用キュ
ーに入力し、入力ネット値の確定を一シミュレーション
時刻で行なうゼロ遅延演算処理を順次繰り返して最終的
なゼロ遅延入力値を確定することができ、ゼロ遅延プリ
ミティブと可変遅延プリミテイブが混在した回路モデル
であっても、回路モデル出力値を演算評価するために用
いるゼロ遅延側入力値を決める演算を高速にできる。
[Operation] In the zero-delay operation processing method of the simulation apparatus according to the present invention having such a configuration, the mixed circuit model of the zero-delay primitive and the variable-delay primitive is separated into a model having the same type of input connection, On the separated zero-delay primitive side, the conventional zero-delay model is ordered due to sequence processing. This is automatically controlled by the method of the present invention, and the input sequence is automatically input to the dedicated queue, and the input delay value is determined at one simulation time. Thus, even in a circuit model in which a zero-delay primitive and a variable-delay primitive are mixed, an operation for determining a zero-delay-side input value used for operation evaluation of a circuit model output value can be performed at high speed.

[実施例] 第2図は本発明の一実施例を示した実施例構成図であ
る。
[Embodiment] Fig. 2 is an embodiment configuration diagram showing one embodiment of the present invention.

第2図において、10はモデル生成部であり、シミュレ
ーション対象となる回路モデルを構成するゼロ遅延素子
は、入出力接続先のプリミティブタイプによってゼロ遅
延プリミティブのみの接続遅延素子、可変遅延プリミテ
ィブ接続のみの遅延素子、更にゼロ遅延プリミティブと
可変遅延プリミティブの混在した接続遅延素子に分類さ
れる。
In FIG. 2, reference numeral 10 denotes a model generation unit. Zero delay elements constituting a circuit model to be simulated are connection delay elements having only zero delay primitives and variable delay primitive connection only depending on the primitive type of the input / output connection destination. Delay elements are further classified as connection delay elements in which a zero delay primitive and a variable delay primitive are mixed.

即ち、第3図に示す3種類のファイン側入力のプリミ
ティブ接続タイプを備えた遅延素子で構成された回路モ
デルを処理対象とする。
That is, a circuit model composed of delay elements having three types of primitive connection types of fine side inputs shown in FIG. 3 is to be processed.

第3図において、50はファイン側プリミティブが全て
ゼロ遅延プリミティブ「0」(入出力遅延値の総和がゼ
ロ)を持つ遅延素子であり、また遅延素子51はファイン
側の接続プリミティブが全て可変遅延「Vd」(入出力遅
延値の総和がVd)のみとなる遅延素子であり、更に52は
ファイン側接続プリミティブがゼロ遅延プリミティブ
「0」と可変遅延プリミティブ「Vd」との混在タイプを
示している。
In FIG. 3, reference numeral 50 denotes a delay element in which all fine-side primitives have a zero-delay primitive "0" (the sum of input / output delay values is zero). Vd "(the sum of the input / output delay values is Vd), and reference numeral 52 denotes a mixed type in which the fine-side connection primitives include a zero delay primitive" 0 "and a variable delay primitive" Vd ".

第4図はゼロ遅延素子のファンイン接続先別のプリミ
ティブ接続タイプによって構成されたシミュレーション
対象となる回路モデルの一例を示した説明図であり、こ
の第4図に示す回路モデルがシミュレーション対象とし
て第2図のモデル生成部10に設定される。
FIG. 4 is an explanatory diagram showing an example of a circuit model to be simulated constituted by a primitive connection type for each fan-in connection destination of the zero delay element. The circuit model shown in FIG. This is set in the model generation unit 10 in FIG.

即ち、第4図において、ゼロディレイとして取扱われ
る遅延素子53〜59の全てはファイン側プリミティブがゼ
ロ遅延プリミティブ「0」及び可変遅延プリミティブ
「Vd」が混在した回路モデルである。
That is, in FIG. 4, all of the delay elements 53 to 59 treated as the zero delay are circuit models in which the fine side primitive is a mixture of the zero delay primitive “0” and the variable delay primitive “Vd”.

このような第4図に示す回路モデルが第2図のモデル
生成部10に設定されるとモデル生成部10は第4図の回路
モデルから第5図に示す新たな回路モデルを生成する。
When such a circuit model shown in FIG. 4 is set in the model generation unit 10 of FIG. 2, the model generation unit 10 generates a new circuit model shown in FIG. 5 from the circuit model of FIG.

第5図の回路モデルは、第4図の回路モデルにおける
〜で示すファンイン側のゼロ遅延プリミティブ
「0」のみの回路モデルを遅延素子60,62,63及び65に分
離して構成し、一方、第4図のΔ1〜Δ2で示す可変遅
延プリミティブ「Vd」のみをファイン側入力接続とした
遅延素子61,64及び66に分離して構成している。
The circuit model of FIG. 5 is configured by separating the circuit model of only the fan-in side zero delay primitive “0” in the circuit model of FIG. 4 into delay elements 60, 62, 63 and 65. Only the variable delay primitive "Vd" indicated by Δ1 and Δ2 in FIG. 4 is divided into delay elements 61, 64 and 66 having fine-side input connections.

更に、ゼロ遅延プリミティブのみをファイン側接続し
た遅延素子60,62,63及び65のファンアウトを遅延素子67
に入力接続して最終段の遅延素子69に対するゼロ遅延プ
リミティブの入力値を確定する回路モデルを構成する。
Further, the fan-out of delay elements 60, 62, 63 and 65, in which only the zero delay primitive is connected on the fine side, is
And a circuit model for determining the input value of the zero delay primitive to the delay element 69 at the last stage.

勿論、可変遅延プリミティブのみがファンイン側接続
された遅延素子61,64及び66のファンアウトは遅延素子6
8に共通にファンイン接続され、最終段の遅延素子69に
ファンイン接続される。
Of course, the fan-out of the delay elements 61, 64 and 66 in which only the variable delay primitive is connected to the fan-in side is the delay element 6
8 and is commonly connected to the delay element 69 at the final stage.

再び第2図を参照するに、モデル生成部10による第4
図に示す回路モデルから第5図に示した入出力プリミテ
ィブタイプにより分離された回路モデルの生成は、シミ
ュレーション装置の前処理フェーズで行なわれ、この前
処理フェーズにおける初期化処理時にモデル生成部10で
作成された第5図に示す回路モデルのファイル情報はフ
ァンアウト展開処理部12で順次展開されてメモリに格納
される。
Referring to FIG. 2 again, the fourth
Generation of a circuit model separated from the circuit model shown in FIG. 5 by the input / output primitive types shown in FIG. 5 is performed in a pre-processing phase of the simulation apparatus, and the model generating unit 10 performs initialization processing in the pre-processing phase. The created file information of the circuit model shown in FIG. 5 is sequentially developed by the fan-out development processing unit 12 and stored in the memory.

ファンアウト展開処理部12は、メモリアクセス部10
1、ファンアウトポインタ及びファンアウト数を格納す
るメモリ102、メモリアクセス部103、ファンアウト展開
データを格納するメモリ104、カウンタ105を備えたメモ
リアクセス部106及びファンアウトネット値、立上り入
力遅延値、立下り入力遅延値、ゼロ遅延フラグを格納し
たメモリ107で構成される。
The fan-out expansion processing unit 12 includes the memory access unit 10
1, a memory 102 for storing a fan-out pointer and the number of fan-outs, a memory access unit 103, a memory 104 for storing fan-out expansion data, a memory access unit 106 having a counter 105 and a fan-out net value, a rising input delay value, The memory 107 stores a falling input delay value and a zero delay flag.

即ち、ファンアウト展開処理部12は、モデル生成部10
で生成された第5図に示すファンイン接続がゼロ遅延プ
リミティブのみのモデルと可変遅延プリミティブのみの
モデルとに分離された回路モデルが生成されると、生成
された回路モデルを対象としてメモリアクセス部101に
よりメモリ102に対するファンアウトポインタ及びファ
ンアウト数を格納し、次にアクセス部103によるメモリ1
02のファンアウトポインタ及びファンアウト数に基づく
メモリ104に対するファンアウト展開データの格納、更
にメモリアクセス部106によるメモリ107に対するファン
アウト展開されたファンアウトネット値、遅延素子の立
上り及び立下り入力遅延値、入出力遅延値をゼロディレ
イとして取扱うためのゼロディレイフラグを格納する。
That is, the fan-out expansion processing unit 12
When the circuit model in which the fan-in connection shown in FIG. 5 is separated into a model with only a zero-delay primitive and a model with only a variable-delay primitive is generated, the memory access unit is used for the generated circuit model. 101 stores the fan-out pointer and the fan-out number for the memory 102, and then stores the memory 1 in the memory 1 by the access unit 103.
02 stores fan-out expanded data in the memory 104 based on the fan-out pointer and the fan-out number, furthermore, fan-out expanded fan-out values in the memory 107 by the memory access unit 106, and rise and fall input delay values of delay elements And a zero delay flag for handling the input / output delay value as a zero delay.

ファンアウト展開処理部12に対しては、メモリアクセ
ス部108と二重登録防止フラグメモリ部109を備えた二重
登録防止部16が設けられる。また、キューアクセス部11
0とゼロディレイキューメモリ部111によってゼロ遅延キ
ュー格納部14が構成される。更に、スタックアクセス部
112及び演算評価ゲートスタックメモリ部113によって可
変遅延プリミティブを格納する回路部が構成される。
For the fanout expansion processing unit 12, a double registration prevention unit 16 including a memory access unit 108 and a double registration prevention flag memory unit 109 is provided. Also, the queue access unit 11
The zero delay queue storage unit 14 is constituted by 0 and the zero delay queue memory unit 111. Furthermore, the stack access unit
The circuit unit that stores the variable delay primitive is configured by the 112 and the operation evaluation gate stack memory unit 113.

ゼロ遅延キュー格納部14のキューアクセス部110から
読出されたゼロディレイキューメモリ部111のゼロ遅延
プリミティブ、又はスタックアクセス部112から読出さ
れた演算評価ゲートスタックメモリ部113の詳細遅延プ
リミティブは演算評価部18に与えられ、ファンクション
コード部119に従った論理演算を実行する。演算評価部1
8による論理演算の結果からゼロ遅延プリミティブは同
一シミュレーション時刻内でネット値を変える必要が生
じるために、演算評価部18で求められたゼロ遅延イベン
ト結果をネット値更新部20に出力して確定したネット値
を更新する。
The zero delay primitive of the zero delay queue memory unit 111 read from the queue access unit 110 of the zero delay queue storage unit 14 or the operation evaluation gate read from the stack access unit 112 The detailed delay primitive of the stack memory unit 113 is the operation evaluation unit 18 and executes a logical operation according to the function code unit 119. Operation evaluation section 1
From the result of the logical operation by 8, the zero delay primitive needs to change the net value within the same simulation time, so the zero delay event result obtained by the operation evaluation unit 18 is output to the net value update unit 20 and determined. Update net values.

ネット値更新部20はスタックアクセス部114、更新ネ
ットデータスタックメモリ115、ネット値更新制御部11
6、ネット値更新メモリ117で構成される。
The net value update unit 20 includes a stack access unit 114, an updated net data stack memory 115, and a net value update control unit 11.
6. It is composed of a net value update memory 117.

次に、第2図の実施例による本発明のゼロ遅延演算処
理の動作を説明する。
Next, the operation of the zero-delay calculation processing of the present invention according to the embodiment of FIG. 2 will be described.

まず、シミュレーション装置の前処理フェーズとなる
初期化時にモデル生成部10は、例えば第4図に示すゼロ
遅延プリミティブのファンイン側がゼロ遅延プリミティ
ブ可変遅延プリミティブが混在した回路モデルに対し、
第5図に示すように、ゼロ遅延プリミティブのファンイ
ン側がゼロ遅延プリミティブのみに分離したモデルと可
変遅延プリミティブのみに分離したモデルとでなる新た
な回路モデルを生成する。
First, at the time of initialization, which is a pre-processing phase of the simulation apparatus, the model generation unit 10 performs, for example, a circuit model in which the fan-in side of the zero-delay primitive shown in FIG.
As shown in FIG. 5, a new circuit model is generated in which the fan-in side of the zero-delay primitive is composed of a model separated into only the zero-delay primitive and a model separated into only the variable-delay primitive.

続いて、モデル生成部10で新たに生成された回路モデ
ルに対し、ファンアウト展開処理部12のメモリアクセス
部101がメモリ102に対しファンアウトポインタ19及びフ
ァンアウト数の設定を行ない、このファンアウトポイン
タ及びファンアウト数の設定に基づき、続いてメモリア
クセス部103がメモリ104にファンアウト展開を行なう。
更にメモリアクセス部106がファンアウト展開情報に基
づきメモリ107に対しファンアウトネットNo.の設定、詳
細遅延値に基づく立上り及び立下り入力遅延値の格納、
更に遅延素子をゼロディレイとして取扱うためのゼロデ
ィレイフラグの設定を行なう。
Subsequently, for the circuit model newly generated by the model generation unit 10, the memory access unit 101 of the fan-out expansion processing unit 12 sets the fan-out pointer 19 and the fan-out number for the memory 102, and this fan-out Subsequently, based on the setting of the pointer and the number of fan-outs, the memory access unit 103 performs fan-out expansion on the memory 104.
Further, the memory access unit 106 sets a fan-out net number for the memory 107 based on the fan-out expansion information, stores the rising and falling input delay values based on the detailed delay value,
Further, a zero delay flag for treating the delay element as a zero delay is set.

以上の初期設定が終了した状態で演算評価部18による
演算処理において、ゼロ遅延ネットNo.にイベントが発
生したとすると、演算評価部18の出力によりファンアウ
ト展開部12のメモリアクセス部101がアクセスされ、メ
モリアクセス部101によってメモリ102のファンアウトポ
インタ、ファンアウト数が読出され、更にファンアウト
ポインタ及びファンアウト数に従って、メモリアクセス
部103でファンアウト展開情報及びメモリアクセス部106
によってメモリ107からファンアウトネットNo.、立上り
及び立下り入力遅延値、更にゼロディレイフラグが読出
され、第5図の回路モデル生成時に自動的に順序付けら
れたゼロ遅延プリミティブ別にファンアウト展開処理を
実行し、二重登録防止部16のメモリアクセス部108にメ
モリ107のファンアウトネットNo.を出力する。
Assuming that an event occurs in the zero delay net No. in the arithmetic processing by the arithmetic evaluation unit 18 in a state where the above initial settings have been completed, the memory access unit 101 of the fan-out expansion unit 12 accesses by the output of the arithmetic evaluation unit 18. Then, the fan-out pointer and the fan-out number of the memory 102 are read by the memory access unit 101, and the fan-out expansion information and the memory access unit 106 are read by the memory access unit 103 in accordance with the fan-out pointer and the fan-out number.
The fan-out net No., the rising and falling input delay values, and the zero-delay flag are read from the memory 107, and the fan-out expansion process is executed for each of the zero-delay primitives automatically ordered when the circuit model of FIG. 5 is generated. Then, the fan-out net No. of the memory 107 is output to the memory access unit 108 of the double registration prevention unit 16.

メモリアクセス部108は、二重登録防止フラグメモリ1
09をアクセスし、同時刻のイベント発生時にゼロディレ
イキューメモリ部111の制御キューにゼロ遅延プリミテ
ィブが二重登録されないように制御し、二重登録防止制
御のもとにキューアクセス部110によってゼロディレイ
キューメモリ部111にファンアウト展開したゼロ遅延プ
リミティブを、モデル生成部10によるモデル生成時に、
自動的に順序付けされた順に格納する。勿論、演算評価
ゲートスタックメモリ部113に対しては、スタックアク
セス部112により可変遅延プリミティブのファンアウト
展開結果が格納される。
The memory access unit 108 has a double registration prevention flag memory 1
09 is accessed and zero-delay primitives are controlled so as not to be registered twice in the control queue of the zero-delay queue memory unit 111 when an event occurs at the same time, and zero-delay is performed by the queue access unit 110 under double registration prevention control. The zero-delay primitive fan-out expanded to the queue memory unit 111 is
Stored in automatically ordered order. Of course, the fan-out expansion result of the variable delay primitive is stored in the operation evaluation gate stack memory unit 113 by the stack access unit 112.

ここで同時刻のシミュレーション時間でネット値の更
新を行なう必要があるため、ファンクションコード部11
9のファンクションコードに従って演算評価部18でゼロ
ディレイキューメモリ部111に格納された遅延プリミテ
ィブに関する演算評価を演算評価ゲートスタックメモリ
113に優先して行ない、演算評価部18の出力値をネット
値更新部20に設けたスタックアクセス部14により更新ネ
ットデータスタックメモリ115に格納する。更新ネット
データスタックメモリ115に格納された更新ネットデー
タによりネット値更新制御部116がネット値更新メモリ1
17を更新し、同時刻におけるネット値を最新の値とす
る。以上の処理の繰り返しによりゼロ遅延プリミティブ
のファンイン側ネット値を確定した値としてシミュレー
ション処理を順序付けが自動的に考慮されて実行され、
メモリアクセス部106に設けたカウンタ105のカウンタ値
がゼロになるまで処理を繰り返す。
Here, since it is necessary to update the net value at the same simulation time, the function code 11
According to the function code of 9, the operation evaluator 18 performs an operation evaluation on the delay primitive stored in the zero delay queue memory unit 111 in an operation evaluation gate stack memory.
This is performed prior to 113, and the output value of the operation evaluation unit 18 is stored in the updated net data stack memory 115 by the stack access unit 14 provided in the net value updating unit 20. The net value update control unit 116 uses the update net data stored in the update net data stack memory 115 to
17 is updated to make the net value at the same time the latest value. By repeating the above process, the simulation process is automatically performed with the order of the fan-in side net value of the zero delay primitive determined as a determined value, and executed.
The process is repeated until the counter value of the counter 105 provided in the memory access unit 106 becomes zero.

即ち、本発明のゼロ遅延演算処理にあっては、モデル
生成部10でゼロ遅延プリミティブのみの回路モデルをフ
ァンイン側の接続先別の素子別に作成すると、イベント
発生と共に演算順序付けが自動的に行なわれるよう回路
モデル出力値を評価するための入力確定値を決定するた
めにゼロ遅延プリミティブに制御キューを設けることを
特徴とし、演算順序に従ってゼロ遅延プリミティブの演
算処理を実行し、順次同時刻のシミュレーション時間で
ネット値を更新し、確定した値によってゼロ遅延プリミ
ティブの演算処理を行なうことができる。
That is, in the zero-delay operation processing of the present invention, when a circuit model including only the zero-delay primitive is created for each element for each connection destination on the fan-in side by the model generation unit 10, the operation order is automatically performed together with the occurrence of an event. A control queue is provided in a zero-delay primitive to determine an input definite value for evaluating an output value of a circuit model so that a zero-delay primitive is operated in accordance with an operation order, and simulations are sequentially performed at the same time. The net value is updated with time, and the operation of the zero-delay primitive can be performed with the determined value.

この結果、論理シミュレーション装置におけるゼロ遅
延プリミティブ及び可変遅延プリミティブの混在した回
路モデルについてゼロ遅延素子の接続先がランダムであ
れば、同時刻ではNet値を更新する必要があり、演算に
順序性がでてくる。このため従来方式のようにゼロ遅延
プリミティブの最終接続先の検索を行ない、演算順序を
無視することにより入力値の不確定段階での無駄な演算
処理及び入力値を確定するまでの演算処理の繰り返し等
が不要となり、従来方式に比べ、高速化されたゼロ遅延
演算処理を実現することができる。
As a result, if the connection destination of the zero delay element is random with respect to the circuit model in which the zero delay primitive and the variable delay primitive are mixed in the logic simulation apparatus, it is necessary to update the Net value at the same time, and the order of the operation becomes poor. Come. Therefore, as in the conventional method, the final connection destination of the zero-delay primitive is searched, and the operation sequence is disregarded, so that the useless operation process at the stage of uncertain input value and the operation process until the input value is determined are repeated. And the like are not required, and the zero-delay operation processing speeded up as compared with the conventional method can be realized.

勿論、第4,5図の回路モデルは一例を示したにすぎ
ず、本発明は適宜の論理設計された回路モデルを対象と
して出力値を論理評価するためのゼロ遅延プリミティブ
による入力値の確定演算を高速に処理することができ
る。
Of course, the circuit models shown in FIGS. 4 and 5 are merely examples, and the present invention determines the input value using a zero-delay primitive for logically evaluating the output value for an appropriate logic-designed circuit model. Can be processed at high speed.

[発明の効果] 以上説明してきたように本発明によれば、ゼロ遅延素
子のファンイン側接続先がゼロ遅延プリミティブ及び可
変遅延プリミティブが混在した回路モデルであっても、
出力値を演算評価するためのゼロ遅延プリミティブによ
る入力値を必ず確定してから演算処理するため、演算処
理を高速に行なうことができる。
[Effects of the Invention] As described above, according to the present invention, even if the connection destination on the fan-in side of the zero delay element is a circuit model in which a zero delay primitive and a variable delay primitive are mixed,
The arithmetic processing is performed after the input value by the zero delay primitive for arithmetically evaluating the output value is always determined, so that the arithmetic processing can be performed at high speed.

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

第1図は本発明の原理説明図; 第2図は本発明の実施例構成図; 第3図はゼロ遅延プリミティブのファンイン側接続タイ
プの説明図; 第4図は本発明の処理対象回路モデルの説明図; 第5図は本発明のファンイン・ファンアウトを同一タイ
プに分離した回路モデル説明図である。 図中、 10:モデル生成部 12:ファンアウト展開処理部 14:ゼロ遅延キュー格納部 16:二重登録防止部 18:演算評価部 20:ネット値更新部 50〜69:遅延素子(ゼロディレイ) 101,103,106,108:メモリアクセス部 102,104,107:メモリ 105:カウンタ 109:二重登録防止フラグメモリ 110:キューアクセス部 111:ゼロディレイキューメモリ 112,114:スタックアクセス部 113:演算評価ゲートスタックメモリ 115:更新ネットデータスタックメモリ 116:ネット値更新制御部 117:ネット値更新メモリ
FIG. 1 is a diagram illustrating the principle of the present invention; FIG. 2 is a diagram illustrating the configuration of an embodiment of the present invention; FIG. 3 is a diagram illustrating a fan-in side connection type of a zero-delay primitive; FIG. FIG. 5 is an explanatory diagram of a circuit model in which fan-in and fan-out of the present invention are separated into the same type. In the figure, 10: Model generation unit 12: Fan-out expansion processing unit 14: Zero delay queue storage unit 16: Double registration prevention unit 18: Operation evaluation unit 20: Net value update unit 50 to 69: Delay element (zero delay) 101, 103, 106, 108: Memory access unit 102, 104, 107: Memory 105: Counter 109: Double registration prevention flag memory 110: Queue access unit 111: Zero delay queue memory 112, 114: Stack access unit 113: Operation evaluation gate stack memory 115: Update net data stack memory 116 : Net value update controller 117: Net value update memory

Claims (1)

(57)【特許請求の範囲】(57) [Claims] 【請求項1】入出力接続先にゼロ遅延プリミテイブと可
変遅延プリミティブが混在した回路モデルを対象とし、
該回路モデルの出力値を演算評価するために前記ゼロ遅
延プリミティブによる入力値を確定する演算を実行する
シミュレーション装置のゼロ遅延演算処理方式に於い
て、 前記回路モデルに基づき、ゼロ遅延プリミティブのみに
入出力接続されたモデルと、可変遅延プリミティブのみ
に入出力接続されたモデルとに分離した新たな回路モデ
ルを生成するモデル生成部(10)と; 該モデル生成部(10)で生成されたゼロ遅延プリミティ
ブのみの入力接続をもつ遅延素子を識別し、ネット番号
に対応してフアンアウト展開するファンアウト展開処理
部(12); ゼロ遅延ネット値にイベントが発生した際に、該ファン
アウト展開処理部(12)のアクセスで得られたゼロ遅延
プリミテイブをを専用キューに格納するゼロ遅延キュー
格納部(14)と; 該ゼロ遅延キュー格納部(14)の専用キューに対する同
時イベント発生時の二重登録を防止する二重登録防止部
(16)と; 前記ゼロ遅延キュー格納部(14)の専用キューに格納さ
れたゼロ遅延プリミティブに基づきファンクショクコー
ドに応じた演算を行なって零遅延又は遅延プリミティブ
の出力値を確定する演算評価部(18)と; 同一シミュレーション時刻で複数のゼロ遅延プリミティ
ブに同時イベント発生があった場合には、次のゼロ遅延
プリミティブの出力値確定のためにネット値を更新して
前記ファンアウト展開処理部(12)をアクセスするネッ
ト値更新部(20)と;を備え、前記ファンアウト展開処
理部(12)、ゼロ遅延キュー処理部(14)、二重登録防
止部(16)、演算評価部(18)及びネット値更新部(2
0)の順次処理を前記ゼロ遅延キュー処理部(14)の専
用キューが空になるまで繰り返すようにしたことを特徴
とするシミュレーション装置のゼロ遅延演算処理方式。
1. A circuit model in which a zero delay primitive and a variable delay primitive are mixed at an input / output connection destination.
In a zero-delay operation processing method of a simulation apparatus for executing an operation for determining an input value by the zero-delay primitive in order to evaluate an output value of the circuit model, based on the circuit model, only a zero-delay primitive is input. A model generator (10) for generating a new circuit model separated into an output-connected model and a model connected only to the variable delay primitive, and a zero delay generated by the model generator (10) A fan-out expansion processing unit (12) for identifying a delay element having an input connection of only a primitive and expanding the fan-out in accordance with a net number; A zero-delay queue storage unit (14) for storing the zero-delay primitive obtained by the access in (12) in a dedicated queue; A double registration prevention unit (16) for preventing double registration when a simultaneous event occurs in a dedicated queue of the delay queue storage unit (14); and a zero delay stored in a dedicated queue of the zero delay queue storage unit (14). An operation evaluator (18) for performing an operation according to a functional code based on the primitive to determine an output value of the zero-delay or delay primitive; and when a plurality of zero-delay primitives have a simultaneous event at the same simulation time. A net value updating unit (20) for updating a net value to determine the output value of the next zero-delay primitive and accessing the fan-out expansion processing unit (12). (12), zero delay queue processing unit (14), double registration prevention unit (16), operation evaluation unit (18), and net value update unit (2
A zero-delay operation processing method for a simulation apparatus, wherein the sequential processing of 0) is repeated until the dedicated queue of the zero-delay queue processing unit (14) becomes empty.
JP25410388A 1988-10-07 1988-10-07 Zero-delay operation processing method for simulation equipment Expired - Fee Related JP2729061B2 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP25410388A JP2729061B2 (en) 1988-10-07 1988-10-07 Zero-delay operation processing method for simulation equipment

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP25410388A JP2729061B2 (en) 1988-10-07 1988-10-07 Zero-delay operation processing method for simulation equipment

Publications (2)

Publication Number Publication Date
JPH02100729A JPH02100729A (en) 1990-04-12
JP2729061B2 true JP2729061B2 (en) 1998-03-18

Family

ID=17260264

Family Applications (1)

Application Number Title Priority Date Filing Date
JP25410388A Expired - Fee Related JP2729061B2 (en) 1988-10-07 1988-10-07 Zero-delay operation processing method for simulation equipment

Country Status (1)

Country Link
JP (1) JP2729061B2 (en)

Also Published As

Publication number Publication date
JPH02100729A (en) 1990-04-12

Similar Documents

Publication Publication Date Title
JP3857961B2 (en) Computer-aided design method and apparatus based on digital circuit logic network
US7409377B2 (en) Accelerated solution of constraint satisfaction problems by partitioning of the variable space
JPH0230056B2 (en)
WO1986005900A1 (en) An array for simulating computer functions for large computer systems
CN110941934A (en) FPGA prototype verification development board segmentation simulation system, method, medium and terminal
JP2729061B2 (en) Zero-delay operation processing method for simulation equipment
US7051301B2 (en) System and method for building a test case including a summary of instructions
JPH1091677A (en) Logical conversion method for increasing efficiency of simulation/emulation
JP3212709B2 (en) Logic simulation device
Raymond Tutorial Series 10 LSI/VLSI Design Automation
JPH07287051A (en) Input data creation device for logic simulation
JPH0345580B2 (en)
Birmingham et al. MICON: Automated design of computer systems
Donath et al. Parallel multi-level simulation with a conservative approach
JPS593652A (en) Hardware logical simulator
JP3037787B2 (en) Logic simulation method and logic simulation device
JPH0291770A (en) Racing check system for simulation device
WO2022260870A1 (en) Deterministic netlistic transformations in a multi-processor parallel computing system
EP4352647A1 (en) Deterministic netlistic transformations in a multi-processor parallel computing system
Marranghello et al. Architecture and algorithm of a circuit simulator
Weber A tool for computer design
Rouse A simulation and diagnosis system incorporating various time delay models and functional elements
JP2850629B2 (en) Logic verification system
Kaufman Modeling of Digital Systems Using Microprocessors
Foulk CAD in electronics

Legal Events

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