再検証するの英語

回路検証を行ってエラーが発生した際に回路修正と再検証の効率化を図ることができる半導体集積回路の回路検証プログラムおよび半導体集積回路の回路検証方法を提供する。例文帳に追加

To provide a circuit verification program for a semiconductor integrated circuit and a circuit verification method for a semiconductor integrated circuit which can correct a circuit and enhance the efficiency of reverification when an error occurs after the circuit has been verified. - 特許庁

論理合成を再度行うことなく、プログラマブル素子内の被検証回路及び補助回路等の動作を変更して様々な回路検証を行うことができる回路検証装置及び回路検証方法を提供する。例文帳に追加

To provide a circuit verification apparatus and a circuit verification method capable of changing operations for a verified circuit, an auxiliary circuit and the like in a programmable element to verify the various circuits, without composing again a logic. - 特許庁

最後に、二重検証ステップ１１１では、模擬試験検証ステップ１０４と解析検証ステップ１１０のそれぞれで評価結果を合わせて再評価し、超音波流量計の計測精度を安全側に検証する。例文帳に追加

Evaluation results of the simulation test verification step 104 and the analysis verification step 110 are combined and re-evaluated to verify the measurement accuracy of the ultrasonic flowmeter on the safe side in a double verification step 111. - 特許庁

コンテンツ再生装置１は、受信したライセンス情報を検証し、検証が成功した場合に、デジタルコンテンツを再生する。例文帳に追加

The apparatus 1 verifies the received license information, and if the verification is successfully performed, the apparatus 1 resumes the digital content. - 特許庁

論理検証対象ボードを再設計することなく、論理検証を行うことを可能とする技術を提供する。例文帳に追加

To provide a technique ensuring logical verification without redesigning a logic verification object board. - 特許庁

表明に基づいて再帰データを扱うプログラムを静的に検証することができるプログラム検証装置を提供する。例文帳に追加

To provide a program verification device capable of statically verifying a program for handling recursive data on the basis of representation. - 特許庁

検出手段７は再生ヘッド６の信号を検出し、検証手段８は、検出手段７の信号に基づいて記録欠陥を検証する。例文帳に追加

A signal of the reproduction head 6 is detected by a detection means 7, and the recording failure is verified by a verifying means 8 based on the signal of the detection means 7. - 特許庁

コンテンツ記録処理を実行する記録装置は、ＣＩＤとＦＩＤを利用したＭＡＣ等の検証値を生成してメモリカードに記録し、コンテンツ再生を実行する再生装置は、ＣＩＤとＦＩＤに基づく算出検証値と照合用検証値を比較する検証処理を実行して検証成立を条件としてコンテンツ再生を行う。例文帳に追加

A recording apparatus which executes content recording processing generates a verification value (MAC) using the CID and the FID and records the verification value on the memory card, and a reproducing apparatus which executes content reproduction executes verification processing for comparing a calculated verification value based on the CID and the FID with a matching verification value and performs content reproduction on the condition that the verification is satisfied. - 特許庁