JPH0442370A - 論理シミュレーションシステム - Google Patents

Abstract

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

Description

【発明の詳細な説明】 技術分野 本発明は論理シミュレーションシステムに関し、特に論
理シミュレータを用いてシミュレーションモデル上で検
証用テストプログラムを実行する論理シミュレーション
システムに関するものである。

従来技術 従来、論理シミュレータを用いて、シミュレーションモ
デル上で検証用テストプログラムを実行する場合、検証
用テストプログラム全体に渡って詳細な状態値を収集す
ることは、膨大な記憶容量を必要とし、また、詳細な状
態値を収集する処理によるオーバーヘッドのため実行効
率が低下する。

そこで、詳細情報の収集は行わずに検証用テストプログ
ラムを−通り実行し、検証用テスＩ・プログラムを構成
する単位毎の期待値との一致、不一致情報をまず得、そ
の後にあらためて検証用テストプログラム中の不一致発
生部分を切出して、誤動作原因を解析するための詳細な
状態値を収集するための論理シミュレーションを実行し
ている。

期待値との一致、不一致情報を得るための論理シミュレ
ーションと、不一致の起きた場合の詳細情報を得るため
の論理シミュレーションとを、別々に実行する必要があ
るという問題点がある。

発明の目的 本発明の目的は、一致、不一致情報を得る論理シミュレ
ーションと不一致か生じたときの詳細情報を得る論理シ
ミュレーションとを１回のシミュレーションで効率良く
行うようにした論理シミュレーションシステムを提供す
ることである。

発明の構成 本発明によれば、論理シミュレータを用いてシミュレー
ションモデル上で検証用テストプログラムを実行する論
理シミュレーションシステムであって、期待値が与えら
れているシミュレーションモデル上の観測点について、
前記期待値との比較を行って前記シミュレーションモデ
ルが正常に動作しているか否かを監視しつつ論理シミュ
レーションを行う監視モード実行手段と、前記シミュレ
ションモデルの動作を解析するのに必要でかつ期待値が
与えられていない詳細な状態値を収集しつつシミュレー
ションを行う詳細モード実行手段と、前記シミュレーシ
ョンモデルの動作を再現可能な情報をセーブ及びリスト
ア可能なセーブ・リストア手段と、前記検証用テストプ
ログラムの一単位を実行する毎に、前記セーブ・リスト
ア手段により開始点の状態情報のセーブを行い、前記監
視モード実行手段により前記シミュレーションモデルの
検証を行い、監視モードにおいて誤動作が検出されたと
きセーブされている状態をリストア制御し、前記詳細モ
ード実行手段により詳細な状態値を得るよう制御する制
御手段とを有することを特徴とする論理シミュレーショ
ンシステムが得られる。

実施例 以下、図面を用いて本発明の実施例を詳述する。

第１図は本発明の実施例のブロック図である。

論理シミュレーション実行手段］は内部にシミュレーシ
ョンモデル２とこのシミュレーションモデル２上で実行
される検証用テストプログラム３を格納し、論理シミュ
レーションを実行する。

制御手段４は監視モード実行手段５、詳細モト実行手段
６、セーブ・リストア手段７及び論理シミュレーション
実行手段１の制御を行う。

監視モード実行手段５は内部に期待値８を格納し、論理
シミュレーション実行手段１から取出した観測点の状態
値を監視し、期待値８との不一致が発生したならば制御
手段４に通知する。

詳細モード実行手段６は論理シミュレーション実行手段
１からシミュレーションモデル２の詳細な状態値を収集
する。

セーブ・リストア手段７は論理シミュレーション実行手
段１からシミュレーションモデル２の動作を再現するこ
とが可能なセーブ・リストア情報１０を取出してセーブ
し、またセーブされているセーブ・リストア情報１０を
論理シミュレーション実行手段１に対してリストアする
。

第２図に制御手段４の制御フローの例を示す。

シミュレーションが開始されると、まず監視モト２１に
入る。セーブ・リストア手段７に対しセーブの実行指示
２２を行ってセーブを行う。監視モード実行手段５に対
して監視モード実行指示２３を行い、検証用テストプロ
グラム３の１単位を実行させる。

監視モード実行手段５からの終了通知２４を受けたなら
ば、通知内容から期待値との不一致かあったか否かの判
断２５を行う。不一致が発生していた場合は詳細モード
への分岐２６を行う。不一致が発生していなければシミ
ュレーション終了判断２７を行う。

検証用テストプログラムの全単位の実行が終了していな
ければ、監視モード続行２８ヘループし次の検証用テス
トプログラムの１単位を実行する。

検証用テストプログラム全単位の実行が終了したならば
シミュレーションの終了２９となる。

詳細モードへの分岐２６が行われると、制御手段４は詳
細モード３０に移行する。セーブ・リストア手段７に対
しリストア実行指示３１を行う。

次に詳細モード実行手段６に対して詳細モード実行指示
３２を行い、詳細モードによるシミュレーションを実行
させる。終了通知３３を受けたならばシミュレーション
終了判断３４を行う。

検証用テストプログラムの全単位の実行が終了していな
ければ、監視モードへの復帰３５を行い、次の検証用テ
ストプログラムの１単位を実行する。

検証用テストプログラムの全単位の実行が終了したなら
ばシミュレーションの終了２９となる。

第３図に監視モード実行手段５の動作フローの例を示す
。監視モードの実行指示４１を受けたならば論理シミュ
レーション実行手段］に１時刻分のシミュレーション４
２を行わせる。次に観測点の状態値の取出し４３を行い
、対応する時刻の期待値との比較４４を行い、比較結果
から不一致検出判断４５を行う。不一致が検出されなか
ったならば、時刻を１進める処理４９を行い、次の１時
刻分のシミュレーションを実行させる。

検証用テストプログラムの１単位の実行か終了したなら
ば、制御手段４に対して正常終了した旨の通知４７をす
る。不一致が検出された場合は、監視モードでのシミュ
レーションをその時刻で終了し、制御手段４に対して不
一致を検出して終了した旨の通知４８をする。

第４図に詳細モード実行手段６の動作フローの例を示す
。詳細モードの実行指示５１を受けたならば、論理シミ
ュレーション実行手段１に１時刻のシミュレーションを
行わせる指示５２を出す。

次にシミュレーションモデル２上の詳細状態値９を取出
す処理５３を行い、格納処理５４をなす。

次に時刻を１進める処理５７を行い、次の１時刻分のシ
ミュレーション５２を実行させる。検証用テストプログ
ラムの１単位の実行が終了したとの判断５５がなされれ
ば、制御手段４に対して正常終了した旨・の通知５６を
なす。

発明の効果 以上述べたように本発明の論理シミュレーション方式に
よれば、シミュレーションモデルが正しく動作した場合
は監視モードによる高速なシミュレーションモデルの検
証を行い、またシミュレーションモデルに誤動作が検出
された場合には自動的に誤動作原因の解析に必要な詳細
な状態値の採集を行うことで、１回のシミュレーション
で効率的に必要な情報を得ることが可能となるという効
果がある。

【図面の簡単な説明】

第１図は本発明の実施例のブロック図、第２図は制御手
段の制御フローを示す図、第３図は監視モード実行手段
の動作フローを示す図、第４図は詳細モード実行手段の
動作フローを示す図である。 主要部分の符号の説明 １・・・・・・論理シミュレーション実行手段２・・・
・・・シミュレーションモデル３・・・・・・検証用テ
ストプログラム４・・・・・・制御手段 ５・・・・・・監視モード実行手段 ６・・・・・・詳細モード実行手段 ７・・・・・・セーブ・リストア手段 ８・・・・・・期待値 ９・・・・・・詳細状態値

Claims (1)

【特許請求の範囲】
1. （１）論理シミュレータを用いてシミュレーションモデ
   ル上で検証用テストプログラムを実行する論理シミュレ
   ーションシステムであって、期待値が与えられているシ
   ミュレーションモデル上の観測点について、前記期待値
   との比較を行って前記シミュレーションモデルが正常に
   動作しているか否かを監視しつつ論理シミュレーション
   を行う監視モード実行手段と、前記シミュレーションモ
   デルの動作を解析するのに必要でかつ期待値が与えられ
   ていない詳細な状態値を収集しつつシミュレーションを
   行う詳細モード実行手段と、前記シミュレーションモデ
   ルの動作を再現可能な情報をセーブ及びリストア可能な
   セーブ・リストア手段と、前記検証用テストプログラム
   の一単位を実行する毎に、前記セーブ・リストア手段に
   より開始点の状態情報のセーブを行い、前記監視モード
   実行手段により前記シミュレーションモデルの検証を行
   い、監視モードにおいて誤動作が検出されたときセーブ
   されている状態をリストア制御し、前記詳細モード実行
   手段により詳細な状態値を得るよう制御する制御手段と
   を有することを特徴とする論理シミュレーションシステ
   ム。