JPH01140246A - 論理シミュレータ - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は論理シミュレータに関する。

（従来の技術〕 従来の論理シミュレータでは、 ・ある信号が指定状態値になった時に停止する。

・シミュレータ起動時に、クロック数またはパターン数
を指定し、指定数のシミュレーションを行なった後に停
止する。

ようになっていた（特願昭６１−１８５９３１．情報処
理１９８４年１０月号ＰＩθ４８〜Ｐ１０５５シミュレ
ーダー般）。

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

上述した従来の論理シミュレータでは、シミュレーショ
ン時に動的に停止指定ができず、また、複数の異なる時
刻の停止指定を一度にできないため、たとえば、シミュ
レーションの制御として、ある事象が生じた場合に前処
理（被検証論理回路からＩ１０装置への割込み処理等）
を行ない、ある時刻後に後処理（Ｉ１０装置からリード
した内容を被検証論理回路のメモリへの書き込み等）を
行なうような処理が必要な場合、前記事象が不定期に生
じると、後処理を行なうために必要なシミュレーション
の停止を指定できないという欠点がある。

Ｃ問題点を解決するための手段〕 本発明の論理シミュレータは、１クロツク毎に一定数減
算または加算するカウンタと、該カウンタの保持する値
が所定の値か否かを判断する比較器とを、あるシミュレ
ーション条件が成立してシミュレーションが停止したと
きにシミュレーションモデル上に作り出す手段と、前記
カウンタに初期値を設定するとともに、シミュレーショ
ン再開指令が発せられると、前記カウンタを動作させる
手段と、前記比較器によって前記カウンタの保持゛する
値が前記所定の値であると判断された場合にシミュレー
ションを停止させる手段とを有している。

〔作　用〕

したがって、シミュレーション時に停止時刻を動的に指
定できる。

〔実施例〕

次に、本発明の実施例について図面を参照して説明する
。

第１図は本発明の論理シミュレータの一実施例のブロッ
ク図である。

デクリメンタ・比較器作成部１は、シミュレーションモ
デル７１をシミュレーションモデル７２へ変更する。シ
ミュレーションモデル７１およびシミュレーションモデ
ル７２は、デクリメンタ２と比較器３とを含んでいる。

シミュレーションモデル７１上では比較器３は不一致を
示している。シミュレーション部６はシミュレーション
制御部５によって動作手順が制御される。ロード部４は
、クロック数をデクリメンタ２にロードする機能を有し
ている。シミュレーション制御部５は、比較器３が一致
を示した時に、論理シミュレーションの実行を停止する
機能を有する。なお、本実施例では比較器３、デクリメ
ンタ３は３組設けられ、シミュレーションの停止時刻を
３つ設定できるようになっているが、勿論−組でもよい
。

かかる構成において、論理シミュレーション実行中に、
ある事実が生じ、その結果、論理シミュレーションの実
行が停止すると、デクリメンタ・比較器作成部１は、デ
クリメンタ２の出力と比較器３の入力とを接続する。こ
の接続は、接続線８によって行なわれている。この結果
比較器３は、デクリメンタ２の出力と”０”とを比較す
るようになる。次に、クロック数がロード部４を通して
デクリメンタ２にロードされる。シミュレーション再開
指令がシミュレーション制御部５によって発せられ、シ
ミュレーション部６が論理シミュレーションを再開する
と、デクリメンタ２は１クロック毎に減算される。クロ
ック数分、論理シミュレーションが実行されると、比較
器３によりデクリメンタ２の値がＯと判断される。この
判断が判断信号としてシミュレーション制御部５へ供給
され、これに応答してシミュレーション制御部５はシミ
ュレーション動作停止指令をシミュレーション部６へ送
出する。これによって論理シミュレーション実行中に別
の事象が生じた場合も、同様に　４してシミュレーショ
ンの停止をクロック数によって指定できる。また、事象
毎に実行うロック数をあらかじめ定義しておくことによ
り、シミュレーション実行時に動的に停止指定を行なう
ことが可能となる。

なお、比較器３で比較する値は０でなくてもよく、また
デクリメンタ２の代りにインクリメンタを用いてもよい
。

〔発明の効果〕

以上説明したように本発明は、１クロック毎に一定数減
算または加算するカウンタとカウンタの保持する値が所
定の値か否かを判断する比較器とをシミュレーションモ
デル上に作り出す出段と、前記カウンタに初期値を設定
する手段と、前記比較器によって前記カウンタの保持す
る値が所定の値と判断された場合にシミュレーションを
停止する手段とを論理シミュレータに設けることにより
、シミュレーション時に停止時刻を動的に設定できる効
果がある。

【図面の簡単な説明】

第１図は本発明の論理シミュレータの一実施例のブロッ
ク図である。 １・・・・・・デクリメンタ・比較器作成部、２・・・
・・・デクリメンタ、３−−−−−−比較器、４・・・
・・・ロード部、 ５・・・・・・シミュレーション制御部、６−−−−−
・シミュレーション部、 ７１−−−−−−シミュレーションモデル、７２−−−
−−−シミュレーションモデル、８・・・・・・接続線
。

Claims (1)

1. 【特許請求の範囲】 論理シミュレータにおいて、 １クロック毎に一定数減算または加算するカウンタと、
   該カウンタの保持する値が所定の値か否かを判断する比
   較器とを、あるシミュレーション条件が成立してシミュ
   レーションが停止したときにシミュレーションモデル上
   に作り出す手段と、前記カウンタに初期値を設定すると
   ともに、シミュレーション再開指令が発せられると、前
   記カウンタを動作させる手段と、 前記比較器によって前記カウンタの保持する値が前記所
   定の値であると判断された場合にシミュレーションを停
   止させる手段とを含むことを特徴とする論理シミュレー
   タ。