Logic Languageとは 意味・読み方・使い方

To realize a technology which automatically generates a check code of different computer language while keeping the identity of a logic based on a check logic generated with a certain computer language.例文帳に追加

あるコンピュータ言語によって作成されたチェックロジックを基に、ロジックの同一性を保持したまま他の言語によるチェックコードを自動生成する技術の実現。 - 特許庁

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.例文帳に追加

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

To provide a multivalue logic circuit which can be constituted even if a normally-on insulated gate FET is not used, can perform a manner of a multivalue logic output such as "output is opened", can recognize its function from the name of the multivalue logic circuit, and has a multivalue logic function which can be expressed by a human language.例文帳に追加

ノーマリィ・オンの絶縁ゲート型ＦＥＴを使わなくても構成でき、「出力を開放する」という多値論理出力の仕方ができ、多値論理回路名からその機能が分かり、人の言葉で表現できる多値論理機能を持つ多値論理回路を提供する。 - 特許庁

To achieve: simplification of an input sentence to a sentence at a symbolic logic expression level, inference using a simple sentence at a symbolic logic expression level and generation of an output sentence on the basis of a sentence at a symbolic logic expression level by a unified and simple method, and to achieve automatic learning of a logic or language representation by a similar method.例文帳に追加

入力文の記号論理式レベルの文への単純化、記号論理式レベルの単純な文を用いた推論、及び記号論理式レベルの文に基づく出力文の生成の統一的、単純な方法による実現、並びに同様な方法による論理又は言語表現の自動的学習の実現。 - 特許庁

To provide an integrated and simple method of simplifying an input sentence to a symbol logic expression level of sentence, of deriving the symbol logic expression level using a simple sentence, and of generating an output sentence based on the symbol logic expression level of sentence, and to provide automatic learning of a logic or language expression by the same method.例文帳に追加

入力文の記号論理式レベルの文への単純化、記号論理式レベルの単純な文を用いた推論、及び記号論理式レベルの文に基づく出力文の生成の統一的、単純な方法による実現、並びに同様な方法による論理又は言語表現の自動的学習の実現。 - 特許庁

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.例文帳に追加

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

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

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

To provide a logic simulating method for improving the efficiency in designing a logical circuit by software designing language.例文帳に追加

ソフトウエア設計言語による論理回路設計の効率化を図ることができる論理シミュレーション方法を提供する。 - 特許庁