JPH0498366A - 論理シミュレーション方法 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は論理シミュレーション方法に係り、特に論理装
置の動作をレジスタ転送レベルで模擬するに好適な論理
シミュレーション方法に関する。

〔従来の技術〕

従来、アトパンシス・イン・シーニーデイ−・フォー・
プイレルレスアイ、第２巻、第１４５頁から第１４６頁
（Ａｄｖａｎｃｅｓ　ｉｎ　ＣＡＤ　ｆｏｒ　ＶＬＳＩ
。

Ｖｏｌ、２．ｐｐ、１４５−１４６．Ｊｕｌｙ、１９８
６）に論じられているように、論理シミュレーションを
高速に実行する方法として、セレクティブ・トレース方
式、およびセレクティブ・イベント方式が知られている
。セレクティブ・トレース方式では、その木刀ピンの信
号値が変化、すなわちイベントが発生した素子について
のみ出力値算出処理を行なうことにより処理イベント数
を削減し、シミュレーション時間を大幅に削減すること
が可能である。一方セレクチイブ・イベント方式では、
例えばＡＮＤゲートにおいてその少なくとも１つの入力
ピンの信号値が○である場合には他の入力ピンの信号値
が変化しても出力信号値は０のままであるという性質を
利用し、入力ピンの信号値が変化、すなわちイベントが
発生した場合でも他の入力ピンの信号値によっては素子
の出力信号値算出を行わないという方法により、前記セ
レクテイブ・トレース方式にもまして処理イベント数を
削減することができる。

また第２４回デザイン・オートメーション・コンファレ
ンス・プロシーデインゲス、第１８１頁から第１８７頁
（２４ｔｈ　Ｄｅｓｉｇｎ　ＡｕｔｏｍａｔｉｏｎＣｏ
ｎｆｅｒｅｎｃｅ　Ｐｒｏｃｅｅｄｉｎｇｓ、　ｐ　ｐ
　、　１８１−１８７　。

Ｊｕｎｅ、　１９８７）には、デマンド・ドリブン方式
について述べられている６デマンド・ドリブン方式では
シミュレーション結果を得たい任意時刻の任意信号から
処理を開始し、その結果を得るために必要な信号値を、
論理の結線関係および時刻をさかのぼって順次求めてい
く方法により不要な評価を抑止し、シミュレーション時
間の削減を図っている。

〔発明が解決しようとする課題〕

前記セレクティブ・トレース方式では、シミュレーショ
ン対象回路を構成する各素子の出力値算出が、イベント
、すなわち当該素子の入力値の変化＃のみに起因してお
り、新たに算出した出力値を他の部分回路に含まれる素
子が参照するか否かはまったく関知していない。したが
っである時点で出力値を算出した後、その出力値を他の
部分回路に含まれる素子が参照する前に新たなイベント
が発生すると、再度出力値算出を行なうことにより、直
前の出力値算出が無駄になるという問題があった。例え
ば第１１図に示す論理回路のシミュレーションを考える
。セレクティブ・トレース方式では、第１２図に示すよ
うに、組合せ回路１１の評価はその入力信号Ａ、Ｂ、Ｃ
，Ｄ、Ｅ、Ｆの変化に起因して実行される。しかるに後
段のレジスタＲの値更新は、制御信号ＣＴＬが正で、か
つクロック信号ＫＯが立ち上がったときに行なわれる。

したがって制御信号ＣＴＬが負の場合には。

第１１図における組合せ回路１１の出力値Ｘの算出は無
効となる。またセレクティブ・イベント方式では、ある
素子の入力ピンの信号値が変化、すなわちイベントが発
生した時、素子タイプ、および他の入力ピンの信号値を
も読み出さねばならず。

前記セレクティブ・トレース方式に比へ多くの処理オー
バヘットを必要とする。さらにデマンド・ドリブン方式
では、同時刻の同一信号を何回も評価してしまう等、再
帰的な処理によるオーバヘッドを必要とする。

本発明の目的は前記問題点を解決し、無駄な出力値算出
処理を抑止できる高速な論理シミュレーション方法を提
供することにある。

〔課題を解決するための手段〕

本発明の目的は、シミュレーション対象回路を構成する
各素子、あるいは複数の素子をまとめた部分回路毎に、
その入力信号の変化すなわちイベントを保持し、他の部
分回路に含まれる素子が前記素子あるいは部分回路の出
力値を参照するタイミング、すなわち要求を検出するこ
とにより、達成される。

〔作用〕

ある素子、あるいは部分回路に発生したイベントはただ
ちに評価されずに、素子、あるいは部分回路毎に保持さ
れる。他の部分回路に含まれる素子が、当該素子、ある
いは部分回路の出力値を必要とする場合、すなわち要求
を検出した時点に、それ以前に発生したイベントを評価
することにより、無駄な出力値算出処理を抑止すること
が可能となる。

〔実施例〕

以下、本発明の３種類の実施例を説明するが、その前に
実施例の概要、および入力となるシミュレーション・モ
デルの記述方法を説明する。

初めに第１図、第２図を用いて、実施例の概要を説明す
る。

第１図は実施例の構成の概要を示した図である。

実施例では、大枠で囲んだ部分１４を仮想的な論理とし
て追加する。仮想的に追加される論理は、イベント・フ
ラグ１５とＡＮＤゲート１６からなる。第１図では、イ
ベント・フラグ１５とＡ　Ｎ　Ｄゲート１６は組合せ回
路１１に対応して１つずっ存在するが、組合せ回路を構
成實る演算子に対応してイベント・フラグおよびＡＮＤ
ゲートを配置することも可能である。

次に実施例の動作の概要を、第２図を用いて説明する。

実施例の動作は、互いに独立な２つの動作、イベント保
留処理と要求検出処理よりなる。

第２図（ａ）に示したイベント保留処理では、まず処理
２０１　ニよす入力信号Ａ　ｔ　Ｂ　ｔ　Ｃ＋　Ｄ　＋
　Ｅ　＋Ｆを監視し、その少なくとも１つの信号値が変
化した場合には処理２０２に進み、変化がない場合には
引続き処理２０１を行う。処理２０２ではイベント・フ
ラグ１５に１をセットし、ただちに処理２０１へ進む６
第２図（ｂ）に示した要求検出処理では、まず処理２１
１によりレジスタＲに対するセット信号、すなわちゲー
ト１２の出力信号を監視し、値が１に変化した場合には
処理２１２に進み、出力信号の値に変化がない場合には
引続き処理２１１を行う。処理２１２ではイベント・フ
ラグ１５の内容を調へ、その内容が１である場合には組
合せ回路１１の入力信号Ａ、Ｂ、Ｃ，Ｄ。

Ｅ、Ｆの少なくとも１つの信号値が既に変化しているの
で処理２１３に進み、そうでない場合には入力信号値は
変化していないので処理２１４に進む。処理２１３では
、ゲート１６の出力信号値を１とし、組合せ回路１１の
内部の評価を行って新たな出力値Ｘを算出する。またイ
ベント・フラグ１５に０をセントし、処理２１４に進む
。処理２１４では組合せ回路１１の出力値Ｘをレジスタ
Ｒに書込み、再び処理２１１に進む。

以上で実施例の概要の説明を終わる。

次に第３図を用いて、入力となるシミュレーション・モ
デルの記述方法を説明する。

シミュレーション・モデルは、第３図に示すように動作
レベル、すなわちレジスタへの転送動作を中心にその動
作を実行すべき条件とレジスタに転送すべき値とを、信
号名あるいは論理式により記述する。第３図において、
　１ｎｐｕｔで始まる第１行は、入力信号の宣ｆｆｉ、
　ｒｅｇｉｓｔｅｒで始まる第２行はレジスタの宣言で
ある。１ｆで始まる第３行は、次のｔｈｅｎで始まる第
４行に記述された動作を実行する条件を指定している。

すなわちクロック信号ＫＯのタイミングで信号ＣＴＬの
値が正である場合に、　ｔｈｅｎ以下の動作を実行する
。クロック信号も通常の信号と同様にとらえれば、１ｆ
以下をｒＣＴＬ　　＆　　ＫＱＪ　と記述しても同し意
味である。ｔｈｅｎ以下の動作は、レジスタＲへのデー
タ書込み、すなわちレジスタＲに対する転送動作を示し
ている。記号：：の右辺はレジスタＲに書込む値を論理
式を用いて記述している。第３図に示した論理式は、信
号Ａと信号Ｂとの論理和を取り。

次にその論理和、信号りと信号Ｅとの一致、および信号
Ｃとの論理積を取り、最後にその論理積と信号Ｆとの論
理和を取ることを意味している。

以上でシミュレーション・モデルの記述方法についての
説明を終わる。

次に第４図から第６図までを用いて、レジスタに対する
データ転送動作が実？テされる時に組み合わせ回路の論
理式を評価し、１つの論理式に１つのイベントフラグを
設けた第１の実施例を詳細に説明する。

初めに第４図を用いて、本実施例に用いるデータ構造を
説明する。各テーブルの左にあって、シャープ記号（＃
）に続く数字は、テーブル内の各レコードを識別するた
めのレコード番号を示す。

レコード番号は、当該レコードがどのテーブルに属する
かを区別するために、すべてのテーブルを通じて一意で
ある。

第４図に示した各テーブルのうち、第４図（ａ）。

（ｂ）および（ｅ）はシミュレーションの対象となる回
路の構成および信号値を表し、第４図（Ｃ）。

（ｄ）および（ｆ）はシミュレーション時の動作を記録
するテーブルである。

入力信号テーブル４１は、各入力信号毎の情報を持つ。

レジスタ・テーブル４２は各レジスタ毎の情報を持つ。

転送動作テーブル４３はレジスタへの転送動作単位の情
報を持つ。論理式テーブル４４は、組合せ回路部分の内
容を表す論理式毎の情報を持つ。演算子テーブル４５は
、論理式を構成する演算子毎の情報を持つ。ある論理式
に対しては、論理式テーブル４４のレコードを１つ作成
し、当該論理式を構成する演算子に対応した１つ以上の
レコードを演算子テーブル４５に展開する。

実行リスト４６は、実行可能な転送動作を一時的に保持
する作業用領域である。登録数カウンタ４６０は実行リ
ストに登録した転送動作の数を示す。

次に各テーブルの内容について説明する。

第４図（ａ）に示す入力信号テーブル４１の各レコード
は、それぞれ２つのフィールドを持つ。

第１のフィールドは対応する入力信号の信号値を持つ。

第２のフィールドは当該入力信号値を参照する論理式を
指示し、第４図（ｃｌ）に示す論理式テーブル４４内の
レコード番号を持つ。

第４図（ｂ）に示すレジスタ・テーブル４２の各レコー
ドはそれぞれ２つのフィールドを持つ。

第１のフィールドは対応するレジスタの格納値を持つ。

第２のフィールドは当該レジスタの格納値を参照する論
理式を指示し、論理式テーブル４４内のレコード番号を
持つ。

第４図（ｃ）に示す転送動作テーブル４３の各レコード
は、それぞれ３つのフィールドからなる。

第１のフィールドは当該転送動作の転送先レジスタを表
しており、レジスタ・テーブル４２内のレコード番号を
持つ。第２のフィールドおよび第３のフィールドは、そ
れぞれ当該転送動作の実行条件、および当該転送動作に
おいて転送すべき値を示しており、入力信号値テーブル
４１．レジスタ・テーブル４２．あるいは論理式テーブ
ル４４のレコード番号を持つ。

第４図（ｄ）に示す論理式テーブル４４の各レコードは
、それぞれ３つのフィールドよりなる。

第１のフィールドは当該論理式の入力信号にイベントが
発生したことを示す。すなわちイベントが未発生の場合
にはＯを持ち、イベントが発生した場合にはＯ以外の値
を持つ。第２のフィールド、および第３のフィールドは
、当該論理式に対応して演算子テーブル４５に展開され
た一連のレコードの、先頭のレコードおよび最後のレコ
ードを指示するレコード番号を持つ。

第４図（ｅ）に示す演算子テーブル４５の各レコードは
、それぞれ３つのフィールドからなる。

第１のフィールドはシミュレーション実行中の当該演算
子の出力値を持つ。第２のフィールドは当該演算子の種
類を持つ。第３のフィールドは当該演算子の入力信号値
の格納先を指示する入力信号テーブル４１、レジスタ・
テーブル４２、あるいは演算子テーブル４５のレコード
番号を持つ。

演算子テーブル４５内で１つの論理式に対応する複数の
レコードは、当該論理式の値を評価する場合の演算の優
先順位にしたがって並へる。すなわち１つの論理式に対
応する複数のレコードの中の任意のレコードは、その下
に存在するどのレコードよりも演算の優先順位が低くな
ることは無い。

レコードをこのように順序付けることにより、当該論理
式の値を評価する場合には、レコード番号の小さいレコ
ードから順に処理を行うことで、自然に最終的な出力値
が得られる。

第４図において各テーブルの内容は、第３図に示したシ
ミュレーション・モデルの記述例に従っている。記述例
では、入力信号およびレジスタはそれぞれは８個および
１個宣言されている。第４図の入力信号テーブル４１の
レコード４１１から４１８までは、それぞれ入力信号Ｋ
Ｏ，ＣＴＬ。

Ａ、Ｂ、Ｃ，Ｄ、Ｅ、Ｆに対応しており、レジスタ・テ
ーブル４２のレコード４２１は、レジスタＲに対応して
いる。また第３図に示した記述例では、レジスタＲに対
する転送動作が１つ記述されており、第４図（Ｃ）の転
送動作テーブル４３のレコード４３１が対応している。

また第３図に示した記述例では、論理式は２つ記述され
ている。

１つは第３行の１ｆ以下のｒＣＴＬ　　ａｔ　　ＫＯＪ
なる記述であり、ｒＣＴＬ　　＆　　ＫＯＪと解釈する
。

もう１つはレジスタＲに対する転送動作の記述の中の：
＝の右辺である。それぞれ論理式テーブル４４のレコー
ド４４１および４４２が対応している。２つの論理式は
それぞれ１個および４個の演算子からなり、演算子テー
ブル４５のレコード４５１、およびレコード４５２から
４５５までが対応している。論理式テーブル４４のレコ
ード４４１と４４２の第２フィールド４４１−２と４４
２−２、およびそれぞれの第３フィールド４４１−３と
４４２−３は、それぞれ対応する演算子テーブル４５内
の開始レコード、すなわちレコード番号５１のレコード
４５１とレコード番号５２のレコード４５２、および終
了レコード、すなわちレコード番号５１のレコード４５
１とレコード番号５５のレコード４５５を指示している
。

演算子テーブル４５において、たとえばレコード番号５
４のレコード４５４はファンインが３つのＡＮＤ演算を
示しており、そのファンインはレコード４５４の第３フ
ィールド４５４−３の内容が示している。すなわちレコ
ード番号が５２である演算子テーブル４５のレコード４
５２、レコード番号が１５である入力信号テーブル４１
のレコード４１５、およびレコード番号が５３である演
算子テーブル４５のレコード４５３である。このうち入
力信号テーブル４１のレコード４１５は、第３図に示し
た例における入力信号Ｃに対応しており、他のファンイ
ンは同−論理式内の他の演算子の出力を参照している。

以上で本実施例のデータ構造の説明を終わる。

次に本実施例の処理を第５図を用いて説明する。

処理５０１では、シミュレーション実行用のテーブルを
作成し、各信号値の初期化を行う。処理５０２では、実
行サイクル数等により指定されたシミュレーション終了
条件を満たしたかどうかを調べ、満たしている場合には
処理を終了し２そうでない場合には処理５０３へ進む。

処理５０３では、クロック信号の信号値更新を行い、シ
ミュレション時刻を進める。処理５０４では、シミュレ
ーション対象論理に対し、その外部から印加される信号
値をシミュレーション時刻の進捗に応じて更新する。

クロックが更新されるたびに、第５図に示す処理５０４
から５１３に示す処理がシミュレーションの対象となる
回路全体に対して実行される。あるクロックし、の時に
第１図に示す組み合わせ回路１１に対する人力信号が更
新され、その時はまだレジスタＲへの書き込み信号がセ
ントされていないとする。このような状態では、組み合
わせ回路１１のシミュレーションは行なわれず、出力値
Ｘも出力されない。次のクロックｔ２　の時に、レジス
タＲへの書き込み信号がセットされると、組み合わせ回
路１］のシミュレーションが行なわれ、出力値Ｘがレジ
スタＲに暑き込まれる。

ここで、上記のレジスタＲへの書き込み信号のセントは
、この書き込み信号を生成するゲートが含まれる他の組
み合わせ回路に対するシミュレーションが行なわれた時
に実行される。

以下、処理５０５から処理５０９まてを、第４図におけ
る転送動作テーブル４３のすへてのレコードについて実
施する。特に、処理５０６，５０７および５０８は第２
図（ｂ）に示した要求検出処理に相当し、そこで得られ
た結果は転送動作テーブル４３に登録される。処理５０
５では、転送動作テーブル４３のすへてのレコードにつ
いて処理が終了したかどうかを判定する。処理が終了し
た場合には処理５１０に進み、終了していない場合には
処理５０６に進む。処理５０６では、転送動作テーブル
４３の処理中のレコード、例えばレコ−ド４３１におい
て、第２フィールド４３１−２の内容がさす信号または
論理式の値を評価する。

信号または論理式の値の評価の方法は後述する。

処理５０７では、処理５０６における評価結果の値がＯ
である場合には当該動作は現時刻においては実行不可で
あると判定し、処理５０９へ進む６０でない場合には実
行可能と判定し、処理５０８へ進む。処理５０８では、
処理中のレコード、例えばレコード４３１のレコード番
号を、実行リスト４６に追加書きし、登録数カウンタ４
６０の内容を１増す。処理５０９では転送動作テーブル
４３内の次のレコードに処理を進める。

処理５０５において転送動作テーブル４３に関する処理
が終了したと判定されると、処理５１０に進み、以下処
理５１０から処理５１３までの処理を、処理５０８で登
録された実行リスト４６の内容が空になるまで繰返し実
行する。特に、処理５１１．５０６および５１３は第２
図（ａ）に示したイベント保留処理に相当し、データの
転送動作が実行された時に、その結果がイベントの発生
として保持される。処理５１０では、実行リスト４６が
空になったかどうか、すなわち登録数カウンタ４６０の
内容がＯであるか否かを判定する。

０である場合には処理５０２へ進み、Ｏでない場合には
処理５１１へ進む。処理５１１では、登録数カウンタ４
６０の内容を１減じ、実行リスト４６からその内容、す
なわち転送動作テーブル４３のレコードをさすレコード
番号を１つ取出す。

処理５０６では、処理５１１で取り出したレコード番号
が指示する転送動作テーブル４３内のレコード、例えば
レコード４３１の第３フィールド４３１−３を参照し、
その内容が指示する信号または論理式の値を評価する。

処理５１３では、処理５１１で取り出したレコード番号
が指示する転送動作テーブル４３内のレコード、例えば
レコード４３１の第１フィールド４３１−１を参照し、
その内容が指示するレジスタ・テーブル４２内のレコー
ド、例えばレコード４２１の第１フィールド４２１−１
に、処理５０６の評価結果の値を書き込む。さらに処理
５１３では、第２フィールド４２１−２を参照し、その
内容が指示する論理式テーブル４４内のレコードの第１
のフィールドすなわち、イベントフラグ、例えばフィー
ルド４４１−１の内容を１とする。処理５１３実行後再
び処理５１０に進む。

処理５０６　　　　　−　　において、信号または論理
式の値の評価は、以下のようにして行なう。

すなわち転送動作テーブル４３の処理中のレコード、例
えばレコード４３１の第２フィールド４３１−２．ある
いは第３フィールド４３１−３の内容が入力信号テーブ
ル４１．あるいはレジスタ・テーブル４２を指示する場
合には信号の値の評価を行ない、そうでない場合、すな
わち論理式テーブル４４を指示する場合には、論理式の
値の評価を行なう。信号の値の評価とは、入力信号テー
ブル４１、あるいはレジスタ・テーブル４２内の指示さ
れたレコードの第１フイールドの内容を。

信号値として読み出すことである。論理式の値の評価方
法は、第６図を用いて詳細に説明する。

処理６０１では、論理式テーブル４４内の処理中のレコ
ード、例えばレコード４４２の第１フイールドすなわち
、イベントフラグ４．４２−１を参照し、その内容が０
である場合には対応する論理式の入力信号値が変化して
いないので処理６０２へ進み、そうでない場合には処理
６０３へ進む。

処理６０２では、第３フィールド４４２−３を参照し、
その内容が指示する演算子テーブル４５内のレコード、
すなわちレコード４５５を取り出し、後続する処理６０
８の処理対象とし、処理６０８へ進む。処理６０３では
、論理式テーブル４４内の処理中のレコードに含まれる
イベントフラグ、例えばレコード４４２の第１フィール
ド４４２−１の内容をＯとする。処理６０４では、第２
フィールド４４２−２を参照し、その内容が指示する演
算子テーブル４５内のレコード、例えばレコード４５２
を取り出し、後続する処理６０５の処理対象とする。処
理６０５から６０７までは、実際に値を評価する処理で
ある。処理６０５では、演算子テーブル４５内の処理中
のレコード、例えばレコード４５２の第３フィールド４
５２−３を参照し、その内容が指示する入力信号テーブ
ル４１゜レジスタ・テーブル４２、あるいは演算子テー
ブル４５内のレコードから、信号値を取り出す。さらに
処理６０５では、第２フィールド４５２−２を参照し、
その内容にしたがった演算を、先に取り出した信号値に
対して行う。演算した結果は、同じレコードの第３フィ
ールド４５２−１に格納する。処理６０６では、演算子
テーブル４５内の処理中のレコードのレコード番号が、
論理式テーブル４４内の処理中のレコード、例えばレコ
ード４４２の第３フィールド４４２−３の内容すなわち
、終了ポインタに一致しているかどうかを調へ、一致し
ている場合には論理式に対応する一連の演算子の処理が
終了したので処理６０８へ進み、そうでない場合には処
理６０７へ進む。処理６０７では、演算子テーブル４５
内の次のレコードへ処理を進める。処理６０８では、演
算子テーブル４５内の処理中のレコード、例えばレコー
ド４５５の第１フィールド４５５−１の内容を取り出し
、論理式の値の評価結果として返す。

以上で論理式の値の評価方法の説明を終わる。

以上で第１の実施例の説明を終わる。

本実施例によれば、組合せ回路部分に対応する論理式の
値の評価は、その値を参照するレジスタに対するデータ
転送動作が実行される時に限られるため、無効となるイ
ベント評価を抑止することができる。

次に第７図、第８図を用いて、本発明の第２の実施例を
説明する。第２の実施例は、１つの論理式に含まれる複
数の演算子ごとにイベントフラグを設け、各演算子ごと
の入力値が変化するたびにその値を評価する実施例であ
る。

初めに第７図を用いて、本実施例に用いるデータ構造を
説明する。

第７図（ａ）に示す入力信号テーブル７１は、各入力信
号毎の情報を持ち、第１の実施例において第４図（ａ）
に示した入力信号テーブル４１と同一の構造である。第
７図（ｃ）に示す転送動作テーブル７３は、レジスタへ
の転送動作単位の情報を持ち、第１の実施例において第
４図（Ｃ）に示した転送動作テーブル４３と同一の構造
である。

第７図（ｂ）に示す演算子テーブル７５は、組合せ回路
部分の内容を表す論理式を構成する演算子毎の情報を持
つ。第７図（ｂ）は、第１の実施例において第４図（ｅ
）に示した演算子テーブル４５を拡張した構造である。

本実施例では、第１の実施例において第４図（ｄ）に示
した論理式テーブル４４に相当するテーブルは使用しな
い。人力信号テーブル７１の各レコードの第２フイール
ドは、当該入力信号値を参照する演算子を指示し。

演算子テーブル７５内のレコード番号を持つ。また転送
動作テーブル７３の各レコードの第２フイールドおよび
第３フイールドは、入力信号テーブル７１．第４図（ｂ
）に示したレジスタ・テーブル、あるいは演算子テーブ
ル７５内のレコード番号を持つ。

演算子テーブル７５の各レコードはそれぞれ５つのフィ
ールドからなる。第１のフィールドは当該演算子の入力
信号にイベントが発生したことを示す。すなわちイベン
トが未発生の場合にはＯを持ち、イベントが発生した場
合には０以外の値を持つ。第２のフィールドは、当該レ
コードに対応する演算子を含む論理式に対応して展開さ
れた一連のレコードの中の最後のレコードであることを
示す終了フラグである。すなわち最後のレコードでない
場合にはＯを持ち、最後のレコードである場合には０以
外の値を持つ。第３のフィールドから第５のフィールド
は、第１の実施例において第４図（ｅ）に示した演算子
テーブル４５の第１フイールドから第３フイールドまで
と同一である。

すなわち第３のフィールドはシミュレーション実行中の
当該演算子の出力値を持つ。第４のフィールドは当該演
算子の種類を持つ。第５のフィールドは当該演算子の入
力信号値の格納先を指示し、入力信号テーブル７１、第
４図（ｂ）に示したレジスタ・テーブル５あるいは演算
子テーブル７５内のレコード番号を持つ。演算子テーブ
ル７５内で１つの論理式に対応する複数のレコードは、
第１の実施例と同様、演算の優先順位にしたがって順序
付けられる。

本実施例では５以上説明した入力信号テーブル７１、転
送動作テーブル７３．演算子テーブル７５のほかに、レ
ジスタ・テーブル、実行リストを用いるが、その構造は
第１の実施例において第４図に示したものと同一である
。

以上で本実施例のデータ構造の説明を終わる。

本実施例の処理の概要は、第１の実施例において第５図
に示したものと同一である。本実施例では論理式の値の
評価の処理が第６図に示した第１の実施例と異なるので
、次にその処理を第８図を用いて説明する。

第７図の転送動作テーブル７３の処理中のレコード、例
えばレコード７３１の第２フィールド７３１−２、ある
いは第３フィールド７３１−３の内容が演算子テーブル
７５をさす場合、指示されたレコード、例えばレコード
７５２から論理式評価処理を行う。

第８図の処理８０１から処理８０３までは、演算子テー
ブル７５内の、第１フイールドの内容が０でないレコー
ドが出現するまで、レコードの読み飛ばしを行う。処理
８０１では、演算子テーブル７５内の処理中のレコード
、例えばレコード７５２の第１フィールド７５２−１を
参照し、その内容がＯである場合には、対応する演算子
の入力信号値が変化していないので処理８０２へ進み、
そうでない場合には処理８０４へ進む。処理８０２では
、第２のフィールド７５２−２を参照し、その内容がＯ
である場合には処理８０３へ進み、そうでない場合には
、当該レコードは対応する論理式を構成する最終レコー
ドであるので処理８０８へ進む。処理８０３では、演算
子テーブル７５内の次のレコードへ処理を進める。

処理８０４以降は、実際に値を評価する処理である。処
理８０４では、処理中のレコード、例えばレコード７５
２の第１フィールド７５２−１の内容すなわち、イベン
トフラグをＯとする。処理８０５では、第５フィールド
７５２−５を参照し、その内容が指示する入力信号テー
ブル７１、レジスタ・テーブル、あるいは演算子テーブ
ル７５内のレコードから信号値を取り出す。さらに処理
８０５では、第４フィールド７５２−４を参照し、その
内容にしたがった演算を、先に取り出した信号値に対し
て行う。演算した結果は同しレコードの第３フィールド
７５２−３に格納する。処理８０６では、処理８０２と
同様に処理中のレコード、例えばレコード７５２の第２
フィールド７５２−２を参照し、その内容がＯである場
合には処理８０７に進み、そうでない場合には処理８０
８に進む。処理８０８では、演算子テーブル７５内の次
のレコードへ、処理を進める。処理８０８では、処理中
のレコード、例えばレコード７５５の第３フィールド７
５５−３の内容を取り出し、これを論理式の値の評価結
果として返す。

以上で第２の実施例の論理式評価処理の説明を終わる。

以上で第２の実施例の説明を終わる。

本実施例によれば、第１の実施例と同様、組合せ回路部
分に対応する論理式の値の評価は、その値を参照するレ
ジスタに対する転送動作が実行される時に限られるため
、無効となるイベント評価を抑止することができる。し
かも論理式の値の評価は、その論理式を構成する各演算
子毎に、その入力値が変化したもの、もしくは先行する
演算子が評価されたものに限って実施するため、第１の
実施例以上に演算子の値の評価回数を削減することが可
能である。

次に第９図、第１０図を用いて、本発明の第３の実施例
を説明する。第３の実施例は第２の実施例に示した入力
値の変化に加え、出力値が変化したものに限って各演算
子毎の評価を行なう例である。すなわち、１つの論理式
の評価に関連する演算子の評価も行なう実施例である。

初めに第９図を用いて、本実施例に用いるデータ構造を
説明する。

演算子テーブル９５は、第２の実施例における演算子テ
ーブル７５を拡張したものである。ある論理式を展開す
る際のレコードの順序付けも、先の実施例と同様である
。演算子テーブル９Ｓの各レコードは、それぞれ６つの
フィールドからなる。

第１のフィールドから第５のフィールドまでは。

第２の実施例の第７図に示した演算子テーブル７５の各
レコードの第１フイールドから第５フイールドまでと同
一である。第６のフィールドは、ある論理式を展開した
結果である一連のレコードの中で、当該演算子の出力値
を参照するレコードのレコード番号を持つ。

本実施例で用いる演算子テーブル９５以外のデータ構造
は、第２の実施例において説明したものと同一である。

以上で、本実施例に用いるデータ構造の説明を終わる。

本実施例の処理の概要は、先の実施例で第５図に示した
ものと同一である。

本実施例では、論理式の値の評価の処理が、第１および
第２の実施例と異なるので、次にその処理を第１０図を
用いて説明する。

処理１０１では、演算子テーブル９５内の処理中のレコ
ード、例えばレコード９５２の第１フィルト９５２−１
を参照し、その内容すなわち、イベントフラグがＯであ
る場合には、対応する演算子の入力信号値が変化してい
ないので処理１０６へ進み、そうでない場合には処理１
０２へ進む。

処理１０２では、第１フィールド９５２−１の内容をＯ
とする。処理１０３は、先の第２の実施例における第８
図の処理８０５と同様である。評価結果は処理中のレコ
ード、例えばレコード９５２の第３フィールド９５２−
３に格納するが、後続する処理１０４のために、フィー
ルド９５２−３の内容が変化したかどうかを調べる。処
３１１０４では、先行する処理１０３によってフィール
ド９５２−３の内容が変化した場合には処理１０５に進
み、変化していない場合には処理１０６に進む。処理１
０５では、論理式内でのイベント伝播のために第６フイ
ールド９５２−６の内容を参照し、その内容が指示する
レコード、例えばレコード９５４の第１フィールド９５
４−１の内容すなわち、イベントフラグを１とする。処
理１０６では処理中のレコード、例えばレコード９５２
の第２フィールド９５２−２を参照し、その内容がＯで
ある場合には処理１０７へ進み、そうでない場合には処
理１０８へ進む。処理１０７では、演算子テーブル９５
内の次のレコードへ処理を進める。

処理１０８では処理中のレコード、例えばレコード９５
５の第３フィールド９５５−３の内容を取り出し、論理
式の値の評価結果として返す。

以上で第３の実施例の論理式評価処理の説明を終わる。

以上で第３の実施例の説明を終わる。

第１３図は１本発明を実施した時の各信号の変化を示す
タイミングチャートである。

入力信号（Ｄ）の変化だけでなく、レジスタＲの書き込
み要求信号であるクロック信号（ＫＯ）の変化も検出し
、それにもとづいて、論理シミュレーションを行なって
、出力信号Ｘを出力しでいる。その結果、第１２図に示
した、無効となる評価をなくすことができる。

本実施例によれば、第１．第２の実施例と同様、組合せ
回路部分に対応する論理式の値の評価は、その値を参照
するレジスタに対する転送動作が実行される時に限られ
るため、無効となる評価を抑止することができる。しか
も論理式の値の評価は、その論理式を構成する各演算子
毎に、その入力値および出力値が変化したものに限って
実施するため、演算子の評価回数を、第１．第２の実施
例以上に削減することが可能である。

〔発明の効果〕

本発明によれば、ある素子、あるいは部分回路に発生し
たイベントはただちに評価されずに、他の部分回路に含
まれる素子が、当該素子、あるいは部分回路の出力値を
必要とする場合に、それ以前に発生したイベントを評価
することにより、無駄な出力値算出処理を抑止すること
が可能となる。

したがってセレクティブ・トレース方式において、シミ
ュレーション対象回路を構成する各素子の出力値算出が
イベントにのみ起因しており、他の部分回路に含まれて
いる素子が、新たに算出した出力値を参照するか否かは
まったく関知しておらず、出力値算出が無駄になる場合
があるという問題点を解決し、高速な論理シミュレーシ
ョン方法を提供することができる。また第１の実施例に
よれば論理式の値の評価の際は、その論理式を構成する
すべての演算子を評価するものの、イベント・フラグの
参照は論理式に対して１回で済み、演算子毎のイベント
発生率が比較的高い場合に他の２つの実施例よりシミュ
レーション処理を高速化することが可能である。さらに
第１の実施例では、演算子に対応するテーブル、すなわ
ち演算子テーブルのレコード長が短いので、他の２つの
実施例に比べ、必要メモリ量を削減することができる。

また第２の実施例によれば論理式の値の評価はその論理
式を構成する各演算子毎に、その入力値が変化したもの
、もしくは先行する演算子が評価されたものに限って実
施されるため、第１の実施例以上に演算子の値の評価回
数を削減することが可能である。また第３の実施例によ
れば各演算子の信号値算出後、ファンアウト側のイベン
ト・フラグをセントする処理が必要となるものの、論理
式の値の評価はその論理式を構成する各演算子毎しこ、
その入力値が変化したものに限って実施されるため、第
１．第２の実施例以上に演算子の値の評価回数を削減す
ることが可能であり、演算子毎のイベント発生率が低い
場合に、第１．第２の実施例よりシミュレーション処理
を高速化することが可能である。

【図面の簡単な説明】

第１図、第２図は本発明の実施例の概要を示す図、第３
図はシミュレーション・モデルの記述方法を示す図、第
４図は第１の実施例のデータ構造を示す図、第５図は実
施例の処理を示す図、第６図は第１の実施例の論理式評
価処理を示す図、第７図は第２の実施例のデータ構造を
示す図、第８図は第２の実施例の論理式評価処理を示す
図、第９図は第３の実施例のデータ構造を示す図、第１
０図は第３の実施例の論理式評価処理を示す図、第１１
図、第１２図は本発明が解決しようとする問題点を説明
するための図、第１３図は本発明を実施した時のタイミ
ングチャートである。 ４１　・第１の実施例における入力信号テーブル、４２
・・レジスタ・テーブル、４３・第１の実施例における
転送動作テーブル、４４・・論理式テーブル、４５−第
１の実施例における演算子テーブル、４６・−実行リス
ト、７１・・第２、第３の実施例における入力信号テー
ブル、７３・・−第２、第３の実施例における転送動作
テーブル、７５−・第２の実施例における演算子テーブ
ル、９５　第３の実施第１図 クロック信号ＫＯ 第２図 （ａ）イベント保留処理 第３図 １ｎｐｕｔ：　ＫＯ，ＣＴＬ、　Ａ、　Ｂ、　Ｃ，Ｄ、
　Ｅ、　Ｆｒｅｇｉｓｔｅｒ日 ｉｔ　ＣＴＬ　ａ＋　ＫＯ ｊｈｅｎＲ−（（ＡｊＢ）＆Ｃ＆（Ｄ＝Ｅ））第４図 第４図 第５図 第８図 第７図 第９図 第１０図 第１ １図 第１２図

Claims (1)

1. 【特許請求の範囲】 １、論理装置の動作を模擬する論理シミュレーション方
   法において、シミュレーション対象回路内の部分回路毎
   に入力信号値の変化、すなわちイベントを保持し、前記
   部分回路の出力信号値を他の部分回路が参照するタイミ
   ング、すなわち要求を検出し、前記要求を検出した時、
   前記イベント保持されている場合に、前記部分回路の出
   力信号値を算出することを特徴とする、論理シミュレー
   ション方法。 ２、前記部分回路は組合せ回路であって、前記他の部分
   回路はデータの記憶制御を行なうことを特徴とする、特
   許請求の範囲第１項の論理シミュレーション方法。 ３、論理装置の動作を模擬する論理シミュレーション方
   法において、シミュレーション対象回路内の素子毎に入
   力信号値の変化、すなわちイベントを保持し、複数の前
   記素子からなる部分回路の出力信号値を他の部分回路が
   参照するタイミング、すなわち要求を検出し、前記要求
   を検出した時、前記部分回路を構成する前記素子につい
   て前記イベントを保持している場合に、出力信号値を算
   出することを特徴とする、論理シミュレーション方法。 ４、前記素子は論理ゲートであって、前記部分回路は組
   合せ回路であって、前記他の部分回路はデータの記憶素
   子であることを特徴とする、特許請求の範囲第３項の論
   理シミュレーション方法。 ５、論理装置の動作を模擬する論理シミュレーション方
   法において、シミュレーション対象回路内の論理式毎に
   入力信号値の変化、すなわち、イベントを保持すること
   を特徴とする特許請求の範囲第１項記載の論理シミュレ
   ーション方法。