「specification verification」に関連した英語例文の一覧と使い方(2ページ目) - Weblio英語例文検索

This verification device or the like for a logic system described by a hardware description language has: a test bench production means executing the dynamic simulation; a static verification means executing static verification; and an error part specification means specifying an error part from results of the dynamic simulation and the static verification.例文帳に追加

ハードウェア記述言語により記述された論理システムの検証装置であって、動的シミュレーションを実行するテストベンチ作成手段と、静的検証を実行する静的検証手段と、前記動的シミュレーションと前記静的検証の結果から、エラー箇所を特定するエラー箇所特定手段を具備することを特徴とする論理システムの検証装置等、を提供する。 - 特許庁

For the verification of a sales promotion plan, (1) a segment specification part 31 specifies an object to be verified by specifying the component classification code and finished product classification code at arbitrary level.例文帳に追加

拡販計画の検証では、 セグメント指定部３１が、部品分類コードおよび完成品分類コードをそれぞれ任意のレベルで指定して検証対象を指定する。 - 特許庁

The verifier terminates logic specification verification when no NG exists when he/she refers to a result determination log 151 obtained by simulation by the logic simulator 150.例文帳に追加

検証者は、論理シミュレータ１５０によるシミュレーションにより得られた結果判定ログ１５１を参照する際に、ＮＧがなければ論理仕様検証は終了する。 - 特許庁

To provide a means generating deactivation specification description including a function complying with an inactive code in verification of a logic system for facilitating analysis on a code coverage result.例文帳に追加

論理システムの検証において非活性コードに対応する機能を含む非活性動作仕様記述を生成し、コードカバレッジ結果の解析を容易化する手段を提供する。 - 特許庁

To verify software without performing specification of a partial verification range or setting of a condition to be satisfied between modules having call relation.例文帳に追加

部分検証範囲の特定や、呼び出し関係があるモジュール間で満たすべき条件の設定を行うことなくソフトウェアの検証を行うことができるようにする。 - 特許庁

To provide a device and method for digital circuit verification, which processes assertions written in a property specification language capable of describing high-level specifications and specifications on IPs.例文帳に追加

高度な仕様や、ＩＰ間にまたがる仕様を記述できるプロパティ記述言語で書かれたアサーションを処理するデジタル回路検証のための装置及び方法を提供する。 - 特許庁

A property showing the specification of the logic system 11 is verified based on a property for verification, and input/output constraints 14 contradictory to a counter example 16 of the verified property are added to an updating property 17 for verification to update the property.例文帳に追加

そして、論理システム１１の仕様を表すプロパティを検証用のプロパティに基づいて検証を行い、検証したプロパティの反例１６と矛盾する入出力制約条件１４を検証用の更新プロパティ１７に追加して更新する。 - 特許庁

To provide a software development device and a method, allowing automatic generation of firmware, and automatic generation or verification of input/output data in time of simulation from a specification, in a software development, especially software development based on the specification.例文帳に追加

ソフトウェア開発に関し、特に仕様書をベースとしたソフトウェア開発において、該仕様書からシミュレーション時における入出力データの自動生成や検証及びファームウェアの自動生成を可能にするソフトウェア開発装置及び方法を提供する。 - 特許庁

A layout verification device relating to an embodiment comprises: a first verification part 60 for verifying whether or not an element extracted from a layout of semiconductor integrated circuit is as described in a circuit diagram; and a second verification part 70 for verifying whether or not the layout of semiconductor integrated circuit complies with design rules extracted from specification information.例文帳に追加

実施形態に係わるレイアウト検証装置は、半導体集積回路のレイアウトから抽出した素子が回路図と一致しているか否かを検証する第１の検証部６０と、半導体集積回路のレイアウトが仕様情報から抽出したデザインルールに違反しているか否かを検証する第２の検証部７０とを備える。 - 特許庁

When both the systems 3, 13 recognize the ID verification establishment, a priority setting section 28 sets a driving position to a specification based on the short range wireless communication system 13.例文帳に追加

両システム３，１３がともにＩＤ照合成立を認識しているとき、優先設定部２８は近距離無線通信システム１３に準じた仕様にドライビングポジションを設定する。 - 特許庁

Test specification showing a verification method can be created by an examiner so as to be visually recognizable, for example, in the format of a sequence figure through a UML modeling tool 50 (tool 50).例文帳に追加

試験者は、ＵＭＬモデリングツール５０（以下、ツール５０）を介して、検証方法を表すテスト仕様を例えばシーケンス図の形式で視覚的に認識可能に作成することができる。 - 特許庁

To provide a specification defect verification system for operating a state transition model describing product specifications with all parameters, and for easily verifying a defect to be prevented for security.例文帳に追加

製品仕様を記述した状態遷移モデルを、全パラメータにより動作させ、セキュリティ上の起こるべきではない欠陥を、簡易に検証する仕様欠陥検証システムを提供する。 - 特許庁

The design quality inspection support system includes a database storing logical system definition information about specifications for an information processing system and design verification parameters for verifying the specifications, a specification read processing part, a design information extraction processing part, and a design verification processing part.例文帳に追加

情報処理システムの設計書の論理体系定義情報及び設計書を検証するための設計検証パラメータを記憶したデータベースと、設計書読込処理部と、設計情報抽出処理部と、設計検証処理部とを備えた設計品質検査の支援システム。 - 特許庁

A data specification description document 30 is created which describes the specification of each data element contained in an XML document 50 describing application data in a condition each data element should satisfy in relation to other data elements, or a verification procedure of the condition in a language easy for a person to describe or understand.例文帳に追加

アプリケーションデータを記述したＸＭＬ文書５０に含まれる各データ要素の仕様を、各データ要素が他のデータ要素との関連で満たすべき条件または該条件の検証手順を人が記述や理解のし易い言語で記述したデータ仕様記述文書３０を作成する。 - 特許庁

Standards, used by assurers, which set requirements on how the assurance process is performed. (For example, ISO 14064-3: Specification with Guidance for the Validation and Verification of Greenhouse Gas Assertions). 例文帳に追加

アシュランスプロセスが実施される方法に関する要件を定める基準で、アシュランス実施者が使用するもの（例えば、ISO 14064-3：温室効果ガスに関する主張の妥当性確認および検証の仕様ならびに指針）。 - 経済産業省

To provide an improved piezoelectric(PE) element, such as a crystal filter and a crystal resonator and a PE element design verification method capable of satisfying a final design specification, even when adjusting processing is not executed after manufacturing it.例文帳に追加

水晶フィルタや水晶共振子などの圧電素子において、製造後の調整処理をしなくても最終的な設計仕様を満足させる改善された圧電素子及び素子の設計検証方法を提供する。 - 特許庁

To provide a chemical substance management system for efficiently performing the selection of a part with a high containing risk, which is the target of confirmation by analysis, and the specification of a part to be analyzed in the verification of a restriction chemical substance contained in a product.例文帳に追加

製品に含有する規制化学物質の検証において、分析による確認の対象とする含有リスクが高い部品の選定や分析を行う部位の特定を効率良く行える化学物質管理システムを提供する。 - 特許庁

To provide a simulation analysis system, an accelerator device and an emulator device, allowing easy comparison of verification results of a verified circuit by a programmable device and a CAD simulator, and capable of reducing a time required for cause specification of an operation fault.例文帳に追加

プログラマブルデバイス及びＣＡＤシミュレータによる被検証回路の検証結果の比較が容易であり、動作不良の原因特定に要する時間を短縮することができるシミュレーション解析システム、アクセラレータ装置及びエミュレータ装置を提供する。 - 特許庁

By visually editing the input or output object and the input or output information according to operation on test items or a verification order, a test specification and a manual can be created.例文帳に追加

前記入力対象または出力対象と前記入力情報または出力情報を試験項目の操作または検証の順番に従ってビジュアル的に編集していく事によって試験仕様書およびマニュアルを作成することができる - 特許庁

To provide a circuit verification device verifying presence/absence of generation of unintended static through-current by a design error and presence/absence of generation of withstand voltage violation of a transistor, especially to a large-scale circuit, and allowing easy specification of a generation position.例文帳に追加

特に大規模回路に対し、設計ミスなどによる意図しない静的な貫通電流の発生有無とトランジスタの耐圧違反の発生有無を検証し、その発生箇所を容易に特定することが可能な回路検証装置を提供する。 - 特許庁

When the program stored in the memory 12 is executed by the processor 11 to output an action instruction signal to the verification objective circuit 13 from the processor 11, while an output specification signal is outputted to the peripheral circuit simulator 20 via the bus 15.例文帳に追加

プロセッサ１１に、メモリ１２に記憶されているプログラムを実行させて、プロセッサ１１から検証対象回路１３へ動作指示信号を出力させると共に、バス１５を介して周辺回路シミュレータ２０へ出力仕様信号を出力させる。 - 特許庁

In the alarm release method by verification of early earthquake specification estimating information, the alarm sent out at the initial shock of P wave of an earthquake is verified at the arrival of S wave of the earthquake, and the alarm is called off when the alarm is unnecessary.例文帳に追加

早期地震諸元推定情報の検証による警報の解除方法において、地震のＰ波初動で発信した警報を、前記地震のＳ波到達時に検証し、前記警報が不要であった場合には前記警報を解除する。 - 特許庁

To provide an apparatus and method for assisting a development of a vehicular anti-lock brake system in which studying of a specification of an anti-lock brake system and evaluation for its verification are carried out without waiting for a completion of a vehicle, the development can be shortened and an efficient development can be carried out.例文帳に追加

アンチロックブレーキシステムの仕様検討及び検証評価が、車両の完成を待たずに実施され、開発の短縮及び効率化を図ることができる車両用アンチロックブレーキシステムの開発支援装置及び方法の提供。 - 特許庁

By visually editing the input object or output object and the input information or output information according to test item operations or verification order, a test specification and a manual can be created, an automatic test can be executed based on the edited test specification, and evidence as a test result is acquired corresponding to each test item and is output.例文帳に追加

前記入力対象または出力対象と前記入力情報または出力情報を試験項目の操作または検証の順番に従ってビジュアル的に編集していく事によって試験仕様書およびマニュアルを作成することができ、編集された試験仕様書を元に自動試験が実行でき、試験結果として試験項目毎に対応してエビデンスを取得し出力する - 特許庁

To improve development efficiency by dispensing with the repetition of program correction and reevaluation every occurrence of error, in the program operation verification of microcomputer software using an evaluation scenario, and preventing the occurrence of evaluation waiting depending on the decision and undecision of a standard specification.例文帳に追加

評価シナリオを用いたマイクロコンピュータソフトウェアのプログラム動作検証において、エラー発生の都度プログラム修正と再評価を繰り返すことを不要にし、実機仕様の決定と未定の存在による評価待ちの発生を防止し、開発効率を向上させる。 - 特許庁

To provide an alarm release method by verification of early earthquake specification estimating information for preventing unnecessary confusion from being brought about by verifying an alarm sent out at the initial shock of P wave, at the arrival of S wave, and calling off the alarm in the case of an unnecessary alarm.例文帳に追加

Ｐ波初動で発信した警報を、Ｓ波到達時に検証し、不要な警報であった場合にはその警報を解除し、無用の混乱を惹起することを防止する早期地震諸元推定情報の検証による警報の解除方法を提供する。 - 特許庁

To prevent the diversion of standard rule data and to allow a user to change a part of the content in the standard rule data, in a specification compliance verification apparatus to verify an apparatus under verifying test.例文帳に追加

被検証装置から送出された電文と、予め作成されたルールデータとを比較することにより、被検証装置の検証を行う仕様適合性検証装置において、標準ルールデータの流用を防止するとともに、ユーザが標準ルールデータの内容の一部を変更することを可能にする。 - 特許庁

A specification setting part 15a sets specifications about layout of layout pattern to be arranged in each layer of the semiconductor integrated circuit, on the basis of a three-dimensional structure of the layer, and a verification processing part 15b verifies whether the layout pattern of each layer of the semiconductor integrated circuit meets specifications or not.例文帳に追加

スペック設定部１５ａは、半導体集積回路の各レイヤの３次元構造に基づいて、各レイヤに配置されるレイアウトパターンのレイアウトに関するスペックを設定し、検証処理部１５ｂは、半導体集積回路の各レイヤのレイアウトパターンがスペックを満たしているかどうかを検証する。 - 特許庁

To provide a device and a method for supporting development of a VDC (Vehicle Dynamics Control) system for vehicles in which the specification and the verification of the VDC system can be efficiently and reliably evaluated before a vehicle is completed, and the development process of a VDC system mounted vehicle can be shortened and promoted in efficiency.例文帳に追加

ビークルダイナミクスコントロールシステム（ＶＤＣシステム）の仕様検討及び検証評価が、車両の完成を待つことなく効率的かつ確実に実施され、ＶＤＣシステム搭載車両の開発プロセスの短縮及び効率化を図ることができる車両用ＶＤＣステムの開発支援装置及び開発支援方法を提供する。 - 特許庁

In setting and setting alteration, a setting verification means 127 verifies whether the total of guarantee band of respective adapters 150 falls within a tolerance or not, performs automatic alteration to a setting specification of smaller guarantee band if the result is negative and distributes a verified setting from the QoS setting management table 122 to an IO switch 110 and each adapter 150.例文帳に追加

設定及び設定変更時に、各アダプタ150の担う保証帯域の合計が許容範囲内かを設定検証手段127で検証し、結果が否なら保証帯域のより小さな設定仕様に自動変更し、検証済みの設定をＱｏＳ設定管理テーブル122からＩＯスイッチ110および各アダプタ150に配布する。 - 特許庁

A control device 11 sets a discrimination condition when discriminating whether a path is set as a verification target to a plurality of paths prescribed by a plurality of states included in a logic model shown by specification data 24 of the circuit description and state transition between the respective states based on input operation from an input device 12.例文帳に追加

回路記述の仕様データ２４が示す論理モデル内に含まれる複数の状態及び各状態間の状態遷移により規定される複数のパスに対して、該パスが検証対象とされるか否かを判別する際の判別条件を入力装置１２からの入力操作に基づき制御装置１１が設定する。 - 特許庁

The age verification device includes: a detection means for detecting person information including at least face information from an acquired image of the object person; and an age specification means for specifying whether the person is obviously over or under the age limit, or a person to be verified who is not identified, on the basis of the person information.例文帳に追加

取得した対象者の画像から、少なくとも顔情報を含む人物情報を検出する検出手段と、前記対象者が、確実な年齢制限対象者であるか、確実な非年齢制限対象者であるか、または年齢制限対象者かどうかの判定が困難な要確認者であるかを人物情報に基づき特定する年代特定手段と、を有する。 - 特許庁

In issues not regulated in Articles 116/A and 116/B provisions of specific legislation shall apply. This specific legislation may provide that the verification of compliance with the product specification may also be ensured by the following bodies: (a) in the case of agricultural products and foodstuffs the product certification bodies under Article 11(1) of Regulation 510/2006/EC; (b) in the case of spirit drinks the product certification bodies under Article 22(1) of Regulation 110/2008/EC; (c) in the case of vine and wine products the product certification bodies under Article 48(1) of Regulation 479/2008/EC.例文帳に追加

第116/A条及び第116/B条に規定されない問題に関しては，特定法律の規定が適用される。この特定法律では，生産品明細書の遵守の検証は次の団体によっても行うことができる旨を規定することができる。 (a) 農産品及び食料品の場合は，規則510/2006/EC第11条(1)に基づく生産品認証団体 (b) 蒸留酒の場合は，規則110/2008/EC第22条(1)に基づく生産品認証団体 (c) ぶどう酒の場合は，規則479/2008/EC第48条(1)に基づく生産品認証団体 - 特許庁