Pat

J-GLOBAL ID：200903004063908526

シミュレーションモデルのためのコンパイルメカニズム

Inventor： ダンカン ジェームス アレクサンダー ハリス ,  スティーヴン ホッグソン ,  ザクワン シャー
Applicant, Patent owner： インターナショナル コンピューターズ リミテッド
Agent (1)： 岡部 正夫 (外5名)
Gazette classification：公開公報
Application number (International application number)：1993237674
Publication number (International publication number)：1994195412
Application date： Sep. 24, 1993
Publication date： Jul. 15, 1994
Summary：

【要約】【目的】論理システムの設計において、シミュレーションを行なう際の設計ユニットのためテストパターンを抽出する必要性を回避したコンパイルメカニズムを提供する。【構成】コンパイルメカニズムは、ネットワークにおいて相互に関係させられている複数の設計ユニットを具備する論理システムのシミュレーションモデルを生成し、1セットの命令を具備するステアリングファイルによって制御される。各命令は、設計ユニットが、その動作仕様に関連して示されるサブネットワークとして拡張されるべきか、又はサブネットワークとして並行的に拡張され且つその動作仕様に関連して示されるべきかを規定する。CHECKコマンドが、サブネットワークからの出力と動作シミュレーションを比較する。SUPPRESSコマンドが、サブネットワークの特定のポートのチェックを選択的に禁止する。

Claim (excerpt)：

論理システムのシミュレーションモデルを生成するコンパイルメカニズムであって、ネットワークにおいて相互に関係させられている複数の設計ユニットを具備するコンパイルメカニズムにおいて、前記コンパイルメカニズムが、前記複数の設計ユニットの選択された1つをサブネットワークとして拡張し、更に、前記サブネットワークと平行に配された動作仕様によって並行にその設計ユニットを表すため選択的に動作可能であることを特徴とするコンパイルメカニズム。

IPC (2)：

G06F 15/60 360 ,  G06F 15/20