~based verificationの英語

VERIFICATION FOR CONFIGURATION OF STORAGE DEVICE BASED ON DEVICE IDENTIFIER例文帳に追加

デバイス識別子に基づいた記憶デバイスの構成の検証 - 特許庁

To improve verification accuracy and reduce analysis man-hours in assertion-based verification.例文帳に追加

アサーションベース検証において，検証精度を向上させ，さらに，解析作業工数を削減する。 - 特許庁

Techniques for estimating verification loads include a verification load estimation technique for the design of a logic circuit; a verification load estimation technique for the verification items of the logic circuit; a re-estimation technique for re-estimating the verification loads based on verification results; and a scheduler that distributes the arithmetic processing units according to the verification loads and the verification time.例文帳に追加

論理回路の設計に対する検証負荷見積り手法と、論理回路の検証項目に対する検証負荷見積り手法と、検証結果による検証負荷の再見積り見積り手法と、検証負荷および検証時間による演算処理装置の配分を行うスケジューラと、による構成。 - 特許庁

PLATFORM BASED VERIFICATION OF CONTENT OF INPUT-OUTPUT DEVICE例文帳に追加

入力−出力装置のコンテンツに対するプラットフォーム・ベースの検査 - 特許庁

The verification scenario producing system produces an outline scenario as an intermediate file which becomes a framework of a verification scenario based on a result of path analysis of a verification target.例文帳に追加

検証シナリオ作成装置は、検証対象のパス分析結果に基づいて、検証シナリオの骨組みとなる中間ファイルとして概略シナリオを作成する。 - 特許庁

Based on the positional difference ΔA and the angular difference ΔB, the verification method either executes different types of verification or skips verification, on the target data for comparison.例文帳に追加

位置差分ΔＡ及び角度差分ΔＢに基づいて、比較対象データについて異なる種別の検証を行い又は検証を省略する。 - 特許庁

A verification support processing circuit 22 of an electronic circuit device 100 generates verification control information for controlling verification of a functional block circuit 1, based on verification indication information to be transmitted from an electronic circuit verification device 200, and transmits the verification control information to the functional block circuit 1.例文帳に追加

電子回路装置１００の検証支援処理回路２２は、電子回路検証装置２００から送信される検証指示情報に基づいて、機能ブロック回路１の検証を制御する検証制御情報を生成し、機能ブロック回路１へ送信する。 - 特許庁

A model verification code generation part 27 generates a model verification code wherein the specification of the system is described, from the domain specialization model (the verification target) based on a "domain specialization model To model verification code mapping rule".例文帳に追加

モデル検証コード生成部２７は、「ドメイン特化モデルＴｏモデル検証コードマッピングルール」に基づいて、ドメイン特化モデル（検証対象）から、当該システムの仕様を記述したモデル検証コードを生成する。 - 特許庁