JPH01230143A

JPH01230143A - 論理シミュレーション方法と論理シミュレーション装置

Info

Publication number: JPH01230143A
Application number: JP63056616A
Authority: JP
Inventors: Yasuyuki Kanazawa; 靖之金澤
Original assignee: Matsushita Electric Industrial Co Ltd
Current assignee: Panasonic Holdings Corp
Priority date: 1988-03-10
Filing date: 1988-03-10
Publication date: 1989-09-13
Anticipated expiration: 2011-12-11
Also published as: US5053980A; EP0332361A2; JP2563451B2; EP0332361A3; EP0332361B1

Abstract

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

Description

【発明の詳細な説明】産業上の利用分野本発明は、論理回路の動作の検証等に用いられる論理シ
ミュレーション方法と論理シミュレーション装置に係り
、特に、イベント駆動型の論理シミュレーション方法と
論理シミュレーション装置に関する。

従来の技術イベント駆動型の論理シミュレーションでは、シミュレ
ーション対象である論理回路中の信号状態の変化をイベ
ントの生起とみなし、各信号をそれぞれの状態変化の列
、すなわちイベント列として表現する。イベントを表す
データには信号状態の変化の時刻「イベント時刻」と、
変化後の信号状態であるｒ後状態」と、信号状態が変化
する論理素子の番号等を表す「付加情報」を含む。

また、イベント駆動型の論理シミュレーションでは、入
力端子の信号状態が変化した論理素子についてのみ、そ
の論理素子の出力端子の信号状態を算出する。算出の結
果、出力端子の信号状態が変化した場合には、このこと
を表すイベントが新たに生成され、この出力端子に接続
される論理素子の入力端子に伝えられる。算出の結果、
出力端子の信号状態が変化しなかった場合には、新たな
イベントの生成はなされない。

イベント駆動型の論理シミュレーションは、論理素子の
入力端子の信号状態変化を表すイベントを評価し、その
素子の出力端子の信号状態の変化を表すイベントを算出
する処理（「評価処理」）と、前記評価処理で算出され
たイベント群より評価可能なイベントを決定・抽出する
処理（「取り出し処理」）と、論理素子の出力端子の信
号状態変化を表すイベントを、この出力端子に接続され
る論理素子の入力端子に伝える処理（「伝達処理」）の
３つの処理を繰り返すことによって実行される。

また、評価可能なイベントの決定方法（音波講座マイク
ロエレクトロニクスｒＶＬＳＩの設計１１」ｐｐ、１９
１−２１０）については、論理シミュレーション装置中
の全てのイベントのうちでイベント時刻が最小であり、
論理素子の入力端子の信号状態変化を表すイベントを、
評価可能であると決定する。すなわち、イベント時刻が
小さなものから順に評価し、それに係る論理素子の出力
を算出してゆく方法をとる。

近年では、取り出し処理、評価処理、伝達処理を行う処
理部にパイプライン処理を行わせたり、パイプライン処
理を行う処理部群を論理シミュレーションプロセッサと
いう単位とし、論理シミュレーションプロセッサを並列
に配置して並列処理を行わせ、シミュレーションの高速
化が図られている。

これらの論理シミュレーション装置では、通常現在時刻
を出力する現在時刻出力部を設け、現在時刻と等しいイ
ベント時刻を持つイベントを評価可能であるとし、現在
時刻に係わるイベントが論理シミュレーションプロセッ
サ中からなくなったとき、現在時刻を１ずつ進める手法
がとられる。

この現在時刻の更新は、取り出し処理、評価処理、伝達
処理によって発生したイベントのイベント時刻を超えな
いだけではなく、外部からシミュレーション対象とする
論理回路に加えられる信号状態の変化を表すイベント（
「投入イベント」）のイベント時刻も越えないように行
わねばならない。

このため、従来の論理シミュレーション装置では、シミ
ュレーション実行に先立って、全ての投入イベントを論
理シミュレーションプロセッサ中のイベント記憶部に記
憶しておいたり、あるいは、現在時刻をある程度進める
たびにシミュレーションを一時的に中断し、現在時刻よ
り少し大きいイベント時刻を持つ投入イベントを論理シ
ミュレーションプロセッサに投入し、論理シミュレーシ
ョンプロセッサがそれらの投入イベントを全てイベント
記憶部に記憶し終ってから、シミュレーションを再閉し
たりしていた。

発明が解決しようとする課題シミュレーション実行に先立って、全ての投入イベント
をイベント記憶部に記憶してお〈従来の論理シミュレー
ション方法、論理シミュレーション装置には、投入イベ
ントによってイベント記憶部の記憶容量が多量に消費さ
れてしまうという問題点がある。

また、現在時刻をある程度進めるたびにシミュレーショ
ンを一時的に中断し、現在時刻より少し大きなイベント
時刻を持つ投入イベントを論理シミュレーションプロセ
ッサに投入し、論理シミュレーションプロセッサがそれ
ら全ての投入イベントをイベント記憶部に記憶し終って
からシミュレーションを両口する論理シミュレーション
方法。

論理シミュレーション装置には、シミュレーションを中
断することによって、シミュレーション速度が低乍する
という問題点がある。

本発明はこれらの点に鑑みてなされたものであり、請求
項１の論理シミュレーション方法９Ｍ京項３の論理シミ
ュレーション装置は、シミュレーションの実行と並行し
て投入イベントを論理シミュレーションプロセッサに投
入し、現在時刻が投入イベントのイベント時刻を追い越
さないようにすることを可能にすることを目的としてい
る。

また、請求項２の論理シミュレーション方法。

請求項４の論理シミュレーション装置は、投入イベント
をイベント記憶部に記憶する処理により、他のイベント
の処理が遅れるのを回避することを目的としている。

課厘を解決するための手段本発明の論理シミュレーション方法、論理シミュレーシ
ョン装置は、取り出し処理、評価処理。

伝達処理によって発生したイベントと、投入イベントを
区別する識別子をイベントに付与し、投入イベントとと
もに、その投入イベント以後に出力する投入イベントの
イベント時り１の最小値を補助時刻として出力するイベ
ント投入部と、自らが出力した投入イベントに、その投
入イベント以後にイベント投入部から出力される投入イ
ベントのイベント時刻を補助時刻として出力するイベン
ト投入部と、イベント記憶部に記憶された投入イベント
に対応する補助時刻を記憶する時刻記憶部と、時刻記憶
部が記憶している値を超えない範囲で現在時刻を更新す
る現在時刻出力部を設けている。

また、論理シミュレーシ３ンブａセッサに、前記識別子
層にイベントを記憶するバッファメモリを設けている。

作用本発明の論理シミュレーション方法、論理シミュレーシ
ョン装置は、イベントに、取り出し処理。

評価処理、伝達処理によって発生したイベントと、投入
イベントを区別する識別子を設け、イベント投入部が、
投入イベントを出力するとき、その投入イベントの後に
出力する投入イベントのイベント時４すの最小値を補助
時刻として出方し、時刻記憶部が、投入イベントがイベ
ント記憶部に記憶されたとき、その投入イベントに対応
する補助時刻を記憶し、現在時刻出力部が、前記時刻記
憶部が記憶している１【αを超えない範囲で現在時刻を
更新することによって、シミュレーション実行と並行し
て、没入イベントをイベント記憶部に記憶することがで
きる。

また、論理シミュレーションプロセッサに、イベントを
＠記識別子別に記憶するバッファメモリを設け、取り出
し処理、評価処理、伝達処理によって発生したイベント
をバッファメモリから優先的に取り出すことによって、
評価処理、伝達処理によって発生したイベントの処理が
、投入イベントの存在によって遅れるのを防止すること
ができる。

実施例以下では、取り出し処理、評価処理、伝達処理によって
発生したイベントと投入イベントを区別する識別子を「
色」と名付け、色という１葉を用いて説明を行う。

第１図は、本発明の論理シミュレーション装置の第１の
実施例を示す構成図である。第１図中、１は現在時刻出
力部、２はイベント投入部、３はネットワーク、４，５
は論理シミュレーションプロセッサ、６は時刻記憶部、
７，８はイベント記憶部であり、イ２２ロ、ハ二、ホ、
へ、　　ト、　　チ。

す、ヌ、ル、ヲ、ワは信号線である。

、また、第１１図は、本発明の論理シミュレーション装
置で処理するデータすなわちイベントの、データ構造の
第１の例を示す構造図である。第１１図中ａ、　　ｂ、
　　ｃ、　　ｄ、、ｅ、　　ｆはイベントであり、ＴＩ
、Ｔ２．Ｔ３はイベント時刻、　　Ｓｌ、　　Ｓ２゜Ｓ
３は後状態、０ＴＨＥＲＳＩ、０ＴＨＥＲ５２゜０ＴＨ
ＥＲ５３は付加情報、ＣＩ、Ｃ２，Ｃ３は色、ｋｌ、ｔ
３は補助時刻、ＤＩ、Ｄ３は行先識別子である。

現在時刻出力部１は、現在時刻を信号線「イ」に出力す
る。現在時刻の初期値は０である。今、現在時刻がＴ２
であるとする。

イベント投入部２は、イベント時刻、後状態。

付加情報２色９行先識別子と補助時刻からなる投入イベ
シト群を記憶している。ただし、補助時刻は、そのイベ
ントの後に信号線Ｅ口」に出力されるイベントのイベン
ト時刻の最小値を表す値である。

補助時刻を計算するアルゴリズムは後に述べる。

補助時刻は、投入イベントの行先識別子ごとに、個別に
計算されている。

また、投入イベントの色は全て赤である。

以下の説明の都合上、投入イベントの一つをイベントａ
で代表して表し、イベントａのイベント時刻をＴＩ（た
だし、Ｔ１≧Ｔ２）、後状態をＳｌ。

付加情報を０ＴＨＥＲ５Ｉ、色をＣＩ、行先識別子をＤ
Ｉ、　　補助時刻をｔｌで表す。イベント投入部２は、
イベントａを信号線１口」に出力する。

ネットワーク３は、信号線「口」からイベントａを受け
取り、行先識別子Ｄ１が論理シミュレーションプロセッ
サ４を表しているならばイベントａから行識別子ＤＩを
取り除いたイベントｂを信号ｉ　ｒハ」に出力し、行先
識別子ＤＩが論理シミュレーションブａセッサ５を表し
ているならばイベントｂを信号線「チ」に出力する。

以下、行先識別子ＤＩが論理シミュレーションプロセッ
サ４を表している場合を例にとって説明を行う。

論理シミュレーションプロセッサ４は、イベントを記憶
するイベント記憶部７を有しており、信号線「ハ」から
イベントｂを受け取ると、イベントｂから色ＣＩと補助
時刻ｔｉを取り除いたイベン）ｃを一端イベント記憶部
７に記憶する。論理シミュレーションプロセッサ４は、
イベント記憶部７中に、イベントＣを記憶したとき、イ
ベントｂの色Ｃ１が赤であった場合には、イベン）ｂの
補助時刻ｔ１を信号線「ホ」に出力するとともに、時刻
記憶信号を信号線「へ」に出力する。論理シミュレーシ
ョンプロセッサ４は、イベント記′ｔＲ部７にイベント
を記憶したとき、その記憶するイベントの元になった色
を取り除く前のイベントの色が赤でなかった場合には、
信号線「ホ」、「へ」に何も出力しない。

信５−を線「イ」から現在時刻を読み込み、現在時刻と
等しいイベント時刻Ｔ２を持つイベントの−っｄをイベ
ント記憶部７から取り出す。以下の説明の都合上、イベ
ン）ｄの後状態をＳ２．付加情報をＯＴ　ＨＥ　ＲＳ　
２で表す。論理シミュレーションプロセッサ４は、イベ
ン）ｄに青い色Ｃ２を付加してイベントｅとし、イベン
トｅが表す信号状態変化が原因となって発生する、シミ
ュレーション対象とする論理回路中の信号状態変化を算
出し、算出結果を表す、イベント時刻Ｔ３．後状態Ｓ３
゜付加情報０ＴＨＥＲ５３を含むイベントｆを信号線「
二」に出力する。イベントｆの補助時刻ｔ３には、どん
な値を設定してもかまわない。論理シミュレーションプ
ロセッサ４は、イベントｆを処理すべき論理シミュレー
ションブａセッサの識別子をイベントｆの行先識別子Ｄ
３とする。論理シミュレーションプロセッサ４は、信号
線「二」に出力するイベントの色は常に青とする。従っ
て、イベントｆの色Ｃ３は青である。イベント記憶部７
に記憶されたイベントｃは、現在時刻がＴＩになったと
きにイベント記憶部７から取り出される。

また、論理シミュレーションプロセッサ４は、青のイベ
ントが自らの中に存在するかあるいは現在時刻と等しい
イベント時刻を持つイベントがイベント記憶部７の中に
存在するならば信号線「トＪに真値を出力し、青のイベ
ントが自らの中に存在せず、かつ、現在時刻と等しいイ
ベント時刻を持つイベントがイベント記憶部７の中に存
在しないならば信号線「トＪに偽値を出力する。

以上の説明では、論理シミュレーションプロセッサ４が
イベン）ｂを受け取ってからイベントｆを出力するまで
の過程を順に追フたが、論理シミュレーションプロセッ
サ４はパイプライン処理を行い、複数のイベントを同時
に処理することができる。

イベン）ａの行先識別子ＤＩが論理シミュレーションプ
ロセッサ４ではなく論理シミュレーションプロセッサ５
を表していた場合には、論理シミュレーションプロセッ
サ５が信号線「チ」からイベントｂを受け取り、論理シ
ミュレーションプロセッサ４と同様にして、イベントｂ
から色ＣＩ。

補助時刻ｔｌを取り除いたイベントＣをイベント記憶部
８に記憶し、イベント記憶部８からイベント時刻が現在
時刻と等しいイベントを取り出して、信号線「す」に算
出結果を表すイベントを色を青として出力し、イベント
記憶部８にイベントを記憶したときに、その記憶したイ
ベントの元になった色を取り除く前のイベントの色が赤
であった場合にはその元になったイベントの補助時刻を
信号線「ヌ」に、時刻記憶信号を信号線「ル」に出力し
、青のイベントが自らの中に存在するかあるいは現在時
刻と等しいイベント時刻を持つイベントがイベント記憶
部８の中に存在するならば真値を、青のイベントが自ら
の中に存在せず、かつ、現在時刻と等しいイベント時刻
を持つイベントがイベント記憶部８の中に存在しないな
らば偽値を信号線「ヲ」に出力する。

並列゛に配置された論理シミュレーションプロセッサ４
と論理シミュレーションプロセッサ５は独立して動作し
、並列処理を行うことができる。

ネットワーク３は、信号線「二」または信号線「す」か
らイベントを受け取る。ネットワーク３が受け取ったイ
ベントをイベントｆて代表して表すと、ネットワーク３
は、行先識別子Ｄ３が論理シミュレーションプロセッサ
４を表しているならばイベン）ｆから行先識別子Ｄ３を
取り除いたイベントを信号線「ハ」に出力し、行先識別
子Ｄ３が論理シミュレーションプロセッサ５を表してい
るならばイベン）ｆから行先識別子Ｄ３を取り除いたイ
ベントを信号線「チ」に出力する。

論理シミュレーションプロセッサ４または論理シミュレ
ーションプロセッサ５は再びこのイベントを受け取り、
シミュレーション対象とする論理回路の動作を算出し、
算出結果を表す、色が青であるイベントを信号線「二」
または信号線「す」に出力する。

時刻記憶部６は、信号線「へ」から時刻記憶信号を受け
取フたときの信号線「ホ」の値と、信号線「ル」から時
刻記憶信号を受け取ったときの信号線「ヌ」の値をそれ
ぞれ記憶し、最後に記憶した信号線「ホ」、信号線「ヌ
」の値のうち大きくない方を信号線「ワ」に出力する。

現在時刻出力部ｌは、信号線ｒ）Ｊ、　　ｒヲ」の両方
の値が偽値になったときに現在時刻の更新を閑始し、現
在時刻が信号線「ワ」の値よりも小さく・　かつ・　信
号線「ト」、「ヲ」の値が共に偽値である限り現在時刻
を１ずつ進める。現在時刻出力部１は、現在時刻が信号
線「ワ」の値と等しくなるか、信号線ｒ）Ｊ、　　ｒヲ
」の少なくとも一方の値が真値になったときに、現在時
刻の更新を停止する。

本実施例の論理シミュレーション装置は、投入イベント
がイベント投入部により出力されてから論理シミュレー
ションプロセッサ中のイベント記憶部に記憶されるまで
、そのイベントの色を赤とし、一端イベント記憶部に記
憶された後にイベント記憶部から取り出されたイベント
およびそのイベントを処理した結果発生するイベントの
色を青として、色を用いてイベントを区別し、さらに、
将来イベント記憶部に記憶され得る投入イベントのイベ
ント時刻の最小値を時刻記憶部により記憶し、現在時刻
の更新範囲を時刻記憶部が記憶している値以下に制限す
ることにより、論理シミュレーションプロセッサ中に赤
のイベントが・存在しても、論理シミュレーションプロ
セッサ中から青のイベントがなくなり、イベント記憶部
中から現在時刻と等しいイベント時刻を持つイベントが
なくなりさえすれば、現在時刻の更新を開始することが
できる。

また、本実施例の論理シミュレーション装置では、論理
シミュレーションプロセッサ４は、青のイベントが自ら
の中に存在するか現在時刻と等しいイベント時刻を持つ
イベントがイベント記憶部７の中に存在するならば信号
線「ト」に真値を出力し、青のイベントが自らの中に存
在せず、かつ、現在時刻と等しいイベント時刻を持つイ
ベントがイベント記憶部７の中に存在しないならば信号
線「ト」に偽値を出力するとしたが、論理シミュレーシ
ョンプロセッサ中のイベント記憶部以外のバイブライン
段全てに比較器を設けて各パイプライン殿中のイベント
のイベント時刻と現在時刻を比較させ、論理シミュレー
ションプロセッサ４に、目らの中に現在時刻と等しいイ
ベント時刻を持つ青のイベントが存在するか現在時刻と
等しいイベント時刻を持つイベントがイベント記憶部７
の中に存在するならば信号線「ト」に真値を出力させ、
自らの中に現在時刻と等しいイベント時刻を持つ青のイ
ベントが存在せず、かつ、現在時刻と等しいイベント時
刻を持つイベントがイベント記憶部７の中に存在しない
ならば信号線「ト」に偽値を出力させるようにしてもよ
い。論理シミュレーションプロセッサ５も同様である。

このようにすれば、論理シミュレーションプロセッサが
青のイベントを処理している期間にも現在時刻を更新す
ることができるので、よりシミュレーションの高速化を
図ることができる。

第１３図は補助時刻の計算アルゴリズムの一例を示すフ
ローチャートである。

没入イベントの数をＮで表し、投入イベントは、投入す
る順にＥ［１］〜Ｅ　［Ｎ］とする。

補助時り１は、Ｅ　［Ｎ］から始め、Ｅ［Ｎ−１］。

Ｅ　［Ｎ−２］、　　・・・、　　Ｅ　［２］、　　Ｅ
　［１］の順に、以下のようにして計算して行く。

まず、Ｅ　［Ｎ］の補助時刻を、いかなるイベントのイ
ベント時刻よりも大きな１１αＵＮＬＩＭＩＴＥＤとす
る。次いで、変数ＪをＮ−１から１まで順次減らしなが
ら、Ｆ、［ｊ］の補助時刻を、Ｅ［Ｊ＋１］の補助時刻
とＥ　［ｊ＋１］のイベント時刻のうちの大きくない方
とする。

このアルゴリズムを用いれば、投入イベントＥ［１］〜
Ｅ［Ｎ］の全ての補助時刻を、投入イベント数Ｎに比例
したオーダーで計算することができる。

第２図は、本発明に係わる論理シミュレーションプロセ
ッサの第１の実施例を示す構成図である。

第２図中１１，１２はバッファメモリ、１３，１５．１
６はパイプライン段、１４はイベント記憶部、　１７は
ＯＲゲートであり、あ、い、う、え。

お、か、き、＜、け、こ、　イ、ハ、二、ホ、へ。

トは信号線である。

バッファメモリ１１は、複数のイベントを記憶すること
ができ、色が青であるイベントを信号線「ハ」から受け
取り、−時的に記憶する。バッファメモリ１１は、記憶
したイベントを、記憶した１１１ａに信号線「あＪに出
力する。また、バッファメモリ１１は、自らの中にイベ
ントが存在するとき信号線「い」に真値を出力し、自ら
の中にイベントが一つも存在しないとき信号線「い」に
偽値を出力する。

バッファメモリ１２は、複数のイベントを記憶すること
ができ、色が赤であるイベントを信号線「ハ」から受け
取り、−時的に記憶する。バッファメモリ１２は、記憶
したイベントを、記憶した順に信号線「う」に出力する
。

バイブライン段１３は、信号線「あ」および信号線「う
」からイベントを受け取り、受け取ったイベントをその
まま信号線「え」に出力する。パイプライン段１３は、
信号線「あ」、「う」のどちらからもイベントを受け取
れる場合には、信号線「あ」のイベントを優先的に受け
取る。また、バイブライン段１３は、自らの中に青のイ
ベントが存在するならば信号線「お」に真値を出力し、
自らの中に青のイベントが存在しないならば信号線「お
」に偽値を出力する。

以下、信号線「え」に第１１図のイベン）ｂが出力され
た場合を例にとって説明する。

イベント記憶部１４は、信号線「え」からイベントｂを
受け取り、イベントｂから色ＣＩと補助時刻ｔｌを取り
除いたイベントＣを記憶し、イベン）ｂを消去する。ま
た、イベント記憶部１４はイベン）ｂの色ＣＩが赤であ
った場合には、イベン）ｂの補助時刻ｔｌを信号線「ホ
」に出力し、信号線「へ」に時刻記憶信号を出力する。

イベント記憶部１４は、イベン）ｂの色ＣＩが青であっ
た場合には、信号線「ホ」、「へ」に何も出力しない。

また、イベント記憶部１４は、信号線「イ」から現在時
刻を読み込み、自らの中に現在時刻と等しいイベント時
刻を持つイベントが存在するならば信号線「き」に真値
を出力し、自らの中に現在時刻と等しいイベント時刻を
持つイベントが存在しないならば信号線「き」に偽値を
出力する。

今、現在時刻がＴ２であるとする。

バイブライン段１５は、信号線「イ」から現在時刻を読
み込み、信号線「か」を経て、現在時刻と等しいイベン
ト時刻Ｔ２を持つイベントの−っであるイベントｄをイ
ベント記憶部１４から取り出し、イベントｄに青い色Ｃ
２を付与したイベントｅを信号線「＜」に出力し、イベ
ン）ｄを消去する。また、バイブライン段１５は、自ら
の中にイベントが存在するならば信号線「け」に真値を
出力し、自らの中にイベントが存在しないならば信号線
「け」に偽値を出力する。

パイプライン段１６は、信号線「＜」からイベン）ｅを
受け取り、評価処理、伝達処理を行って、イベントｅが
表す信号状態変化が原因となって発生するシミュレーシ
ョン対象とする論理回路中の信号状態変化を算出し、算
出結果を表すイベント「を信号線「二」に出力する。イ
ベントｅは消去する。パイプライン段１６は、信号線「
二」に出力するイベントの色を、常に青とする。また、
バイブライン段１６は、自らの中にイベントが存在する
ならば信号線「こ」に真１１αを出力し、自らの中にイ
ベントが存在しないならば信号線「こ」に偽値を出力す
る。

ＯＲゲート１７は、信号線「い」、「お」、「き」、「
け」、「こ」の値の少なくとも一つが真値であるとき信
号線「ト」に真値を出方し、信号線「い」、「お」、「
き」、「け」、「こ」の値が全て偽値であるとき信号線
「ト」に偽値を出力する。

本実施例の論理シミュレーションプロセッサによれば、
イベント記憶部に記憶される以前の投入イベントの色は
赤のまま変更せず、一端イベント記憶部に記憶された後
イベント記憶部から取り出されたイベントとそのイベン
トを処理した結果発生するイベントの色を青としてイベ
ントを色で区別し、論理シミュレーションプロセッサ中
に赤のイベントが存在するか否かに係わらず、イベント
記憶部中から現在時刻と等しいイベント時刻を持つイベ
ントがなくなり、かつ、バッファメモリおよび各バイブ
ライン段中から青のイベントがなくなったとき、信号線
「ト」に偽値を出力することができる。

また、本実施例の論理シミュレーションプロセッサによ
れば、イベントの色が赤であるか青であるかに応じてイ
ベントを異なるバッファメモリに格納し、青のイベント
を優先的に処理することにより、赤のイベントの存在に
よって青のイベントの処理が遅れるのを防止することが
できる。

本実施例では、バッファメモリ１１は、自らの中にイベ
ントが存在するとき真値を、自らの中にイベントが存在
しないとき偽値を信号線「い」に出力し、バイブライン
段１３は、自らの中に青のイベントが存在するとき真値
を、自らの中に青のイベントが存在しないとき偽値を信
号線「お」に出力し、バイブライン段１５は、自らの中
にイベントが存在するとき真値を、自らの中にイベント
が存在しないとき偽値を信号線「け」に出力し、バイブ
ライン段１６は、自らの中にイベントが存在するとき真
値を、自らの中にイベントが存在しないとき偽値を信号
線「こ」に出力するとしたが、バッファメモリ１１．　
　バイブライン段１３．パイプライン段１５．　　パイ
プライン段１６中に比較器設けて、それぞれの内部に存
在するイベントのイベント時刻と信号線「イ」の現在時
刻を比較させ、バッファメモリ１１には、自らの中に現
在時刻と等しいイベント時刻を持つイベントが存在する
とき真値を、自らの中に現在時刻と等しいイベント時刻
を持つイベントが存在しないとき偽値を信号線「い」に
出力させ、バイブライン段１３には、自らの中に現在時
刻と等しいイベント時刻を持つ青のイベントが存在する
とき真値を、自らの中に現在時刻と等しいイベント時刻
を持つ青のイベントが存在しないとき偽値を信号線「お
」に出力させ、バイブライン段１５には、自らの中に現
在時刻と等しいイベント時刻を持つイベントが存在する
とき真値を、自らの中に現在時刻と等しいイベント時刻
を持つイベントが存在しないとき偽値を信号線「け」に
出力させ、バイブライン段１６には、自らの中に現在時
刻と等しいイベント時刻を持つイベントが存在するとき
真値を、自らの中に現在時刻と等しいイベント時刻を持
つイベントが存在しないとき偽値を信号線「こ」に出力
させることも耐化である。こうした論理シミュレーショ
ンプロセッサを用いた論理シミュレーション装置は、論
理シミュレーションプロセッサ中から青のイベントがな
くならなくても、現在時刻と等しいイベント時刻を持つ
青のイベントが論理シミュレーションプロセッサ中から
なくなれば、現在時刻の更新を開始することができる。

第３図は、本発明に係わる現在時刻出力部の実施例を示
す構成図である。第３図中、２１はカウンタ、２２は制
御手段、２３はＯＲゲートであり、さ、シ、イ、ト、ヲ
、ワは信号線である。

ＯＲゲート２３は、信号線ｒ）Ｊ、　　ｒヲ」の値の少
なくとも一方が真値であるとき信号線「シ」に真値を出
力し、信号線ｒ）」、ｒヲ」の両方の値が偽値であると
き信号線「シ」に偽値を出力する。

カウンタ２１は、現在時刻を常に信号線「イ」に出力し
ている。

シミュレーション開始に先立って、制御手段２２は信号
線「さ」に現在時刻初期化命令を出力する。カウンタ２
Ｉは、信号線「さ」から現在時刻初期化命令を受け取る
と、現在時刻をＯにする。

シミュレーション実行中は、制御手段２２は、信号線「
イ」、「ワ」、「シ」の値を読み込み、信号線「イｊの
値が信号線「ワＪの値よりも小さく、かつ、信号線「シ
」の値が偽であるとき、信号線「さ」に現在時刻更新命
令を出力する。制御手段２２は、信号線「イ」の値と信
号線「ワ」の値が等しいか、あるいは信号線「シ」の値
が真値であるときには、現在時刻更新命令を出力しない
。

カウンタ２１は、信号線「さ」から現在時刻更新命令を
受け取ると、現在時刻を１進める。

第４図は本発明に係わる時刻記憶部の第１の実施例を示
す構成図である。第４図中、３１．３２はデータ保持手
段、３３は最小値選択手段であり、す、せ、ホ、へ、ヌ
、ル、ワは信号線である。

データ保持手段３１は、信号線「へ」から時刻記憶信号
を受け取ったとき信号線「ホ」の値を記憶し、記憶して
いる値を信号線「す」に出力する。

ただし、データ保持手段３１は、信号線「へ」から最初
の時刻記憶信号を受け取るまでは、ｔｇ号線「す」にＯ
を出力する。

データ保持手段３２は、信号線「ル」から時刻記憶信号
を受け取ったとき信号線「ヌ」の値を記憶し、記憶して
いる値を信号線「せ」に出力する。

ただし、データ保持手段３２は、信号線「ル」から最初
の時刻記憶信号を受け取るまでは、信号線「せ」にＯを
出力する。

最小値選択手段３３は、信号線「す」、「せ」の値を読
み込み、信号線「す」、「せ」の値のうち大きくない方
を信号線「ワ」に出力する。

第５図は、本発明の論理シミュレーション装置の第２の
実施例を示す構成図である。第２図中４１は現在時刻出
力部、４２はイベント投入部、４３はネットワーク、４
４．４５は論理シミュレーションブａセッサ、４Ｇは注
目色存在判定部、４７は注目色指定部、４８は時刻記憶
部、４９は着色部、７，８はイベント記憶部であり、４
２口。

ハ、二、ト、チ、す、ヲ、ワ、力、ヨ、夕、し。

ソ、ツ、ネ、すは信号線である。

また、第１２図は、本発明の論理シミュレーション装置
で処理するデータすなわちイベントの、データ構造の第
２の例を示す構造図である。第１２図中ｇｔ　　ｈｅ　
　１＋　　Ｊ＋　　ｋｔ　ｒｒｊ、　　ｎはイベントで
あり、Ｔ５．Ｔ６．Ｔ７はイベント時刻、Ｓ５゜Ｓ６．
Ｓ７は後状態、０Ｔｆ（ＥＨ１１，０ＴＨＥＲＳ６，０
ＴＨＥＲ５７は付加情報−Ｃ５，Ｃ６゜Ｃ７は色、Ｄ５
．Ｄ７は行先識別子、ｔ５は補助時刻である。

現在時刻出力Ｈ４１は、現在時刻を信号線「イ」に出力
する。現在時刻の初期値は０である。今、現在時刻がＴ
６であるとする。

イベント投入部４２は、イベント時刻、後状態。

付加情報２行先識別子と、第１３図のアルゴリズムによ
って計算された補助時刻を持つ投入イベント群を記憶し
ている。ただし、補助時刻は、投入イベントの行先識別
子に関係なく、全ての投入イベントを一括して計算され
ている。

以下の説明の都合上、投入イベントの一つをイベントｇ
で代表して表し、イベントｇのイベント時刻を７５（た
だしＴ５≧Ｔ６）、後状態をＳ５゜付加情報を０ＴＨＥ
ＲＳ５．行先識別子をＤ５゜補助時刻をｔ５で表す。

イベント投入部４２は、イベントｇから補助時刻ｔ５を
取り除いたイベントｈを信号線「口」に出力し、同時に
補助時刻ｔ５を信号線ｒナノに出力する。ただし、イベ
ント投入部４２は、最初の投入イベントを信号線１口」
に出力するまでは、信号線「す」にＯを出力している。

着色部４９は、赤、黄の２つの色のうちの一方を選んで
その値Ｃ５を信号線「ネ」に出力する。

着色部４９が信号線「ネ」に出力する色の初期値は赤で
ある。

ネットワーク４３は、信号線「口」からイベントｈを、
信号線「ネ」から色Ｃ５を受け取り、イベン）ｈの行先
識別子Ｄ５が論理シミュレーションプロセッサ４４を表
しているならばイベントｈから行先識別子Ｄ５を取り除
き色Ｃ５を付加したイベントｉを信号線「ハ」に出力し
、行先識別子Ｄ５が論理シミュレーションプロセッサ４
５を表しているならばイベント１を信号線「チ」に出力
する。

以下、行先識別子Ｄ５が論理シミュレーシＥ？ンブロセ
ッサ４４を表している場合を例にとって説明を行う。

論理シミュレーションプロセッサ４４は、イベントを記
憶するイベント記憶部７を有しており、信号線「ハ」か
らイベントＩを受け取ると、イベント１から色Ｃ５を取
り除いたイベントＪを一端イベント記憶部７に記憶する
。

また、論理シミュレーションプロセッサ４４は、信号線
「イ」から現在時刻を読み込み、現在時刻と等しいイベ
ント時刻Ｔ６を持つイベントの一つであるイベントｋを
イベント記憶部７から取り出す。以下の説明の都合上、
イベン）ｋの後状態をＳ６．付加情報を０ＴＨＥＲ５６
で表す。論理シミュレーションプロセッサ４４は、イベ
ントｋに青い色Ｃ６を付加してイベントｍとし、イベン
トｍが表す信号状態変化が原因となって発生する、シミ
ュレーシ＝’ｔン対宋とする論理回路中の信号状態変化
を算出し、算出結果を表す、イベント時刻Ｔ７．　後状
態Ｓ７．付加情報０ＴＨＥＲ５７を含むイヘン）ｎを信
号線「二」に出力する。論理シミュレーションプロセッ
サ４４は、イベン）ｎを処理すべき論理シミュレーショ
ンプロセッサの識別子をイベン）ｎの行先識別子Ｄ７と
する。論理シミＪレーションプロセッサ４４は、信号線
「二」に出力するイベントの色は常に青とする。従って
、イベントｎの色Ｃ７は青である。イベント記憶部７に
記憶されたイベントｊは、現在時刻がＴ５になったとき
にイベント記憶部７から取り出される。

また、論理シミュレーションプロセッサ４４は、青のイ
ベントが自らの中に存在するかあるいは現在時刻と等し
いイベント時刻を持つイベントがイベント記憶部７の中
に存在するならば真値を、青のイベントが自らの巾に存
在せず、かつ、現在時刻と等しいイベント時刻を持つイ
ベントがイベント記憶部７の中に存在しないならば偽値
を信号線「ト」に出力する。

さらに、論理シミュレーションプロセッサ４４は、自ら
の中に赤のイベントが存在するならば真値を、自らの中
に赤のイベントが存在しないならば偽値を信号線「力」
に出力し、自らの中に黄のイベントが存在するならば真
ｆ１αを、自らの中に黄のイベントが存在しないならば
偽値を信号線「ヨＪに出力する。

以上の説明では、論理シミュレーションプロセッサ４４
がイベント１を受け取ってからイベントｎを出力するま
での過程を順に追ったが、論理シミュレーションプロセ
ッサ４４はバイブライン処理を行い、複数のイベントを
同時に処理することができる。

イベントｈの行先識別子Ｄ５が論理シミュレーションプ
ロセッサ４４ではなく論理シミュレーションプロセッサ
４５を表していた場合には、論理シミュレーションプロ
セッサ４５が信号線「チ」からイベントｌを受け取り、
論理シミュレーションプロセッサ４７Ｎと同様にして、
イベントｌから色Ｃ５を取り除いたイベントＪをイベン
ト記憶部８に記憶し、イベント記憶部８からイベント時
刻が現在時刻と等しいイベントを取り出して、信号線「
す」に算出結果を表すイベントを色を青として出力し、
青のイベントが自らの中に存在するかあるいは現在時刻
と等しいイベント時り１を持つイベントがイベント記憶
部８の中に存在するならば真値な、青のイベントが自ら
の中に存在せず、かつ、現在時刻と等しいイベント時刻
を持つイベントがイベント記憶部８の中に存在しないな
らば偽値を信号線「ヲ」に出力する。さらに、論理シミ
ュレーションプロセッサ４５は、自らの中に赤のイベン
トが存在するならば真値を、自らの中に赤のイベントが
存在しないならば偽値を信号線「夕」に出力し、自らの
中に黄のイベントが存在するならば真値を、自らの中に
黄のイベントが存在しないならば偽値を信号線「し」に
出力する。

並夕＋ｌに配置された論理シミュレーションプロセッサ
４４と論理シミュレーションプロセッサ４５は独立して
動作し、並列処理を行うことができる。

ネットワーク４３は、信号線「二」または信号線「す」
からイベントを受け取る。ネットワーク４３が受け取っ
たイベントをイベントｎで代表して表すと、ネットワー
ク４３は、行先識別子Ｄ７が論理シミュレーションプロ
セッサ４４を表しているならばイベン）ｎから行先識別
子Ｄ７を取り除いたイベントを信号線「ハ」に出力し、
行先識別子Ｄ７が論理シミュレーションプロセッサ４５
を表しているならばイベン）ｎから行先識別子Ｄ７を取
り除いたイベントを信号線「チ」に出力する。

論理シミュレーションブａセッサ４４または論理シミュ
レーションプロセッサ４５は再びこのイベントを受け取
り、シミュレーション対象とする論理回路の動作を算出
し、算出結果を表す、色が青であるイベントを信号線「
二」または信号線「すＪに出力する。

注目色指定部４７は、赤、黄のうちのいずれか一方を選
んで注目色として信号線「ソ」に出力する。注目色の初
期値は黄である。

注目色存在判定部４６は、論理シミュレーションプロセ
ッサ４４が信号線「力」、「ヨ」に出力した値と、論理
シミュレーションプロセッサ４５が信号線「夕」、「し
」に出力した値と、注目色指定部４７が信号線「ソ」に
出力した注目色を用いて、注目色を持つイベントが論理
シミュレーションブａセッサ４４．論理シミュレーショ
ンプロセッサ４５のいずれの中にも存在しないならば色
変更命令を信号線「ツ」に出力する。注目色指定部４７
は、論理シミュレーションプロセッサ４４゜４５の少な
くとも一方に注目色を持つイベントが存在する場合には
色変更命令を信号線「ツ」に出力しない。

着色部４９は、信号線「ツ」から色変更命令を受け取る
と、信号線「ネ」に出力する色を、赤から黄あるいは黄
から赤に変更する。

注目色指定部４７は、信号線「ツｊから色変更命令を受
け取ると、信号線「ソ」に出力する注目色を、黄から赤
あるいは赤から黄に変更する。

時刻記憶部４８は、信号線「ツ」から色変更命令を受け
取ると、イベント投入部４２が投入し終えたイベントの
補助時刻を信号線「す」から読み込み、その補助時刻を
記憶する。時刻記憶部４８は、信号線「ツ」から最後に
受け取った色変更命令の一つ前の色変更命令によって記
憶した信号線「す」の値を信号線「ワ」に出力する。た
だし、時刻記憶部４８は、２回目の色変更命令を信号線
「ツ」から受け取るまでは、信号線「ワ」にＯを出力す
る。

現在時刻出力部４１は、信号線ｒ）」、　　ｒヲ」の両
方の値が偽値になったときに現在時刻の更新を開始し、
現在時刻が信号線「ワ」の値よりも小さく、かつ、信号
線ｒ）Ｊ、　　ｒヲ」の値が共に偽値である限り現在時
刻を１ずつ進める。現在時刻出力部４１は、現在時刻が
信号線「ワ」の値と等しくなるか、あるいは、信号線「
ト」、「ヲ」の少なくとも一方の値が真値になったとき
に、現在時刻の更新を停止する。

次に、本実施例の論理シミュレーション装置によって、
将来イベント記憶部に記憶される投入イベントのイベン
ト時刻を現在時刻が超えることがないことを、第１４図
Ａ、第１４図Ｂ、第１４図Ｃを用いて説明する。第１４
図Ａ、第１４図Ｂ。

第１４図Ｃは本発明の論理シミュレーション装置で使用
されるイベントの色の変化を説明する説明図であり、第
１４図Ａ、第１４図Ｂ、第１４図Ｃ中、Ｒ１は赤のイベ
ント、Ｙ２．Ｙ３．Ｙ４は黄のイベントである。

以下の説明では、青のイベントの存在を省略し、赤、黄
の投入イベント（特に必用がない限り、単にイベントと
表現する）のみに着目して説明する。

今、イベント投入部４２が投入イベントを信号線「口」
に出力する以前の状態を考える。論理シミュレーション
プロセッサ４４．４５中には赤。

黄いずれのイベントも存在しないので、注目色存在判定
部４６は、信号線「ソ」の注目色にかかわらず信号線「
ツ」に色変更命令を出力する。

これに伴って、着色部４９は信号線「ネ」に出力する色
を赤から黄または黄から赤に変更し、注目色指定部４７
は信号線「ソ」に出力する注目色を黄から赤または赤か
ら黄に変更する。また、時刻記憶部４８は、信号線「す
」の値を記憶するが、この記憶する値は０である。

イベント投入部４２が最初のイベントを信号線１口」に
出力するまで、注目色存在判定部４６は信号線「ツ」に
色変更命令を出し続ける。

イベント投入部４２が最初のイベントを信号線１口」へ
出力したときに着色部４９が信号線「ネ」に出力してい
る色が赤であり、注目色指定部４７が信号線「ソ」に出
力している注目色が黄であるとし、論理シミュレーショ
ンプロセッサ４４または論理シミュレーションプロセッ
サ４５が受け取る赤のイベントをＲ１で表す。以下、投
入イベントを全て論理シミュレーションプロセッサ４４
が受け取る場合を例として説明する。

イベント投入部４２が最初の投入イベントを信号線「口
」に出力し、論理シミュレーションプロセッサ４４がイ
ベントＲ１を受け取ると、論理シミュレーションプロセ
ッサ４４．４５中に存在するイベントは、第１４図Ａに
示すように、赤のイベントＲ１だけになる。従って、論
理シミュレーションプロセッサ４４．４５中には注目色
を持つイベントが存在しないので、注目色存在判定部４
６は信号線「ツ」に色変更命令を出力し、信号線「ネ」
の値は黄に、注目色は赤に変更される。また、時刻記憶
部４８は、イベン）Ｒ１に対応する補助時刻すなわちイ
ベン）Ｒ２以後に信号線「口」に出力されるイベントの
イベント時刻の最小値を記憶するが、信号線「ワ」の値
は０のまま変化しない。

この後、イベント記憶部７がイベントＲ１を記憶するま
では、論理シミュレーションプロセッサ４４．４５中に
注目色（赤）を持つイベントが存在するので、信号線「
ツＪには色変更命令が出力されず、信号線「ネ」の色、
信号線「ソ」の注目色は変更されない。この間に、黄の
イベントＹ２゜Ｙ３．Ｙ４を論理シミュレーションプロ
セッサ４４が受け取るとする。このとき、論理シミュレ
ーションプロセッサ４４．４５中には、第１４図Ｂに示
すように、イベントＲ１，Ｙ２．　　Ｙ３．　　Ｙ４が
存在する。

イベントＲ１がイベント記憶部７に記憶されると、第１
４［ＪＣに示すように、論理シミュレーションプロセッ
サ４４．４５中の投入イベントはＹ２、Ｙ３．Ｙ４だけ
となり、注目色（赤）を持つイベントがなくなるので、
再び色変更命令が信号線「ツ」に出力され、信号線「ネ
」の色が赤に、信号線「ソ」の注目色が黄に変更される
。また、時刻記憶部４８は、イベン）Ｙ４に対応する補
助時刻を記憶し、信号線「ワ」にイベン）Ｒ１に対応す
る補助時刻を出力する。

このとき、投入イベントに関する、現在時り１の更新を
制限する上限が、イベン）Ｙ２以後にイベント記憶部７
，８に記憶されるイベントのイベント時刻の最小値、す
なわち、信号線「ワ」の値であることは明らかである。

以後、同様にして信号線「ネ」の色と信号線「ソ」の注
目色と信号線「ワ」の値が順次変更されて、現在時刻更
新の上限が変更されてゆく。

このように、本実施例の論理シミュレーション装置では
、論理シミュレーションプロセッサが受け取るイベント
から補助時刻を取り除いても、現在時刻を更新可能な範
囲を決定することができる。

従って、本実施例の論理シミュレーション装置によれば
、第１図の論理シミュレーション装置と比較して、論理
シミュレーションプロセッサが処理するイベントのデー
タ幅を小さくすることができ、論理シミュレーションプ
ロセッサのハードウェアを小さくすることができる。

また本実施例の論理シミュレーション装置では、論理シ
ミュレーションプロセッサを幾つ並列に配置しても、時
刻記憶部が記憶する補助時刻は信号線「す」の値−つだ
けでよい。

第６図は、本発明に係わる着色部の実施例を示す構成図
である。第６図中、５１は真偽記憶手段。

５２は色出力手段であり、た、ツ、ネは信号線である。

真偽記憶手段５１は、真値、偽値の２つの値のうちいず
れか一方を選んで記憶し、その値を信号線「た」に出力
する。真偽記憶手段５１が記憶している値の初期ｆ１り
は真価である。真偽記憶手段５１は、信号線「ツ」から
色変更命令を受け取ると、記憶し信号線「た」に出力し
ているＩｎ２を、真１直から偽（ａまたは偽値から真値
に変更する。

色出力手段５２は、信号線「た」の値を読み、その値が
真値であるときには赤を、偽値であるときには黄を信号
線「ネ」に出力する。

第７図は、本発明に係わる注目色指定部の実施例を示す
構成図である。第７図中、６１は真情記憶手段、６２は
色出力手段であり、ち、ソ、ツは信号線である。

真偽記憶手段６１は、真（【ａ、偽値の２つの値のうち
いずれか一方を選んで記憶し、その値を信号線「ち」に
出力する。真偽記憶手段６１が記憶している値の初期値
は偽値である。真偽記憶手段６１は、信号線「ツ」から
色変更命令を受け取ると、記憶し信号線「ち」に出力し
ている値を、偽１ｉｆｆから真値または真値から偽値に
変更する。

色出力手段６２は、信号線「ち」の値を読み、その値が
真値であるときには赤を、偽値であるときには黄を信号
線「ソ」に出力する。

第８図は、本発明に係わる論理シミュレーションプロセ
ッサの第２の実施例を示す構成図である。

第８図中１１．７１はバッファメモリ、　　７２．　７
３はカウンタ、７４，１５．１６はパイプライン段、７
５はイベント記憶部、１７．７６．７７はＯＲゲートで
あり、あ、い、う、え、お、か、　き。

く、け、こ、な、に、ぬ、ね、の、は、イ、ハ。

二、ト、力、ヨは信号線である。

バッファメモリ１１は、複数のイベントを記憶すること
ができ、色が青であるイベントを信号線「ハ」から受け
取り、−時的に記憶する。バッファメモリ１１は、記憶
したイベントを、記憶した順に信号線「あ」に出力する
。また、バッファメモリ１１は、自らの中にイベントが
存在するとき信号線「い」に真値を出力し、自らの中に
イベントが一つも存在しないとき信号線「い」に偽値を
出力する。

バッファメモリ７１は、複数のイベントを記憶すること
ができ、色が赤または黄であるイベントを信号線「ハ」
から受け取り、−時的に記憶する。

バッファメモリ７１は、信号線「ハ」から受け取７たイ
ベントの色が赤である場合には信号線「なｊに加算命令
を出力し、信号線「ハ」から受け取ったイベントの色が
黄である場合には信号線「に」に加算命令を出力する。

バッファメモリ７１は、記憶しているイベントを、記憶
した順に信号線「う」に出力する。バッファメモリ７１
は、イベントを出力した後、出力したイベントの色が赤
である場合には信号線「な」に減算命令を出力し、出力
したイベントの色が黄である場合には信号線「に」に減
算命令を出力する。

カウンタ７２は、バッファメモリ７１中に記憶されてい
る赤のイベントの数を計数する。計数値の初期値は０で
ある。カウンタ７２は信号線「な」から加算命令を受け
取ると計数値を１増やし、信号線「な」から減算命令を
受け取ると計数（＋Ｕを１減らす。また、カウンタ７２
は、計数１直がＯであるとき信号線「ぬ」に偽値を出力
し、計数値が０でないとき信号線「ぬ」に真（１αを出
力する。

カウンタ７３は、バッファメモリ７１中に記憶されてい
る黄のイベントの数を計数する。計数値の初期値はＯで
ある。カウンタ７３は信号線「に」から加算命令を受け
取ると計数値を１増やし、信号線「に」から減算命令を
受け取ると計数値を１減らす。また、カウンタ７３は、
計数値がＯであるとき信号線「ね」に偽値を出力し、計
数値がＯでないとき信号線「ね」に真値な出力する。

パイプライン段７４は、信号線「あ」および信号線「う
」からイベントを受け取り、受け取ったイベントをその
まま信号線「え」に出力する。パイプライン段７４は、
信号線「あ」、「う」のどちらからもイベントを受け取
れる場合には、信号線「あ」のイベントを優先的に受け
取る。また、パイプライン段７４は、処理しているイベ
ントの色が青であるならば真値を、処理しているイベン
トの色が青でないならば偽値を信号線「お」に出力し、
処理しているイベントの色が赤であるならば真値を、処
理しているイベントの色が赤でないならば偽値を信号線
「の」に出力し、処理しているイベントの色が黄である
ならば真値を、処理しているイベントの色が黄でないな
らば偽値を信号線「は」に出力する。バイブライン段７
４は、イベントを処理していないときには、信号線「お
」。

「のＪ、　　ｒは」のいずれにも偽値を出力する。

以下、信号線「え」に第１２図のイベントｉが出力され
た場合を例にとって説明する。

イベント記憶部７５は、信号線「えＪからイベントｌを
受け取り、イベントｌから色Ｃ５を取り除いたイベント
Ｊを記憶し、イベントｌを消去する。また、イベント記
憶部７５は、信号線「イ」から現在時刻を読み込み、自
らの中にイベント時刻が現在時刻と等しいイベントが存
在するならば信号線「き」に真値を出力し、自らの中に
イベント時刻が現在時刻と等しいイベントが存在しない
ならば信号線「き」に偽値を出力する。

今、現在時刻がＴ６であるとする。

バイブライン段１５は、信号線「イ」から現在時刻を読
み込み、信号線「か」を経て、現在時刻と等しいイベン
ト時刻Ｔ６を持つイベントの一つであるイベントｋをイ
ベント記憶部７５から取り出し、イベントｋに青い色Ｃ
６を付与したイベントｍを信号線「＜」に出力し、イベ
ントｋを消去する。また、バイブライン段１５は、自ら
の中にイベントが存在するならば信号線「け」に真値を
出力し、自らの中にイベントが存在しないならば信号線
「け」に偽値を出力する。

バイブライン段１６は、信号線「＜」からイベン）ｍを
受け取り、評価処理、伝達処理を行って、イベン）ｍが
表す信号状態変化が原因となって発生するシミュレーシ
ョン対象とする論理回路中の信号状態変化を算出し、算
出結果を表すイベントｎを信号線「二」に出力する。イ
ベントｍは消去する。バイブライン段１６は、信号線「
二」に出力するイベントの色を、常に青とする。また、
バイブライン段１６は、自らの中にイベントが存在する
ならば信号線「こ」に真値を出力し、自らの中にイベン
トが存在しないならば信号線「こ」に偽値を出力する。

ＯＲゲート１７は、信号線「い」、「お」、「き」、「
け」、「こ」の値の少なくとも一つが真値であるとき信
号線「ト」に真値を出力し、信号線１い」・１お」？「
き」、「け」、「こ」のイ直力Ｓ全て偽値であるとき信
号線「ト」に偽値を出力する。

ＯＲゲート７６は、信号線「ぬ」、「の」の値の少なく
とも一方が真値であるとき信号線ｒ力」に真値を出力し
、信号線「ぬ」、「の」の両方の値が偽値であるとき信
号線「力」に偽（１αを出力する。

ＯＲゲート７７は、信号線「ね」、「は」の値の少なく
とも一方が真値であるとき信号線「ヨ」に真値を出力し
、信号線「ね」、「は」の両方の値が偽値であるとき信
号線「ヨ」に偽値を出力する。

本実施例によれば、自らの中に赤、黄それぞれのイベン
トが存在するか否かを示す信号を出力する論理シミュレ
ーションプロセッサを実現することが可能である。

本実施例の論理シミュレーションプロセッサでは、バッ
ファメモリを２つ設けたが、赤、黄、青の各色ごとにバ
ッファメモリを１つずつ設け、各バッファから、赤のイ
ベントを記憶するバッファメモリ中にイベントが存在す
るどきぐこ信号線「ぬ」に真値を、赤のイベントを記憶
するバッファメモリ中にイベントが存在しないときに信
号線「ぬ」に偽１！σを出力させ、黄のイベントを記憶
するバッファメモリ中にイベントが存在するときに信号
線「ね」に真値を、黄のイベントを記憶するバッファメ
モリ中にイベントが存在しないときに信号線「ね」に偽
値を出力させてもよい。このような構成をとれば、バッ
ファメモリ中に存在するイベントを色別に計数するカウ
ンタを省略することができる。

また、バッファメモリは１つだけ設け、カウンタを３つ
設けて、バッファメモリ中に存在する赤。

黄、青のイベントの数を色別に計数することもできる。

このような構成によれば、使用するバッファメモリの数
を減らすことができる。

第９図は、本発明に係わる注目色存在判定部の実施例を
示す構成図である。第９図中、８１，８２はＯＲゲート
、８３は命令出力手段であり、ま。

み、力、ヨ、夕、し、ソ、ツは信号線である。

ＯＲゲート８１は、信号線「力」、信号線「夕」の値を
読み込み、少なくとも一方の値が真値ならば信号線「ま
」にｎ値を出力し、両方の値が偽値ならば信号線「ま」
に偽値を出力する。

ＯＲゲート８２は、信号線「ヨ」、信号線「し」の値を
読み込み、少なくとも一方の（１αがｉ　４Ｉαならば
信号線「み」に真１１αを出力し、両方の値が偽１）α
ならば信号線「みｊに偽値を出力する。

命令出力手段８３は、信号線「ソ」の値が赤であり、か
つ、信号線「ま」の（直が真ｈｎであるか、あるいは、
信号線「ソ」の値が直であり、かつ、信号線「み」の１
１ａ、が真値であるならば、信号線「ツ」に色変更命令
を出力する。命令出力手段８３は、その他の場合には信
号線「ツ」に色変更命令を出力しない。

第１０図は、本発明に係わる時刻記憶部の第２の実施例
を示す構成図である。第１０図中９１゜９２はデータ保
持手段であり、む、す、ワ、ツは信号線である。

データ保持手段９１は信号線「す」の１１αを記憶し、
記憶している値を信号線「む」に出力する。

データ保持手段９２は信号線「む」の値を記憶し、記憶
している値を信号線「ワ」に出力する。

倶し、データ保持手段９１．データ保持手段９２が記憶
している値の初期値はＯである。

データ保持手段９１は、信号線「ツ」から色変更命令を
受け取ると、そのときの信号線「す」の１１αを記憶し
、信号線「む」に出力する。

データ保持手段９２は、信号線「ツ」から色変更命令を
受け取ると、データ保持手段９１が新たな値を記憶する
前に信号線「む」に出力していた値を記憶し、信号線「
ワ」に出力する。

このような構成により、信号線「ツ」から色変更命令を
受け取ったときに、その一つ前の色変更命令を受け取っ
たときの信号線「す」の値を信号線「ワ」に出力する時
刻記憶部を実現することができる。

発明の効果本発明は、シミュレーションの実行と並行して投入イベ
ントを論理シミュレーションプロセッサに渡すことを可
能とした論理シミュレーション方法、論理シミュレーシ
ョン装置の具体的構成を提供するものであり、シミュレ
ーションに先立って投入イベントを全て論理シミュレー
ションプロセッサ中のイベント記憶部に記憶することに
よる、イベント記憶部の記憶容量の消費や、シミュレー
ションを一時的に中断して投入イベントをイベント記憶
部に記憶することによるシミュレーション速度の低下を
防ぐことができるという効果がある。

また、取り出し処理、評価処理、伝達処理によって発生
したイベントと投入イベントを色という識別子を用いて
区別し、投入イベントを優先的に処理することによって
、投入イベントの存在による、他のイベントの処理の遅
れを防止することができる。

【図面の簡単な説明】

第１図は本発明の論理シミュレーション装置の第１の実
施例の構成図、第２図は論理シミュレーションプロセッ
サの第１の実施例の構成図、第３図は現在時刻出力部の
実施例の構成図、第４図は時刻記憶部の第１の実施例の
構成図、第５図は本発明の論理シミュレーション装置の
第２の実施例の構成図、第６図は着色部の実施例の構成
図、第７図は注目色指定部の実施例の構成図、第８図は
論理シミュレーションプロセッサの第２の実施例の構成
図、第９図は注目色存在判定部の実施例の構成図、第１
Ｏ図は時刻記憶部の第２の実施例の構成図、第１１図、
第１２図はイベントの構造図。第１３図は補助時刻の計算方法を示すフローチャート、
第１４図はイベントの色の変化を示す説明図である。 ■−・・・・・現在時刻出力部、２・・・・・・イベン
ト投入部、；３・・・・・・ネットワーク、４，５・・
・・・・論理シミュレーションプロセッサ、６・・・・
−・時刻記憶部、７，８・・−・・・イベント記憶部、
１１．１２・・−・−・バッファメモリ、ｌ；３・・・
・・・バイブライン段、１４・・・・・・イベント記憶
部、１５．１６・・・−・バイブライン段、１７・・・
・・・ＯＲゲート、２１・・・・・・カウンタ、２２・
・−・・・制御手段、２；−）・・・−・・ＯＲゲート
、３１，３２・・・・・・データ保持手段、３３・・・
・・・最小値選択手段、４１・・・・・・現在時刻出力
部、４２・・・・−・イベント没入部、４３・・・・・
・ネットワーク、４４．４５・・−・・・論理シミュレ
ーションプロセッサ、４６・・・・・・注目色存在判定
部４７・・・・・−注目色指定部、４８・・・・・・時
刻記憶部、４９・・・・・・着色部、５１・・・・・・
真偽記憶手段、５２・・・・・・色出力手段、６１・・
・・・・真偽記憶手段、６２・・・・・・色出力手段、
７１・・−・・−バッファメモリ、７２，７３・・・・
・・カウンタ、７４・・・・・・バイブライン段、７５
・・・・・・イベント記憶部、７６．７７・・・・・・
ＯＲゲート、８１．８２・−・・・・ＯＲゲート、８３
・・・・・・命令出力手段、９１　、　９２−−−−−
−データ保持手段、ａ、　　ｂ、　　ｃ。ｄ＋　　ｅ＋　　ｒ＋　　ｇ＋　　ｈ＋　　Ｉｓ　　Ｊ
＋　　１＜＋　　ｒｎ＋　　ｎ＝・＝・イベント、ＴＩ
、Ｔ２．Ｔ３．Ｔ５．Ｔ６．Ｔ７・・・・・・イベント
時刻、Ｓｌ、　　Ｓ２．　　Ｓ３．　　Ｓ５．　　Ｓ６
゜Ｓ７・・・・・・後吠態、０ＴＨＥＲ５Ｉ、０ＴＨＥ
Ｒ５２，０ＴＨＥＲ５３，０ＴＨＥＲ５５，０ＴＨＥＲ
９６，０ＴＨＥＲ５７−・−−−−付加情報、ＣＩ、Ｃ
２、Ｃ３，Ｃ５，Ｃ６，Ｃ７・・・・・・色、　ｔｌ、
ｔ３゜ｔ５・・・・・・補助時刻、Ｄｌ、Ｄ３．Ｄ５．
Ｄ７・・・・・−行先識別子、Ｒ１・・・・・・赤のイ
ベント、Ｙｌ、Ｙ２゜Ｙ３・・・・・・黄のイベント、
　イ２２ロ、ハ二、ホ、へ。ト、チ、　リ、ヌ、ル、ヲ、ワ、力、ヨ、　夕、　し。ソ、ツ、ネ、す・・・・・・信号線、あ、い、う、え、
お。か、　き、＜、け、こ、さ、シ、す、せ、た、ち。な、に、ぬ、ね。の、は、ま、み、む・・・・・・信号
線。代理人の氏名　弁理士　中尾敏男　はか１名菓　１　図、ｌ第２図第３図第６図１８図第９図第１０図３１１図第１２図

Claims

【特許請求の範囲】

（１）イベントを受け取り、イベント駆動型のアルゴリ
ズムを用いてシミュレーション対象とする論理回路の信
号状態変化を算出する論理シミュレーションプロセッサ
と、前記論理回路に外部から加えられる信号状態の変化
を表すイベントを出力するイベント投入部と、現在時刻
を出力する現在時刻出力部と、時刻を記憶する時刻記憶
部を用い、イベントには前記イベント投入部が出力した
イベントとそれ以外のイベントを区別する識別子を付与
し、前記論理シミュレーションプロセッサによりイベン
トを記憶し、記憶しているイベントのうちで前記現在時
刻と等しいイベント時刻を持つイベントを処理し、前記
イベント投入部により、イベントを出力するとき、その
イベントの後に出力するイベントのイベント時刻の最小
値を補助時刻として出力し、前記イベント投入部が出力
したイベントを前記論理シミュレーションプロセッサが
記憶したときに、前記時刻記憶部により、前記補助時刻
を記憶し、前記現在時刻出力部により、前記論理シミュ
レーションプロセッサ中から現在時刻に関するイベント
が存在しなくなったときに、前記時刻記憶部が記憶して
いる値を超えない範囲で現在時刻を更新する論理シミュ
レーション方法。
（２）イベントを受け取り、イベント駆動型のアルゴリ
ズムを用いてシミュレーション対象とする論理回路の信
号状態変化を算出する論理シミュレーションプロセッサ
と、前記論理回路に外部から加えられる信号状態の変化
を表すイベントを出力するイベント投入部と、現在時刻
を出力する現在時刻出力部を用い、イベントには前記イ
ベント投入部が出力したイベントとそれ以外のイベント
を区別する識別子を付与し、前記現在時刻出力部により
、前記論理シミュレーションプロセッサ中から現在時刻
に関するイベントが存在しなくなったときに現在時刻を
更新し、前記論理シミユレーシヨンプロセッサにより、
前記識別子を用いて優先的に処理するイベントを決定す
る論理シミュレーション方法。
（３）イベントを受け取り、イベント駆動型のアルゴリ
ズムを用いてシミュレーション対象とする論理回路の信
号状態変化を算出する論理シミュレーションプロセッサ
と、前記論理回路に外部から加えられる信号状態の変化
を表すイベントを出力するイベント投入部と、現在時刻
を出力する現在時刻出力部と、時刻を記憶する時刻記憶
部を具備し、イベントには前記イベント投入部が出力し
たイベントとそれ以外のイベントを区別する識別子を付
与し、前記論理シミュレーションプロセッサはイベント
を記憶するイベント記憶部と、前記イベント記憶部から
前記現在時刻と等しいイベント時刻を持つイベントを取
り出す手段と、前記イベント記憶部から取り出したイベ
ントを処理する手段と、現在時刻に関するイベントが当
該論理シミュレーションプロセッサ中に存在するか否か
を判定する手段を有し、前記イベント投入部は、イベン
トを出力するとき、そのイベントの後に出力するイベン
トのイベント時刻の最小値を補助時刻として出力し、前
記イベント投入部が出力したイベントを前記イベント記
憶部が記憶したときに、前記時刻記憶部は前記補助時刻
を記憶し、前記現在時刻出力部は前記時刻記憶部が記憶
している値と現在時刻を比較する手段を有し、論理シミ
ュレーションプロセッサ中に現在時刻に関するイベント
が存在しなくなったときに、前記時刻記憶部が記憶して
いる値を超えない範囲で現在時刻を更新することを可能
とした論理シミュレーション装置。
（４）イベントを受け取り、イベント駆動型のアルゴリ
ズムを用いてシミュレーション対象とする論理回路の信
号状態変化を算出する論理シミュレーションプロセッサ
と、前記論理回路に外部から加えられる信号状態の変化
を表すイベントを出力するイベント投入部と、現在時刻
を出力する現在時刻出力部を具備し、イベントには前記
イベント投入部が出力したイベントとそれ以外のイベン
トを区別する識別子を付与し、前記現在時刻出力部は、
論理シミュレーションプロセッサ中に現在時刻に関する
イベントが存在しなくなったときに現在時刻を更新し、
前記論理シミュレーションプロセッサは、現在時刻に関
するイベントが当該論理シミュレーションプロセッサ中
に存在するか否かを判定する手段と、イベントを前記識
別子別に記憶するバッファメモリと、前記バッファメモ
リからイベントを取り出す手段を有し、前記バッファメ
モリからイベントを取り出す手段は、特定の識別子を持
つイベントを前記バッファメモリから優先的に取り出す
ことを可能とした論理シミュレーション装置。