例文 (4件) |
criterion of verificationの部分一致の例文一覧と使い方
該当件数 : 4件
The verification target register to be verified is specified from a configuration of a verification target circuit 100 (step S101), and patterns requiring verification are extracted as a coverage criterion with regard to the specified verification target register (step S102).例文帳に追加
検証対象回路100の構成から検証対象となる検証対象レジスタを特定し(ステップS101)、特定された検証対象レジスタについて、カバレッジ基準となる検証を要するパターンを抽出する(ステップS102)。 - 特許庁
A data processing method includes a step (E308) for verifying a criterion indicative of the normal proceeding of the method and a processing step (E528) performed when a verification result is negative.例文帳に追加
データ処理方法は方法の正常な進行を示唆する基準を検査するステップと(E308)と検査結果がネガティブな場合に実行される処理ステップ(E528)を含む。 - 特許庁
In the step S102, as a DIRW matrix, the DIRW matrix is prepared to indicate possibly occurring state transitions among four states Declare, Initialize, Read, and Write in the register included in the verification target circuit 100, and the DIRW matrix is used to decide two kinds of coverage criterions, a matrix coverage criterion 110 and an implementation coverage criterion 120.例文帳に追加
このステップS102では、DIRWマトリックスとは、検証対象回路100に含まれるレジスタにおいてDeclareと、Initializeと、Readと、Writeとの4つの状態の中から生じる可能性のある状態遷移をあらわしたDRIWマトリックスを用意し、このDIRWマトリックスを利用して、マトリックスカバレッジ基準110と、実装カバレッジ基準120との2種類のカバレッジ基準を決定する。 - 特許庁
The walking data are composed of vibration data obtained by detecting vibration, and the walking verification criterion is one selected from among the following criteria: the vibration data continuing have a predetermined deviation in period; the vibration data continuing have a predetermined deviation in amplitude; the vibration data continuing have a change in acceleration determined beforehand; and a combination of these.例文帳に追加
前記歩行データは、振動を検知した振動データで構成され、前記歩行検証基準は、連続する前記振動データの周期に所定の偏差があること、連続する前記振動データの振幅に所定の偏差があること、連続する前記振動データに予め定めた加速度の変化があること、および、これらの組合せから選択される1の基準である。 - 特許庁
例文 (4件) |
Copyright © Japan Patent office. All Rights Reserved. |
ログイン |
Weblio会員(無料)になると
|
ログイン |
Weblio会員(無料)になると
|