logical descriptionとは 意味・読み方・使い方

LOGICAL SIMULATION DEVICE, AUTOMATIC ASSERTION DESCRIPTION GENERATING DEVICE, AND PROGRAM例文帳に追加

論理シミュレーション装置、アサーション記述自動生成装置、及びプログラム - 特許庁

A logical description of the relationship between objects is recorded thereby defining the formula.例文帳に追加

オブジェクト間の関係の論理的な記述が記録され、これによって式を定義する。 - 特許庁

A means 1 generates a net list B from a logical description A and a means 2 verifies the consistency between the description A and list B.例文帳に追加

手段１は論理記述ＡからネットリストＢを作成し、手段２は論理記述ＡとネットリストＢとの間の整合性を検証する。 - 特許庁

The RTL output part 3 converts the logical description into the description of a low rank hierarchical instance based on the signal information transferred for each logical description from the RTL analysis purser part 2, and writes the description of the hierarchical instance in the output RTL 5, and writes the logical description of each hierarchy in a temporary file 4.例文帳に追加

ＲＴＬ出力部３は、ＲＴＬ解析パーサ部２から各論理記述毎に渡される信号情報に基づいて、論理記述を下位の階層インスタンスの記述に変換し、その階層インスタンスの記述を出力ＲＴＬ５に書き出すとともに、各階層の論理記述をテンポラリファイル４に書き出す。 - 特許庁

A CAD system of a logical integrated circuit includes conversion means for converting a logical integrated circuit netlist in an operation description level or a logical gate level described in hardware description language into a logical integrated circuit netlist in an operation level including a spintronics logical gate as the input of a logical synthesis tool.例文帳に追加

論理集積回路のＣＡＤシステムは、ハードウェア記述言語で記述された動作記述レベルあるいは論理ゲートレベルの論理集積回路ネットリストから、論理合成ツールの入力となるスピントロニクス論理ゲートを含む動作レベルの論理集積回路ネットリストへの変換手段を含む。 - 特許庁

The logical equivalence verification system 10 is provided with a logical equivalence verification part 1, an RTL/gate level circuit description 2, an RTL/gate level circuit description 3, and a library 4.例文帳に追加

論理等価性検証システム１０には、論理等価性検証部１、ＲＴＬ／ゲートレベル回路記述２、ＲＴＬ／ゲートレベル回路記述３、及びライブラリ４が設けられている。 - 特許庁

A circuit description processing part 13 operates circuit description by using the physical memory and register configuring the extracted optimal logical memory, and generates the circuit description file.例文帳に追加

回路記述化処理部１３は、抽出された最適論理メモリを構成する物理メモリ及びレジスタを用いて回路記述を行い、回路記述ファイルを生成する。 - 特許庁

To automatically impart a deletion information which is effective to hardware description automatic generation to an analog component which does not require logical verification.例文帳に追加

論理検証に必要ないアナログ部品に対して、ハードウエア記述自動生成に有効な削除情報を自動的に付与する。 - 特許庁