意味 | 例文 (4件) |
assertion listとは 意味・読み方・使い方
追加できません
(登録数上限)
意味・対訳 関係リスト
「assertion list」の部分一致の例文検索結果
該当件数 : 4件
To achieve assertion check equivalent to RTL description by net list verification.例文帳に追加
ネットリスト検証でRTL記述と同等のアサーションチェックを可能とする。 - 特許庁
A simulation part 104 performs a logical simulation with the use of the assertion description 103, the net list 101, and a test pattern 105, and then outputs a warning message 106 for warning the operation when the operation violating the operation expressed by the assertion description 103 is detected.例文帳に追加
シミュレーション部104は、そのアサーション記述103、ネットリスト101、及びテストパターン105を用いて論理シミュレーションを行うことにより、アサーション記述103が表す動作に違反する動作を検出した場合に、その動作を警告する警告メッセージ106を出力する。 - 特許庁
An analyzing part 102 analyzes a net list 101, extracts a part with possibility to perform the trouble when considering delay time generated in signal propagation, and generates assertion description 103 for monitoring the operation of the part.例文帳に追加
解析部102は、ネットリスト101を解析し、信号の伝搬で生じる遅延時間を考慮すれば不具合とされる動作を行う可能性が考えられる箇所を抽出し、その箇所の動作を監視するためのアサーション記述103を生成する。 - 特許庁
The method for generating test data for an automotive lookup table includes each step of dividing the automotive lookup table into categories, generating a list of assertions corresponding in a one-to-one relationship to the categories such that each of the categories has an assertion corresponding to it, generating an execution trace for each assertion using a constraint solver, and generating test data for each execution trace.例文帳に追加
自動車用ルックアップテーブルのためのテストデータを発生する方法は、自動車用ルックアップテーブルをカテゴリーに分割し、前記各カテゴリーが対応するアサーションを有するように、カテゴリーと一対一の関係で対応するアサーションのリストを発生し、制約ソルバを用いて各アサーションに対して実行追跡を発生し、さらに、各実行追跡に対してテストデータを発生する、各ステップを含む。 - 特許庁
-
履歴機能過去に調べた
単語を確認! -
語彙力診断診断回数が
増える! -
マイ単語帳便利な
学習機能付き! -
マイ例文帳文章で
単語を理解!
|
意味 | 例文 (4件) |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
「assertion list」のお隣キーワード |
weblioのその他のサービス
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |