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

Thus, even if the formal logical verification is forced termination by insufficient memory of a verification device, result of the verification so far can be remained according to the influence degree.例文帳に追加

したがって、検証装置のメモリ不足等により形式的検証が途中で強制終了した場合にも、上述した影響度に基づいて途中までの検証結果を残すことができる。 - 特許庁

To provide an abstraction device and a verification device of circuit description, an abstraction program and a verification program of the circuit description, and an abstraction method and a verification method of the circuit description, allowing facilitation of verification of the circuit description converted into a formal specification, wherein description contents of a program can be verified by a formal technique.例文帳に追加

プログラムの記述内容を形式的手法による検証が可能な形式的仕様に変換した回路記述の検証を簡便ならしめることができる回路記述の抽象化装置及び検証装置、回路記述の抽象化プログラム及び検証プログラム、並びに回路記述の抽象化方法及び検証方法を提供する。 - 特許庁

statistical timing verification and delay fault detection by formal signal interaction modeling in a multi-level timing simulator発音を聞く 例文帳に追加

マルチレベル・タイミング・シミュレータにおける形式的信号相互作用モデリングによる統計的タイミング検証と遅れ障害検出 - コンピューター用語辞典

To perform circuit design for achieving highly efficient and precise logical verification by providing a circuit capable of achieving formal logical verification even to a circuit with the large number of states and complicate state transition.例文帳に追加

状態数が多く、状態遷移が複雑な回路に対しても、形式的論理検証可能な回路を提供し、効率良くかつ高精度の論理検証可能な回路設計を行う。 - 特許庁

Thus, it is possible to achieve formal logical verification by reducing the number of states of a counter which compares count values with the signals cnt_val1, cnt_val2, cnt_val3 and cnt_val4.例文帳に追加

これによって、この入力信号を少ない値に設定することにより、この信号ｃｎｔ＿ｖａｌ１、ｃｎｔ＿ｖａｌ２、ｃｎｔ＿ｖａｌ３、ｃｎｔ＿ｖａｌ４と比較を行なうカウンタの状態数を減らして形式的論理検証を行なう。 - 特許庁

To provide a signature generation device, a signature verification device and a signature generation aiding device for allowing a customer to perform a temporary signature in a store, and after checking the contents of a contract to be signed, allowing the customer to perform a formal electronic signature.例文帳に追加

店頭でタイムリーに仮署名を行い、署名する契約内容を確認した後に正式な電子署名を行うことができる署名生成装置および署名検証装置、署名生成補助装置を提供する。 - 特許庁

(1) Where an application has been accepted for consideration, the Registry of Industrial Property shall verify whether it meets all the formal requirements laid down in the preceding Chapter and whether they have been fulfilled in the prescribed form. The adequacy of the description shall not be the subject of verification.例文帳に追加

(1) 出願が審理のために受理された場合，産業財産登録庁は，当該出願が前章で定める方式要件を満たしているか否か及び所定の方式を満たしているか否かについて審査する。明細書の妥当性は審査の主題とされない。 - 特許庁

The Patent Office shall take a decision regarding the refusal to register a design if in the course of verification of the formal requirements of an application it becomes clear that the submitted design does not conform to the definition of a design (Section 1, Clause 1) or, in accordance with Section 9, Paragraph one of this Law, is not to be protected.例文帳に追加

特許庁は， 出願の方式要件の確認の過程において提出された意匠が意匠の定義( 第1 条1)) に適合しないこと又は当該意匠が第9 条(1) に基づいて保護されるべきでないことが明らかになった場合は， 意匠登録の拒絶に関する決定を下す。 - 特許庁