system specification verificationとは 意味・読み方・使い方

To reduce restrictions on network media to which a device to be verified is connected and distance and numerical restrictions between a verification side and the device to be verified, in a communication protocol specification compliance verification system.例文帳に追加

通信プロトコル仕様適合検証システムにおいて、被検証機器が接続されるネットワークメディアに対する制約、および、検証側と被検証機器との距離的、数的な制約を低減する。 - 特許庁

In a system verification system, a function checker 29 compares a verification result of a test program 23 by an instruction level simulator 25 to a result from a function simulator 17 verifying an HDL 13 based on event information representing the verification item 11 related to operational specification.例文帳に追加

たとえば、テストプログラム２３を命令レベル・シミュレータ２５により検証した結果と、動作仕様に関する検証項目１１をイベントで表現したイベント情報にもとづいて、ＨＤＬ１３を検証した機能シミュレータ１７の結果とを機能チェッカー２９により比較する。 - 特許庁

To provide a certification research agency verification system and a certification research agency verification program, allowing specification of an improper research agency by verifying whether or not a certification research result by a research agency is proper.例文帳に追加

調査機関による認定調査結果が適切であるかを検証することにより、不適切な調査機関を特定できる認定調査機関検証システム及び認定調査機関検証プログラムを提供する。 - 特許庁

Disclosed is a device which compares logic verification items automatically extracted from specifications of a logic circuit described by using identifiers with logic verification items automatically extracted from a device generating an operation specification description that a logic system described in a hardware description language and a logic verifying device performing logic verification by deciding equivalence of the operation specification description use.例文帳に追加

識別子を用いて記述した論理回路の仕様書から自動抽出した論理検証項目と、ハードウェア記述言語により記述した論理システムおよび動作仕様記述の等価性を判定し論理検証をおこなう論理検証装置が用いる動作仕様記述を生成する装置から自動抽出した論理検証項目を比較する装置。 - 特許庁

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.例文帳に追加

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

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.例文帳に追加

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

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.例文帳に追加

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

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.例文帳に追加

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