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

The logic verification program allows a personal computer 100 to function as a verification item input editor (S1) which enables an input of a verification item in a natural language on a tabular display screen and to function as a verification result feedback means (S5) which enables the creation of a test report by feeding-back the verification result to the verification item input editor.例文帳に追加

論理検証プログラムにより、パーソナルコンピュータ１００を、表形式の表示画面において検証項目の自然言語による入力を可能とする検証項目入力エディタ（Ｓ１）、検証結果を上記検証項目入力エディタにフィードバックすることでテストレポートの生成を可能とする検証結果フィードバック手段（Ｓ５）として機能させる。 - 特許庁

To provide a method of verifying asynchronous circuit which simplifies the verification operation in a function simulation on a language level and also shortens its verification TAT.例文帳に追加

言語レベルの機能シミュレーションにおける検証作業を単純化させるとともに、その検証ＴＡＴを短縮化させた非同期回路の検証方法を提供する。 - 特許庁

To provide a matching verification method and device capable of reducing the execution time of the matching verification of HDL(Hardware Description Language: circuit description language) function simulation results and the real machine operation results of an FPGA, and detecting the operation mismatching of the inside of the circuit.例文帳に追加

ＨＤＬ機能シミュレーション結果とＦＰＧＡの実機動作結果との一致検証の実行時間を減少可能とし、かつ回路内部の動作不一致も検出できる一致検証方法及び装置を得ること。 - 特許庁

To provide a requirement specification automatic verification system which automatically generating an execution model in the description language of a model verification tool SPIN from requirement specifications to verify requirement specifications in an early stage.例文帳に追加

要求仕様からモデル検査ツールSPINのモデル記述言語の実行モデルを自動生成し早期の段階で要求仕様の検証を行う要求仕様自動検証方式を提供する。 - 特許庁

This description verification device is provided with an operation composition means 101 for generating hardware description language from operation description and composite constraints and a description verification means 102 for automatically selecting necessary verification items based on the composite constraints, and for verifying compliance to the composite constraints for hardware description language.例文帳に追加

動作記述と合成制約とからハードウエア記述言語を生成する動作合成手段１０１と、前記合成制約を基に必要な検証項目を自動的に選択して前記ハードウエア記述言語に対する前記合成制約への準拠性を検証する記述検証手段１０２とを備える。 - 特許庁

To reduce the scale of a circuit, and to reduce a verification load at the time of generating the circuit in an RT level described in HDL language based on an algorithm described in C language.例文帳に追加

Ｃ言語で記述されたアルゴリズムに基づいて、ＨＤＬ言語で記述されたＲＴレベルの回路を生成するにあたり、回路の小規模化を図ると共に、検証負荷を低減する。 - 特許庁

To allow even a person not having knowledge related to a preparation method for function verification description to prepare the function verification description regardless of a language used for the preparation of the function verification description or a design of a finite state machine when preparing the function verification description for verifying a simulation result of the finite state machine.例文帳に追加

有限状態マシンのシミュレーション結果を検証するための機能検証記述を作成するにあたり、有限状態マシンの設計や機能検証記述の作成に使用する言語に係わらず、機能検証記述の作成方法に関する知識が無い者であっても、機能検証記述を作成できるようにする。 - 特許庁

To perform only the logic verification of design data described in a logic description language to dispense with the verification of design data described in a net list by conforming the handling of an indefinite value between the design data described in the logic description language and the design data described in the net list.例文帳に追加

論理記述言語で記述された設計データとネットリストで記述された設計データとで不定値の取り扱いを同じにすることにより、論理記述言語で記述された設計データの論理検証のみを行い、ネットリストで記述された設計データの検証を不要にすることを課題とする。 - 特許庁