logic languageとは 意味・読み方・使い方

Further, the simplified logic or language representation is extracted by using the similar paraphrase.例文帳に追加

さらに、同様の言い換えを利用して、単純化された論理又は言語表現を抽出する。 - 特許庁

To provide a system in which an execution state can move in a mobile agent system equipped with a program language based on a logic of language and belief.例文帳に追加

知識と信念の論理にもとづくプログラム言語を備えたモバイルエージェントシステムであって、実行状態の移動が可能なものを実現する。 - 特許庁

To detect its erroneous description even when an erroneous description other than a language description level exists in a scramble logic equation.例文帳に追加

スクランブル論理式に言語記述レベル以外の誤記述があった場合でもその誤記述を検出する。 - 特許庁

A simulation part 63 performs a simulation based on the description of a logic function described in hardware description language.例文帳に追加

シミュレーション部６３は、ハードウェア記述言語による論理機能の記述に基づいてシミュレーションを行なう。 - 特許庁

The simplified logic or language expression is extracted further using the same conversion, so as to be used.例文帳に追加

さらに、同様の言い換えを利用して、単純化された論理又は言語表現を抽出して利用する。 - 特許庁

converting high level descriptions of digital hardware written in a computer hardware description language to an actual logic network発音を聞く 例文帳に追加

ある計算機ハードウェア記述言語で書かれたディジタルハードウェアの高水準記述を実際の論理網に変換する - コンピューター用語辞典

To perform only the logic verification of design data described in a logic description language to dispense with the verification of design data described in a net list by conforming the handling of an indefinite value between the design data described in the logic description language and the design data described in the net list.例文帳に追加

論理記述言語で記述された設計データとネットリストで記述された設計データとで不定値の取り扱いを同じにすることにより、論理記述言語で記述された設計データの論理検証のみを行い、ネットリストで記述された設計データの検証を不要にすることを課題とする。 - 特許庁

Disclosed is a device which compares logic verification items automatically extracted from specifications of a logic circuit described by using identifiers with logic verification items automatically extracted from a device generating an operation specification description that a logic system described in a hardware description language and a logic verifying device performing logic verification by deciding equivalence of the operation specification description use.例文帳に追加

識別子を用いて記述した論理回路の仕様書から自動抽出した論理検証項目と、ハードウェア記述言語により記述した論理システムおよび動作仕様記述の等価性を判定し論理検証をおこなう論理検証装置が用いる動作仕様記述を生成する装置から自動抽出した論理検証項目を比較する装置。 - 特許庁