JPH0573355A - マイクロプログラム記述比較検証方式 - Google Patents
マイクロプログラム記述比較検証方式Info
- Publication number
- JPH0573355A JPH0573355A JP3235806A JP23580691A JPH0573355A JP H0573355 A JPH0573355 A JP H0573355A JP 3235806 A JP3235806 A JP 3235806A JP 23580691 A JP23580691 A JP 23580691A JP H0573355 A JPH0573355 A JP H0573355A
- Authority
- JP
- Japan
- Prior art keywords
- description
- microprogram
- data transfer
- hardware resources
- word
- 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.)
- Pending
Links
Landscapes
- Debugging And Monitoring (AREA)
Abstract
(57)【要約】
【目的】水平型マイクロプログラムの概略記述と詳細記
述との間の一致性の検証を自動化し、検証漏れを起さな
いマイクロプログラム記述比較検証方式を提供するこ
と。 【構成】マイクロプログラムの動作を特定のハードウェ
ア資源間のデータ転送のみで記述するマイクロプログラ
ム概略記述を記憶する概略記述記憶手段２と、マイクロ
プログラムの動作をすべての隣接するハードウェア資源
間のデータ転送により記述するマイクロプログラム詳細
記述を記憶する詳細記述記憶手段３と、詳細記述記憶手
段３のデータをハードウェア資源間のデータ転送のデー
タ依存性に基づいて合成し特定資源名称記憶手段１の記
憶する資源名のみを使用して疑似マイクロプログラム概
略記述を記述する記述変換手段４と、マイクロプログラ
ム概略記述と疑似マイクロプログラム概略記述とを比較
する記述比較手段５と、この比較結果を表示する比較結
果表示手段６とを有する。
述との間の一致性の検証を自動化し、検証漏れを起さな
いマイクロプログラム記述比較検証方式を提供するこ
と。 【構成】マイクロプログラムの動作を特定のハードウェ
ア資源間のデータ転送のみで記述するマイクロプログラ
ム概略記述を記憶する概略記述記憶手段２と、マイクロ
プログラムの動作をすべての隣接するハードウェア資源
間のデータ転送により記述するマイクロプログラム詳細
記述を記憶する詳細記述記憶手段３と、詳細記述記憶手
段３のデータをハードウェア資源間のデータ転送のデー
タ依存性に基づいて合成し特定資源名称記憶手段１の記
憶する資源名のみを使用して疑似マイクロプログラム概
略記述を記述する記述変換手段４と、マイクロプログラ
ム概略記述と疑似マイクロプログラム概略記述とを比較
する記述比較手段５と、この比較結果を表示する比較結
果表示手段６とを有する。
Description
【０００１】
【産業上の利用分野】本発明はマイクロプログラム記述
比較検証方式に関し、特に情報処理システムの水平型マ
イクロプログラムの開発時に概略設計の結果である概略
記述と詳細設計の結果である詳細記述との一致性を検証
するマイクロプログラム記述比較検証方式に関する。
比較検証方式に関し、特に情報処理システムの水平型マ
イクロプログラムの開発時に概略設計の結果である概略
記述と詳細設計の結果である詳細記述との一致性を検証
するマイクロプログラム記述比較検証方式に関する。
【０００２】
【従来の技術】従来のマイクロプログラム記述比較検証
方式は、水平型マイクロプログラムの概略記述と詳細記
述との間の一致性の検証を人手で行うようになってい
た。
方式は、水平型マイクロプログラムの概略記述と詳細記
述との間の一致性の検証を人手で行うようになってい
た。
【０００３】
【発明が解決しようとする課題】上述した従来のマイク
ロプログラム記述比較検証方式は、人手によるため、時
間がかかると共に検証漏れが起こり易いという問題点が
ある。
ロプログラム記述比較検証方式は、人手によるため、時
間がかかると共に検証漏れが起こり易いという問題点が
ある。
【０００４】本発明の目的は、水平型マイクロプログラ
ムの概略記述と詳細記述との間の一致性の検証を自動化
し、検証漏れを起さないマイクロプログラム記述比較検
証方式を提供することにある。
ムの概略記述と詳細記述との間の一致性の検証を自動化
し、検証漏れを起さないマイクロプログラム記述比較検
証方式を提供することにある。
【０００５】
【課題を解決するための手段】本発明のマイクロプログ
ラム記述比較検証方式は、マイクロプログラムの動作を
ハードウェア資源間のデータ転送として記述した水平型
マイクロプログラム記述のマイクロプログラム記述比較
検証方式において、前記マイクロプログラムの動作を特
定のハードウェア資源間のデータ転送のみで記述する概
略設計の結果であるマイクロプログラム概略記述と、前
記マイクロプログラムの動作をすべての隣接するハード
ウェア資源間のデータ転送により記述する詳細設計の結
果であるマイクロプログラム詳細記述を前記すべての隣
接するハードウェア資源間のデータ転送のデータ依存性
に基づいて合成し前記特定のハードウェア資源の名称の
みを使用したハードウェア資源間のデータ転送により記
述する疑似マイクロプログラム概略記述とを比較するこ
とにより、前記マイクロプログラム概略記述およびマイ
クロプログラム詳細記述の一致性を検証する構成であ
る。
ラム記述比較検証方式は、マイクロプログラムの動作を
ハードウェア資源間のデータ転送として記述した水平型
マイクロプログラム記述のマイクロプログラム記述比較
検証方式において、前記マイクロプログラムの動作を特
定のハードウェア資源間のデータ転送のみで記述する概
略設計の結果であるマイクロプログラム概略記述と、前
記マイクロプログラムの動作をすべての隣接するハード
ウェア資源間のデータ転送により記述する詳細設計の結
果であるマイクロプログラム詳細記述を前記すべての隣
接するハードウェア資源間のデータ転送のデータ依存性
に基づいて合成し前記特定のハードウェア資源の名称の
みを使用したハードウェア資源間のデータ転送により記
述する疑似マイクロプログラム概略記述とを比較するこ
とにより、前記マイクロプログラム概略記述およびマイ
クロプログラム詳細記述の一致性を検証する構成であ
る。
【０００６】本発明のマイクロプログラム記述比較検証
方式は、マイクロプログラムの動作をハードウェア資源
間のデータ転送として記述した水平型マイクロプログラ
ム記述のマイクロプログラム記述比較検証方式におい
て、マイクロプログラムが制御するハードウェア資源の
中であらかじめ定めておいた特定のハードウェア資源の
名称を入力して記憶する特定資源名称記憶手段と、目的
とするマイクロプログラムの動作を前記特定のハードウ
ェア資源間のデータ転送だけで記述したマイクロプログ
ラム概略記述を入力して記憶する概略記述記憶手段と、
前記マイクロプログラムの動作をすべての隣接するハー
ドウェア資源間のデータ転送により記述したマイクロプ
ログラム詳細記述を入力して記憶する詳細記述記憶手段
と、この詳細記述記憶手段から読み出したデータ転送記
述をデータ依存性に基づいて合成することにより前記特
定資源名称記憶手段から読み出した前記特定ハードウェ
ア資源の名称のみを使用したハードウェア資源間のデー
タ転送記述に変換し疑似マイクロプログラム概略記述と
して出力する記述変換手段と、この記述変換手段により
変換した疑似マイクロプログラム概略記述と前記概略記
述記憶手段から読み出したマイクロプログラム概略記述
とを比較する記述比較手段と、この記述比較手段により
比較された結果を表示する比較結果表示手段とを有する
構成である。
方式は、マイクロプログラムの動作をハードウェア資源
間のデータ転送として記述した水平型マイクロプログラ
ム記述のマイクロプログラム記述比較検証方式におい
て、マイクロプログラムが制御するハードウェア資源の
中であらかじめ定めておいた特定のハードウェア資源の
名称を入力して記憶する特定資源名称記憶手段と、目的
とするマイクロプログラムの動作を前記特定のハードウ
ェア資源間のデータ転送だけで記述したマイクロプログ
ラム概略記述を入力して記憶する概略記述記憶手段と、
前記マイクロプログラムの動作をすべての隣接するハー
ドウェア資源間のデータ転送により記述したマイクロプ
ログラム詳細記述を入力して記憶する詳細記述記憶手段
と、この詳細記述記憶手段から読み出したデータ転送記
述をデータ依存性に基づいて合成することにより前記特
定資源名称記憶手段から読み出した前記特定ハードウェ
ア資源の名称のみを使用したハードウェア資源間のデー
タ転送記述に変換し疑似マイクロプログラム概略記述と
して出力する記述変換手段と、この記述変換手段により
変換した疑似マイクロプログラム概略記述と前記概略記
述記憶手段から読み出したマイクロプログラム概略記述
とを比較する記述比較手段と、この記述比較手段により
比較された結果を表示する比較結果表示手段とを有する
構成である。
【０００７】
【実施例】次に、本発明の実施例について図面を参照し
て説明する。
て説明する。
【０００８】図１は本発明の一実施例のブロック図であ
る。
る。
【０００９】本発明のマイクロプログラム記述比較検証
方式は、マイクロプログラムが制御するハードウェア資
源の中であらかじめ定めておいた特定のハードウェア資
源の名称を入力して記憶する特定資源名称記憶手段１
と、目的とするマイクロプログラムの動作を特定のハー
ドウェア資源間のデータ転送だけで記述したマイクロプ
ログラム概略記述を入力して記憶する概略記述記憶手段
２と、マイクロプログラムの動作をすべての隣接するハ
ードウェア資源間のデータ転送により記述したマイクロ
プログラム詳細記述を入力して記憶する詳細記述記憶手
段３と、詳細記述記憶手段３から読み出したデータ転送
記述をデータ依存性に基づいて合成することにより、特
定資源名称記憶手段１から読み出した特定ハードウェア
資源の名称のみを使用したハードウェア資源間のデータ
転送記述に変換し、疑似マイクロプログラム概略記述と
して出力する記述変換手段４と、記述変換手段４により
変換した疑似マイクロプログラム概略記述と概略記述記
憶手段２から読み出したマイクロプログラム概略記述と
を比較する記述比較手段５と、記述比較手段５により比
較された結果を表示する比較結果表示手段６とからなっ
ている。
方式は、マイクロプログラムが制御するハードウェア資
源の中であらかじめ定めておいた特定のハードウェア資
源の名称を入力して記憶する特定資源名称記憶手段１
と、目的とするマイクロプログラムの動作を特定のハー
ドウェア資源間のデータ転送だけで記述したマイクロプ
ログラム概略記述を入力して記憶する概略記述記憶手段
２と、マイクロプログラムの動作をすべての隣接するハ
ードウェア資源間のデータ転送により記述したマイクロ
プログラム詳細記述を入力して記憶する詳細記述記憶手
段３と、詳細記述記憶手段３から読み出したデータ転送
記述をデータ依存性に基づいて合成することにより、特
定資源名称記憶手段１から読み出した特定ハードウェア
資源の名称のみを使用したハードウェア資源間のデータ
転送記述に変換し、疑似マイクロプログラム概略記述と
して出力する記述変換手段４と、記述変換手段４により
変換した疑似マイクロプログラム概略記述と概略記述記
憶手段２から読み出したマイクロプログラム概略記述と
を比較する記述比較手段５と、記述比較手段５により比
較された結果を表示する比較結果表示手段６とからなっ
ている。
【００１０】図２は図１のマイクロプログラム記述比較
検証方式の内部データ構造を示すデータ構造図である。
検証方式の内部データ構造を示すデータ構造図である。
【００１１】特定資源名称記憶手段１は、特定のハード
ウェア資源名称を入力し特定資源名称テーブル２０に格
納する。概略記述記憶手段２は、マイクロプログラム概
略記述を入力し、エントリーテーブル２１と概略記述語
テーブル２２と概略記述シーケンステーブル２３、概略
データ転送記述テーブル２４に格納する。エントリーテ
ーブル２１内の概略記述語ポインタ２１１は、マイクロ
プログラムの開始語が概略記述語テーブル２２の中のど
こにあるかを指している。概略記述語テーブル２２は、
マイクロプログラム概略記述の語単位に作成し、概略記
述シーケンステーブル２３を指すシーケンスポインタ２
２１と概略データ転送記述テーブル２４を指す概略記述
ポインタ２２２からなる。概略記述シーケンステーブル
２３は、マイクロプログラム概略記述中の各語の実行順
序を示す情報であり、概略記述語テーブル２２に格納し
た語に対して次に実行する語が概略記述語テーブル２２
の中のどこに格納されているかを指す次語ポインタ２３
１を格納している。概略記述語テーブル２２に格納した
１つの語から他方向分岐により次に実行される語が複数
存在する場合には、それぞれ次に実行される語を指す概
略記述シーケンステーブル２３の要素とチェインポイン
タ２３２により結合している。概略データ転送記述テー
ブル２４は、マイクロプログラム概略記述中のデータ転
送記述２４１を格納している。概略記述語テーブル２２
に格納した語を構成する概略データ転送記述テーブル２
４の要素は、すべてチェインポインタ２４２により結合
している。同様にして、詳細記述記憶手段３は、マイク
ロプログラム詳細記述を入力しエントリーテーブル２１
内の詳細記述語ポインタ２１２と詳細記述語テーブル２
５と詳細記述シーケンステーブル２６と詳細データ転送
記述テーブル２７とに格納する。又、記述変換手段４
は、エントリーテーブル２１内の詳細記述語ポインタ２
１２と詳細記述語テーブル２５と詳細記述シーケンステ
ーブル２６と詳細データ転送記述テーブル２７とに格納
したマイクロプログラム詳細記述を、特定資源名称テー
ブル２０を参照しながら変換し、エントリーテーブル２
１内の変換記述語ポインタ２１３と変換記述語テーブル
２８と変換記述シーケンステーブル２９と変換データ転
送記述テーブル３０とに格納する。
ウェア資源名称を入力し特定資源名称テーブル２０に格
納する。概略記述記憶手段２は、マイクロプログラム概
略記述を入力し、エントリーテーブル２１と概略記述語
テーブル２２と概略記述シーケンステーブル２３、概略
データ転送記述テーブル２４に格納する。エントリーテ
ーブル２１内の概略記述語ポインタ２１１は、マイクロ
プログラムの開始語が概略記述語テーブル２２の中のど
こにあるかを指している。概略記述語テーブル２２は、
マイクロプログラム概略記述の語単位に作成し、概略記
述シーケンステーブル２３を指すシーケンスポインタ２
２１と概略データ転送記述テーブル２４を指す概略記述
ポインタ２２２からなる。概略記述シーケンステーブル
２３は、マイクロプログラム概略記述中の各語の実行順
序を示す情報であり、概略記述語テーブル２２に格納し
た語に対して次に実行する語が概略記述語テーブル２２
の中のどこに格納されているかを指す次語ポインタ２３
１を格納している。概略記述語テーブル２２に格納した
１つの語から他方向分岐により次に実行される語が複数
存在する場合には、それぞれ次に実行される語を指す概
略記述シーケンステーブル２３の要素とチェインポイン
タ２３２により結合している。概略データ転送記述テー
ブル２４は、マイクロプログラム概略記述中のデータ転
送記述２４１を格納している。概略記述語テーブル２２
に格納した語を構成する概略データ転送記述テーブル２
４の要素は、すべてチェインポインタ２４２により結合
している。同様にして、詳細記述記憶手段３は、マイク
ロプログラム詳細記述を入力しエントリーテーブル２１
内の詳細記述語ポインタ２１２と詳細記述語テーブル２
５と詳細記述シーケンステーブル２６と詳細データ転送
記述テーブル２７とに格納する。又、記述変換手段４
は、エントリーテーブル２１内の詳細記述語ポインタ２
１２と詳細記述語テーブル２５と詳細記述シーケンステ
ーブル２６と詳細データ転送記述テーブル２７とに格納
したマイクロプログラム詳細記述を、特定資源名称テー
ブル２０を参照しながら変換し、エントリーテーブル２
１内の変換記述語ポインタ２１３と変換記述語テーブル
２８と変換記述シーケンステーブル２９と変換データ転
送記述テーブル３０とに格納する。
【００１２】次に記述変換手段の動作について説明す
る。
る。
【００１３】図３および図４は記述変換手段の動作の流
れ図である。説明に使用する名称および符号は図１およ
び図２で規定したものである。
れ図である。説明に使用する名称および符号は図１およ
び図２で規定したものである。
【００１４】最初に、記述変換手段４の中で使用するス
タックや各種ポインタ等を格納するための領域を初期設
定（処理３０００）した後、データ転送記述の変換のた
めの作業領域をクリアする（処理３００１）。エントリ
ーテーブル２１に格納されている全ての詳細記述語ポイ
ンタ２１２に関して処理し終わったら終了する（処理３
００２）。エントリーテーブル２１からマイクロプログ
ラムの開始位置を指す詳細記述語ポインタ２１２を１つ
取り出す（処理３００３）と共に、変換記述語テーブル
２８の次の格納位置をエントリーテーブル２１の変換記
述語ポインタ２１３に格納する（処理３００４）。処理
３００３で取り出した詳細記述語ポインタ２１２が指す
位置にある詳細記述語テーブル２５のシーケンスポイン
タ２５１と詳細記述ポインタ２５２を取り出す（処理３
００５）。処理３００５で取り出した詳細記述ポインタ
２５２が指す位置から詳細データ転送記述テーブル２７
のチェインポインタ２７２をたどり、１語分のデータ転
送記述２７１をすべて取り出し作業領域に合成する（処
理３００６）。即ち、詳細データ転送記述テーブル２７
から取り出したデータ転送記述２７１の転送元のハード
ウェア資源の名称と同じものを転送先のハードウェア資
源とするようなデータ転送記述が作業領域中に存在しな
ければ、詳細データ転送記述テーブル２７から取り出し
たデータ転送記述２７１はそのまま作業領域に格納され
る。詳細データ転送記述テーブル２７から取り出したデ
ータ転送記述２７１の転送元のハードウェア資源の名称
と同じものを転送先のハードウェア資源とするようなデ
ータ転送記述が作業領域中に存在する場合は、作業領域
中に存在するデータ転送記述の転送元のハードウェア資
源を転送元とし、詳細データ転送記述テーブル２７から
取り出したデータ転送記述２７１の転送先のハードウェ
ア資源を転送先とする新たなデータ転送記述を作成し、
作業領域中に存在するデータ転送記述と置き換える。次
に処理３００５で取り出した詳細記述語テーブル２７中
の１要素（１語の情報）に対応する変換記述語テーブル
２８の１語の情報として、シーケンスポインタ２８１の
値は次に格納すべき変換記述シーケンステーブル２９の
位置を指し、変換記述ポインタ２８２の値は初期値（ど
こも指さない状態を示す）とする要素を作成し、変換記
述語テーブル２８に格納する（処理３００７）。ここで
飛越符号で図３から図４に飛び、処理３００６の結
果、特定資源名称テーブル２０の中の資源名称２０１を
データ転送先資源とするデータ転送記述が作業領域中に
存在するかどうか判定し（処理３００８）、存在する場
合はこのデータ転送記述をすべて変換データ転送記述テ
ーブル３０に格納し、作業領域から削除する（処理３０
０９）。このとき同時に、変換記述テーブル２８の変換
記述ポインタ２８２の値を変換データ転送記述テーブル
３０の格納位置を指すように設定し、また現在処理中の
変換記述語テーブル２８を構成するデータ転送記述３０
１をすべて結合するように、変換データ転送記述テーブ
ル３０のチェインポインタ３０２の値を設定する。処理
３０１０から処理３０１４までの処理で、処理３００５
で取り出した詳細記述テーブル２５のシーケンスポイン
タ２５２が指す位置から詳細記述シーケンステーブル２
６のチェインポインタ２６２をたどり、現在処理中の詳
細記述語テーブル２５の次に実行される語を指す次語ポ
インタ２６１を取り出し、処理中の各種ポインタや作業
領域等の状態と一緒にそれぞれスタックにプッシュす
る。処理３０１０で取り出した詳細記述シーケンステー
ブル２６の次語ポインタ２６１が初期値（どこも指さな
い状態を示す）である場合、現在処理中の詳細記述語テ
ーブル２５がマイクロプログラムの最後であることを示
している（処理３０１１）。このとき、次語ポインタ２
９１の値とチェインポインタ２９２の値とを共に初期値
（どこも指さない状態を示す）にした情報を変換記述シ
ーケンステーブル２９に格納し、現在処理中の変換記述
語テーブル２８のシーケンスポインタ２８１が指す位置
から変換記述シーケンステーブル２９のチェインポイン
タ２９２を再結合する（処理３０１５）。また作業領域
に存在しているすべてのデータ転送記述を変換データ転
送記述テーブル３０に格納する（処理３０１６）。この
とき、現在処理中の変換記述語テーブル２８の変換記述
ポインタ２８１の値が初期値（どこも指さない状態を示
す）であれば、変換データ転送記述テーブル３０の格納
位置を指すように設定する。さらに、変換記述ポインタ
２８２が指す位置から変換データ転送記述テーブル３０
のチェインポインタ３０２を再結合する。次に、飛越符
号で図４から図３に飛び、スタックは空でないので
（処理３０１７）、スタックから詳細記述語テーブル２
５を指す次語ポインタ２６１の値および各種ポインタを
作業領域等の状態をポップして戻し（処理３０１８）、
次語の情報を作成して変換記述シーケンステーブル２９
に格納する（処理３０１９）。このとき、変換記述シー
ケンステーブル２９のチェインポインタ２９２の値は初
期値（どこも指さない状態を示す）とする。また、現在
処理中の変換記述語テーブル２８のシーケンスポインタ
２８１が指す位置からチェインポインタ２９２を再結合
する。次に、処理３０１８でスタックからポップした詳
細記述シーケンステーブル２６の次語ポインタ２６１が
指す位置にある詳細記述語テーブル２５に関して処理３
００６以降の処理を続ける。スタックの内容をすべて処
理し終わったと判断したら（処理３０１７）、処理３０
０１以降の処理を繰り返す。これらの変換処理を終了す
ると疑似マイクロプログラム概略記述が変換記述語テー
ブル２８に記憶されることになる。
タックや各種ポインタ等を格納するための領域を初期設
定（処理３０００）した後、データ転送記述の変換のた
めの作業領域をクリアする（処理３００１）。エントリ
ーテーブル２１に格納されている全ての詳細記述語ポイ
ンタ２１２に関して処理し終わったら終了する（処理３
００２）。エントリーテーブル２１からマイクロプログ
ラムの開始位置を指す詳細記述語ポインタ２１２を１つ
取り出す（処理３００３）と共に、変換記述語テーブル
２８の次の格納位置をエントリーテーブル２１の変換記
述語ポインタ２１３に格納する（処理３００４）。処理
３００３で取り出した詳細記述語ポインタ２１２が指す
位置にある詳細記述語テーブル２５のシーケンスポイン
タ２５１と詳細記述ポインタ２５２を取り出す（処理３
００５）。処理３００５で取り出した詳細記述ポインタ
２５２が指す位置から詳細データ転送記述テーブル２７
のチェインポインタ２７２をたどり、１語分のデータ転
送記述２７１をすべて取り出し作業領域に合成する（処
理３００６）。即ち、詳細データ転送記述テーブル２７
から取り出したデータ転送記述２７１の転送元のハード
ウェア資源の名称と同じものを転送先のハードウェア資
源とするようなデータ転送記述が作業領域中に存在しな
ければ、詳細データ転送記述テーブル２７から取り出し
たデータ転送記述２７１はそのまま作業領域に格納され
る。詳細データ転送記述テーブル２７から取り出したデ
ータ転送記述２７１の転送元のハードウェア資源の名称
と同じものを転送先のハードウェア資源とするようなデ
ータ転送記述が作業領域中に存在する場合は、作業領域
中に存在するデータ転送記述の転送元のハードウェア資
源を転送元とし、詳細データ転送記述テーブル２７から
取り出したデータ転送記述２７１の転送先のハードウェ
ア資源を転送先とする新たなデータ転送記述を作成し、
作業領域中に存在するデータ転送記述と置き換える。次
に処理３００５で取り出した詳細記述語テーブル２７中
の１要素（１語の情報）に対応する変換記述語テーブル
２８の１語の情報として、シーケンスポインタ２８１の
値は次に格納すべき変換記述シーケンステーブル２９の
位置を指し、変換記述ポインタ２８２の値は初期値（ど
こも指さない状態を示す）とする要素を作成し、変換記
述語テーブル２８に格納する（処理３００７）。ここで
飛越符号で図３から図４に飛び、処理３００６の結
果、特定資源名称テーブル２０の中の資源名称２０１を
データ転送先資源とするデータ転送記述が作業領域中に
存在するかどうか判定し（処理３００８）、存在する場
合はこのデータ転送記述をすべて変換データ転送記述テ
ーブル３０に格納し、作業領域から削除する（処理３０
０９）。このとき同時に、変換記述テーブル２８の変換
記述ポインタ２８２の値を変換データ転送記述テーブル
３０の格納位置を指すように設定し、また現在処理中の
変換記述語テーブル２８を構成するデータ転送記述３０
１をすべて結合するように、変換データ転送記述テーブ
ル３０のチェインポインタ３０２の値を設定する。処理
３０１０から処理３０１４までの処理で、処理３００５
で取り出した詳細記述テーブル２５のシーケンスポイン
タ２５２が指す位置から詳細記述シーケンステーブル２
６のチェインポインタ２６２をたどり、現在処理中の詳
細記述語テーブル２５の次に実行される語を指す次語ポ
インタ２６１を取り出し、処理中の各種ポインタや作業
領域等の状態と一緒にそれぞれスタックにプッシュす
る。処理３０１０で取り出した詳細記述シーケンステー
ブル２６の次語ポインタ２６１が初期値（どこも指さな
い状態を示す）である場合、現在処理中の詳細記述語テ
ーブル２５がマイクロプログラムの最後であることを示
している（処理３０１１）。このとき、次語ポインタ２
９１の値とチェインポインタ２９２の値とを共に初期値
（どこも指さない状態を示す）にした情報を変換記述シ
ーケンステーブル２９に格納し、現在処理中の変換記述
語テーブル２８のシーケンスポインタ２８１が指す位置
から変換記述シーケンステーブル２９のチェインポイン
タ２９２を再結合する（処理３０１５）。また作業領域
に存在しているすべてのデータ転送記述を変換データ転
送記述テーブル３０に格納する（処理３０１６）。この
とき、現在処理中の変換記述語テーブル２８の変換記述
ポインタ２８１の値が初期値（どこも指さない状態を示
す）であれば、変換データ転送記述テーブル３０の格納
位置を指すように設定する。さらに、変換記述ポインタ
２８２が指す位置から変換データ転送記述テーブル３０
のチェインポインタ３０２を再結合する。次に、飛越符
号で図４から図３に飛び、スタックは空でないので
（処理３０１７）、スタックから詳細記述語テーブル２
５を指す次語ポインタ２６１の値および各種ポインタを
作業領域等の状態をポップして戻し（処理３０１８）、
次語の情報を作成して変換記述シーケンステーブル２９
に格納する（処理３０１９）。このとき、変換記述シー
ケンステーブル２９のチェインポインタ２９２の値は初
期値（どこも指さない状態を示す）とする。また、現在
処理中の変換記述語テーブル２８のシーケンスポインタ
２８１が指す位置からチェインポインタ２９２を再結合
する。次に、処理３０１８でスタックからポップした詳
細記述シーケンステーブル２６の次語ポインタ２６１が
指す位置にある詳細記述語テーブル２５に関して処理３
００６以降の処理を続ける。スタックの内容をすべて処
理し終わったと判断したら（処理３０１７）、処理３０
０１以降の処理を繰り返す。これらの変換処理を終了す
ると疑似マイクロプログラム概略記述が変換記述語テー
ブル２８に記憶されることになる。
【００１５】次に記述比較手段の動作について説明す
る。
る。
【００１６】図５および図６は記述比較手段の動作の流
れ図である。説明に使用する名称および符号は図１およ
び図２で規定したものである。
れ図である。説明に使用する名称および符号は図１およ
び図２で規定したものである。
【００１７】最初に、記述比較手段５で使用する概略記
述語用スタック（以降Ｇスタックと呼ぶ）と変換記述語
用スタック（以降Ｃスタックと呼ぶ）と各種ポインタ等
を格納するための領域を初期設定（処理４０００）す
る。エントリーテーブル２１に格納しているすべての概
略記述語ポインタ２１１および変換記述語ポインタ２１
３に関して処理し終わったら終了する（処理４００
１）。エントリーテーブル２１からマイクロプログラム
の開始位置を示す概略記述語ポインタ２１１と変換記述
語ポインタ２１３を取り出し、それぞれＧスタック、Ｃ
スタックにプッシュする（処理４００２）。Ｇスタッ
ク、Ｃスタックが共に空でない場合（処理４００３およ
び処理４００４）、それぞれのスタックから概略記述語
テーブル２２へのポインタと変換記述語テーブル２８へ
のポインタをポップする（処理４００５）。ここで飛越
符号で図５から図６に飛び、概略記述語テーブル２２
へのポインタが指す位置に格納されている概略記述語テ
ーブル２２のシーケンスポインタ２２１と概略記述ポイ
ンタ２２２を取り出し、取り出した概略記述ポインタ２
２２が指す位置から概略データ転送記述テーブル２４の
チェインポインタ２４２をたどることにより、１語分の
データ転送記述２４１をすべて取り出し概略記述作業領
域に格納する（処理４００６）。同様にして、変換記述
語テーブル２８へのポインタを基にして変換データ転送
記述テーブル３０から１語分のデータ転送記述３０１を
すべて取り出し変換記述作業領域に格納する（処理４０
０７）。概略記述作業領域と変換記述作業領域とを１つ
のデータ転送記述ごとに比較し、不一致のデータ転送記
述をエラーとして比較結果表示手段に渡す（以降これを
エラー出力すると言う）（処理４００８）。処理４００
５で取り出した概略記述語テーブル２２のシーケンスポ
インタ２２１が指す位置から概略記述シーケンステーブ
ル２３のチェインポインタ２３２をたどることにより、
概略記述シーケンステーブル２３から現在処理中の概略
記述語テーブル２２に対するすべての次語ポインタ２３
１を取り出し、Ｇスタックにプッシュする（処理４００
９）。同様に、処理４００６で取り出した変換記述語テ
ーブル２８のシーケンスポインタ２８１を基にして、変
換記述シーケンステーブル２９から現在処理中の変換記
述語テーブル２８に対するすべての次語ポインタ２９１
を取り出し、Ｃスタックにプッシュする（処理４０１
０）。ここで、Ｇスタックのスタックポインタの値とＣ
スタックのスタックポインタの値を比較する（処理４０
１１）。処理４０１１の結果、値が等しくない場合は処
理４０１２および処理４０１３、または処理４０１４お
よび処理４０１５により、値の大きいスタックポインタ
を持つスタックから他方のスタックのスタックポインタ
と等しくなるまでスタックをポップし、取り出したポイ
ンタが指す語のすべてのデータ転送記述をエラー出力す
る。次に、飛越符号で図６から図５に飛び、２つのス
タックのスタックポインタが等しい状態で処理４００３
以降を繰り返す。処理４００３、処理４００４および処
理４０１６から処理４０２０により、どちらか片方のス
タックのみが空になった場合、他方のスタックをすべて
ポップし、取り出したポインタが指す語のすべてのデー
タ転送記述をエラー出力する。両方のスタックが空にな
った状態で処理４００１以降を繰り返す。
述語用スタック（以降Ｇスタックと呼ぶ）と変換記述語
用スタック（以降Ｃスタックと呼ぶ）と各種ポインタ等
を格納するための領域を初期設定（処理４０００）す
る。エントリーテーブル２１に格納しているすべての概
略記述語ポインタ２１１および変換記述語ポインタ２１
３に関して処理し終わったら終了する（処理４００
１）。エントリーテーブル２１からマイクロプログラム
の開始位置を示す概略記述語ポインタ２１１と変換記述
語ポインタ２１３を取り出し、それぞれＧスタック、Ｃ
スタックにプッシュする（処理４００２）。Ｇスタッ
ク、Ｃスタックが共に空でない場合（処理４００３およ
び処理４００４）、それぞれのスタックから概略記述語
テーブル２２へのポインタと変換記述語テーブル２８へ
のポインタをポップする（処理４００５）。ここで飛越
符号で図５から図６に飛び、概略記述語テーブル２２
へのポインタが指す位置に格納されている概略記述語テ
ーブル２２のシーケンスポインタ２２１と概略記述ポイ
ンタ２２２を取り出し、取り出した概略記述ポインタ２
２２が指す位置から概略データ転送記述テーブル２４の
チェインポインタ２４２をたどることにより、１語分の
データ転送記述２４１をすべて取り出し概略記述作業領
域に格納する（処理４００６）。同様にして、変換記述
語テーブル２８へのポインタを基にして変換データ転送
記述テーブル３０から１語分のデータ転送記述３０１を
すべて取り出し変換記述作業領域に格納する（処理４０
０７）。概略記述作業領域と変換記述作業領域とを１つ
のデータ転送記述ごとに比較し、不一致のデータ転送記
述をエラーとして比較結果表示手段に渡す（以降これを
エラー出力すると言う）（処理４００８）。処理４００
５で取り出した概略記述語テーブル２２のシーケンスポ
インタ２２１が指す位置から概略記述シーケンステーブ
ル２３のチェインポインタ２３２をたどることにより、
概略記述シーケンステーブル２３から現在処理中の概略
記述語テーブル２２に対するすべての次語ポインタ２３
１を取り出し、Ｇスタックにプッシュする（処理４００
９）。同様に、処理４００６で取り出した変換記述語テ
ーブル２８のシーケンスポインタ２８１を基にして、変
換記述シーケンステーブル２９から現在処理中の変換記
述語テーブル２８に対するすべての次語ポインタ２９１
を取り出し、Ｃスタックにプッシュする（処理４０１
０）。ここで、Ｇスタックのスタックポインタの値とＣ
スタックのスタックポインタの値を比較する（処理４０
１１）。処理４０１１の結果、値が等しくない場合は処
理４０１２および処理４０１３、または処理４０１４お
よび処理４０１５により、値の大きいスタックポインタ
を持つスタックから他方のスタックのスタックポインタ
と等しくなるまでスタックをポップし、取り出したポイ
ンタが指す語のすべてのデータ転送記述をエラー出力す
る。次に、飛越符号で図６から図５に飛び、２つのス
タックのスタックポインタが等しい状態で処理４００３
以降を繰り返す。処理４００３、処理４００４および処
理４０１６から処理４０２０により、どちらか片方のス
タックのみが空になった場合、他方のスタックをすべて
ポップし、取り出したポインタが指す語のすべてのデー
タ転送記述をエラー出力する。両方のスタックが空にな
った状態で処理４００１以降を繰り返す。
【００１８】
【発明の効果】以上説明したように、本発明は、マイク
ロプログラムの動作を特定のハードウェア資源間のデー
タ転送のみで記述する概略設計の結果であるマイクロプ
ログラム概略記述と、マイクロプログラムの動作をすべ
ての隣接するハードウェア資源間のデータ転送により記
述する詳細設計の結果であるマイクロプログラム詳細記
述を前記すべての隣接するハードウェア資源間のデータ
転送のデータ依存性に基づいて合成し特定のハードウェ
ア資源の名称のみを使用したハードウェア資源間のデー
タ転送により記述する疑似マイクロプログラム概略記述
とを比較することにより、マイクロプログラム概略記述
およびマイクロプログラム詳細記述の一致性を検証する
ことにより、水平型マイクロプログラムの概略記述と詳
細記述との間の一致性の検証を自動化できると共に検証
漏れを起さないという効果が有る。
ロプログラムの動作を特定のハードウェア資源間のデー
タ転送のみで記述する概略設計の結果であるマイクロプ
ログラム概略記述と、マイクロプログラムの動作をすべ
ての隣接するハードウェア資源間のデータ転送により記
述する詳細設計の結果であるマイクロプログラム詳細記
述を前記すべての隣接するハードウェア資源間のデータ
転送のデータ依存性に基づいて合成し特定のハードウェ
ア資源の名称のみを使用したハードウェア資源間のデー
タ転送により記述する疑似マイクロプログラム概略記述
とを比較することにより、マイクロプログラム概略記述
およびマイクロプログラム詳細記述の一致性を検証する
ことにより、水平型マイクロプログラムの概略記述と詳
細記述との間の一致性の検証を自動化できると共に検証
漏れを起さないという効果が有る。
【図１】本発明の一実施例のブロック図である。
【図２】図１のマイクロプログラム記述比較検証方式の
内部データ構造を示すデータ構造図である。
内部データ構造を示すデータ構造図である。
【図３】記述変換手段の動作の流れ図（その１）であ
る。
る。
【図４】記述変換手段の動作の流れ図（その２）であ
る。
る。
【図５】記述比較手段の動作の流れ図（その１）であ
る。
る。
【図６】記述比較手段の動作の流れ図（その２）であ
る。
る。
１ 特定資源名称記憶手段 ２ 概略記述記憶手段 ３ 詳細記述記憶手段 ４ 記述変換手段 ５ 記述比較手段 ６ 比較結果表示手段 ２０ 特定資源名称テーブル ２１ エントリーテーブル ２２ 概略記述語テーブル ２３ 概略記述シーケンステーブル ２４ 概略データ転送記述テーブル ２５ 詳細記述語テーブル ２６ 詳細記述シーケンステーブル ２７ 詳細データ転送記述テーブル ２８ 変換記述語テーブル ２９ 変換記述シーケンステーブル ３０ 変換データ転送記述テーブル ２０１ 特定資源名称テーブルの資源名称 ２１１ エントリーテーブルの概略記述語ポインタ ２１２ エントリーテーブルの詳細記述語ポインタ ２１３ エントリーテーブルの変換記述語ポインタ ２２１ 概略記述語テーブルのシーケンスポインタ ２２２ 概略記述語テーブルの概略記述ポインタ ２３１ 概略記述シーケンステーブルの次語ポインタ ２３２ 概略記述シーケンステーブルのチェインポイ
ンタ ２４１ 概略データ転送記述テーブルのデータ転送記
述 ２４２ 概略データ転送記述テーブルのチェインポイ
ンタ ２５１ 詳細記述語テーブルのシーケンスポインタ ２５２ 詳細記述語テーブルの詳細記述ポインタ ２６１ 詳細記述シーケンステーブルの次語ポインタ ２６２ 詳細記述シーケンステーブルのチェインポイ
ンタ ２７１ 詳細データ転送記述テーブルのデータ転送記
述 ２７２ 詳細データ転送記述テーブルのチェインポイ
ンタ ２８１ 変換記述語テーブルのシーケンスポインタ ２８２ 変換記述語テーブルの変換記述ポインタ ２９１ 変換記述シーケンステーブルの次語ポインタ ２９２ 変換記述シーケンステーブルのチェインポイ
ンタ ３０１ 変換データ転送記述テーブルのデータ転送記
述 ３０２ 変換データ転送記述テーブルのチェインポイ
ンタ
ンタ ２４１ 概略データ転送記述テーブルのデータ転送記
述 ２４２ 概略データ転送記述テーブルのチェインポイ
ンタ ２５１ 詳細記述語テーブルのシーケンスポインタ ２５２ 詳細記述語テーブルの詳細記述ポインタ ２６１ 詳細記述シーケンステーブルの次語ポインタ ２６２ 詳細記述シーケンステーブルのチェインポイ
ンタ ２７１ 詳細データ転送記述テーブルのデータ転送記
述 ２７２ 詳細データ転送記述テーブルのチェインポイ
ンタ ２８１ 変換記述語テーブルのシーケンスポインタ ２８２ 変換記述語テーブルの変換記述ポインタ ２９１ 変換記述シーケンステーブルの次語ポインタ ２９２ 変換記述シーケンステーブルのチェインポイ
ンタ ３０１ 変換データ転送記述テーブルのデータ転送記
述 ３０２ 変換データ転送記述テーブルのチェインポイ
ンタ
Claims (2)
- 【請求項１】 マイクロプログラムの動作をハードウェ
ア資源間のデータ転送として記述した水平型マイクロプ
ログラム記述のマイクロプログラム記述比較検証方式に
おいて、前記マイクロプログラムの動作を特定のハード
ウェア資源間のデータ転送のみで記述する概略設計の結
果であるマイクロプログラム概略記述と、前記マイクロ
プログラムの動作をすべての隣接するハードウェア資源
間のデータ転送により記述する詳細設計の結果であるマ
イクロプログラム詳細記述を前記すべての隣接するハー
ドウェア資源間のデータ転送のデータ依存性に基づいて
合成し前記特定のハードウェア資源の名称のみを使用し
たハードウェア資源間のデータ転送により記述する疑似
マイクロプログラム概略記述とを比較することにより、
前記マイクロプログラム概略記述およびマイクロプログ
ラム詳細記述の一致性を検証することを特徴とするマイ
クロプログラム記述比較検証方式。 - 【請求項２】 マイクロプログラムの動作をハードウェ
ア資源間のデータ転送として記述した水平型マイクロプ
ログラム記述のマイクロプログラム記述比較検証方式に
おいて、マイクロプログラムが制御するハードウェア資
源の中であらかじめ定めておいた特定のハードウェア資
源の名称を入力して記憶する特定資源名称記憶手段と、
目的とするマイクロプログラムの動作を前記特定のハー
ドウェア資源間のデータ転送だけで記述したマイクロプ
ログラム概略記述を入力して記憶する概略記述記憶手段
と、前記マイクロプログラムの動作をすべての隣接する
ハードウェア資源間のデータ転送により記述したマイク
ロプログラム詳細記述を入力して記憶する詳細記述記憶
手段と、この詳細記述記憶手段から読み出したデータ転
送記述をデータ依存性に基づいて合成することにより前
記特定資源名称記憶手段から読み出した前記特定ハード
ウェア資源の名称のみを使用したハードウェア資源間の
データ転送記述に変換し疑似マイクロプログラム概略記
述として出力する記述変換手段と、この記述変換手段に
より変換した疑似マイクロプログラム概略記述と前記概
略記述記憶手段から読み出したマイクロプログラム概略
記述とを比較する記述比較手段と、この記述比較手段に
より比較された結果を表示する比較結果表示手段とを有
することを特徴とするマイクロプログラム記述比較検証
方式。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3235806A JPH0573355A (ja) | 1991-09-17 | 1991-09-17 | マイクロプログラム記述比較検証方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3235806A JPH0573355A (ja) | 1991-09-17 | 1991-09-17 | マイクロプログラム記述比較検証方式 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH0573355A true JPH0573355A (ja) | 1993-03-26 |
Family
ID=16991531
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP3235806A Pending JPH0573355A (ja) | 1991-09-17 | 1991-09-17 | マイクロプログラム記述比較検証方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH0573355A (ja) |
-
1991
- 1991-09-17 JP JP3235806A patent/JPH0573355A/ja active Pending
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US7080239B2 (en) | Loop control circuit and loop control method | |
| US6175935B1 (en) | Software debugging method and recording medium to which debugging program has been recorded | |
| US5095426A (en) | Data processing system for effectively handling exceptions during execution of two different types of instructions | |
| CN105700917A (zh) | 一种dll与数据库同步的方法及装置 | |
| JPS6378231A (ja) | 部分的プログラム結合方式 | |
| JP2000122876A (ja) | 情報処理装置 | |
| JPS5922140A (ja) | 対話型コンパイル方式 | |
| JP2803369B2 (ja) | 対話型システムの検査方法 | |
| JPH01177165A (ja) | 配列の定義／引用関係検査方式 | |
| JP2586155B2 (ja) | 論理シミュレータ | |
| JPS62226336A (ja) | マイクロプログラム制御方式 | |
| JPH04367946A (ja) | デバッグ情報出力方式 | |
| JPH0997182A (ja) | プログラム変換装置およびデバッグ装置 | |
| JPH08320813A (ja) | プログラムシミュレータ装置及びプログラムデバッグ方法 | |
| JP2629359B2 (ja) | 論理シミュレータ | |
| JPH02165347A (ja) | 診断期待値作成方式 | |
| JPS63163635A (ja) | ブロツク単位ハツシユテ−ブルスタツク方式 | |
| JPH0236433A (ja) | ソフトウェアデバック共通・固有情報出力方式 | |
| JPS63147227A (ja) | セグメント結合時番地情報補正方式 | |
| JPH039441A (ja) | プログラム内容解析装置 | |
| JPH0293981A (ja) | 検査結果の比較判定装置 | |
| JPS6231444A (ja) | 擬似障害発生方式 | |
| JPH0736685A (ja) | 部品処理装置 | |
| JPS58159149A (ja) | 命令コ−ド変換方式 | |
| JPH08286902A (ja) | プログラムステップ数換算装置 |