JPS62190542A - シミユレ−タによる入出力処理装置検査方式 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 （産業上の利用分野） 本発明は入出力処理装置の検査方式に関し、特にハード
ウェアシミュレーションを使用して論理検証を行う検査
方式に関する。

（従来の技術） 従来、入出力処理装置の開発検査は論理設計が終了した
後、装置を製造し、実入出力処理装置をシステムに接続
して実デバイスを使用して行っていた。しかし、最近の
ように論理装置に専用高集積論理回路を使用して設計を
行うと、装置を製造する前に論理検証を行う必要がある
。この要求に対して論理シミュレーションシステムが開
発すれ、胴理装置の設計時点で論理検証を行うことが可
能トナった。論理シミュレーションシステムはソフトウ
ェアシステムで実現されているが、装置規模が大きくな
ると＠理モデルが大きくなり、シミュレーション時間が
長くなって十分な＠理検征を行−うことか困難である。

しかし、ハードウェアによる超＾速論理シミュレータの
開発により、大規模な論理シミュレーションを高速で実
行することが可能となったため、複数の装置を含むシス
テムレベルの輪理りミュレー７ヨンが実行可能となって
いる。

（発明が解決しようとする問題点） 上述した従来の＠理シミュレーションシステムでは６箱
堆モテルを作成する必要があり、入出力処理装置の論理
検証を行うためには、入出力装置の上位装置である中央
処理装置、および、下位装置である周辺装置の論理モデ
ルを作成する必要がめる。しかし、周辺装置Ｆｉ機械部
品を含むので論理モデルを作成することが困難であり、
入出力処理装置の論理検証を論理シミュレーションによ
って行うことができるという欠点がある。

本発明の目的は、ハードウェアシミュレータ鉄性上の入
出力処理装置す環モデルの汎用入出力インターフェース
信号を取出し、大田カインターフェース機能シミュレー
ション機構によシ周辺制御装置の動作をシミュレートす
ることにより、上記欠点を除去し、入出力処理装置の論
理検証を論理シミュレーションによって行うことができ
るように構成した、シミュレータによる入出力処理装置
検査方式を提供することにある。

（問題点を解決するための手段） 本発明のシミュレータによる入出力処理装置検査方式は
、論理シミュレーション装置と制御装置とによって実現
したものである。

論理シミュレーション装ｆは記憶装置論理モデル、中央
処理袋＊ｍ理モデル、ならびに入出力処理装置Ｍ論理モ
デルを格納し、論理回路のシミュレーションを行うため
のもので必る。

制御装置は、８ａ理シミユレーシヨン装置に幻して制御
インターフェースにより接続され、シミュレーション動
作を制御するための制御部、ならびにｍｆａＷンミュレ
ーション装置に約して汎用入出力インターフェースによ
り接続され、論理シミュレーション装置１において入出
力処理装置＆ｉｉ理モデル上に送出逼れた汎用入出力イ
ンターフェースの信号により周辺制御装置の動作をシミ
ュレートするための入出力インターフェース機能シミュ
レーション部から成るものでるる。

本発明においては上記構成で、論理シミュレーション装
置上に検査の対象となる入出力処理装置オ宮む論理モデ
ルを格納し、入出力処理装置の論理検１ｉ１１：′！ｉ
ｌ−行うプログラム？ｌｌ−釘１ｄ理シミュレーション
装置１を上で実行場ぜることにより入出力処理装４がシ
ミュレートされ、入出力処理装置論理モデル上の汎用入
出力インターフェースの信号が変化し、入出力インター
フェース機能シミュレーション部が上記信号の変化を認
識すると周辺制御装置の動作をシミュレートし、結果ｋ
　ｂ理シミュレーション装置上の入出力処理装置論理モ
デル上に設定することにより論理シミュレーション装置
上で入出力処理装置の＠理検証を行うことができるよう
に構成したものである。

（実施例） 次に、本発明について図面を診照して脱明する。

第１図は、本発明によって構成したシミュレータによる
入出力処理装置検査方式を実現する一実施例を示すブロ
ック構成図である。第１図において、ｌはハードウェア
シミュレータ、１１は制御装置、１２は論理シミュレー
ション装置、２１ｉｄ制御部、２２は入出力インターフ
ェース＠能シミュレーション部、３’ｌは制御インター
フェース、３２は汎用入出力インターフェース、＜ｘｈ
ｉｓｂ憶装置論理モデル、４２Ｊ−を中央処理装置装置
、論理モデル、４３は入出力処理装置論理モデルである
。

第１図において、ハードウェアシミュレータ１はシミュ
レーション動作を制御する制御部２１゜ならびに周辺制
御装置の動作をシミュレートする入出力インターフェー
ス４豊能シミユレーシヨン部２２から成る制御装置１１
と、記憶装置読理モデル４１．中央処理装置論理モテル
４２、ならびに入出力処理装置論理モデル４３を伽え、
論理動作をシミュレートするための論理シミュレーショ
ン装置ｔ１２とから構成されている。制御装置１１と論
理シミュレーション装置１２との間ハシミュレーション
動作を管理するための制御インターフェース３１．４ら
びに入出力処理装色＾ｉ理モデル４３と入出力インター
フェース機能シミュレーフ３フ部２２との間の汎用入出
力インターフェース３２により接続されている。

次に、入出力処理装置検址用プログラムを使用して行う
入出力処理装置の關Ｂｌ！棟鉦動作を説明する。制御部
２１の制御によシ、制御装置１１に接続芒れた外部ファ
イル（図示してない）から論理シミュレーション装置１
２上へ論理モデルを格納する。論理モデルは記憶装置論
理モデル４１．中央処理装置論理モデル４２、ならびに
入出力処理装置論理モデル４３から構成爆れており、プ
ログラムの実行環境を提供する。

制御部２１は、外部ファイル（図示していない）から入
出力処理装置検証用プログラムを記憶装置論理モデル４
１上ヘロードする。制御部２１は制御インターフェース
３１に介して論理シミュレーション装置１２上の中央処
理装置ｔ　嗣ｆツモデル４２を初Ｍ設定し、記憶装置１
Ｉ装置理モデル４１上のソフトウェア命令実行を指示す
る。論理シミュレーション装置１２上では中央処理装置
ならびに記憶装置の動作がシミュレーションされ、記憶
装置論理モデル４１上の入出力処理装置検証用プログラ
ムが中央処理装ａ　Ｋｒｅ理モデモデル４２上ミュレー
トされて実行される。論理シミュレーション装置１２上
の論理モデルによる入出力処理装置検赴用プログラム実
行によって入出力命令が実行されると、中央処理装置論
理モデル４２から入出力処理装置論理モデル４３に上記
実行が通知され、入出力処理装置がシミュレーション格
れる。入出力処理装置論理モデル４３上で入出力命令に
より指定式ねた機能がシミュレーションはれ、入出力イ
ンターフェース信号を変化させる。制御装置１１上の入
出力インターフェース機能シミュレーション部２２は、
汎用入出力インターフェース３２を介して入出力処理装
置ｍｍモデル４３上のインターフェース信号を監視して
おり、信号の変化を検出すると周辺制御装置の動作の機
能をシミュレーションし、汎用入出力インターフェース
３２上への応答信号を生成する。入出力インターフェー
ス機能シミュレーション部２２は汎用入出力インターフ
ェース３２上の信号を入出力処理装置論理モデル４３上
に送出し、これによって入出力インターフェース信号を
設定する。

以上述べた制御を繰返すことにより、論理シミュレーシ
ョン装置上のモデルで入出力処理装置検証プログラムが
実行され、これによって入出力処理装置の論理検証を実
力山することができる。

（発明の効果） 以上説明したように本発明は、ノ・−ドウエアシミュレ
ータ装置上ｐ入出力処理装置論理モデルの汎用入出力イ
ンターフェース信号を取出し、入出力インターフェース
機能シミュレーション部により周辺制御装置の動作をシ
ミュレートすることにより、シミュレータ上で入出力処
理装置の論理検証を行うことができるという効果かめる
。

また、周辺制御装置を機能シミュレーションにより実現
しているので、正常動作だけではなく入出力インターフ
ェース上のダイアログとしての異常動作についても論理
検証できるという効果がめる。

【図面の簡単な説明】

第１図は、本発明によってシミュレータによる入出力処
理装置検査方式を実現する一実施例を示すブロック図で
ある。 ｌ・・ｅハードウェアシミュレータ １１・・・制御装置 １２・・・論理シミュレーション装置 ２１・・・制御部 ２２会・・入出力インターフェース機能シミュレーショ
ン部 ３１・・・制御インターフェース ３２・・・汎用入出力インターフェース４１・・・記憶
装置＠理モデル

Claims (1)

【特許請求の範囲】
1. 記憶装置論理モデル、中央処理装置論理モデル、ならび
   に入出力処理装置論理モデルを格納し、論理回路のシミ
   ュレーションを行うための論理シミュレーション装置と
   、前記論理シミュレーション装置に対して制御インター
   フェースにより接続され、シミュレーション動作を制御
   するための制御部、ならびに前記論理シミュレーション
   装置に対して汎用入出力インターフェースにより接続さ
   れ、前記論理シミュレーション装置において前記入出力
   処理装置論理モデル上に送出された前記汎用入出力イン
   ターフェースの信号により周辺制御装置の動作をシミュ
   レートするための入出力インターフェース機能シミュレ
   ーション部から成る制御装置とを具備し、前記論理シミ
   ュレーション装置上に検査の対象となる入出力処理装置
   を含む論理モデルを格納し、前記入出力処理装置の論理
   検証を行うプログラムを前記論理シミュレーション装置
   上で実行させることにより前記入出力処理装置がシミュ
   レートされ、前記入出力処理装置論理モデル上の前記汎
   用入出力インターフェースの信号が変化し、前記入出力
   インターフェース機能シミュレーション部が前記信号の
   変化を認識すると前記周辺制御装置の動作をシミュレー
   トし、結果を前記論理シミュレーション装置上の入出力
   処理装置論理モデル上に設定することにより前記論理シ
   ミュレーション装置上で前記入出力処理装置の論理検証
   を行うことができるように構成したことを特徴とするシ
   ミュレータによる入出力処理装置検査方式。