「description method」に関連した英語例文の一覧と使い方(11ページ目) - Weblio英語例文検索

To provide a database operation device, a database operation method and a program, allowing execution of operation without requesting description of SQL (Structured Query Language) from a user side when setting two or more related tables as operation targets, and allowing suppression of deterioration of access performance at that time.例文帳に追加

関連する２以上のテーブルを操作対象とした場合において、利用者側にＳＱＬの記述を求めることなく操作を実行し得、且つ、その際のアクセス性能の低下を抑制し得る、データベース操作装置、データベース操作方法、及びプログラムを提供する。 - 特許庁

(h) If property other than Share Options, etc. of such Stock Company is delivered to the holders of such Share Options in exchange for the acquisition of the Share Options referred to in (a), a description of the features and number or amount of such property, or the method for calculating that number or amount. 例文帳に追加

チ　イの新株予約権を取得するのと引換えに当該新株予約権の新株予約権者に対して当該株式会社の株式等以外の財産を交付するときは、当該財産の内容及び数若しくは額又はこれらの算定方法 - 日本法令外国語訳データベースシステム

In the offline stage, the method automatically learns the relative movement of the parts of a single object from a sequence of exemplary images and builds a hierarchical model including the description of the parts of the single object, the relation among the parts, and an efficient search strategy.例文帳に追加

オフライン段階では、本発明は一連の例示イメージから単一の物体の部分の相対的な動きを自動的に学習し、単一の物体の部分の記述、部分間の関係、および効率的な検索戦略を組み込んだ、階層型モデルを構築する。 - 特許庁

To provide a semiconductor integrated circuit for image processing and its design method that can quickly cope with a sudden specification change and addition through the elimination of defects of a conventional image processing use semiconductor integrated circuit and operate the HDL(Hardware Description Language) as a valid resource in the future.例文帳に追加

従来例の欠点を解消し、急な仕様変更、及び追加に対して迅速に対応すると共に、ＨＤＬ記述を有効な資産として今後に運用可能とする画像処理用半導体集積回路、及びその設計手法の提供。 - 特許庁

An object stored in a specific server as a shared resource is referred to from various web pages by simple description by using an application method matched with a purpose, and when a certain page is displayed, the object is inputted as an external file and expression and operation based on a program are executed.例文帳に追加

共有資源として特定のサーバーに置かれたオブジェクトが、目的に沿った利用方法によって、簡単な記述で諸処のＷｅｂページから参照され、ページ表示時には外部ファイルとして取り込まれ、プログラムに従った表現及び動作を行う。 - 特許庁

The method for manufacturing the rating name plate uses a destination specification data storing part 22 for storing approved classification and rating name plate description items determined at each destination and product classification displayed on the rating name plate, and a management computer 21 for controlling this.例文帳に追加

定格銘板に表示する仕向地及び製品種別毎に定められた承認種別及び定格銘板記載事項を記憶する仕向地仕様データ記憶部２２と、これを制御する管理コンピュータ２１とを用いた、定格銘板の製造方法に関する。 - 特許庁

A method and apparatus for generating a desired pulse waveform includes dividing the desired pulse waveform into a plurality of line segments, and assigning to each line segment at least a segment identification, a segment initial value, and a segment duration length to form a waveform description.例文帳に追加

所望のパルス波形を生成する方法及び装置は、所望のパルス波形を複数のラインセグメントに分割し、波形図を形成するために少なくとも1つのセグメント識別と、セグメント初期値と、セグメント持続長さとを各ラインセグメントに割り当てることにある。 - 特許庁

The system, method and program for rendering electronic documents includes interpreting of page description language to generate a series of instruction arrays corresponding to each of a plurality of bands that conjoin to form a rendered document output.例文帳に追加

レンダリングのためのシステム、方法またはプログラムが、連結してレンダリングされたドキュメント出力を形成する複数のバンドのそれぞれに対応する一連のインストラクションの配列を生成するように、ページ記述言語で記述された電子ドキュメントの解釈を行う。 - 特許庁

To provide a device, method and program for marking an answer which can attain a description type answer and a selection type answer by realizing the simultaneous marking of multiple answers and can perform a lot of markings without restricting a form of an answer sheet.例文帳に追加

複数回答の同時採点を可能として記述式回答と選択式回答を可能とするとともに回答用紙の形式を制限することなく大量採点することのできる答案採点処理装置およびその処理方法並び処理プログラムを提供。 - 特許庁

The notified IP telephone device 200 on the service receiving side recognizes a URL described in the text description part of the MESSAGE method, accesses a service provision server 300 described in the URL and acquires files and data provided as the service.例文帳に追加

通知されたサービス享受側ＩＰ電話装置２００は、ＭＥＳＳＡＧＥメソッドのテキスト記載部分に記述されたＵＲＬを認識し、ＵＲＬに記載されたサービス提供サーバ３００にアクセスし、サービスとして提供されるファイルやデータを取得するようにした。 - 特許庁

An examiner might have an aforementioned reasonable doubt in the following cases: In a case when the parameter described in claims is converted with a different definition and a test/measurement method, and then the claimed invention is found to be identical with the cited invention, In a case when an examiner evaluates the parameter of a cited invention according to a measurement/evaluation method in the description and obtains the same subject matter as that of claimed invention, In a case when an embodiment in the detailed description of the claimed invention is identical to that of the cited invention. 例文帳に追加

新規性の判断において、同一の発明であるとの合理的な疑いを持つべき場合としては、請求項に記載された発明に含まれたパラメータを異なる定義又は試験・測定方法で換算したところ、引用発明と同一となる場合、引用発明のパラメータを記載された測定・評価方法により評価したところ、請求項に記載された発明が限定するものと同じ主題が得られた場合、及び、詳細な説明に記載された出願発明の実施形態と引用発明の実施形態が同一である場合、等がある。 - 特許庁

An examiner might have an aforementioned reasonable doubt in the following cases: (a) in a case when the parameter described in claims is converted with a different definition and a test/measurement method, and then the claimed invention is found to be identical with the cited invention, (b) in a case when an examiner evaluates the parameter of a cited invention according to a measurement/evaluation method in the description and obtains the same subject matter as that of claimed invention, (c) in a case when an embodiment in the detailed description of the claimed invention is identical to that of the cited invention. 例文帳に追加

新規性の判断において、同一の発明であるとの合理的な疑いを持つべき場合としては、①請求項に記載された発明に含まれたパラメータを異なる定義又は試験・測定方法で換算したところ、引用発明と同一となる場合、②引用発明のパラメータを記載された測定・評価方法により評価したところ、請求項に記載された発明が限定するものと同じ主題が得られた場合、及び、③詳細な説明に記載された出願発明の実施形態と引用発明の実施形態が同一である場合、等がある。 - 特許庁

A compartment model analytic program interprets the compartment model from the description method, and calculates and outputs intended speed constant image data from age-based medicine distribution image data obtained by use of a medicine body kinetics imaging technique such as PET or the like and age-based medicine blood concentration data obtained by a method such as arterial blood collection or the like.例文帳に追加

コンパートメントモデル解析プログラムは、その記述方法からコンパートメントモデルを解釈し、ＰＥＴなどの薬物体内動態画像化技術を用いて得られた経時的薬物分布画像データ及び動脈採血などの方法により得られた経時的薬物血中濃度データから、目的とする速度定数画像データを計算して出力する。 - 特許庁

To provide a converting device and a converting method of a logical circuit described by hardware description language to a decision graph, and to provide a recording medium for recording a conversion program, capable of estimating a failed part by a functional level to the large-scaled and multi- level interconnected logical circuit in a short time.例文帳に追加

大規模化及び多層配線化する論理回路に対して、短時間に、機能レベルでの故障箇所を推定するための、ハードウェア記述言語で記述された論理回路の決定グラフへの変換装置、変換方法及び変換プログラムを記録した記録媒体を提供する。 - 特許庁

To provide an image processor capable of assigning an optimum memory area to syntactic analysis processing and drawing processing of PDL (page description language), an image forming device with the image processor, an image processing method, an image processing program, and a storage medium storing the image processing program.例文帳に追加

PDLの構文解析処理及び描画処理に対し、最適なメモリ領域を割り当てることのできる画像処理装置、画像処理装置を有する画像形成装置、画像処理方法、画像処理プログラム及び画像処理プログラムを格納した記憶媒体を提供すること。 - 特許庁

To enable a user to learn a language within a short period and to enable a person other than a program editor to easily understand the contents of a completed program by developing a program description method using words generally acceptable by CRT industry and easy commands.例文帳に追加

ＣＲＴ業界に一般的に通用する単語と、容易なコマンドを用いたプログラム記述方法を開発することにより、短期間でユーザーが言語を修得でき、完成したプログラムの内容をプログラム作成者以外であっても容易に理解できるＣＲＴ検査装置を提供する。 - 特許庁

The syntax analysis of a source program being edited is performed, and a relation between the definition method of data and the non-procedure syntax of a processing description part is analyzed from the result of the syntax analysis, and when it is clarified that the non-procedure processing exists, data items relevant to this are displayed so as to be emphasized.例文帳に追加

編集中のソースプログラムを構文解析し、構文解析の結果からデータの定義方法と処理記述部の非手続き構文との関係を解析して、非手続き処理が存在することが判明した場合、それに関連するデータ項目を強調表示する。 - 特許庁

To cope with the description of a document more flexibly than serial processing and to execute a WEB service by less memory compared to the method of development as a structure model when executing the WEB service according to the document describing information for successively executing the WEB service.例文帳に追加

ＷＥＢサービスを順次実行させるための情報を記述した文書に従ってＷＥＢサービスを実行するにおいて、逐次処理よりも柔軟に文書の記述に対応でき、構造モデルとして展開する手法よりも少ないメモリでＷＥＢサービスの実行を可能にする。 - 特許庁

Consequently, a person skilled in the art can obtain the monoclonal antibody described in claim 2 and a hybridoma producing the monoclonal antibody by the means of preparing the antigenic protein A and using the antigenic protein A as an immunogen by a known hybridoma method, on the basis of the description in the specification. 例文帳に追加

してみれば、当業者であれば、発明の詳細な説明の記載に基づいて、抗原タンパク質Ａを製造し、該抗原タンパク質Ａを免疫原として、周知のハイブリドーマ法により、請求項2に係るモノクローナル抗体とそれを産生するハイブリドーマを取得することができる。 - 特許庁

(a) if such Monies, etc. are Bonds of the Membership Company after Entity Conversion, the description of the classes of such Bonds (meaning the classes of Bonds prescribed in Article 107(2)(ii)(b); hereinafter the same shall apply in this Part) and the total amount for each class of Bonds, or the method for calculating that total amount; 例文帳に追加

イ　当該金銭等が組織変更後持分会社の社債であるときは、当該社債の種類（第百七条第二項第二号ロに規定する社債の種類をいう。以下この編において同じ。）及び種類ごとの各社債の金額の合計額又はその算定方法 - 日本法令外国語訳データベースシステム

(vii) if the Stock Company effecting Entity Conversion has issued Share Options, the description of the amount of Monies, etc. that the Membership Company after Entity Conversion will deliver in lieu of such Share Options to holders of such Share Options at the time of the Entity Conversion, or the method for calculating such amount; 例文帳に追加

七　組織変更をする株式会社が新株予約権を発行しているときは、組織変更後持分会社が組織変更に際して当該新株予約権の新株予約権者に対して交付する当該新株予約権に代わる金銭の額又はその算定方法 - 日本法令外国語訳データベースシステム

(v) if the Stock Company Absorbed in Absorption-type Merger has issued Share Options, the description of the amount of Monies, etc. that the Membership Company Surviving Absorption-type Merger will deliver in lieu of such Share Options to holders of such Share Options at the time of the Absorption-type Merger, or the method for calculating such amount; 例文帳に追加

五　吸収合併消滅株式会社が新株予約権を発行しているときは、吸収合併存続持分会社が吸収合併に際して当該新株予約権の新株予約権者に対して交付する当該新株予約権に代わる金銭の額又はその算定方法 - 日本法令外国語訳データベースシステム

(viii) if the Stock Company(ies) Consolidated through Consolidation-type Merger has issued Share Options, the description of the amount of monies that the Membership Company Incorporated through Consolidation-type Merger shall deliver in lieu of such Share Options to holders of such Share Options at the time of the Consolidation-type Merger, or the method for calculating such amount 例文帳に追加

八　新設合併消滅株式会社が新株予約権を発行しているときは、新設合併設立持分会社が新設合併に際して当該新株予約権の新株予約権者に対して交付する当該新株予約権に代わる金銭の額又はその算定方法 - 日本法令外国語訳データベースシステム

(e) If any property other than shares, etc. (referring to shares, Bonds and Share Options. This shall apply hereinafter.) of such Stock Company is delivered to such shareholders in exchange for the acquisition of one of the shares referred to in (a), the description of the features and number or amount of such property, or the method for calculating such number or amount; 例文帳に追加

ホ　イの株式一株を取得するのと引換えに当該株主に対して当該株式会社の株式等（株式、社債及び新株予約権をいう。以下同じ。）以外の財産を交付するときは、当該財産の内容及び数若しくは額又はこれらの算定方法 - 日本法令外国語訳データベースシステム

To provide a device and method for synthesizing logic circuit by which the optimization of a circuit scale corresponding to circuit functions can be performed by performing optimization at a high-order function description level without requiring any verifying process of a designer and comparing a synthesized circuit with the optimization at a gate level.例文帳に追加

設計者の検証処理を必要とせず、上位の機能記述レベルでの最適化を行い、合成される回路をゲートレベルでの最適化に比較し、回路機能に対応した回路規模の最適化の行える論理回路合成装置及び論理回路合成方法を提供する。 - 特許庁

To provide a voice input processing method by which an input value is understood and inputted even in free speaking order without mistake and the description quantity of a program for a part for selecting a speaking scenario to be placed in operation next is decreased according to the inputted value.例文帳に追加

自由な発話順序でも入力値を間違えなく理解して入力値として取り込むことができ、然も入力された入力値から次に動作すべき発話シナリオを選択する部分のプログラムの記述量を低減することができる音声入力処理方法を提供する。 - 特許庁

To comply with a requirement of a method for setting a suitable image correction condition even on the assumption that a shade of meaning of described contents is different according to a description form or a version of the form even in the same condition item in condition information.例文帳に追加

条件情報における同一条件項目においてもその記述されている内容の意味合いが記述形式やその形式のバージョンによって異なる場合も想定され、そのような時においても適切な画像補正処理条件を設定する方法が求められる。 - 特許庁

To obtain a firewall managing apparatus and a method which can form batch setting information of firewall which includes not only packet filtering information but also address conversion information of an NAT by using definition description easy to be understood by a person, in order to mutually operate a plurality of bases via an internet.例文帳に追加

インターネットを介して複数拠点間を相互運用するため、人間に判りやすい定義記述を用いてパケットフィルタリング情報だけでなくＮＡＴのアドレス変換情報を含めたファイアウォールの設定情報を一括生成し得るファイアウォール管理装置および方法を得ること。 - 特許庁

Since the book contains a description of the ritual of the kitchen-knife method in Shijo School as well as descriptions starting with the naming and size of each place on the cutting board, followed by specific recipes, and decoration methods for chopsticks and eating utensils, it is now considered as a valuable historical source of information on materials and the art of cooking of the Japanese cuisine of those days. 例文帳に追加

四条流庖丁式の次第が記述され、まな板の名所・寸法などから記載が始まり、続いて具体的な料理法や、箸・膳の飾り方なども記載されており、当時の日本料理の素材や調理法を知る上で貴重な史料となっている。 - Wikipedia日英京都関連文書対訳コーパス

The tab marks 71 are printed on front surfaces 63 of the plurality of pieces of paper constituting the booklet 60 by changing positions in a direction (arrow Y direction) along end sides of edge sides 62 of the plurality of pieces paper for each of a plurality of sections wherein description contents in the booklet 60 are divided by one classification method.例文帳に追加

冊子６０を構成する複数の用紙の表面６３には、冊子６０の記載内容を一の分類方法により区分けした複数の区分毎に、複数の用紙の小口側６２の辺に沿った方向（矢印Ｙ方向）に位置を変えることにより、タブマーク７１が印刷されている。 - 特許庁

To provide an information processing system that outputs description positional information of entry fields described in a form used for setting positional information and format information, and format information of metadata regarding the entry area, and provide an information processor, an information processing method, and a program.例文帳に追加

位置情報や書式情報の設定作業などの帳票に記載する記入領域の記載位置情報と、その記入領域に関するメタデータの書式情報を出力する情報処理システム、情報処理装置、情報処理方法およびプログラムを提供する。 - 特許庁

(2) Notwithstanding the provision of the preceding paragraph, with regard to a Part-Time Worker with Equal Job Description (excluding Part-Time Workers Equivalent to Ordinary Workers; the same shall apply in paragraph 1 of the following Article) whose Job Description and assignment are likely to be change within the same range as the Job Description and assignment of said ordinary workers, in light of the practices at said place of business and other circumstances, at least during a specific period of time that is a part of the period of the employment by said business operator, he/she shall endeavor to decide wages for said Part-Time Worker, during the period for such change is expected, by the same method as applied to said ordinary workers. 例文帳に追加

２　事業主は、前項の規定にかかわらず、職務内容同一短時間労働者（通常の労働者と同視すべき短時間労働者を除く。次条第一項において同じ。）であって、当該事業所における慣行その他の事情からみて、当該事業主に雇用される期間のうちの少なくとも一定の期間において、その職務の内容及び配置が当該通常の労働者の職務の内容及び配置の変更の範囲と同一の範囲で変更されると見込まれるものについては、当該変更が行われる期間においては、通常の労働者と同一の方法により賃金を決定するように努めるものとする。 - 日本法令外国語訳データベースシステム

The gist of the claimed device is identified to specify the technical matters described in the claim of utility model, which is a method to determine the satisfaction of the requirements for registrability of the device. The gist should be identified based on the description in the claim insofar as the technical matters in the claim are specific. It should be understood that the gist should not be restrictively interpreted based on the detailed description of the device or drawings. 例文帳に追加

考案の要旨の認定は、出願に係る考案が登録を受ける要件を具備するか否かを判断する手法として、当該考案の登録請求範囲に記載された技術的事項を明確にするために行われるものであって、登録請求範囲の記載からその技術的事項が明確である限りその記載にしたがって考案の要旨を認定すべきであり、考案の詳細な説明の記載事項や図面の記載からその要旨を限定的に解釈することはできないというべきである。 - 特許庁

The JWeaver 120 reads a Plan file 130 designating a class and a method of the edition target in starting, reads information designating the weaver 123 to be used in edition of the byte code of the method according to a description of the Plan file 130, and reads a Rule file 127 having information of a set value of the operation parameter for the weaver 123.例文帳に追加

このＪＷｅａｖｅｒ１２０は、起動時に編集対象のクラス及びメソッドを指定するＰｌａｎファイル１３０を読み出すと共に、Ｐｌａｎファイル１３０の記述内容に従って当該メソッドのバイトコード編集時に使用すべきウィーバ１２３を指定する情報、及び、ウィーバ１２３に対する動作パラメータの設定値の情報を有するＲｕｌｅファイル１２７を読み出す。 - 特許庁

This XML structure conversion system and the method are characterized by being provided with an analysis means for analyzing the first XML structure and description and a conversion means outputting the second XML file by performing a character string operation on the first XML file based on an analysis result of the analysis means.例文帳に追加

第１のＸＭＬの構造および記述を解析する解析手段と、解析手段の解析結果に基づき、第１のＸＭＬファイルに対して文字列操作を行うことにより第２のＸＭＬファイルを出力する変換手段とを設けたことを特徴とするＸＭＬ構造変換システムおよび方法を提供する。 - 特許庁

To provide a robust system and method for simplifying a path to one piece of data through a hierarchical structure, characterized in that description of a path to one piece of data is generalized through a hierarchical structure so that even if the hierarchical structure changes, the path can be used to retrieve the data.例文帳に追加

本発明は、一般に階層構造を通じて１片のデータに至る経路を単純化する装置及び方法に関し、詳細には、たとえ階層構造が変化する時でも該経路を使用してデータを検索し得るように、階層構造を通じて１片のデータに至る経路の記述を一般化する装置及び方法に関する。 - 特許庁

The method comprises conversion of at least one -COF group of the acid fluoride into -COX group (X has the same meaning to the above description) by reacting the acid fluoride having the -COF group with a halogenating agent which converts the -COF group into -COX group, in the presence of an oxide glass.例文帳に追加

−ＣＯＦ基を有する酸フロリド化合物を、−ＣＯＦ基を−ＣＯＸ基（ただし、Ｘは前記と同じ意味を示す。）に変換するハロゲン化剤、および酸化物ガラスの存在下で反応させて、該酸フロリド化合物の−ＣＯＦ基の１個以上を、−ＣＯＸ基（ただし、Ｘは前記と同じ意味を示す。）に変換する。 - 特許庁

To provide a method for dynamically using an indicator over an entire test composition body since description created in compiling of a peripheral model has shortcomings such as having similar static characteristics comparable to the peripheral model, while providing good overview nature by consistently using the same indicator.例文帳に追加

同一の指示子を一貫して使用することにより概観性が良好になる一方で、周辺モデルのコンパイル時に生成された記述は、該周辺モデルに比類する似たような静的特性を有するという欠点があるため、テスト構成体全体では指示子を動的に使用するための方法を提供する。 - 特許庁

(a) if such Monies, etc. are shares of the Stock Company Surviving Absorption-type Merger, the description of the number of such shares (or, for a Company with Class Shares, the classes of the shares and the number of the shares for each class) or the method for calculating such numbers, and matters concerning the amount of the stated capital and capital reserves of the Stock Company Surviving Absorption-type Merger; 例文帳に追加

イ　当該金銭等が吸収合併存続株式会社の株式であるときは、当該株式の数（種類株式発行会社にあっては、株式の種類及び種類ごとの数）又はその数の算定方法並びに当該吸収合併存続株式会社の資本金及び準備金の額に関する事項 - 日本法令外国語訳データベースシステム

(e) If Bonds of such Stock Company (other than those on Bonds with Share Option) are delivered to the holders of such Share Options in exchange for the acquisition of the Share Options referred to in (a), the description of the classes of such Bonds and the total amount for each class of Bonds, or the method for calculating that total amount; 例文帳に追加

ホ　イの新株予約権を取得するのと引換えに当該新株予約権の新株予約権者に対して当該株式会社の社債（新株予約権付社債についてのものを除く。）を交付するときは、当該社債の種類及び種類ごとの各社債の金額の合計額又はその算定方法 - 日本法令外国語訳データベースシステム

To provide an information search apparatus, search method and search program that can search information described in languages different from that of a search keyword and can reduce the load of translating the search keyword for a search and implement a quick search even if there are many description languages of information to be searched.例文帳に追加

検索キーワードとは異なる言語で記述された情報を検索することができ、さらに、検索対象の情報の記述言語の種類が多くても、検索時の検索キーワードの翻訳処理の負担がなく、検索処理の高速化が可能となる情報検索装置と検索方法並びに検索プログラムを得る。 - 特許庁

To provide a text generation method for enabling a user to easily understand the meaning content of a verification property by automatically generating a natural language text expressing the meaning content of the verification property even when no explanation is written in a verification property, and the user does not have any knowledge of verification property description language.例文帳に追加

検証プロパティの意味内容を説明する自然言語文章を自動生成できるようにし、検証プロパティに説明が併記されておらず、また、検証プロパティ記述言語の知識がなくても、検証プロパティの意味内容を容易に理解することができるようにした文章生成方法を提供する。 - 特許庁

The designing method for the semiconductor integrated circuit generates specifications specifying the structure, specifications, etc., of required hardware and specifies the unused bit array in code data composed of a specific number of binary bits to generate an RTL description showing whether or not the respective bits of all required code data need to be compared.例文帳に追加

本半導体集積回路の設計方法は、所要のハードウエアの構造及び仕様等を指定する仕様書を生成し、２値の所定数ビットから成るコードデータのうちの使用しないビット列を指定し、所要の全てのコードデータの各ビットに対する比較処理の必要性の有無を示すＲＴＬ記述を生成する。 - 特許庁

The GoF/GoP texture description method includes the steps of: generating homogeneous texture descriptors (HTD) describing frames or pictures about all frames or all pictures constituting a GoF/GoP; and expressing one frame or picture with a corresponding GoF/GoP-describing HTD that is a given representative value.例文帳に追加

GoF/GoPを構成するフレームの全てまたはピクチャーの全てについて前記フレームまたはピクチャーを記述する均一質感記述子（HTDと略称する）を求める段階と、GoF/GoPを記述するHTDを、所定の代表値で代表させて１つのフレームまたはピクチャーに相応するHTDで表現する段階と、を含むGoF/GoPの質感表現方法である。 - 特許庁

To provide a logic function verification apparatus and a logic function verification method capable of drastically shortening a period of time required to verify a logic circuit by reducing a work process required to generate a test bench being a verification environment for logically verifying a circuit description.例文帳に追加

この発明は、回路記述を論理検証するための検証環境であるテストベンチの生成に要する作業工程を削減し、論理回路の検証に要する時間の大幅な短縮化を図ることを可能とした論理機能検証装置及び論理機能検証方法を提供することを目的としている。 - 特許庁