JP2560608B2 - マイクロプログラムチェックシステム - Google Patents
マイクロプログラムチェックシステムInfo
- Publication number
- JP2560608B2 JP2560608B2 JP5133070A JP13307093A JP2560608B2 JP 2560608 B2 JP2560608 B2 JP 2560608B2 JP 5133070 A JP5133070 A JP 5133070A JP 13307093 A JP13307093 A JP 13307093A JP 2560608 B2 JP2560608 B2 JP 2560608B2
- Authority
- JP
- Japan
- Prior art keywords
- microcommand
- steps
- condition
- check system
- information
- 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.)
- Expired - Lifetime
Links
Landscapes
- Debugging And Monitoring (AREA)
Description
【０００１】
【産業上の利用分野】本発明は、データ処理装置におい
て使用されるマイクロプログラムに関し、特にマイクロ
プログラムが種にハードウェアに依存する各種制約条件
に違反しているかどうかをチェックシステムに関する。
て使用されるマイクロプログラムに関し、特にマイクロ
プログラムが種にハードウェアに依存する各種制約条件
に違反しているかどうかをチェックシステムに関する。
【０００２】
【従来の技術】従来この種のチェックシステムとして
は、特開昭６２−１６６４４５号公報にデバッグ交換装
置が記載されている。
は、特開昭６２−１６６４４５号公報にデバッグ交換装
置が記載されている。
【０００３】この公報には、マイクロプログラム中の各
ステップを実行順序あるいは逆順にトレースし、ステッ
プ間におけるその使用マイクロコマンドの組み合わせが
制約条件に違反していないかどうかを判定するシステム
が示されている。
ステップを実行順序あるいは逆順にトレースし、ステッ
プ間におけるその使用マイクロコマンドの組み合わせが
制約条件に違反していないかどうかを判定するシステム
が示されている。
【０００４】
【発明が解決しようとする課題】前述のマイクロプログ
ラムをトレースすることにより制約条件違反を判定する
システムにおける問題点を図面を参照して詳細に説明す
る。
ラムをトレースすることにより制約条件違反を判定する
システムにおける問題点を図面を参照して詳細に説明す
る。
【０００５】制約条件毎にトレースを行うため、複数の
ステップを調べなければならないような制約条件に対し
ては、チェックするのに多くの時間を必要とする。
ステップを調べなければならないような制約条件に対し
ては、チェックするのに多くの時間を必要とする。
【０００６】図５を参照すると、たとえばマイクロプロ
グラムに対して、制約条件Ａ「マイクロコマンドａの発
行後にマイクロコマンドｃを発行してはならない。」と
制約条件Ｂ「マイクロコマンドｂの発行後にマイクロコ
マンドｄを発行してはならない。」をチェックする場合
を考える。制約条件Ａに関して、マイクロコマンドａを
発行しているステップ１０１からトレースが行われ、ス
テップ１０４およびステップ１０５でマイクロコマンド
ｃが発行されていることを検出して制約条件違反のエラ
ーが表示される。次に制約条件Ｂに関して同じようにト
レースが行われる。したがって、１つの制約条件に関し
てトレースを行うステップの数が増えるほど処理時間が
必要となる。
グラムに対して、制約条件Ａ「マイクロコマンドａの発
行後にマイクロコマンドｃを発行してはならない。」と
制約条件Ｂ「マイクロコマンドｂの発行後にマイクロコ
マンドｄを発行してはならない。」をチェックする場合
を考える。制約条件Ａに関して、マイクロコマンドａを
発行しているステップ１０１からトレースが行われ、ス
テップ１０４およびステップ１０５でマイクロコマンド
ｃが発行されていることを検出して制約条件違反のエラ
ーが表示される。次に制約条件Ｂに関して同じようにト
レースが行われる。したがって、１つの制約条件に関し
てトレースを行うステップの数が増えるほど処理時間が
必要となる。
【０００７】マイクロコマンドの発行の有無を問題とす
る制約条件に対しては、最後までトレースしてみないと
制約条件に違反しているかどうか分らないため、チェッ
クするのに多くの時間を必要とする。たとえば、図５に
示されるマイクロプログラムに対して、制約条件Ｃ「マ
イクロコマンドｅを発行後は必ずマイクロコマンドｇを
発行しなければならない。」をチェックする場合を考え
てみる。マイクロコマンドｅを発行しているステップ１
０２からトレースを始めるが、ステップ１０４およびス
テップ１０５に到達してなおマイクロコマンドｇが発行
されていない場合にはじめて制約条件違反が確定する。
この場合は制約条件に違反している場合にはチェックに
時間がかかるが、制約条件Ｄ「マイクロコマンドｆの発
行後マイクロコマンドｈを発行してはならない。」の場
合は制約条件に違反していない場合に時間がかかること
になる。
る制約条件に対しては、最後までトレースしてみないと
制約条件に違反しているかどうか分らないため、チェッ
クするのに多くの時間を必要とする。たとえば、図５に
示されるマイクロプログラムに対して、制約条件Ｃ「マ
イクロコマンドｅを発行後は必ずマイクロコマンドｇを
発行しなければならない。」をチェックする場合を考え
てみる。マイクロコマンドｅを発行しているステップ１
０２からトレースを始めるが、ステップ１０４およびス
テップ１０５に到達してなおマイクロコマンドｇが発行
されていない場合にはじめて制約条件違反が確定する。
この場合は制約条件に違反している場合にはチェックに
時間がかかるが、制約条件Ｄ「マイクロコマンドｆの発
行後マイクロコマンドｈを発行してはならない。」の場
合は制約条件に違反していない場合に時間がかかること
になる。
【０００８】３つ以上のマイクロコマンドの発行順序に
ような複雑な制約条件に対しては、トレースが複雑にな
るためチェックできない。たとえば、図５に示されるマ
イクロプログラムに対して、制約条件Ｅ「マイクロコマ
ンドａの発行後マイクロコマンドｚを発行する場合、そ
れ以前のステップではマイクロコマンドｘを発行しては
ならない。」をチェックする場合を考える。この場合、
マイクロコマンドａを発行しているステップ１０１から
順方向にトレースしてマイクロコマンドｚを発行してい
るステップ１０４を見つけたら、今度はステップ１０４
から逆方向にトレースしてステップ１０３でマイクロコ
マンドｘを発行しているかどうか調べなければならな
い。このように、１つの制約条件に関して、制約条件の
内容に従って順方向と逆方向を切り換えてトレースを続
けるのは処理時間の関係で現実的ではないため、従来は
この種の制約条件はチェックできなかった。
ような複雑な制約条件に対しては、トレースが複雑にな
るためチェックできない。たとえば、図５に示されるマ
イクロプログラムに対して、制約条件Ｅ「マイクロコマ
ンドａの発行後マイクロコマンドｚを発行する場合、そ
れ以前のステップではマイクロコマンドｘを発行しては
ならない。」をチェックする場合を考える。この場合、
マイクロコマンドａを発行しているステップ１０１から
順方向にトレースしてマイクロコマンドｚを発行してい
るステップ１０４を見つけたら、今度はステップ１０４
から逆方向にトレースしてステップ１０３でマイクロコ
マンドｘを発行しているかどうか調べなければならな
い。このように、１つの制約条件に関して、制約条件の
内容に従って順方向と逆方向を切り換えてトレースを続
けるのは処理時間の関係で現実的ではないため、従来は
この種の制約条件はチェックできなかった。
【０００９】
【課題を解決するための手段】本発明のマイクロプログ
ラムチェックシステムは、少なくとも１つのマイクロコ
マンドを含む複数のステップを有するマイクロプログラ
ムとこのマイクロプログラムに課せられる制約条件とが
入力され前記マイクロプログラムが前記制約条件に違反
するか否かを判定するマイクロプログラムチェックシス
テムにおいて、前記制約条件を基にして判定の対象とな
るマイクロコマンドの種別を示す個別条件とこの個別条
件が示すマイクロコマンド種別間の順序関係を示す順序
条件とを生成する条件作成手段と、マイクロコマンドの
種別ごとに前記複数のステップのうちで当該種別のマイ
クロコマンドを含むをステップ示すマイクロコマンド情
報テーブルと前記複数のステップの順序関係を示すステ
ップ情報テーブルとを作成するテーブル作成手段と、こ
のテーブル作成手段が作成した前記マイクロコマンド情
報テーブルを参照して前記複数のステップのうち前記個
別条件を満たすステップ群を特定する探索獲得手段と、
この探索獲得手段により特定されたステップ群のうち前
記順序条件を満たすステップの組合せがあるか否かを判
定する判定手段とを含む。また、本発明の他のマイクロ
プログラムチェックシステムは、前記判定手段は、前記
探索獲得手段が獲得した前記ステップの組み合わせの各
々に対して判定を実施する。また、本発明の他のマイク
ロプログラムチェックシステムは、前記ステップ情報テ
ーブルは、各ステップに対して全てのステップ毎に後続
するか否かを示すフラグを含む。また、本発明の他のマ
イクロプログラムチェックシステムは、前記個別条件
は、各マイクロコマンドに関連付けられた時間情報を含
み、前記順序条件は前記時間情報の関係を示す関係情報
を含む。
ラムチェックシステムは、少なくとも１つのマイクロコ
マンドを含む複数のステップを有するマイクロプログラ
ムとこのマイクロプログラムに課せられる制約条件とが
入力され前記マイクロプログラムが前記制約条件に違反
するか否かを判定するマイクロプログラムチェックシス
テムにおいて、前記制約条件を基にして判定の対象とな
るマイクロコマンドの種別を示す個別条件とこの個別条
件が示すマイクロコマンド種別間の順序関係を示す順序
条件とを生成する条件作成手段と、マイクロコマンドの
種別ごとに前記複数のステップのうちで当該種別のマイ
クロコマンドを含むをステップ示すマイクロコマンド情
報テーブルと前記複数のステップの順序関係を示すステ
ップ情報テーブルとを作成するテーブル作成手段と、こ
のテーブル作成手段が作成した前記マイクロコマンド情
報テーブルを参照して前記複数のステップのうち前記個
別条件を満たすステップ群を特定する探索獲得手段と、
この探索獲得手段により特定されたステップ群のうち前
記順序条件を満たすステップの組合せがあるか否かを判
定する判定手段とを含む。また、本発明の他のマイクロ
プログラムチェックシステムは、前記判定手段は、前記
探索獲得手段が獲得した前記ステップの組み合わせの各
々に対して判定を実施する。また、本発明の他のマイク
ロプログラムチェックシステムは、前記ステップ情報テ
ーブルは、各ステップに対して全てのステップ毎に後続
するか否かを示すフラグを含む。また、本発明の他のマ
イクロプログラムチェックシステムは、前記個別条件
は、各マイクロコマンドに関連付けられた時間情報を含
み、前記順序条件は前記時間情報の関係を示す関係情報
を含む。
【００１０】
【実施例】次に本発明の一実施例について図面を参照し
て詳細に説明する。
て詳細に説明する。
【００１１】図１を参照すると、本発明の第１の実施例
は、マイクロプログラムを入力して各マイクロコマンド
に対してそれを発行している全ステップの情報と各ステ
ップに対して後続となる全ステップの情報をモデルとし
て作成するモデル作成手段５０１と、制約条件を入力し
て個別制約条件と個別制約条件間の順序関係に分ける手
段５０２と、この手段５０２で分けられた個別制約条件
を満足するマイクロプログラムのステップをモデル作成
手段５０１で入力したマイクロプログラムから探索し獲
得する探索獲得手段５０３と、この探索獲得手段５０３
で得られたステップが手段５０２で分けられた個別制約
条件の順序関係に一致する組合せかどうか判定する判定
手段５０４と、この判定手段５０４で制約条件に違反し
ていると判定した組み合わせを表示する表示手段５０５
とを備えている。
は、マイクロプログラムを入力して各マイクロコマンド
に対してそれを発行している全ステップの情報と各ステ
ップに対して後続となる全ステップの情報をモデルとし
て作成するモデル作成手段５０１と、制約条件を入力し
て個別制約条件と個別制約条件間の順序関係に分ける手
段５０２と、この手段５０２で分けられた個別制約条件
を満足するマイクロプログラムのステップをモデル作成
手段５０１で入力したマイクロプログラムから探索し獲
得する探索獲得手段５０３と、この探索獲得手段５０３
で得られたステップが手段５０２で分けられた個別制約
条件の順序関係に一致する組合せかどうか判定する判定
手段５０４と、この判定手段５０４で制約条件に違反し
ていると判定した組み合わせを表示する表示手段５０５
とを備えている。
【００１２】次に本発明の第２の実施例について、図面
を参照して詳細に説明する。
を参照して詳細に説明する。
【００１３】図２を参照すると、マイクロプログラムが
入力されて内部モデルが作成される（２０１）。
入力されて内部モデルが作成される（２０１）。
【００１４】図３を参照すると、図１に示されるマイク
ロプログラム入力時のモデルの例はマイクロコマンド情
報テーブル３０１とステップ情報テーブル３０２とから
構成される。さらに、マイクロコマンド情報テーブル３
０１は、マイクロコマンド名フィールド３０１１と、そ
のマイクロコマンドを発行しているステップを示すステ
ップ情報テーブル３０２へのポインタフィールド３０１
２から構成される。発行ステップへのポインタフィール
ド３０１２は、そのマイクロコマンドを発行しているス
テップ数だけのポインタを有している。また、ステップ
情報テーブル３０２は、後続ステップフラグフィールド
３０２２から構成される。後続ステップフラグフィール
ド３０２２は、マイクロプログラムの各ステップ３０２
１に対してそれぞれ全ステップ分の情報を持ち、そのス
テップが後続ステップであればフラグをオン状態、それ
でなければフラグをオフ状態に設定しておく。図１に示
されるマイクロプログラムをモデル化した結果、マイク
ロコマンドａはステップ１０１でのみ発行されているの
で、マイクロコマンドａを格納したマイクロコマンド名
フィールド３０１１に対応する発行ステップへのポイン
タフィールド３０１２はステップ１０１を示すステップ
情報テーブル３０２に要素を指している。マイクロコマ
ンドｂ、ｅ、ｆ、ｘ、ｙ、およびｚも同様である。マイ
クロコマンドｃは図１におけるステップ１０４とステッ
プ１０５とで発行されているので、マイクロコマンドｃ
を格納したマイクロコマンドフィールド３０１１に対応
する発行ステップへのポインタフィールド３０１２はス
テップ１０４とステップ１０５とを指している。マイク
ロコマンドｄも同様である。また、図１において、ステ
ップ１０１は後続ステップとしてステップ１０２、１０
３、１０４、および１０５を持つので、ステップ情報テ
ーブル３０２でステップ１０１に対応する後続ステップ
フラグフィールドのステップ１０２、１０３、１０４、
および１０５に対応するフラグがオン状態に設定されて
いる。他のステップに関しても同様に設定されるが、図
１においてステップ１０４と１０５とは後続ステップを
持たないので、ステップ情報テーブル３０２中でステッ
プ１０４と１０５とに対応する後続ステップフラグフィ
ールドはすべてオフ状態となっている。
ロプログラム入力時のモデルの例はマイクロコマンド情
報テーブル３０１とステップ情報テーブル３０２とから
構成される。さらに、マイクロコマンド情報テーブル３
０１は、マイクロコマンド名フィールド３０１１と、そ
のマイクロコマンドを発行しているステップを示すステ
ップ情報テーブル３０２へのポインタフィールド３０１
２から構成される。発行ステップへのポインタフィール
ド３０１２は、そのマイクロコマンドを発行しているス
テップ数だけのポインタを有している。また、ステップ
情報テーブル３０２は、後続ステップフラグフィールド
３０２２から構成される。後続ステップフラグフィール
ド３０２２は、マイクロプログラムの各ステップ３０２
１に対してそれぞれ全ステップ分の情報を持ち、そのス
テップが後続ステップであればフラグをオン状態、それ
でなければフラグをオフ状態に設定しておく。図１に示
されるマイクロプログラムをモデル化した結果、マイク
ロコマンドａはステップ１０１でのみ発行されているの
で、マイクロコマンドａを格納したマイクロコマンド名
フィールド３０１１に対応する発行ステップへのポイン
タフィールド３０１２はステップ１０１を示すステップ
情報テーブル３０２に要素を指している。マイクロコマ
ンドｂ、ｅ、ｆ、ｘ、ｙ、およびｚも同様である。マイ
クロコマンドｃは図１におけるステップ１０４とステッ
プ１０５とで発行されているので、マイクロコマンドｃ
を格納したマイクロコマンドフィールド３０１１に対応
する発行ステップへのポインタフィールド３０１２はス
テップ１０４とステップ１０５とを指している。マイク
ロコマンドｄも同様である。また、図１において、ステ
ップ１０１は後続ステップとしてステップ１０２、１０
３、１０４、および１０５を持つので、ステップ情報テ
ーブル３０２でステップ１０１に対応する後続ステップ
フラグフィールドのステップ１０２、１０３、１０４、
および１０５に対応するフラグがオン状態に設定されて
いる。他のステップに関しても同様に設定されるが、図
１においてステップ１０４と１０５とは後続ステップを
持たないので、ステップ情報テーブル３０２中でステッ
プ１０４と１０５とに対応する後続ステップフラグフィ
ールドはすべてオフ状態となっている。
【００１５】図２に示される処理２０２において制約条
件が入力される。制約条件の例を示す図４を参照する
と、実際の制約記述４０１を一定の規則の構文で書き換
えた制約条件ルール４０２が入力される。ここで、制約
条件４０１中の各個別条件４０１１、４０１２、および
４０１３は制約条件ルール４０２の個別条件４０２１、
４０２２、および４０２３に対応している。また、制約
条件４０１の個別条件間の順序関係４０１４、および４
０１５は、制約条件ルール４０２において、個別条件中
に指定した時刻指定の関係を示す条件４０２４、および
４０２５として表されている。
件が入力される。制約条件の例を示す図４を参照する
と、実際の制約記述４０１を一定の規則の構文で書き換
えた制約条件ルール４０２が入力される。ここで、制約
条件４０１中の各個別条件４０１１、４０１２、および
４０１３は制約条件ルール４０２の個別条件４０２１、
４０２２、および４０２３に対応している。また、制約
条件４０１の個別条件間の順序関係４０１４、および４
０１５は、制約条件ルール４０２において、個別条件中
に指定した時刻指定の関係を示す条件４０２４、および
４０２５として表されている。
【００１６】次に、各々の個別条件を満足するステップ
が探索され獲得される（２０４）。たとえば、個別条件
４０２１に対してマイクロコマンドａをマイクロコマン
ド情報テーブル３０１のマイクロコマンド名フィールド
３０１１から探し、それに対応する発行ステップへのポ
インタフィールド３０１２により、マイクロコマンドａ
を発行しているステップ１０１を得る。同様にして、個
別条件４０２２に対してステップ１０４、個別条件４０
２３に対してステップ１０３を得る。
が探索され獲得される（２０４）。たとえば、個別条件
４０２１に対してマイクロコマンドａをマイクロコマン
ド情報テーブル３０１のマイクロコマンド名フィールド
３０１１から探し、それに対応する発行ステップへのポ
インタフィールド３０１２により、マイクロコマンドａ
を発行しているステップ１０１を得る。同様にして、個
別条件４０２２に対してステップ１０４、個別条件４０
２３に対してステップ１０３を得る。
【００１７】さらに、処理２０４で獲得された各個別条
件を満足するステップ間の関係が求められ（２０５）、
制約条件の個別条件間の順序関係の制約を満足する組み
合わせがあるかどうかが判定される（処理２０６）。た
とえば、個別条件４０２１を満足したステップ１０１は
後続として個別条件４０２２を満足したステップ１０４
を持つので（ステップ１０１，およびステップ１０４）
の組み合わせは順序関係４０２４を満足する。これと同
時に個別条件４０２３を満足したステップ１０３は後続
としてステップ１０４を持つので（ステップ１０３，お
よびステップ１０４）の組み合わせは順序条件４０２５
を満足する。処理２０６の判定で、制約条件の個別条件
間の順序関係に制約を満足する組み合わせが存在しない
場合、処理２０２に戻る。
件を満足するステップ間の関係が求められ（２０５）、
制約条件の個別条件間の順序関係の制約を満足する組み
合わせがあるかどうかが判定される（処理２０６）。た
とえば、個別条件４０２１を満足したステップ１０１は
後続として個別条件４０２２を満足したステップ１０４
を持つので（ステップ１０１，およびステップ１０４）
の組み合わせは順序関係４０２４を満足する。これと同
時に個別条件４０２３を満足したステップ１０３は後続
としてステップ１０４を持つので（ステップ１０３，お
よびステップ１０４）の組み合わせは順序条件４０２５
を満足する。処理２０６の判定で、制約条件の個別条件
間の順序関係に制約を満足する組み合わせが存在しない
場合、処理２０２に戻る。
【００１８】図２に示される処理２０７において、制約
条件に違反している全ての組み合わせを表示する。この
例では、制約条件の（ステップ１０１，ステップ１０
４，およびステップ１０３）の組み合わせが制約条件エ
ラーとして表示される。
条件に違反している全ての組み合わせを表示する。この
例では、制約条件の（ステップ１０１，ステップ１０
４，およびステップ１０３）の組み合わせが制約条件エ
ラーとして表示される。
【００１９】図２において、処理２０２から処理２０７
までが制約条件の存在する間繰り返される。処理２０３
において制約条件が終了したら、処理が終了される。
までが制約条件の存在する間繰り返される。処理２０３
において制約条件が終了したら、処理が終了される。
【００２０】本発明の第１の実施例の変形例として、マ
イクロプログラム中の全ステップに対して、当該ステッ
プの後続となる全テップの情報と、当該ステップに先行
する全ステップの情報とを有するマイクロプログラムの
チェックシステムを提供できる。このシステム実現のた
めには、第２の実施例において、図３に示される内部モ
デルのステップ情報テーブル３０２に、後続ステップフ
ログフィールド３０２２に加えて先行ステップフラグフ
ィールドを追加する必要がある。
イクロプログラム中の全ステップに対して、当該ステッ
プの後続となる全テップの情報と、当該ステップに先行
する全ステップの情報とを有するマイクロプログラムの
チェックシステムを提供できる。このシステム実現のた
めには、第２の実施例において、図３に示される内部モ
デルのステップ情報テーブル３０２に、後続ステップフ
ログフィールド３０２２に加えて先行ステップフラグフ
ィールドを追加する必要がある。
【００２１】さらに、本発明の一実施例およびその変形
例において、マイクロプログラム中の全ステップに対し
て、後続および先行ステップの情報と当該ステップから
の距離を有するマイクロプログラムチェックシステムも
提供できる。このシステムを実現するためには、第２の
実施例において、図３に示す内部モデルのステップ情報
フィールド３０２の後続ステップフラグフィールド３０
２２，および上述の変形例で追加した先行ステップフラ
グフィールドにオン状態，オフ状態を示すフラグを格納
する代わりに、後続ステップあるいは先行ステップから
の距離を格納する必要がある。
例において、マイクロプログラム中の全ステップに対し
て、後続および先行ステップの情報と当該ステップから
の距離を有するマイクロプログラムチェックシステムも
提供できる。このシステムを実現するためには、第２の
実施例において、図３に示す内部モデルのステップ情報
フィールド３０２の後続ステップフラグフィールド３０
２２，および上述の変形例で追加した先行ステップフラ
グフィールドにオン状態，オフ状態を示すフラグを格納
する代わりに、後続ステップあるいは先行ステップから
の距離を格納する必要がある。
【００２２】
【発明の効果】以上説明したように本発明の特徴の１つ
は、あらかじめ、マイクロプログラム中の全マイクロコ
マンドに対してそれを発行しているステップの情報と、
マイクロプログラム中の全ステップに対してその後続ス
テップと先行ステップおよびその距離の情報を作成して
おいて、制約条件ルール中の個別条件が成立するステッ
プを全て求めてから、個別条件間の順序関係に合うよう
なステップの組み合わせで制約条件に違反する個所を求
めることにある。この特徴により本発明は従来のトレー
スシステムでは多くの時間を必要とした個別条件が成立
するステップが存在するかどうかが最後まで分らないよ
うな制約条件や従来のトレースシステムではチェックで
きなかった３つ以上のマイクロコマンドに関係する複雑
な制約に対しても高速にチェックを行うことができる。
は、あらかじめ、マイクロプログラム中の全マイクロコ
マンドに対してそれを発行しているステップの情報と、
マイクロプログラム中の全ステップに対してその後続ス
テップと先行ステップおよびその距離の情報を作成して
おいて、制約条件ルール中の個別条件が成立するステッ
プを全て求めてから、個別条件間の順序関係に合うよう
なステップの組み合わせで制約条件に違反する個所を求
めることにある。この特徴により本発明は従来のトレー
スシステムでは多くの時間を必要とした個別条件が成立
するステップが存在するかどうかが最後まで分らないよ
うな制約条件や従来のトレースシステムではチェックで
きなかった３つ以上のマイクロコマンドに関係する複雑
な制約に対しても高速にチェックを行うことができる。
【図１】本発明の第１の実施例を示す図である。
【図２】本発明の第２の実施例を示す図である。
【図３】本発明の第２の実施例の内部モデルを示す図で
ある。
ある。
【図４】制約条件の例を示す図である。
【図５】マイクロプログラムの例を示す図である。
１０１〜１０５ マイクロプログラムの処理ステップ １０１１〜１０５２ マイクロプログラムで発行して
いるマイクロコマンド ２０１〜２０７ フローチャートの処理 ３０１ コマンド情報テーブル ３０２ ステップ情報テーブル ３０１１ マイクロコマンド名フィールド ３０１２ 発行ステップへのポインタフィールド ３０２１ ステップ識別 ３０２２ 後続ステップフラグフィールド ４０１ 制約条件 ４０２ 制約条件ルール ４０１１〜４０１３ 個別制約条件 ４０１４，４０１５ 個別制約条件の間の順序関係 ４０２１〜４０２３ 個別制約条件を示すルール ４０２４，４０２５ 個別制約条件の間の順序関係を
示すルール ５０１〜５０５ 実施例を構成する手段
いるマイクロコマンド ２０１〜２０７ フローチャートの処理 ３０１ コマンド情報テーブル ３０２ ステップ情報テーブル ３０１１ マイクロコマンド名フィールド ３０１２ 発行ステップへのポインタフィールド ３０２１ ステップ識別 ３０２２ 後続ステップフラグフィールド ４０１ 制約条件 ４０２ 制約条件ルール ４０１１〜４０１３ 個別制約条件 ４０１４，４０１５ 個別制約条件の間の順序関係 ４０２１〜４０２３ 個別制約条件を示すルール ４０２４，４０２５ 個別制約条件の間の順序関係を
示すルール ５０１〜５０５ 実施例を構成する手段
Claims (5)
- 【請求項１】 少なくとも１つのマイクロコマンドを含
む複数のステップを有するマイクロプログラムとこのマ
イクロプログラムに課せられる制約条件とが入力され、
前記マイクロプログラムが前記制約条件に違反するか否
かを判定するマイクロプログラムチェックシステムにお
いて、 前記制約条件を基にして、判定の対象となるマイクロコ
マンドの種別を示す個別条件と、この個別条件が示すマ
イクロコマンド種別間の順序関係を示す順序条件とを生
成する条件作成手段と、 マイクロコマンドの種別ごとに前記複数のステップのう
ちで当該種別のマイクロコマンドを含むをステップ示す
マイクロコマンド情報テーブルと、前記複数のステップ
の順序関係を示すステップ情報テーブルとを作成するテ
ーブル作成手段と、 このテーブル作成手段が作成した前記マイクロコマンド
情報テーブルを参照して、前記複数のステップのうち前
記個別条件を満たすステップ群を特定する探索獲得手段
と、 この探索獲得手段により特定されたステップ群のうち前
記順序条件を満たすステップの組合せがあるか否かを判
定する判定手段とを含むことを特徴とするマイクロプロ
グラムチェックシステム。 - 【請求項２】 前記判定手段は、前記探索獲得手段が獲
得した前記ステップの組み合わせの各々に対して判定を
実施することを特徴とする請求項２記載のマイクロプロ
グラムチェックシステム。 - 【請求項３】 前記ステップ情報テーブルは、各ステッ
プに対して全てのステップ毎に後続するか否かを示すフ
ラグを含むことを特徴とする請求項１記載のマイクロプ
ログラムチェックシステム。 - 【請求項４】 前記個別条件は、各マイクロコマンドに
関連付けられた時間情報を含み、前記順序条件は前記時
間情報の関係を示す関係情報を含むことを特徴とする請
求項１記載のマクロプログラムチェックシステム。 - 【請求項５】 前記ステップ情報テーブルが、ステップ
間の距離を示す情報を含むことを特徴とする請求項１記
載のマイクロコマンドチェックシステム。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP5133070A JP2560608B2 (ja) | 1993-06-03 | 1993-06-03 | マイクロプログラムチェックシステム |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP5133070A JP2560608B2 (ja) | 1993-06-03 | 1993-06-03 | マイクロプログラムチェックシステム |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH06348539A JPH06348539A (ja) | 1994-12-22 |
| JP2560608B2 true JP2560608B2 (ja) | 1996-12-04 |
Family
ID=15096145
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP5133070A Expired - Lifetime JP2560608B2 (ja) | 1993-06-03 | 1993-06-03 | マイクロプログラムチェックシステム |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP2560608B2 (ja) |
Families Citing this family (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2017213031A (ja) * | 2016-05-30 | 2017-12-07 | 京楽産業．株式会社 | 遊技機 |
Family Cites Families (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS62166445A (ja) * | 1986-01-20 | 1987-07-22 | Nec Corp | デバツグ支援装置 |
| JPH03244044A (ja) * | 1990-02-22 | 1991-10-30 | Nec Corp | マイクロプログラムの逐次処理監視方式 |
-
1993
- 1993-06-03 JP JP5133070A patent/JP2560608B2/ja not_active Expired - Lifetime
Also Published As
| Publication number | Publication date |
|---|---|
| JPH06348539A (ja) | 1994-12-22 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US4742467A (en) | Automated programming system for machine creation of applications program source code from non-procedural terminal input | |
| US5327568A (en) | Apparatus for supporting graphic data driven program development and for displaying instruction execution results superimposed on the graphic program | |
| US8935673B1 (en) | System and method for debugging computer program based on execution history | |
| US6138270A (en) | System, method and memory medium for detecting differences between graphical programs | |
| US8060519B2 (en) | Ontology-integration-position specifying apparatus, ontology-integration supporting method, and computer program product | |
| US5594892A (en) | Method for automated software application testing | |
| KR20010022215A (ko) | 2000년 테스트 케이스들을 생성하는 시스템 및 방법 | |
| CN110928772A (zh) | 一种测试方法及装置 | |
| US5862382A (en) | Program analysis system and program analysis method | |
| Chapin | New format for flowcharts | |
| JP2002024286A (ja) | データ表示方法および装置並びにその処理プログラムを記録した記録媒体 | |
| US20230026126A1 (en) | Pipeline task verification for a data processing platform | |
| JP6851856B2 (ja) | 協調設計支援装置、協調設計支援方法、及びプログラム | |
| US6243858B1 (en) | Program construction assisting system | |
| JPS6079470A (ja) | レイアウト支援装置 | |
| JP2560608B2 (ja) | マイクロプログラムチェックシステム | |
| US20140129879A1 (en) | Selection apparatus, method of selecting, and computer-readable recording medium | |
| US7587519B2 (en) | Method and device for modifying modular messages | |
| US5212783A (en) | System which directionally sums signals for identifying and resolving timing inconsistencies | |
| CN112015656B (zh) | 一种工作流设计器的可视化调试方法及装置 | |
| JPH06161759A (ja) | システム状態遷移ルールの検証支援方法および装置 | |
| JPH11282666A (ja) | テスト仕様書作成装置およびそのプログラムを格納した記憶媒体 | |
| JPH06110978A (ja) | 電子部品のレイアウト設計支援装置 | |
| JP5243908B2 (ja) | モデルの品質を検証するためのコンピュータ・システム、並びにその方法及びコンピュータ・プログラム | |
| Buschke et al. | Computer aided evalution of simulation results, the Simueva program package |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 19960723 |