「Formal Verification」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

To improve verification efficiency by remaining result of the verification so far when termination is forced during formal verification which verifies function of logical circuit.例文帳に追加

論理回路の機能を検証する形式的検証中に強制終了した場合に、それまでの検証結果を残すことで、検証効率を向上する。 - 特許庁

To describe a formal verification for processors that leads to a high quality level with less user input.例文帳に追加

より少ないユーザ入力で高レベルの品質のプロセッサ用フォーマル検証を記述する。 - 特許庁

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

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

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

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

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

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

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

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

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

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

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

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

The SP server 2 conducts an abeyance confirmation request to an abeyance verification station when an authentication is processed, and verifies that a relation of the attribute certificate with a signature key is established as a formal signature and provides a required service when it does not become null and void.例文帳に追加

ＳＰサーバ２は、認証処理時に、失効検証局に失効確認依頼を行い、失効していない場合に、属性証明書と署名鍵との関係が正式な署名として成立することを検証して、要求されたサービスの提供を行う。 - 特許庁

The SP server 2 receives an invalidation list from an invalidation verification station 4, and requests invalidation confirmation at the time of authentication processing, verifies that the relation of the attribute certificate with a signature key is established as a formal signature when the certificate is not invalidated, and provides a required service.例文帳に追加

ＳＰサーバ２は、失効検証局サーバ４から失効リストを受信し、認証処理時に、に失効確認依頼を行い、失効していない場合に、属性証明書と署名鍵との関係が正式な署名として成立することを検証して、要求されたサービスの提供を行う。 - 特許庁

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) に基づいて保護されるべきでないことが明らかになった場合は， 意匠登録の拒絶に関する決定を下す。 - 特許庁

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

If in the course of the verification pursuant to subsection (1) of this section it becomes evident that the registration application is not in compliance with the provisions of § 4, clauses 9 2) and 4), subsections 10 (1) and (2) or § 19 of this Act or a document specified in clause 20 (1) 1) of this Act is missing from the registration application or the documents filed do not conform to the established formal and substantive requirements, the Patent Office shall notify the applicant thereof in writing and shall establish a term of at least two months for the elimination of the deficiencies or provision of explanations. 例文帳に追加

(1)による確認の過程で，登録出願が第4条，第9条2)及び4)，第10条 (1)及び(2)若しくは第19条の規定を遵守していないこと，第20条 (1) 1)に記載する書類が登録出願から欠落していること，又は提出された書類が所定の方式及び実体の要件に適合しないことが明らかになったときは，特許庁は，出願人にその旨を書面をもって通知し，かつ，不備を除去し又は説明を提出するための少なくとも2月の期間を定めるものとする。 - 特許庁