JPH01230142A - 論理シミュレーション方法と論理シミュレーション装置 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】

産業上の利用分野 本発明は、論理回路の動作の検証等に用いられる論理シ
ミュレーション方法と論理シミュレーション装置に係り
、特に、イベント駆動型の論理シミュレーション方法と
論理シミュレーション装置に関する。 さらに詳しく言えば、本発明は、シミュレーション対象
とする論理回路中のニレメン）（ＡＮＤ。 ＮＡＮＤ、ＯＲ，ＮＯＲ，ＸＯＲ等のゲート、ＲＡＭ、
ＲＯＭ等のメモリー、フリップフロップ。 カウンタ、ゲートアレイ等の機能素子、ＭＯＳ）ランジ
スタで実現される双方向素子やバス等を表わす仮想的な
素子）の入力端子の信号状態変化。 出力端子の信号状態変化をイベントとみなし、入力端子
に信号状態変化があったエレメントについてのみ、出力
端子の信号状態を計算する論理シミュレーション方法と
論理シミュレーション装置に間する。 従来の技術 従来の論理シミュレーション装置方法、論理シミュレー
ション装置を第２２図を用いて説明する。 第２２図は、従来のイベント駆動型の論理シミュレーシ
ョン装置の概略を示す構成図である。第２２図中２２１
は現在時刻出力部、２２２はイベント記憶部、２２３は
イベント取出部、２２４は回路動作計算部、オ、り、七
　マ、ケ、フ、コは信号線である。 シミュレーションは、イベント記憶部２２２゜イベント
取出部２２３２回踏動作計算部２２４間で、イベントが
受け渡しされることにより進行する。 現在時刻出力部２２１は、初期値を０として現在時刻を
信号線１才」に出力する。 イベント記憶部２２２は、イベント時刻が現在時刻と等
しいイベントおよびイベント時刻が現在時刻よりも大き
いイベントを記憶している。 イベント取出部２２３は、信号線「り」を経て、現在時
刻と等しいイベント時刻を持つイベントをイベント記憶
部２２２から取り出し、信号線「ヤ」に出力する。 回路動作計算部２２４は、信号線「ヤ」からイベントを
受け取り、イベン）Ｖ動型のアルゴリズムを用いて、そ
のイベントが表す信号状態変化が原因となって発生する
、シミュレーション対象とする論理回路中のエレメント
の入力端子、出力端子の新たな信号状態変化を計算し、
計算結果を表すイベントを信号線「マ、１に出力する。 イベント記憶部２２２は、信号線「マ」からイベントを
受け取り記憶する。 現在時刻出力部２２１は、イベント記憶部２２２から信
号線「コ」を経て、イベント記憶部２２２中に現在時刻
と等しいイベント時刻を持つイベントが存在するか否か
を、またイベント取出部２２３から信号線「ケ」を経て
、イベント取出部２２３中にイベントが存在するか否か
を、また回路動作計算部２２４から信号線「フ」を経て
、回路動作計算部２２４中にイベントが存在するか否か
を知らせてもらい、イベント記憶部２２２中に現綻時刻
と等しいイベント時刻を持つイベントが存在せず、かつ
、イベント取出部２２３９回踏動作計算部２２４のいず
れの中にもイベントが全く存在しなくなったときに、現
在時刻に関する全ての処理が終ったことを知り、現在時
刻を進める。 この後、新たな現在時刻に対して、前記の処理が再び行
われシミュレーションが進行する。 また、近年ではこうした論理シミュレーション装置を専
用のハードウェアで実現し、イベント記憶部２２２．イ
ベント取出部２２３２回踏動作計算部２２４によりパイ
プライン処理を行わせたり、回路動作計算部２２４をさ
らにパイプライン化することにより、シミュレーション
の高速化を図っていた。 また、先に提案した特願昭６２−１１３０２７における
論理シミュレーション装置では、イベント記憶部の中か
ら現在時刻と等しいイベント時刻を持つイベントを取り
出す第１のイベント取出部と、エレメントの入力端子の
信号状態変化を各エレメントごとに独立して扱い、エレ
メントの全ての入力端子にその入力端子の信号状態変化
を表すイベントが存在するとき、それらのイベントのう
ちでイベント時刻が最小であるイベントをイベント記憶
部から取り出す第２のイベント取出部を併用して、イベ
ント取出処理を連続的に行い、さらに、第１のイベント
取出部、第２のイベント取出部２回踏動作計算部を構成
する各処理部ごとに、その処理部内に存在する全てのイ
ベントのイベント時刻を出力させ、現在時刻とそれらの
イベント時刻を比較する比較器を設け、現在時刻出力部
はそれらの比較器の出力を用いて現在時刻と等しいイベ
ント時刻を持つイベントが論理シミュレーション装置中
からなくなったことを知り、第１のイベント取出部、第
１のイベント取出部０回踏動作計算部中からイベントが
なくなるのを待つことなく現在時刻を進めていた。 発明が解決しようとする課題 イベント取出部および回路動作計算部の中からイベント
が全くなくなった後に現在時刻を進める従来のイベント
駆動型の論理シミュレーション方法では、そのシミュレ
ーション方法に基づいてシミュレーションを行う専用の
論理シミュレーション装置を作成し、イベント記憶部、
イベント取出部２回踏動作計算部によるパイプライン処
理を行わせようとした場合に、−旦全てのイベントをイ
ベント記憶部に格納してしまう必用があるため、パイプ
ライン化による処理速度の向上があまり大きくとれない
という問題がある。 このことを説明するため、まず、第２０図、第２１図を
用いて、パイプライン処理による高速化についその一般
的な説明を行う。第２０図、第２１図はバーイブライン
処理を説明する説明図であり、第２０図中Ａ、　　Ｂ、
　　Ｃは、パイプラインを構成する処理部、ｎ−２，ｎ
　−Ｌ　　ｎ、　　ｎ＋　１．　　ｎ＋２はデータであ
り、第２１図中Ａ、　　Ｂ、　　Ｃは、バイブラインを
構成する処理部、ｎ−２，ｎ−１，ｎ＋１．ｎ＋２はデ
ータである。 バイブラインが一連の処理を行う３つの処理部　。 Ａ、　　Ｂ、　　Ｃによって構成されているものとする
。 処理部Ａ、　　Ｂ、　　Ｃはそれぞれ１単位時間に１個
のデータを処理できる。処理部Ａ、　　Ｂ、　　Ｃがパ
イプライン動作をせず、各データが逐次的に処理される
と仮定した場合には、当然、データ１個あたり３ｔ￥Ｌ
位の処理時間を要することになる。しかし、パイプライ
ン処理を行えば、この処理を高速化することができる。 第２０図に示すように、今、時刻がｔであり、 処理部Ａによりデータｎが、 処理部Ｂによりデータｎ−１が、 処理部Ｃによりデータｎ−２が、 処理されているものとする。 時刻ｔ＋１になると、 処理部へにより新しいデータｎ＋１が、処理部Ｂにより
データｎが、 処理部Ｃによりデータｎ−１が、 処理される。 時刻ｔ＋２になると、 処理部Ａにより新しいデータｎ＋２が、処理部Ｂにより
データｎ＋１が、 処理部Ｃによりデータ■１が、 処理される。 このように、バイブライン処理を行うことによって、時
刻ｔ、ｔ＋１．ｔ＋２の３単位の時間に、バイブライン
からはデータｎ−２，ｎ−１，ｎの３つのデータが出力
され、全体としては１ｊ１．Ｉｆｆ時間に１個のデータ
が処理されるので、逐次的な処理と比較して３倍の高速
化が果たされることになる。 しかし、外部からデータが連続的に供給されず、バイブ
ライン中の一部の処理部に処理すべきデータがない状態
が生じると、バイブライン処理による高速化の程度が低
下する。第２１図に示すように、今、時刻がｔてあり、 処理部Ｂによりデータｎ−１が、 処理部Ｃによりデータｎ−２が、 処理されているが、処理部Ａには処理すべきデータがな
いとする。 時刻ｔ＋１になると、 処理部Ａにより新しいデータ

【ｌ＋１が、処理部Ｃによ
りデータｎ−１が、 処理されるが、処理部Ｂには処理すべきデータがなくな
る。 時刻ｔ＋２になると、 処理部Ａにより新しいデータｎ＋２が、処理部Ｂにより
データｎ＋１が、 処理されるが、今度は処理部Ｃに処理ずべきデータがな
くなる。 この場合、時刻ｔ、ｔ＋１．ｔ＋２の３単位の時間に、
データｒ１−２．ｎ−１の２つのデータが出力され、全
体としては、１．　５単位の時間に１個のデータしか処
理されなかったことになる。 このように、バイブライン中の一部の処理部に処理すべ
きデータがなくなったり（以下、バイブラインに隙間が
生じると記す）、あるいは、バイブライン中に処理すべ
きデータが全くなくなってしまったりする（以下、バイ
ブラインが空になると記す）と、バイブライン処理によ
る高速化の程度が低下してしまう。 従って、バイブライン処理による高速化が十分に実現さ
れるためには、バイブラインに絶え間なくデータを供給
する必用がある。 しかし、イベント取出部および回路動作計算部の中から
イベントが全くなくなった後に現在時刻を進める従来の
イベント駆動型の論理シミュレーション方法を用いた場
合、イベント取出部が現在時刻と等しいイベント時刻を
持つイベント群を全てイベント記憶部から取り出し終っ
た後は、回路動作計算部がそれらの゛イベント群を全て
処理し終るのを待った後に、現在時刻出力部による現在
時刻の更新と、イベント取出部による新たなイベント時
刻を持つイベントの取出処理を行わねばならない。すな
わち、イベント記憶部、イベント取出部９回踏動作計算
部からなるバイブラインのうち、イベント取出部９回踏
動作計算部の２つの処理部を空にする必要がある。 このため、イベント取出部２回踏動作計算部の中からイ
ベントがなくなった後に現在時刻を進める方法を用いた
場合、パイプライン処理を行う専用の論理シミュレーシ
ョン装置を作成しても、パイプライン処理による高速化
の程度が低下してしまう。 特願昭６２−１１３０２７の論理シミュレーション装置
では、現在時刻と等しい時刻を持つイベントをイベント
記憶部から取り出す第１のイベント取出部と、エレメン
トの入力端子の信号状態変化を表すイベントを各エレメ
ントごとに独立して扱い、エレメントの全ての入力端子
にそめ入力端子の信号状態変化を表すイベントが存在す
るとき、それらのイベントのうちでイベント時刻が最小
であるイベントをイベント記憶部から取り出す第２のイ
ベント取出部を併用することにより、また、第１のイベ
ント取出部、第２のイベント取出部。 回路動作計算部のそれぞれが処理している全てのイベン
トのイベント時刻と現在時刻を比較する比較器を設ける
ことによりこの点は解決されているが、イベント記憶部
以外の各バイブライン段に１個ずつ、すなわち、第１の
イベント取出部、第２のイヘ゛ント取出部９回踏動作計
’４　ＲＥ中に存在しうるイベントの数と同数だけ比較
器を設ける必用があり、そのためのハードウェアが大き
くなるという問題がある。この問題は、バイブライン処
理の効果を高めるために、回路動作計算部をバイブライ
ン処理を行う複数の処理部に分割したり、分割した処理
部の間にイベントを一時的に格納しておくバッファメモ
リを設けた場合に大きくなる。特に、大容盪のバッフ７
メモリを設けた場合には、バッファメモリが記憶し得る
イベントの総数と同じ数だけ比較器を設けねばならず、
比較器のために膨大な竜のハードウェアが必用となる。 本発明は、以ヒの点に鑑みてなされたものであり、従来
のイヘント取出部９回踏動作計算部を空にしてから現在
時刻を進める方法の論理シミュレーション装置よりも、
バイブラインに隙間を生じる頻度を下げて、より高速な
論理シミュレーション装置を実現することと、特願昭６
２−１１３０２７の論理シミュレーション装置で必要と
なる多数の比較器を、比較的小さなハードウェアで置き
換えることを目的としている。 課題を解決するための手段 上記課題を解決するため、本発明は、 複数の色を切り替えてイベントに色という識別子（以下
、単に色と記す）を付与する着色部と、航記Ｗｆ！！、
部がイベントに付与しうる複数の色の内から一つの色を
選んで、その色を注目色という色として出力する注目色
指定部と、前記注目色を持つイベントがイベント取出部
９回踏動作計算部の中に存在するか否かを判定する注目
色存在判定部を設け、また、色変更部、最小時刻記憶部
、第２のイベント取出部を設けている。 作用 着色部により、複数の色を切り替えてイベントに色を付
与して、イヘント取出部１回踏動作計算部中のイベント
を色分けし、注目色指定部により、前記着色部がイベン
トに付与しうる複数の色の内から一つの色を選んで注目
色とし、注目色存在判定部により、前記注目色を持つイ
ベントがイベント取出部９回踏動作計算部中に存在する
か否かを判定し、現在時刻出力部により、イベント取出
部。 回路動作計算部中にイベントが存在するか全く存在しな
いかに依存するのではなく、前記注目色存在判定部の出
力を用いて、イベント取出部９回踏動作計算部中に注目
色を持つイベントが存在するか否かによって現在時刻を
進めるので、現在時刻出力部は、イベント取出部９回踏
動作計算部中からイベントがなくなるのを待つことなく
現在時刻を進めることができ、それに続いてイベント取
出部は新たなイベント時刻を持つイベントの取出処理を
開始でき、バイブラインの隙間を小さくすることができ
る。 また、回路動作計算部中に色変更部を設け、回路動作計
算部中のイベントのイベント時刻が現在時刻と等しい場
合にはそのイベントの色を注目色とし、回路動作計算部
中のイベントのイベント時刻が現在時刻と異なる値にな
った場合にはそのイベントの色を注目色と異なる色に変
更することによって、伝搬遅延時間がＯであるエレメン
トを含む論理回路をもシミュレーション対象として、色
を用いて、イベント取出部および回路動作計算部の中か
らイベントがなくなるのを待つことなく、現在時刻の更
新を行うことができる。 さらに、最小時刻記憶部を設けることにより、イベント
記憶部中に現在時刻と等しいイベント時刻を持つイベン
トが存在しない場合には、現在時刻出力部により、最小
時刻記憶部が記憶している値まで、現在時刻を続けて進
めることが可能となる。 また、現在時刻と等しいイベント時刻を持つイベントを
イベント記憶部から取り出す処理部を第１のイベント取
出部とし、エレメントの入力端子の信号状態変化を各エ
レメントことに独ケして扱い、エレメントの全ての入力
端子にその入力端子の信号状態変化を表すイベントが存
在するとき、それらのイベントのうちでイベント時刻が
最小であるイベントをイベント記憶部から取り出す第２
のイベント取出処理を行う第２のイベント取出部を設け
ると同時に、着色部、注目色指定部、最小時刻記憶部を
設け、色を用いて現在時刻出力部による現在時刻の更新
を行う場合には、第１のイベント取出部がイベント記憶
部からのイベントの取り出しを行えないときにも、第２
のイベント取出部によりイベント記憶部からイベントを
取り出すことができるので、バイブラインの隙間を一層
小さくすることができる。また、特願昭６２−Ｉｆ３０
２７の論理シミュレーション装置と比較して、多数の比
較器を、注目色を持つイベントが存在するか否かを判定
する回路に置き換えられるので、論理シミュレーション
装置を構成するハードウェアを小さくすることができる
。 実施例 第１図は、本発明の論理シミュレーション装置の第１の
実施例を示す構成図である。第１図中、ｌは現在時刻出
力部、２はイベント記憶部、３はイベント取出部、４は
着色部、５は回路動作計算部、６は注目色存在判定部、
７は注目色指定部。 イ２２ロ、ハ二、ホ、へ、ト、チ、　リ、ヌ、ル。 ヲ、ワ、力、ヨ、夕は信号線である。 また第１８図は、本発明の論理シミュレーション装置で
処理されるデータ、すなわちイベントのデータ構造の第
１の例を示す構造図である。第１８図中、ａ＋　　ｂ、
　　ｃ、　　ｄ、　　ｅはイベントであり、ＴＩ、Ｔ２
はイベント時刻、ＣＩ、Ｇ２はエレメント番号、Ｓｌ、
５２１．Ｓ２２．−−−、Ｓ２ｎ、Ｓ３は信号状態、Ｃ
Ｉは色、Ｐ２はエレメントの入力端子番号である。 着色部４がイベントに付与し得る色は青、緑の２色であ
り、その初期値は青である。その値は信号線「ハ」に出
力される。 注目色指定部７は信号線「す」に注目色を出力する。注
目色は青、緑のいずれかの値を取り、初期値は緑である
。 現在時刻出力部１は、現在時刻を信号線「ホ」に出力し
ている。その初期値はＯである。今、現在時刻はＴＩで
あるとする。 イベント記憶部２は、シミュレーション対象となる論理
回路に外部から加えられる、エレメントの出力端子の信
号状態変化を表すイベントを、あらかじめ記憶している
。また、イベント記憶部２は、信号線「ホ」から現在時
刻を読み込み、現在時刻と等しいイベント時刻を持つイ
ベントが自らの中に存在する場合には信号線「へ」に真
値を、現在時刻と等しいイベント時刻を持つイベントが
自らの中に存在しない場合には信号線「へ」に偽値を出
力する。 イベント取出部３は、信号線「へ」の値を読み込み、そ
の値が真値であるとき、信号線「ヲ」にイベント読み出
し命令を出力する。イベント取出部３は、信号線「へ」
から読み込んだ値が偽（１αであるときには、信号線「
ヲ」にイベント読み出し命令を出力しない。 イベント記憶部２は信号線「ヲ」からイベント読み出し
命令を受け取ると、信号線「ホ」から読み込んだ現在時
刻Ｔ１と等しいイベント時刻を持つイベントの一つイベ
ン）ａを取り出し、信号線１口」を経てイベント取出部
３に送る。以下の説明の都合上、イベントａのエレメン
ト番号をＧ１、信号状態を８１で表す。イベント記憶部
２は、イベントａを出力した後、自らの中からイベント
ａを消去する。イベント記憶部２は信号線「ヲ」にイベ
ント読み出し命令が出力されなければ、イベントａの取
り出しは行わない。 着色部４は、信号線「ハ」を経て、イベント取出部３が
信号線「口」から受け取ったイベントａに色ＣＩを付与
する。 イベント取出部３は、信号線「二」に、イベントａに色
ＣＩが付与されたイベン）ｂを出力する。 また、イベント取出部３は、自らの中に青のイベントが
存在する場合、すなわちイベン）ｂの色Ｃ１が青である
場合には信号線「ト」に真値を出力し・　自らの中に青
のイベントが存在しない場合、すなわちイベン）ｂの色
Ｃ１が青でない場合には信号線「ト」に偽値を出力する
。さらに、イベント取出部３は、自らの中に緑のイベン
トが存在する場合、すなわちイベン）　ｂの色ＣＩが緑
である場合には信号線「チ」に真値を出力し、自らの中
に緑のイベントが存在しない場合、すなわちイベン）ｂ
の色Ｃｔが緑でない場合には信号線「チ」に偽値を出力
する。 回路動作計算８ｊ（５は、信号線「二」からイベントｂ
を受け取ると、イベントｂを受け取った事を示す信号を
信号線「ワ」に出力する。イベント取出部３は、この信
号を信号線「ワ」を通して受け取ると、次のイベントの
イベント記憶部２からの取り出しを閏始する。 回路動作計算部５は、イベント駆動型のアルゴリズムを
用いて、信号線「二」から受け取ったイベン）ｂが表す
シミュレーション対象とする論理回路の信号状態変化が
原因となって発生する、前記論理回路中のエレメントの
入力端子、出力端子の信号状態変化を計算し、その結果
得られた、エレメントの出力端子の信号状態変化を表す
イベントｅを信号線「イ」に出力する。ただし、回路動
作計算ａ３５は、エレメントの伝搬遅延時間が１以−し
てある論理回路のみを扱う。従って、イベントｅのイベ
ント時刻Ｔ２は、イベントｂのイベント時刻ＴＩよりも
大きい。回路動作計算部５が信号線「イ」に出力するイ
ベントｅの色ＣＩは、イベン）ｅが発生する原因となっ
た、信号線「二」から受け取られたイベントｂの色ＣＩ
と同じである。 回路動作計算部５がイベン）ｂを受け取りイベントｅを
出力する過程は、後に回路動作計算部の第１の実施例中
で詳しく説明する。回路動作計算部５は、複数のイベン
トを内部に持ち、それらのイベントを同時に処理するこ
とができる。 また、回路動作計算部５は、自らの中に青のイベントが
存在する場合には信号線「ヨ」に真値を、自らの中に青
のイベントが存在しない場合には信号線「ヨ」に偽値を
出力する。さらに、回路動作計算部５は、自らの中に緑
のイベントが存在する場合には信号線「夕」に真値な、
自らの中に緑のイベントが存在しない場合には信号線「
夕」にイΔ（＋Ｑを出力する。 イベント記憶部２は、信号線「イ」からイベントｅを受
け取り、邑ＣＩを除いて、イベン）ｅを記憶する。イベ
ント記憶部２は、イヘン）ｅの記憶が終ると、信号線ｒ
カ」にイベン）ｅを記憶し終ったことを示す信号を出力
する。 回路動作計算部５は、この信号を信号線「力」を経てイ
ベント記憶部２から受け取るまでは、イベン）ｅを自ら
の中にも保持しており、この信号を受け取った後に出力
していたイベントｅを自らの中から消去する。 注目色存在判定部６は、イベント取出部３により信号線
ｒ）Ｊ、　　ｒチ」に出力された（＋ｆｆと、回路動作
計算部５により信号線「ヨ」、「夕」に出力された値と
、注目色指定部７により信号線「す」に出力された注目
色を用いて、イベント取出部３゜回路動作計算部５の少
なくとも一方に注目色を持つイベントが存在するならば
信号線「ヌ」に真値を出力し、イベント取出部３２回踏
動作計算部５のいずれにも注目色を持つイベントが存在
しないならば信号線「ヌ」に偽値を出力する。 現在時刻出力部ｌは、信号線「へ」、「ヌ」の値が共に
偽１１σになった時、現在時刻を１進め、信号線「ル」
に、色変更命令を出力する。現在時刻出力部ｌは、信号
線「へ」、「ヌ」のいずれかの値が真値であるときには
、現在時刻の更新と色変更命令の出力は行わない。 現在時刻が初期値０の場合を例に取ると、イベント取出
部３９回踏動作計算部５中のイベントは全て青であり、
注目色は緑なので、信号線「ヌ」の値は偽値である。従
って、イベント取出部３がイベント時刻が０であるイベ
ントを全てイベント記憶部２から取り出し終え、信号線
「へ」の値が偽になった瞬間に、すなわち、イベント取
出部３゜回路動作計算部５中にまだ青のイベントが存在
するうちに、現在時刻出力部ｌは、現在時刻の更新と色
変更命令の出力を行う。 着色部４は信号線「ル」から色変更命令を受け取ると、
信号線「ハ」に出力ずろ色を、ｈから緑あるいは緑から
青に変更する。 注目色指定部７は信号線「ル」から色変更命令を受け取
ると、信号線「す」に出力する注目色を、緑から青ある
いは青から緑に変更する。 一方、イベント取出部３は、信号線「ホＪの現在時刻が
１進んだ後、再びイベント記憶部２の中からイベント時
刻が現在時刻と等しいイベントの取り出しを開始するこ
とができろ。 このように、本発明によれば、イベント記憶部２、イベ
ント取出部２３９回踏動作計算部５からなるバイブライ
ンの、イベント取出部３９回踏動作計算部５中からイベ
ントがなくなるのを待つことなく、イベント取出部３が
次の時刻を持つイベントの取り出しを開始できる。従っ
て、バイブライン中のイベント取出部３２回踏動作計算
部５を空にすることなくシミュレーションを行うことが
でき、バイブラインに隙間ができることによるシミュレ
ーション速度の低下を防ぐことができる。 第２図は、本発明に係わる現在時刻出力部の第１の実施
例を示す構成図である。第２図中、１１はカウンタ　ｌ
　Ｏは制御手段、あ、ボ、へ、ヌ。 ルは信号線である。 力・クンタ１１は、現在時刻を常に信号線「ホ」に出力
している。 シミュレーション開始に先立って、制御手段Ｉ２は信号
線「あ」に現在時刻初期イし命令を出力する。カウンタ
１１は、信号線「あ」から現在時刻初期化命令を受け取
ると、現在時刻を０にする。 シミュレーション実行中は、 制ｉａ′ｌＩ手段１２は、信号線「ヌ」、「へ」の値を
読み込み、信号線「ヌ」、「へ」の両方の値が偽値にな
ったとき、信号線「あ」に現在時刻更新命令を、イｔ″
Ｊｉ線「ル」に色変更命令を出力する。制御手段１２は
、信号線「ヌ」、「へ」の少なくとも一方の値が真ｊ＋
αであれば、現在時刻更新命令と色変更命令の出力は行
わない。 カウンタ１１は、信号線「あ」から現在時刻更新命令を
受け取ると、現在時刻を１進める。 第３図は、本発明に係わるイベント記憶部の第１の実施
例を示す構成図である。第３図中、２１はメモリ制御手
段、２２はポインタメモリ、２３はイベントメモリ、２
４はＮＵＬＬ判定毛段てあり、い、う、え、お、　イ９
９ロ、ホへ、ヲ、カは信号線である。 イベントメモリ２３は、信号線「イ」から受け取ったイ
ベントを、色を除いて記憶する。 ポインタメモリ２２は、時刻をキーとして、その時刻と
等しいイベント時刻を持つイベントを格納しているイベ
ントメモリ２３のアドレスを記憶している。 ポインタメモリ２２は、信号線「ホ」から現在時刻を読
み込み、現在時刻をキーとして、現在時刻と等しいイベ
ント時刻を持つイベント群のうちの１つを記憶している
イベントメモリ２３のアドレスを、信号線「え」に出力
する。ただし、ポインタメモリ２２は、現在時刻と等し
いイベント時刻を持つイベントがイベントメモリ２３中
にない場合には、そのことを示す特別な値ＮＵＬＬを信
号線「え」に出力する。 Ｎ　Ｕ　Ｌ　Ｌ判定手段２４は、信号線「え」の値がＮ
　Ｕ　Ｌ　してある場合には偽値を、信号線「え」の値
がＮ　Ｕ　Ｌ　してない場合には真値な、１３号線「へ
」に出力する。 メモリ制御１段２１は、信号線「ヲ」からイヘント読み
出し命令を受け取ると、信号ｇＡｒう」を経てイベント
メモリ２３を制御し、イベントメモリ２３に信号線「え
」の値が示すアドレスに記憶しているイベントを信号ｗ
ＡｒＯ」に出力させ、さらに、そのアドレスに記憶して
いたイベントを消去させる。さらに、メモリ制御手段２
１は、信号線「い」を用いてポインタメモリ２２を制御
し、ポインタメモリ２２に、信号線「え」に出力してい
たイベントメモリ２３のアドレスからイベントが消去さ
れたことを知らせ、そのイベントの消去が行われた後に
もイベントメモリ２３に残っている、現在時刻と等しい
イベント時刻を持つイベントのうちの１つが格納されて
いるイベントメモリ２３のアドレスを、信号線「え」に
出力させる。 ただし、前記イベントの消去の結果、イベントメモリ２
３の中に現在時刻と一致するイベント時刻を持つイベン
トがイベントメモリ２３の中に存在しなくなった場合に
は、ポインタメモリ２２に、信号線「えＪにＮＵＬＬを
出力させる。 また、信号線「イ」にイベントが送られてきた場合には
、メモリ制御手段２１は、信号線「う」を用いてイベン
トメモリ２３を制御し、イベントメモリ２３に、信号線
「イ」に送られてきたイベントを色を除いて記憶させる
と共に、その記憶したアドレスを信号線「お」へと出力
させる。 さらに、メモリ制御手段２１は、信号線「い」を用いて
ポインタメモリ２２を制御し、ポインタメモリ２２に、
信号線「イ」に送られてきたイベントが、信号線「お」
の値が示すイベントメモリ２３のアドレスに格納された
ことを記憶させろ。 メモリ制御手段２１は、イベントメモリ２；３へのイベ
ントの記憶と、ポインタメモリ２２へのアドレスの記憶
を完了させた後、信号線「力」に、イベントの記憶が完
了したことを示す信号を出力する。 第４図は、本発明に係わるイベント取出部の実施例を示
す構成図である。第４図中、３１はデータ保持手段、３
２は制御手段であり、か１口、ハ。 二、へ、ト、チ、ヲ、ワは信号線である。 以下に、イベント取出部が行う処理を、信号線「口」か
ら第１８図のイベントａを受け取る場合を例として説明
する。 制御手段３２は、データ保持手段３１中にイベントがな
く、かつ、信号線「へ」の値が真値であるとき、信号線
「ヲ」にイベント読み出し命令を出力し、信号線「か」
にデータ書込み命令を出力する。 データ保持手段３１は、信号線「か」からデータ書込み
命令を受け取ると、信号線「口］から色のないイベント
ａを、信号線「ハ」から色Ｃ１を読み込んで記憶し、そ
の、色が付いたイベントｂを信号線「二」に出力する。 またデータ保持手段３１は、記憶しているイベン）ｂの
色Ｃ１が青である場合には、信号線「ト」に真値を、信
号線「チ」に偽値を出力し、記憶しているイベントｂの
色Ｃ１が緑である場合には、信号線「ト」に偽ｆ＋ｆｆ
を、信号線「チ」に真値を出力する。 制御手段３２　Ｃ１、信号線「ワ」から、回路動作計算
部がイベントｂを受け取ったことを示す信号を受け取る
と、データ保持手段３１中にイベントがなくなったもの
として、新たなイベントの取り出しを開始する。 第５図は、本発明に係わる着色部の実施例を示す構成図
である。第５図中、４１は真偽記憶手段。 ・１２は色出力手段であり、き、ル、ハは信号線である
。 真偽記憶手段４１は、真値、偽値の２つの値のうちいず
れか一方を選んで記憶し、その値を信号線「き」に出力
する。真偽記憶手段４１が記憶している値の初期値は真
値である。真偽記憶手段４１は、信号線「ル」から色変
更命令を受け取ると、記憶し信号線「き」に出力してい
る値を、真値から偽値または偽値から真値に変更する。 色出力手段４２は、信号線「き」の値を読み、その値が
真値であるときには青を、偽値であるときには緑を信号
線「ハ」に出力する。 第６図は、本発明に係わる注目色指定部の実施例を示す
構成図である。第６図中、５１は真偽記憶手段、５２は
色出力手段であり、く、ル、りは信号線である。 真偽記憶手段５１は、真値、偽値の２つの値のうちいず
れか一方を選んで記憶し、その値を信号線「＜」に出力
する。真偽記憶手段５１が記憶している値の初期値は偽
値である。真偽記憶手段５１は、信号線「ル」から色変
更命令を受け取ると、記憶し信号線「＜」に出力してい
る値を、真値から偽値または偽値から真値に変更する。 色出力手段５２は、信号線「＜」の値を読み、その値が
真値であるときには青を、偽値であるときには緑を信号
線「す」に出力する。 第７図は、本発明に係わる注目色存在判定部の実施例を
示す構成図である。第７図中、６１．６２はＯＲゲート
、６３は選択手段であり、さ、シ。 ト、チ、す、ヌ、ヨ、夕は信号線である。 ＯＲゲート６１は、信号線「ヨ」、信号線「ト」。値を
読み込み、少なくとも一方の値が真（１αならば信号線
「さ」に真値を出力し、両方の値が１Δ値ならば信号線
「さ」に偽ｆｉＥｔを出力する。 ＯＲゲート６２は、信号線「夕」、１３号線「チ」の値
を読み込み、少なくとも一方の値が真（１αならば信号
線「シ」に真値を出力し、両方の値がイ＾１【αならば
信号線「シ」に偽値を出力する。 選択手段６３は、信号線「す」の値を読み込み、その値
が青であるならば信号線「さ」の値を信号線「ヌ」に出
力し、信号線「す」の値が緑であるならば信号線ｒＬｔ
ＪＯ値を信号線「又Ｊに出力する。 第８図は、本発明に係わる回路動作計算部の第１の実施
例を示す構成図である。第８図中、７１はバッファメモ
リ、７２，７３はカウンタ、７４は伝達手段、７５は配
線メモ１ハ　７６は人力状態更新手段、７７は人力状態
メモリ、７８は評価手段、７９は出力状態メモリ、８０
は伝搬遅延メモリ、８１はデータ出力手段、８２．８３
はＯＲゲート、８４はエレメント識別メモリ、８５は出
力計算手段であり、た、ち、っ、て、と、な、に。 め、ね、の、は、ひ、ふ、は、ま、み、イ、二。 ワ、力、ヨ、夕は信号線である。 以下に、回路動作計算部が行う処理を、回路動作計算部
が第１８図のイベン）ｂを受け取った場合を例として説
明する。 バッファメモリ７１は、信号線「二」からイベントｂを
受け取り、イベン）　Ｉ）を−時的に記憶する。バッフ
ァメモリ７１は、この記憶の後、イベントｂを受け取っ
たことを示す信号を信号線「ワ」に出力する。また、バ
ッフ７メモリ７１は、イベン）ｂを受け取ったことを示
す信号を信号線「ワ」に出力する簡に、イベン）ｂの色
ＣＩが青であった場合には信号線「と」に加算命令を出
力し、Ｃ１が緑であった場合には信号線「な」に加算命
令を出力する。 バッフ７メモリ７１は内部に複数のイベントを蓄えるこ
とができ、それらのイベントを、受け取った順に信号線
「た」に出力する。バッファメモリ７１は、この出力し
たイベントの色が青であった場合には信号線「とＪに減
算命令を送り、出力したイベントの色が緑であった場合
には信号線「な」に減算命令を出力する。 カウンタ７２は、バッフ７メモリ７１中に存在する青の
イベントの数を計数する。計数値の期間値は０である。 カウンタ７２は、信号線「と」から加算命令を受け取る
と計数値を１増やし、信号Ｈｒと」から減算命令を受け
取ると計数イ１αを】減らす。また、カウンタ７２は、
計数値がＯであるとき信号線「に」に偽値を出力し、計
数値が０以外のとき信号線「に」に真値を出力する。 カウンタ７３は、バッファメモリ７１中に存在する緑の
イベントの数を計数する。計数値の期間値は０である。 カウンタ７３は、信号線「な」から加算命令を受け取る
と計数ｆ１σを１増やし、信号線「な」から減算命令を
受け取ると計数１

【αを１減らす。また、カウンタ７３
は、計数値がＯであるとき信号線「ぬ」に偽値を出力し
、計数値がＯ以外のとき信号線「ぬ」にα値を出力する
。 伝達手段７４は、シミュレーション対象とする論理回路
中のエレメントの接続関係（論理回路の配線）を記憶し
ている配線メモリ７５を有しており、信号線「た」から
、シミュレーション対象とする論理回路中のエレメント
の出力端子の信号状態変化を表すイベントｂを受け取る
と、イベントｂのエレメント番号Ｇ１をアドレスとして
配線メモリ７５を読み出し、エレメントＧ１の後段につ
ながるエレメントのエレメント番号Ｇ２とそのエレメン
トＧ２の入力端子番号Ｐ２を読み出して、後段のエレメ
ントＧ２の入力端子Ｐ２の信号状態変化を表すイベント
Ｃを作成し、信号線「ち」に出力する。このとき、イベ
ントＣのイベント時刻。 信号状態２色は、イベントｂのイベント時刻ＴＩ。 信号状態Ｓｌ、　　色Ｃ１と等しくする。伝達手段７４
は、エレメントａｔの後段につながるエレメントが複数
存在する場合には、それら後段につながる全てのエレメ
ントの入力端子の信号状態変化を表すイベントを順次作
成し、信号線「ち」に出力する。この後、伝達手段７４
は、イベントｂを消去する。 また、伝達手段７４は、自らの中に青のイベントが存在
する場合にはＡｆｔαを、青のイベントが存在しない場
合には偽値を信号線「ねＪに出力し、自らの中に緑のイ
ベントが存在する場合にはへ値を、緑のイベントが存在
しない場合には偽値を信号線「のｊに出力する。 人力状態更新手段７６は、シミュレーション対象とする
論理回路中の全てのエレメントの全ての入力端子の信号
状態を記憶する人力状態メモリ７７を有している。人力
状態更新手段７６はイベントｃを信号線「ち」から受け
取ると、イベントＣのエレメント番号Ｇ２と入力端子番
号Ｐ２をアドレスとして、人力状態メモリ７７に、イベ
ントＣの信号状ＢＳ１を、エレメントＧ２の入力端子Ｐ
２の新たな信号状態として書き込む。 その後、人力状態更新手段７６は、入力端子番号を順次
替えながら、その入力端子番号とエレメント番号Ｇ２を
アドレスとして人力状態メモリ７７から、エレメントＧ
２の全ての入力端子の信号状態５２１．Ｓ２２．　　・
・＊、Ｓ２ｎを読み出す。 さらに、人力状態更新手段７６は、イベントｃのイベン
ト時刻ＴＩ、　　エレメント番号Ｇ２．　色Ｃ】と、信
号状１ｓ２１．Ｓ２２．　　・・＊、Ｓ２ｎを値とする
イベン）ｄを作成し、信号線ｒっ」に出力する。この後
、人力状態更新手段７６は、イベントＣを消去する。 また、人力状態更新手段７６は、自らの中に青のイベン
トが存在する場合には真値を、青のイベントが存在しな
い場合には偽ｆ１σを信号線「は」に出力し、自らの中
に緑のイベントが存在する場合には真値を、緑のイベン
トが存在しない場合には偽値を信号線「ひ」に出力する
。 評価手ｒ２７８は、エレメント番号をアドレスとしてエ
レメントの種類（２人力ＡＮＤゲート、４人力ＯＲゲー
）、ＪＫフリップフロップ等の、エレメントの機能）を
出力するエレメント識別メモリ８４と、エレメントの全
ての入力端子のｆＷ号状態とエレメントの種類を人力と
して、エレメントの出力端子の信号状態を計算する出力
計算手段８５と、エレメントの入力端子の信号状態が変
化してから、そのエレメントの出力端子の信号状態が変
化するまでに要する、エレメントの伝搬遅延を記憶して
いる伝搬遅延メモリ８０と、エレメントの出力端子の信
号状態を記憶する出力状態メモリ７９を有している。 評価手段７８は、信号線「つ」からイベントｄを受け取
ると、イベン）ｄのエレメント番号Ｇ２をアドレスとし
てエレメントＧ２の種類をエレメント識別メモリ８４か
ら読み出し、その結果と、イベントｄの信号状態Ｓ２１
．Ｓ２２．　　・・・。 Ｓ２ｎを出力計算手段８５に入力して、エレメントＧ２
の出力端子の新たな信号状態Ｓ３を計算する。評価手段
７８は、また、イベントｄのエレメント番号Ｃ２をアド
レスとして、出力状態メモリ７９から、以前に計算した
ニレメン）Ｇ２の出力端子の信号状態を読み出し、その
値と前記出力計算手段８５を用いて計算したエレメント
Ｇ２の出力端子の新たな信号状態Ｓ３を比較する。 評価手段７８は、比較した両信号状態が異なる場合には
、出力状態メモリ７９に、計算の結果得られたニレメン
）Ｇ２の出力端子の新たな信号状ｆ、Ｉｉ　Ｓ　３を８
き込み、また、エレメントＧ２の出力端子の信号状態変
化を示すイヘン）ｅを作成して、信号線「て」に出力す
る。イベントｅの信号状態は、出力計算手段８５によっ
て計算した結果得られた信号状態Ｓ３とする。イベント
ｅのエレメント番号２色は、イベン）ｄのエレメントに
　２．　　色Ｃ１とする。イベントｅのイベント時刻Ｔ
２は、伝搬遅延メモリ８０から読み出した工しメン）Ｃ
２の伝搬遅延時間をイベン）ｄのイベント時刻Ｔ１に加
算した値とする。評価手段７８は、この後、イベントｄ
を消去する。 評価手段７８は、出力状態メモリ７９から読み出したニ
レメン）０２の出力端子の信号状態と、出力計算手段８
５により計算したエレメントＧ２の出力端子の新たな信
号状態Ｓ３が等しい場合には、イベントｅの作成と、イ
ベン）ｅの信号線「て」への出力を行わずに、イベン）
ｄを消去する。 また、評価手段７８は、自らの中に青のイベントが存在
する場合には真値を、青のイベントが存在しない場合に
は偽値を信号線「ふＪに出力し、自らの中に緑の、イベ
ントが存在する場合には真値を、緑のイベントが存在し
ない場合には偽値を信号線「は」に出力する。 データ出力手段８１は、信号線「て」からイベン）ｅを
受け取ると、イベントｅを一時的に記憶し、信号線「イ
」に出力する。データ出力手段８１は、信号線「力」か
ら、イベント記憶部がイベントｅを記憶し終ったことを
示す信号を受け取るまで、イベントｅを保持し、信号線
ｒカ」からイベント記憶部がイベントｅを記憶し終った
ことを示す信号を受け取った後に、イベン）ｅを消去し
、信号線「て」から新たなイベントを受け取る。 また、データ出力手段８１は、自らの中に青のイベント
が存在する場合には真値を、青のイベントが存在しない
場合には偽値を信号線「ま」に出力し、自らの中に緑の
イベントが存在する場合には真値を、緑のイベントが存
在しない場合には偽値を信号線「み」に出力する。 ＯＲゲート８２は、信号線「に」、「ね」、「は」、「
ふ」、「ま」の値を常時読み込み、それらの値の少なく
とも一つが真値であるならば信号線「ヨ」に真値を出力
し、それらの値が全て偽値であるならば信号線「ヨ」に
偽値を出力する。 ＯＲゲート８３は、信号線「ぬ」、「の」、「ひ」、「
は」、「み」の値を常時読み込み、それらの値の少なく
とも一つが真値であるならば信号線「夕」に真値を出力
し、それらの値が全て偽値であるならば信号線「夕」に
偽値を出力する。 以上の説明では、バッファメモリ７１がイベントｂを受
け取り、データ出力手段８１がイベントｅを出力するま
でに各処理部が行う処理を順次説明したが、バッファメ
モリ７１．　　伝達手段７４゜人力状態更新手段７６、
評価手段７８．データ出力手段８１はバイブライン処理
を行い、複数のイベントを同時に処理することができる
。 本実施例では、伝達手段、入力状態更新手段。 評価手段が一つずつの場合を示したが、伝達手段。 人力状態更新手段、評価手段の任意の処理部を並列に配
置し、並列処理を行うこともできる。 また、バッファメモリとカウンタを、 伝達手段と人力状Ｂ史話手段のＩＬＬ 人力状態更新手段と評価手段の間。 評価手段とデータ出力手段の間にも設けてもよい。 第９図は、本発明の論理シミュレーション装置の第２の
実施例を示す構成図である。第９図中、１１よ現在時刻
出力部、９３はイベント記憶部、９１はイベント取出部
、４は着色部、５は回路動作計算部、９２は注目色存在
判定部、７は注目色指定部７口、二、へ、　Ｉハ　ヌ、
ヲ、ワ、ヨ、　タは信号線である。 第９図の論理シミュレーション装置は、第１図に示した
論理シミュレーション装置と比較して、イベント取出部
９１から注目色存在判定部９２に、イベント取出部９１
中に青および緑の色を持つイベントが存在するか否かを
知らせる信号線がない点と、イベント記憶部９３．イベ
ント取出部９１゜注目色存在判定部９２の動作が異なっ
ている。 この違いを、イベント取出部９１がイベント記憶部９３
から第１８図のイベン）ａを取り出す場合を例として説
明する。 今、現在時刻がＴ１であるとする。 イベント記憶部９３は、第１図のイベント記憶部２と同
様にして、自らの中に現在時刻と等しいイベント時刻を
持つイベントが存在するとき信号線「へ」に真値な、自
らの中に現在時刻と等しいイベント時刻を持つイベント
が存在しないとき信号線「へ」に偽値を出力する。 イベント取出部９１は、信号線「へ」の値が真（＋ｊ’
！であるとき、第１図のイベント取出部３と同様に、イ
ベント読み出し命令を信号線「ヲ」に出力する。 イベント記憶部９３は、信号線「ヲ」からイベント読み
出し命令を受け取ると、現在時刻ＴＩと等しいイベント
時刻を持つイベントの−っであるイベントａを、信号線
「口」に出力するが、第１図のイベント記憶部２とは異
なり、自らの中にもイベントａを保持しておく。 イベント取出部９１は、信号線「口」からイベン）ａを
受け取ると、第１図のイベント取出部３と同様にして、
イベント１〕を信号線「二」に出力する。この後、イベ
ント取出部９１は、信号線「ワ」から回路動作計算部５
がイベント１）を受け取ったことを示す信号を受け取っ
た後に、信号線「ヲ」に、イベント消去命令を出力する
。 イベント記憶部９３は、信号線「ヲ」からイベント消去
命令を受け取ると、自らの中からイベントａを消去する
。 注目色存在判定部９２は、回路動作計算部５により信号
線「ヨコ、「夕」に出力された値と、注目色指定部７に
より信号線「す」に出力された値を用いて、 回路動作計算部５中に注目色を持つイベントが存在する
ならば信号線「ヌ」に真値を出力し、回路動作計算部５
中に注目色を持つイベントが存在しないならば信号線「
ヌ」に偽（ｌαを出力する。 現在時刻出力部！９着色部４９回′Ｉ′Ｉｔｉ動作計算
部５、注目色指定部７が行う処理については、第１図の
論理シミュレーション装置と全く同じなので、説明は省
略する。 本実施例によれば、イベント取出部中に存在するイベン
トは、同時にイベント記憶部中にも存在するので、現在
時刻と等しいイベント時刻を持つイベントがイベント取
出部中に存在するか否かを、芭を用いて独ヴして管理す
る必用がなくなる。従って、イ・＼シト取出部中に注目
色を持つイベントが存在するか否かを示す信号線と、そ
の信号線に係わるハードウェアを省略することができる
。 第１Ｏ図は、本発明の論理シミュレーション装置の第３
の実施例を示す構成図である。第１０図中、ｌは現在時
刻出力部、１０１はイベント記憶部、１０２はイベント
取出部、４は着色部、　　１０３は回路動作計算部、１
０４−は色変更部、９２は注目色存在判定部、１０５は
注目色指定部、イ。 口、二、　リ、ワ、力、ヨ、　タは信号線である。 また、第１９図は本発明に係わるイベントのデータ構造
の第２の例を示す構造図である。第１９図中、ｆ、　　
ｇ、　　ｂ、　　ｉ、　　ｊはイベントであり、Ｔ５、
Ｔ６．Ｔ７はイベント時刻、Ｇ５．Ｃ７はエレメント番
号、Ｐ５．Ｐ７はエレメントの入力端子番号、Ｓ５，５
５１．Ｓ５２．　　・・＊、Ｓ５ｎ。 Ｓ６は信号状態＋　　Ｃ５，Ｃ６，Ｃ７は色である。 現在時刻出力部１９着色部４が行う処理は、第１図にお
けろ現在時刻出力部１９着色部４と全く同じである。ま
た、注目色存在判定部９２が行う処理は、第９図の注目
色存在判定部９２と全く同じである。 注目色指定部１０５は初！ＩＪＩ（Ｉ！！Ｉを青として
、信号線「す」に注目色を出力する。注目色の期間（１
α以外については、注目色指定部１０５が行う処理は、
第１図の注目色指定部７と全く同じである。 イベント記憶部１０１は、エレメントの出力端子の信号
状態変化を表すイベントではなく、エレメントの入力端
子の信号状態変化を表すイベントを記憶する。記憶する
イベントが異なる点を除いては、イベント記憶部１０１
の動作は、第９図のイベント記憶部９３と全く同じであ
る。 今、現在時刻がＴ５であるとする。 イベント取出部１０２は、イベント記憶部１０１から、
信号線１口」を経て、イベント時刻がＴ５である、エレ
メントの入力端子の信号状態変化を表すイベントの一つ
であるイベントｒを取り出し、信号線「二」に着色部４
により色Ｃ５が付！テされたイベントｇを出力する。イ
ベント取出部１０２は、イベント記憶部１０１から取り
出すイベントが、エレメントの出力端子の信号状態変化
を表すイベントではなく、エレメントの入力端子の信号
状態変化を表すイベントである点を除いては、第９図の
イベント取出部９１と全く同じである。 以下の説明の都合上、イベントｆのエレメント番号を０
５＋　　エレメントの入力端子番号なＰ５゜信号状態を
８５とする。 回路動作計算部１０３は、内部に、イベントの色を変更
する色変更部１０４を有している。 回路動作計算部１０３は、信号線「二」からイベントｇ
を受け取ると、イベントｇを受け取ったことを示す信号
を信号線「ワ」に出力する。 回路動作計算部１０３は、イベント駆動型のアルゴリズ
ムを用いて、イベントｇが表すシミュレーシＥ（ン対象
とする論理回路の信号状態変化が原因となって発生する
、前記論理回路中のエレメントの入力端子、出力端子の
信号状態変化を計算し、その結果得られた、エレメント
の入力端子の信号状態変化を表すイベントＪを信号線「
イ」に出力する。回路動作計算部１０３が扱うエレメン
トの伝搬遅延時間は第１図の回路動作計算部５とは穴な
り、０であってもよい。 回路動作計算部１０３は、信号線「す」から注目色を読
み込み、色変更部１０４は、その注目色を用いて、回路
動作計算部１０３が信号線「イ」に出力するイベントＪ
の色Ｃ７を、イベントＪの時刻Ｔ７がイベントｇのイベ
ント時刻Ｔ５と同じである場合には注目色とし、イベン
）Ｊの時刻Ｔ７が、イベントｇのイベント時刻Ｔ５と異
なる場合にはン王目色と胃なる（直とする。 回路動作計算部１０３がイベン）ｇを受け取りイベント
Ｊを出力する過程は、後に回路動作計算部の第２の実施
例中で詳しく説明する。 回路動作計算部１０３は、複数のイベントを内部に持ち
、それらのイベントを同時に処理することができる。 また、回路動作計算部１０３は、自らの中に青のイベン
トが１７在する場合には信号線「ヨ」に真値を、自らの
中に青のイベントが存在しない場合には信号線「ヨ」に
偽値を出力する。さらに、回′ｆＩＩ動作計算部１０３
は、自らの中に緑のイベントが存在する場合には信号線
「夕」に真値を、自らの中に緑のイベントが存在しない
場合には信号線「り」に偽値を出力する。 回路動作計算部１０３は、イベント記憶部１０１がイベ
ントＪを記憶し終えたことを示す信号を信号線「力」を
経て受け取るまでは、出力していたイベント、ｊを自ら
の中にも保持しており、この信壮を受け取った後にイベ
ントｊを自らの中から消去する。 本実施例によれば、色変更部により、回路動作計算部中
に存在するイベントのイベント時刻が現在時刻と同じで
ある場合には、そのイベントの色を注目色とし、回路動
作計算部中に存在するイベントのイベント時刻が現在時
刻と異なる場合には、そのイベントの色を注目色と異な
るようにするので、伝搬遅延時間が０であるエレメント
がシミュレーション対象とする論理回路中にあっても、
現在時刻出力部１は注目色存在判定部９２の出力を用い
て、現在時刻と等しいイベント時刻を持つイベントが回
路動作計算部中に存在するか否かを判定できる。従って
、本実施例の論理シミュレーション装置は、伝搬遅延時
間がＯであるエレメントを含む論理回路をもシミュレー
ション対象として、イベント記憶部、イベント取出部９
回踏動作計算部からなるバイブライン中のイベント取出
部９回踏動作計算部を空にすることなくシミュレーショ
ンを行うことができ、バイブラインに隙間ができること
によるシミュレーション速度の低下を防ぐことができる
。 第１１図は、本発明に係わる回路動作計算部の第２の実
施例を示す構成図である。第１１図中、１１１はバッフ
ァメモリ、７２．７３はカウンタ。 ７６は人力状Ｂ更新手段、１１２は評価手段、１１３．
１１６は色変更部、８０は伝搬遅延メモリ。 １１４は伝達手段、７５は配線メモリ、１１５は配線遅
延メモ１ハ　１１７はデータ出力手段、８２゜８３はＯ
Ｒゲートであり、た、ち、つ、で、と。 な、に、ぬ、ね、の、は、ひ、ふ、は、ま、み。 イ、二、す、ワ、力、ヨ、夕は信号線である。なお、第
１１図では、第８図に示した人力状態メモリ、出力状態
メモ１ハ　エレメント識別メモリ、出力計算手段は省略
している。 バッフ７メモリ１１１は、信号線「二」から第１９図の
イベントｇを受け取り、イベントｇを一時的に記憶する
。バッファメモリ１１１は、この記憶の後、イベントｇ
を受け取ったことを示す信号を信号線「ワ」に出力する
。また、バッファメモリ１１１は、イベントｇを受け取
ったことを示す信号を信号線「ワ」に出力する前に、受
け取ったイベン）ｇの色Ｃ５が青である場合には信号線
「と」に加算命令を送り、Ｃ５が緑である場合には信号
線「な」に加算命令を送る。 バッファメモリ１１１は内部に複数のイベントを蓄える
ことができ、それらのイベントを、受け取った順に信号
線「た」に出力する。バッファメモリ１１１は、この出
力したイベントの色が青である場合には信号線「と」に
減算命令を出力し、出力したイベントの色が緑である場
合には信号線「な」に減算命令を出力する。 カウンタ７２は、バッファメモリ１１１中に存在する青
のイベントの数を計数する。計数値の初間値はＯである
。カウンタ７２は、信号線「とＪから加算命令を受け取
ると計数４１αを１増やし、信号線「と」から減算命令
を受け取ると計数値を１減らず。また、カウンタ７２は
、計数値がＯであるとき信号線「に」に偽値を出力し、
計数値がＯ以外のとき信号線「に」に真圃を出力する。 カウンタ７３は、バッファメモリ１１１中に存在する緑
のイベントの数を計数する。計数値の初ｕｎ　ｈαは０
である。カウンタ７３は、信号線「な」から加算命令を
受け取ると計数値を１増やし、信号線「な」から減算命
令を受け取ると計数値を１減らす。また、カウンタ７３
は、計数値が０であるとき信号線「ぬ」に偽１１αを出
力し、計数値がＯ以外のとき信号線「ぬ」に真ｆ１αを
出力する。 人力状態更新手段７６はイベン）ｇを信号線「た」から
受け取ると、第８図の人力状態更新手段７６と全く同様
にして、ニレメン）Ｇ５の全ての入力端子の新たな信号
状態Ｓ５１．Ｓ５２．　　・・・、Ｓ５ｎを表すイベン
トｈを信号線「つ」に出力する。この後、人力状態更新
手段７６は、イベントｇを消去する。 また、人力状態更新手段７６は、自らの中に青のイベン
トが存在する場合には真値を、青のイベントが存在しな
い場合には偽値を信号線「は」に出力し、自らの中に緑
のイベントが存在する場合には真値を、緑のイベントが
存在しない場合には偽（１αを信号線「ひ」に出力する
。 評価手段１１２は、エレメントの入力端子の信号状態が
変化してから、そのエレメントの出力端子の信号状態が
変化するまでに要する、エレメントの伝搬遅延時間を記
憶している伝搬遅延メモリ８０と、自らが出力するイベ
ントの色を決定する色変更部１１３を有している。 評価ｔ’［Ｑｔ１２は、信号線「つ」からイベン１゛１
１を受け取ると、第８図の評価−１段７８と同様にして
、エレメントに５の出力端子の信号状態変化を表すイベ
ントのイベント時刻Ｔ６．　　エレメントＧ５の出力端
子の所たな漬け状態Ｓ６を計算し、工しメン）　Ｇ　５
の出力端子の信号状態が変化する場合には、そのφ化を
表すイベントｌを作成して・信号線「て」に出力する。 二ｆ価ト段１１２中の色変更部１１３は、信号線「す」
から注目色を読み込み、青、緑のいずれか一方を、イベ
ント１０色Ｃ６とする。色変更部＋１３は、Ｃ６を、Ｔ
５がＴ６に等しい場合、すなわち、伝搬遅延メモリ８０
から読み出したエレメントＧ５の伝搬遅延時間が０であ
る場合には注目色とし、Ｔ５がＴ６と霜なる場合、すな
わち、伝搬遅延メモリ８０から読み出したエレメントＧ
５の伝搬遅延時間が０てない場合には注目色と異なる（
１αとする。 評価手段１１２は、イベントＩを信号線「て」に出力し
た後、イベント１１・を消火する。 また、評価手段１１２は、自らの中に青のイベントが存
在する場合には真値を、青のイベントが存在しない場合
には偽１１αを信号線「ふ」に出力し、自らの中に緑の
イベントが存在する場合には真値を、緑のイベントが存
在しない場合には偽（ｌαを信号線「は」に出力する。 伝達手段１１□１は、シミュレーション対象とする論理
回路の配線を記憶している配線メモリ７５と、各配線を
信号状態変化が伝わるのに要する時間を記憶している配
線遅延メモリ１１５と、自らが出力するイベントの色を
決定する色変更部１１６を有している。 伝達手段１１４は、信号線「で」から、イベント１を受
け取ると、イベントｌのエレメント番号Ｇ５をアドレス
として配線メモリ７５を読み出し、エレメントＣ５の後
段につながるエレメントのエレメント番号Ｇ７とそのエ
レメントＧ７の入力端子番号Ｐ７を読み出して、後段の
ニレメン）Ｃ７の入力端そＰ７の信号状態変化を表すイ
ベントＪを作成し、信号線「ち」に出力する。 ただし、伝達手段１１・１は、イベントＪのイベント時
刻は、配線遅延メモリ１１５から読み出した後段につな
がるニレメン）Ｇ７の入力端子Ｐ７にニレメン）　Ｇ　
５の出力端子の信号状態変化が伝わるのに要する時間を
、イベント！のイベント時刻Ｔ６に加算した値Ｔ７とし
、イベントＪの信号状態はイベント１の信号状態Ｓ６と
する。 伝達手段１１４中の色変更部ｌ１６は、信号線「す」か
ら注目色を読み込み、青、緑の色のいずれか一方をイベ
ントＪの色とする。 色変更部１１６は、イベントＪの色Ｃ７を、色Ｃ６が注
目色であり、かつ、Ｔ６がＴ７に等しい場合、すなわち
、色Ｃ６が注目色であり、かつ、配線遅延メモリ１１５
から読み出した配線遅延時ＩＨｆがＯである場合には、
注目色とし、色Ｃ６が注目色と賢なるか、あるいは、Ｔ
６がＴ７と異なる場合、すなわち、色Ｃ６が注目色と異
なるか、あるいは、配線遅延メモリ１１５から読み出し
た配線遅延時間がＯでない場合には、注目色とは異なる
色とする。 伝達手段１１４は、イベントＪを信号線「ち」に出力し
た後、イベント１を消去する。 また、伝達手段１１４は、自らの中に青のイベントが存
在する場合には真値を、青のイベントが存在しない場合
には偽値を信号線「ね」に出力し、自らの中に緑のイベ
ントが存在する場合には真値を、緑のイベントが存在し
ない場合には偽値を信号線「の」に出力する。 データ出力手段１１７は、信号線「ち」からイベントＪ
を受け取ると、イベントＪを一時的に記憶し、信号線「
イ」に出力する。データ出力手段１１７は、信号線「力
」から、イベント３Ｉｌｌ！憶部がイベントＪを記憶し
終ったことを示す信号を受け取るまで、イベントＪを保
持し、信号線「力」からイベント記憶部がイベントＪを
記憶し終ったことを示す信号を受け取った後に、信号線
「ち」から新たなイベントを受け取る。 また、データ出力手段１１７は、自らの中に青のイベン
トが存在する場合には真値を、青のイベントが存在しな
い場合には偽値を信号線「ま」に出力し、自らの中に緑
のイベントが存在する場合には真値を、緑のイベントが
存在しない場合には偽値を信号線「み」に出力する。 ＯＲゲート８２は、信号線「に」、「ね」、「は」、「
ふ」、「ま」の値を常時読み込み、それらの値の少なく
とも一つが真（１αであるならば信号線「ヨ」に真値を
出力し、それらの値が全て偽値であるならば信号線「ヨ
」に偽（ｌσを出力する。 ＯＲゲート８３は、信号線「め」、「の」、「ひ」、「
は」、「み」の値を常時読み込み、それらの値の少なく
とも一つが真値であるならば信号線「夕」に真（直を出
力し、それらの値が全て偽ｆ直であるならば信号線「夕
」に偽値を出力する。 本実施例では、評価手段、伝達手段の両方に色変更部を
設けたが、配線遅延時間を常に０としてシミュレーショ
ンを行う場合には、伝達手段が出力するイベントのイベ
ント時刻を常に伝達手段が受け取ったイベントのイベン
ト時刻と等しくし、伝達手段が出力するイベントの色を
常に伝達手段が受け取ったイベントの色と同じにし、伝
達手段から配線遅延メモリと色変更部を取り除いてもよ
い。 このような構成にする場合には、回路動作計算部が受け
取るイベントと回路動作計算部が出力するイベントを、
エレメントの出力端子の信号状態変化を表すイベントと
し、伝達手段をバッファメモリと人力状態更新手段の間
に配置することも可能である。なお、この場合には、第
１０図の論理シミュレーション装置中のイベント記憶部
はエレメントの出力端子の信号状態変化を表すイベント
を記憶し、イベント取出部はエレメントの出力端子の信
号状態変化を表すイベントをイベント記憶部から取り出
すようにすればよい。 また、配線遅延のみを扱い、エレメントの伝搬遅延時間
を常に０としてシミュレーションを行う場合には、評価
手段が出力するイベントのイベント時刻を常に評価手段
が受け取ったイベントのイベント時刻と等しくし、評価
手段が出力するイベントの色を常に評価手段が受け取っ
たイベントの色と同じにし、評価手段から伝搬遅延メモ
リと色変更部を取り除いてもよい。 第１２図は、本発明の論理シミュレーション装置の第４
の実施例を示す構成図である。第１２図中、１２１は現
在時刻出力部、１０１はイベント記憶部、１０２はイベ
ント取出部、１０３は回路動作計算部、４は着色部、１
０４は色変更部、９２は注目色存在判定部、１０５は注
目色指定部。 １２２は最小時刻記憶部、イ、ホ、へ、ヌ、ル。 しは信号線である。 最小時刻記憶部１２２は、回路動作計算部１０３が信号
線「イ」に出力するイベントのイベント時刻の最小値を
記憶し、その値を信号線「し」に出力する。また、最小
時刻記憶部１２２は、現在時刻出力部１２１から信号線
「ル」に色変更命令が出力されたとき、記憶しているイ
ベント時刻の最小値を無限大に初期化する。 現在時刻出力部１２１は、信号線「ホ」に現在時刻を出
力している。現在時刻の初期値はＯである。現在時刻出
力部１２１は、信号線「ヌ」の値を読み込み、その値が
偽値になったときに現在時刻の更新を開始し、信号線「
へ」の値が偽値であり、かつ、現在時刻が信号線「し」
の値よりも小さい限り、現在時刻を１ずつ進め続ける。 現在時刻出力部１２１は、信号線「へ」の値が真値にな
るか、あるいは、現在時刻が信号線「し」の値と等しく
なったときに、現在時刻の更新をやめ、信号線「ル」に
色変更命令を出力する。現在時刻出力部１２１は、現在
時刻の更新を開始したときζこ、すでに信号線「へ」の
値が真１＋Ｗであるか現在時刻が信号線「し」のイ１α
と等しい場合には、現在時刻を進めることなく信号線「
ル」に色変更命令を出力する。 イベント記憶部１０１．　　イベント取出部１０２゜色
変更部１０４を有する回路動作計算部１０３゜着色部４
．注目色指定部１０５．注目色存在判定部９２が行う処
理は、第１Ｏ図のイベント記憶部１０１、イベント取出
部１０２９回踏動作計算部１０３、着色部４．注目色指
定部１０５．注目色存在判定部９２が行う処理と全く同
じなので、説明は省略する。 本実施例の論理シミュレーション装置は、現在時刻の更
新が開始されたときに最小時刻記憶部が記憶している値
が、現在時刻よりも２以上大きく、かつ、現在時刻より
もｌだけ大きいイベント時刻を持つイベントがイベント
記憶部中に存在しない場合には、現在時刻を２以上まと
めて進めることができる。 また、本実施例では、現在時刻出力部は信号線「ヌ」の
値が偽値になったときに現在時刻の更新を開始するとし
たが、信号線「ヌ」、「へ」の両方の値が偽値になった
ときに現在時刻の更新を開始してもよい。 第１３図は、本発明に係わる最小時刻記憶部の実施例を
示す構成図である。 第１３図中、１３１は記憶手段、１３２は比較手段、１
３３は制御手段であり、や、ゆ、イ、ル。 しは信号線である。 記憶手段１３１は、信号線「イ」に与えられたイベント
のイベント時刻を記憶し、信号線「し」に出力する。 シミュレーション実行に先ヴっで、制御手段１３３は信
号線「ゆ」に初期化命令を出力する。また、制御手段１
３３は、シミュレーション実行中に信号線「ル」から色
変更命令を受け取った場合にも、信゛号線「ゆ」に初期
化命令を出力する。 記憶手段１３１は、初期イヒ命令を信号線「ゆ」から受
け取ると、記憶し、信号線「し」に出力している値を、
無限大に初期化する。 シミュレーション実行中は、比較手段１３２は、信号線
「イ」にイベントが回路動作計算部から出力された時、
そのイベントのイベント時刻と、信号線「し」の値を比
較し、信号線「し」の値の方が大きい場合には真値を信
号線「や」に出力する。 比較手段１３２は、信号線「し」の値の方が信号線「イ
」のイベントのイベント時刻よりも小さいか、両方の値
が等しい場合には、信号線「や」に偽値を出力する。 制御手段１３３は、信号線「や、１の値が真１１σであ
るとき、信号線「ゆ」にデータ書き込み命令を出力部　
信号線「や」の値が偽値であるときには、信号線「ゆ」
にデータ書き込み命令を出力しない。 記憶手段１３１は、信号線「ゆ」からデータ書き込み命
令を受け取ると、信号線「イ」のイベントのイベント時
刻を記憶し、その値を信号線「しＪに出力する。 第１４図は、本発明に係わる現在時刻出力部の第２の実
施例を示す構成図である。第１４図中、Ｉｆはカウンタ
、１４１は制御手段、あ、ホ、へ。 ヌ、ル、しは信号線である。 カウンタ１１は、現在時刻を常に信号線「ホ」に出力し
ている。 シミュレーション開始に先立って、制御手段ｌＩＬ　１
は信号線「あ」に現在時刻初期化命令を出力する。カウ
ンタ１１は、信号線「あ」から現在時刻初期化命令を受
け取ると、現在時刻を０にする。 シミュレーション実行中は、 制御手段１４１は、信号線「ヌ」の値を読み込み、信号
線「ヌ」の値が偽ｆ１σになったとき、現在時刻の更新
を開始し、以下の処理を行う。 制御手段１４１は、信号線「ホ」、「し」の値を読み込
んで比較し、信号線「ホ」の値が信号線「し」の値より
も小さく、かつ、信号線「へ」の値が偽値である限り、
信号線「あ」に、現在時刻更新命令を出し続ける。 カウンタ１１は、信号線「あ」から現在時刻更新命令を
受け取ると、現在時刻を１進める。 制御手段１４１は、信号線「へ」の値が真値になるか、
あるいは、信号線「ホ」の値と信号線「し」の値が等し
くなったとき、信号線「あ」に対する現在時刻更新命令
の出力をやめ、信号線「ル」に色変更命令を出力する。 制御手段１４１は、現在時刻の更新を開始したときに、
すでに信号線「へ」の値が真値であるか、信号線「ホ」
の値が信号線「し」の値と等しい場合には、現在時刻更
新命令を信号線「あ」に出力することなく、信号線「ル
」に色変更命令を出力する。 第１５図は、本発明の論理シミュレーション装置の第５
の実施例を示す構成図である。第１５図中、１５０は現
在時刻出力部、１５１はイベント記憶部、１５２は第１
のイベント取出部、１５３は第２のイベント取出部、１
５４は回路動作計算部、１５５は注目色存在判定部、１
５６は着色部。 １５７は最小時刻記憶部、１５８は注目色指定部。 イ１１ロ、ハ二、ホ、へ、ト、チ、　リ、ヌ、ル。 ヲ、ワ、力、　ヨ、夕、　し、ネ、す、う、ム、つは信
号線である。 以下の説明では、ｒｌ存在刻と等しいイベント時刻を持
つイベントをイベント記憶部１５１から取り出す処理を
第１のイベント取出処理と称し、エレメントの入力端子
の信号状態変化を表すイベントを各エレメントごとに独
立して扱い、エレメントの全ての入力端子にその入力端
子の信号状態変化を表すイベントが存在するとき、それ
らのイベントのうちでイベント時刻が最小であるイベン
トを、現在時刻とは無■係にイベント記憶部１５１から
取り出す処理を第２のイベント取出処理と称する。 現在時刻出力部１５０は、初期値を０として現在時刻を
信号線「ホ」に出力する。現在時刻出力部１５０は、１
３号線「ヌ」の値が偽値になったとき現在時刻の更新を
開始し、信号線「へ」の値が偽（１σであり、かつ、現
在時刻が信号線「し」の値よりも小さい限り、現在時刻
を進める。現在時刻出力部ｉ５０は、現在時刻の更新が
終ると信号線「ル」に現在時刻更新終了信号を発生する
。現在時刻出力部１５０は、現在時刻の更新開始時に、
すでに信号線「へ」の値が真値であるか信号線「し」の
値が現在時刻と等しい場合には、現在時刻を進めること
なく、現在時刻更新終了信号を信号線「ル」に出力する
。 イベント記憶部１５１は、第１のイベント取出処理、第
２のイベント取出処理のいずれにも適した構造を持ち、
エレメントの入力端子の信号状態変化を表すイベントを
記憶している。イベント記憶部１５１は、第１のイベン
ト取出処理と信号線「イ」から受け取ったイベントの記
憶に関しては、エレメントの入力端子の信号状態変化を
表すイベントを記憶することを除いて、第１図のイベン
ト記憶部２と全く同じ処理を行う。イベント記憶部１５
１の実施例は、イベント記憶部の第２の実施例として後
に記す。 第１のイベント取出部１５２は、信号線「ル」から現在
時刻更新終了信号を受け取ると、第１のイベント取出処
理を開始し、信号線「へ」の（ａが偽値になると第１の
イベント取出処理を停止する。 第１のイベント取出処理の内容は、イベント記憶８Ｂ　
１５１から受け取るイベントがエレメントの入力端子の
信号状態変化を表すイベントであることを除いて、第１
図のイベント取出部３と全く同じである。 第２のイベント取出部１５３は、信号線「へ」の値が偽
値になったとき、信号線「つ」に色変更命令を出力した
後、第２のイベント取出処理を開始し、信号線「ル」か
ら現在時刻更新終了信号を受け取ったときに第２のイベ
ント取出処理を停止する。第２のイベント取出部１５３
は、第２のイベント取出処理を、信号線「ム」、「う」
、「口」を用いて行い、イベント記憶部１５１から取り
出したイベントに着色部１５６により色が付与されたイ
ベントを、信号線「二」に出力する。第２のイベント取
出処理によってイベント記憶部１５１から取り出される
イベントのイベント時刻は、現在時刻と等しくてもよい
し、現在時刻と異なってもよい。第２のイベント取出処
理の詳細については、後に、第２のイベント取出部の実
施例、イベント記憶部の第２の実施例中で述べる。 また、第２のイベント取出部１５３は、自らの中に青の
イベントが存在する場合には信号線「ネ」に真値を出力
し、自らの中に青のイベントが存在しない場合には信号
線「ネ」に偽値を出力する。 さらに、第２のイベント取出部１５３は、自らの中に緑
のイベントが存在する場合には信号線「す」に真値を出
力し、自らの中に緑のイベントが存在しない場合には信
号線「す」に偽イ直を出力する。 着色部１５６は、第１図の着色部４と同様、■を初！！
■値として、青、緑の色を切り替えて信号線「ハ」に出
力し、信号線「ハ」を経て、第１のイベント取出部１５
２．第２のイベント取出部１５３がイベント記憶部１５
１から取り出したイベントに色を付与する。第１のイベ
ント取出部１５２゜第２のイベント取出部１５３のいず
れがイベント記憶部１５１から取り出したイベントに対
しても色を付与することと、色変更命令を信号線「ル」
からではなくｆｉ号線「つ」から受け取ることを除いて
は、着色部１５６が行う処理は、第１図の着色部４と同
じである。 回路動作計算部１５４は、信号線「二」から第１のイベ
ント取出部１５２または第２のイベント取出部１５３が
出力したイベントを受け取り、イベント駆動型のアルゴ
リズムを用いて、そのイベントが表すシミュレーション
対象とする論理回路の信号状態変化が原因となって発生
する前記論理回路中のエレメントの入力端子、出力端子
の信号状態変化を計算し、その結果得られたエレメント
の入力端子の信号状態変化を表すイベントを信号線「イ
」に出力する。回路動作計算部１５４は、色変更部を持
たず、出力するイベントの色を、常に、その出力するイ
ベントが発生する原因となった信号線「二」から受け取
ったイベントと同じ色にする。信号線「二」に出力する
イベントの色の決定の仕方を除いては、回路動作計算部
１５４は第１Ｏ図の回路動作計算部１０３と同じ処理を
行う。 注目色指定部１５Ｂは、色変更命令を信号線「ルｊから
ではなく信号線「つ」から受け取ることを除いて、第１
図の論理シミュレーション装置における注目色指定部７
と全く同じ処理を行う。 最小時刻記憶部１５７は、第１のイベント取出部１５２
および第２のイベント取出部１５３が信号線「二」に出
力したイベントのイベント時刻の最小値を記憶し、記憶
している値を信号線「し」に出力する。最小時刻記憶部
１５７は、信号線「ル」から現在時刻更新終了信号を受
け取ると、記憶し信号線「し」に出力している値を無限
大に初期化する。 注目色存在判定部１５５は、第１のイベント取出部１５
２が信号線「ト」、「チ」に出力したイ１αと、第２の
イベント取出部１５３が信号線「ネ」。 「す」に出力した値と、回路動作計算部１５４が信号線
「ヨ」、「夕」に出力した値と、注目色指定部１５８が
信号線「す」に出力した注目色を用いて、注目色を持つ
イベントが第１のイベント取出品１５２．第２のイベン
ト取出部ｌ５３９回踏動作計算部１５４の少なくとも１
つの中に存在するとき信号線「ヌ」に真（１αを出力し
、注目色を持つイベントが第１のイベント取出部１５２
．第２のイベント取出部１５：３．回路動作計算部１５
４のいずれの中にも存在しないとき信号線「ヌ」に偽１
１αを出力する。 本実施例によれば、第１のイベント取出部がイベント記
憶部からイベントを取り出せないときにも、第２のイベ
ント取出部がイベント記憶部からイベントを取り出して
そのイベントを回路動作計算部に送ることができるので
、イベント記憶部。 第１のイベント取出部および第２のイベント取出部９回
踏動作計算部により構成されるパイプラインに、隙間を
生しることなくシミュレーションを行うことができる。 また、本実施例の論理シミュレーション装置は、第１の
イベント取出部、第２のイベント取出部。 回路動作計算部の各処理部から青、緑のイベントが各処
理部中に存在するか否かを示す信号を出させ、さらに、
回路動作計算部中のバッファメモリには、第１１図に示
したのと同様に、該バッファメモリ中に存在する青、緑
のイベントを計数するカウンタを付随させることによっ
て、第１のイベント取出部、第２のイベント取出部７回
踏動作計算部中に存在する全てのイベントのそれぞれの
イベント時刻と現在時刻を比較することなく現在時刻を
更新できるので、小さなハードウェアで、第１のイベン
ト取出部、第２のイベント取出部を併用した論理シミュ
レーション装置を実現することができる。 なお、本実施例では、イベント記憶部９回踏動作計算部
の処理部が一つずつの場合を示したが、これらの処理部
の任意のものを並列に配置して並列処理を行うこともて
きる。第１のイベント取出部、第２のイベント取出部を
紺にして並列に配置する場合には、着色部、最小時り１
記憶部も同数だけ並列に配置して第１のイベント取出部
、第２のイベント取出部とｌ対ｌに対応付け、警笛１の
イベント取出部、第２のイベント取出部が出力するイベ
ントには、χ・１応１．１けられた着色部が芭を付与し
、対応付けられた最小時刻記憶部はそれらのイベントの
イベント時刻を記憶し、各４色部は対応付けられた第２
のイベント取出部からの色変更命令によって出力するイ
ベントの色を変更し、注目区指定部は、全第２のイベン
ト取出部が色変更命令を出力したときに注目色を変更し
、現在時刻出力部は全ての最小時刻記憶部が記憶してい
る値の最小値以下の範囲で現在時刻を更新するようにし
てもよい。 このように、イベント記憶部１５１．　　第１のイベン
ト取出処理第２のイベント取出部９回踏動作計算部を容
易に値列化して、論理シミュレーション装置をより高速
化することができる。 また現在時刻出力部を一つだけ設け、第１５図の論理シ
ミュレーション装置から現在時刻出力部を取り除いたも
のを基本単位として並列に配置して通信路で結合し、現
在時刻出力部は全着色部が偽値を出力したときに現在時
刻の更新を開始して、全最小時刻記憶部が記憶している
値の最小値以下の範囲で現在時刻を更新してもよい。こ
のような構成によっても、並列処理により論理シミュレ
ーション装置を高速化することができる。 第１６図は、本発明に係わる第２のイベント取出部の実
施例を示す構成図である。第１６図中、１６１はエレメ
ント番号発生手段、１６２は人力ビン数メモリ、１６３
は制御手段、１６４はイベント保持手段、１６６は出力
イベント保持手段であり、ら、る、れ、ろ、わ、ゑ、　
　ｃｌ、、　　ハ、二、へ。 ル、ネ、す、う、ム、ワ、つは信号線である。 制御手段１６３は、第２のイベント取出部全体の動作を
制（Ｈシ、信号線「へ」の値が偽値となったときに、信
号線「つ」に色変更命令を出力し、その後、後に述べる
第２のイベント取出処理を開始し、信号線「ル」から現
在時刻更新終了信号を受け取ると第２のイベント取出処
理を停止する。 以下に、第２のイベント取出処理中に第２のイベント取
出部の各部が行う処理について説明する。 制御手段１６３は信号線「ゑ」に、エレメント番号発生
命令を出力する。 エレメント番号発生手段１６１は、信号線「ゑ」からエ
レメント番号発生命令を受け取ると、エレメント番号を
発生して信号線「ら」に出力する。 人力ピン数メモリ１６２は、各エレメントの入力ピン数
を記憶しているメモリであり、信号線「ら」の値が示す
エレメントの人力ピン数を信号線「る」に出力する。 制御手段１６３は、信号線「ら」のエレメント番号を読
み込み、まず人力ピン番号を１として、人力ピン番号と
信号線「ら」のエレメント番号を紺にし、信号線「う」
に出力する。制御手段１６３は、また、信号線「ム」に
イベント読み出し命令を出力する。 なお、イベント記憶部の第２の実施例中で述べろように
、イベント記憶部は信号線「ム」からイベント読み出し
命令を受け取ると、信号線「う」のエレメント番号、入
力ピン番号と等しいエレメント番号１入力ビン番号を持
つイベント記憶部中のイベントのうちで、最も早くイベ
ント記憶部に格納されたイベントを１ｇ号線ｒ口」に出
力する。 イベント記憶中は信号線「ム」からイベント消去命令を
受け取るまで、信号線「口」に出力したイベントを、自
らの中から消去しない。 イベント記憶部から信号線「口」にイベントが出力され
ると、制御手段１６３は、信号線「れＪを経てイベント
保持手段１６４を制御し、イベント保持手段１６４に信
号線「口」のイベントを記憶させる。 イベント保持下段１６４は信号線「口」から受け取り記
憶しているイベントを、信号線「ろ」に出力する。 次いで、制御手段１６３は信号線「るＪからエレメント
の人力ピン数を読み込み、人力ピン番号を２から信号線
「る」の値以下の範囲で順次増やしながら、人力ピン番
号と信号線「ら」から読み込んだエレメント番号の組を
信号線「う」に、イベント読み出し命令を信号線「ム」
に出力する。 イベント記憶部から信号線「０」にイベントが出力され
ると、制御手段１６３は、信号線「口」のイベントのイ
ベント時刻と信号線「ろ」のイベントのイベント時刻を
比較し、信号線１口」のイベントの方がイベント時刻が
小さい場合には、信号線１口」のイベントをイベント保
持手段１６４に記憶させる。制御手段１６３は、信号線
１口」のイベントの方がイベント時刻が大きいか、ある
いは、両イベントのイベント時刻が等しい場合には、信
号線「【コ」のイベントをイベント保持手段１６４に記
憶させない。 制御手段１６３は、信号線「る」から読み込んだ値と等
しい人力ピン番号に対して、イＪ＼ントの読み出しとイ
ベント保持手段１６４に記憶するイベントの更新が終る
か、該当するイベントがイベント記憶中に存在しないこ
とを示す値ＮＵＬＬが信号線「口」に出力されるまで、
イベントの読み出しとイベント保持手段１６４に記憶す
るイベントの変更を続ける。 人力ピン番号が信号線「る」から読み込んだ値に対して
、イベントの読み出しとイベント保持手段１６４に記憶
するイベントの更新が終ると、制御手段１６３は信号線
「わ」を経て出力イベント１ｖ持手段１６６を制御して
出力イベント保持手段１６６に信号線「ろ」のイベント
を記憶させ、さらに、信号線「う」に信号線「ろ」のイ
ベントのエレメント番号と入力ビン番号を、信号線「ム
」にイベント消去命令を出力する。この後、制御手段１
６３は、信号線「ゑ」にエレメント発生命令を送フて信
号線「ら」から新たなエレメント番号を読み込み、その
エレメント番号が示すエレメントに対して、イベン）記
憶部からのイベントの取り出しをｍ１始する。 制御手段１６３は、人力ビン番号が信号線「る」から読
み込んだ値に対してイベントの読み出しとイベント保持
手段１６４に記憶するイベントの更新が終る前に信号線
「口」にＮ　Ｕ　Ｌ　Ｌが送られてきた場合には、出力
イベント保持手段１６６に信号線［ろＪのイベントを記
憶させることなく、かつ、信号線「ム」にイベント消去
命令を出力することなく、信号線「ゑ」にエレメント発
生命令を送って新たなエレメントに対する処理を開始す
る。 出力イベント保持手段１６６は、信号線「ろ」のイベン
トを記憶するときに同時に、信号線「ハ」の色も同時に
記憶し、色とともに記憶したイベントを信号線「二Ｊに
出力する。 また、信号線出力イベント保持手段１６６は、記憶して
いるイベントの色が青である場合には信号線「ネ」に真
値を、信号線「す」に偽値を出力Ｌｙ、　　記憶してい
るイベントの色が緑である場合には信号線「ネ」に偽１
１αを、信号線「す」に真１＋αを出ノＪずろ。出力イ
ベント保持手段１６６は信号線「ワ」から、回路チカ作
計算部がイベントを受け取ったことを示す信号を受け取
ると、記憶し信号線「二」に出力していたイベントを消
去する。 第１７図は、本発明に係わるイベント記憶部の第２の実
施例を示す構成図である。第１７図中、２１はメモリ制
御手段、２２，１７７はポインタメモリ、２３はイベン
トメモリ、２４はＮ　Ｕ　Ｌ　Ｌ判定手段であり、い、
　う、え、お、を、ん、　イ。 口、ホ、へ、ヲ、力、う、ムは信号線である。 イベントメモリ２３は、信号線「イ」から受け取ったイ
ベントを１色を除いて記憶する。 ポインタメモリ２２は、時刻をキーとして、その時刻と
等しいイベント時刻を持つイベントを格納しているイベ
ントメモリ２３のアドレスを記憶している。 ポインタメモリ２２は、信号線「ホ」から現在時刻を読
み込み、現在時刻をキーとして、現在時刻と等しいイベ
ント時刻を持つイベント群のうちの１つを記憶している
イベントメモリ２３のアドレスを、信号線「え」に出力
する。ただし、ポインタメモリ２２は、現在時刻と等し
いイベント時刻を持つイベントがイベントメモリ２３中
にない場合には、Ｎ　ｔＪ　Ｌ　Ｌを信号線「え」に出
力する。 Ｎ　Ｕ　Ｌ　Ｌ判定手段２４は、信号線「え」の値がＮ
　Ｕ　Ｌ　Ｌである場合には偽値を、信号線「え」の値
がＮ　Ｕ　Ｌ　Ｌでない場合には真値を、信号線「へ」
に出力する。 メモリ制御手段２１は、信号線「ヲ」からイベント読み
出し命令を受け取ると、信号線「う」を経てイベントメ
モリ２３を制御し、イベントメモリ２３に信号線「え」
の値が示すアドレスに記憶しているイベントを信号線「
口」に出力させ、信号線「お」には信号線「え」のアド
レス値をそのまま出力させ、さらに、そのアドレスに記
憶していたイベンＩ・を消去させる。さらに、メモリ制
ｉ卸手段２１は、信号線「い」を用いてポインタメモリ
２２を制御し、ポインタメモリ２２に、信号線「お」の
値が示すイベントメモリ２３のアドレスからイベントが
消去されたことを知らせ、そのイベントの消去が行われ
た後にもイベントメモリ２３に残っている、現在時刻と
等しいイベント時刻を持つイベントのうちの１つが格納
されているアドレスを、信号線「え」に出力させる。た
だし、前記イベントの消去の結果、イベントメモリ２３
の中に現在時刻と一致するイベント時刻を持つイベント
がイベントメモリ２３の中に存在しなくなった場合には
、ポインタメモリ２２に、信号線「え」にＮＵＬＬを出
力させる。さらに、制御手段１６３は、信号線「を」を
経てポインタメモリ１７７を制御し、信号線「お」のア
ドレスに記憶されていたイベントがイベントメモリ２３
から消去されたことをポインタメモリ１７７に知らせる
。 ポインタメモリ１７７は、エレメント番号、入力ビン番
号の組をキーとして、それらと等しいエレメント番号９
入力ビン番号を持つイベントを格納しているイベントメ
モリ２３のアドレスを記憶している。 メモリ制御手段２１は、信号線「ム」からイベント読み
出し命令を受け取ると、信号線「を」を経てポインタメ
モリ１７７を制御し、信号線「う」のエレメント番号２
入力ピン番号と等しいエレメント番号、入力ビン番号を
持つイベントのうちで、最も早くイベントメモリ２３が
受け取ったイベントが格納されているイベントメモリ２
３のアドレスを、信号線「ん」に出力させる。ただし、
ポインタメモリ１７７は、信号線「う」のエレメント番
号２入力ビン番号を持つイベントがイベントメモリ２３
の中に存在しない場合には、ＮＵＬＬを信号線「ん」に
出力する。ざらに、メモリ制御手段２１は、信号線「う
」を経てイベントメモリ２３を制御し、信号線「ん」の
値が示すアドレスに格納されているイベントを、信号線
「口」に出力させる。ただし、信号線「ん」の１直がＮ
　ＬＪ　Ｌ　Ｌである場合には、イベントメモリ２３は
信号線「口」にＮ　［Ｊ　Ｌ　Ｌを出力する。 メモリ制御手段２１は、信号線「ム」からイベント消去
命令を受け取ると、信号線「を」を経てポインタメモリ
１７７を制御し、信号線「う」のエレメント番号９入力
ビン番号と等しいエレメント番号９入力ビン番号を持つ
イベントが格納されているイベントメモリ２３のアドレ
スのうちで、同じエレメント番号９入力ビン番号に対し
て、信号線「ム」からイベント読み出し命令を受け取っ
たときに信号線「ん」に出力したアドレスを、再び信号
線「ん」に出力させ、ざらに、そのアドレスに格納され
ていたイベントがイベントメモリ２３中から消去された
ことを知らせる。 さらに、メモリ制御手段２１は、信号線「う」を経てイ
ベントメモリ２３をＢｌａｂ、信号線「ん」のアドレス
に格納しているイベントを消去させるとともに、信号線
「ん」の値を信号線「お」に出力させろ。さらに制御手
段１６３は、信号線「お」のアドレスに記憶されていた
イベントがイベントメモリ２３から消去されたことをポ
インタメモリ２２に知らせろ。 また、信号線「イＪにイベントが送られてきた場合には
、メモリ制御手段２１は、信号線「う」を用いてイベン
トメモリ２３を制御し、イベントメモリ２；３に、信号
線「イ」に送られてきたイベントを、色を除いて記憶さ
せると共に、その記憶したアドレスを信号線「お」へと
出力させる。 さらに、メモリ制御手段２１は、信号線「い」を用いて
ポインタメモリ２２を制ｉ卸し、ポインタメモリ２２に
、信号線「イ」に送られてきたイベントが、信号線「お
Ｊのｆ（αが示すイベントメモリ２３のアドレスに格納
されたことを記憶させ、信号線「を」を用いてポインタ
メモリ１７７を制御し、ポインタメモリ１７７に、信号
線「イ」に送られてきたイベントが、信号線「お」の値
が示すイベントメモリ２３のアドレスに記憶されたこと
を記憶させる。 メモリ制御手段２１は、イベントメモリ２３へのイベン
トの記憶と、ポインタメモリ２２．ポインタメモリ１７
７へのアドレスの記憶を完了させた後、信号線「力」に
、イベントの記憶が完了したことを示す信号を出力する
。 本実施例によれば、イベント記憶部を第１のイベント取
出処理、第２のイベント取出処理のいずれにも適した構
造にすることができる。 発明の効果 本発明は、イベントに色という識別子を付加することに
よって、イベント取出部および回路動作計算部の中から
イベントかなくなるのを待つことなく、現在時刻を進め
るイベント駆動型の論理シミュレーション方法と論理シ
ミュレーション装置を提供するものであり、バイブライ
ンに隙間ができることによるシミュレーション速度の低
下を防ぐことができるという効果がある。 また、請求項３．　５．　７の論理シミュレーション方
法および請求項４．　６．　８の論理シミュし−ション
装置によれば、伝搬遅延時間が０であるエレメントを含
む論理回路をもシミュレーション対象として、色を用い
て、イベント取出部および回路動作計算部の中からイベ
ントがなくなるのを待つことなく現在時刻を進めること
ができ、バイブラインに隙間ができることによるシミュ
レーション速度の低下を防ぐことができる。 また、請求項５，７の論理シミュレーション方法および
請求項６．８の論理シミュレーション装置によれば、最
小時刻記憶部が記憶している値よりも現在時刻が大きく
なく、イベント記憶部中に現在時刻と等しいイベント時
刻を持つイベン■・が存在しない範囲では、現在時刻を
続けて進めることができる。 さらに、請求項７の論理シミュレーション方法および請
求項８の論理シミュレーション装置によれば、イベント
記憶部の中に現在時刻と等しいイベント時刻を持つイベ
ントが存頴しないときにも、第２のイベント取出部によ
りイベント記憶部からイベントを取り出せるので、バイ
ブラインに生じる隙間を一層小さくすることができ、シ
ミュレージョン速度の低Ｆ防正に、−層大きな効宋があ
る・また、請求項７の論理シミュｌ／−シ′−ｌン方法
′Ｊ５よび請求項８の論理シミュレーション装置によれ
は、イベント記憶部、イヘント取出品１回踏動作計算部
中に存在する全てのイベントの一イヘン１、時刻と現在
時刻を比較する必用がないので、比較的小さなハードウ
ェアで、第１のイベント取出部と第２のイベント取出部
を併用した論理シミュレーション装置を実現することが
できる。

【図面の簡単な説明】

第１図は本発明の論理シミュレーション装置の第１の実
施例の構成図、第２図は現在時ｉｌｌ出力部の第１の実
施例の構成図、第３１４はイベント記憶部の第１の実施
例の構成図、第４図はイベント取出部の実施例の構成図
、第５図は着色部の実施例の構成図、第６図は注目色指
定部の実施例の構成図。 第７図は注目色存在判定部の実施例の構成図、第８図は
回路動作計算部の第１の実施例の構成図。 第９図は本発明の論理シミュレーション装置の第２の実
施例の構成図、第１Ｏ図は本発明の論理シミュレーショ
ン装置の第３の実施例の構成図、第１１図は回路チｈ作
計算部の第２の実施例の構成図。 第１２図は本発明の論理シミュレーション装置の第４の
実施例の構成図、第１３図は最小時刻記憶部の実施例の
構成図、第１４図は現在時刻出力部の第２の実施例の構
成図、第１５１４は本発明の論理シミュレーション装置
の第５の実施例の構成図。 第１６図は第２のイベント取出部の実施例の構成図、第
１７図はイベント記憶部の第２の実施例の構成図、第１
８図、第１９図はイベントの構造図。 第２０図、第２１図はハイブライン処理の説明図。 第２２図は従来の論理シミュレーション装置の構成図で
ある。 １・・・・・・現在時刻出力部、２・・・・・・イベン
ト記憶部３・・・・・・イベント取出部、４・・・・・
・着色部、５・・・・・・回路動作計算部、６・・・・
・・注目色存在判定部、７・・・・・・注目色指定部、
１１・・・・・・カウンタ、１２・−・・・・制御手段
、２１・・・・・・メモリ制御手段、２２・・・・・・
ポインタメモリ、２３・・・・・・イベントメモリ、２
４・・・・・・ＮＵ　Ｌ　Ｌ判定手段、３１・・・・・
・データ保持手段、３２・・・・・・制御手段、４１・
・・・・・真偽記憶手段、４２・・・°゛。 色出力手段、５１・・−・・・真偽記憶手段、５２・・
・・・・色出力手段、６１．６２・・・・・・ＯＲゲー
ト、６３・・・・・−選択手段、７１・−・・・−バッ
ファメモリ、７２．　７３・・・・・・カウンタ、７４
・・・−・・伝達手段、７５・・−・−配線メモリ、７
６・・・・・・人力状態更新手段、７７−・・・・・人
力状態メモリ、７８・・・・・・評価手段、７９・・・
・・・出力状態メモリ、８０−・−・・・伝搬遅延メモ
リ、８１・−・・・・データ出力手段、８２．８３・・
・・・・ＯＲゲート、８４・・・・・・エレメント識別
メモリ、８５・・・・・・出力計算手段、９１・・・・
・・イベント取出部、９２・・・・・・注目色存在判定
部、９３・・・・・・イベント記憶部、１０１・・・・
・・イベント記憶部、１０２・・・・・・イベント取出
部、１０３・・・・・・回路動作計算部、１０４・・・
・・・色変更部、１０５・・・・・・注目色指定部、１
１１・・・・・・バッファメモリ、１１２・・・・・・
評価手段、１１３・・・−・・色変更部、１１４・・・
・・・伝達手段、１１５・−・・・・配線遅延メモリ、
１１６・・・・・・色変更部、１１７−・−・・・デー
タ出力手段、１２１・・・・・・現在時刻出力部、１２
２・・・・・・最小時刻記憶部、１３１・−・・・・記
憶手段、１３２・・・・・・比較手段、１３３・−・・
・・制御手段、１／１１・・・・・・Ｍ制御手段、１５
０・・・・・・現在時刻出力部、１５１・・・・・・イ
ベント記憶部、１５２・・・・・・第１のイベント取出
部、１５３・・・・・・第２のイベント取出部、１５４
・・−・・・回路動作計算部、１５５・・・・・・注目
色存在判定部、１５６・・・・・・着色部、１５７・・
・・・・最小時刻記憶部、１５Ｂ・・・・・・注目色指
定部、１６１・・・・・−エレメント番号発生手段、１
６２・・−・−・入力ピン数メモリ、１６３・・・・・
・制御手段、１６４・・・−・・イベント保持手段、１
６６・・・・・・出力イベント保持手段、１７７・・・
・・・ポインタメモリ、２２１・・・・・・現在時刻出
力部、２２２・・・・・・イベント記憶部、２２３・−
・−・・イベント取出部、２２４・・・・−・回路動作
計算部、イ９９ロ、ハ二、ホ。 へ、ト、チ、　リ、ヌ、ル、ヲ、ワ、力、ヨ、　夕。 し、ネ、す、う、ム、つ、オ、り、ヤ、マ、ケ。 フ、コ・・−・・・信号線、あ、い、う、え、お、か、
き。 く、さ、シ、た。ち、つ、で、と、な、に、ぬ。 ね、の、は、ひ、ふ、は、ま、み、や、ゆ、ら。 る、れ、ろ、ゑ、を、ん・・・・・・信号線、　ａ、　
　ｂ、　　ｃ。 ｄ、　　ｅ、　　ｆｙ　　ｇ＋　　ｈ、　　ｔ、　　Ｊ
−”””イベント、ＴＩ。 ＴＩ、Ｔ５．Ｔ６．Ｔ７・・・・・・イベント時シリ、
Ｇ１゜Ｇ２．　　Ｃ；５．　　Ｃ７・・・・・・エレメ
ント番号、Ｓｌ、Ｓ２、　　Ｓ２１．　　Ｓ２２．　　
・　・　・、　　Ｓ２ｎ、　　Ｓ３．　　Ｓ５、　　Ｓ
５１．　　Ｓ５２．　−　−　−、　　Ｓ５ｎ、　　５
（３−−−−＝信号状態、ＣＩ、Ｃ５，Ｃ６，Ｃ７・・
・・・−色、Ｐ２゜Ｐ５．Ｐ７・・・・・・人力ビン番
号、Ａ、　　Ｂ、　　Ｃ・・・・・・処理部、　ｎ−２
，ｎ−Ｌ　　ｎ、　　ｎ＋’ｌ、　　ｎ＋２−＝−デー
タ。 代理人の氏名　弁理士　中尾敏男　はか１名富１図 ４２図 、Ｉ　＋　　　　　　　　／２ 第　３　図 第　４　図 嘉　５　図 第　６　図 第７図 第　９　図 第１′０図 第１１図 第１２図 第１３図 ホ１６図 第１７図 第１８図 第１９図 第２０図 １−９ｎ　　　　　７″−夕ｎ−１テーダｎ−２第２１
図 テークｎ−１メータｎ　−２ メータｎ＋Ｉ　　　　　　　　　　　　　　ブールｎ−
１チータｎ＋２　　　　≠−タｎ＋７ 第２２図 手続補正書 昭和６３年１２月ノ３日 昭和６３年特許願第５６８１５　号 ２発明の名称 論理シミュレーション方法と論理シミュレーション装置
３補正をする者 事件との関係　　　　　　特　　　許　　　出　　　願
　　　人住　所　　大阪府門真市大字門真１００６番地
名　称　（５８２）松下電器産業株式会社代表者　　　
　谷　　井　　昭　　雄 ４代理人　〒５７１ 住　所　　大阪府門真市大字門真１００６番地松下電器
産業株式会社内 ５補正の対象 明細書の発明の詳細な説明の欄 ６、補正の内容 （１）明細書の第８１頁第１９行から第８１頁第２０行
の「信号線「二」に出力するイベントの色の決定」を「
信号線「イ」に出力するイベントの色の決定」に補正致
します。 （匂　同第９０頁第６行から第９０頁第７行の「エレメ
ント発生命令を送って」を「エレメント番号発生命令を
送って」に補正致します。 （３）同第９０頁第１８行から第９０頁第１９行の「エ
レメント発生命令を送って」を「エレメント番号発生命
令を送って」に補正致します。 （４）　　同第９１頁第４行の「また、信号線出力イベ
ント保持手段１６６」を「また、出力イベント保持手段
１６６」補正致します。 （６）　　図面の第１６図を別紙の通り補正致します。

Claims (8)

【特許請求の範囲】
1. （１）シミュレーション対象とする論理回路中の論理機
   能を実現するエレメントの入力端子の信号状態変化また
   は前記エレメントの出力端子の信号状態変化をイベント
   として表す論理シミュレーション方法であってイベント
   を受け取りイベント駆動型のアルゴリズムを用いて前記
   論理回路の動作を計算する回路動作計算部と、イベント
   を記憶するイベント記憶部と、前記イベント記憶部から
   イベントを取り出すイベント取出部と、複数の色を切り
   替えてイベントに色を付与する着色部と、前記着色部が
   イベントに付与しうる複数の色の中から一つの色を選ん
   で、その色を注目色として指定する注目色指定部と、前
   記注目色を持つイベントが前記イベント取出部中および
   前記回路動作計算部中に存在するか否かを判定する注目
   色存在判定部と、現在時刻を出力する現在時刻出力部を
   用い、前記イベント取出部により、前記イベント記憶部
   の中から、信号状態変化の時刻を表す値であるイベント
   時刻が前記現在時刻と等しいイベントを取り出し、前記
   着色部により、前記イベント取出部が前記イベント記憶
   部から取り出したイベントに色を付与し、前記回路動作
   計算部により、前記イベント取出部がイベント記憶部か
   ら取り出しかつ前記着色部が色を付与したイベントを受
   け取り、そのイベントによって発生する、前記論理回路
   中のエレメントの入力端子および出力端子の信号状態変
   化をイベント駆動型のアルゴリズムを用いて計算して、
   その結果を表すイベントを前記イベント記憶部に送り、
   前記イベント記憶部により、そのイベントを色を取り除
   いて記憶し、前記注目色存在判定部が、前記注目色と同
   じ色を持つイベントが前記イベント取出部中および前記
   回路動作計算部中にないと判定したときに、前記現在時
   刻出力部により、前記現在時刻を進める論理シミュレー
   ション方法。
2. （２）シミュレーション対象とする論理回路中の論理機
   能を実現するエレメントの入力端子の信号状態変化また
   は前記エレメントの出力端子の信号状態変化をイベント
   として表す論理シミュレーション装置であって、イベン
   トを受け取りイベント駆動型のアルゴリズムを用いて前
   記論理回路の動作を計算する回路動作計算部と、イベン
   トを記憶するイベント記憶部と、前記イベント記憶部か
   らイベントを取り出すイベント取出部と、複数の色を切
   り替えてイベントに色を付与する着色部と、前記着色部
   がイベントに付与しうる複数の色の中から一つの色を選
   んで、その色を注目色として指定する注目色指定部と、
   前記注目色を持つイベントが前記イベント取出部中およ
   び前記回路動作計算部中に存在するか否かを判定する注
   目色存在判定部と、現在時刻を出力する現在時刻出力部
   を具備し、前記イベント取出部により、前記イベント記
   憶部の中から、信号状態変化の時刻を表す値であるイベ
   ント時刻が前記現在時刻と等しいイベントを取り出し、
   前記着色部により、前記イベント取出部が前記イベント
   記憶部から取り出したイベントに色を付与し、前記回路
   動作計算部により、前記イベント取出部がイベント記憶
   部から取り出しかつ前記着色部が色を付与したイベント
   を受け取り、そのイベントによって発生する、前記論理
   回路中のエレメントの入力端子および出力端子の信号状
   態変化をイベント駆動型のアルゴリズムを用いて計算し
   て、その結果を表すイベントを前記イベント記憶部に送
   り、前記イベント記憶部により、そのイベントを色を取
   り除いて記憶し、前記注目色存在判定部が、前記注目色
   と同じ色を持つイベントが前記イベント取出部中および
   前記回路動作計算部中にないと判定したときに、前記現
   在時刻出力部により、前記現在時刻を進める論理シミュ
   レーション装置。
3. （３）回路動作計算部に、イベントの色を変更する色変
   更部を設け、注目色指定部により、注目色を常に着色部
   がイベントに付与している色とし、前記色変更部により
   、前記回路動作計算部が論理回路中のエレメントの入力
   端子および出力端子の信号状態変化をイベント駆動型の
   アルゴリズムを用いて計算した計算結果を表すイベント
   のイベント時刻がイベント取出部から受け取ったイベン
   トのイベント時刻と等しい場合には、その計算結果を表
   すイベントの色を前記注目色とし、計算結果を表すイベ
   ントのイベント時刻がイベント取出部から受け取ったイ
   ベントのイベント時刻と異なる場合には、その計算結果
   を表すイベントの色を前記注目色とは異なる色とし、前
   記着色部により、現在時刻出力部が現在時刻を進めるた
   びにイベントに付与する色を変更する特許請求の範囲第
   １項記載の論理シミュレーション方法。
4. （４）回路動作計算部に、イベントの色を変更する色変
   更部を設け、注目色指定部により、注目色を常に着色部
   がイベントに付与している色とし、前記色変更部により
   、前記回路動作計算部が論理回路中のエレメントの入力
   端子および出力端子の信号状態変化をイベント駆動型の
   アルゴリズムを用いて計算した計算結果を表すイベント
   のイベント時刻がイベント取出部から受け取ったイベン
   トのイベント時刻と等しい場合には、その計算結果を表
   すイベントの色を前記注目色とし、計算結果を表すイベ
   ントのイベント時刻がイベント取出部から受け取ったイ
   ベントのイベント時刻と異なる場合には、その計算結果
   を表すイベントの色を前記注目色とは異なる色とし、前
   記着色部により、現在時刻出力部が現在時刻を進めるた
   びにイベントに付与する色を変更する特許請求の範囲第
   ２項記載の論理シミュレーション装置。
5. （５）回路動作計算部が出力したイベントのイベント時
   刻の最小値を記憶する最小時刻記憶部を設け、回路動作
   計算部には、イベントの色を変更する色変更部を設け、
   注目色指定部により、注目色を常に着色部がイベントに
   付与している色とし、前記色変更部により、前記回路動
   作計算部が論理回路中のエレメントの入力端子および出
   力端子の信号状態変化をイベント駆動型のアルゴリズム
   を用いて計算した計算結果を表すイベントのイベント時
   刻がイベント取出部から受け取ったイベントのイベント
   時刻と等しい場合には、その計算結果を表すイベントの
   色を前記注目色とし、計算結果を表すイベントのイベン
   ト時刻がイベント取出部から受け取ったイベントのイベ
   ント時刻と異なる場合には、その計算結果を表すイベン
   トの色を前記注目色とは異なる色とし、注目色存在判定
   部が注目色を持つイベントが前記イベント取出部中およ
   び前記回路動作計算部中に存在しないと判定したときに
   、現在時刻出力部により、現在時刻の更新を開始し、前
   記現在時刻出力部により、前記イベント記憶部中に現在
   時刻と同じイベント時刻を持つイベントが存在しない範
   囲であり、かつ、前記最小時刻出力部が記憶している値
   と等しいかそれよりも小さい範囲で現在時刻を更新し、
   前記着色部により、前記現在時刻出力部が現在時刻の更
   新を終えるたびに、イベントに付与する色を変更し、前
   記最小時刻記憶部により、前記現在時刻出力部が現在時
   刻の更新を終えるたびに前記回路動作計算部が出力した
   イベントのイベント時刻の最小値を再初期化する特許請
   求の範囲第１項記載の論理シミュレーション方法。
6. （６）回路動作計算部が出力したイベントのイベント時
   刻の最小値を記憶する最小時刻記憶部を設け、回路動作
   計算部には、イベントの色を変更する色変更部を設け、
   注目色指定部により、注目色を常に着色部がイベントに
   付与している色とし、前記色変更部により、前記回路動
   作計算部が論理回路中のエレメントの入力端子および出
   力端子の信号状態変化をイベント駆動型のアルゴリズム
   を用いて計算した計算結果を表すイベントのイベント時
   刻がイベント取出部から受け取ったイベントのイベント
   時刻と等しい場合には、その計算結果を表すイベントの
   色を前記注目色とし、計算結果を表すイベントのイベン
   ト時刻がイベント取出部から受け取ったイベントのイベ
   ント時刻と異なる場合には、その計算結果を表すイベン
   トの色を前記注目色とは異なる色とし、注目色存在判定
   部が注目色を持つイベントが前記イベント取出部中およ
   び前記回路動作計算部中に存在しないと判定したときに
   、現在時刻出力部により、現在時刻の更新を開始し、前
   記現在時刻出力部により、前記イベント記憶部中に現在
   時刻と同じイベント時刻を持つイベントが存在しない範
   囲であり、かつ、前記最小時刻出力部が記憶している値
   と等しいかそれよりも小さい範囲で現在時刻を更新し、
   前記着色部により、前記現在時刻出力部が現在時刻の更
   新を終えるたびに、イベントに付与する色を変更し、前
   記最小時刻記憶部により、前記現在時刻出力部が現在時
   刻の更新を終えるたびに前記回路動作計算部が出力した
   イベントのイベント時刻の最小値を再初期化する特許請
   求の範囲第２項記載の論理シミュレーション装置。
7. （７）イベント記憶部の中から現在時刻と等しいイベン
   ト時刻を持つイベントを取り出すイベント取出処理を行
   う処理部を第１のイベント取出部とし、エレメントの入
   力端子の信号状態変化を表すイベントを各エレメントご
   とに独立して扱い、エレメントの全ての入力端子にその
   入力端子の信号状態変化を表すイベントが存在するとき
   、それらのイベントのうちでイベント時刻が最小である
   イベントをイベント記憶部から取り出すイベント取出処
   理を行う第２のイベント取出部と、前記第１のイベント
   取出部及び前記第２のイベント取出部が出力したイベン
   トのイベント時刻の最小値を記憶する最小時刻記憶部を
   設け、注目色存在判定部が注目色を持つイベントが第１
   のイベント取出部、前記第２のイベント取出部、前記回
   路動作計算部のいずれの中にも存在しないと判定したと
   き、現在時刻出力部により、現在時刻の更新を開始し、
   前記現在時刻出力部により、前記イベント記憶部中に現
   在時刻と同じイベント時刻を持つイベントが存在しない
   範囲であり、かつ、前記最小時刻出力部が記憶している
   値と等しいかそれよりも小さい範囲で現在時刻を更新し
   、前記第２のイベント取出部により、前記第１のイベン
   ト取出部がイベント記憶部からのイベントの取り出しを
   行わないときに第２のイベント取出処理を行い、前記最
   小時刻記憶部により、前記第２のイベント取出部がイベ
   ント取出処理を開始するたびに、前記第１のイベント取
   出部および第２のイベント取出部が出力したイベントの
   イベント時刻の最小値を再初期化する特許請求の範囲第
   １項記載の論理シミュレーション方法。
8. （８）イベント記憶部の中から現在時刻と等しいイベン
   ト時刻を持つイベントを取り出すイベント取出処理を行
   う処理部を第１のイベント取出部とし、エレメントの入
   力端子の信号状態変化を表すイベントを各エレメントご
   とに独立して扱い、エレメントの全ての入力端子にその
   入力端子の信号状態変化を表すイベントが存在するとき
   、それらのイベントのうちでイベント時刻が最小である
   イベントをイベント記憶部から取り出すイベント取出処
   理を行う第２のイベント取出部と、前記第１のイベント
   取出部及び前記第２のイベント取出部が出力したイベン
   トのイベント時刻の最小値を記憶する最小時刻記憶部を
   設け、注目色存在判定部が注目色を持つイベントが第１
   のイベント取出部、前記第２のイベント取出部、前記回
   路動作計算部のいずれの中にも存在しないと判定したと
   き、現在時刻出力部により、現在時刻の更新を開始し、
   前記現在時刻出力部により、前記イベント記憶部中に現
   在時刻と同じイベント時刻を持つイベントが存在しない
   範囲であり、かつ、前記最小時刻出力部が記憶している
   値と等しいかそれよりも小さい範囲で現在時刻を更新し
   、前記第２のイベント取出部により、前記第１のイベン
   ト取出部がイベント記憶部からのイベントの取り出しを
   行わないときに第２のイベント取出処理を行い、前記最
   小時刻記憶部により、前記第２のイベント取出部がイベ
   ント取出処理を開始するたびに、前記第１のイベント取
   出部および第２のイベント取出部が出力したイベントの
   イベント時刻の最小値を再初期化する特許請求の範囲第
   ２項記載の論理シミュレーション装置。