「assertion list」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

To achieve assertion check equivalent to RTL description by net list verification.例文帳に追加

ネットリスト検証でＲＴＬ記述と同等のアサーションチェックを可能とする。 - 特許庁

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

シミュレーション部１０４は、そのアサーション記述１０３、ネットリスト１０１、及びテストパターン１０５を用いて論理シミュレーションを行うことにより、アサーション記述１０３が表す動作に違反する動作を検出した場合に、その動作を警告する警告メッセージ１０６を出力する。 - 特許庁

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

解析部１０２は、ネットリスト１０１を解析し、信号の伝搬で生じる遅延時間を考慮すれば不具合とされる動作を行う可能性が考えられる箇所を抽出し、その箇所の動作を監視するためのアサーション記述１０３を生成する。 - 特許庁

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

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