特許
J-GLOBAL ID：200903084225611151
マイクロプログラムチェックシステム
発明者：
出願人/特許権者：
代理人 (1件)：
京本 直樹 (外2名)
公報種別：公開公報
出願番号（国際出願番号）：特願平5-133070
公開番号（公開出願番号）：特開平6-348539
出願日： 1993年06月03日
公開日（公表日）： 1994年12月22日
要約：
【要約】【目的】複数のマイクロコマンドの発行順序に関する制約条件などの制約条件違反をチェックする。【構成】マイクロプログラムを入力して各マイクロコマンド発行の全ステップ情報と各ステップに対して後続の全ステップ情報をモデルとして作成する手段501と、制約条件を個別制約条件と個別制約条件間の順序関係に分ける手段502と、制約条件中の個別制約条件を満足するステップをマイクロプログラムから求める手段503と、求めたステップの組み合わせが制約条件中の個別制約条件間の順序関係に一致するかどうか判定する手段504と、制約条件の違反と判定した組み合わせを表示する手段505から構成される。
請求項（抜粋）：
マイクロプログラムを構成するマイクロコマンドに対しマイクロコマンド発行のステップ情報および各ステップに対して後続となるステップ情報をモデルとして作成するモデル作成手段と、入力された制約条件をある個別制約条件と他の個別制約条件との間の順序関係に分ける手段と、この手段で分けられた個別制約条件を満足するマイクロプログラムのステップを前記モデル作成手段のマイクロプログラムから探索し、獲得する探索獲得手段と、この探索獲得手段で得られたステップが分けられた個別制約条件の順序関係に一致する組合せがどうかを判定する判定手段と、この判定手段で制約条件に違反していると判定した組合わせを表示する表示手段とを含むことを特徴とするマイクロプログラムチェックシステム。
IPC (2件)：
G06F 11/28
, G06F 9/22 380
