レベルモデルの英語

プロセッサの例におけるトランザクションレベルモデルとＲＴＬとの間の等価性検証例文帳に追加

EQUIVALENCE VERIFICATION BETWEEN TRANSACTION LEVEL MODEL AND REGISTER TRANSFER LEVEL IN INSTANCE OF PROCESSOR - 特許庁

このような構成を採用し、サイクルレベルモデルの不要論理を削除する。例文帳に追加

By adopting such a configuration, the unnecessary logic of the cycle level model is eliminated. - 特許庁

そして、入出力命令情報Ａ２に含まれる解析対象命令に対応する入力信号を動作開始状態にあるＲＴレベルモデルＡ１に与え、入力信号を変化させた場合、ＲＴレベルモデルＡ１が動作終了状態になるまで、ＲＴレベルモデルＡ１を解析して論理回路ブロックの動作を抽出する（処理Ｂ４）。例文帳に追加

In the case an input signal corresponding to an analysis object instruction included in input-output instruction information A2 is given to an RT level mode A1 in an operation start state to change the input signal, the RT level model A1 is analyzed until the RT level model A1 becomes an operation end state to extract the operation of the logic circuit block (processing B4). - 特許庁

また、シミュレーションプロファイルを基に、サイクルレベルモデルの分岐条件の論理を簡単化するように動作する。例文帳に追加

Also, an operation is performed to simplify the logic of the branch condition of the cycle level model on the basis of a simulation profile. - 特許庁

不要論理解析手段と、性能評価モデル出力手段とを備え、サイクルレベルモデル中の実行サイクル数に影響を与えない論理を削除する。例文帳に追加

A system for behavioral synthesis includes an unnecessary logic analysis means and a performance evaluation model output means, and the logic which does not affect the number of execution cycles in a cycle level model is eliminated. - 特許庁