JPH0546697A - 論理シミユレータ - Google Patents
論理シミユレータInfo
- Publication number
- JPH0546697A JPH0546697A JP3228609A JP22860991A JPH0546697A JP H0546697 A JPH0546697 A JP H0546697A JP 3228609 A JP3228609 A JP 3228609A JP 22860991 A JP22860991 A JP 22860991A JP H0546697 A JPH0546697 A JP H0546697A
- Authority
- JP
- Japan
- Prior art keywords
- event
- node
- state value
- flag
- simulation
- 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
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
(57)【要約】
【目的】 シミュレーションモデル中の部分回路のみの
シミュレーションを容易に実行できるようにする。 【構成】 イベントドリブン方式の論理シミュレータの
イベント格納手段１に操作者が直接指定したイベント
か、シミュレーション中に発生したイベントかを区別す
る属性を格納し、論理素子の接続および論理情報を格納
するノード情報格納手段２に、シミュレーション中に発
生したイベントを後段のノードに伝播するかどうかのフ
ラグを格納する。このフラグをＯＦＦに設定したノード
にイベントが発生した場合は、イベント伝播フラグ判定
手段７とイベント属性判定手段９により、イベント伝播
手段８が行うイベント伝播処理をスキップし、ユーザー
が直接指定したイベントのみにイベント伝播手段処理を
実行する。
シミュレーションを容易に実行できるようにする。 【構成】 イベントドリブン方式の論理シミュレータの
イベント格納手段１に操作者が直接指定したイベント
か、シミュレーション中に発生したイベントかを区別す
る属性を格納し、論理素子の接続および論理情報を格納
するノード情報格納手段２に、シミュレーション中に発
生したイベントを後段のノードに伝播するかどうかのフ
ラグを格納する。このフラグをＯＦＦに設定したノード
にイベントが発生した場合は、イベント伝播フラグ判定
手段７とイベント属性判定手段９により、イベント伝播
手段８が行うイベント伝播処理をスキップし、ユーザー
が直接指定したイベントのみにイベント伝播手段処理を
実行する。
Description
【０００１】
【産業上の利用分野】本発明は、論理シミュレータによ
る論理検証、特に、回路モデル中の部分回路のシミュレ
ーション方法に関する。
る論理検証、特に、回路モデル中の部分回路のシミュレ
ーション方法に関する。
【０００２】
【従来の技術】従来の論理シミュレータでは、論理回路
の内部素子に自由に状態値を設定することができないた
め、回路モデル中の部分回路のみをシミュレーションす
る場合、回路の入力端子から、シミュレーションの対象
となる部分回路の間にある論理を考慮した入力パタン
を、回路の入力端子に対して設定していた。
の内部素子に自由に状態値を設定することができないた
め、回路モデル中の部分回路のみをシミュレーションす
る場合、回路の入力端子から、シミュレーションの対象
となる部分回路の間にある論理を考慮した入力パタン
を、回路の入力端子に対して設定していた。
【０００３】
【発明が解決しようとする課題】上述した従来の論理シ
ミュレータでは、回路モデル中の部分回路のみをシミュ
レーションする場合、回路の入力端子から、シミュレー
ションの対象となる部分回路の間にある論理を考慮して
入力パタンを作成しなければならないため、部分回路の
シミュレーションの準備に非常に時間がかかり、また、
回路の入力端子から、シミュレーションの対象となる部
分回路の間にある論理により、部分回路に与えることが
できないパタンが存在するという課題がある。
ミュレータでは、回路モデル中の部分回路のみをシミュ
レーションする場合、回路の入力端子から、シミュレー
ションの対象となる部分回路の間にある論理を考慮して
入力パタンを作成しなければならないため、部分回路の
シミュレーションの準備に非常に時間がかかり、また、
回路の入力端子から、シミュレーションの対象となる部
分回路の間にある論理により、部分回路に与えることが
できないパタンが存在するという課題がある。
【０００４】本発明は上述の課題を解決するためになさ
れたものであり、シミュレーションの対象となる部分回
路の間にある論理を考慮せずに直接入力パタンを設定で
きる論理シミュレータを提供することを目的とする。
れたものであり、シミュレーションの対象となる部分回
路の間にある論理を考慮せずに直接入力パタンを設定で
きる論理シミュレータを提供することを目的とする。
【０００５】
【課題を解決するための手段】本発明の論理シミュレー
タは、論理回路中の状態値の変化をイベントとして扱
い、イベントが発生した回路素子であるノードのみの演
算を実行するイベントドリブン方式の論理シミュレータ
において、ノードの状態値が変化する時刻、状態値が変
化するノード、変化後の状態値及び、シミュレータの操
作者がノードに状態値を指定したことによるイベントか
シミュレーション中に回路前段のノードから発生したイ
ベントかを示すイベント属性をイベントとして格納する
イベント格納手段と、ノードの状態値、ノードの持つ論
理、ノードのファンイン元ノード、ノードのファンアウ
ト先ノード、ノードの持つ遅延時間及びシミュレーショ
ン中に発生したイベントをファンアウト先に伝播するか
どうかを示すイベント伝播フラグを格納するノード情報
格納手段と、シミュレータの操作者が論理回路内部のノ
ードに与えたイベントをイベント属性をユーザーイベン
トとして前記イベント格納手段に登録するユーザーイベ
ント登録手段と、ユーザーが指定したノードの前記ノー
ド情報格納手段に格納されたイベント伝播フラグをＯＮ
にするイベント伝播フラグ設定手段と、前記イベント格
納手段に登録されたイベントを発生時刻順に読み込むイ
ベント読み込み手段と、前記イベント読み込み手段が読
み込んだイベントの対象となるノードのノード情報を前
記ノード情報格納手段より読み込むノード情報読み込み
手段と、前記ノード情報読み込み手段が読み込んだノー
ド情報内のイベント伝播フラグを参照し、フラグの値が
ＯＮならば後記イベント伝播手段を起動しフラグの値が
ＯＦＦならば後記イベント属性判定手段を起動するイベ
ント伝播フラグ判定手段と、前記イベント読み込み手段
が読み込んだイベントの内容に従ってイベントの対象と
なるノードの前記ノード情報格納手段が格納する状態値
を更新しファンアウト先ノードの状態値の演算、及びフ
ァンアウト先ノードの状態値を更新するイベントの前期
イベント格納手段への登録を行うイベント伝播手段と、
前記イベント読み込み手段が読み込んだイベントのイベ
ント属性を参照し、ユーザーイベントの場合は前記イベ
ント伝播手段を起動しシミュレーションイベントの場合
は前記イベント読み込み手段を起動するイベント属性判
定手段とを有している。
タは、論理回路中の状態値の変化をイベントとして扱
い、イベントが発生した回路素子であるノードのみの演
算を実行するイベントドリブン方式の論理シミュレータ
において、ノードの状態値が変化する時刻、状態値が変
化するノード、変化後の状態値及び、シミュレータの操
作者がノードに状態値を指定したことによるイベントか
シミュレーション中に回路前段のノードから発生したイ
ベントかを示すイベント属性をイベントとして格納する
イベント格納手段と、ノードの状態値、ノードの持つ論
理、ノードのファンイン元ノード、ノードのファンアウ
ト先ノード、ノードの持つ遅延時間及びシミュレーショ
ン中に発生したイベントをファンアウト先に伝播するか
どうかを示すイベント伝播フラグを格納するノード情報
格納手段と、シミュレータの操作者が論理回路内部のノ
ードに与えたイベントをイベント属性をユーザーイベン
トとして前記イベント格納手段に登録するユーザーイベ
ント登録手段と、ユーザーが指定したノードの前記ノー
ド情報格納手段に格納されたイベント伝播フラグをＯＮ
にするイベント伝播フラグ設定手段と、前記イベント格
納手段に登録されたイベントを発生時刻順に読み込むイ
ベント読み込み手段と、前記イベント読み込み手段が読
み込んだイベントの対象となるノードのノード情報を前
記ノード情報格納手段より読み込むノード情報読み込み
手段と、前記ノード情報読み込み手段が読み込んだノー
ド情報内のイベント伝播フラグを参照し、フラグの値が
ＯＮならば後記イベント伝播手段を起動しフラグの値が
ＯＦＦならば後記イベント属性判定手段を起動するイベ
ント伝播フラグ判定手段と、前記イベント読み込み手段
が読み込んだイベントの内容に従ってイベントの対象と
なるノードの前記ノード情報格納手段が格納する状態値
を更新しファンアウト先ノードの状態値の演算、及びフ
ァンアウト先ノードの状態値を更新するイベントの前期
イベント格納手段への登録を行うイベント伝播手段と、
前記イベント読み込み手段が読み込んだイベントのイベ
ント属性を参照し、ユーザーイベントの場合は前記イベ
ント伝播手段を起動しシミュレーションイベントの場合
は前記イベント読み込み手段を起動するイベント属性判
定手段とを有している。
【０００６】
【作用】本発明の論理シミュレータにおける、イベント
属性判定手段はイベント格納手段に格納されているユー
ザーイベントかシミュレーション・イベントかを区別す
るイベント属性と、ノード情報格納手段に格納したシミ
ュレーション中に発生したイベントを後段のノードに伝
播するかどうかを示すイベント伝播フラグから、このイ
ベント伝播フラグをＯＦＦに設定したノードにイベント
が発生した場合は、イベント伝播フラグ判定手段の判定
に従いイベント伝播手段が行なう伝播処理を行わず、ユ
ーザーが指定するユーザーイベントのみにイベント伝播
処理を行なうので、シミュレーションモデルの内部のノ
ードに、前段の論理回路の動作を考慮せず直接入力パタ
ンを設定することが可能となり、部分回路のシミュレー
ションをモデル中の他の論理回路の動作を無視して自由
に行なうことができる。
属性判定手段はイベント格納手段に格納されているユー
ザーイベントかシミュレーション・イベントかを区別す
るイベント属性と、ノード情報格納手段に格納したシミ
ュレーション中に発生したイベントを後段のノードに伝
播するかどうかを示すイベント伝播フラグから、このイ
ベント伝播フラグをＯＦＦに設定したノードにイベント
が発生した場合は、イベント伝播フラグ判定手段の判定
に従いイベント伝播手段が行なう伝播処理を行わず、ユ
ーザーが指定するユーザーイベントのみにイベント伝播
処理を行なうので、シミュレーションモデルの内部のノ
ードに、前段の論理回路の動作を考慮せず直接入力パタ
ンを設定することが可能となり、部分回路のシミュレー
ションをモデル中の他の論理回路の動作を無視して自由
に行なうことができる。
【０００７】
【実施例】本発明の構成例について図面を参照して詳細
に説明する。
に説明する。
【０００８】図１は、本発明の一実施例である論理シミ
ュレータの構成図である。
ュレータの構成図である。
【０００９】図を参照すると、本発明の一実施例は、イ
ベント格納手段１、ノード情報格納手段２、ユーザーイ
ベント登録手段３、イベント伝播フラグ設定手段４、イ
ベント読み込み手段５、ノード情報読み込み手段６、イ
ベント伝播フラグ判定手段７、イベント伝播手段８、イ
ベント属性判定手段９から構成されている。
ベント格納手段１、ノード情報格納手段２、ユーザーイ
ベント登録手段３、イベント伝播フラグ設定手段４、イ
ベント読み込み手段５、ノード情報読み込み手段６、イ
ベント伝播フラグ判定手段７、イベント伝播手段８、イ
ベント属性判定手段９から構成されている。
【００１０】図２は本発明のイベント格納手段の構成図
である。
である。
【００１１】図を参照すると、イベント格納手段１は、
時刻格納部１１、ノード格納部１２、更新状態値格納部
１３、およびイベント属性格納部１４から構成されてい
る。
時刻格納部１１、ノード格納部１２、更新状態値格納部
１３、およびイベント属性格納部１４から構成されてい
る。
【００１２】図３は、本発明のノード情報格納手段の構
成図である。
成図である。
【００１３】図を参照すると、ノード情報格納手段２
は、状態値格納部２１、論理情報格納部２２、ファンイ
ン元ノード格納部２３、ファンアウト先ノード格納部２
４、遅延時間格納部２５、およびイベント伝播フラグ格
納部２６から構成されている。
は、状態値格納部２１、論理情報格納部２２、ファンイ
ン元ノード格納部２３、ファンアウト先ノード格納部２
４、遅延時間格納部２５、およびイベント伝播フラグ格
納部２６から構成されている。
【００１４】図４は、本発明のユーザーイベント登録手
段の構成図である。
段の構成図である。
【００１５】図を参照すると、ユーザーイベント登録手
段３は、時刻入力部３１、ノード入力部３２、状態値入
力部３３、およびユーザーイベント登録部３４から構成
されている。
段３は、時刻入力部３１、ノード入力部３２、状態値入
力部３３、およびユーザーイベント登録部３４から構成
されている。
【００１６】図５は、本発明のイベント伝播フラグ設定
手段の構成図である。
手段の構成図である。
【００１７】図を参照すると、イベント伝播フラグ設定
手段４は、ノード入力部４１、およびイベント伝播フラ
グ書き換え部４２から構成されている。
手段４は、ノード入力部４１、およびイベント伝播フラ
グ書き換え部４２から構成されている。
【００１８】図６は、本発明のイベント読み込み手段の
構成図である。
構成図である。
【００１９】図を参照すると、イベント読み込み手段５
は、ノード入力部５１、更新状態値入力部５２、イベン
ト属性入力部５３、読み出しイベント削除部５４、およ
びノード情報読み込み手段起動部５５から構成されてい
る。
は、ノード入力部５１、更新状態値入力部５２、イベン
ト属性入力部５３、読み出しイベント削除部５４、およ
びノード情報読み込み手段起動部５５から構成されてい
る。
【００２０】図７は、本発明のノード情報読み込み手段
の構成図である。
の構成図である。
【００２１】図を参照すると、ノード情報読み込み手段
６は、イベント伝播フラグ入力部６１、ファンアウト先
ノード入力部６２、およびイベント伝播フラグ判定手段
起動部６３から構成されている。
６は、イベント伝播フラグ入力部６１、ファンアウト先
ノード入力部６２、およびイベント伝播フラグ判定手段
起動部６３から構成されている。
【００２２】図８は、本発明のイベント伝播フラグ判定
手段の構成図である。
手段の構成図である。
【００２３】図を参照すると、イベント伝播フラグ判定
手段７は、イベント伝播フラグ判定部７１、イベント伝
播手段起動部７２、およびイベント属性判定手段起動部
７３から構成されている。
手段７は、イベント伝播フラグ判定部７１、イベント伝
播手段起動部７２、およびイベント属性判定手段起動部
７３から構成されている。
【００２４】図９は、本発明のイベント伝播手段の構成
図である。
図である。
【００２５】図を参照すると、イベント伝播手段８は、
状態値更新部８１、ファンアウト先ノード演算部８２、
およびシミュレーションイベント登録部８３から構成さ
れている。
状態値更新部８１、ファンアウト先ノード演算部８２、
およびシミュレーションイベント登録部８３から構成さ
れている。
【００２６】図１０は、本発明のイベント属性判定手段
の構成図である。
の構成図である。
【００２７】図を参照すると、イベント属性判定手段９
は、イベント属性判定部９１、イベント伝播手段起動部
９２、およびシミュレーション制御手段起動部９３から
構成されている。
は、イベント属性判定部９１、イベント伝播手段起動部
９２、およびシミュレーション制御手段起動部９３から
構成されている。
【００２８】図１１は、本発明のシミュレーションモデ
ルの一例を示す図である。
ルの一例を示す図である。
【００２９】図１１のシミュレーションモデルの一例
は、ノードＡ、ノードＢから構成されており、Ａはイベ
ント伝播フラグがＯＮ、Ｂはイベント伝播フラグがＯＦ
Ｆに設定され、Ｂの遅延時間は１であり、矢印は、イベ
ントの伝播方向を示している。
は、ノードＡ、ノードＢから構成されており、Ａはイベ
ント伝播フラグがＯＮ、Ｂはイベント伝播フラグがＯＦ
Ｆに設定され、Ｂの遅延時間は１であり、矢印は、イベ
ントの伝播方向を示している。
【００３０】図１２は、本発明のノードＢの状態値を示
す真理値表である。
す真理値表である。
【００３１】図１２は、図１１のノードＡの状態値を入
力とするノードＢの状態値を示す真理値表であり、ノー
ドＢはノードＡに対して反転論理を持っている。
力とするノードＢの状態値を示す真理値表であり、ノー
ドＢはノードＡに対して反転論理を持っている。
【００３２】図１３は、本発明のシミュレーションモデ
ルに発生するイベントの一例を示す図である。
ルに発生するイベントの一例を示す図である。
【００３３】図１３は、イベント格納手段１に格納され
た図１１のシミュレーションモデルに対するイベントの
一例であり、１３１、１３２はシミュレーションの演算
処理の結果発生したシミュレーションイベント、１３
３、１３４はユーザーが設定したユーザーイベントであ
る。
た図１１のシミュレーションモデルに対するイベントの
一例であり、１３１、１３２はシミュレーションの演算
処理の結果発生したシミュレーションイベント、１３
３、１３４はユーザーが設定したユーザーイベントであ
る。
【００３４】図１４は、本発明のノードＡおよびＢの状
態値の波形を示す図である。
態値の波形を示す図である。
【００３５】図１４は、図１３のイベントを、ノードＡ
の初期値を０、ノードＢの初期値を１として波形表示し
た図であり、ＡＳはノードＡのシミュレーション結果、
ＢＳはノードＢのイベント伝播フラグをＯＮにした場合
のシミュレーション結果、ＢＵはノードＢのイベント伝
播フラグをＯＦＦにした場合にノードＢに設定される波
形である。
の初期値を０、ノードＢの初期値を１として波形表示し
た図であり、ＡＳはノードＡのシミュレーション結果、
ＢＳはノードＢのイベント伝播フラグをＯＮにした場合
のシミュレーション結果、ＢＵはノードＢのイベント伝
播フラグをＯＦＦにした場合にノードＢに設定される波
形である。
【００３６】次に本発明の動作について、図面を参照し
て説明する。
て説明する。
【００３７】イベント格納手段１には、ユーザーが指定
した入力パタン及び、シミュレーション中の状態値の変
化が、時刻、ノード、更新状態値、イベント属性の４つ
の情報として、時刻格納部１１、ノード格納部１２、更
新状態値格納部１３、イベント属性格納部１４にそれぞ
れ格納される。
した入力パタン及び、シミュレーション中の状態値の変
化が、時刻、ノード、更新状態値、イベント属性の４つ
の情報として、時刻格納部１１、ノード格納部１２、更
新状態値格納部１３、イベント属性格納部１４にそれぞ
れ格納される。
【００３８】ノード情報格納手段２には、シミュレーシ
ョンモデル中のノードについて、論理ノードの持つ状態
値、ノードの持つ論理、ノードの入力信号を発生するフ
ァンイン元ノード、ノードの出力信号を入力するファン
アウト先ノード、ノードの持つ遅延時間、シミュレーシ
ョン中に発生したイベントを出力先のノードに伝播する
かどうかを示すイベント伝播フラグが、それぞれ状態値
格納部２１、論理情報格納部２２、ファンイン元ノード
格納部２３、ファンアウト先ノード格納部２４、遅延時
間格納部２５、イベント伝播フラグ格納部２６に格納さ
れる。
ョンモデル中のノードについて、論理ノードの持つ状態
値、ノードの持つ論理、ノードの入力信号を発生するフ
ァンイン元ノード、ノードの出力信号を入力するファン
アウト先ノード、ノードの持つ遅延時間、シミュレーシ
ョン中に発生したイベントを出力先のノードに伝播する
かどうかを示すイベント伝播フラグが、それぞれ状態値
格納部２１、論理情報格納部２２、ファンイン元ノード
格納部２３、ファンアウト先ノード格納部２４、遅延時
間格納部２５、イベント伝播フラグ格納部２６に格納さ
れる。
【００３９】ユーザーイベント登録手段３およびイベン
ト伝播フラグ設定手段４は、シミュレーション実行前
に、シミュレータ利用者により使用される。ユーザーイ
ベント登録手段３は、時刻入力部３１によりシミュレー
タ利用者が指定する状態値を設定する時刻を入力し、ノ
ード入力部３２により、状態値を設定するノードを入力
し、状態値入力部３３により、設定する状態値を入力
し、ユーザーイベント登録部３４により、入力した時
刻、ノード、状態値を、イベント格納手段１の、時刻格
納部１１、ノード格納部１２、更新状態値格納部１３に
それぞれ登録し、イベント格納手段１のイベント属性格
納部１４にユーザーイベントであることを登録する。
ト伝播フラグ設定手段４は、シミュレーション実行前
に、シミュレータ利用者により使用される。ユーザーイ
ベント登録手段３は、時刻入力部３１によりシミュレー
タ利用者が指定する状態値を設定する時刻を入力し、ノ
ード入力部３２により、状態値を設定するノードを入力
し、状態値入力部３３により、設定する状態値を入力
し、ユーザーイベント登録部３４により、入力した時
刻、ノード、状態値を、イベント格納手段１の、時刻格
納部１１、ノード格納部１２、更新状態値格納部１３に
それぞれ登録し、イベント格納手段１のイベント属性格
納部１４にユーザーイベントであることを登録する。
【００４０】イベント伝播フラグ設定手段４は、ノード
入力部４１によりシミュレータ利用者が指定する状態値
を設定するノードを入力し、イベント伝播フラグ書き換
え部４２によりノード情報格納手段２のイベント伝播フ
ラグ格納部２６にＯＦＦを書き込む。
入力部４１によりシミュレータ利用者が指定する状態値
を設定するノードを入力し、イベント伝播フラグ書き換
え部４２によりノード情報格納手段２のイベント伝播フ
ラグ格納部２６にＯＦＦを書き込む。
【００４１】シミュレーションを実行すると、イベント
読み込み手段５が起動される。
読み込み手段５が起動される。
【００４２】イベント読み込み手段５は、イベント格納
手段１に格納されたイベントの内、最も時刻の小さいイ
ベントについて、状態値を更新するノードをノード入力
部５１により入力し、状態値を更新状態値入力部５２に
より入力し、イベント属性をイベント属性入力部５３に
より入力し、読み出しイベント削除部５４により、読み
出したイベントをイベント格納手段１より削除し、ノー
ド情報読み込み手段起動部５５によりノード情報読み込
み手段６を起動する。
手段１に格納されたイベントの内、最も時刻の小さいイ
ベントについて、状態値を更新するノードをノード入力
部５１により入力し、状態値を更新状態値入力部５２に
より入力し、イベント属性をイベント属性入力部５３に
より入力し、読み出しイベント削除部５４により、読み
出したイベントをイベント格納手段１より削除し、ノー
ド情報読み込み手段起動部５５によりノード情報読み込
み手段６を起動する。
【００４３】ノード情報読み込み手段６は、イベント読
み込み手段５が入力したイベントの対象ノードについて
ノード情報格納手段２に格納されたノード情報から、イ
ベント伝播フラグ入力部６１によりイベント伝播フラグ
を入力し、ファンアウト先ノード入力部６２によりファ
ンアウト先ノードを入力し、イベント伝播フラグ判定手
段起動部によりイベント伝播フラグ判定手段７を起動す
る。
み込み手段５が入力したイベントの対象ノードについて
ノード情報格納手段２に格納されたノード情報から、イ
ベント伝播フラグ入力部６１によりイベント伝播フラグ
を入力し、ファンアウト先ノード入力部６２によりファ
ンアウト先ノードを入力し、イベント伝播フラグ判定手
段起動部によりイベント伝播フラグ判定手段７を起動す
る。
【００４４】イベント伝播フラグ判定手段７は、イベン
ト伝播フラグ判定部７１により、ノード情報読み込み手
段６が入力したイベント伝播フラグが、ＯＮかＯＦＦか
を判定し、ＯＮならばイベント伝播手段起動部７２によ
り、イベント伝播手段８を起動し、ＯＦＦならば、イベ
ント属性判定手段起動部７３によりイベント属性判定手
段９を起動する。
ト伝播フラグ判定部７１により、ノード情報読み込み手
段６が入力したイベント伝播フラグが、ＯＮかＯＦＦか
を判定し、ＯＮならばイベント伝播手段起動部７２によ
り、イベント伝播手段８を起動し、ＯＦＦならば、イベ
ント属性判定手段起動部７３によりイベント属性判定手
段９を起動する。
【００４５】イベント伝播手段８は、状態値更新部８１
により、イベントの対象ノードの状態値を更新し、ファ
ンアウト先ノード演算部８２によりイベントの対象ノー
ドのファンアウト先ノードの状態値を演算し、シミュレ
ーションイベント登録部８３によりファンアウト先ノー
ドに対するシミュレーションイベントを、イベント格納
手段１に登録する。
により、イベントの対象ノードの状態値を更新し、ファ
ンアウト先ノード演算部８２によりイベントの対象ノー
ドのファンアウト先ノードの状態値を演算し、シミュレ
ーションイベント登録部８３によりファンアウト先ノー
ドに対するシミュレーションイベントを、イベント格納
手段１に登録する。
【００４６】イベント属性判定手段９は、イベント属性
判定部９１により、イベント読み込み手段５が入力した
イベントのイベント属性がユーザーイベントか、シミュ
レーションイベントかを判定し、ユーザーイベントなら
ばイベント伝播手段起動部９２によりイベント伝播手段
８を起動し、シミュレーションイベントならば、シミュ
レーション制御手段起動部９３によりイベント読み込み
手段５を起動する。
判定部９１により、イベント読み込み手段５が入力した
イベントのイベント属性がユーザーイベントか、シミュ
レーションイベントかを判定し、ユーザーイベントなら
ばイベント伝播手段起動部９２によりイベント伝播手段
８を起動し、シミュレーションイベントならば、シミュ
レーション制御手段起動部９３によりイベント読み込み
手段５を起動する。
【００４７】以上述べた動作について、図１１に示すシ
ミュレーションモデルの一例、図１２に示す図１１のノ
ードＢの真理値表、図１３に示すノードＡ、ノードＢに
発生するイベントの一例、および図１４に示す、図１３
のイベントに基づいたノードＡ、ノードＢの状態値の波
形を用いて、具体的に示す。
ミュレーションモデルの一例、図１２に示す図１１のノ
ードＢの真理値表、図１３に示すノードＡ、ノードＢに
発生するイベントの一例、および図１４に示す、図１３
のイベントに基づいたノードＡ、ノードＢの状態値の波
形を用いて、具体的に示す。
【００４８】図１１において、ノードＡには状態値０、
ノードＢには状態値１、遅延時間１がノード情報格納手
段２に格納されており、イベント伝播フラグは全てのノ
ードについてＯＮになっているものとする。またイベン
ト格納手段１は、図１３の１３１のノードＡに対するシ
ミュレーションイベントが格納されているものとする。
ノードＢには状態値１、遅延時間１がノード情報格納手
段２に格納されており、イベント伝播フラグは全てのノ
ードについてＯＮになっているものとする。またイベン
ト格納手段１は、図１３の１３１のノードＡに対するシ
ミュレーションイベントが格納されているものとする。
【００４９】まずシミュレーション前にシミュレータの
操作者がユーザーイベント登録手段３を用いて、イベン
ト格納手段１に図１３の１３３および１３４のノードＢ
に対するユーザーイベントを登録し、イベント伝播フラ
グ設定手段４を用いて、ノード情報格納手段２に格納さ
れたノードＢのイベント伝播フラグを図１１に示すよう
にＯＦＦに設定する。
操作者がユーザーイベント登録手段３を用いて、イベン
ト格納手段１に図１３の１３３および１３４のノードＢ
に対するユーザーイベントを登録し、イベント伝播フラ
グ設定手段４を用いて、ノード情報格納手段２に格納さ
れたノードＢのイベント伝播フラグを図１１に示すよう
にＯＦＦに設定する。
【００５０】次にシミュレーションの実行に入ると、イ
ベント読み込み手段５はイベント１３１をイベント格納
手段１から入力し、ノード情報読み込み手段６はイベン
ト１３１の対象ノードＡのイベント伝播フラグ、ファン
アウト先ノードをノード情報格納手段２から入力する。
イベント伝播フラグ判定手段７はノードＡのイベント伝
播フラグを参照し、イベント伝播フラグがＯＮであるた
め、イベント伝播手段８を起動し、ノード情報格納手段
２に格納されたノードＡの状態値を、イベント１３１が
指定する１に書き換え、ノードＡは図１４のＡＳの波形
となる。イベント伝播手段８はさらにノードＡのファン
アウト先ノードであるＢの状態値を、ノードＡの状態値
１と、図１２に真理値表で示すノードＢの論理に基づい
て演算し、状態値０を求め、ノードＢに遅延時間１に基
づいて、時刻ｔ＋１のイベント１３２をイベント格納手
段１に登録する。イベント読み込み手段５が時刻ｔ＋１
のイベント１３２を読み出すと、ノード情報読み込み手
段６によりノードＢのノード情報が読み出され、イベン
ト伝播フラグ判定手段７は、ノードＢのイベント伝播フ
ラグがＯＦＦに設定されているため、イベント属性判定
手段９を起動する。イベント属性判定手段９は、イベン
ト１３２がシミュレーションイベントであるため、イベ
ント読み込み手段５を起動し、イベント伝播手段８の処
理を行わない。このためイベント１３２によるノードＢ
の状態値の更新および、そのファンアウト先ノードへの
状態値の伝播は実行されない。時刻ｔ＋２では、イベン
ト１３３について、イベント１３２と同様に、イベント
読み込み手段５からイベント属性判定手段９に至る処理
を実行するが、イベント１３３がユーザーイベントであ
るため、イベント属性判定手段９は、イベント伝播手段
８を起動してノードＢの状態値を０に書き換え、ノード
Ｂのファンアウト先ノードに対して状態値の伝播を実行
する。時刻ｔ＋３のイベント１３４についてもイベント
１３３と同様の処理が実行され、ノードＢの状態値は、
図１４のＢＵの波形となり、ノードＡから状態値を伝播
された場合の本来の波形ＢＳとはならない。従って、ノ
ードＢにはノードＡからの状態値の伝播は無視され、シ
ミュレータの操作者がシミュレーション前に予め指定し
た状態値の変化のみが設定される。
ベント読み込み手段５はイベント１３１をイベント格納
手段１から入力し、ノード情報読み込み手段６はイベン
ト１３１の対象ノードＡのイベント伝播フラグ、ファン
アウト先ノードをノード情報格納手段２から入力する。
イベント伝播フラグ判定手段７はノードＡのイベント伝
播フラグを参照し、イベント伝播フラグがＯＮであるた
め、イベント伝播手段８を起動し、ノード情報格納手段
２に格納されたノードＡの状態値を、イベント１３１が
指定する１に書き換え、ノードＡは図１４のＡＳの波形
となる。イベント伝播手段８はさらにノードＡのファン
アウト先ノードであるＢの状態値を、ノードＡの状態値
１と、図１２に真理値表で示すノードＢの論理に基づい
て演算し、状態値０を求め、ノードＢに遅延時間１に基
づいて、時刻ｔ＋１のイベント１３２をイベント格納手
段１に登録する。イベント読み込み手段５が時刻ｔ＋１
のイベント１３２を読み出すと、ノード情報読み込み手
段６によりノードＢのノード情報が読み出され、イベン
ト伝播フラグ判定手段７は、ノードＢのイベント伝播フ
ラグがＯＦＦに設定されているため、イベント属性判定
手段９を起動する。イベント属性判定手段９は、イベン
ト１３２がシミュレーションイベントであるため、イベ
ント読み込み手段５を起動し、イベント伝播手段８の処
理を行わない。このためイベント１３２によるノードＢ
の状態値の更新および、そのファンアウト先ノードへの
状態値の伝播は実行されない。時刻ｔ＋２では、イベン
ト１３３について、イベント１３２と同様に、イベント
読み込み手段５からイベント属性判定手段９に至る処理
を実行するが、イベント１３３がユーザーイベントであ
るため、イベント属性判定手段９は、イベント伝播手段
８を起動してノードＢの状態値を０に書き換え、ノード
Ｂのファンアウト先ノードに対して状態値の伝播を実行
する。時刻ｔ＋３のイベント１３４についてもイベント
１３３と同様の処理が実行され、ノードＢの状態値は、
図１４のＢＵの波形となり、ノードＡから状態値を伝播
された場合の本来の波形ＢＳとはならない。従って、ノ
ードＢにはノードＡからの状態値の伝播は無視され、シ
ミュレータの操作者がシミュレーション前に予め指定し
た状態値の変化のみが設定される。
【００５１】
【発明の効果】本発明は、シミュレーションモデルの内
部のノードに、そのノードの前段の論理回路の動作を無
視して、直接入力パタンを設定することにより、シミュ
レーションモデル中の部分回路のシミュレーションを、
モデル中の他の論理回路の動作を考慮せずに、自由に行
えるという効果がある。
部のノードに、そのノードの前段の論理回路の動作を無
視して、直接入力パタンを設定することにより、シミュ
レーションモデル中の部分回路のシミュレーションを、
モデル中の他の論理回路の動作を考慮せずに、自由に行
えるという効果がある。
【図１】本発明の一実施例である論理シミュレータの構
成図である。
成図である。
【図２】本発明のイベント格納手段の構成図である。
【図３】本発明のノード情報格納手段の構成図である。
【図４】本発明のユーザーイベント登録手段の構成図で
ある。
ある。
【図５】本発明のイベント伝播フラグ設定手段の構成図
である。
である。
【図６】本発明のイベント読み込み手段の構成図であ
る。
る。
【図７】本発明のノード情報読み込み手段の構成図であ
る。
る。
【図８】本発明のイベント伝播フラグ判定手段の構成図
である。
である。
【図９】本発明のイベント伝播手段の構成図である。
【図１０】本発明のイベント属性判定手段の構成図であ
る。
る。
【図１１】本発明のシミュレーションモデルの一例を示
す図である。
す図である。
【図１２】本発明のノードＢの状態値を示す真理値表で
ある。
ある。
【図１３】本発明のシミュレーションモデルに発生する
イベントの一例を示す図である。
イベントの一例を示す図である。
【図１４】本発明のノードＡおよびＢの状態値の波形を
示す図である。
示す図である。
１…イベント格納手段 ２…ノード情報格納手段 ３…ユーザーイベント登録手段 ４…イベント伝播フラグ設定手段 ５…イベント読み込み手段 ６…ノード情報読み込み手段 ７…イベント伝播フラグ判定手段 ８…イベント伝播手段 ９…イベント属性判定手段
Claims (1)
- 【請求項１】 論理回路中の状態値の変化をイベントと
して扱い、イベントが発生した回路素子であるノードの
みの演算を実行するイベントドリブン方式の論理シミュ
レータにおいて、ノードの状態値が変化する時刻、状態
値が変化するノード、変化後の状態値及び、シミュレー
タの操作者がノードに状態値を指定したことによるイベ
ントかシミュレーション中に回路前段のノードから発生
したイベントかを示すイベント属性をイベントとして格
納するイベント格納手段と、ノードの状態値、ノードの
持つ論理、ノードのファンイン元ノード、ノードのファ
ンアウト先ノード、ノードの持つ遅延時間及びシミュレ
ーション中に発生したイベントをファンアウト先に伝播
するかどうかを示すイベント伝播フラグを格納するノー
ド情報格納手段と、シミュレータの操作者が論理回路内
部のノードに与えたイベントをイベント属性をユーザー
イベントとして前記イベント格納手段に登録するユーザ
ーイベント登録手段と、ユーザーが指定したノードの前
記ノード情報格納手段に格納されたイベント伝播フラグ
をＯＮにするイベント伝播フラグ設定手段と、前記イベ
ント格納手段に登録されたイベントを発生時刻順に読み
込むイベント読み込み手段と、前記イベント読み込み手
段が読み込んだイベントの対象となるノードのノード情
報を前記ノード情報格納手段より読み込むノード情報読
み込み手段と、前記ノード情報読み込み手段が読み込ん
だノード情報内のイベント伝播フラグを参照し、フラグ
の値がＯＮならば後記イベント伝播手段を起動しフラグ
の値がＯＦＦならば後記イベント属性判定手段を起動す
るイベント伝播フラグ判定手段と、前記イベント読み込
み手段が読み込んだイベントの内容に従ってイベントの
対象となるノードの前記ノード情報格納手段が格納する
状態値を更新しファンアウト先ノードの状態値の演算及
びファンアウト先ノードの状態値を更新するイベントの
前期イベント格納手段への登録を行うイベント伝播手段
と、前記イベント読み込み手段が読み込んだイベントの
イベント属性を参照し、ユーザーイベントの場合は前記
イベント伝播手段を起動しシミュレーションイベントの
場合は前記イベント読み込み手段を起動するイベント属
性判定手段とを含むことを特徴とする論理シミュレー
タ。
Priority Applications (2)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3228609A JPH0546697A (ja) | 1991-08-14 | 1991-08-14 | 論理シミユレータ |
| US07/930,013 US5467462A (en) | 1991-08-14 | 1992-08-14 | Event driven logic simulator for partial simulation |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3228609A JPH0546697A (ja) | 1991-08-14 | 1991-08-14 | 論理シミユレータ |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH0546697A true JPH0546697A (ja) | 1993-02-26 |
Family
ID=16879034
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP3228609A Pending JPH0546697A (ja) | 1991-08-14 | 1991-08-14 | 論理シミユレータ |
Country Status (2)
| Country | Link |
|---|---|
| US (1) | US5467462A (ja) |
| JP (1) | JPH0546697A (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2007219996A (ja) * | 2006-02-20 | 2007-08-30 | Howa Mach Ltd | 工程シミュレータ |
Families Citing this family (28)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US5452231A (en) * | 1988-10-05 | 1995-09-19 | Quickturn Design Systems, Inc. | Hierarchically connected reconfigurable logic assembly |
| US5650947A (en) * | 1994-01-31 | 1997-07-22 | Fujitsu Limited | Logic simulation method and logic simulator |
| US5528516A (en) * | 1994-05-25 | 1996-06-18 | System Management Arts, Inc. | Apparatus and method for event correlation and problem reporting |
| US5649164A (en) * | 1994-12-30 | 1997-07-15 | International Business Machines Corporation | Sets and holds in virtual time logic simulation for parallel processors |
| US5650946A (en) * | 1995-01-06 | 1997-07-22 | Xilinx, Inc. | Logic simulator which can maintain, store and use historical event records |
| GB2301911B (en) * | 1995-06-08 | 2000-01-12 | Advanced Risc Mach Ltd | Simulation of digital circuits |
| US6049662A (en) * | 1997-01-27 | 2000-04-11 | International Business Machines Corporation | System and method for model size reduction of an integrated circuit utilizing net invariants |
| US5960188A (en) * | 1997-03-13 | 1999-09-28 | Delco Electronics Corporation | Method for modeling electrical interconnections in a cycle based simulator |
| US6421251B1 (en) | 1997-05-02 | 2002-07-16 | Axis Systems Inc | Array board interconnect system and method |
| US6134516A (en) | 1997-05-02 | 2000-10-17 | Axis Systems, Inc. | Simulation server system and method |
| US6389379B1 (en) | 1997-05-02 | 2002-05-14 | Axis Systems, Inc. | Converification system and method |
| US6321366B1 (en) | 1997-05-02 | 2001-11-20 | Axis Systems, Inc. | Timing-insensitive glitch-free logic system and method |
| US6026230A (en) | 1997-05-02 | 2000-02-15 | Axis Systems, Inc. | Memory simulation system and method |
| US6009256A (en) * | 1997-05-02 | 1999-12-28 | Axis Systems, Inc. | Simulation/emulation system and method |
| US6278963B1 (en) | 1997-07-01 | 2001-08-21 | Opnet Technologies, Inc. | System architecture for distribution of discrete-event simulations |
| US6006027A (en) * | 1997-08-20 | 1999-12-21 | Synopsys, Inc. | Method and apparatus for event simulation |
| US6553403B1 (en) | 1998-06-03 | 2003-04-22 | International Business Machines Corporation | System, method and computer program product for monitoring in a distributed computing environment |
| US6215325B1 (en) | 1999-03-29 | 2001-04-10 | Synopsys, Inc. | Implementing a priority function using ripple chain logic |
| US7143019B2 (en) * | 2001-10-30 | 2006-11-28 | International Business Machines Corporation | Maintaining data integrity within a distributed simulation environment |
| US7092868B2 (en) * | 2001-10-30 | 2006-08-15 | International Business Machines Corporation | Annealing harvest event testcase collection within a batch simulation farm |
| US7143018B2 (en) * | 2001-11-30 | 2006-11-28 | International Business Machines Corporation | Non-redundant collection of harvest events within a batch simulation farm network |
| US7027971B2 (en) * | 2001-11-30 | 2006-04-11 | International Business Machines Corporation | Centralized disablement of instrumentation events within a batch simulation farm network |
| US7359847B2 (en) * | 2001-11-30 | 2008-04-15 | International Business Machines Corporation | Tracking converage results in a batch simulation farm network |
| US7085703B2 (en) * | 2001-11-30 | 2006-08-01 | International Business Machines Corporation | Count data access in a distributed simulation environment |
| US7562320B2 (en) * | 2006-09-15 | 2009-07-14 | International Business Machines Corporation | Asic based conveyor belt style programmable cross-point switch hardware accelerated simulation engine |
| US8353640B2 (en) * | 2008-01-22 | 2013-01-15 | Brock Usa, Llc | Load supporting panel having impact absorbing structure |
| WO2008088919A2 (en) * | 2007-01-19 | 2008-07-24 | Brock International | Base for turf system |
| JP5991211B2 (ja) * | 2012-05-25 | 2016-09-14 | 富士通株式会社 | シミュレーション方法、およびシミュレーションプログラム |
Family Cites Families (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS63204441A (ja) * | 1987-02-20 | 1988-08-24 | Fujitsu Ltd | 論理シミユレ−シヨン専用プロセツサの処理方式 |
| JP2583949B2 (ja) * | 1988-03-10 | 1997-02-19 | 松下電器産業株式会社 | 論理シミュレーション方法と論理シミュレーション装置 |
| US4965743A (en) * | 1988-07-14 | 1990-10-23 | The United States Of America As Represented By The Administrator Of The National Aeronautics And Space Administration | Discrete event simulation tool for analysis of qualitative models of continuous processing system |
| US5068812A (en) * | 1989-07-18 | 1991-11-26 | Vlsi Technology, Inc. | Event-controlled LCC stimulation |
| JPH03118488A (ja) * | 1989-10-02 | 1991-05-21 | Hitachi Ltd | 故障シミュレーション方式 |
| US5327361A (en) * | 1990-03-30 | 1994-07-05 | International Business Machines Corporation | Events trace gatherer for a logic simulation machine |
| US5220512A (en) * | 1990-04-19 | 1993-06-15 | Lsi Logic Corporation | System for simultaneous, interactive presentation of electronic circuit diagrams and simulation data |
-
1991
- 1991-08-14 JP JP3228609A patent/JPH0546697A/ja active Pending
-
1992
- 1992-08-14 US US07/930,013 patent/US5467462A/en not_active Expired - Fee Related
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2007219996A (ja) * | 2006-02-20 | 2007-08-30 | Howa Mach Ltd | 工程シミュレータ |
Also Published As
| Publication number | Publication date |
|---|---|
| US5467462A (en) | 1995-11-14 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JPH0546697A (ja) | 論理シミユレータ | |
| JP3271522B2 (ja) | 論理設計検証のためのパラメータ入力方法 | |
| JP3144950B2 (ja) | 論理シミュレーション方式 | |
| US6041168A (en) | High-speed delay verification apparatus and method therefor | |
| JPH10261002A (ja) | 設計支援方法および設計支援装置 | |
| JPH05108753A (ja) | 論理シミユレーシヨン方式 | |
| JPH0322038A (ja) | タイミング・ベリフィケーション処理方式 | |
| JP2606658B2 (ja) | 論理シミュレータおよび制御方法 | |
| JPH06274564A (ja) | 論理シミュレーション方法 | |
| JPH05189513A (ja) | ディレイ考慮論理シミュレーション方法 | |
| JPH0785120A (ja) | 論理回路シミュレーション方法 | |
| JP3670681B2 (ja) | 論理シミュレーション方法 | |
| JPH08166980A (ja) | 論理回路シミュレーション方法 | |
| JPH03134774A (ja) | 論理シミユレーシヨン方法 | |
| JPH05216952A (ja) | 論理シミュレーション方法 | |
| JPH01236352A (ja) | 論理シミュレーション結果出力方式 | |
| JPH07141407A (ja) | 論理シミュレータ及び論理シミュレーション方法 | |
| JPH07129636A (ja) | 論理シミュレーション方法 | |
| JPH06259495A (ja) | 論理シミュレーション方式 | |
| JPH04130957A (ja) | ペトリネットグラフに基づくシミュレーション方法 | |
| JP2000242524A (ja) | プロセッサのソフトウエアシミュレータ | |
| JPH04564A (ja) | 論理シミュレーション方式 | |
| JPH07287723A (ja) | 指定パス活性化検出方法 | |
| JPH05128191A (ja) | 論理シミユレーシヨン方式 | |
| JPH02204842A (ja) | 故障シミュレーション方法 |