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

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

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

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