JP2731572B2 - 論理シミュレーション方式 - Google Patents

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は論理シミュレーション方式に関し、特に論理
シミュレーションのモデルの動作を与えられた外部入力
信号系列に対して試行する論理シミュレーション方式に
関する。

〔従来の技術〕

従来、この種の論理シミュレーション方式では、論理
素子のタイムチャート表示の指定を行った場合、タイム
チャート表示を指定された論理素子のタイムチャートが
表示されるだけであった。

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

上述した従来の論理シミュレーション方式では、論理
素子のタイムチャート表示の指定を行った場合にタイム
チャート表示を指定された論理素子のタイムチャートが
表示されるだけであったので、タイムチャート表示を指
定された論理素子のシミュレーション結果に異常が存在
したときには当該論理素子に影響する論理素子の出力信
号を確認することができないという欠点がある。

また、このため、当該論理素子に影響を与えるすべて
の論理素子にタイムチャート表示の指定を行って再シミ
ュレーションを実行しなければならないので、時間の無
駄が生じるという欠点がある。

本発明の目的は、上述の点に鑑み、タイムチャート表
示を指定された論理素子のシミュレーション結果に異常
が存在した場合でもタイムチャート指定を追加した再シ
ミュレーションを行うことなしに効率的にシミュレーシ
ョン結果の解析が行える論理シミュレーション方式を提
供することにある。

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

本発明の論理シミュレーション方式は、論理シミュレ
ーションのモデル上で論理素子のタイムチャート表示を
指定する論理素子指定手段と、この論理素子指定手段に
より指定された論理素子からファンイントレースを行う
ファンイントレース手段と、前記モデルに対して論理シ
ミュレーションを実行するシミュレーション手段と、こ
のシミュレーション手段によるシミュレーション結果に
基づいて前記論理素子指定手段により指定された論理素
子のタイムチャートを表示するタイムチャート表示手段
と、前記シミュレーション手段によるシミュレーション
結果に基づいて前記フォンイントレース手段により得ら
れた論理素子のタイムチャートをファイルに出力するフ
ァイル出力手段と、このファイル出力手段によりファイ
ルに出力された前記ファンイントレース手段により得ら
れた論理素子のタイムチャートを表示するファイル表示
手段とを有する。

〔作用〕

本発明の論理シミュレーション方式では、論理素子指
定手段が論理シミュレーションのモデル上で論理素子の
タイムチャート表示を指定し、ファンイントレース手段
が論理素子指定手段により指定された論理素子からファ
ンイントレースを行い、シミュレーション手段がモデル
に対して論理シミュレーションを実行し、タイムチャー
ト表示手段がシミュレーション手段によるシミュレーシ
ョン結果に基づいて論理素子指定手段により指定された
論理素子のタイムチャートを表示し、ファイル出力手段
がシミュレーション手段によるシミュレーション結果に
基づいてファンイントレース手段により得られた論理素
子のタイムチャートをファイルに出力し、ファイル表示
手段がファイル出力手段によりファイルに出力されたフ
ァンイントレース手段により得られた論理素子のタイム
チャートを表示する。

〔実施例〕

次に、本発明について図面を参照して詳細に説明す
る。

第１図は、本発明の論理シミュレーション方式の一実
施例の構成を示すブロック図である。本実施例の論理シ
ミュレーション方式は、タイムチャート指定記述10を入
力して論理素子の出力信号のタイムチャート表示を指定
する論理素子指定手段１と、論理素子指定手段１により
指定された論理素子からのファンイントレースを行い当
該論理素子に影響するすべての論理素子を求めるファン
イントレース手段２と、モデルに対して論理シミュレー
ションを実行するシミュレーション手段３と、論理素子
指定手段１により指定された論理素子のタイムチャート
を表示装置11に表示するタイムチャート表示手段４と、
ファンイントレース手段２により求められたすべての論
理素子の出力信号のタイムチャートをファイルに出力し
て保存するファイル出力手段５と、論理シミュレーショ
ンの終了を判定するシミュレーション終了判定手段６
と、シミュレーション結果が異常であるか否かを判定す
るシミュレーション結果異常判定手段７と、シミュレー
ション結果異常判定手段７によりシミュレーション結果
が異常であると判定されたときにファイル12に保存され
ているタイムチャートを表示装置11に表示するァイル表
示手段８とから、その主要部が構成されている。

次に、このように構成された本実施例の論理シミュレ
ーション方式の動作について説明する。

まず、論理素子指定手段１は、タイムチャート指定記
述10を入力して、タイムチャート表示を行う論理素子を
指定する。

次に、ファンイントレース手段２は、論理素子指定手
段１により指定された論理素子についてファンイントレ
ースを行い、当該論理素子に影響するすべての論理素子
を求める。

続いて、シミュレーション手段３は、モデルに対して
１クロックないしは数クロックの論理シミュレーション
を実行する。

シミュレーション手段３によるシミュレーションの実
行後、タイムチャート表示手段４は、シミュレーション
結果に基づいて論理素子指定手段１により指定された論
理素子の出力信号のタイムチャートを表示装置11に表示
する。

次に、ファイル出力手段５は、同じくシミュレーショ
ン結果に基づいてファンイントレース手段２により求め
られたすべての論理素子の出力信号のタイムチャートを
ファイル12に出力して保存する。

続いて、シミュレーション終了判定手段６は、あらか
じめ指定されたクロック数だけ論理シミュレーションが
行われたか否かを判定することにより、論理シミュレー
ションの終了か否かを判定する。論理シミュレーション
の終了でない場合には、シミュレーション終了判定手段
６は、シミュレーション手段３に制御を戻して論理シミ
ュレーションを繰り返させる。論理シミュレーションが
終了すると、シミュレーション終了判定手段６は、シミ
ュレーション結果異常判定手段に制御を渡す。

シミュレーション終了判定手段６から制御を渡された
シミュレーション結果異常判定手段７は、シミュレーシ
ョン結果として得られた論理素子のタイムチャートがあ
らかじめ期待されていたタイムチャートと一致するか否
かを自動的にまたはコンソール（図示せず）からの指示
に基づいて判定し、一致する場合には自動的にまたはコ
ンソールからの指示に基づいて論理シミュレーションの
処理を終了する。また、シミュレーション結果として得
られた論理素子のタイムチャートがあらかじめ期待され
ていたタイムチャートと異なる（異常が存在する）場合
には、シミュレーション結果異常判定手段７は、自動的
にまたはコンソールからの指示に応じてファイル表示手
段８に制御を渡す。

シミュレーション結果異常判定手段７から制御を渡さ
れたファイル表示手段８は、ファイル12に保存されてい
るファンイントレース手段２により得られた論理素子の
タイムチャートを表示装置11に表示する。

いま、例えば第２図に示すような論理シミュレーショ
ンのモデルを考え、論理素子Ａについてのタイムチャー
ト指定記述10が入力されたとする。この場合には、論理
素子指定手段１により論理素子Ａにタイムチャート表示
の指定が行われ、ファンイントレース手段２により論理
素子Ａに影響する論理素子B,C,DおよびＥが求められ
る。次に、シミュレーション手段３により論理シミュレ
ーションが行われ、タイムチャート表示手段４により論
理素子Ａの出力信号のタイムチャートが表示装置11に表
示され、ファイル出力手段５により論理素子B,C,Dおよ
びＥの出力信号のタイムチャートがファイル12に出力さ
れて保持される。

シミュレーション終了判定手段６によりシミュレーシ
ョンの終了が判定されると、シミュレーション結果異常
判定手段７により論理素子Ａの出力信号のタイムチャー
トの異常が存在するか否かが判定される。シミュレーシ
ョン結果異常判定手段７により論理素子Ａの出力信号の
タイムチャートに異常が存在すると判定された場合に
は、ファイル表示手段８によりファイル12に保持されて
いる論理素子B,C,DおよびＥの出力信号のタイムチャー
トが表示装置11に表示される。

この結果、利用者は論理素子Ａばかりでなく論理素子
B,C,DおよびＥについても、タイムチャートの解析を行
うことができる。

なお、上記実施例では、タイムチャート指定記述10に
より指定された論理素子の出力信号のタイムチャートを
表示する場合を例にとって説明したが、ある論理素子の
出力信号は他の論理素子の入力信号であるので、論理素
子の入力信号のタイムチャートを表示する場合でも同様
であることはいうまでもない。

〔発明の効果〕

以上説明したように本発明は、論理素子指定手段によ
り指定された論理素子からファンイントレースを行うフ
ァンイントレース手段と、シミュレーション手段による
シミュレーション結果に基づいてファンイントレース手
段により得られた論理素子のタイムチャートをファイル
に出力するファイル出力手段と、ファイル出力手段によ
りファイルに出力されたファンイントレース手段により
得られた論理素子のタイムチャートを表示するファイル
表示手段とを設けたことにより、タイムチャート表示を
指定した論理素子のシミュレーション結果に以上が存在
した場合でも当該論理素子に対して影響するすべての論
理素子の出力信号を論理シミュレーション後に確認する
ことが可能となり、タイムチャート指定を追加した再シ
ミュレーションを行うことなしに短時間で効率的にシミ
ュレーション結果の解析を行うことができる効果があ
る。

【図面の簡単な説明】

第１図は本発明の論理シミュレーション方式の一実施例
の構成を示すブロック図、 第２図は論理シミュレーションのモデルの一例を示す図
である。 図において、 １……論理素子指定手段、 ２……ファンイントレース手段、 ３……シミュレーション手段、 ４……タイムチャート表示手段、 ５……ファイル出力手段、 ６……シミュレーション終了判定手段、 ７……シミュレーション結果異常判定手段、 ８……ファイル表示手段、 10……タイムチャート指定記述、 11……表示装置、 12……ファイルである。

Claims (1)

(57)【特許請求の範囲】
1. 【請求項１】論理シミュレーションのモデル上で論理素
   子のタイムチャート表示を指定する論理素子指定手段
   と、 この論理素子指定手段により指定された論理素子からフ
   ァンイントレースを行うファンイントレース手段と、 前記モデルに対して論理シミュレーションを実行するシ
   ミュレーション手段と、 このシミュレーション手段によるシミュレーション結果
   に基づいて前記論理素子指定手段により指定された論理
   素子のタイムチャートを表示するタイムチャート表示手
   段と、 前記シミュレーション手段によるシミュレーション結果
   に基づいて前記ファンイントレース手段により得られた
   論理素子のタイムチャートをファイルに出力するファイ
   ル出力手段と、 このファイル出力手段によりファイルに出力された前記
   ファンイントレース手段により得られた論理素子のタイ
   ムチャートを表示するファイル表示手段と、 を有することを特徴とする論理シミュレーション方式。