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

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

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

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

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

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のモデル記述言語の実行モデルを自動生成し早期の段階で要求仕様の検証を行う要求仕様自動検証方式を提供する。 - 特許庁

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

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

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

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

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

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