JPH04564A - Logical simulation system - Google Patents

Logical simulation system

Info

Publication number
JPH04564A
JPH04564A JP2100592A JP10059290A JPH04564A JP H04564 A JPH04564 A JP H04564A JP 2100592 A JP2100592 A JP 2100592A JP 10059290 A JP10059290 A JP 10059290A JP H04564 A JPH04564 A JP H04564A
Authority
JP
Japan
Prior art keywords
logic
gate
input
logical
change
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
JP2100592A
Other languages
Japanese (ja)
Inventor
Tatsuya Minagawa
皆川 達哉
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.)
NEC Corp
Original Assignee
NEC 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 NEC Corp filed Critical NEC Corp
Priority to JP2100592A priority Critical patent/JPH04564A/en
Publication of JPH04564A publication Critical patent/JPH04564A/en
Pending legal-status Critical Current

Links

Abstract

PURPOSE:To shorten a processing time and to improve the using efficiency of a memory by replacing all logical elements by interface gates each of which has an input and an output corresponding to an input terminal and an output terminal and executing simulation. CONSTITUTION:An interface gate forming means 11 forms a gate having an input and an output corresponding to the input and output terminals of a logical element to be simulated and forms circuit data 101. A logical operation defining means 12 defines the logical operation of an objective logical element by program language and forms logical operation description 102. When a change is generated in the input status value of the gate, a logical gate evaluating means 13 refers and evaluates the description 102 and determines the operation of the logical element. When a change is generated in the status value of the output terminal of the logical element, a status change propagating means 14 transmits the change to the gate and then propagates and registers the status change to the fan-out destination of the gate. Thus, the processing time can be shortened and the using efficiency of the memory can be improved.

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は論理回路のシミュレーション方式に関する。[Detailed description of the invention] [Industrial application field] The present invention relates to a logic circuit simulation method.

〔技術環境〕[Technological environment]

従来の半導体技術の進歩によりLSIの規模が増大し、
その応用分野も急激に広かりつつある。
Advances in conventional semiconductor technology have increased the scale of LSIs,
Its application fields are also rapidly expanding.

また、LSIの製造形態も少品種多量生産から多品種少
量生産へと移行し、製品のライフサイクルも短かくなり
つつある。これに伴い、以前にも増して必要な機能を早
くかつ正しく実現できる設計支援システムが必要不可欠
となってきているにのため、実際にLSIを製造する前
に論理、タイミング検証を行う論理シミュレータが開発
され広く活用されている。
Furthermore, the manufacturing style of LSIs has shifted from high-volume production of a small number of products to high-mix low-volume production, and product life cycles are also becoming shorter. Along with this, design support systems that can realize necessary functions quickly and correctly are becoming more essential than ever before, so logic simulators that verify logic and timing before actually manufacturing LSIs are becoming more and more essential. developed and widely used.

初期の論理シミュレータは回路中の全ての素子をAND
、OR,フリップフロップ等−ゲートに分解しシミュレ
ーションを行うゲートレベルシミュトータが一般的であ
ったが、LSIが大規模化、複雑化するに従い回路中の
素子の機能を特別な言語で記述し、素子単位てシミュレ
ーションを実行する機能レベルシミュレータ、あるいは
ゲートレベルシミュレータと機能レベルシミュレータを
混合したM I Xレヘルシミュレータ等の上位レベル
シミュレータが開発されm一部実用化されている。
Early logic simulators ANDed all the elements in the circuit.
, OR, flip-flop, etc. - gate level simulators that perform simulations by decomposing them into gates were common, but as LSIs have become larger and more complex, the functions of the elements in the circuit have been described in a special language. Higher level simulators such as a functional level simulator that executes simulation for each element or an MIX level simulator that is a mixture of a gate level simulator and a functional level simulator have been developed, and some of them have been put into practical use.

し従来の技術〕 従来の上位レベルシミュレータは、シミュレーション対
象の回路中に存在する論理素子毎に論理動作を定義する
論理動作定義手段と、前記論理素子の入力状態値を記憶
する入力状態値記憶手段と、前記論理素子の出力状態値
を記憶する出力状態値記憶手段と、前記入力状態値に変
化が生じた時に前記論理動作定義手段により前記論理素
子の動作を決定する論理ゲート評価手段と、前記論理素
子の出力端子の状態値に変化が生じた時に変化の生ヒ、
た前記出力端子のファンアウト先へ前記状態変化を伝搬
させる状態変化伝搬手段とを含んで構成されている。
[Prior Art] A conventional upper level simulator has a logic operation definition means for defining a logic operation for each logic element existing in a circuit to be simulated, and an input state value storage means for storing input state values of the logic elements. and output state value storage means for storing an output state value of the logic element; logic gate evaluation means for determining the operation of the logic element by the logic operation definition means when a change occurs in the input state value; When a change occurs in the state value of the output terminal of a logic element, the change occurs,
and state change propagating means for propagating the state change to a fan-out destination of the output terminal.

〔発明か解決しようとする課題〕[Invention or problem to be solved]

上述した従来の上位レベルシミスレータは、各論理素子
毎に入力状態値、出力状態値を管理するので、任意側の
端子をもつ論理素子のシミュレーションを実現するため
に子−タ構造内にポインタをもちデータの一部を可変長
とするか、または入力端子、出力端子の状態値を格納す
る領域をあらがしめ大きく確保している2、シたがって
その領域にデータを格納するスこめにデータ アクセス
にポインタ処理を伴い多大な時間を要する、あるいはメ
モリ使用効率が悪化するという欠点があった。
The conventional upper-level simulator described above manages input state values and output state values for each logic element, so in order to simulate a logic element with terminals on any side, a pointer is stored in the child structure. 2, and some of the data is of variable length, or a large area is reserved for storing the state values of input and output terminals. The disadvantages are that data access requires pointer processing, which takes a lot of time, and memory usage efficiency deteriorates.

〔課題を解決するための手l〕[Measures to solve problems]

本発明の論理シミュレーション方式は、シミュレーショ
ン対象の論理回路内に存在する論理素子毎に論理動作を
定義する論理動作定義手段と 前記論理素子の入力端子
、出力端子毎に1入力1出力のインターフェース用ケ−
1−を生成するインターフェース用ゲー1−生成手段と
、前記インターフェース用ゲートの入力状態値に変化が
生した時に前記論理動作定義手段より前記インターフェ
ース用ケートが属する前記論理素子の動作を決定する論
理ゲート評価手段と、前記論理素子の出力端の状態値ζ
こ変化か生じた場合に前記出力端に接続される前dピイ
ンターフェース用ゲートに状態変化を伝達し、さらにイ
ンターフェース用ケートのファンアウト先l\前記状態
変化を伝搬させる状態変化伝搬手段とを含むよらにして
実現される。
The logic simulation method of the present invention includes a logic operation definition means for defining a logic operation for each logic element existing in a logic circuit to be simulated, and an interface case with one input and one output for each input terminal and output terminal of the logic element. −
an interface gate 1- generating means for generating an interface gate 1-, and a logic gate that determines the operation of the logic element to which the interface gate belongs from the logic operation defining means when a change occurs in the input state value of the interface gate. evaluation means and the state value ζ of the output terminal of the logic element;
and state change propagation means for transmitting the state change to the front d pin interface gate connected to the output terminal when this change occurs, and further propagating the state change to the fan-out destination of the interface gate. It is realized by twisting.

〔実施例〕〔Example〕

次に、本発、 町Hy)実施例について、図面を参照し
て詳細に説明−苧る。
Next, embodiments of the present invention will be explained in detail with reference to the drawings.

第1図は本発明による論理シミュレー・ジョン方式の一
実施例を示すフローチャートである。同図において論理
シミー+−1,−ジョン方式は、インター−】:−ス用
ゲー ト・生成手段11と7鍮理動作定義手?’、Q 
12と2論理ゲ一ト評価手段13と、状態変化伝搬手段
14とを有する。
FIG. 1 is a flowchart showing one embodiment of the logic simulation method according to the present invention. In the same figure, the logic shimmy +-1,- John method is inter-]:- gate/generation means 11 and 7 brass physical operation definition method? ',Q
12 and 2 logic gate evaluation means 13, and state change propagation means 14.

インターフェース用ゲート佐成手段11はシミュレーシ
ョン対象め論理回路内に存在する論理素子(5へND、
OR,、FF’1lj)(’)入力端子、 出力端子毎
に1入力l出力のインターフェース用ゲートを生成し、
回路データ10 lを作成する。
The interface gate generation means 11 connects logic elements (ND to 5,
OR,, FF'1lj)(') Generates an interface gate with 1 input and 1 output for each input terminal and output terminal,
Create circuit data 10l.

給理勤イ¥定義手段12はシミュレーション対象の論理
回路内に存在する論理素子の論理動作をプログラム言語
によって定義し、論理動作記述1゜2を作成する。
The payroll definition means 12 defines the logical operation of a logic element existing in a logic circuit to be simulated using a programming language, and creates a logical operation description 1.2.

論理ゲート評価手段13は、インターフェース用ゲート
の入力状態値に変化が生じた時、インターフェース用ゲ
ートt゛・昂する論理累、子の論理動作記述102を参
照、評価し、論理素子の動作をi宍定する。状態変化伝
搬手段14i、1  論理素子の出力端子の状態値に変
化か生じた場合、出力端子に接続されるインターフェー
ス用ゲー1−に状態変化を伝達し、さらにインター・フ
ェース用ゲートのファンア゛ウド先へ状態変化を伝搬5
登録する。
When a change occurs in the input state value of the interface gate, the logic gate evaluation means 13 refers to and evaluates the logic operation description 102 of the interface gate t, the increasing logic, and the child, and evaluates the operation of the logic element i. Determine. State change propagation means 14i, 1 When a change occurs in the state value of the output terminal of the logic element, the state change is transmitted to the interface gate 1- connected to the output terminal, and further to the fan gate of the interface gate. Propagate state change to the destination 5
register.

インターフェース用ゲート生成手段1]と論理動作定義
手段12は論理シミュレーション前処理に相当し、論理
ゲート評価手段]3と状態変化伝搬手段1.1は論理シ
ミュト、−ジョン実行部に相当する。
The interface gate generation means 1] and logic operation definition means 12 correspond to logic simulation preprocessing, and the logic gate evaluation means 3 and state change propagation means 1.1 correspond to a logic simulation execution unit.

第2図は第1図に示すインターフェース用ゲート生成手
段11の例を示す説明図である。同図(a)の論理素子
2]は同図(b)のように複数のインターフェース用ゲ
ート(入力側)22.インターフェース用ゲート(出力
側)23にモデリングされる。同図(b)において、点
線部は回路データ中に実体は存在せず、インターフェー
ス用ゲート(入力側)22に入力状態か登録されたとき
参照すべき論理動作定義ファイルが存在する事を示して
いる。
FIG. 2 is an explanatory diagram showing an example of the interface gate generating means 11 shown in FIG. 1. The logic element 2 shown in FIG. 2(a) has a plurality of interface gates (input side) 22, as shown in FIG. The interface gate (output side) 23 is modeled. In the same figure (b), the dotted line part does not exist in the circuit data, but indicates that there is a logic operation definition file to be referred to when the input state is registered in the interface gate (input side) 22. There is.

同様にして同図(C)に示す回路は同図(d)に示す回
路のようにモデリングされる。
Similarly, the circuit shown in FIG. 3(C) is modeled as the circuit shown in FIG. 3(d).

第3図は論理動作定義手段12の例を示す説明図である
。同図において、31は論理素子、32は論理動作記述
を示す。同図(a、 )において、論理素子3コは入力
端子が4個(A、B、C。
FIG. 3 is an explanatory diagram showing an example of the logical operation defining means 12. In the figure, numeral 31 indicates a logic element, and numeral 32 indicates a logic operation description. In the same figure (a, ), three logic elements have four input terminals (A, B, C).

D)、出力端子が2個(Ql、Q2)あり、動作として
B、C,Dの論理積とAの論理和を演算した値をQlへ
、A、、B、Cの論理積とDの論理和を演算した値をQ
2へ出力すると仮定すると、論理動作記述32が得られ
る(第3図(b)参照〉。ここで+′は論理和、“ד
は論理積である。
D), there are two output terminals (Ql, Q2), and as an operation, the value obtained by calculating the logical product of B, C, and D and the logical sum of A is sent to Ql, the logical product of A, , B, and C, and the logical sum of D. The value obtained by calculating the logical sum is Q
2, logical behavior description 32 is obtained (see Figure 3(b)). Here, +' is the logical sum, "×"
is a logical product.

このように論理素子が組み合わせ回路の場合、動作はプ
ール代数を使用して表現する事か可能である。また論理
素子が順序回路のように内部状態をもつ場合、すなわち
出力端子の状態値か入力端子の状態値だけからは決定す
ることができない場合は、動作記述の中に内部状態に関
する変数を定義する事により複雑な動作も記述する事が
可能となる。
In this way, when the logic element is a combinational circuit, the operation can be expressed using pool algebra. Also, if the logic element has an internal state like a sequential circuit, that is, if it cannot be determined from only the state value of the output terminal or the state value of the input terminal, define variables related to the internal state in the behavioral description. This makes it possible to describe even complex operations.

第4図は論理ゲート評価手段j3の処理動作を示すフロ
ーチャートである。論理ゲー)・評価子ト(13はシミ
ュレーション対象の論理回路内に存在する全ての論理素
子に適用される、同図6.−おいてシミュレーション対
象の論理回路内に存在する論理素子の中でインターフェ
ース用ゲー1へ(入力側)の入力状態値の変化したもの
に注目しくステップ42)、上述した論理動作定義手段
12により作成された論理動作記述102を参照し論理
素子の動作を評価する(ステップ43) そして出力端
子に変化が生じた論理素子の力状態変化論理素子リスト
へ登録する(ステップ44.4.5)。
FIG. 4 is a flowchart showing the processing operation of the logic gate evaluation means j3. (13 is applied to all the logic elements existing in the logic circuit to be simulated, and the interface among the logic elements existing in the logic circuit to be simulated is shown in Figure 6). Pay attention to changes in the input state values to the game 1 (input side) (step 42), and evaluate the operation of the logic element with reference to the logic operation description 102 created by the logic operation definition means 12 (step 42). 43) Then, the logic element whose output terminal has changed is registered in the force state change logic element list (step 44.4.5).

これを全ての論理素子について実施する(ステ・・ノブ
41)。上記の状態変化論理素子リストは状態値を伝搬
させる論理素子のリストであり、状態変化伝搬手段14
にて参照される。
This is performed for all logic elements (step knob 41). The above state change logic element list is a list of logic elements that propagate state values, and the state change propagation means 14
Referenced in

第5図(a)は状態変化伝搬手段]4の処理動作を示す
フローチャートである6同図(a)において状態変化伝
搬手段14は上述した論理ゲート評価手段13により作
成された状態変化論理素子リスト及び論理素子の出力端
子からの接続先を格納したファンアウトリストを参照し
て状態値を接続先へ伝搬する(ステップ52)。これを
状態変化論理素子リスト上の全ての論理素子を処理する
までくり返す(ステップ5])6上記のファンアウトリ
ストは一般に第5図(b)のような構成となる。すなわ
ち出力端子名に対応して接続先論理素子、入力ピン名が
ペアで記述される。
FIG. 5(a) is a flowchart showing the processing operation of the state change propagation means 4. In FIG. Then, the state value is propagated to the connection destination by referring to the fan-out list that stores the connection destination from the output terminal of the logic element (step 52). This process is repeated until all logic elements on the state change logic element list are processed (step 5).6 The above fan-out list generally has a configuration as shown in FIG. 5(b). That is, the connection destination logic element and input pin name are described in pairs corresponding to the output terminal name.

〔発明の効果〕〔Effect of the invention〕

本発明の論理シミュレーション方式は、全ての論理素子
を入力端子、出力端子毎に1入力]出力のインターフェ
ース用ゲートに置換しシミュレーションを実行するのて
、管理する最小単位のデータ構造が論理素子の入力端子
、出力端子の数によらず一意に決定され、またポインタ
処理が不要となる。したかって処理時間が短縮され、凍
・要最小限のメモリ領域のみ確保するので、メモリ使用
効率が改善されるという効果かある。
The logic simulation method of the present invention replaces all logic elements with interface gates with one input and one output for each input terminal and output terminal and executes the simulation, so that the minimum unit data structure to be managed is the input of the logic element. It is determined uniquely regardless of the number of terminals and output terminals, and pointer processing is not required. As a result, processing time is shortened, and since only the minimum required memory area is secured, memory usage efficiency is improved.

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

第1図は本発明の一実施例を示すフローチャート、第2
図はインターフェース用ゲート生成手段の例を示す説明
図、第3図は論理動作定義4: p v>例を示す説明
図、第4図は論理ゲーI−評価手段、パ処理動作を示す
フローチャート、第5図LJ′状態変化伝搬手段の処理
動作を示す説明図であ乙、511・・・インターフェー
ス用ゲート生成手段、]2・・・論理動作定義手段、1
3・・・論理ゲート評価手段、14・・状態変化伝搬手
段、2]・論理素子、2・・・インターフェース用ゲー
ト (入力側) 3・・・インターフェース用ゲート (出力側)
FIG. 1 is a flowchart showing one embodiment of the present invention, and FIG.
3 is an explanatory diagram showing an example of logic operation definition 4: p v>; FIG. 4 is a flowchart illustrating logic game I-evaluation means; FIG. 5 is an explanatory diagram showing the processing operation of LJ' state change propagation means; 511...interface gate generation means;]2...logic operation definition means;
3...Logic gate evaluation means, 14...State change propagation means, 2]-Logic element, 2...Interface gate (input side) 3...Interface gate (output side)

Claims (1)

【特許請求の範囲】[Claims] シミュレーション対象の論理回路内に存在する論理素子
毎に論理動作を定義する論理動作定義手段と、前記倫理
素子の入力端子、出力端子毎に1入力1出力のインター
フェース用ゲートを生成するインターフェース用ゲート
生成手段と、前記インターフェース用ゲートの入力状態
値に変化が生じた時に前記論理動作定義手段より前記イ
ンターフェース用ゲートが属する前記論理素子の動作を
決定する論理ゲート評価手段と、前記論理素子の出力端
の状態値に変化が生じた場合に前記出力端に接続される
前記インターフェース用ゲートに状態変化を伝達し、さ
らにインターフェース用ゲートのファンアウト先へ前記
状態変化を伝搬させる状態変化伝搬手段とを含むことを
特徴とする論理シミュレーション方式。
Logic operation definition means for defining logical operation for each logic element existing in a logic circuit to be simulated; and interface gate generation for generating a 1-input, 1-output interface gate for each input terminal and output terminal of the logic element. means for determining the operation of the logic element to which the interface gate belongs based on the logic operation definition means when the input state value of the interface gate changes; and an output terminal of the logic element. and state change propagation means for transmitting the state change to the interface gate connected to the output terminal when a change in state value occurs, and further propagating the state change to a fan-out destination of the interface gate. A logical simulation method characterized by
JP2100592A 1990-04-17 1990-04-17 Logical simulation system Pending JPH04564A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP2100592A JPH04564A (en) 1990-04-17 1990-04-17 Logical simulation system

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2100592A JPH04564A (en) 1990-04-17 1990-04-17 Logical simulation system

Publications (1)

Publication Number Publication Date
JPH04564A true JPH04564A (en) 1992-01-06

Family

ID=14278145

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2100592A Pending JPH04564A (en) 1990-04-17 1990-04-17 Logical simulation system

Country Status (1)

Country Link
JP (1) JPH04564A (en)

Similar Documents

Publication Publication Date Title
US7769577B2 (en) Hardware accelerator with a single partition for latches and combinational logic
Brzozowski et al. On the delay-sensitivity of gate networks
Hu Formal hardware verification with BDDs: An introduction
US6665844B1 (en) Circuit synthesis verification method and apparatus
US5422833A (en) Method and system for propagating data type for circuit design from a high level block diagram
US5790830A (en) Extracting accurate and efficient timing models of latch-based designs
Mishchenko et al. Using simulation and satisfiability to compute flexibilities in Boolean networks
Hulgaard et al. Equivalence checking of combinational circuits using boolean expression diagrams
Chappell et al. LAMP: Logic‐Circuit Simulators
Shahdad An overview of VHDL language and technology
Smedley et al. Visual languages for the design and development of structured objects
US11657198B2 (en) Verification of hardware design for data transformation component
Chau et al. A hierarchical approach to self-timed circuit verification
Newton et al. CAD tools for ASIC design
JPH04564A (en) Logical simulation system
May Use of formal methods by a silicon manufacturer
Rossen Proving (facts about) Ruby
US10635766B2 (en) Simulation employing level-dependent multitype events
US11615225B2 (en) Logic simulation of circuit designs using on-the-fly bit reduction for constraint solving
MacEvoy et al. Theoretical foundations of hardware design
US20230177244A1 (en) Creation of reduced formal model for scalable system-on-chip (soc) level connectivity verification
Marakkalage et al. Scalable Sequential Optimization Under Observability Don't Cares
Prothero Modelling and implementation of petri nets using VHDL
Aarna et al. Parallel fault simulation of digital circuits
Grabowiecki et al. Prolog as a formalism for VLSI design specification