JPS63288356A - Logical simulator - Google Patents

Logical simulator

Info

Publication number
JPS63288356A
JPS63288356A JP62124219A JP12421987A JPS63288356A JP S63288356 A JPS63288356 A JP S63288356A JP 62124219 A JP62124219 A JP 62124219A JP 12421987 A JP12421987 A JP 12421987A JP S63288356 A JPS63288356 A JP S63288356A
Authority
JP
Japan
Prior art keywords
circuit
delay
simulation
section
element evaluation
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
JP62124219A
Other languages
Japanese (ja)
Inventor
Hiroshi Mizuno
洋 水野
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.)
Panasonic Holdings Corp
Original Assignee
Matsushita Electric Industrial Co 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 Matsushita Electric Industrial Co Ltd filed Critical Matsushita Electric Industrial Co Ltd
Priority to JP62124219A priority Critical patent/JPS63288356A/en
Publication of JPS63288356A publication Critical patent/JPS63288356A/en
Pending legal-status Critical Current

Links

Landscapes

  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)

Abstract

PURPOSE:To process a delay and to execute a simulation of a high speed by assigning an element in a circuit for executing a simulation to each element evaluating part consisting of an arithmetic part and a delay part, and executing the simulation. CONSTITUTION:Before executing a simulation, under the control of a control part 3, each element evaluating part 1 having an arithmetic part 4 and a delay part 5 is connected by a wiring part 3 in accordance with connecting information of a circuit for executing the simulation. Simultaneously, to the element evaluating part 1, an element in said circuit is assigned, and a definition of a logical operation of the arithmetic part 4 and a definition of a delay time of the delay part 5 are executed by the control part 3. On the other hand, at the time of executing the simulation, each element evaluating part 1 is operated, while varying a signal inputted to each element evaluating part 1 by the control part 3, and a variation of an output of each element evaluating part 1 is observed. In this case, each element evaluating part 1 operates independently, therefore, the processing is executed at a high speed due to the parallel property contained latently in the circuit.

Description

【発明の詳細な説明】 産業上の利用分野 本発明は論理シミュレーションを高速に実行する専用の
論理シミュレータに関するものである。
DETAILED DESCRIPTION OF THE INVENTION Field of Industrial Application The present invention relates to a dedicated logic simulator that executes logic simulations at high speed.

従来の技術 従来の論理シミュレータは、アイイイイー デザイン 
アンド テスト オブコンピュータズ(IEEE De
sign & Te5t of Computers)
 、 vol 1. n。
Conventional technology Conventional logic simulators are
and Test of Computers (IEEE De
sign & Te5t of Computers)
, vol 1. n.

、3. pp21−39.Aug、 1984に掲載の
’A 5urvey ofHardware Acce
lerators Used in Computer
−Aided Design”等に記載されている。
, 3. pp21-39. 'A 5urvey of Hardware Acce, published in August, 1984.
leratorsUsed in Computer
-Aided Design” etc.

論理シミュレーションの方式には、コンパイルドコード
方式とイベント駆動方式とがある。コンパイルドコード
方式のアルゴリズムは、回路中の各素子毎にその演算に
対応する命令コードを生成し、生成された命令コードを
信号の伝搬順に従って実行することによりシミュレーシ
ョンを実行するものである。イベント駆動方式のアルゴ
リズムは、回路中での信号値の変化をイベントとし、そ
のイベントの発生している部分について順次演算を行う
ことによりシミュレーションを実行するものである。こ
れらの方式の詳細については、例えば株式会社岩波書店
発行のrVLSIの設計■」の第4章に記載がある。
Logic simulation methods include a compiled code method and an event-driven method. The compiled code algorithm generates an instruction code corresponding to the operation for each element in the circuit, and executes the simulation by executing the generated instruction code in the order of signal propagation. The event-driven algorithm uses a change in a signal value in a circuit as an event, and executes a simulation by sequentially performing calculations on the portion where the event occurs. Details of these methods are described in, for example, Chapter 4 of ``Design of rVLSI ■'' published by Iwanami Shoten Co., Ltd.

前記のアイイイイー デザイン アンド テスト オブ
コンピュータズに記載されている論理シミュレータもコ
ンパイルドコード方式またはイベント駆動方式のアルゴ
リズムをハードウェア化した構成を成している。
The logic simulator described in the aforementioned III Design and Test of Computers also has a configuration in which a compiled code type or event driven type algorithm is implemented in hardware.

発明が解決しようとする問題点 従来のコンパイルドコード方式の論理シミュレ−タでは
、零遅延または単位遅延しか扱えず各素子毎の任意の遅
延を直接扱うことができず、遅延を扱うためには、遅延
用の仮想素子を挿入し、複数回に分けてシミュレーショ
ンを行わなければならなかった。また、ループを含む回
路を直接扱うことができず、ループを切断し分割された
部分回路を用いてシミュレーションを行わなければなら
なかった。
Problems to be Solved by the Invention Conventional compiled code type logic simulators can only handle zero delay or unit delay and cannot directly handle arbitrary delays for each element. , it was necessary to insert a virtual element for delay and perform the simulation multiple times. Furthermore, it is not possible to directly handle circuits containing loops, and simulations must be performed using partial circuits obtained by cutting the loops.

また、イベント駆動方式の論理シミュレータは、遅延を
直接扱え、回路にループが含まれていてもそのままシミ
ュレーションを実行することが可能である。このイベン
ト駆動方式の論理シミュレータにおいてシミュレーショ
ンの高速化のために採られる手法は、イベント駆動方式
アルゴリズムに係る処理をパイプライン化するというも
のがある。
In addition, event-driven logic simulators can directly handle delays and can run simulations even if a circuit includes a loop. In order to speed up the simulation in this event-driven logic simulator, there is a method of pipelining the processing related to the event-driven algorithm.

パイプライン化による高速化は、その段数分の処理が並
列に行われることにより実現されるが、並列処理が行わ
れているパイプラインの段数は一定である。実際の回路
上では信号の変化は並列に流れていくが、イベント駆動
方式の処理では信号の変化がイベントに対応し、そのイ
ベントを逐次処理していくため、回路規模が増大するに
伴い、その処理に要する時間も増大する。また、回路を
分割し複数のイベント駆動方式の論理シミュレータを用
いてシミュレーションを行う方式も用いられるが、イベ
ントは動的に発生するため、ある部分回路に対してイベ
ントが集中して発生した場合、並列処理の効果が低減し
全体の処理速度が低下してしまう。
Speeding up by pipelining is achieved by performing the same number of stages of processing in parallel, but the number of pipeline stages in which parallel processing is performed is constant. In an actual circuit, signal changes flow in parallel, but in event-driven processing, signal changes correspond to events, and the events are processed sequentially. The time required for processing also increases. Another method is to divide the circuit and perform simulation using multiple event-driven logic simulators, but since events occur dynamically, if events occur in a concentrated manner in a certain partial circuit, The effect of parallel processing is reduced and the overall processing speed is reduced.

本発明はかかる点に鑑み、遅延を扱うことが可能であり
かつ回路規模が増大しても回路に潜在的に含まれる並列
性を利用し、高速に論理シミュレーションを行う論理シ
ミュレータを提供することを目的とする。
In view of this, it is an object of the present invention to provide a logic simulator that can handle delays and performs logic simulations at high speed by utilizing the parallelism potentially included in the circuit even when the circuit scale increases. purpose.

問題点を解決するための手段 本発明に係る論理シミュレータは前述の問題点を解決す
べく、論理演算を実行する演算部と遅延を実行する遅延
部とから成る素子評価部複数個と、素子評価部間を接続
する配線部と、前記の素子評価部と配線部を制御する制
御部とからなる論理シミュレータである。
Means for Solving the Problems In order to solve the above-mentioned problems, the logic simulator according to the present invention includes a plurality of element evaluation units each including a calculation unit that executes a logical operation and a delay unit that executes a delay; This logic simulator includes a wiring section that connects the sections, and a control section that controls the element evaluation section and the wiring section.

作用 前述した本発明に係る論理シミュレータの構成において
、回路中の素子を各素子評価部分に割り当て、回路の接
続情報に従って配線部により各素子評価部間を接続し、
論理シミュレーションを実行する。各素子評価部におい
ては、演算部により割り当てられた素子の論理演算が実
行され、遅延部によりその素子の遅延に従って状態が変
化する。
Function: In the configuration of the logic simulator according to the present invention described above, the elements in the circuit are assigned to each element evaluation part, and each element evaluation part is connected by the wiring part according to the connection information of the circuit,
Run a logical simulation. In each element evaluation section, the arithmetic section executes a logical operation on the assigned element, and the delay section changes the state according to the delay of the element.

素子評価部間は配線部により回路の接続情報に従って接
続されているため、各素子評価部の状態の変化は配線部
により伝搬され、接続先の素子評価部の論理演算と遅延
処理が行われる。このように、各素子評価部が回路中の
割り当てられた素子と等価な動作をすることにより、全
回路のシミュレーションが行われる。この場合、回路中
にループ等が含まれていても素子評価部は実際の回路と
等価な動作をするため、正しいシミュレーション結果が
得られる。また、素子評価部は独立に動作しており、回
路に潜在的に含まれる並列性により高速に処理が行われ
る。
Since the element evaluation sections are connected by the wiring section according to the circuit connection information, changes in the state of each element evaluation section are propagated by the wiring section, and logical operations and delay processing are performed in the connected element evaluation section. In this way, the entire circuit is simulated by each element evaluation section performing an operation equivalent to the assigned element in the circuit. In this case, even if a loop or the like is included in the circuit, the element evaluation section operates equivalent to the actual circuit, so correct simulation results can be obtained. Further, the element evaluation section operates independently, and processing is performed at high speed due to the parallelism potentially included in the circuit.

実施例 第1図に本発明に係る論理シミュレータの一実施例を示
した概略構成図を示す、ここで1は素子評価部であり回
路中の素子が割り当てられ、その素子の論理演算と遅延
処理を行う、素子評価部1は複数個あり、回路中の各素
子は各素子評価部に割り当てられるが、−個の素子の論
理演算または遅延処理を一個の素子評価部で実現できな
い場合には、−個の素子は複数個の素子評価部に割り当
てその素子の動作に等価な動作を実現する。2は配線部
であり素子評価部1の間を接続する。素子評価部1の間
の接続は、シミュレーション実行前に制御部3により回
路の接続情報に従って行われる。制御部3は、シミュレ
ーション実行前には、素子評価部1の論理演算の定義や
遅延処理の遅延時間の定義、配線部2の配線の定義等を
行う。シミュレーション実行中には、各素子評価部1の
遅延処理の同期を制御する。シミュレーション実行後に
は、素子評価部1の現在の状態やシミュレージョン実行
中に蓄えた結果の読みだし処理等を行う。
Embodiment FIG. 1 shows a schematic configuration diagram showing an embodiment of the logic simulator according to the present invention. Here, 1 is an element evaluation section, which is assigned to an element in a circuit, and performs logical operations and delay processing of the element. There are a plurality of element evaluation units 1 that perform the following, and each element in the circuit is assigned to each element evaluation unit. However, if the logical operation or delay processing of − number of elements cannot be realized by one element evaluation unit, - elements are assigned to a plurality of element evaluation units to realize an operation equivalent to that of the element. Reference numeral 2 denotes a wiring section that connects between the element evaluation sections 1. Connections between the element evaluation sections 1 are made by the control section 3 according to circuit connection information before execution of the simulation. Before executing the simulation, the control unit 3 defines logical operations for the element evaluation unit 1, delay time for delay processing, wiring for the wiring unit 2, and the like. During simulation execution, the synchronization of delay processing of each element evaluation section 1 is controlled. After the simulation is executed, the current state of the element evaluation section 1 and the results stored during the simulation are read out.

第2図は素子評価部1の概略構成図である。演算部4は
、その素子評価部に割り当てられた素子の論理演算を実
行する。この論理演算は、素子が基本ゲートの場合には
ANDやOR等の基本論理演算であり、順序回路の場合
にはDフリップフロップやJKフリップフロップ等のフ
リップフロップであり、機能素子の場合にはメモリや加
算器や乗算器等の機能論理演算である。遅延部5は、各
素子の入力や出力の遅延処理を行う、また、必要な場合
にはフリップフロップやメモリのセットアツプタイムや
ホールドタイムに対応する遅延処理も行えるようにする
FIG. 2 is a schematic diagram of the element evaluation section 1. As shown in FIG. The arithmetic unit 4 executes logical operations on the elements assigned to the element evaluation unit. This logical operation is a basic logical operation such as AND or OR when the element is a basic gate, a flip-flop such as a D flip-flop or a JK flip-flop when the element is a sequential circuit, and a flip-flop such as a D flip-flop or JK flip-flop when the element is a functional element. Functional logic operations such as memory, adders, and multipliers. The delay unit 5 performs delay processing on the input and output of each element, and can also perform delay processing corresponding to the set-up time and hold time of flip-flops and memory, if necessary.

第3図はゲートレベルの論理回路の一例を示した論理回
路図である。第4図は、第3図に示した回路例のシミュ
レーションを行う場合の一実施例を示した構成図である
。第4図に示した構成例では、各素子評価部1はゲート
レベルの基本論理演算を行う演算部3とゲートの出力伝
搬遅延を実現する遅延部5から構成され、配線部2から
の入力が演算部3に接続されており、演算部3の出力は
遅延部5を通して配線部2への出力に接続されている。
FIG. 3 is a logic circuit diagram showing an example of a gate level logic circuit. FIG. 4 is a configuration diagram showing an embodiment in which the circuit example shown in FIG. 3 is simulated. In the configuration example shown in FIG. 4, each element evaluation section 1 is composed of an operation section 3 that performs basic logic operations at the gate level and a delay section 5 that realizes output propagation delay of the gate, and the input from the wiring section 2 is It is connected to the calculation section 3, and the output of the calculation section 3 is connected to the output to the wiring section 2 through the delay section 5.

シミュレーション実行前に、第3図の論理回路に対し、
第4図の素子評価部1の演算部3に各論理ゲート6の論
理演算を、遅延部5に各論理ゲート6の遅延を割り当て
、回路の接続情報に従って配線部2により各素子評価部
の入力及び出力を接続する。論理回路の外部入力信号線
l0111、工2、工3、及び外部出力信号線Qについ
ても配線部2により制御部3に接続する。シミュレーシ
ョン実行時には、制御l!3により、外部入力信号線■
0.11、I2、I3に対応する信号線の値を変化させ
て、素子評価部1を動作させ、外部信号線Q、及び必要
ならば各素子評価部1の出力の変化を観測する。
Before running the simulation, for the logic circuit in Figure 3,
The logic operation of each logic gate 6 is assigned to the operation unit 3 of the element evaluation unit 1 in FIG. 4, the delay of each logic gate 6 is assigned to the delay unit 5, and the input to each element evaluation unit is made by the wiring unit 2 according to the circuit connection information. and connect the output. The external input signal lines 10111, 2 and 3 of the logic circuit, and the external output signal line Q are also connected to the control unit 3 through the wiring unit 2. When running the simulation, control l! 3, the external input signal line■
The element evaluation section 1 is operated by changing the values of the signal lines corresponding to 0.11, I2, and I3, and changes in the external signal line Q and, if necessary, the output of each element evaluation section 1 are observed.

なお、第4図の実施例では、各ゲートの出力側のみ遅延
部5を設けているが、必要ならば入力側にも遅延部5を
設ける。
In the embodiment shown in FIG. 4, the delay section 5 is provided only on the output side of each gate, but if necessary, the delay section 5 is also provided on the input side.

第5図は第1図で示した一実施例を複数個用いた場合の
一実施例である。7は複数の素子評価部1と配線部2か
ら成る集合型素子評価部であり、この気合型素子評価部
7を複数個配線部2で接続することによりより多くの素
子を含む回路のシミュレーションが実現される。論理回
路の設計においては、回路規模が増大してきた場合には
、部分回路を用いて階層的に設計されるため、各部分回
路毎に集合型素子評価部7に割り当てることにより効率
的に回路中の素子の素子評価部への割り当てを行うこと
が可能である。また、この第5図で示した構成例を用い
た場合、第1図で示した構成例の素子評価部の個数を増
加させた構成と比較して、配線部の規模を小さくするこ
とが可能である。
FIG. 5 shows an embodiment in which a plurality of the embodiments shown in FIG. 1 are used. 7 is a collective element evaluation section consisting of a plurality of element evaluation sections 1 and a wiring section 2, and by connecting a plurality of these spirit-type element evaluation sections 7 with the wiring section 2, it is possible to simulate a circuit including more elements. Realized. In the design of logic circuits, when the circuit scale increases, it is designed hierarchically using subcircuits, so by assigning each subcircuit to the collective element evaluation unit 7, the circuit can be efficiently designed. It is possible to allocate the elements to the element evaluation section. Furthermore, when using the configuration example shown in FIG. 5, it is possible to reduce the scale of the wiring section compared to the configuration example shown in FIG. 1 in which the number of element evaluation sections is increased. It is.

発明の効果 以上述べてきたように、本発明に係る論理シミュレータ
は、各素子毎の遅延を扱うことが可能であり、回路に潜
在的に含まれる並列性を利用し、高速の論理シミュレー
ションを実現し得るものである。
Effects of the Invention As described above, the logic simulator according to the present invention is capable of handling delays for each element, utilizes the parallelism potentially included in the circuit, and realizes high-speed logic simulation. It is possible.

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

第1図は本発明に係る論理シミュレータの一実施例を示
した概略構成図、第2図は素子評価部の一実施例を示し
た概略構成図、第3図はゲートレベルの論理回路の一例
をしめした論理回路図、第4図は第3図に示した回路例
のシミュレーションを行う場合の一実施例の概略構成図
、第5図は第1図の実施例を階層的に構成した一実施例
の概略構成図を示す。 1・・・・・・素子評価部、2・・・・・・配線部、3
・・・・・・制御部、4・・・・・・演算部、5・・・
・・・遅延部、6・・・・・・論理ゲート、7・・・・
・・集合型素子評価部。 代理人の氏名 弁理士 中尾敏男はか1名第 I  I
A 3           /       ZF3図 ス
FIG. 1 is a schematic block diagram showing an embodiment of a logic simulator according to the present invention, FIG. 2 is a schematic block diagram showing an embodiment of an element evaluation section, and FIG. 3 is an example of a gate-level logic circuit. 4 is a schematic configuration diagram of an embodiment for simulating the circuit example shown in FIG. 3, and FIG. 5 is a hierarchical configuration diagram of the embodiment of FIG. 1. A schematic configuration diagram of an example is shown. 1...Element evaluation section, 2...Wiring section, 3
...Control section, 4...Calculation section, 5...
...Delay section, 6...Logic gate, 7...
...Collective element evaluation section. Name of agent: Patent attorney Toshio Nakao No. 1
A3/ZF3 drawings

Claims (1)

【特許請求の範囲】[Claims] 論理演算を実行する演算部と遅延を実行する遅延部とか
らなる素子評価部の複数個と、この素子評価部の間を接
続する配線部と、前記の素子評価部と配線部を制御する
制御部とを備えたことを特徴とする論理シミュレータ。
A plurality of element evaluation units each including a calculation unit that executes a logical operation and a delay unit that executes a delay, a wiring unit that connects the element evaluation units, and a control that controls the element evaluation unit and the wiring unit. A logic simulator characterized by comprising:
JP62124219A 1987-05-21 1987-05-21 Logical simulator Pending JPS63288356A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP62124219A JPS63288356A (en) 1987-05-21 1987-05-21 Logical simulator

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP62124219A JPS63288356A (en) 1987-05-21 1987-05-21 Logical simulator

Publications (1)

Publication Number Publication Date
JPS63288356A true JPS63288356A (en) 1988-11-25

Family

ID=14879942

Family Applications (1)

Application Number Title Priority Date Filing Date
JP62124219A Pending JPS63288356A (en) 1987-05-21 1987-05-21 Logical simulator

Country Status (1)

Country Link
JP (1) JPS63288356A (en)

Similar Documents

Publication Publication Date Title
US6009256A (en) Simulation/emulation system and method
US7260794B2 (en) Logic multiprocessor for FPGA implementation
US6038392A (en) Implementation of boolean satisfiability with non-chronological backtracking in reconfigurable hardware
EP0021404A1 (en) Computing system for the simulation of logic operations
US8527972B2 (en) Method for forming a parallel processing system
US6415430B1 (en) Method and apparatus for SAT solver architecture with very low synthesis and layout overhead
EP0096176A2 (en) Method of logic simulation and logic simulation machine
US7076416B2 (en) Method and apparatus for evaluating logic states of design nodes for cycle-based simulation
Agrawal et al. MARS: A multiprocessor-based programmable accelerator
US10534625B1 (en) Carry chain logic in processor based emulation system
Wolfe et al. Flexible processors: a promising application-specific processor design approach
Kim et al. TPartition: testbench partitioning for hardware-accelerated functional verification
Mirkhani et al. Hierarchical fault simulation using behavioral and gate level hardware models
JPS63288356A (en) Logical simulator
JP3212709B2 (en) Logic simulation device
Chu et al. Three decades of HDLs. I. CDL through TI-HDL
Jerraya et al. SYCO—a silicon compiler for VLSI ASICs specified by algorithms
Takasaki et al. Logic simulation engines in Japan
Wageeh et al. FPGA based accelerator for functional simulation
Famorzadeh et al. Rapid prototyping of digital systems with cots/asic components
GB2303230A (en) Digital circuit simulation
JPH0916642A (en) Method for evaluating architecture in data processor
JP2001022808A (en) Logic circuit reducing device, method and device for logic simulation
Bataineh et al. Parallel logic and fault simulation algorithms for shared memory vector machines
Willoughby Synthesis support for design partitioning