JPH09223081A - 外部装置インタフェース検証システム - Google Patents
外部装置インタフェース検証システムInfo
- Publication number
- JPH09223081A JPH09223081A JP8029552A JP2955296A JPH09223081A JP H09223081 A JPH09223081 A JP H09223081A JP 8029552 A JP8029552 A JP 8029552A JP 2955296 A JP2955296 A JP 2955296A JP H09223081 A JPH09223081 A JP H09223081A
- Authority
- JP
- Japan
- Prior art keywords
- simulator
- data
- external device
- verification
- setting
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Withdrawn
Links
Landscapes
- Debugging And Monitoring (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
(57)【要約】
【課題】本発明は、本体装置と、この装置に対するデー
タのリード／ライト機能、送信機能及び外部割り込み機
能を有する外部装置とのインタフェース機能の検証をシ
ミュレーションによって実現することができる外部装置
インタフェース検証システムを提供することを目的とす
る。 【解決手段】中央演算処理を行う本体装置３に接続され
る外部装置（Ａ）と同動作を仮想的に行うシミュレータ
（Ｓ）６と、Ｓ６にＡ同様な条件設定を行う第１命令を
装置３へ送出する手段１と、Ａ動作検証を行う第２命令
を装置３へ送出する手段２と、装置３での認識第１命令
から条件設定内容を認識してその設定指示をＳ６に行う
手段５０と、指示条件設定後の第２命令に応じた処理終
了後にＳ６からの送出処理データ（Ｄ）と、Ｄ送出時の
外部割込命令で割り込みのかかった装置３からの送出Ｄ
に対応する比較データとの比較によりＤの正／否を確認
する手段５１とを具備して構成する。
タのリード／ライト機能、送信機能及び外部割り込み機
能を有する外部装置とのインタフェース機能の検証をシ
ミュレーションによって実現することができる外部装置
インタフェース検証システムを提供することを目的とす
る。 【解決手段】中央演算処理を行う本体装置３に接続され
る外部装置（Ａ）と同動作を仮想的に行うシミュレータ
（Ｓ）６と、Ｓ６にＡ同様な条件設定を行う第１命令を
装置３へ送出する手段１と、Ａ動作検証を行う第２命令
を装置３へ送出する手段２と、装置３での認識第１命令
から条件設定内容を認識してその設定指示をＳ６に行う
手段５０と、指示条件設定後の第２命令に応じた処理終
了後にＳ６からの送出処理データ（Ｄ）と、Ｄ送出時の
外部割込命令で割り込みのかかった装置３からの送出Ｄ
に対応する比較データとの比較によりＤの正／否を確認
する手段５１とを具備して構成する。
Description
【０００１】
【発明の属する技術分野】本発明は外部装置インタフェ
ース検証システムに関する。この外部装置インタフェー
ス検証システムは、ＣＰＵ等の演算処理を行う本体装置
と、これに接続されるデータのリード／ライト機能、送
信機能及び外部割り込み機能を有する外部装置とのイン
タフェース機能の検証を論理シミュレーションによって
行い、外部装置及び外部装置と本体装置間の動作保証を
行う分野に適用されるものである。
ース検証システムに関する。この外部装置インタフェー
ス検証システムは、ＣＰＵ等の演算処理を行う本体装置
と、これに接続されるデータのリード／ライト機能、送
信機能及び外部割り込み機能を有する外部装置とのイン
タフェース機能の検証を論理シミュレーションによって
行い、外部装置及び外部装置と本体装置間の動作保証を
行う分野に適用されるものである。
【０００２】
【従来の技術】本体装置と外部装置のインタフェース機
能の検証方法として、実際に装置が完成してから本体装
置に接続して検証する方法と、未完成の状態で本体装置
との接続を前提としてシミュレーションによって検証す
る方法がある。
能の検証方法として、実際に装置が完成してから本体装
置に接続して検証する方法と、未完成の状態で本体装置
との接続を前提としてシミュレーションによって検証す
る方法がある。
【０００３】シミュレーションによって検証する場合、
即ち外部装置が本体装置に接続されていない場合、本体
装置のプログラム設定で確認できる項目を検証するよう
になっている。
即ち外部装置が本体装置に接続されていない場合、本体
装置のプログラム設定で確認できる項目を検証するよう
になっている。
【０００４】
【発明が解決しようとする課題】上述したようにシミュ
レーションによって仮想的に本体装置と外部装置とのイ
ンタフェース機能を検証する場合に、実際の外部装置
が、その出力信号によって本体装置に割り込みをかける
機能及びデータ転送機能を有する場合、プログラム設定
ではその割り込み機能を実現することができず、シミュ
レーションによる検証ができない問題があった。シミュ
レーションによる検証ができない場合、本体装置からの
外部装置の動作保証が行えなくなる。
レーションによって仮想的に本体装置と外部装置とのイ
ンタフェース機能を検証する場合に、実際の外部装置
が、その出力信号によって本体装置に割り込みをかける
機能及びデータ転送機能を有する場合、プログラム設定
ではその割り込み機能を実現することができず、シミュ
レーションによる検証ができない問題があった。シミュ
レーションによる検証ができない場合、本体装置からの
外部装置の動作保証が行えなくなる。
【０００５】本発明は、このような点に鑑みてなされた
ものであり、本体装置と、この装置に対するデータのリ
ード／ライト機能及び外部割り込み機能を有する外部装
置とのインタフェース機能の検証をシミュレーションに
よって実現することができる外部装置インタフェース検
証システムを提供することを目的としている。
ものであり、本体装置と、この装置に対するデータのリ
ード／ライト機能及び外部割り込み機能を有する外部装
置とのインタフェース機能の検証をシミュレーションに
よって実現することができる外部装置インタフェース検
証システムを提供することを目的としている。
【０００６】
【課題を解決するための手段】図１に本発明の原理図を
示す。この図１に示す外部装置インタフェース検証シス
テムは、中央演算処理機能を有する本体装置３と、本体
装置３に接続されるデータのリード／ライト機能及び外
部割り込み機能を有する外部装置とのインタフェース機
能の検証を行うものであり、本発明の特徴とするところ
は、外部装置の論理仕様書で定義された動作を仮想的に
行うシミュレータ６と、シミュレータ６に対して外部装
置と同様な条件設定を行うための検証設定命令を本体装
置３へ送出する検証設定命令手段１と、検証設定命令に
対応する外部装置動作検証を行うための外部装置検証命
令を本体装置３へ送出する検証命令実行手段２と、本体
装置３で認識された検証設定命令を解析することにより
シミュレータ６の条件設定内容を認識し、この認識内容
の設定指示をシミュレータ６に行うインタフェース手段
５０と、その設定指示に応じた条件設定後の前記した外
部装置検証命令に応じた処理終了後にシミュレータ６か
ら送出される処理データと、この処理データ送出時にシ
ミュレータ６から送出される外部割り込み命令により割
り込みのかかった本体装置３から送出される処理データ
に対応する比較データとの比較によって処理データの正
／否を確認する確認手段５１とを具備して構成したこと
にある。
示す。この図１に示す外部装置インタフェース検証シス
テムは、中央演算処理機能を有する本体装置３と、本体
装置３に接続されるデータのリード／ライト機能及び外
部割り込み機能を有する外部装置とのインタフェース機
能の検証を行うものであり、本発明の特徴とするところ
は、外部装置の論理仕様書で定義された動作を仮想的に
行うシミュレータ６と、シミュレータ６に対して外部装
置と同様な条件設定を行うための検証設定命令を本体装
置３へ送出する検証設定命令手段１と、検証設定命令に
対応する外部装置動作検証を行うための外部装置検証命
令を本体装置３へ送出する検証命令実行手段２と、本体
装置３で認識された検証設定命令を解析することにより
シミュレータ６の条件設定内容を認識し、この認識内容
の設定指示をシミュレータ６に行うインタフェース手段
５０と、その設定指示に応じた条件設定後の前記した外
部装置検証命令に応じた処理終了後にシミュレータ６か
ら送出される処理データと、この処理データ送出時にシ
ミュレータ６から送出される外部割り込み命令により割
り込みのかかった本体装置３から送出される処理データ
に対応する比較データとの比較によって処理データの正
／否を確認する確認手段５１とを具備して構成したこと
にある。
【０００７】このような構成によれば、従来のプログラ
ム設定では行えなかった本体装置３への割り込み機能を
実現することができるので、その機能をシミュレーショ
ンによって検証することができる。
ム設定では行えなかった本体装置３への割り込み機能を
実現することができるので、その機能をシミュレーショ
ンによって検証することができる。
【０００８】
【発明の実施の形態】以下、図面を参照して本発明の一
実施の形態について説明する。図２は本発明の一実施形
態による外部装置インタフェース検証システムのブロッ
ク構成図である。
実施の形態について説明する。図２は本発明の一実施形
態による外部装置インタフェース検証システムのブロッ
ク構成図である。
【０００９】この図において、符号１は検証設定命令
部、２は検証命令実行部、３はＣＰＵ、４は命令解析
部、５は設定指示部、６は外部装置シミュレータ、７は
比較部、８は結果確認部である。
部、２は検証命令実行部、３はＣＰＵ、４は命令解析
部、５は設定指示部、６は外部装置シミュレータ、７は
比較部、８は結果確認部である。
【００１０】外部装置シミュレータ６は、実際の外部装
置の論理仕様書で定義された動作を仮想的に行うもので
ある。検証設定命令部１は、外部装置シミュレータ６に
対して実際の外部装置と同様な環境条件の設定、障害状
態の設定、及び外部のＣＰＵ３への割り込みの発生設定
等の条件設定を行うための検証設定命令１０をＣＰＵ３
へ送出するものである。
置の論理仕様書で定義された動作を仮想的に行うもので
ある。検証設定命令部１は、外部装置シミュレータ６に
対して実際の外部装置と同様な環境条件の設定、障害状
態の設定、及び外部のＣＰＵ３への割り込みの発生設定
等の条件設定を行うための検証設定命令１０をＣＰＵ３
へ送出するものである。
【００１１】検証命令実行部２は、検証設定命令１０送
出時の検証設定命令部１のセットアップ命令１１によっ
てセットアップされ、このセットアップされた論理仕様
書で定義された外部装置の動作検証を行うための外部装
置検証命令１２をＣＰＵ３へ送出するものである。
出時の検証設定命令部１のセットアップ命令１１によっ
てセットアップされ、このセットアップされた論理仕様
書で定義された外部装置の動作検証を行うための外部装
置検証命令１２をＣＰＵ３へ送出するものである。
【００１２】ＣＰＵ３は、検証設定命令１０を認識し、
この認識された検証設定命令１３を命令解析部４へ送出
するものである。命令解析部４は、検証設定命令１３を
解析することによって、外部装置シミュレータ６の環境
条件の設定、障害状態の設定、及び外部割り込み発生設
定等の条件設定の命令内容を認識し、命令解析内容１４
を設定指示部５へ送出するものである。
この認識された検証設定命令１３を命令解析部４へ送出
するものである。命令解析部４は、検証設定命令１３を
解析することによって、外部装置シミュレータ６の環境
条件の設定、障害状態の設定、及び外部割り込み発生設
定等の条件設定の命令内容を認識し、命令解析内容１４
を設定指示部５へ送出するものである。
【００１３】設定指示部５は、命令解析部４で解析され
た各種命令解析内容１４を設定する設定指示１５を外部
装置シミュレータ６へ送出すると共に、ＣＰＵ３と外部
装置シミュレータ６間のデータのリード／ライト要求の
条件コード１６を生成してＣＰＵ３へ送出するものであ
る。
た各種命令解析内容１４を設定する設定指示１５を外部
装置シミュレータ６へ送出すると共に、ＣＰＵ３と外部
装置シミュレータ６間のデータのリード／ライト要求の
条件コード１６を生成してＣＰＵ３へ送出するものであ
る。
【００１４】外部装置シミュレータ６は、設定指示１５
に応じた条件設定を行う。ＣＰＵ３は、前記した処理機
能の他に、外部装置検証命令１２を認識し、この認識さ
れた外部装置検証命令１７を外部装置シミュレータ６へ
送出すると共に、条件コード１６に応じて、外部装置シ
ミュレータ６との間で外部装置検証命令１７に応じて処
理されたデータのリード／ライトを行う。
に応じた条件設定を行う。ＣＰＵ３は、前記した処理機
能の他に、外部装置検証命令１２を認識し、この認識さ
れた外部装置検証命令１７を外部装置シミュレータ６へ
送出すると共に、条件コード１６に応じて、外部装置シ
ミュレータ６との間で外部装置検証命令１７に応じて処
理されたデータのリード／ライトを行う。
【００１５】即ち、外部装置シミュレータ６は、設定指
示１５に応じた条件設定後に入力される外部装置検証命
令１７に応じて実際の外部装置と同様の処理を行い、こ
の処理終了後に、外部割り込み命令１８と処理データ１
９をＣＰＵ３へ送出すると共に、比較部７へ処理データ
１９を送出するようになっている。
示１５に応じた条件設定後に入力される外部装置検証命
令１７に応じて実際の外部装置と同様の処理を行い、こ
の処理終了後に、外部割り込み命令１８と処理データ１
９をＣＰＵ３へ送出すると共に、比較部７へ処理データ
１９を送出するようになっている。
【００１６】更に、外部割り込み命令１８に応じて割り
込みがかかったＣＰＵ３は、処理データ１９に対応する
自己保有の比較データ２０を比較部７へ送出するように
なっている。
込みがかかったＣＰＵ３は、処理データ１９に対応する
自己保有の比較データ２０を比較部７へ送出するように
なっている。
【００１７】比較部７は、処理データ１９と比較データ
２０とを比較し、この比較結果２１を結果確認部８へ送
出するものである。結果確認部８は、比較結果２１から
処理データ１９が正しいか否かを確認することによって
外部装置シミュレータ６の処理動作を確認するものであ
る。
２０とを比較し、この比較結果２１を結果確認部８へ送
出するものである。結果確認部８は、比較結果２１から
処理データ１９が正しいか否かを確認することによって
外部装置シミュレータ６の処理動作を確認するものであ
る。
【００１８】このような構成において、最初に、外部装
置シミュレータ６に対してリード／ライト要求を行う場
合のシミュレーション動作を説明する。まず、外部装置
シミュレータ６のセットアップを行うために、検証設定
命令部１がリード／ライト要求時の検証設定命令１０を
ＣＰＵ３へ送出する。ＣＰＵ３はその命令１０を認識
し、この認識検証設定命令１３を命令解析部４へ送出す
る。
置シミュレータ６に対してリード／ライト要求を行う場
合のシミュレーション動作を説明する。まず、外部装置
シミュレータ６のセットアップを行うために、検証設定
命令部１がリード／ライト要求時の検証設定命令１０を
ＣＰＵ３へ送出する。ＣＰＵ３はその命令１０を認識
し、この認識検証設定命令１３を命令解析部４へ送出す
る。
【００１９】命令解析部４は、検証設定命令１３を解析
することによって、外部装置シミュレータ６の環境条件
の設定、障害状態の設定、及び外部割り込み発生設定等
の条件設定の命令内容を認識すると共に、リード／ライ
ト要求の認識を行い、この認識された命令解析内容１４
を設定指示部５へ送出する。
することによって、外部装置シミュレータ６の環境条件
の設定、障害状態の設定、及び外部割り込み発生設定等
の条件設定の命令内容を認識すると共に、リード／ライ
ト要求の認識を行い、この認識された命令解析内容１４
を設定指示部５へ送出する。
【００２０】設定指示部５は、命令解析内容１４から各
種命令を設定する指示、即ち設定指示１５を外部装置シ
ミュレータ６へ送出すると共に、リード／ライト要求の
条件コード１６を生成してＣＰＵ３へ送出する。外部装
置シミュレータ６は、設定指示１５に応じた条件設定を
行う。即ちセットアップが行われる。
種命令を設定する指示、即ち設定指示１５を外部装置シ
ミュレータ６へ送出すると共に、リード／ライト要求の
条件コード１６を生成してＣＰＵ３へ送出する。外部装
置シミュレータ６は、設定指示１５に応じた条件設定を
行う。即ちセットアップが行われる。
【００２１】この後、ＣＰＵ３は、条件コード１６のリ
ード／ライト要求を行う。即ち、ライト要求時には、ラ
イト要求に応じてデータを外部装置シミュレータ６へ送
出して書き込む。
ード／ライト要求を行う。即ち、ライト要求時には、ラ
イト要求に応じてデータを外部装置シミュレータ６へ送
出して書き込む。
【００２２】リード要求時には、リード要求に応じて外
部装置シミュレータ６からデータを読み込む。この際、
外部装置シミュレータ６は、ＣＰＵ３のリード要求に応
じて実際の外部装置と同様の処理を行い、この処理後
に、外部割り込み命令１８と処理データ１９をＣＰＵ３
へ送出すると共に処理データ１９を比較部７へ送出す
る。
部装置シミュレータ６からデータを読み込む。この際、
外部装置シミュレータ６は、ＣＰＵ３のリード要求に応
じて実際の外部装置と同様の処理を行い、この処理後
に、外部割り込み命令１８と処理データ１９をＣＰＵ３
へ送出すると共に処理データ１９を比較部７へ送出す
る。
【００２３】外部割り込み命令１８及び処理データ１９
を受けたＣＰＵ３には割り込みがかかり、ここでＣＰＵ
３は、処理データ１９に対応する自己保有の比較データ
２０を比較部７へ送出する。
を受けたＣＰＵ３には割り込みがかかり、ここでＣＰＵ
３は、処理データ１９に対応する自己保有の比較データ
２０を比較部７へ送出する。
【００２４】比較部７は、比較データ２０と処理データ
１９とを比較し、この比較結果２１を結果確認部８へ送
出する。結果確認部８は、その比較結果２１から外部装
置シミュレータ６のリード／ライト機能の処理動作が正
しいか否かを確認する。
１９とを比較し、この比較結果２１を結果確認部８へ送
出する。結果確認部８は、その比較結果２１から外部装
置シミュレータ６のリード／ライト機能の処理動作が正
しいか否かを確認する。
【００２５】次に、実際の外部装置が異常であることを
知らせるためのマシンチェック割り込みがかかる場合と
同等のシミュレーション動作を説明する。この場合も最
初に、外部装置シミュレータ６のマシンチェック割り込
み発生用のセットアップを行うために、検証設定命令部
１がマシンチェック割り込み発生時の検証設定命令１０
を、ＣＰＵ３の認識動作を介して命令解析部４へ送出
し、命令解析部４が、その解析を行うことによってマシ
ンチェック発生設定を認識し、設定指示部５がマシンチ
ェック発生設定の指示１５を外部装置シミュレータ６へ
送出ことによってマシンチェック発生設定が行われる。
知らせるためのマシンチェック割り込みがかかる場合と
同等のシミュレーション動作を説明する。この場合も最
初に、外部装置シミュレータ６のマシンチェック割り込
み発生用のセットアップを行うために、検証設定命令部
１がマシンチェック割り込み発生時の検証設定命令１０
を、ＣＰＵ３の認識動作を介して命令解析部４へ送出
し、命令解析部４が、その解析を行うことによってマシ
ンチェック発生設定を認識し、設定指示部５がマシンチ
ェック発生設定の指示１５を外部装置シミュレータ６へ
送出ことによってマシンチェック発生設定が行われる。
【００２６】この後、検証設定命令部１のマシンチェッ
ク発生設定に応じたセットアップ命令１１によってセッ
トアップされた検証命令実行部２が、論理仕様書で定義
されたマシンチェック発生用の複数種類の外部装置検証
命令１２をＣＰＵ３へ送出する。
ク発生設定に応じたセットアップ命令１１によってセッ
トアップされた検証命令実行部２が、論理仕様書で定義
されたマシンチェック発生用の複数種類の外部装置検証
命令１２をＣＰＵ３へ送出する。
【００２７】ＣＰＵ３は、その受けた命令１２を認識
し、この認識された複数のマシンチェック発生要求の最
初の１つを外部装置検証命令１７によって外部装置シミ
ュレータ６へ送出する。
し、この認識された複数のマシンチェック発生要求の最
初の１つを外部装置検証命令１７によって外部装置シミ
ュレータ６へ送出する。
【００２８】外部装置シミュレータ６は、ＣＰＵ３の要
求に応じて実際の外部装置と同様にマシンチェック割り
込みを発生する。これによってＣＰＵ３へマシンチェッ
ク割り込み命令及びこの際のデータが送出されると共
に、比較部７へそのデータが送出される。
求に応じて実際の外部装置と同様にマシンチェック割り
込みを発生する。これによってＣＰＵ３へマシンチェッ
ク割り込み命令及びこの際のデータが送出されると共
に、比較部７へそのデータが送出される。
【００２９】マシンチェック割り込み命令及びそのデー
タを受けたＣＰＵ３には割り込みがかかり、ＣＰＵ３
は、そのデータに対応する自己保有の比較データ２０を
比較部７へ送出し、これによって比較部７で双方のデー
タの比較が行われ、この比較結果２１から結果確認部８
がマシンチェック割り込みの発生を確認する。
タを受けたＣＰＵ３には割り込みがかかり、ＣＰＵ３
は、そのデータに対応する自己保有の比較データ２０を
比較部７へ送出し、これによって比較部７で双方のデー
タの比較が行われ、この比較結果２１から結果確認部８
がマシンチェック割り込みの発生を確認する。
【００３０】以降同様にＣＰＵ３が残りのマシンチェッ
ク割り込み要求を順番に外部装置シミュレータ６に送出
することによって同様に他の種類のマシンチェック割り
込み発生が確認される。
ク割り込み要求を順番に外部装置シミュレータ６に送出
することによって同様に他の種類のマシンチェック割り
込み発生が確認される。
【００３１】次に、実際の外部装置において通信エラー
が発生する場合と同等のシミュレーション動作を説明す
る。この場合も最初に、外部装置シミュレータ６の通信
エラー発生用のセットアップを行うために、検証設定命
令部１が通信エラー発生設定用の検証設定命令１０を送
出し、ＣＰＵ３、命令解析部４、設定指示部５の処理を
介して外部装置シミュレータ６に通信エラー発生設定を
行う。
が発生する場合と同等のシミュレーション動作を説明す
る。この場合も最初に、外部装置シミュレータ６の通信
エラー発生用のセットアップを行うために、検証設定命
令部１が通信エラー発生設定用の検証設定命令１０を送
出し、ＣＰＵ３、命令解析部４、設定指示部５の処理を
介して外部装置シミュレータ６に通信エラー発生設定を
行う。
【００３２】この後、検証命令実行部２が、通信エラー
発生用の外部装置検証命令１２をＣＰＵ３へ送出し、Ｃ
ＰＵ３が、その通信エラー発生要求を外部装置シミュレ
ータ６へ送出し、外部装置シミュレータ６がその要求に
応じて実際の外部装置と同様に通信エラーを発生する。
発生用の外部装置検証命令１２をＣＰＵ３へ送出し、Ｃ
ＰＵ３が、その通信エラー発生要求を外部装置シミュレ
ータ６へ送出し、外部装置シミュレータ６がその要求に
応じて実際の外部装置と同様に通信エラーを発生する。
【００３３】外部装置シミュレータ６はその発生に応じ
て外部割り込み命令１８及び発生時のデータをＣＰＵ３
へ送出し、これによって割り込みがかかったＣＰＵ３が
そのデータに対応する自己保有の比較データ２０を比較
部７へ送出する。
て外部割り込み命令１８及び発生時のデータをＣＰＵ３
へ送出し、これによって割り込みがかかったＣＰＵ３が
そのデータに対応する自己保有の比較データ２０を比較
部７へ送出する。
【００３４】これによって比較部７で双方のデータの比
較が行われ、この比較結果２１から結果確認部８が通信
エラーの発生を確認する。次に、実際の外部装置におい
て外部割り込みが発生する場合と同等のシミュレーショ
ン動作を説明する。
較が行われ、この比較結果２１から結果確認部８が通信
エラーの発生を確認する。次に、実際の外部装置におい
て外部割り込みが発生する場合と同等のシミュレーショ
ン動作を説明する。
【００３５】この場合も最初に、外部装置シミュレータ
６の外部割り込み発生用のセットアップを行うために、
検証設定命令部１が外部割り込み発生設定用の検証設定
命令１０を送出し、ＣＰＵ３、命令解析部４、設定指示
部５の処理を介して外部装置シミュレータ６に外部割り
込み発生設定を行う。
６の外部割り込み発生用のセットアップを行うために、
検証設定命令部１が外部割り込み発生設定用の検証設定
命令１０を送出し、ＣＰＵ３、命令解析部４、設定指示
部５の処理を介して外部装置シミュレータ６に外部割り
込み発生設定を行う。
【００３６】この後、検証命令実行部２が、外部割り込
み発生用の外部装置検証命令１２をＣＰＵ３へ送出し、
ＣＰＵ３が、その外部割り込み発生要求の１つを外部装
置シミュレータ６へ送出し、外部装置シミュレータ６が
その要求に応じて実際の外部装置と同様に外部割り込み
を発生する。
み発生用の外部装置検証命令１２をＣＰＵ３へ送出し、
ＣＰＵ３が、その外部割り込み発生要求の１つを外部装
置シミュレータ６へ送出し、外部装置シミュレータ６が
その要求に応じて実際の外部装置と同様に外部割り込み
を発生する。
【００３７】外部装置シミュレータ６はその発生に応じ
て外部割り込みデータをＣＰＵ３へ送出し、これによっ
て割り込みがかかったＣＰＵ３がその外部割り込みデー
タに対応する自己保有の比較データ２０を比較部７へ送
出する。
て外部割り込みデータをＣＰＵ３へ送出し、これによっ
て割り込みがかかったＣＰＵ３がその外部割り込みデー
タに対応する自己保有の比較データ２０を比較部７へ送
出する。
【００３８】これによって比較部７で双方のデータの比
較が行われ、この比較結果２１から結果確認部８が外部
割り込みの発生を確認する。以降同様にＣＰＵ３が残り
の外部割り込み発生要求を順番に外部装置シミュレータ
６に送出することによって同様に他の種類の外部割り込
み発生が確認される。
較が行われ、この比較結果２１から結果確認部８が外部
割り込みの発生を確認する。以降同様にＣＰＵ３が残り
の外部割り込み発生要求を順番に外部装置シミュレータ
６に送出することによって同様に他の種類の外部割り込
み発生が確認される。
【００３９】次に、実際の外部装置が障害状態にある際
にそれをキャンセルする場合と同等のシミュレーション
動作を説明する。この場合も最初に、外部装置シミュレ
ータ６を障害状態とするセットアップを行うために、検
証設定命令部１が障害状態設定用の検証設定命令１０を
送出し、ＣＰＵ３、命令解析部４、設定指示部５の処理
を介して外部装置シミュレータ６に障害状態の設定を行
う。
にそれをキャンセルする場合と同等のシミュレーション
動作を説明する。この場合も最初に、外部装置シミュレ
ータ６を障害状態とするセットアップを行うために、検
証設定命令部１が障害状態設定用の検証設定命令１０を
送出し、ＣＰＵ３、命令解析部４、設定指示部５の処理
を介して外部装置シミュレータ６に障害状態の設定を行
う。
【００４０】この後、検証命令実行部２が、障害状態キ
ャンセル用の外部装置検証命令１２をＣＰＵ３へ送出
し、ＣＰＵ３が、その障害状態キャンセル要求を外部装
置シミュレータ６へ送出し、外部装置シミュレータ６が
その要求に応じて実際の外部装置と同様に障害状態をキ
ャンセルする。
ャンセル用の外部装置検証命令１２をＣＰＵ３へ送出
し、ＣＰＵ３が、その障害状態キャンセル要求を外部装
置シミュレータ６へ送出し、外部装置シミュレータ６が
その要求に応じて実際の外部装置と同様に障害状態をキ
ャンセルする。
【００４１】外部装置シミュレータ６はそのキャンセル
処理に応じて外部割り込み命令１８及びキャンセル時の
データをＣＰＵ３へ送出し、これによって割り込みがか
かったＣＰＵ３がそのデータに対応する自己保有の比較
データ２０を比較部７へ送出する。
処理に応じて外部割り込み命令１８及びキャンセル時の
データをＣＰＵ３へ送出し、これによって割り込みがか
かったＣＰＵ３がそのデータに対応する自己保有の比較
データ２０を比較部７へ送出する。
【００４２】これによって比較部７で双方のデータの比
較が行われ、この比較結果２１から結果確認部８が障害
状態のキャンセルを確認する。
較が行われ、この比較結果２１から結果確認部８が障害
状態のキャンセルを確認する。
【００４３】
【発明の効果】以上説明したように、本発明の外部装置
インタフェース検証システムによれば、本体装置と、こ
の装置に対するデータのリード／ライト機能及び外部割
り込み機能を有する外部装置とのインタフェース機能の
検証をシミュレーションによって実現することができる
効果がある。
インタフェース検証システムによれば、本体装置と、こ
の装置に対するデータのリード／ライト機能及び外部割
り込み機能を有する外部装置とのインタフェース機能の
検証をシミュレーションによって実現することができる
効果がある。
【図１】本発明の原理図である。
【図２】本発明の一実施形態による外部装置インタフェ
ース検証システムのブロック構成図である。
ース検証システムのブロック構成図である。
１ 検証設定命令手段 ２ 検証命令実行手段 ３ 本体装置 ６ シミュレータ ５０ インタフェース手段 ５１ 確認手段
Claims (7)
- 【請求項１】 中央演算処理機能を有する本体装置と、
該本体装置に接続されるデータのリード／ライト機能、
送信機能及び外部割り込み機能を有する外部装置とのイ
ンタフェース機能の検証を行う外部装置インタフェース
検証システムにおいて、 前記外部装置の論理仕様書で定義された動作を仮想的に
行うシミュレータと、 該シミュレータに対して前記外部装置と同様な条件設定
を行うための検証設定命令を前記本体装置へ送出する検
証設定命令手段と、 該検証設定命令に対応する該外部装置動作検証を行うた
めの外部装置検証命令を該本体装置へ送出する検証命令
実行手段と、 該本体装置で認識された該検証設定命令を解析すること
により該シミュレータの条件設定内容を認識し、この認
識内容の設定指示を該シミュレータに行うインタフェー
ス手段と、 該設定指示に応じた条件設定後の前記外部装置検証命令
に応じた処理終了後にシミュレータから送出される処理
データと、この処理データ送出時に該シミュレータから
送出される外部割り込み命令により割り込みのかかった
本体装置から送出される該処理データに対応する比較デ
ータとの比較によって該処理データの正／否を確認する
確認手段とを具備したことを特徴とする外部装置インタ
フェース検証システム。 - 【請求項２】 前記検証設定命令手段が、前記本体装置
から前記外部装置に対して行われると同様のデータのリ
ード／ライト要求設定命令を前記本体装置を介して前記
インタフェース手段へ送出し、該リード／ライト要求設
定命令を受けた該インタフェース手段が、データのリー
ド／ライトを行う条件コードを該本体装置へ送出すると
共に、リード／ライト条件設定指示を該シミュレータに
行い、該リード／ライト条件の設定されたシミュレータ
に、該本体装置からのライト要求に応じてデータの書き
込みが行われるようにしたことを特徴とする請求項１記
載の外部装置インタフェース検証システム。 - 【請求項３】 前記リード／ライト条件の設定された前
記シミュレータに、前記本体装置からのリード要求に応
じて読みだされた処理データと、該本体装置から送出さ
れる該処理データに対応する比較データとが、前記確認
手段により比較されて該処理データの正／否が確認され
るようにしたことを特徴とする請求項２記載の外部装置
インタフェース検証システム。 - 【請求項４】 前記検証設定命令手段が、前記シミュレ
ータに対して前記外部装置がマシンチェック割り込み発
生状態となると同状態の設定を行うマシンチェック設定
命令を前記本体装置を介して前記インタフェース手段へ
送出し、該マシンチェック設定命令を受けた該インタフ
ェース手段が、マシンチェック割り込み発生状態の設定
指示を該シミュレータに行い、該設定指示によりマシン
チェック割り込み発生状態の設定されたシミュレータ
に、前記検証命令実行手段が該本体装置を介してマシン
チェック割り込み要求を行い、この要求に応じて該シミ
ュレータがマシンチェック割り込み命令及びこの際に発
生するデータを該本体装置へ送出し、該マシンチェック
割り込み命令により割り込みのかかった本体装置から送
出される該シミュレータの送出データに対応する比較デ
ータと、該シミュレータの送出データとが該確認手段に
より比較され、このデータの正／否から該マシンチェッ
ク割り込み発生が確認されるようにしたことを特徴とす
る請求項１記載の外部装置インタフェース検証システ
ム。 - 【請求項５】 前記検証設定命令手段が、前記シミュレ
ータに対して前記外部装置が通信エラー発生状態となる
と同状態の設定を行う通信エラー設定命令を前記本体装
置を介して前記インタフェース手段へ送出し、該通信エ
ラー設定命令を受けた該インタフェース手段が、通信エ
ラー発生状態の設定指示を該シミュレータに行い、該設
定指示により通信エラー発生状態の設定されたシミュレ
ータに、前記検証命令実行手段が該本体装置を介して通
信エラー発生要求を行い、この要求に応じて該シミュレ
ータが通信エラー発生の際に発生するデータを該本体装
置へ送出し、該本体装置から送出される該シミュレータ
の送出データに対応する比較データと、該シミュレータ
の送出データとが該確認手段により比較され、このデー
タの正／否から該通信エラー発生が確認されるようにし
たことを特徴とする請求項１記載の外部装置インタフェ
ース検証システム。 - 【請求項６】 前記検証設定命令手段が、前記シミュレ
ータに対して前記外部装置が外部割り込み発生状態とな
ると同状態の設定を行う外部割り込み設定命令を前記本
体装置を介して前記インタフェース手段へ送出し、該外
部割り込み設定命令を受けた該インタフェース手段が、
外部割り込み発生状態の設定指示を該シミュレータに行
い、該設定指示により外部割り込み発生状態の設定され
たシミュレータに、前記検証命令実行手段が該本体装置
を介して外部割り込み発生要求を行い、この要求に応じ
て該シミュレータが外部割り込み発生データを該本体装
置へ送出し、該本体装置から送出される該外部割り込み
データに対応する比較データと、該シミュレータの送出
外部割り込みデータとが該確認手段により比較され、こ
のデータの正／否から該外部割り込み発生が確認される
ようにしたことを特徴とする請求項１記載の外部装置イ
ンタフェース検証システム。 - 【請求項７】 前記検証設定命令手段が、前記シミュレ
ータに対して前記外部装置が障害状態となると同状態の
設定を行う障害設定命令を前記本体装置を介して前記イ
ンタフェース手段へ送出し、該障害設定命令を受けた該
インタフェース手段が、障害発生状態の設定指示を該シ
ミュレータに行い、該設定指示により障害状態の設定さ
れたシミュレータに、前記検証命令実行手段が該本体装
置を介して障害状態のキャンセル要求を行い、この要求
に応じて該シミュレータが障害状態をキャンセルした際
に発生するデータを該本体装置へ送出し、該本体装置か
ら送出される該シミュレータの送出データに対応する比
較データと、該シミュレータの送出データとが該確認手
段により比較され、このデータの正／否から該キャンセ
ルが確認されるようにしたことを特徴とする請求項１記
載の外部装置インタフェース検証システム。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP8029552A JPH09223081A (ja) | 1996-02-16 | 1996-02-16 | 外部装置インタフェース検証システム |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP8029552A JPH09223081A (ja) | 1996-02-16 | 1996-02-16 | 外部装置インタフェース検証システム |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH09223081A true JPH09223081A (ja) | 1997-08-26 |
Family
ID=12279315
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP8029552A Withdrawn JPH09223081A (ja) | 1996-02-16 | 1996-02-16 | 外部装置インタフェース検証システム |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH09223081A (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN101680932A (zh) * | 2007-06-14 | 2010-03-24 | 高通股份有限公司 | 具有用于验证外部接口的功能性的自测试特征的集成电路 |
-
1996
- 1996-02-16 JP JP8029552A patent/JPH09223081A/ja not_active Withdrawn
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN101680932A (zh) * | 2007-06-14 | 2010-03-24 | 高通股份有限公司 | 具有用于验证外部接口的功能性的自测试特征的集成电路 |
| JP2010537156A (ja) * | 2007-08-21 | 2010-12-02 | クゥアルコム・インコーポレイテッド | 外部インタフェースの機能性を検証するためのセルフテスト機構を備えた集積回路 |
| US8484524B2 (en) | 2007-08-21 | 2013-07-09 | Qualcomm Incorporated | Integrated circuit with self-test feature for validating functionality of external interfaces |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US5978584A (en) | Debugging apparatus for debugging a program by changing hardware environments without changing program operation state | |
| US6498999B1 (en) | Method and apparatus for design verification of an integrated circuit using a simulation test bench environment | |
| Havelund et al. | Formal verification of a power controller using the real-time model checker Uppaal | |
| RU2383926C2 (ru) | Способ и система контроля робастности модели физической системы | |
| TWI598819B (zh) | 基於虛擬機器進行硬體裝置測試之電腦系統及方法 | |
| Cimatti et al. | Model checking safety critical software with SPIN: an application to a railway interlocking system | |
| US20080299525A1 (en) | Operation training system and operation training method | |
| JPH02189663A (ja) | 入出力データ転送方式 | |
| JPH09223081A (ja) | 外部装置インタフェース検証システム | |
| WO2021111639A1 (ja) | コントローラ | |
| CN113806153B (zh) | 一种芯片验证方法 | |
| JPH07141176A (ja) | コマンドリトライ制御方式 | |
| CN115687166A (zh) | 一种形式化验证方法及系统 | |
| CN115268853A (zh) | 一种基于约束求解器的自动形式验证方法与装置 | |
| JP2006155047A (ja) | 検証システム及び検証方法 | |
| JP2003167755A (ja) | 信号処理系の故障診断方法および装置 | |
| JPH10326203A (ja) | 複数のハードウェア環境上においてプログラムを別々に動作させつつも、ハードウェア環境間で動作状態を継承し合うことができるデバッグ装置 | |
| JP2002229811A (ja) | 論理分割システムの制御方法 | |
| JPS62103738A (ja) | プログラマブルコントロ−ラ | |
| JP2007156728A (ja) | 論理検証方法及び論理検証システム | |
| JPH1040133A (ja) | ソフトウェアシミュレータ | |
| JPS644211B2 (ja) | ||
| CN117669443A (zh) | 一种芯片原型验证方法、装置、设备及介质 | |
| CN112987690A (zh) | 一种espi控制器验证系统及方法 | |
| JPS60122432A (ja) | 計算機システムにおける割込機能診断方式 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A300 | Withdrawal of application because of no request for examination |
Free format text: JAPANESE INTERMEDIATE CODE: A300 Effective date: 20030506 |