「Logic Language」を含む例文一覧(57)
＜前へ 1 2- To search for information satisfying a condition of a logic relationship between data items (search items) while using a description language, which can express a master-slave relationship between the data items but has no definition for a description manner of the logical relationship, for the formation of search key information.
データ項目間の主従関係を表現可能ではあるが、論理関係の記述の仕方は規定されていないような記述言語を検索キー情報の作成に用いながらも、データ項目（検索項目）間の論理関係の条件を満たす情報を検索可能とする。 - 特許庁 - Upon receiving print data by a printer language for serial printer, a printer 1 specifies sheet feed devices MP, LC1-LC5 corresponding to a designated logic device, carries sheets from the specified sheet feed devices MP, LC1-LC5 and prints on the sheet by means of a print engine 16.
プリンタ１は、シリアルプリンタ用のプリンタ言語による印刷データを受信した場合、指定された論理デバイスに対応する給送デバイスＭＰ，ＬＣ１〜ＬＣ５を特定し、特定された給送デバイスＭＰ，ＬＣ１〜ＬＣ５から用紙を搬送させて、印刷エンジン１６により印刷させる。 - 特許庁 - A function C conversion system 20 divides an algorithm C description 1 obtained by writing an operation or control algorithm of a logic circuit in a C language into a plurality of states in a processing unit, describes performance orders of divided processing as a state transition and generates a function C description 2 with a control description embedded therein.
論理回路の演算または制御アルゴリズムをＣ言語によって記述したアルゴリズムＣ記述１を、機能Ｃ変換システム２０において、処理単位で複数の状態に分割し、分割した処理の実行順序を状態の遷移として記述して、制御記述が埋め込まれた機能Ｃ記述２を生成する。 - 特許庁 - When generating a data file expressing the ROM module up to a logic level while using a hardware description language, the information of bit data stored in the memory cell of the ROM module is stored in a file different from the data file of the module and in the form referring to the subordinate data file recorded with these bit data, the data file of the ROM module is generated.
ＲＯＭモジュールをハードウェア記述言語を用いて論理レベルまで表したデータファイルを生成する際に、ＲＯＭモジュールの記憶セルに記憶されるビットデータの情報をモジュールのデータファイルとは別のファイルに格納し、このビットデータが記録された副データファイルを参照する形式でＲＯＭモジュールのデータファイルを生成する。 - 特許庁 - The logic verification program allows a personal computer 100 to function as a verification item input editor (S1) which enables an input of a verification item in a natural language on a tabular display screen and to function as a verification result feedback means (S5) which enables the creation of a test report by feeding-back the verification result to the verification item input editor.
論理検証プログラムにより、パーソナルコンピュータ１００を、表形式の表示画面において検証項目の自然言語による入力を可能とする検証項目入力エディタ（Ｓ１）、検証結果を上記検証項目入力エディタにフィードバックすることでテストレポートの生成を可能とする検証結果フィードバック手段（Ｓ５）として機能させる。 - 特許庁 - The pattern language program forming device 10 comprises a storage device 2 for registering a first macro element, a macro element forming means 3 for forming a second macro element including the first macro element and registering it in the storage device 2, and a logic forming means 3 for forming a function block diagram 11 including the second macro element.
本発明による図形言語プログラム作成装置（１０）は、第１マクロ要素が登録された記憶装置（２）と、第１マクロ要素を含む第２マクロ要素を作成し、前記記憶装置（２）に登録するマクロ要素作成手段（３）と、第２マクロ要素を含むファンクションブロックダイアグラム（１１）を作成するロジック作成手段（３）とを備えている。 - 特許庁 - This verification device or the like for a logic system described by a hardware description language has: a test bench production means executing the dynamic simulation; a static verification means executing static verification; and an error part specification means specifying an error part from results of the dynamic simulation and the static verification.
ハードウェア記述言語により記述された論理システムの検証装置であって、動的シミュレーションを実行するテストベンチ作成手段と、静的検証を実行する静的検証手段と、前記動的シミュレーションと前記静的検証の結果から、エラー箇所を特定するエラー箇所特定手段を具備することを特徴とする論理システムの検証装置等、を提供する。 - 特許庁
- 特許庁
- Copyright © Japan Patent office. All Rights Reserved.
