JPH04289928A - マイクロプログラム検証方式 - Google Patents

Abstract

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

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、マイクロプログラムの
検証方式に係り、特にマイクロプログラムの仕様制限違
反の検証に好適なマイクロプログラムの検証方式に関す
る。

【０００２】

【従来の技術】従来のマイクロプログラムの仕様制限違
反に対する検証方式としては、特開平２−８３７４８号
公報に記載のように、マイクロプログラムを論理シミュ
レーションあるいは実計算機で動作させる方式ではなく
、ソースプログラムよりマイクロプログラムの実行時に
通過し得るすべての経路を導出し、この導出経路に基づ
いて仕様制限違反を検出するいわば静的な検証方式であ
った。

【０００３】

【発明が解決しようとする課題】しかしながら、前記特
開平公報記載の従来技術では、検証対象とするマイクロ
プログラムのアドレス列の長さを増大させると、当該検
証対象アドレス列の総数は当該マイクロプログラムの分
岐回数を指数とする指数関数となる（底は１回の分岐で
発生するパス数）。このことは、検証対象とするアドレ
ス列の長さに制限を加えなければ検証を実施することは
不可能であることを示す。

【０００４】また、マイクロプログラムの分岐アドレス
列のすべてがマイクロプログラムの実際の通過経路とし
て有効であるわけではなく、通常は特定の通過経路のみ
が検証対象として有効である、ということはマイクロプ
ログラムの分岐条件を考慮した場合には当然考えられる
ことである。このようなことから、ソースプログラムの
解析により求められたすべてのアドレス列に対して検証
を実行することは、無意味であるばかりではなく、本来
は制限違反とはならない部分に対して制限違反を誤検出
してしまうことにもなり、検証効率及び検証精度の低下
を招くことになる。

【０００５】以上のことから、マイクロプログラムの起
点から終点までの通過経路について適切な仕様制限違反
検証を行うことは従来の技術では困難であった。

【０００６】本発明の目的は、実際に通過可能な起点か
ら終点までの一連のマイクロプログラムアドレス列に対
して、適切な仕様制限違反検証を実施することができる
マイクロプログラム検証方式を提供することにある。

【０００７】

【課題を解決するための手段】上記目的を達成するため
に、本発明によるマイクロプログラム検証方式は、マイ
クロプログラムが仕様制限に従って正しく記述されてい
ることを確認するマイクロプログラム検証方式であって
、検証対象とするマイクロプログラムについて、当該マ
イクロプログラムを使用した論理シミュレーション実行
結果あるいは実計算機実行結果に基づいて通過マイクロ
プログラムアドレス情報を導出し、該通過マイクロプロ
グラムアドレス情報に対応する各マイクロプログラムス
テップについて、順次、上記仕様制限に照らして、当該
マイクロプログラムステップの記述の正当性を検証し、
該検証結果を出力するようにしたものである。

【０００８】

【作用】本方式では、論理シミュレーション実行結果あ
るいは実計算機実行結果より求めた通過マイクロプログ
ラムアドレス情報を検証対象アドレス列として仕様制限
違反を検証することとする。これは論理シミュレーショ
ンあるいは実計算機によるマイクロプログラムの開始点
から終了点までの通過経路に対する仕様制限違反を検証
することに他ならない。

【０００９】一回の検証ではすべての通過経路に対する
検証を実施することは不可能であるが、多数の実行結果
に対して検証を実施することにより実際に通過し得るす
べての通過経路に対して検証を実施することができる。

【００１０】具体的には、マイクロプログラムソースフ
ァイルと論理シミュレーション結果ファイルとに基づい
て、マイクロプログラムテーブル作成部が検証対象マイ
クロプログラムテーブルを作成する。次に、この作成さ
れた検証対象マイクロプログラムテーブルに対して、マ
イクロプログラム仕様制限情報ファイルの仕様制限に照
らして比較検証部が検証を実施し、その結果を検証結果
ファイルに格納する。格納された検証結果を編集出力部
がプリンタ及び端末装置に編集出力する。

【００１１】論理シミュレーション実行結果及び実計算
機実行結果のマイクロプログラム通過経路情報を使用し
て仕様制限違反を検証することにより、マイクロプログ
ラムの開始点から終了点までの仕様制限違反が検証可能
になる。

【００１２】

【実施例】以下、本発明の一実施例を図面により詳細に
説明する。

【００１３】図１は、本発明の一実施例の構成を示すブ
ロック図である。

【００１４】本実施例のマイクロプログラム検証装置は
、検証対象となるマイクロプログラムソースを格納した
マイクロプログラムソースファイル５および論理シミュ
レーション結果ファイル７に基づいて検証対象マイクロ
プログラムテーブル９を作成する検証対象マイクロプロ
グラムテーブル作成部１と、上記検証対象マイクロプロ
グラムテーブル９に対してマイクロプログラム仕様制限
情報ファイル８より読み出された仕様制限情報に従って
検証を実行し結果を検証結果ファイル１０に出力する比
較検証部２と、出力された検証結果を出力装置であるプ
リンタ１１及び端末装置１２に編集出力する編集出力部
３とからなる。論理シミュレーション結果ファイル７は
、論理シミュレーションデータ４を用いてマイクロプロ
グラムソース５の論理シミュレーション６を行なった結
果を格納する。

【００１５】以下、図１の主要部の具体的な処理を順次
説明する。

【００１６】図２に、図１の検証対象マイクロプログラ
ムテ−ブル作成部１の処理のフローチャートを示す。

【００１７】同図の処理において、まず、論理シミュレ
ーション結果ファイル７から論理シミュレーション通過
マイクロプログラムアドレス情報を読み出し、検証対象
マイクロプログラムテーブル９に格納する（１ａ）。次
に、格納されたマイクロプログラムアドレス情報に対応
するマイクロプログラムソースをマイクロプログラムソ
ースファイル５より読み出し、検証対象マイクロプログ
ラムテーブル９に格納する（１ｂ）。この処理を論理シ
ミュレーション通過マイクロプログラムアドレス情報が
終了するまで繰り返す（１ｃ）。

【００１８】ところで、マイクロプログラムの仕様制限
としては、指定された範囲内の各マイクロプログラムス
テップについて個別に検証する仕様制限（これを個別検
証仕様制限と称する）と、指定された範囲内に仕様制限
に該当するマイクロプログラムステップが存在すること
を検証する仕様制限（これを存在検証仕様制限と称する
）の２種類がある。個別検証仕様制限としては、「任意
のマイクロプログラムステップにおいて、そのＦ１フィ
ールドにＡを指定した場合には、その後２ステップの間
、Ｆ２フィールドにＢを指定してはならない」というよ
うな例が挙げられる。存在検証仕様制限としては、「任
意のマイクロプログラムステップにおいて、そのＦ１フ
ィールドにＡを指定した場合には、その後２ステップの
間に、Ｆ２フィールドにＢを指定したマイクロプログラ
ムステップが存在しなければならない」というような例
が挙げられる。本マイクロプログラム検証装置ではこれ
ら２種類の仕様制限について読み込んだ仕様制限情報に
従って検証を実施する。

【００１９】次に、図３に、図１の比較検証部２の処理
を示す。

【００２０】この処理では、まず、マイクロプログラム
仕様制限情報ファイル８より検証実施仕様制限情報８ａ
を読み出す（２ａ）。次に、検証対象マイクロプログラ
ムテーブル９より検証条件マイクロプログラムステップ
９ａを読み出す（２ｂ）。それから、読み出された検証
実施仕様制限情報８ａの検証条件フィールド（Ｆ１）及
びマイクロ命令（ＸＸ）と、検証条件マイクロプログラ
ムステップ情報９ａの該当フィールド（Ｆ１）及びマイ
クロ命令（ＸＸ）とを比較する（２ｃ）。検証条件に合
致する場合には検証実施仕様制限情報８ａの仕様制限種
別を仕様制限種別識別子Ａにより判断し（２ｄ）、個別
検証仕様制限情報である場合（本実施例の場合には、仕
様制限種別識別子Ａが１の場合）には、個別検証仕様制
限検証部２ｅを実行する。存在検証仕様制限情報である
場合（本実施例の場合には、仕様制限種別識別子Ａが２
の場合）には、存在検証仕様制限検証部２ｆを実行する
。検証終了後、検証条件マイクロプログラムステップが
終了かどうかを判断し（２ｇ）、終了ではない場合には
次の検証条件マイクロプログラムステップを読み出し（
２ｂ）、検証を続行する。検証条件マイクロプログラム
ステップが終了の場合には、仕様制限情報が終了かどう
かを判断し（２ｈ）、終了ではない場合には次の検証実
施仕様制限情報を読み出し（２ａ）、検証を続行する。 仕様制限情報が終了の場合には処理を終了する。

【００２１】次に、個別検証仕様制限検証部２ｅ及び存
在検証仕様制限検証部２ｆについて説明する。

【００２２】図４は、図３の個別検証仕様制限検証部２
ｅの処理のフローチャートを示す。

【００２３】この処理では、まず検証対象マイクロプロ
グラムテーブル９より検証対象マイクロプログラムステ
ップ９ｂを読み出す（２ｅａ）。次に、先の処理２ｂに
より読み出されている検証実施仕様制限情報８ａの検証
対象フィールド（Ｆ２）及びマイクロ命令（ＹＹ）と、
検証対象マイクロプログラムステップ９ｂの該当フィー
ルドＦ２のマイクロ命令（ＹＹ）とを比較する（２ｅｂ
）。仕様制限違反である場合には、検証結果情報を検証
結果ファイル１０に出力する（２ｅｃ）。以上の処理を
検証範囲終了まで繰り返す（２ｅｄ）。

【００２４】図５は、図３の存在検証仕様制限検証部２
ｆの処理のフローチャートを示す。

【００２５】この処理では、まず検証対象マイクロプロ
グラムテーブル９より検証対象マイクロプログラムステ
ップ９ｂを読み出す（２ｆａ）。次に、先の処理２ｂに
より読み出されている検証実施仕様制限情報８ａの検証
対象フィールド（Ｆ２）及びマイクロ命令（ＹＹ）と、
検証対象マイクロプログラムステップ９ｂの該当フィー
ルドＦ２のマイクロ命令（ＹＹ）とを比較する（２ｆｂ
）。もし、仕様制限に合致する場合には処理を終了する
。仕様制限に合致しない場合には、検証範囲終了かどう
かを判断する（２ｆｃ）。検証範囲終了の場合には検証
結果情報を検証結果ファイル１０に出力し（２ｆｄ）、
処理を終了する。検証範囲終了ではない場合には、以上
の処理を繰り返す（２ｆａ）。

【００２６】このように、論理シミュレーション実行結
果の通過マイクロプログラムアドレス列を使用して検証
対象マイクロプログラムテーブルを作成し、マイクロプ
ログラムの仕様制限違反を検証することにより、マイク
ロプログラムの起点から終点までの通過経路に対する仕
様制限違反を検証することが可能である。

【００２７】図１の編集出力部３については特に図示し
ないが、検証結果ファイル１０に格納された検証結果情
報に基づいて検証結果がプリンタ１１、端末装置１２等
の出力装置に編集出力されるものであればよい。

【００２８】また、本実施例では、論理シミュレーショ
ン実行結果を使用して検証を実施しているが、論理シミ
ュレーション実行結果の代わりに実計算機の実行結果を
使用する方式であってもよい。

【００２９】

【発明の効果】以上説明したように、本発明は論理シミ
ュレーション実行結果を使用してマイクロプログラムの
仕様制限違反を検出するので、マイクロプログラムの開
始点から終了点までの仕様制限違反検証を実現し、マイ
クロプログラムの品質向上を図ることができる。

【図面の簡単な説明】

【図１】本発明によるマイクロプログラム検証装置のブ
ロック図。

【図２】図１の検証対象マイクロプログラムテーブル作
成部１の処理のフローチャート。

【図３】図１の比較検証部２の処理のフローチャート。

【図４】図３の個別検証仕様制限検証部２ｅの処理のフ
ローチャート。

【図５】図３の存在検証仕様制限検証部２ｆの処理のフ
ローチャート。

【符号の説明】

１…検証対象マイクロプログラムテーブル作成部、２…
比較検証部、３…編集出力部、４…論理シミュレーショ
ンデータファイル、５…マイクロプログラムソースファ
イル、６…論理シミュレーション、７…論理シミュレー
ション結果ファイル、８…マイクロプログラム仕様制限
情報ファイル、９…検証対象マイクロプログラムテーブ
ル、１０…検証結果ファイル、１１…プリンタ、１２…
端末装置、１ａ…論理シミュレーション通過経路情報読
み出し処理、１ｂ…通過経路該当マイクロプログラムソ
ース摘出処理、１ｃ…論理シミュレーション通過マイク
ロプログラムアドレス情報終了判断処理、２ａ…仕様制
限情報読み出し処理、２ｂ…検証条件マイクロプログラ
ムステップ読み出し処理、２ｃ…検証条件合致判断処理
、２ｄ…検証実施仕様制限情報種別識別処理、２ｅ…個
別検証仕様制限検証部、２ｆ…存在検証仕様制限検証部
、２ｇ…検証条件マイクロプログラムステップ終了判断
処理、２ｈ…仕様制限情報終了判断処理、２ｅａ…検証
対象マイクロプログラムステップ読み出し処理、２ｅｂ
…仕様制限違反検証処理、２ｅｃ…検証結果情報出力処
理、２ｅｄ…検証範囲終了判断処理、２ｆａ…検証対象
マイクロプログラムステップ読み出し処理、２ｆｂ…仕
様制限合致判断処理、２ｆｃ…検証範囲終了判断処理、
２ｆｄ…検証結果情報出力処理、８ａ…検証実施仕様制
限情報、９ａ…検証条件マイクロプログラムステップ情
報、９ｂ…検証対象マイクロプログラムステップ情報。

Claims (1)

【特許請求の範囲】
1. 【請求項１】マイクロプログラムが仕様制限に従って正
   しく記述されていることを確認するマイクロプログラム
   検証方式であって、検証対象とするマイクロプログラム
   を使用した論理シミュレーション実行結果あるいは実計
   算機実行結果に基づいて通過マイクロプログラムアドレ
   ス情報を導出し、該通過マイクロプログラムアドレス情
   報に対応する各マイクロプログラムステップについて、
   順次、上記仕様制限に照らして、当該マイクロプログラ
   ムステップの記述の正当性を検証し、該検証結果を出力
   することを特徴とするマイクロプログラム検証方式。