JPH01290038A - シミュレーション方式 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明はシミュレーション方式に関し、特に論理装置を
プログラム上に論理モデル化したシミュレーションモデ
ル（以下、単にシミュレーションモデルという）を情報
処理システムにおいてシミュレーションする場合のシミ
ュレーション方式に関する。

〔従来の技術〕

従来、この種のシミュレーション方式では、シミュレー
ションモデルについてシミュレーションを実行した結果
であるシミュレーション実行結果を格納する手段が存在
しなかった（シミュレーション実行結果は出力リストと
してのみ利用者等に提供されていた）。

したがって、シミュレーション実行結果に基づいて論理
バグを発見した際にその論理バグを除去するべくシミュ
レーションモデルを変更して再びシミュレーションを実
行した場合に、変更前のシミュレーションモデル（以下
、変更前モデルという）のシミュレーション実行結果と
変更後のシミュレーションモデル（以下、変更後モデル
という）のシミュレーション実行結果との差異を確認す
るためには、人的資源に軌らなければならなかった。

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

上述した従来のシミュレーション方式では、論理ハゲの
発生に起因して行われるシミュレーションモデルの変更
における変更前モデルのシミュレーション実行結果と変
更後モデルのシミュレーション実行結果との差異の確認
において人的資源に頼っているので、確認処理に多くの
工数を要し、その確認の際にチエツクミスが発生しやす
くなるという欠点がある。

本発明の目的は、上述の点に鑑み、変更前モデルのシミ
ュレーション実行結果と変更後モデルのシミュレーショ
ン実行結果との差異の確認を人的資源を必要とせずに行
うことができるシミュレーション方式を提供することに
ある。

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

本発明のシミュレーション方式は、シミュレーションモ
デルについてシミュレーションを実行するシミュレーシ
ョン実行手段と、このシミュレーション実行手段により
変更前モデルについてのシミュレーションが実行された
ときのシミュレーション実行結果を格納する変更前モデ
ルシミュレーション実行結果格納手段と、前記シミュレ
ーション実行手段により変更後モデルについてのシミュ
レーションが実行されたときのシミュレーション実行結
果を格納する変更後モデルシミュレーション実行結果格
納手段と、前記変更前モデルシミュレーション実行結果
格納手段により格納されているシミュレーション実行結
果と前記変更後モデルシミュレーション実行結果格納手
段により格納されているシミュレーション実行結果とを
一定時間間隔毎に比較して不一致データを検出して出力
する実行結果比較手段とを有する。

〔作用〕

本発明のシミュレーション方式では、シミュレーション
実行手段がシミュレーションモデルについてシミュレー
ションを実行し、変更前モデルシミュレーション実行結
果格納手段がシミュレーション実行手段により変更前モ
デルについてのシミュレーションが実行されたときのシ
ミュレーション実行結果を格納し、変更後モデルシミュ
レーション実行結果格納手段がシミュレーション実行手
段により変更後モデルについてのシミュレーションが実
行されたときのシミュレーション実行結果を格納し、実
行結果比較手段が変更前モデルシミュレーソヨン実行結
果格納手段により格納されているシミュレーション実行
結果と変更後モデルシミュレーション実行結果格納手段
により格納されているシミュレーション実行結果とを一
定時間間隔毎に比較して不一致データを検出して出力す
る。

〔実施例〕

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

第１図は、本発明のシミュレーション方式の一実施例の
構成を示すブロック図である。本実施例のシミュレーシ
ョン方式は、変更前モデル記４．１ファイル１と、変更
後モデル記憶ファイル２と、シミュレーション実行手段
３　（制御ファイル（図示せず）に格納されている）と
、変更前モデルシミュレーション実行結果出力リスト４
と、変更前モテルシミュレーション実行結果記憶ファイ
ル５　（変更前モデルシミュレーション実行結果格納手
段）と、変更後モデルシミュレーション実行結果出力リ
ストロと、変更後モデルシミュレーション実行結果記憶
ファイル７（変更後モデルシミュレーション実行結果格
納手段）と、実行結果比較手段８と、比較結果出力リス
ト９とを含んで構成されている。

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

まず、変更前モデル記憶ファイル１に格納されている変
更前モデルについてのシミュレーションがシミュレーシ
ョン実行手段３により行われる。

このシミュレーション実行結果は、変更前モデルシミュ
レーション実行結果出力リスト４と変更前モデルシミュ
レーション実行結果記１．ａファイル５とに出力される
。

この変更前モデルシミュレーション実行結果出力リスト
４等に基づいて論理ハゲが発見された場合には、その論
理ハゲを除去するために変更前モデルの一部を変更（論
理変更）して変更後モデルが生成されて変更後モデル記
憶ファイル２に格納される。

次に、この変更後モデル記憶ファイル２に格納されてい
る変更後モデルについてのシミュレーションがシミュレ
ーション実行手段３により行われる。

このシミュレーション実行結果は、変更後モデルシミュ
レーション実行結果出力リストロと変更後モデルシミュ
レーション実行結果記憶ファイル７とに出力される。

上述のようにして出力された変更前モデルシミュレーシ
ョン実行結果記憶ファイル５内のシミュレーション実行
結果と変更後モデルシミュレーション実行結果記憶ファ
イル７内のシミュレーション実行結果とが、実行結果比
較手段８により比較される。すなわち、マシンクロック
（シミュレーションモデルによるシミュレーションの対
象である論理装置の特性に基づいて設定される一定時間
間隔。シミュレーション実行結果はこのマシンクロック
単位の時間軸上のディジタルデータとして変更前モデル
シミュレーション実行結果記憶ファイル５および変更後
モデルシミュレーション実行結果記憶ファイル７に出力
されている）毎に変更前モデルのシミュレーション実行
結果中のデータと変更後モデルのシミュレーション実行
結果中のデータとが比較されて、両データ中で一致しな
いデータの集合である不一致データが検出されて比較結
果出力リスト９に出力される。

このようにして、人的資源を要することなく変更前モデ
ルのシミュレーション実行結果と変更後モデルのシミュ
レーション実行結果との差異の確認を行うことができる
。

〔発明の効果〕

以上説明したように本発明は、変更前モデルのシミュレ
ーション実行結果と変更後モデルのシミュレーション実
行結果とを一定時間間隔毎に人的資源を必要とせずに比
較できることにより、２つのシミュレーション実行結果
の差異の確認処理に要する工数を減少することができ、
その確認の際にチエツクミスが発生しにくくなるという
効果がある。

【図面の簡単な説明】

第１図は本発明の一実施例の構成を示すブロック図であ
る。 図において、 １・・・変更前モデル記憶ファイル、 ２・・・変更後モデル記憶ファイル、 ３・・・シミュレーション実行手段、 ４・・・変更前モデルシミュレーション実行結果出力リ
スト、 ５・・・変更前モデルシミュレーション実行結果記憶フ
ァイル、 ６・・・変更後モデルシミュレーション実行結果出力リ
スト、 ７・・・変更後モデルシミュレーション実行結果記憶フ
ァイル、 ８・・・実行結果比較手段、 ９・・・比較結果出力リス１−である。

Claims (1)

【特許請求の範囲】
1. シミュレーションモデルについてシミュレーションを実
   行するシミュレーション実行手段と、このシミュレーシ
   ョン実行手段により変更前モデルについてのシミュレー
   ションが実行されたときのシミュレーション実行結果を
   格納する変更前モデルシミュレーション実行結果格納手
   段と、前記シミュレーション実行手段により変更後モデ
   ルについてのシミュレーションが実行されたときのシミ
   ュレーション実行結果を格納する変更後モデルシミュレ
   ーション実行結果格納手段と、前記変更前モデルシミュ
   レーション実行結果格納手段により格納されているシミ
   ュレーション実行結果と前記変更後モデルシミュレーシ
   ョン実行結果格納手段により格納されているシミュレー
   ション実行結果とを一定時間間隔毎に比較して不一致デ
   ータを検出して出力する実行結果比較手段と、を有する
   ことを特徴とするシミュレーション方式。