JPH02212945A - Software logic simulator - Google Patents

Software logic simulator

Info

Publication number
JPH02212945A
JPH02212945A JP1034115A JP3411589A JPH02212945A JP H02212945 A JPH02212945 A JP H02212945A JP 1034115 A JP1034115 A JP 1034115A JP 3411589 A JP3411589 A JP 3411589A JP H02212945 A JPH02212945 A JP H02212945A
Authority
JP
Japan
Prior art keywords
event
evaluation
propagation
data
logical function
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
JP1034115A
Other languages
Japanese (ja)
Inventor
Norinaga Nomizu
野水 宣良
Masaharu Tanimura
谷村 雅春
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
NEC Solution Innovators Ltd
Original Assignee
NEC Corp
NEC Software Hokuriku 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 NEC Corp, NEC Software Hokuriku Ltd filed Critical NEC Corp
Priority to JP1034115A priority Critical patent/JPH02212945A/en
Publication of JPH02212945A publication Critical patent/JPH02212945A/en
Pending legal-status Critical Current

Links

Landscapes

  • Test And Diagnosis Of Digital Computers (AREA)

Abstract

PURPOSE:To simulate even a large-scale logical circuit model at high speed by providing a multiprocessor with logical function evaluation process and event evaluation and event propagation process and an interprocess data transferring means. CONSTITUTION:After the logical function evaluation process 1 evaluates the logical function of an element having changed in its input state value, it transfers logical function evaluation data (a) to the interprocess data transferring means 3, and further, sends an interruption processing signal (c) to start interruption processing to the event evaluation and event propagation process 2. The event evaluation and event propagation process 2 executes the transfer of event evaluation and event propagation and event propagation data to the interprocess data transferring means 3, and the interprocess data transferring means 3 executes interprocess data transfer between the logical function evaluation process and the event evaluation and event propagation process. Thus, the evaluation of a logical function, the evaluation of an event and the propagation of the event can be simultaneously executed in parallel, and the large-scale logical circuit model can be simulated at high speed.

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明はソフトウェア論理シミュレータに関し、特に論
理回路モデルのシミュレーシヨンを行うソフトウェア論
理シミュレータに関する。
DETAILED DESCRIPTION OF THE INVENTION [Field of Industrial Application] The present invention relates to a software logic simulator, and particularly to a software logic simulator that simulates a logic circuit model.

〔従来の技術〕[Conventional technology]

従来、この種のソフトウェア論理シミュレータは、論理
関数の評価を行う論理関数評価手段と、イベント(信号
値の変化)評価およびイベント伝播ヲ行うイベント評価
およびイベント伝播手段とを逐次処理で実行していたく
例えば、rVLsIの設計■」、論理シミニレーシッン
、191〜220頁、岩波書店発行参照)。
Conventionally, this type of software logic simulator has sequentially executed a logic function evaluation means that evaluates a logic function, and an event evaluation and event propagation means that evaluates an event (change in signal value) and propagates the event. For example, see "Design of rVLsI", Rigaku Shiminireshin, pp. 191-220, published by Iwanami Shoten).

(発明が解決しようとする課11) 上述した従来のソフトウェア論理シミュレータは、論理
関数評価手段とイベント評価およびイベント伝播手段と
を逐次処理で実行しているので、大規模な論理回路モデ
ルに対して多大なシミニレーシッン時間を費やしている
という欠点がある。
(Issue 11 to be solved by the invention) The conventional software logic simulator described above executes the logic function evaluation means and the event evaluation and event propagation means in sequential processing. The disadvantage is that a large amount of time is spent on training.

本発明の目的は、上述の点に鑑み、論理間数の評価とイ
ベント評価およびイベント伝播とを同時並列的に行うこ
とにより、大規模な論理回路モデルを高速でシミュレー
シヨンすることができるソフトウェア論理シミュレータ
を提供することにある。
In view of the above-mentioned points, an object of the present invention is to develop a software logic system that can simulate large-scale logic circuit models at high speed by simultaneously performing evaluation of logical numbers, event evaluation, and event propagation in parallel. The goal is to provide a simulator.

〔課題を解決するための手段〕[Means to solve the problem]

本発明のソフトウェア論理シミュレータは、マルチプロ
セッサにおいて、論理関数の評価および論理間数評価デ
ータのプロセス間データ転送手段への転送を行う論理関
数評価プロセスと、イベント評価およびイベント伝播な
らびにイベント伝播データの前記プロセス間データ転送
手段への転送を行うイベント評価およびイベント伝播プ
ロセスと、前記論理関数評価プロセスと前記イベント評
価およびイベント伝播プロセスとの間のプロセス間デー
タ転送を行う前記プロセス間データ転送手段とを有する
The software logic simulator of the present invention includes, in a multiprocessor, a logic function evaluation process that evaluates a logic function and transfers logic number evaluation data to an interprocess data transfer means, event evaluation, event propagation, and event propagation data. an event evaluation and event propagation process that transfers data to an inter-process data transfer unit; and an inter-process data transfer unit that transfers inter-process data between the logical function evaluation process and the event evaluation and event propagation process. .

〔作用〕[Effect]

本発明のソフトウェア論理シミュレータでは、論理間数
評価プロセスが論理関数の評価および論理関数評価デー
タのプロセス間データ転送手段への転送を行い、イベン
ト評価およびイベント伝播プロセスがイベント評価およ
びイベント伝播ならびにイベント伝播データのプロセス
間データ転送手段への転送を行い、プロセス間データ転
送手段が論理関数評価プロセスとイベント評価およびイ
ベント伝播プロセスとの間のプロセス間データ転送を行
う。
In the software logic simulator of the present invention, the logic function evaluation process evaluates the logic function and transfers the logic function evaluation data to the interprocess data transfer means, and the event evaluation and event propagation process performs event evaluation, event propagation, and event propagation. The data is transferred to the inter-process data transfer means, and the inter-process data transfer means transfers the inter-process data between the logical function evaluation process and the event evaluation and event propagation process.

〔実施例〕〔Example〕

次に、本発明について図面を参照して詳細に説明する。 Next, the present invention will be explained in detail with reference to the drawings.

第1図は、本発明のソフトウェア論理シミュレータの一
実施例の構成を示すブロック図である。
FIG. 1 is a block diagram showing the configuration of an embodiment of the software logic simulator of the present invention.

本実施例のソフトウェア論理シミュレータは、論理間数
評価プロセス1と、イベント評価およびイベント伝播プ
ロセス2と、プロセス間データ転送手段3とから構成さ
れている。
The software logic simulator of this embodiment includes a logic number evaluation process 1, an event evaluation and event propagation process 2, and an interprocess data transfer means 3.

論理関数評価プロセス1は、論理関数の評価終了時にプ
ロセス間データ転送手段3を用いて論理関数評価データ
aをイベント伝播およびイベント伝PIプロセス2に転
送する。
The logical function evaluation process 1 uses the inter-process data transfer means 3 to transfer the logical function evaluation data a to the event propagation and event transmission PI process 2 when the evaluation of the logical function is completed.

イベント評価およびイベント伝播プロセス2は、イベン
ト伝播終了時にプロセス間データ転送手段3を用いてイ
ベント伝播データbを論理間数評価プロセス1に転送す
る。
The event evaluation and event propagation process 2 transfers the event propagation data b to the logical number evaluation process 1 using the inter-process data transfer means 3 when the event propagation ends.

論理関数評価プロセス1とイベント評価およびイベント
伝播プロセス2とは、それぞれ汎用マルチプロセッサの
別プロセッサにて同時に実行可能であり、シミニレ−シ
ランの終了までそれぞれ実行を繰り返す。
The logical function evaluation process 1 and the event evaluation and event propagation process 2 can be executed simultaneously by separate processors of the general-purpose multiprocessor, and each execution is repeated until the end of the simulation run.

次に、このように構成された本実施例のソフトウェア論
理シミュレータの動作について説明する。
Next, the operation of the software logic simulator of this embodiment configured as described above will be explained.

論理関数評価プロセス1は、入力状態値が変化した素子
の論理関数を評価した後に、論理関数評価データaをプ
ロセス間データ転送手段3に転送し、さらにイベント評
価およびイベント伝播プロセス2に割込み処理を起動さ
せる割込み処理シグナルCを送る。
After evaluating the logic function of the element whose input state value has changed, the logic function evaluation process 1 transfers the logic function evaluation data a to the inter-process data transfer means 3, and further sends an interrupt process to the event evaluation and event propagation process 2. Sends interrupt processing signal C to be activated.

イベント評価およびイベント伝播プロセス2は、論理関
数評価プロセスlから割込み処理シグナルCを受けたと
きに、プロセス間データ転送手段3から論理関数評価デ
ータaを受は取る割込み処理を起動する。
When the event evaluation and event propagation process 2 receives the interrupt processing signal C from the logic function evaluation process l, it activates an interrupt process that receives and receives the logic function evaluation data a from the interprocess data transfer means 3.

論理関数評価プロセス1は、イベント評価およびイベン
ト伝播プロセス2に割込み処理シグナルCを送った後に
、入力状態値が変化した次の素子の論理関数の評価を次
々と行い、シミュレーシヨンの終了まで繰り返す。
After sending an interrupt processing signal C to the event evaluation and event propagation process 2, the logic function evaluation process 1 successively evaluates the logic function of the next element whose input state value has changed, and repeats this until the end of the simulation.

イベント評価およびイベント伝播プロセス2は、論理関
数評価データaに対して出力状態値が変化したか否かを
評価し、出力状態値が変化した場合にはその素子のファ
ンアウト先にイベントを伝播させ、イベント伝播データ
bをプロセス間データ転送手段3に転送し、さらに論理
関数評価プロセス1に割込み処理を起動させる割込み処
理シグナルCを送る。
Event evaluation and event propagation process 2 evaluates whether or not the output state value has changed with respect to logic function evaluation data a, and if the output state value has changed, propagates the event to the fan-out destination of the element. , event propagation data b to the inter-process data transfer means 3, and further sends an interrupt processing signal C to the logic function evaluation process 1 to start interrupt processing.

論理関数評価プロセス1は、イベント評価およびイベン
ト伝播プロセス2から割込み処理シグナルCを受けたと
きには、プロセス間データ転送手段3からイベント伝播
データbを受は取る割込み処理を起動する。
When the logical function evaluation process 1 receives the interrupt processing signal C from the event evaluation and event propagation process 2, it activates the interrupt processing for receiving and taking the event propagation data b from the interprocess data transfer means 3.

イベント評価およびイベント伝播プロセス2は、論理関
数評価プロセス1に割込み処理シグナルCを送った後に
、次の素子のイベント・評価を次々と行い、シミュレー
ションの終了まで操り返す。
After the event evaluation and event propagation process 2 sends the interrupt processing signal C to the logic function evaluation process 1, it sequentially performs events and evaluations of the next elements, and returns to the end of the simulation.

第2図は、論理関数評価プロセス1とイベント評価およ
びイベント伝播プロセス2との時間的な動作関連の一例
を示す図である。L+ 、Ls 、LsおよびL4はそ
れぞれ1つの素子に対する論理関数の評価を表し、E、
、E!、E!およびE4はそれぞれ1つの素子に対する
イベン)評価およびイベント伝播を表す。
FIG. 2 is a diagram showing an example of the temporal operation relationship between the logical function evaluation process 1 and the event evaluation and event propagation process 2. L+, Ls, Ls and L4 each represent the evaluation of a logic function for one element, and E,
, E! ,E! and E4 represent event evaluation and event propagation for one element, respectively.

ある時刻1.において、論理関数評価プロセスlは、入
力状態値が変化した最初の素子に対する論理関数の評価
り、を実行する。そして、ある別の時刻t8において、
イベント評価およびイベント伝播プロセス2は、最初の
素子に対するイベント評価およびイベント伝tl E 
lを実行し、論理関数評価プロセス1は、入力状態値が
変化した次の素子に対する論理関数の評価し2を同時並
列的に実行する。
At a certain time 1. , the logic function evaluation process l executes the evaluation of the logic function for the first element whose input state value has changed. Then, at another time t8,
Event evaluation and event propagation process 2 includes event evaluation and event propagation tl E for the first element.
The logic function evaluation process 1 evaluates the logic function for the next element whose input state value has changed, and executes the logic function evaluation process 2 simultaneously in parallel.

このように、論理関数評価プロセス1とイベント評価お
よびイベント伝播プロセス2とは、それぞれ別ブロセフ
サにて同時並列的に実行され、シミュレータ1ンの終了
まで実行を繰り返す。
In this way, the logical function evaluation process 1 and the event evaluation and event propagation process 2 are executed simultaneously and in parallel in separate processors, and are repeated until the simulator 1 ends.

[発明の効果] 以上説明したように本発明は、マルチプロセッサにおい
て論理関数評価プロセスとイベント評価およびイベント
伝搬プロセスとプロセス間データ転送手段とを設けたこ
とにより、論理関数の評価とイベント評価およびイベン
ト伝播とを同時並列的に行うことができ、大規模な論理
回路モデルでも高速にシミュレーションを行うことがで
きるという効果がある。
[Effects of the Invention] As explained above, the present invention provides a logical function evaluation process, an event evaluation and event propagation process, and an inter-process data transfer means in a multiprocessor, so that logical function evaluation, event evaluation, and event This has the advantage that propagation can be performed simultaneously and in parallel, and even large-scale logic circuit models can be simulated at high speed.

4、図面の1liJl¥jな説明 第1図は本発明のソフトウェア論理シミエレタの一実施
例の構成を示すブロック図、第2図は第1図中の論理関
数評価プロセスとイベント評価およびイベント伝播プロ
セスとの時間的な動作関連の一例を示す図である。
4. Explanation of the Drawings Figure 1 is a block diagram showing the configuration of an embodiment of the software logic simulator of the present invention, and Figure 2 shows the logic function evaluation process, event evaluation, and event propagation process in Figure 1. FIG.

図において、 I・・・論理関数評価プロセス、 2・・・イベント評価およびイベント伝播プロセス、 ・プロセス間データ転送手段、 ・論理関数評価データ、 ・イベント伝播データ、 ・割込み処理シグナル、 Lt、L3.L。In the figure, I...Logic function evaluation process, 2...Event evaluation and event propagation process, ・Inter-process data transfer means, ・Logic function evaluation data, ・Event propagation data, ・Interrupt processing signal, Lt, L3. L.

・論理関数評価、 E! 、Es 、Ea ・・・イベント評価およびイベント伝播、tl。t2 
・・・時刻である。
・Logic function evaluation, E! ,Es,Ea...event evaluation and event propagation, tl. t2
...It's the time.

3 ・ ・ a  豐  − b ・ ・ C奮 φ Ll+ E。3 ・・ a - b・・・ C hard φ LL+ E.

Claims (1)

【特許請求の範囲】 マルチプロセッサにおいて、 論理関数の評価および論理関数評価データのプロセス間
データ転送手段への転送を行う論理関数評価プロセスと
、 イベント評価およびイベント伝播ならびにイベント伝播
データの前記プロセス間データ転送手段への転送を行う
イベント評価およびイベント伝播プロセスと、 前記論理関数評価プロセスと前記イベント評価およびイ
ベント伝播プロセスとの間のプロセス間データ転送を行
う前記プロセス間データ転送手段と、 を有することを特徴とするソフトウェア論理シミュレー
タ。
[Scope of Claims] In a multiprocessor, a logic function evaluation process that evaluates a logic function and transfers the logic function evaluation data to an interprocess data transfer means; an event evaluation and event propagation, and the interprocess data of the event propagation data. An event evaluation and event propagation process that performs transfer to a transfer means; and an inter-process data transfer means that transfers inter-process data between the logical function evaluation process and the event evaluation and event propagation process. A software logic simulator with special features.
JP1034115A 1989-02-14 1989-02-14 Software logic simulator Pending JPH02212945A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP1034115A JPH02212945A (en) 1989-02-14 1989-02-14 Software logic simulator

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP1034115A JPH02212945A (en) 1989-02-14 1989-02-14 Software logic simulator

Publications (1)

Publication Number Publication Date
JPH02212945A true JPH02212945A (en) 1990-08-24

Family

ID=12405263

Family Applications (1)

Application Number Title Priority Date Filing Date
JP1034115A Pending JPH02212945A (en) 1989-02-14 1989-02-14 Software logic simulator

Country Status (1)

Country Link
JP (1) JPH02212945A (en)

Similar Documents

Publication Publication Date Title
US5546562A (en) Method and apparatus to emulate VLSI circuits within a logic simulator
JPS58222355A (en) Logic simulation machine
JPS5948424B2 (en) parallel computing system
CN103927219A (en) Accurate-period simulation model for reconfigurable special processor core and hardware architecture thereof
JPH04227574A (en) Whole-event tracing gatherer for logic simulation machine
JPH04233040A (en) Simulation system for executing computer program
JPS6141017B2 (en)
Ly et al. The challenges of using an embedded MPI for hardware-based processing nodes
JP3212709B2 (en) Logic simulation device
Wilson Hardware/software selected cycle solution
JP2001256048A (en) Simulation of data processor
JP2590179B2 (en) Parallel logic simulation control method
JP2000194610A (en) Synchronizing method and device using bus arbitration control for system analysis
CN105404752A (en) Transaction-level system chip data transmission delay determining system
JPS60173483A (en) Logical circuit simulation system
Theodoropoulos Distributed simulation of asynchronous hardware: the program driven synchronization protocol
Yoshikawa et al. A multi-microprocessor approach to a high-speed and low-cost continuous-system simulation
JP2727615B2 (en) Logic simulation equipment
Theodoropoulos et al. Building parallel distributed models for asynchronous computer architectures
Gauthier et al. Cycle-true simulation of the ST10 microcontroller including the core and the peripherals
JPH02259843A (en) Software logical simulation system
JPH0524546B2 (en)
JP2609685B2 (en) Reset circuit
JP2921087B2 (en) Real Chip Simulation Method for Hardware Accelerator
JPS63288356A (en) logic simulator