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

MEMORY MODEL, PROGRAM AND LOGIC CIRCUIT VERIFICATION METHOD例文帳に追加

メモリモデルとプログラムと論理回路検証方法 - 特許庁

The model verification part 220 verifies the consistency verification model 293 to generate a verification result data 294, and outputs the generated verification result data 294.例文帳に追加

モデル検証部２２０は、整合性検証モデル２９３を検証し、検証結果データ２９４を生成し、生成した検証結果データ２９４を出力する。 - 特許庁

MODEL CREATION DEVICE, MODEL CREATING METHOD, SOURCE CODE VERIFICATION SYSTEM AND PROGRAM例文帳に追加

モデル生成装置、モデル生成方法、ソースコード検証システムおよびプログラム - 特許庁

TEST DEVICE, VERIFICATION MODEL DEVELOPMENT METHOD, AND PROGRAM例文帳に追加

試験装置、検証モデル開発方法及びプログラム - 特許庁

To allow even a general designer not knowing model verification technology well to perform model verification by facilitating creation of an input model.例文帳に追加

入力モデルの作成を容易にして、モデル検証技術を熟知しない一般の設計者でもモデル検証を行えるようにする。 - 特許庁

To improve function verification efficiency of an HDL model.例文帳に追加

ＨＤＬモデルの機能検証効率を向上させる。 - 特許庁

HIGHER-ORDER SYNTHESIZER, MODEL CREATION METHOD FOR HARDWARE VERIFICATION, AND HARDWARE VERIFICATION METHOD例文帳に追加

高位合成装置、ハードウェア検証用モデル生成方法およびハードウェア検証方法 - 特許庁

This source code verification system 200 converts verification-objective source code 100 into a Kripke structure model 300, model-inspects the Kripke structure model 300, and verifies thereby the verification-objective source code 100.例文帳に追加

ソースコード検証システム２００は、検証対象ソースコード１００をKripke構造モデル３００に変換し、Kripke構造モデル３００に対してモデル検査を行うことにより、検証対象ソースコード１００を検証する。 - 特許庁