特許

J-GLOBAL ID：200903095007168035

マイクロプログラム検証方法

発明者： 田中 順子 ,  中村 歩 ,  加藤 則子 ,  森 茂 ,  磨田 義範
出願人/特許権者： 株式会社日立製作所 ,  株式会社日立コンピュータエレクトロニクス ,  日立コンピュータエンジニアリング株式会社
代理人 (1件)： 小川 勝男
公報種別：公開公報
出願番号（国際出願番号）：特願平6-234787
公開番号（公開出願番号）：特開平8-095827
出願日： 1994年09月29日
公開日（公表日）： 1996年04月12日
要約：

【要約】【目的】計算機の機種やマイクロプログラムの仕様変更等に左右されず、また、人手の介入を必要としないマイクロプログラム検証方法を提供することを目的とする。【構成】検証に必要なマイクロ命令の定義情報を、マイクロ命令仕様記述言語仕様により記述された被検証マイクロプログラムのマイクロ命令仕様より自動的に抽出し、該抽出された定義情報により検証を実施する。

請求項（抜粋）：

計算機システムに内蔵されるマイクロプログラムの仕様上の制限ルールを静的に検証するマイクロプログラム検証方法において、検証に必要なマイクロ命令の定義情報を、マイクロ命令仕様記述言語仕様により記述された前記被検証マイクロプログラムのマイクロ命令仕様より自動的に抽出し、該抽出された定義情報により検証を実施することを特徴とするマイクロプログラム検証方法。

IPC (5件)：

G06F 11/28 340 ,  G06F 11/28 ,  G06F 9/06 540 ,  G06F 9/22 350 ,  G06F 9/22 380