A layout verification device comprises a voltage setting part 20 for setting the layout voltage of each of plural conductive layers contained layout data of a semiconductor device, and a verifying part 30 for verifying, based on a design rule, the layout data in which the layout voltage has been set. 半導体装置のレイアウトデータに含まれる複数の導電層のそれぞれの設計電圧を設定する電圧設定部20と、設計電圧が設定されたレイアウトデータを、デザインルールに基づいて検証する検証部30とを具備する。 - 特許庁
First, a verifying data generator 13 generates verifying data and an authenticating data generator 24 generates authenticating data, by utilizing information included in signals to be transmitted from a navigation satellite which has been received by receivers 11, 21. まず、受信部11および受信部21が受信した測位用衛生から送信される信号に含まれる情報を利用して、証明用データ生成部13は証明用データを、認証用データ生成部24は認証用データを生成する。 - 特許庁
A control part 110 verifies whether or not there is no error on a sentence structure in the XML document stored in the structured data storage part 121 by a verifying skimmer file stored in a verifying file storage part 122 in the storage part 120. 制御部110は、記憶部120内の検証用ファイル格納部122に格納された検証用スキーマファイルにより、構造化データ格納部121に格納されたXML文書に構文上の誤りが無いか否かを検証する。 - 特許庁
To provide a seismic damper effect comparing and verifying device which can easily grasp the mechanism verifying the building of a structure constituting a braced seismic damper using a viscoelastic object to reduce the quake of the building. 粘弾性体を使用したブレース型の制震ダンパーを構成する制震構造の建物が、振動エネルギーを吸収して建物の揺れを抑えている仕組みを容易に把握することができる制震ダンパー効果比較検証装置を提供する。 - 特許庁
To provide a verifying method for verifying whether or not to normally generate or update DMA information in the case of operating the extension mode of an additional extra space through a disk recorder/player, and a test device for performing it. ディスク記録及び再生装置を通じて追加余裕空間の拡張モードを運営する時、DMA情報を正常に生成または更新しているかを検証するための検証方法及びこれを行うためのテスト装置を提供する。 - 特許庁
A certificate verifying device 1600 is provided with a certificate-pass constructing means 1601 constructing a certificate-pass by referring to the extension for pass processing and a certificate verifying means 1602 performing verification according to the constructed certificate-pass. 証明書検証装置1600は、パス処理用エクステンションを参照して証明書パスを構築する証明書パス構築手段1601と、構築された証明書パスに従って検証を行う証明書検証手段1602とを備える。 - 特許庁
The semiconductor memory device includes: memory blocks MB1 and MB2; a redundancy determining circuit 100 for entering in a parallel test mode in which both the memory blocks MB1 and MB2 are simultaneously accessed; and a verifying circuit 22 for verifying data read from the memory blocks MB1 and MB2. メモリブロックMB1,MB2と、メモリブロックMB1,MB2の両方に同時にアクセスするパラレルテストモードにエントリ可能な冗長判定回路100と、メモリブロックMB1,MB2から読み出されたデータを検証する検証回路22とを備える。 - 特許庁
In response to the kind of a command supplied from outside, the control part (5) controls writing and erasing to the nonvolatile memory cells and verifying of them to vary an interval of threshold voltage distribution of the nonvolatile memory cells obtained by verifying. 制御回路(5)は、外部から供給されるコマンドの種類に応答して、不揮発性メモリセルに対する書込み及び消去とそのベリファイのための制御を行い、ベリファイによって得られる不揮発性メモリセルの閾値電圧分布の間隔を可変とする。 - 特許庁
The behavior certificate issuing apparatus 7 transmits a request of using service therefrom to a certificate verifying apparatus 8 of a service provider, and upon receiving the request condition from the certificate verifying apparatus 8, the issuing apparatus 7 selects character strings matching the request condition of the certificate verifying apparatus 8 from the stored character strings and issues a collective behavior certificate. 行動証明書発行装置7は、行動証明書発行装置7からサービス提供者の証明書検証装置8にサービス利用要求を送信し、証明書検証装置8から要求条件を受信すると、蓄積された文字列の中から、証明書検証装置8の要求条件に合った文字列を選択して一括の行動証明書を発行する。 - 特許庁
To obtain a non-volatile semiconductor memory and its erasing verifying method that can judge threshold voltage of a memory cell required for making a memory cell after erasing data a desired threshold voltage, at the time of erasing and verifying operation, with the same judging current as the judging current used for judging threshold voltage of a memory cell at the time of writing and verifying operation. 消去ベリファイ動作時に、データ消去後のメモリセルを所望のしきい値電圧にするために必要なメモリセルのしきい値電圧の判定を、書き込みベリファイ動作時にメモリセルのしきい値電圧を判定する際に用いる判定電流と同一の判定電流で行うことができる不揮発性半導体記憶装置およびその消去ベリファイ方法を提供する。 - 特許庁
In verification of an electronic document, log verification (S1502) for verifying whether or not the electronic signature is performed, time stamp verification (S1503) for verifying signature time and key verification (S1504) for verifying whether or not a key used at the time is within a validity are performed in addition to usual signature verification (S1501) to perform more strict verification of the certificate. 電子文書の検証では、通常の署名検証(S1501)に加えて、電子署名を行ったかどうかを検証するログ検証(S1502)、署名時刻を検証するタイムスタンプ検証(S1503)、及びその時に使用された鍵が有効期限内であったかどうかを検証する鍵検証(S1504)を行い、より厳密な真正性の証明を行う。 - 特許庁
To provide a verification apparatus for increasing the verification reliability of public key certificates, by verifying the public key certificates in a unified way. 公開鍵証明書の検証を一元的に行うことで公開鍵証明書の検証の信頼性を向上させる。 - 特許庁
To provide a system for verifying platform integrity of a client without providing a specific security chip on a computer board. 特定なセキュリティチップをコンピュータ基板上に設けることなく、クライアントのプラットフォーム完全性を検証できるシステムを提供する。 - 特許庁
The respective pixel value of inputted picture data 1 and a random number are calculated to generate data for verifying forgery to embed 4 it in the picture data. 入力画像データ(1)の各画素値と乱数とを演算して改ざん検証用データを生成し、画像データに埋め込む(4)。 - 特許庁
To provide a layout pattern verification device capable of verifying the locations of transistors even if there are a huge number of transistors. 膨大な数のトランジスタが配置されていても、トランジスタの配置位置を検証することができるレイアウトパターン検証装置を得る。 - 特許庁
To provide a verification system for verifying at a high speed that a result of operation level simulation coincides with a result of an RTL simulation. 動作レベルシミュレーションの結果とRTLシミュレーションの結果とが一致することを高速に検証する検証システムを提供する。 - 特許庁
To provide a pattern verifying method which precisely and easily verifies processing failure of a pattern caused by a pattern shape. パターン形状に起因するパターンの加工不良を正確かつ容易に検証できるパターン検証方法を提供すること。 - 特許庁
To provide a telephone for verifying a telephone number related to an incoming call with a telephone number held in a memory in a shorter period of time. 着信に係る電話番号とメモリに保持する電話番号との照合をより短時間に行う電話機を提供する。 - 特許庁
A first calculating section in a certifying apparatus generates a random number r to calculate X_1=g^r and transmits X_1 to a verifying apparatus. 証明装置の第1計算部は、乱数rを生成し、X_1=g^rを計算し、X_1を検証装置に送信する。 - 特許庁
SPONTANEOUS LIGHT EMISSION MODULE, ELECTRONIC EQUIPMENT MOUNTED WITH SAME MODULE, AND METHOD FOR VERIFYING DEFECT STATE OF SAME MODULE 自発光表示モジュールおよび同モジュールを搭載した電子機器、ならびに同モジュールにおける欠陥状態の検証方法 - 特許庁
To provide a technique for performing verification of higher reliability and for verifying an operation of a device at a higher speed. デバイスの動作検証をより高速に行うと共に、より信憑性の高い検証を行うための技術を提供すること。 - 特許庁
SELF-LUMINOUS DISPLAY MODULE, ELECTRONIC EQUIPMENT EQUIPPED WITH THE SAME, AND METHOD OF VERIFYING DEFECTIVE STATE IN THE MODULE 自発光表示モジュールおよび同モジュールを搭載した電子機器、ならびに同モジュールにおける欠陥状態の検証方法 - 特許庁
It is possible for an operator to verify the state of occurrence of the not-good image while verifying the state of inspection by the captured image. オペレータは、取込画像によって検査状態を確認しつつ、NGが発生した状態を確認することが可能になる。 - 特許庁
On the basis of the topology of the optimized data transfer graph, the property to be verified by a verifying tool is generated (step S3). 最適化されたデータ転送グラフのトポロジに基づいて検証ツールにより検証すべきプロパティを生成する(ステップS3)。 - 特許庁
To provide a signal processing apparatus capable of verifying whether recorded sound or image data are edited/altered or not. 記録された音声または画像データが編集、改竄されたか否かを証明することができる信号処理装置を提供する。 - 特許庁
A verifying part 103 performs user verification in an SSO itself through the use of a user name and a password which are inputted from the user. 認証部103はユーザから入力されたユーザ名およびパスワードを用いてSSO自体のユーザ認証を行う。 - 特許庁
To provide a technique of verifying whether a non-function request set as a specification is satisfied in a verification object. 検証対象において、仕様として設定した非機能要求が満たされているか否かを検証する技術を提供する。 - 特許庁
To check a matching state of an SIP port by verifying matching between a context ID and a termination ID. コンテキストIDおよびターミネーションIDの一致を確認することでSIPポートの整合状態を確認することを課題とする。 - 特許庁
To provide a method and program of verifying a semiconductor device pattern, with which computational loads can be reduced and computational time can be reduced. 計算負荷を低減でき、計算時間を低減できる半導体デバイスパターン検証方法および検証プログラムを提供する。 - 特許庁
To provide a method for readily verifying the state of application of an external preparation for skin, combined with an ultraviolet absorbent by the naked eye. 紫外線吸収剤を配合した皮膚外用剤の塗布状態を肉眼で簡便に確認する方法を提供する。 - 特許庁
LOGIC VERIFYING METHOD FOR SEMICONDUCTOR INTEGRATED CIRCUIT AND INFORMATION RECORDING MEDIUM RECORDING PROGRAM DESCRIBING THE SAME 半導体集積回路の論理検証方法およびこの論理検証方法を記述したプログラムを記録した情報記録媒体 - 特許庁
The design aiding device also has a robot simulator 32 for verifying an assembling work using the assembling data generated by the generating part 23. また、組立データ生成部23により生成された組立データを用いて組立作業を検証するロボットシミュレータ32を備えた。 - 特許庁
Enciphering/deciphering processing or signing/signature verifying processing is executed in a security unit device 40 independent of a personal computer PC 10. パソコンPC10とは独立したセキュリティユニット装置40内で暗号化/復号処理や署名/署名検証処理を実行する。 - 特許庁
In the second programming stage, control is performed so as to perform a verifying operation again to the at least one passed cell. 前記第2プログラム段階は、前記少なくとも一つのパスセルに対してもう一度検証動作が行われるように制御する。 - 特許庁
METHOD AND PROGRAM FOR VERIFYING ELECTRONIC INFORMATION DISCLOSURE, AND RECORDING MEDIUM WITH ELECTRONIC INFORMATION DISCLOSURE VERIFICATION PROGRAM RECORDED THEREON 電子情報公開検証方法、電子情報公開検証プログラム、電子情報公開検証プログラムを記録した記録媒体 - 特許庁
To reduce a design cost by verifying a risk of simultaneous switching noise due to disposal positions of power supply pads on the initial stage of design. 設計の初期段階で電源パッドの配置位置による同時スイッチングノイズのリスクを検証し、設計コストを削減する。 - 特許庁
Thus, the verifying process indicated above is an efficient method to test and verify the legality of an organization which is untrustworthy. 従って、この検証処理は、信頼されていない機構の適法性を試験し検証するための効率的な方法である。 - 特許庁
To efficiently manage certificate history update by lightening loads of certificate verification processing on a receiving application and a verifying server. 受信アプリケーションや検証サーバの証明書検証処理の負担を軽減し、証明書履歴更新を効率よく管理する。 - 特許庁
SEMICONDUCTOR DEVICE AND ITS MANUFACTURING METHOD, SYSTEM AND METHOD FOR SUPPORTING DESIGN THEREOF, AND METHOD FOR VERIFYING PERFORMANCE THEREOF 半導体装置とその製造方法、半導体装置の設計を支援する装置と方法、半導体装置の動作検証方法 - 特許庁
To reduce the timing verifying steps for mass-producing a semiconductor circuit by making a layout for evaluation equal to that for mass production. 半導体回路において、評価用と量産用のレイアウトを同一にし、量産用のタイミング検証のステップを削減する。 - 特許庁
To provide a microwave ablation system for verifying correct system operation prior to high power energy delivery by a microwave antenna. マイクロ波アンテナによる高電力エネルギーの送達の前に正確なシステム動作を確認するマイクロ波焼灼システムを提供する。 - 特許庁
A state machine generates a soft program signal for executing a soft program operation when fail is determined in a verifying operation. ステートマシンは、ベリファイ動作によりフェイルが判定されたときに、ソフトプログラム動作を実行するためのソフトプログラム信号を生成する。 - 特許庁
To provide an estimation provision system and a program for verifying adaptability to a combination in a relationship with software, etc. ソフトウェア等との関係において組合せの適合性の検証が可能な見積提供システム及びプログラムを提供する。 - 特許庁
The electronic transaction apparatus provides to the user, transaction services such as a withdrawal or a transfer after verifying the authentication data. 電子取引装置は、当該検証データを確認した後、払戻しまたは振替といった取引サービスをユーザーに提供する。 - 特許庁
To select a parasitic RC and to reduce the load of circuit simulation in verifying the operation of a circuit subjected to layout. レイアウト後の回路の動作を検証する際、寄生RCを選択し回路シミュレーションの負荷を削減することを目的とする。 - 特許庁
A voltage regulator 54 adjusts the high voltage signal to generate a verifying voltage signal applied to a selected memory cell. 電圧レギュレータ54は、高電圧信号を調節して選択されたメモリセルに印加される検証電圧信号を発生する。 - 特許庁
To provide a security device, its verifying method, and a printed matter advantageous in enhancing designability and forging-preventing effect. 意匠性および偽造防止効果を高める上で有利なセキュリティデバイスおよびその検証方法並びに印刷物を提供する。 - 特許庁
To provide a simulation device capable of easily verifying the software operated in cooperation with hardware and finding out a trouble. ハードウェアと連帯して動作するソフトウェアの検証及び不具合の発見が容易なシミュレーション装置及びシミュレーションを提供する。 - 特許庁
The image data are registered in the institution 5 for verifying the date of the transfer, and on the basis of this result, the DB 4 is updated. この画像データが機関5に登録され、譲渡の日時が立証され、その結果に基づきDB4が更新される。 - 特許庁
To obtain a device capable of enhancing the use of existing software components to the utmost and verifying the validity of reuse in its early stages. 既存ソフトウェア部品の利用を最大限に高め、再利用の妥当性を早期に検証することができる装置を得る。 - 特許庁