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

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野〕 この発明は、マイクロプログラム制御方式の計算機シス
テム等におけるマイクロプログラム検証方式に関するも
のである。

〔従来の技術〕

第２図はマイクロプログラム制御方式の計算機システム
等で実施されている従来のマイクロプログラム制御方式
を示す図である。図において、１は次に実行すべきマイ
クロ命令の格納されたアドレスを示すアドレス情報を保
持するマイクロアドレスレジスタ、２はマイクロ命令を
格納する制御記憶、３は前記アドレス情報によって制御
記憶２から読出したマイクロ命令を保持するマイクロ命
令レジスタである。

次に動作について説明すると、まず、制御記憶２には複
数ステップに亘るマイクロ命令が予め格納されている。

そこで、マイクロアドレスレジスタ１に対し次に実行す
べきマイクロ命令が格納されている制御記憶２のアドレ
スを示すアドレス情報をセットすると、このアドレス情
報が制御記憶２のアドレス入力に供給され、その入力ア
ドレス情報で示される制御記憶２のアドレスに格納され
たマイクロ命令が読出され、マイクロ命令レジスタ３に
保持される。そして、このマイクロ命令レジスタ３に保
持されたマイクロ命令によって所要の処理がなされると
共に、次に実行すべきマイクロ命令が指示される。

このようなマイクロプログラム制御方式において、制御
記憶２に格納したマイクロ命令が設計仕様通りに実行さ
れたか否かを検出するために、通常、デバッグという検
証作業が行なわれる。そこで、従来の検証作業において
は、マイクロ命令°の実行を開始されるのと同時に、制
御記憶２に入力されるアドレス情報を特別の観測装置で
観測記録し、一連のマイクロ命令の実行終了後にその観
測記録結果を解析し、−度も実行されなかったマイクロ
命令が有るか否かを調べることにより、制御記憶２に格
納したマイクロ命令が設計仕様通りに実行されたか否か
を検証する方法が実施されていた。

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

しかし、上述した従来の検証方式では、制御記憶２に入
力されるアドレス情報を観測し、記録する特別の観測装
置を予め準備する必要があるうえ、記録された膨大な観
測結果はマイクロ命令の実行順番に並んだアドレス情報
列であるため、その解析に多大な労力を必要とするなど
の問題があった。

この発明は上記のような問題を解消するためになされた
もので、特別の観測装置を準備することなく、全てのマ
イクロ命令が実行されたか否かを、さらには特定のマイ
クロ命令が確実に実行されたか否かを容易に確認するこ
とができるマイクロプログラム検証方式を提供すること
を目的とする。

Ｃ課題を解決するための手段〕 この発明に係るマイクロプログラム検証方式は、制御記
憶２のアドレスに１対１に対応したアドレスを有する閤
換え可能な第１および第２の拡張制御記憶４，５と、こ
れら第１および第２の拡張記憶４，５に害込む所望のデ
ータを保持するマイクロデータレジスタ８と、これら第
１および第２の拡張制御記憶４，５からそれぞれ読出さ
れたデータを保持する第１および第２の拡張マイクロ命
令レジスタ６．７とを備え、前記制御記憶２に格納され
たマイクロ命令を実行するに際し、前記マイクロアドレ
スレジスタ１から順次送出されるアドレス情報で示され
る前記第１の拡張制御記憶４のアドレスに前記マイクロ
データレジスタ８に保持されているデータを順次塵込み
、マイクロ命令の実行終了後に鉋記第１の拡張制御記憶
４に書込まれたデータを前記第１の拡張マイクロ命令レ
ジスタ６を介して順次に読出し、前記マイクロデータレ
ジスタ８に保持されたデータと一致しない読出しデータ
については該読出しデータの格納アドレスに対応したマ
イクロ命令が実行されなかったものと識別し、さらにマ
イクロ命令の実行に先立ち、前記第２の拡張制御記憶５
における全てのアドレスのうちマイクロ命令の実行を検
証したいマイクロ命令の格納アドレスに対応するアドレ
スに前記マイクロデータレジスタ８から所望のデータを
書込み、この後に検証したいマイクロ命令を実行し、こ
の実行に際して前記マイクロアドレスレジスタ１から送
出されるアドレス情報によって前記第２の拡張制御記憶
５に書込んだデータを前記第２の拡張マイクロ命令レジ
スタ７を介して読出し、前記マイクロデータレジスタ８
に保持されたデータと同じデータが読出されない時は前
記検証したいマイクロ命令が実行されなかったものとし
て識別することを特徴とするものである。

〔作用］ 全てのマイクロ命令が実行されたか否かを検証する場合
は、まず、第１の拡張制御記憶４の内容を初期設定する
。例えば全てのアドレスに“０”のデータを書込んでク
リア状態に設定する。次にマイクロデータレジスタ８に
検証に適したデータパターンのデータをセットし、この
状態でマイクロ命令の実行を開始させる。そして、マイ
クロ命令を実行するに際し、マイクロアドレスレジスタ
１から順次送出されるアドレス情報で示される前・記憶
１の拡張制御記憶４のアドレスに前記マイクロデータレ
ジスタ８に保持されているデータを順次書込み、マイク
ロ命令の実行終了後に第１の拡張制御記憶４に震込まれ
たデータを第１の拡張マイクロ命令レジスタ６を介して
順次に読出し、マイクロデータレジスタ８に保持された
データと一致しない読出しデータについては該読出しデ
ータの格納アドレスに対応したマイクロ命令が実行され
なかったものと識別する。

さらに、特定のマイクロ命令の実行を検証したい場合は
、マイクロ命令の実行に先立ち、第２の拡張制御記憶５
における全てのアドレスのうちマイクロ命令の実行を検
証したいマイクロ命令の格納アドレスに対応するアドレ
スにマイクロデータレジスタ８から所望のデータ（例え
ば“１″）を虐込み、この後に検証したいマイクロ命令
を実行し、この実行に際して前記マイクロアドレスレジ
スタ１から送出されるアドレス情報によって第２の拡張
制御記憶５に書込んだデータを前記第２の拡張マイクロ
命令レジスタ７を介して読出し、マイクロデータレジス
タ８に保持されたデータと同じデータが読出されない時
は前記検証したいマイクロ命令が実行されなかったもの
として識別する。

〔実施例〕

以下、この発明の一実施例を図について説明する。第１
図はこの発明の一実施例を示すブロック図であり、図に
おいて、１は次に実行すべきマイクロ命令の格納された
アドレスを示すアドレス情報を保持するマイクロアドレ
スレジスタ、２はマイクロ命令を格納する制前記憶、３
は制御記憶２から読出したマイクロ命令を格納するマイ
クロ命令レジスタ、４および５は制御記憶２の全てのア
ドレスに１対１に対応したアドレスを有する第１゜第２
の拡張制御記憶、６は第１の拡張制御記憶４から読出さ
れたデータを保持する第１の拡張マイクロ命令レジスタ
、７は第２の拡張制御記憶５から読出されたデータを保
持する第２の拡張マイクロ命令レジスタ、８は第１．第
２の拡張制御記憶４．５に塵込む所望のデータを保持す
るマイクロデータレジスタ、９は第１の拡張制御記憶４
を書込みモードまたは読出しモードに指定する第１のフ
ラグ、１０は第２の拡張制御記憶５を震込みモードまた
は読出しモードに指定する第２のフラグである。

次に動作について説明する。まず、全てのマイクロ命令
が実行されたか否かを検証する場合は、予め第１の拡張
制御記憶４にマイクロデータレジスタ８から“０”のデ
ータを書込み、該第１の拡張制御記憶４の全てのアドレ
スの内容を“′０″にしておく。すなわち、第２の拡張
制御記憶４をクリアしておく。また、特定のマイクロ命
令が確実に実行されるか否かを同時に検証する場合は、
第２の拡張制御記憶５の全てのアドレスの内容を１１０
１ｊにした後、マイクロ命令の実行を検証したいマイク
ロ命令の格納アドレスに対応する第２の拡張制御記憶５
のアドレスの任意の１ビツトだけに“１”をマイクロデ
ータレジスタ８から虐込んでおく。この状態で、第１の
フラグ９を書込みモードに切替え、また第２のフラグ１
０を読出しモードに切替える。さらに、マイクロデータ
レジスタ８には、検証に適したデータパターンのデータ
をセットしておく、そして、この状態でデバッグを開始
すると、すなわち検証のためのマイクロ命令の実行を開
始させると、各ステップのマイクロ命令を実行するため
にその都度マイクロアドレスレジスタ１から順次に送出
されるアドレス情報が第１および第２の拡張制御記憶の
アドレス入力として入力される。このとき、第１の拡張
制御記憶４は第１の７ラグ９によって書込みモードが指
定され、かつマイクロデータレジスタ８から特定のデー
タパターンのデータが書込みデータとして入力されてい
る。また、第２の拡張制御記憶５は第２のフラグ１０に
よって読出しモードが指定されている。これにより、実
行したマイクロ命令の格納アドレスに対応した第１の拡
張制御記憶４のアドレスには、マイクロデータレジスタ
８にセットされているデータが順次に書込まれる。そこ
で、一連のデバッグが終了した時点で、第１のフラグ９
を読出しモードに切替え、第１の拡張制御記憶４の各ア
ドレスに崗込まれたデータをマイクロ命令レジスタ６を
経由して順次読出す。読出したデータがマイクロデータ
レジスタ８にセットされているデータと異なっている時
は、そのデータの格納アドレスに対応するマイクロ命令
がデバッグ中に実行されなかったことになる。

一方、デバッグ中に検証したいマイクロ命令が実行され
ると、そのマイクロ命令の格納アドレスに対応した第２
の拡張制御記憶２のアドレスからは、予め書込んでおい
たデータ“１″ガ拡張マイクロ命令レジスタ７を介して
読出される。この時、拡張マイクロ命令レジスタ７の内
容を観測していると、検証したいマイクロ命令を実行し
た時のみ“１′の信号が発生する。この信号はオシロス
コープあるいはロジックアナライザーのトリガ信号とし
て特別のデコード回路になしに直接使用できるので、“
１”を１込んだピットの出力端子にオシロスコープある
いはロジックアナライザーのトリガ信号入力端子を接続
しておくことにより、特定のマイクロ命令を実行したか
否かを極めて容易に知ることができる。

なお、全てのマイクロ命令が実行されたか否かを検証す
る場合に、第１の拡張制御記憶４は予めクリア状態にし
ているが、各アドレスの全ピットを“１ｎの状態、ある
いは検証のためにマイクロデータレジスタ８から順次に
書込むデータパターンと異なるデータ内容にしておいて
もよい。また、第２の拡張制御記憶５には、１ビツトだ
け“１ｐ′のデータを予め書込んでおいたが、オシロス
コープあるいはロジックアナライザーが立下り方向のト
リガ信号で動作するものであれば、１ピツトだけｌ　Ｏ
Ｈのデータを書込んでおけばよい。

〔発明の効果〕

以上のようにこの発明によれば、制御記憶とは別に第１
の拡張制御記憶を設け、この第１の拡張制御記憶に対し
てマイクロ命令の実行と共に所望のデータを順次に幽込
むようにし、一連のデバッグ作業後にそのデータを読出
して予め一設定したデータパターンと一致するか否かに
より、マイクロ命令が全て実行されたか否かを検証し、
さらに第２の拡張制御記憶を設け、この第２の拡張制御
記憶の特定のアドレスに予め崗込んでおいたデータが読
出されたか否かにより、特定のマイクロ命令の実行を検
証するようにしたものである。このため、特別の観測装
置を準備することなく、全てのマイクロ命令が実行され
たか否かを、さらには特定のマイクロ命令が確実に実行
されたか否かを容易に確認することができる

【図面の簡単な説明】

第１図はこの発明によるマイクロプログラム検証方式の
一実施例を示すブロック図、第２図は従来のマイクロプ
ログラム検証方式を示すブロック図である。 １・・・マイクロアドレスレジスタ、２・・・制御記憶
、３・・・マイクロ命令レジスタ、４・・・第１の拡張
制御記憶、５・・・第２の拡張制御記憶、６・・・第１
の拡張マイクロ命令レジスタ１．７・・・第２の拡張マ
イクＯ命令レジスタ２． ８・・・マイクロデータレジスタ、 第１図 ９・・・第１のフラグ、 １０・・・第２のフラグ。 なお、 図中、 同一符号は同一、 または相当部分 を示す。

Claims (1)

1. 【特許請求の範囲】 マイクロ命令を格納する制御記憶と、次に実行すべきマ
   イクロ命令が格納された前記制御記憶のアドレスを示す
   アドレス情報を保持するマイクロアドレスレジスタと、
   このマイクロアドレスレジスタに保持されたアドレス情
   報で示される前記制御記憶のアドレスから読出したマイ
   クロ命令を保持するマイクロ命令レジスタとを備えたマ
   イクロプログラム制御方式の装置において、 前記制御記憶のアドレスに１対１に対応したアドレスを
   有する書換え可能な第１および第２の拡張制御記憶と、
   これら第１および第２の拡張制御記憶に書込む所望のデ
   ータを保持するマイクロデータレジスタと、これら第１
   および第２の拡張制御記憶からそれぞれ読出されたデー
   タを保持する第１および第２の拡張マイクロ命令レジス
   タとを備え、前記制御記憶に格納されたマイクロ命令を
   実行するに際し、前記マイクロアドレスレジスタから順
   次送出されるアドレス情報で示される前記第１の拡張制
   御記憶のアドレスに前記マイクロデータレジスタに保持
   されているデータを順次書込み、マイクロ命令の実行終
   了後に前記第１の拡張制御記憶に書込まれたデータを前
   記第１の拡張マイクロ命令レジスタを介して順次に読出
   し、前記マイクロデータレジスタに保持されたデータと
   一致しない読出しデータについては該読出しデータの格
   納アドレスに対応したマイクロ命令が実行されなかった
   ものと識別し、さらにマイクロ命令の実行に先立ち、前
   記第２の拡張制御記憶における全てのアドレスのうちマ
   イクロ命令の実行を検証したいマイクロ命令の格納アド
   レスに対応するアドレスに前記マイクロデータレジスタ
   から所望のデータを書込み、この後に検証したいマイク
   ロ命令を実行し、この実行に際して前記マイクロアドレ
   スレジスタから送出されるアドレス情報によつて前記第
   ２の拡張制御記憶に書込んだデータを前記第２の拡張マ
   イクロ命令レジスタを介して読出し、前記マイクロデー
   タレジスタに保持されたデータと同じデータが読出され
   ない時は前記検証したいマイクロ命令が実行されなかっ
   たものとして識別することを特徴とするマイクロプログ
   ラム検証方式。