language verification - Weblio 英和・和英辞典 (original) (raw)
Weblio 辞書 > 英和辞典・和英辞典 > コンピューター用語 > language verificationの意味・解説
| 意味 | 例文 (46件) | | | -- | ------------------------------------------------------------------------------------------------- | |
ピン留め
追加できません
(登録数上限)
単語を追加
| コンピューター用語辞典での「language verification」の意味 | | | ----------------------------------------------------------------------------------------------------------------------------- | |
× この辞書を今後表示しない
※辞書の非表示は、設定画面から変更可能
language verification
複数の自然言語が使用される環境で、それらを計算機科学的に識別することを指す。
用例
An approach to automatically generate discriminative subword strings for language verification is presented.
言語識別用の特徴的サブワード列を自動的に生成するアプローチについて説明する。
「language verification」の部分一致の例文検索結果
該当件数 : 46件
例文
CIRCUIT COMPONENT FOR SYSTEM LSI WRITTEN IN HARDWARE DESCRIPTION LANGUAGE, VERIFICATION METHOD THEREFOR, VERIFICATION SUPPORT CIRCUIT AND MANUFACTURING METHOD FOR SYSTEM LSI例文帳に追加
ハードウェア記述言語で記述されたシステムＬＳＩの回路部品、及びその検証方法、検証支援回路、システムＬＳＩの製造方法 - 特許庁
Even the designer not well informed about a verification property language such as PSL can easily perform assertion-based verification.例文帳に追加
さらに、ＰＳＬなどの検証プロパティ言語に精通していない設計者にも容易にアサーションベース検証を行うことができる。 - 特許庁
An approach to automatically generate discriminative subword strings for language verification is presented.発音を聞く 例文帳に追加
言語識別用の特徴的サブワード列を自動的に生成するアプローチについて説明する。 - コンピューター用語辞典
HARDWARE VERIFICATION PROGRAMMING LANGUAGE MODEL GENERATION APPARATUS, HARDWARE VERIFICATION PROGRAMMING LANGUAGE MODEL GENERATION METHOD, COMPUTER SYSTEM, HARDWARE SIMULATION METHOD, CONTROL PROGRAM, AND READABLE STORAGE MEDIUM例文帳に追加
ハードウェア検証用プログラミング言語モデル生成装置、ハードウェア検証用プログラミング言語モデル生成方法、コンピュータシステム、ハードウェアシミュレーション方法、制御プログラムおよび可読記憶媒体 - 特許庁
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.例文帳に追加
ＨＤＬ機能シミュレーション結果とＦＰＧＡの実機動作結果との一致検証の実行時間を減少可能とし、かつ回路内部の動作不一致も検出できる一致検証方法及び装置を得ること。 - 特許庁
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.例文帳に追加
動作記述と合成制約とからハードウエア記述言語を生成する動作合成手段１０１と、前記合成制約を基に必要な検証項目を自動的に選択して前記ハードウエア記述言語に対する前記合成制約への準拠性を検証する記述検証手段１０２とを備える。 - 特許庁
例文
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.例文帳に追加
論理検証プログラムにより、パーソナルコンピュータ１００を、表形式の表示画面において検証項目の自然言語による入力を可能とする検証項目入力エディタ（Ｓ１）、検証結果を上記検証項目入力エディタにフィードバックすることでテストレポートの生成を可能とする検証結果フィードバック手段（Ｓ５）として機能させる。 - 特許庁
調べた例文を記録して、 効率よく覚えましょう
Weblio会員登録無料で登録できます！
- 履歴機能
過去に調べた
単語を確認! - 語彙力診断
診断回数が
増える! - マイ単語帳
便利な
学習機能付き! - マイ例文帳
文章で
単語を理解! 
「language verification」の部分一致の例文検索結果
該当件数 : 46件
例文
To provide a text generation method for enabling a user to easily understand the meaning content of a verification property by automatically generating a natural language text expressing the meaning content of the verification property even when no explanation is written in a verification property, and the user does not have any knowledge of verification property description language.例文帳に追加
検証プロパティの意味内容を説明する自然言語文章を自動生成できるようにし、検証プロパティに説明が併記されておらず、また、検証プロパティ記述言語の知識がなくても、検証プロパティの意味内容を容易に理解することができるようにした文章生成方法を提供する。 - 特許庁
To provide a cross verification device capable of performing cross verification among a natural language specification, a C-language program and a GUI-base control logic in development of control software for engine, and capable of consequently enhancing the efficiency of the development; a cross verification method; and a cross verification program.例文帳に追加
エンジンの制御ソフトウェアの開発において自然言語の仕様とＣ言語のプログラムとＧＵＩベースの制御ロジックとのクロス検証を行うことができ、結果的に当該開発の効率を高めることができるクロス検証装置、クロス検証方法およびクロス検証プログラムを提供することを課題とする。 - 特許庁
FUNCTION VERIFICATION DEVICE, TEST BENCH, MODEL DESIGNED BY HARDWARE DESCRIPTION LANGUAGE, SIMULATOR PROGRAM AND RECORDING MEDIUM例文帳に追加
機能検証装置、テストベンチ、ハードウェア記述言語により設計されたモデル、シミュレータプログラム及び記憶媒体 - 特許庁
To provide a UI (user interface) design verification apparatus which can automatically verify UI behavior specification of products expressed with diagrammatic notation like a UML (unified modeling language).例文帳に追加
ＵＭＬのような図式表記で表現された製品のＵＩ挙動仕様を自動的に検証できるＵＩ設計検証装置を提供する。 - 特許庁
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.例文帳に追加
論理記述言語で記述された設計データとネットリストで記述された設計データとで不定値の取り扱いを同じにすることにより、論理記述言語で記述された設計データの論理検証のみを行い、ネットリストで記述された設計データの検証を不要にすることを課題とする。 - 特許庁
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 solve the problem wherein verification indices (C0/C1/C2) for software programs are insufficient as verification completion indices of logical simulation for hardware description language programs having a feature of concurrent operation of a plurality of components.例文帳に追加
複数の部品が同時に動作し合う特徴を有するハードウェア記述言語プログラムの論理シミュレーションの検証完了指標として、ソフトウェアプログラムの検証指標（Ｃ０／Ｃ１／Ｃ２）だけでは不十分である。 - 特許庁
例文
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のモデル記述言語の実行モデルを自動生成し早期の段階で要求仕様の検証を行う要求仕様自動検証方式を提供する。 - 特許庁
 |
「language verification」の意味に関連した用語 |
|---|
1
2
| 意味 | 例文 (46件) | | | -- | ------------------------------------------------------------------------------------------------- | |
| | | | - |
language verificationのページの著作権
英和・和英辞典 情報提供元は参加元一覧 にて確認できます。
| | | |
| ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ------------------------------------------------------------------- |
| 
| Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. |