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

To achieve assertion check equivalent to RTL description by net list verification.例文帳に追加

ネットリスト検証でＲＴＬ記述と同等のアサーションチェックを可能とする。 - 特許庁

In the alteration check section, verification is performed using a hash unit from the optical disk.例文帳に追加

改竄チェック部では、光ディスクからのハッシュユニットを使用して、検証を行う。 - 特許庁

To execute co-verification by using software to be used as a device driver or a check program for the logical verification of a system LSI.例文帳に追加

デバイスドライバやチェックプロとして使用するソフトウエアを、システムＬＳＩの論理検証に使用してコ・ベリフィケーションを行う。 - 特許庁

To provide a technique capable of shortening processing time of design rule check (DRC) in a design verification device which performs design verification in developing an electronic circuit.例文帳に追加

電子回路の開発時に設計検証を行う設計検証装置に関し，ＤＲＣ（Design Rule Check ）の処理時間を短縮することが可能となる技術を提供する。 - 特許庁

To provide a logic verification system for a system LSI in which a software used as a device driver and/or check program is used to perform co-verification.例文帳に追加

デバイスドライバやチェックプロとして使用するソフトウェアを、システムＬＳＩの論理検証に使用して、コ・ベリフィケーションを行う。 - 特許庁

To provide a code verification system and method utilized to type check compiled code.例文帳に追加

コンパイル済みのコードの型チェックを行うコード検証システム及び方法を提供する。 - 特許庁

To provide a layout density verification method for chip capable of minimizing errors of density check in a verification stage after chip layout.例文帳に追加

チップレイアウト後の検証段階での密度チェックのエラーを極力なくすことができるチップのレイアウト密度検証方法を提供する。 - 特許庁

To provide a design rule check verification device and a design rule check verification method capable of verifying easily a DRC rule, and capable of confirming easily whether a verification result is correctly executed or not.例文帳に追加

ＤＲＣルールの検証を容易に行うことができるとともに、その検証結果が正しく実施されているか否かも容易に確認することができるデザインルールチェック検証装置およびデザインルールチェック検証方法を提供する。 - 特許庁

To conduct verification while considering target states with an arbitrary timing other than verification timing which is beforehand described in a check routine that is beforehand defined.例文帳に追加

予め定義された検査ルーチンに予め記述された検証タイミング以外の任意のタイミングで、ターゲット状態を考慮した検証を行う。 - 特許庁

A logic verification object file receiving part 12 and a logic verification script file receiving part 13 check only the files needing the logic verification and then, send them to a logic verifying part 14 to execute the logic verification when the files are normal.例文帳に追加

論理検証対象ファイル受信部１２及び論理検証スクリプトファイル受信部１３は論理検証に必要なファイルのみをチェックした後、ファイルが正常ならば論理検証部１４に送って論理検証を実行する。 - 特許庁

This is a procedure in which the licensee of reactor operation submits a check and maintenance plan of individual instruments (maintenance program) for each operation cycle, based on the check records, deterioration status of the instruments etc. to NISA. NISA conducts the verification of the maintenance program prior to the periodic inspection.例文帳に追加

また、原子炉設置者の保全活動の実施状況は、保安検査等において保安検査官が確認している。 - 経済産業省

Then, a timing verification processing part 11 performs the timing verification of the timing verification object element on the basis of the set timing check value and the extracted deviation of the signal change by the skew.例文帳に追加

そして、タイミング検証処理部１１は、設定されたタイミングチェック値および抽出されたスキューによる信号変化のずれに基づいて、タイミング検証対象素子のタイミング検証を行なう。 - 特許庁

The processing part 200 performs verification by performing assertion check and deadlock detection on the generated enlarged program.例文帳に追加

処理部２００は、生成した拡大プログラムについてアサーションチェックとデッドロック検出を行って検証する。 - 特許庁

To provide a technology for sufficiently check the verification accuracy of a monitor for verifying a logic circuit.例文帳に追加

論理回路の検証を行うモニタの検証精度を十分にチェックするための技術を提供すること。 - 特許庁

The used API validity check function 66 of the verification institution 24 verifies the validity of the used API.例文帳に追加

検証機関２４の使用ＡＰＩ正当性チェック機能６６では、使用ＡＰＩの正当性を検証する。 - 特許庁

(iii) With regard to a transaction for which a customer identity verification has been already done, does the institution re-check the customer identity where required by laws and ordinances? 例文帳に追加

（ⅲ）本人確認済みの取引であっても法令に定める一定の場合には再度確認しているか。 - 金融庁

11 When the credit risk measurement is outsourced, the verification should be conducted by using the check items listed in this paragraph. 例文帳に追加

11信用リスクの計測を外部委託している場合は、当該検証項目を準用して検証を行う。 - 金融庁

11 When the credit risk measurement is outsourced, the verification should be conducted by using the check items listed in this paragraph. 例文帳に追加

11 信用リスクの計測を外部委託している場合は、当該検証項目を準用して検証を行う。 - 金融庁

A real machine verification part 5 verifies whether or not real machine operations are conformed to the specifications by the real machine verification of the FPGA by using a composition result 11 by assertion check.例文帳に追加

実機検証部５は合成結果１１を用いてＦＰＧＡの実機検証での実機動作が仕様通りであるか否かをアサーションチェックによって検証する。 - 特許庁

CAD devices 31, 32, -, 3n for layout verification perform the ERC check based on the ERC rule data inputted from the ERC rule data generation part 20 by respective programs for verification and output the check results.例文帳に追加

レイアウト検証用ＣＡＤ装置３１、３２、〜、３ｎは、それぞれの検証用プログラムにより、ＥＲＣルールデータ生成部２０から入力されたＥＲＣルールデータに基づいて、ＥＲＣチェックを行い、そのチェック結果を出力する。 - 特許庁

When performing verification of connection between macros, a table for defining the connection between macros and the subject of verification are compared with each other, using an inter-macro (A, B, C, and D) check program, and the result of verification as to whether the subject of verification according to the table to show the connection between macros is outputted in file form.例文帳に追加

マクロ間接続検証を行うときに、マクロ間の接続を定義する表1001と検証対象201 とを、マクロ間チェックプログラム1004を用いて比較し、検証対象がマクロ間の接続を表すテーブルとおりになっているか検証した結果を、ファイル形式1002で出力する。 - 特許庁

To sharply shorten a time for DRC (Design Rule Check) verification when already verified layout pattern data are partially changed.例文帳に追加

検証済のレイアウトパタンデータに部分的に変更を加えたときのＤＲＣ検証の時間を大幅に短縮する。 - 特許庁

A processing method is used, where the check part 3 performs verification of an H/W(hardware) basis, following the writing/setting from the F/W.例文帳に追加

処理方式としては、Ｆ／Ｗからの書き込み設定処理に続いて書込チェック部３がＨ／Ｗ的にベリファイを行う。 - 特許庁

Decoding of compression image data is started in the image management section and concurrently content verification is directed to an alteration check section (S30d).例文帳に追加

イメージ管理部では圧縮イメージデータのデコードを開始、並行して、改竄チェック部に対し、コンテンツ検証を指示する（Ｓ３０ｄ）。 - 特許庁

In reading data out of the user file, a check sum verification means reads the check sum of each file block including input data from the check sum storage file, and compares and collates consistency between the read check sum and the read data, and verifies the validity of the data of each file block.例文帳に追加

ユーザファイルからのデータ読み出し時は、チェックサム検証手段が、入力データを含むファイルブロックごとのチェックサムをチェックサム格納ファイルから読み出し、読み出したチェックサムと読出しデータとの整合性を比較照合して、ファイルブロックごとのデータの正当性を検証する。 - 特許庁

When the register-saved contents are restored, a check code verification circuit 7 reads out the check code stored in the specific register of the register group to verify the validity thereof, and if the verification is unsuccessful, determines a failure in the register saving and restoring circuit.例文帳に追加

レジスタ退避した内容が復旧される際、チェックコード検証回路７は、レジスタ群の特定レジスタに格納されたチェックコードを読出し、その正当性を検証し、検証結果が不正であれば、レジスタ退避復旧回路の故障が発生したと判断する。 - 特許庁

A logic design verification system for a semiconductor integrated circuit comprises a lint check result conversion part 11 and simulation execution parts 12 and 13.例文帳に追加

半導体集積回路の論理設計検証システムは、リントチェック結果変換部１１と、シミュレーション実行部１２、１３とを具備する。 - 特許庁

To perform high-accuracy input error verification in a short time by performing the verification of an input error including at least one of a check on similarity to a mail address and a check on a character length without needing inquiry via a network or a telephone line.例文帳に追加

ネットワークや電話回線を介した問い合わせを必要とせず、メールアドレスに対する類似性のチェックおよび文字長のチェックの少なくとも何れかを含めた入力ミスの検証をコンピュータ内で行うことで短時間での高精度な入力ミス検証を行うことができるようにする。 - 特許庁

The function of checking a character code is added to an input check function in an existing Web application, and character code check is performed by using definition by the input verification function of a conventional Web application framework.例文帳に追加

既存のＷｅｂアプリケーションにおける入力チェック処理機能に、文字コードチェックの機能を追加し、従来のＷｅｂアプリケーションフレームワークの入力検証機能による定義を使って文字コードチェック処理を行なう。 - 特許庁

The information terminals 3 comprise a distribution data verification unit 323 for verifying the distribution data integrity by comparing the check value supplied from the data distribution server 1 with a check value calculated based on the distribution data.例文帳に追加

情報端末３は、データ配信サーバ１から通知されたチェック値と、配信データに基づき算出したチェック値とを比較して、配信データの完全性を確認する配信データ確認部３２３を備える。 - 特許庁

In verification of operation, an address generation part 16 is additionally arranged inside the device main body 3, addresses are sequentially formed from a starting address to an end address, and check sum computing is carried out by the check sum computing part 6.例文帳に追加

ベリファイ動作の際は、装置本体３内にさらにアドレス発生部１６を備え、開始アドレスから終了アドレスまで順次アドレスを生成し、チェックサム演算部６でチェックサム演算を行う。 - 特許庁

For an EEPROM substitution area in a flash memory, a data level check voltage is set between an internal verification voltage and a read-out voltage.例文帳に追加

フラッシュメモリのＥＥＰＲＯＭ代替領域において、内部ベリファイ電圧と読み出し電圧との間にデータレベルチェック電圧を設定する。 - 特許庁

A potential skew error check value extraction part 13 extracts the deviation of a signal change by skew generatable in the input pin of the timing verification object element.例文帳に追加

潜在的スキューエラーチェック値抽出部１３は、タイミング検証対象素子の入力ピンに発生し得るスキューによる信号変化のずれを抽出する。 - 特許庁

Contents check values are generated with contents block data of objects of verification included in data as the unit and the generated contents check value is collated to verify the validity of the contents block data units in the data.例文帳に追加

データに含まれる検証対象のコンテンツブロックデータ単位にコンテンツチェック値を生成し、生成したコンテンツチェック値の照合処理を実行することにより、前記データ中のコンテンツブロックデータ単位の正当性検証処理を実行する。 - 特許庁

To generate HTML from JSP in an environment wherein there is no JSP container or execution data and to perform verification of grammatical validity or verification of accessibility for the generated HTML by means of a check tool.例文帳に追加

本発明の課題は、JSPコンテナや実行用のデータが存在しない環境でJSPからHTMLを生成することを可能とすること、及び、生成したHTMLに対し文法の妥当性検証やアクセシビリティの検証を、チェックツールを用いて行えるようにすることにある。 - 特許庁

To efficiently check fasibility of assembly by operating interference verification under the consideration of the deformation of a part in the design stage of a device constituted of plural parts.例文帳に追加

複数の部品から成る装置の設計段階において、部品の変形を考慮した干渉検証を行って、組立の可否を効率よくチェックすることが課題である。 - 特許庁

To provide a supporting system for checking and verification which helps people who live alone, especially older people, to check security continuously and pleasantly before sleep.例文帳に追加

単身生活者、特に独り暮らしのお年寄りが就寝前の安全点検を継続的に且つ楽しく行えるように支援する点検確認支援装置を提供すること。 - 特許庁

To provide a graphic verification device etc. using layout data structured so as to relatively easily check an overall influence of a change and the like in a graphic defined by basic element data.例文帳に追加

基本要素データが規定する図形の変更等の全体に与える影響を比較的簡単にチェック可能な構造のレイアウトデータを用いた図形検証装置等を得る。 - 特許庁

To solve a problem that it is only possible to check whether a memory control unit is physically out of order, but verification if there is a problem in timing cannot be performed.例文帳に追加

メモリー制御装置において物理的に故障しているかどうかのみの確認しか可能でなく、タイミング的に問題がある場合などの検証を行うことができない。 - 特許庁

A supplementary data for verification, check sum or hash data, can be additionally recorded in the first memory feature 1 simultaneously with the first part of sensitive data (d).例文帳に追加

検証のための追加データ、すなわち、チェックサムまたはハッシュデータは、敏感データｄの第１部分と同時に、メモリの第１機構１内に追加として記録することができる。 - 特許庁

The integrated verification and manufacturability tool includes a hierarchical database to store design data accessed by a plurality of verification tool components (e.g., layout versus schematic [440], design rule check [450], optical process correction [430], and phase mask shift assignment [420]).例文帳に追加

集積化検証および製造適応ツールは、複数の検証ツールコンポーネント（例えば、レイアウト対回路図［４４０]、設計ルールチェック[４５０]、光学プロセス修正[４３０]、位相マスクシフト割り当て[４２０]）によってアクセスされる設計データを格納する階層型データベースを含む。 - 特許庁

The integrated verification and manufacturability tool includes a hierarchical database to store design data accessed by a plurality of verification tool components (e.g., layout versus schematic 440, design rule check 450, optical process correction 430, and phase shift mask assignment 420).例文帳に追加

集積化検証および製造適応ツールは、複数の検証ツールコンポーネント（例えば、レイアウト対回路図４４０、設計ルールチェック４５０、光学プロセス修正４３０、位相マスクシフト割り当て４２０）によってアクセスされる設計データを格納する階層型データベースを含む。 - 特許庁

Biometric data (verification data) as a new registration object read by a biometric reading part 13 according to an instruction from a user is checked with existing verification data, and when this check is not successful, the verification data of the new registration object is registered in a storage part 14 and also transmitted to and registered in a biometric data server.例文帳に追加

利用者からの指示に応じて、生体読取部１３により読み取られた新規登録対象となる生体データ（照合用データ）を、既存の照合用データと照合し、この照合結果が一致しなかった場合に、新規登録対象の照合用データを記憶部１４に登録するとともに、生体データサーバに送信し登録する。 - 特許庁

To provide a new eddy-current flaw detection method and reference pieces used for this method which make easy setting of flaw detection conditions for multicoil probes, and performance verification/check of the flaw detector.例文帳に追加

マルチコイル式プローブの探傷条件の設定、探傷装置の性能確認及び点検を容易にする新たな渦電流探傷法およびこれに用いる対比試験片を提供する。 - 特許庁

A verification method of replying work orders in the collaboration commerce system is disclosed for providing verification procedure for the order/order confirmation reply processing, the OQA/IQC reply processings, the return notification/classification/check inquiry processes, the dead material reply processings and the bulletin information receiving processings.例文帳に追加

注文／注文確認返信処理、ＯＱＡ／ＩＱＣ返信処理、返品通知／分類、調査問合せ処理、排除構成材料返信処理、掲示情報受信処理の確認手順を提供するために、コラボレーションコマースシステムにおける作業命令への返信の確認方法が開示されている。 - 特許庁