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

To provide a multi-cycle path verification method capable of obtaining a verification result at an early stage.例文帳に追加

検証結果を早期に得ることができるマルチサイクルパス検証方法を提供することを課題とする。 - 特許庁

SCAN PATH METHOD BY REDUNDANT FAILURE VERIFICATION AND INTEGRATED LOGIC CIRCUIT例文帳に追加

冗長故障検証によるスキャンパス方法及び集積論理回路 - 特許庁

To provide a certificate verification device which does not generate access to a directory server required for path construction and path verification generated every time receiving a verification request for an electronic certificate.例文帳に追加

電子証明書の検証要求を受け付ける度に発生する、パス構築・パス検証に必要なディレクトリサーバへのアクセスを発生させない証明書検証装置を提供する。 - 特許庁

The verification scenario producing system produces an outline scenario as an intermediate file which becomes a framework of a verification scenario based on a result of path analysis of a verification target.例文帳に追加

検証シナリオ作成装置は、検証対象のパス分析結果に基づいて、検証シナリオの骨組みとなる中間ファイルとして概略シナリオを作成する。 - 特許庁

When the time of day verification requesting program 71 is started, a communication path 3 is secured between the time of day verification server 7 [figure (b)].例文帳に追加

時刻認証要求プログラムが起動されると、時刻認証サーバ７との間に通信路３が確保される［同図（ｂ）］。 - 特許庁

METHOD AND DEVICE FOR ELECTROMIGRATION VERIFICATION OF CHIP INCLUDING DATA PATH, AND RECORDING MEDIUM例文帳に追加

データパスを含んだチップのエレクトロマイグレーション検証方法及び装置並びに記録媒体 - 特許庁

The certificate verification device caches the result of verifying a certificate authentication path in the process that a certificate verification server 2 which verifies the validity of the electronic certificate receives a certificate verification request from a verification client 1, retrieves the directory server 3, constructs the authentication path of the certificate and performs verification.例文帳に追加

電子証明書の有効性検証を行なう証明書検証サーバ２が、検証クライアント１からの証明書検証リクエストを受付けて、ディレクトリサーバ３を検索して証明書の認証パスを構築し検証を行なうプロセスにおいて、証明書認証パスを検証した結果をキャッシュしておく。 - 特許庁

The playlist management device 10 is provided with a path table generating means 141 extracting a first part of the file path and generating the path table, a verification code generating means 142 generating a verification code according to the first part and the second part of the file path, and a matching means 143 performing matching of the path table and the playlist according to the verification code.例文帳に追加

プレイリスト管理装置１０は、ファイルパスの第１部分を取り出し、パステーブルを生成するパステーブル生成手段１４１と、前記ファイルパスの第１部分及び第２部分に従って検証コードを生成する検証コード生成手段１４２と、前記検証コードに従って、前記パステーブルと前記プレイリストとのマッチングを行うマッチング手段１４３と、を備える。 - 特許庁

In response to receiving the verification signal in the second portion, a reception signal is transmitted from the second portion to the verification controller via a second wireless communication path and in response to receiving the verification signal in the verification controller, the communication path between the field device and the process controller is verified.例文帳に追加

第２の部分における検証信号の受信に応答して、第２の部分から第２のワイヤレス通信経路を介して検証コントローラに受領信号を送信し、検証コントローラにおける検証信号の受信に応答してフィールド装置及びプロセスコントローラ間の通信経路を検証する。 - 特許庁

By inspecting the state transition in each path to the plurality of paths based on the discrimination condition, a non-verifying path excluded from the verification target by the verification program 22 and a verifying path set as the verification target are discriminated, and the plurality of paths are stored while the non-verifying path and the verifying path can be identified based on a discrimination result thereof.例文帳に追加

そして、複数のパスについて、判別条件に基づきパス毎における状態遷移を検査することにより、検証プログラム２２による検証対象から除外される非検証用パスと検証対象とされる検証用パスとを判別し、その判別結果に基づき、複数のパスを非検証用パスと検証用パスとが識別可能な状態で保存する。 - 特許庁

To provide a method for generating layout verification data capable of automatically verifying a wiring path.例文帳に追加

配線経路の検証も自動的に行うことができるレイアウト検証用データ作成方法を提供する。 - 特許庁

PROCESSING VALIDATY CERTIFYING APPARATUS OF ANONYMOUS COMMUNICATION PATH, CERTIFYING/VERIFYING APPARATUS, AND PROCESSING VALIDATY CERTIFICATION AND CERTIFICATION/ VERIFICATION METHODS OF ANONYMOUS COMMUNICATION PATH例文帳に追加

匿名通信路の処理正当性証明装置、証明・検証装置及び匿名通信路の処理正当性証明方法、証明・検証方法 - 特許庁

To efficiently specify an optimal certificate path and to verify a verification target certificate based on the optimal certificate path.例文帳に追加

最適な証明書パスを効率良く特定し、最適な証明書パスに基づいて検証対象証明書を検証できるようにすることを目的とする。 - 特許庁

DEVICE AND METHOD FOR VERIFYING MULTI-CYCLE PATH AND COMPUTER READABLE STORAGE MEDIUM WITH VERIFICATION PROGRAM STORED THEREIN例文帳に追加

マルチサイクルパス検証装置、検証方法及び検証プログラムを記憶したコンピュータ読み取り可能な記憶媒体 - 特許庁

The technique includes determining an initialization path condition of a received software verification job, determining a termination path condition of a computing node, and initializing execution of the received software verification job on the computing node based on the initialization path condition and the termination path condition.例文帳に追加

本発明の方法は、受信されたソフトウェアの検証のジョブの初期化の経路の状態を決定するステップ、計算ノードの終了の経路の状態を決定するステップ、及び初期化の経路の状態と終了の経路の状態とに基づいて計算ノードでの受信されたソフトウェアの検証のジョブの実行を初期化するステップを含む。 - 特許庁

When a verification request for a verification path is accepted, by using a targeted vehicle selecting means and a targeted vehicle tracing means, along the verification path, selecting and tracing the targeted vehicle is performed from the starting point.When the targeted vehicle deviates from the verification path, tracing is continued by selecting the next targeted vehicle from the deviated point, and simulation running is carried out to a destination by repeating the process above.例文帳に追加

検証経路に対する検証要求を受け付けたとき、ターゲット車両選出手段とターゲット車両追跡手段とを用いて、検証経路に沿って、出発地からターゲット車両の選出と追跡を行い、該ターゲット車両が検証経路を逸脱したときにはその位置から次のターゲット車両を選出して追跡し、これを目的地に至るまで繰り返して模擬的な走行を行う。 - 特許庁

To obtain a logic verifying device with a path delay inspecting function added thereto and a logic verifying method for efficiently generating a logic verification pattern only by specifying a critical path found from a timing verification result.例文帳に追加

タイミング検証結果よりわかったクリティカルパスの指定を行うことだけで、論理検証パターンを効率よく作成することのできるパス遅延検査機能付加論理検証装置及び論理検証方法を得ることを目的とする。 - 特許庁

To provide a clock path extraction device for shortening a time for analysis of a clock system in timing verification.例文帳に追加

タイミング検証におけるクロック系統の解析時間を短縮することのできるクロック経路抽出装置を提供する。 - 特許庁

The time of day verification requesting program 71 synchronizes standard clock of the time of day verification server 7 with the standard time of day by obtaining time of day information via the communication path 3 [figure (c)].例文帳に追加

時刻認証要求プログラム７１は、通信路３を介して時刻情報を定期的に取得することで時刻認証サーバ７の標準時計と基準時刻を同期させる［同図（ｃ）］。 - 特許庁

In a verification support device 1401, a detection part 1403 detects false-path description information from among system mode operation setting information 1200 relating to a verification object circuit.例文帳に追加

検証支援装置１４０１において、検出部１４０３は、検証対象回路に関するシステムモード動作用設定情報１２００の中から、フォールスパス記述情報を検出する。 - 特許庁

The method includes the steps of establishing a bearer path via an IP network and implementing a bearer path verification test during a call setup before cutting through a call.例文帳に追加

この方法は、ＩＰネットワークを介してベアラ・パスを確立する工程と、コールをカットスルーする前にコール・セットアップ中にベアラ・パス検証テストを実施する工程とを含む。 - 特許庁

To provide a wireless receiving apparatus and an antenna verification method capable of correctly executing transmission path estimation on the basis of a result of succeeding antenna verifications independently of misdecision of the antenna verification in the past.例文帳に追加

過去のアンテナ・ベリフィケーションの誤判定によらず、後続のアンテナ・ベリフィケーションの結果に基づく伝送路推定を正しく行うことが可能な無線受信装置及びアンテナ・ベリフィケーション方法を提供する。 - 特許庁

To provide a circuit design support system with which detection accuracy of a false path is enhanced and timing verification, etc. is efficiently performed.例文帳に追加

フォールスパスの検出精度を向上し、タイミング検証等を効率よく行うことができる回路設計支援システムを提供すること。 - 特許庁

For each path found, a verification scenario is generated to verify transactions of the access-origin hardware block for a case where access to an address range assigned to the access-destination hardware block occurs, and the verification scenario is output being correlated with the path that corresponds thereto.例文帳に追加

そして、探索されたパスごとに、アクセス先のハードウェアブロックに割り当てられたアドレス範囲へのアクセスが発生した場合における、アクセス元のハードウェアブロックのトランザクションを検証するための検証シナリオを作成し、その検証シナリオを当該検証シナリオに対応するパスと関連付けて出力する。 - 特許庁

Then, delay increase and a delay value in the real load delay verification of the evaluation target netlist are predicted on the basis of a difference between the delay difficulty of the path in the trial netlist and the delay difficulty of the path in the evaluation target netlist and the delay value in the real load delay verification of the trial netlist.例文帳に追加

そして、試行ネットリストにおけるパスの遅延難易度と評価対象ネットリストにおけるパスの遅延難易度との差分と、および試行ネットリストの実負荷遅延検証での遅延値とに基づいて、評価対象ネットリストの実負荷遅延検証での遅延増加および遅延値を予測する。 - 特許庁

The multi-cycle path verification method is provided, which has a delay data generation step for generating delay data on the basis of the number of multi-cycles of a circuit having a multi-cycle path (116), and a first simulation step for performing timing verification by giving the generated delay data to the data of the multi-cycle path and performing simulation (110).例文帳に追加

マルチサイクルパスを有する回路のマルチサイクル数を基に遅延データを生成する遅延データ生成ステップ（１１６）と、前記生成された遅延データをマルチサイクルパスのデータに付与してシミュレーションを行うことによりタイミング検証を行う第１のシミュレーションステップ（１１０）とを有することを特徴とするマルチサイクルパス検証方法が提供される。 - 特許庁

If the path corresponding to the validity confirmation request is not registered on the database, on the other hand, path retrieval and verification are newly performed, thereby confirming the validity of the public key certificate.例文帳に追加

一方、当該有効性確認依頼に対応するパスがデータベースに登録されていない場合には、新たにパス検索、検証を行うことにより、当該公開鍵証明書の有効性確認を行う。 - 特許庁

On the basis of the path definition information collected from the storage device 2000, the content of path security settings for each of the volumes in the same replica relationship is verified and the result of the verification is output.例文帳に追加

そして、ストレージ装置２０００から収集したパス定義情報に基づいて、同じレプリカ関係にあるボリューム各々のパスセキュリティ設定内容を検証し、検証結果を出力する。 - 特許庁

To significantly reduce the number of timing verifications to efficiently perform a timing verification on a path between different power sources in a multi-power source chip in a short time.例文帳に追加

タイミング検証回数を大幅に低減し、短時間で効率よく多電源チップにおける異電源間パスのタイミング検証を行う。 - 特許庁

To reduce a time required for a pre-verification of migration processing, and migration processing by setting an optimal migration destination and a migration path of a virtual server.例文帳に追加

仮想サーバの最適な移行先及び移行経路を設定し、移行処理の事前検証及び移行処理に要する時間を短縮させる。 - 特許庁

The termination path condition includes an indication of the last state reached during execution of a previous software verification job on the computing node.例文帳に追加

終了の経路の状態は、計算ノードでの前のソフトウェアの検証のジョブの実行の間に到達される最後の状態の指示を含む。 - 特許庁

The path verifying device 300 uses a least significant certificate indicated in the specified route information to verify the verification target certificate 103 (S150).例文帳に追加

パス検証装置３００は、特定した経路情報に示される最下位の証明書を用いて検証対象証明書１０３を検証する（Ｓ１５０）。 - 特許庁

A command signal is transmitted from a verification controller to a first portion associated with one of the field device or the process controller via a first wireless communication path.例文帳に追加

フィールド装置またはプロセスコントローラの一つと関連する第１の部分に第１の無線通信パスを介して検証コントローラからコマンド信号を送信する。 - 特許庁

The server comprises a reference time counter and verifies whether or not the receiver sends back a verification message within a predetermined window by using a return communication path.例文帳に追加

また、サーバは基準時間カウンタを備え、受信機が戻り通信路を用いて所定のウインドウ内に検証メッセージを送り返したか否かを検証する。 - 特許庁

In the verification of adequacy, matching between reachability up to a destination and the operating policy is confirmed, and the path management device 4 transmits a using permission notice of the path, whose adequacy is confirmed to each exchange (7a-7d).例文帳に追加

妥当性の検証では、宛先までの可到達性と運用ポリシーとの適合が確認され、経路管理装置は妥当性が確認された経路の使用許可通知を各交換機へ送信する（７ａ〜７ｄ）。 - 特許庁

Thus, a scan path for operation verification of the entire system LSI is constructed by inputting the definition information on the scan path to a register and a memory to be required for the operation verification of the system LSI, and the production test of the entire system LSI is performed via the scan paths (#13).例文帳に追加

このため、システムＬＳＩの動作検証に必要とされるレジスタやメモリに対するスキャン・パスの定義情報を入力することにより、システムＬＳＩ全体の動作検証用のスキャン・パスを構築することができ、これらのスキャン・パスを介してシステムＬＳＩ全体の実機テストを行うことができる（＃１３）。 - 特許庁

To provide a circuit design verification method, design verification device and computer program which can judge whether a synchronous unit can operate synchronously or not by carrying out backward trace of a signal path based on information on circuit wire connection.例文帳に追加

回路の結線情報に基づき信号経路の逆方向トレースを行い、同期ユニットが同期動作できるか否かの判定が可能な回路の設計検証方法、設計検証装置、及びコンピュータプログラムを提供することを目的とする - 特許庁

When path verification information, or KEIRO information is added to a node n1 whose wiring path is to be verified on a circuit diagram (S2), dummy elements RK1 and RK2 are inserted into the node n1 to generate a net list (S3-S6).例文帳に追加

回路図において配線経路を検証する対象とするノードｎ１に経路検証情報；ＫＥＩＲＯ情報を付加すると（Ｓ２）、そのノードｎ１に、ダミー素子ＲＫ１，ＲＫ２を挿入してネットリストを作成する（Ｓ３〜Ｓ６）。 - 特許庁

To provide an escape path computing apparatus, an escape path computing method and an escape time computing apparatus for reducing labor and time required for verification by automatically computing the escape time according to design data.例文帳に追加

設計データに基づき避難時間計算を自動的に行うことにより、検証に要する手間と時間を削減することが可能な避難経路計算装置、避難経路計算方法および避難時間計算装置を提供すること。 - 特許庁

To shorten a verification period by preliminarily preventing the execution of simulation based on hardware description where the total number of paths is huge at the time of performing the path coverage measurement of a logic circuit.例文帳に追加

論理回路のパスカバレッジ測定において、パス総数が膨大なハードウェア記述によるシミュレーションの実行を未然に防止して、検証期間の短縮化を図ること。 - 特許庁

This simulation method is constituted by providing a first process to replace clock frequency of a pattern for logical verification with the lowest motion frequency to establish logic of a dynamic path.例文帳に追加

論理検証用パタンのクロック周波数を、ダイナミックパスの論理が成立するための最低動作周波数に置き換える第一の手順を有することによる。 - 特許庁

A path verifying device 300 specifies route information, in which a verification target certificate 103 satisfies the restriction condition, from among a number of route information items, based on the restriction information (S140).例文帳に追加

パス検証装置３００は、多数の経路情報のうち検証対象証明書１０３が制約条件を満たす経路情報を制約情報に基づいて特定する（Ｓ１４０）。 - 特許庁

Further, the timing verification device 11 computes the pulse width in the clock input terminal of the FF by the pulse width of the clock signal and delays in rise and in fall in a path.例文帳に追加

更に、タイミング検証装置１１は、ＦＦのクロック入力端子におけるパルス幅を、クロック信号のパルス幅と、パスにおける立ち上がり遅延及び立ち下がり遅延とにより算出する。 - 特許庁

A circuit verification device is provided with: a storage part for storing layout data of an integrated circuit; and an arithmetic processing part for searching for a path of the integrated circuit based on the layout data.例文帳に追加

集積回路のレイアウトデータを保持する記憶部と、レイアウトデータに基づいて、集積回路の経路探索を実行する演算処理部とを具備する回路検証装置を構成する。 - 特許庁

The user's finger and body become a communication path during depression, the complex machine 10 is communicably connected to the terminal device 30, and the fingerprint data is given and received to carry out a fingerprint verification.例文帳に追加

押下中はそのユーザの指および体が通信路となって複合機１０と端末装置３０が通信可能に接続され、指紋データが授受されて指紋照合が行われる。 - 特許庁