JPH04564A - Logical simulation system - Google Patents
Logical simulation systemInfo
- 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
Links
- 238000004088 simulation Methods 0.000 title claims abstract description 12
- 230000001902 propagating effect Effects 0.000 claims abstract description 5
- 238000000034 method Methods 0.000 claims description 8
- 238000011156 evaluation Methods 0.000 description 8
- 238000010586 diagram Methods 0.000 description 4
- 238000004519 manufacturing process Methods 0.000 description 4
- 239000000203 mixture Substances 0.000 description 3
- 230000006870 function Effects 0.000 description 2
- 229910001369 Brass Inorganic materials 0.000 description 1
- 230000006399 behavior Effects 0.000 description 1
- 230000003542 behavioural effect Effects 0.000 description 1
- 239000010951 brass Substances 0.000 description 1
- 230000000694 effects Effects 0.000 description 1
- 238000007781 pre-processing Methods 0.000 description 1
- 230000000644 propagated effect Effects 0.000 description 1
- 239000004065 semiconductor Substances 0.000 description 1
Abstract
Description
【発明の詳細な説明】 〔産業上の利用分野〕 本発明は論理回路のシミュレーション方式に関する。[Detailed description of the invention] [Industrial application field] The present invention relates to a logic circuit simulation method.
従来の半導体技術の進歩により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.
上述した従来の上位レベルシミスレータは、各論理素子
毎に入力状態値、出力状態値を管理するので、任意側の
端子をもつ論理素子のシミュレーションを実現するため
に子−タ構造内にポインタをもちデータの一部を可変長
とするか、または入力端子、出力端子の状態値を格納す
る領域をあらがしめ大きく確保している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.
本発明の論理シミュレーション方式は、シミュレーショ
ン対象の論理回路内に存在する論理素子毎に論理動作を
定義する論理動作定義手段と 前記論理素子の入力端子
、出力端子毎に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.
次に、本発、 町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.
本発明の論理シミュレーション方式は、全ての論理素子
を入力端子、出力端子毎に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.
第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)
毎に論理動作を定義する論理動作定義手段と、前記倫理
素子の入力端子、出力端子毎に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
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) |
-
1990
- 1990-04-17 JP JP2100592A patent/JPH04564A/en active Pending
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 |