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

Abstract

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

Description

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

【従来の技術〕

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

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

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

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

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

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

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

〔作用〕

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

〔実施例〕

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

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

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

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

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

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

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

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

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

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

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

いま、例えば第２図に示すような論理シミュレーシヨン
のモデルを考え、２Ｈｖｇ子Ａについてのタイムチャー
ト指定記述、ａが入力されたとする。

この場合には、論理素子指定手段段１により論理素子Ａ
にタイムチャート表、′−の指定が行われ、ファンイン
トレース手段２により論理素子へに影響する論理素子Ｂ
、Ｃ，ＤおよびＥが求められる０次に、シミニレ−シラ
ン手段３により論理シミュレーションが行われ、タイム
チャート表示手段４により論理素子Ａの出力信号のタイ
ムチャートが表示装置ｌｌに表示され、ファイル出力手
段５により論理素子Ｂ、Ｃ，ＤおよびＥの出力信号のタ
イムチャートがファイル１２に出力されて保持される。

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

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

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

〔発明の効果〕

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

【図面の簡単な説明】

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

Claims (1)

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