verification criterionとは 意味・読み方・使い方

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

検証対象回路１００の構成から検証対象となる検証対象レジスタを特定し（ステップＳ１０１）、特定された検証対象レジスタについて、カバレッジ基準となる検証を要するパターンを抽出する（ステップＳ１０２）。 - 特許庁

When updating the criterion, a verification data generation part 270 selects access information which does not satisfy the new criterion from the access information stored in the access log storage part 250.例文帳に追加

検証データ生成部２７０は、基準を更新するとき、アクセスログ記憶部２５０に記憶されているアクセス情報から、更新後の基準を満たしていないアクセス情報を選択する。 - 特許庁

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)を含む。 - 特許庁

An information processing device comprises: trap insertion means that shapes a verification target program according to a coverage criterion and inserts a trap; software model inspection means that performs software model inspection on the trap-inserted program to which the trap is inserted by the trap insertion means, and outputs path information satisfying the coverage criterion; and precondition generation means that generates a precondition satisfying the coverage criterion from the path information.例文帳に追加

検証対象プログラムをカバレッジ基準に応じて整形しトラップを挿入するトラップ挿入手段と、前記トラップ挿入手段によってトラップを挿入されたトラップ入りプログラムについてソフトウェアモデル検査を行い、前記カバレッジ基準を満たすパス情報を出力するソフトウェアモデル検査手段と、前記パス情報から前記カバレッジ基準を満たす事前条件を生成する事前条件生成手段と、を備えたことを特徴とする。 - 特許庁

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

このステップＳ１０２では、ＤＩＲＷマトリックスとは、検証対象回路１００に含まれるレジスタにおいてＤｅｃｌａｒｅと、Ｉｎｉｔｉａｌｉｚｅと、Ｒｅａｄと、Ｗｒｉｔｅとの４つの状態の中から生じる可能性のある状態遷移をあらわしたＤＲＩＷマトリックスを用意し、このＤＩＲＷマトリックスを利用して、マトリックスカバレッジ基準１１０と、実装カバレッジ基準１２０との２種類のカバレッジ基準を決定する。 - 特許庁

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

前記歩行データは、振動を検知した振動データで構成され、前記歩行検証基準は、連続する前記振動データの周期に所定の偏差があること、連続する前記振動データの振幅に所定の偏差があること、連続する前記振動データに予め定めた加速度の変化があること、および、これらの組合せから選択される１の基準である。 - 特許庁