小窓モード


プレミアム

ログイン
設定

設定

Weblio 辞書 > 英和辞典・和英辞典 > 英和専門語辞典 > assertion listの意味・解説 

assertion listとは 意味・読み方・使い方

ピン留め

追加できません

(登録数上限)

単語を追加

意味・対訳 関係リスト


クロスランゲージ 37分野専門語辞書での「assertion list」の意味

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.例文帳に追加

自動車用ルックアップテーブルのためのテストデータを発生する方法は、自動車用ルックアップテーブルをカテゴリーに分割し、前記各カテゴリーが対応するアサーションを有するように、カテゴリーと一対一の関係で対応するアサーションのリストを発生し、制約ソルバを用いて各アサーションに対して実行追跡を発生し、さらに、各実行追跡に対してテストデータを発生する、各ステップを含む。 - 特許庁

>>例文の一覧を見る


調べた例文を記録して、 効率よく覚えましょう
Weblio会員登録無料で登録できます!
  • 履歴機能
    履歴機能
    過去に調べた
    単語を確認!
  • 語彙力診断
    語彙力診断
    診断回数が
    増える!
  • マイ単語帳
    マイ単語帳
    便利な
    学習機能付き!
  • マイ例文帳
    マイ例文帳
    文章で
    単語を理解!
  • その他にも便利な機能が満載!
Weblio会員登録(無料)はこちらから

assertion listのページの著作権
英和・和英辞典 情報提供元は 参加元一覧 にて確認できます。

   
株式会社クロスランゲージ株式会社クロスランゲージ
Copyright © 2024 Cross Language Inc. All Right Reserved.

ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。

こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

このモジュールを今後表示しない
みんなの検索ランキング
閲覧履歴
無料会員登録をすると、
単語の閲覧履歴を
確認できます。
無料会員に登録する
英→日 日→英
こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

©2024 GRAS Group, Inc.RSS