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

Abstract

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

Description

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

（従来の技術） 従来の論理シミュレーションシステムは、試験対象とな
る論理装置と同等の動作を複数の論理ブロックから構成
されるハードウェア論理シミュレータを使用して短時間
でシミュレーションを行ない、論理設計の検査を行なっ
ていた（例えば特開昭５９−１１４５９　）。

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

上述した従来の論理シミュレーションシステムは、複数
の論理装置からなる大規模な論理システムをシミュレー
トするとき、論理システムのシミュレーションモデルを
作成し、１台のハードウェア論理シミュレータでシミュ
レートしなければならないため、ハードウェア論理シミ
ュレータの規模が十分大きくなければならないという欠
点がある。

（課題を解決するための手段） 本発明の論理シミュレーションシステムは、検査対象の
論理装置をシミュレートするハードウェア論理シミュレ
ータと、検査対象以外の論理装置を高速にシミュレート
する簡易論理シミュレータと、簡易論理シミュレータと
ハードウェア論理シミュレータとを有機的に接続する回
線系接続手段と、論理シミュレーションの実行を制御す
る実行制御手段とを有する。

〔作　用〕

検査対象以外の論理装置は簡易論理シミュレータでシミ
ュレートすることにより、大規模なハードウェア論理シ
ミュレータを開発する必要がない。

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

第１図は本発明の論理シミュレーションシステムの一実
施例の構成図、第２図はシミュレーションの対象となる
論理システムの構成図、第３図はシミュレータ間で転送
される情報の形式を示す図、第４図はシミュレーション
実行制御プログラム５３の処理を示す図、第５図はＥＰ
Ｕ２０３からＭＭＵ２０１に対するメモリ読出しのシミ
ュレーション手順を示す図である。

本実施例は、第１図に示されるように、第１のハードウ
ェア論理シミュレータ１と第２のハードウェア論理シミ
ュレータ２と第１の簡易論理シミュレータ３と第２の簡
易論理シミュレータ４と汎用コンピュータ５とが、それ
ぞれループ接続装置９で接続されて構成され、汎用コン
ピュータ５には論理シミュレーションモデル６、試験プ
ログラム７が格納されている磁気ディスク装置および′
プリンタ８が接続されている。

第１のハードウェア論理シミュレータ１は第１の論理シ
ミュレーション部１１と第１のシミュレーション制御部
１２と第１のチャネル制御回路１３とからなっている。

同様に第２のハードウェア論理シミュレータ２は第２の
論理シミュレーション部２１と第２のシミュレーション
制御部２２と第２のチャネル制御回路２３とからなり、
第３の簡易論理シミュレータ３は第３の論理シミュレー
ション部３１と第３のシミュレーション制御部３２と第
３のチャネル制御回路３３とからなり、第２の簡易論理
シミュレータ４は第４の論理シミュレーション部４１と
第４のシミュレーション制御部４２と第４のチャネル制
御回路４３とからなっている。汎用コンピュータ５は入
出力処理装置５１と主記憶装置５２と命令処理装置５５
とからなり、主記憶装置５２には、第１、第２のハード
ウェア論理シミュレータ１２および第１、第２の簡易論
理シミュレータ３．４を制御するシミュレーション実行
制御プログラム５３が格納されており、オペレーティン
グシステム５４の制御のもとで動作する。

本実施例がシミュレートする論理システムは、第２図に
示されるように、主記憶装置（ＭＭＵ）２０１と演算処
理装置（ＥＰＵ）２０３と演算処理装置（ＥＰＵ）２０
４とがシステム制御装置（ＳＣＵ）２０２に接続されて
おり、さらにサービスプロセッサ（ＳＶＰ）２０５が５
ＣＵ２０２を介してＭＭＵ２０１、ＥＰＵ２０３および
ＥＰＵ２０４に接続されている。なお、本実施例におけ
る検査対象装置はＭＭＵ２０１と５ＣＵ２０２である。

第１、第２のハードウェア論理シミュレータ１．２およ
び第１、第２の簡易論理シミュレータ３．４と汎用コン
ピュータ５との間で転送される情報は、第３図に示され
るように、送信先３０１と送信元３０２と送信データ３
０３とで構成される。

次に、本実施例の動作を説明する。

まず、オペレーティングシステム５４は、シミュレーシ
ョン実行制御プログラム５３を主記憶装置５２にロード
し、シミュレーション実行制御プログラム５３を起動す
る。

起動されたシミュレーション実行制御プログラム５３は
、第４図に示した処理を行なう。まず、ループ接続装置
９を介して第１、第２のハードウェア論理シミュレータ
１．２と第１、第２の簡易論理シミュレータ３．４に対
しハードウェアの初期化を指示しく処理４０１）初期化
の終了した第１、第２のハードウェア論理シミュレータ
１．２および第１、第２の簡易論理シミュレータ３．４
に対し磁気ディスク装置に格納されている論理シミュレ
ーションモデル６をループ接続装置９を経由してロード
する（処理４０２）。ここで、第１のハードウェア論理
シミュレータ１にはＭＭＵ２０１をシミュレートする論
理シミュレーションモデルをロードし、第２のハードウ
ェア論理シミュレータ２には５ＣＵ２０２をシミュレー
トする論理シミュレーションモデルをロードし、第１の
簡易論理シミュレータ３にはＥＰＵ２０３を、第２の簡
易論理シミュレータ４にはＥＰＵ２０４を命令レベルで
シミュレートする簡易論理シミュレーションモデルをロ
ードする。続いて、シミュレーション実行制御プログラ
ム５３は、磁気ディスク装置に格納されてい名試験プロ
グラム７をループ接続装置９を経由してＭＭＵ２０１を
シミュレートする第１のハードウェア論理シミュレータ
１の第１の論理シミュレーション部１１にロードする（
処理４０３）。このように、シミュレーション実行制御
プログラム５３は５ｖＰ２０５の機能をシミュレートす
ることになる。さて、試験プログラム７のロードが完了
すると第１〜ループ接続装置９を介して第１〜第４のシ
ミュレーション制御部１２〜４２に対しシミュレーショ
ンの開始を指示すると（処理４０４）、各論理シミュレ
ータ１〜４は他装置からの起動通信待状態となる。この
ときＥＰＵ２０３をシミュレートする第１の簡易論理シ
ミュレータ３に対し、ループ接続装置９を経由して試験
プログラム起動のためのプロセッサ間通信を送信する（
処理４０５）。続いて、シミュレーション実行制御プロ
グラム５３は、第１〜第２のハードウェア論理シミュレ
ータ！、２および第１〜第２の簡易論理シミュレータ３
．４からの要求を待ち合わせ（処理４０６）、第３図に
示されるデータを伴なった要求を受は付けると、送信デ
ータ３０３の送信先３０１を検査しく処理４０７）、送
信先が汎用コンピュータ５でなければ受信情報を送信先
３０１で示される論理シミュレータに転送する（処理４
０８）。一方、処理４０７で送信先が汎用コンピュータ
５であると認識したときは、第１、第２のハードウェア
論理シミュレータ１．２および第１、第２の簡易論理シ
ミュレータ３．４に対しシミュレーションの終了を指示
しく処理４０９）、第１〜第４の論理シミュレーション
部１１〜４１に格納されているシミュレーション結果を
論出しく処理４１０）、シミュレーション結果を編集し
てプリンタ８に出力した後（処理４１１）、全ての処理
を終了する。

次に、本実施例がシミュレートする論理システムの構成
を示す第２図において、ＥＰＵ２０３が他装置と通信す
るのは、ＭＭＵ２０１に対する命令の取り出し、オペラ
ンドへのデータ読出しおよび書込みと、ＥＰＵ２０４に
対する起動および同期のためのプロセッサ間通信に大別
される。ここで、ＭＭＵ２０１に対するデータ読出しに
ついてシミュレーション方法を第５図を用いて説明する
。

まず、第１の簡易論理シミュレータ３　（ＥＰＵ２０３
）の第３の論理シミュレーション部３１がシミュレーシ
ョンの結果メモリ読出しコマンドを生成しく処理５０１
）、第３のシミュレーション制御部３２はメモリ読出し
コマンドを送信データ３０３とし、送信先３０１を第２
のハードウェア論理シミュレータ２　（ＳＣＵ２０２）
にし、送信元３０２を第１の簡易論理シミュレータ３　
（ＥＰＵ２０３）として汎用コンピュータ５に通知する
（処理５０２）。続いて、通知を受は取ったシミュレー
ション実行制御プログラム５３は受信情報を送信先であ
る第２のハードウェア論理シミュレータ２　（ＳＣＵ２
０２）に転送しく処理５０３）、受信した情報をもとに
シミュレーションを行ない（処理５０４）、その結果と
して第１のハードウェア論理シミュレータ１　（ＭＭＵ
２０１）へのコマンドを生成し汎用コンピュータ５に送
信しく処理５０５）、受信データを送信先である第１の
ハードウェア論理シミュレータ１に転送しく処理５０６
）、受信した情報をもとにシミュレーションを行ない（
処理５０７）、シミュレーション結果として得られた読
出しデータを転送するコマンドを生成しく処理５０８）
、汎用コンピュータ５にコマンドを送信しく処理５０９
）、受信したコマンドを送信先である第２のハードウェ
ア論理シミュレータ２　（ＳＣＵ２０２）に転送しく処
理５１０）、受信した情報をもとにシミュレーションを
行ない（処理５１１）、シミュレーションの結果として
第１の簡易論理シミュレータ３　（ＥＰＵ２０３）に読
出しデータを送信するコマンドを生成し汎用コンピュー
タ５に送信しく処理５１２）、受信した情報を送信先で
ある第１の簡易論理シミュレータ３（ＥＰＵ２０３）に
転送しく処理５１３）、受信した情報をもとに第１の簡
易論理シミュレータ３（ＥＰＵ２０３）でシミュレーシ
ョンを続行する（処理５１４）ことで一連のメモリ読出
し処理を終了する。

ここで、メモリ書込み処理についても読出し処理と同様
にシミュレートできるし、プロセッサ間通信に関しても
第１の簡易論理シミュレータ３（ＥＰＵ２０３）から汎
用コンピュータ５を介して第２のハードウェア論理シミ
ュレータ２（ＳＣＵ２，０２）に、さらに汎用コンピュ
ータ５を介して第２の簡易論理シミュレータ４　（ＥＰ
Ｕ２０４）に情報を転送することでシミュレートできる
。また、第２の簡易論理シミュレータ４（ＥＰＵ２０４
）からのメモリアクセスおよび第１の簡易論理シミュレ
ータ３　（ＥＰＵ２０４）へのプロセッサ間通信につい
ても同様にシミュレートすることができる。

ところで、本実施例ではハードウェア論理シミュレータ
が２台と簡易論理シミュレータが２台であるが、それぞ
れ１台以上であれば何台であっても良いことは明らかで
ある。また、各論理シミュレータは汎用コンピュータを
介して通信しているが直接通信して良いことも明らかで
ある。さらに、本実施例では簡易論理シミュレータを専
用処理装置として実現しているが、汎用コンピュータ上
で動作するシミュレーションプログラムであっても良い
ことは明らかである。さらに、本実施例ではループ接続
装置を使用しているが、回線系接続装置であれば何でも
良いことは明らかである。

〔発明の効果〕

以上説明したように本発明は、ハードウェア論理シミュ
レータと簡易論理シミュレータを回線系接続装置で接続
することにより、大規模なハードウェア論理シミュレー
タを開発することなく、複数の論理装置からなる大規模
な論理システムを効率良くシミュレートできる効果があ
る。

【図面の簡単な説明】

第１図は本発明の論理シミュレーションシステムの一実
施例の構成図、第２図はシミュレーションの対象となる
論理システムの構成図、第３図はシミュレータ間で転送
される情報の形式を示す図、第４図はシミュレーション
実行制御プログラム５３の処理を示す図、第５図はメモ
リ読出しのシミュレーション手順を示す図である。 ｉ　−−−−−−第１のハードウェア論理シミュレータ
、２−−−−−−第２のハードウェア論理シミュレータ
、３−−−−−−第１の簡易論理シミュレータ、４−−
−−−−第２の簡易論理シミュレータ、５−−−−−−
汎用コンピュータ、 ６−−−−−−論理シミュレーションモデル、７・・・
・・・試験プログラム、 ８−−−−・・プリンタ、 ９−−−−−−ループ接続装置、 １１−−−−−−第１の論理シミュレーション部、＋２
−−−−−・第１のシミュレーション制御部、１３−−
−−−−第１のチャネル制御回路、２１−−−−−−第
２の論理シミュレーション部、２２・・・・・・第２の
シミュレーション制御部、２３−−−−−−第２のチャ
ネル制御回路、３１・・・・・・第３の論理シミュレー
ション部、３２−・・・・・第３のシミュレーション制
御部、３３・・・・・・第３のチャネル制御回路、４１
・・・・・・第４の物理シミュレーション部、４２−＝
−・・・第４のシミュレーション制御部、４３−−−−
−−第４のチャネル制御回路、５１−−−−−・入出力
処理装置、 ５２−−−−、−主記憶装置、 ５３−−−−−−シミュレーション実行制御プログラム
、５４・・・・・・オペレーティングシステム、５５・
・・・・・命令処理装置、 ２０１　　・・・・・φＭ　Ｍ　Ｕ　、　　　　　　２
０２　・・・・−３ＣＵ、２０３　　・・・・・・ＥＰ
Ｕ、　　　　　　２０４　　・−−−−−Ｅ　Ｐ　Ｕ　
。 ２０５−・・・・−５ＶＰ、　　　　３０１−−−−−
−送信先、３０２・・・・・・送信元、　　　３０３−
−−−−−送信データ。

Claims (1)

【特許請求の範囲】
1. １、複数の論理装置からなる論理システムをシミュレー
   トする論理シミュレーシステムであって、検査対象の論
   理装置をシミュレートするハードウェア論理シミュレー
   タと、検査対象以外の論理装置を高速にシミュレートす
   る簡易論理シミュレータと、該簡易論理シミュレータと
   前記ハードウェア論理シミュレータとを有機的に接続す
   る回線系接続手段と、論理シミュレーションの実行を制
   御する実行制御手段とを有する論理シミュレーションシ
   ステム。