JPH0434624A - パリティデータ初期条件設定装置 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 ［産業上の利用分野〕 本発明は、パリティデータ初期条件設定装置に関し、特
に、論理シミュータを用いて、情報処理システムの論理
検証を行う論理検証装置！ｉ＝ミニパリティデータ期条
件を設定するパリティデータ初期条件設定装置に関する
ものである。

〔従来の技術〕

従来、論理シミュータを用いて、情報処理システムの論
理検証を行う論理検証装置は、パリティデータに関する
データ処理機能を持っていない。

このため、情報処理システムのパリティに関する論理検
証を行う場合は、テスト命令やメモリ（ＲＡＭ）のデー
タ　（パリティを除くデータ）の設定を論理検証装置で
行い、また、パリティデータの設定に対しては、動作記
述言語でデータ設定プログラムを記述し、専用のファイ
ルへ格納し、論理シミュレーション処理を行っている。

この方法であると、テスト命令列等はパリテ・ｆデータ
を対応づけて別ファイルで管理しなければならず、また
、動作記述言語でパリティデータを記述する際には、各
ＲＡＭエントリデータにバリティを含めたデータ形式で
記述しなければならず、このため、動作記述言語の文法
を理解しなけ九ばならず、データ設定が困難である。

このように、従来においては、論理シミュレータを用い
て、論理検証を行う場合、論理シミューションテスト命
令列と論理シミューション初期環境設定条件とを論理シ
ミュレーション対象の内部仕様に依存した形で、個々に
作成しており、パリティデータに関しては、論理検証装
置での論理検証がなされていない。

なお、この種の公知文献としては、特開平１−２０９５
４２号公報が挙げられる。

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

ところで、上述のように、従来の論理検証装置において
、動作記述言語でパリティデータの設定プログラムを記
述する場合には、ＲＡＭデータ内にパリティを含めた形
式でパリティデータを記述する等、動作記述言語の文法
に従って記述しなければならず、動作記述言語を理解す
ることが必須要件となる。また、この場合１作成したパ
リティデータの設定プログラムは他のＲＡＭデータの論
理検証への流用が困難となっている。

これらの論理検証のためのデータは論理シミュレーショ
ン対象のテスト命令列等が格納されているファイルとは
独立した別のファイルに格納されており、論理シミュレ
ーションのテスト命令列等とパリティデータとを対応づ
けて管理しなければならない。

したがって、多くの論理検証用プログラムを作成した際
、これらの対応づけが容易でないという問題がある。

本発明は、上記のような問題を解決するためになされた
ものである。

本発明の目的は、論理シミュレータ上の疑似メモリに設
定するパリティデータの作成を容易にし、作成したパリ
ティデータを他のメモリの論理検証への流用を容易にし
たパリティデータ初期条件設定装置を提供することにあ
る。

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

上記目的を達成するため、本発明のパリティデータ初期
条件設定装置は、論理シミュータを用いて、情軸処理シ
ステムの論理検証を行う論理検証装置にパリティデータ
の初期条件を設定するパリティデータ初期条件設定装置
であって、情報処理システムの各部のメモリに格納する
各メモリデータにパリティビットデータを与えるシミュ
レーション初期データを所定フォーマットで入力するデ
ータ入力部と、所定フォーマットのパリティ初期データ
をメモリに対応するパリティビットフォーマットのメモ
リ初期データへ変換するデータ変換部と、論理シミュレ
ータ上の疑似メモリにメモリ初期データを設定するデー
タ設定部とを備えたことを特徴とする。

〔作用〕

これによれば、データ入力部と、データ変換部と、デー
タ設定部とが備えられる。データ入力部は、情軸処理シ
ステムの各部のメモリに格納する各メモリデータにパリ
ティビットデータを与えるシミュレーション初期デ７夕
を所定フォーマットで入力する。データ変換部は、所定
フォーマットのパリティ初期データをメモリに対応する
パリティビットフォーマットのメモリ初期データへ変換
する。また、データ設定部は、論理シミュレータ上の疑
似メモリにメモリ初期データを設定する。

このように、パリティを含むメモリ初期データを与える
パリティデータは入力要求に従い、データ入力部から必
要条件を所定のフォーマットに従って入力し、その入力
データを基にして、パリティデータ初期条件設定装置用
のパリティデータを作成する。このパリティデータを基
にして、データ変換部により指定されたメモリ（ＲＡＭ
）に対応するパリティデータ構成のメモリ初期データに
変換する０次に、そのパリティデータ構成を基にして、
データ設定部により論理シミュレータ上の疑似メモリに
メモリ初期データを設定し、パリティデータのみを指定
したＲＡＭのパリティ位置に初期データが設定される。

これにより、ＲＡＭの種類とパリティ位置およびパリテ
ィビットの正負を指定するだけで、容易に各々のメモリ
にパリティデータを設定するととができる。

〔実施例〕

以下、本発明の一実施例を図面を用いて具体的に説明す
る。

第１図は、本発明の一実施例にかかるパリティデータ初
期条件設定装置の全体の構成を示すブロック図である。

第１図において、１０はパリティデータ初期条件設定装
置、１５は入力装置のＴＳＳ端末装置、１６はファイル
装置、１７は論理シミュレータである。パリティデータ
初期条件設定装置ｆ１０は、データ設定制御部１１．デ
ータ入力部１２．データ変換部１３．およびデータ設定
部１４から構成されている。データ入力部１２には、デ
イスプレィ装置とキーボードからなるＴＳＳ端末装置１
５．ファイル群のファイル装置１６等の入出力デバイス
が接続され、各々の入出力デバイスからの入力データ、
制御要求等が供給される。

データ設定制御部１１は、データ入力部１２が受は取っ
て渡されてくる外部からの制御要求に従って、データ設
定の処理状態の動作モードの遷移を制御する。データ変
換部１３は、疑似ＲＡＭパリティデータから指定された
ＲＡＭのパリティビットフォーマットへの変換を行う。

また、データ設定部１４は、データ変換部１３により作
成されたパリティビットを含むメモリ初期データを論理
シミュレータ１７の疑似メモリに直接に設定する。

第２図は、データファイルに蓄積するパリティデータの
フォーマットを示す図である。パリティデータは、論理
シミュレータ上の疑似ＲＡＭにパリティを設定する場合
に必要な条件のデータ設定パラメータを予め設定してお
くデータとなっている。第２図に示すように、パリティ
データ２ｏのフォーマットは、各々が１バイト（ＩＢ）
であるバリッドビットフィールド２１．ＲＡＭ名称番号
フィールド２２．バンク番号フィールド２３．およびロ
一番号フィールド２４と、４バイトのカラムアドレスフ
ィールド２５と、８バイトのパリティデータフィールド
２６から構成されている。バリッドビットフィールド２
１には、このパリティデータが有効であるが否がを決定
するビットを設定する。パリティビットのデータ設定位
置を決定するためのデータは、ＲＡＭ名称番号フィール
ド２２、バンク番号フィールド２３．およびロ一番号フ
ィールド２４と、４バイトのカラムアドレスフィールド
２５とに設定する。また、設定するパリティビットのデ
ータは、８バイトのパリティデータフィールド２６に設
定する。これらのフィールドに設定するデータは、情報
処理システム番こおける各々のＲＡＭに設定するパリテ
ィピットに対応して、それを指示するためのデータがデ
ータ入力部１２を介して入力される。

以下、各部における処理について説明する。

第３図は、データ入力部の処理フローを示すフローチャ
ートである。

第３図を参照して説明する。データ入力部１２では、Ｔ
ＳＳ端末装置１５のキーボード用いてデータ入力を行う
。まず、ステップ３１において、パリティ初期値データ
入力を行う０次に、ステップ３２において、更にデータ
の入力および更新を行うか否かを判定し、入力および更
新である場合には、ステップ３１に戻り、この処理を繰
り返す。

この処理により、各ＲＡＭのパリティデータの新規作成
を行い、または、更新を行う。

ステップ３２の判断で更にデータの入力および更新を行
なわない場合には、ステップ３３に進む。

ステップ３３では、データファイル３ｏがらファイル内
データの読比しを行い、次のステップ３４において、先
に入力または更新したデータに対応する命令列などのデ
ータが既存であるが否かを判定する。論理シミュレーシ
ョン対象となるテスト命令列等がデータファイル３ｏに
既に存在していれば、ステップ３５で、既存のテスト命
令等のデータにマージする処理を行う０次にステップ３
６において、データファイル３ｏに呂カして、マージし
たデータを格納する処理を行う６ 一方、ステップ３４の判断で、命令列などが既存でない
場合には、入力したパリティ初期値データは新規登録と
して、そのまま、ステップ３６に進み、データファイル
に呂カする処理を行い、全体の処理を終了する。

このように、データ入力部１２でのデータ入力の処理は
ＴＳＳ端末装置１５のマンマシンインタフェース画面表
示を用いて、オペレータと会話形式でデータ入力の処理
を行なう。

第４図は、データ変換部の処理フローを示すフローチャ
ートである。第４図を参照して、データ変換部の処理を
説明すると、データ変換部１３の処理は、まず、ステッ
プ４１で、デー人力部１２の処理で作成されたデータフ
ァイル３０からファイルデータの読出しを行い、次のス
テップ４２において、読出したパリティデータから変換
対象となるＲＡＭを決定する。続いて、ステップ４３に
おいて、パリティデータに変換する処理を行う。

この変換処理は、例えば、読み出した論理検証用テスト
命令実行時の疑似ＲＡＭ初期値のパリティデータから、
ＲＡＭを決定し、パリティデータビット位置に順次に、
各ＲＡＭエントリのデータ先頭から近い順にパリティ位
置とを対応させる規則に従って、ＲＡＭ名称番号で指定
されたＲＡＭのパリティビットフォーマットへ変換する
。変換した結果のデータは、データ設定部１４が使用す
るワークメモリエリア４０にデータ１として格納して、
処理を終了する。次に、続いて行うデータ設定部１４に
よる論理シミュレータへのデータ設定の処理を説明する
。

第５図は、データ設定部の処理フローを示すフローチャ
ートである。

データ設定部１４においては、前段のデータ変換部１３
により作成され、ワークメモリ４０に格納されたデータ
１を読み出して、論理シミュレータ１７に設定する処理
を行う、すなわち、まず。

ステップ５１において変換データの読み呂しを行う、こ
れにより、データ１がワークメモリエリア４０から読出
される０次にステップ５２において、論理シミュレータ
１７にデータを設定する処理を行う。これは、パリティ
データ（第２図；２０）として設定したデータを基に、
ＲＡＭおよびエントリデータ位置を決定する各々のデー
タ（バリッドビット、ＲＡＭ名称番号、バンク番号、ロ
一番号、カラムアドレス）を用いて、論理シミュレータ
１７上の疑似メモリに直接に設定する。

第６図は、所定のフォーマットで指定されたフォーマッ
トのパリティデータから論理検証用データに変換する処
理を説明する図である。

データ変換部１３における変換処理では、第６図に示す
ように、デー人力部１２で作成されたパリティデータ２
０から、論理検証用テスト命令実行時の疑似ＲＡＭの初
期値のパリティビットを含むデータ６１に変換する処理
を行う、これはパリティデータ２０のバリッドビット（
２１）により有効なパリティデータであることを判定す
ると、このＲＡＭ名称番号、バンク番号、ロ一番号、お
よびカラムアドレスから、ＲＡＭエントリデータを読み
出し、このＲＡＭエントリデータの所定位置に、パリテ
ィデータフィールド２６で設定されているパリティビッ
トを重ね合わすようにして設定する。これにより、ＲＡ
Ｍエントリデータには任意にパリティビットを設定でき
る。

すなわち、ＲＡＭエントリデータに対して、８バイトの
パリティデータフィールド２６に設定されたパリティデ
ータのビット位置（０，０；Ｏバイト目のＯビット位置
）から順にビット位置（７゜７）まで、各ＲＡＭエント
リのデータ先頭から近い順にパリティ位置とを対応させ
る規則に従って、ＲＡＭ名称番号で指定されたＲＡＭの
パリティビットフォーマットへ変換する。変換されたパ
リティビットを含むデータは、ＲＡＭエントリを示すア
ドレスデータと共に、データ１としてワークメモリエリ
ア４０に格納される。

このように、データ入力部１２は、情報処理システムの
各部のメモリに格納する各メモリデータにパリティデー
タを与えるシミュレーション初期データを入力する。ま
た、データ変換部１３は、既に入力済のパリティデータ
に対して、あるメモリのパリティを含む初期データを異
なるメモリの初期データへの変換を行う。そして、デー
タ設定部１４は、論理シミュレータ上の疑似メモリにパ
リティの初期データを設定する。これにより、以降は、
ＲＡＭの種類とパリティ位置およびパリティビットの正
負を指定するだけで、データ変換部１３およびデータ設
定部により容易にパリティデータを設定することができ
る。

次に本実施例の変形例を説明する。ここで設定するパリ
ティデータのフォーマット（第３図）は。

論理検証を行う情報処理システムにおける各部のメモリ
（ＲＡＭ）に対応して、パリティビットを任意に設定で
きるように、設定するパリティデータと共に、主記憶、
アドレス変換バッファテーブル（ＴＬＢ）、バッファ記
憶（ＢＳ）、中間バッファ記憶（ＷＳ）などのメモリを
指定するＲＡＭ名称番号と、そのメモリ内の記憶位置を
指定するバンク番号、ロ一番号、カラムアドレスなどの
パリティビットの設定位置データと指定するものである
が、これに加えて、情報処理システムのモデルを指定す
るフィールドが設けることにより、ここでのパリティデ
ータを更に広い範囲に流用できるようになる。

第７図は、パリティデータのフォーマットの他の例を示
す図である。第７図に示すように、このパリティデータ
７０のフォーマットでは、１バイトの情報処理システム
のモデル指定を行うモデル指定フィールド７２が更に設
けられている。すなわち、パリティデータ７０は各々が
１バイト（ＩＢ）であるバリッドビットフィールド７１
．モデル指定フィールド７２．ＲＡＭ名称番号フィール
ド７３．バンク番号フィールド７４．およびロー番号フ
ィールド７５と、４バイトのカラムアドレスフィールド
７６と、８バイトのパリティデータフィールド７７とか
ら構成されている。このようなパリティデータは、前述
の実施例と同様に、データ入力部１２により入力される
。

第８図は、パリティデータのフォーマットにモデル指定
フィールドを有する場合のデータ変換部の処理フローを
示すフローチャートである。

第８図を参照して、この場合のデータ変換部の処理を説
明すると、まず、ステップ８１で、既に作成されたデー
タファイル８０からファイルデータの読出しを行い、次
のステップ８２において、読比したパリティデータから
変換対象となるＲＡＭを決定する。次に、ステップ８３
において、モデル指定フィールドのデータからマシンモ
デルを決定する処理を行う、続いてステップ８４におい
て、パリティデータに変換する処理を行う。

このパリティデータに変換する処理は、前述した変換処
理と同様である０例えば、読み出した論理検証用テスト
命令実行時の疑似ＲＡＭ初期値のパリティデータから、
ＲＡＭを決定し、マシンモデルの指定にしたがって、そ
れぞれのパリティデータビット位置に順次に、各ＲＡＭ
エントリのデータ先頭から近い順にパリティ位置とを対
応させる規則に従って、ＲＡＭ名称番号で指定されたＲ
ＡＭのパリティビットフォーマットへ変換する。

以上、本発明を実施例にもとづき具体的に説明したが、
本発明は、前記実施例に限定されるものではなく、その
要旨を逸脱しない範囲において種々変更可能であること
は言うまでもない。

〔発明の効果〕

以上、説明したように、本発明のパリティデータ初期条
件設定装置によれば、所定フォーマットのパリティデー
タの設定により、ＲＡＭの種類とパリティ位置およびパ
リティビットの正負を指定するだけで、論理シミュレー
タ上の疑似メモリに、パリティビットのみを任意に指定
してパリティビットを設定できる。これにより、論理シ
ミュレータで論理検証を行う場合のＲＡＭへのパリティ
ビットの設定が容易に行え、パリティに関する論理検証
が容易に行える。また、既に設定しであるパリティデー
タは、複数のＲＡＭに共用でき、また。

他の情報処理システムのモデルにも流用できるので、論
理検証を能率よく行うことができる。

【図面の簡単な説明】

第１図は、本発明の一実施例にががるパリティデータ初
期条件設定装置の全体の構成を示すブロック図。 第２図は、データファイルに蓄積するパリティデータの
フォーマットを示す図。 第３図は、データ入力部の処理フローを示すフローチャ
ート、 第４図は、データ変換部の処理フローを示すフローチャ
ート、 第５図は、データ設定部の処理フローを示すフローチャ
ート、 第６図は、所定のフォーマットで指定されたフォーマッ
トのパリティデータから論理検証用データに変換する処
理を説明する図、 第７図は、パリティデータのフォーマットの他の例を示
す図、 第８図は、パリティデータのフォーマットにモデル指定
フィールドを有する場合のデータ変換部の処理フローを
示すフローチャートである。 図中、１０・・・パリティデータ初期条件設定装置。 １１・・・設定制御部、１２・・・データ入力部、１３
・・・データ変換部、１４・・・データ設定部、１５・
・・ＴＳＳ端末装置、１６・・・ファイル装置、１７・
・・論理シミュレータ、２０・・・パリティデータ、２
１・・・バリッドビットフィールド、２２・・・ＲＡＭ
名称番号フィールド、２３・・・バンク番号フィールド
、２４・・・ロ一番号フィールド、２５・・・カラムア
ドレスフィールド、２６・・・パリティデータフィール
ド、７０・・・パリティデータ、７１・・・バリッドビ
ットフィールド、７２・・・モデル指定フィールド、７
３・・・ＲＡＭ名称番号フィールド、７４・・・バンク
番号フィールド、７５・・・ロ一番号フィールド、７６
・・・カラムアドレスフィールド、７７・・・パリティ
データフィールド。

Claims (1)

【特許請求の範囲】
1. １、論理シミュータを用いて、情報処理システムの論理
   検証を行う論理検証装置にパリテイデータの初期条件を
   設定するパリテイデータ初期条件設定装置であって、情
   報処理システムの各部のメモリに格納する各メモリデー
   タにパリテイビットデータを与えるシミュレーション初
   期データを所定フォーマットで入力するデータ入力部と
   、所定フォーマットのパリテイ初期データをメモリに対
   応するパリテイビットフォーマットのメモリ初期データ
   へ変換するデータ変換部と、論理シミュレータ上の疑似
   メモリにメモリ初期データを設定するデータ設定部とを
   備えたことを特徴とするパリテイデータ初期条件設定装
   置。