「simulation language」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

To perform high-speed simulation by evading the generation of unnecessary codes and redundant functions in the case of generating a simulation model by converting hardware description based on a hardware description language into programming language description to be used for generating a simulation model.例文帳に追加

ハードウェア記述言語によるハードウェア記述をシミュレーションモデルに用いるプログラミング言語記述に変換してシミュレーションモデルを生成する際に、不要なコードや冗長な機能の生成を回避し、高速なシミュレーションを可能にする。 - 特許庁

SIMULATION METHOD AND DEVICE FOR SYSTEM BY OBJECT- ORIENTED LANGUAGE AND RECORDING MEDIUM WITH ITS PROGRAM RECORDED THEREON例文帳に追加

オブジェクト指向言語によるシステムのシミュレーション方法、装置及びそのプログラムを記録した記録媒体 - 特許庁

To easily verify equivalence between a circuit description in a system level design language and a circuit description in a hardware description language by using simulation results.例文帳に追加

システムレベル設計言語による回路記述とハードウェア記述言語による回路記述との等価性を、シミュレーション結果を用いて容易に検証する。 - 特許庁

METHOD FOR DYNAMICALLY RELATING UNKNOWN AND EQUATION IN SIMULATION OF SYSTEM DESCRIBED IN HARDWARE DESCRIPTION LANGUAGE例文帳に追加

ハードウエア記述言語で記述されたシステムのシミュレーションにおける未知数と方程式の動的関連づけの方法 - 特許庁

A verification apparatus for the logic system described in a hardware description language records information about the state of execution of a dynamic simulation about the logic system, while performing simulation.例文帳に追加

ハードウエア記述言語で記述された論理システムの検証装置は、論理システムについて動的シミュレーションを実行しながら、その実行状態に関する情報を記録する。 - 特許庁

HARDWARE VERIFICATION PROGRAMMING LANGUAGE MODEL GENERATION APPARATUS, HARDWARE VERIFICATION PROGRAMMING LANGUAGE MODEL GENERATION METHOD, COMPUTER SYSTEM, HARDWARE SIMULATION METHOD, CONTROL PROGRAM, AND READABLE STORAGE MEDIUM例文帳に追加

ハードウェア検証用プログラミング言語モデル生成装置、ハードウェア検証用プログラミング言語モデル生成方法、コンピュータシステム、ハードウェアシミュレーション方法、制御プログラムおよび可読記憶媒体 - 特許庁

To support an event of hardware design language (HDL) event hardware description language occurring during simulation of a hardware design in the state of real-time observability of a digital system.例文帳に追加

デジタルシステムのリアルタイム可観測性の状況で、ハードウェア設計のシミュレーション中に発生するハードウェア設計言語（ＨＤＬ）イベントハードウェア記述言語のイベントをサポートする。 - 特許庁

To realize a fast digital/analog mixed simulation which includes connection verification between modules and performs signal transmission between analog circuit modules described in a hardware descriptive language by using input/output terminals of the respective modules, in the simulation of the digital/analog mixed circuit using the hardware descriptive language, with a single simulator and single language of only the hardware descriptive language.例文帳に追加

ハードウェア記述言語を用いたデジアナ混載回路のシミュレーションにおいて、ハードウェア記述言語で記述されたアナログ回路モジュール間での信号伝達を、各モジュールの入出力端子を用いて行い、モジュール間の接続検証も含めた高速なデジアナ混載シミュレーションをハードウェア記述言語のみの単一言語、単一シミュレータで実現可能とする。 - 特許庁

Moreover, the apparatus includes a modeling means for producing a model with the modeling language, and a simulation execution means 104 for executing simulation of the produced model, and roughly estimates the used amount of memory without coding.例文帳に追加

また、モデリング言語でモデルを作成するモデリング手段、作成したモデルをシミュレーションするシミュレーション実行手段１０４を備え、コーディングせずにメモリの使用量の概算を算出する。 - 特許庁

An HDL simulation part 150 simulates a semiconductor device on the basis of a file which is described by a hardware description language.例文帳に追加

ＨＤＬシミュレート部１５０は、ハードウェア記述言語によって記述されたファイルに基づいて半導体デバイスをシミュレートする。 - 特許庁

In a simulating device for simulating the behavior of a system on a time based, a simulation performing part 3 performs simulation of a model described in the constraint type programming language, access an external function while performing the simulation and also changes the movements of the simulation in accordance with a returned value returned from the external function.例文帳に追加

システムの時間軸上の挙動をシミュレートするシミュレーション装置において、シミュレーション実行部３は、制約型プログラミング言語で記述されたモデルのシミュレーションを実行し、当該シミュレーションの実行中に外部関数を呼び出すと共にその外部関数から返される戻り値に応じて当該シミュレーションの動作を変更する。 - 特許庁

Eventually, event-driven simulation can be made fast at the stage of a hardware description language in which a circuit of register transfer level is described.例文帳に追加

結果的に、レジスタ・トランスファー・レベルの回路を記述するハードウエア記述言語の段階で、イベントドリブン・シミュレーションを高速化することができる。 - 特許庁

To perform data input-output processing while synchronizing with the outside in the case of performing simulation based on a constraint type programming language.例文帳に追加

制約型プログラミング言語に基づくシミュレーションを実行中に外部との同期を取りつつデータの入出力処理を行えるようにする。 - 特許庁

To prevent function verification simulation from being disturbed by the existence of the part of a different interpretation between a program language and an HDL in a hardware description.例文帳に追加

ハードウエア記述のうちプログラム言語とＨＤＬとで解釈が分かれる部分の存在が機能検証シミュレーションを妨害することを回避する。 - 特許庁

To provide a matching verification method and device capable of reducing the execution time of the matching verification of HDL(Hardware Description Language: circuit description language) function simulation results and the real machine operation results of an FPGA, and detecting the operation mismatching of the inside of the circuit.例文帳に追加

ＨＤＬ機能シミュレーション結果とＦＰＧＡの実機動作結果との一致検証の実行時間を減少可能とし、かつ回路内部の動作不一致も検出できる一致検証方法及び装置を得ること。 - 特許庁

To easily confirm a mutual relation between plural system models at the time of confirming a simulation result in a system simulation method for operating simulation by constituting a system model having plural system models by arranging and wiring functioning blocks whose operations are described in software programming language on a design editor.例文帳に追加

ソフトウエア・プログラミング言語で動作を記述した機能ブロックをデザイン・エディタ上で配置、配線することによって複数のシステム・モデルを有するシステム・モデルを構成してシミュレーションを行うシステム・シミュレーション方法に関し、シミュレーション結果の確認時に、複数のシステム・モデル間の相互関係を容易に確認できるようにする。 - 特許庁

From description of the logic system describing the whole logic system 101 by a program language and parting information 102, simulation is conducted 103 to collect data transfer information.例文帳に追加

１０１の論理システム全体をプログラム言語にて記述した論理システム記述と１０２の分割情報から、１０３でシミュレートしてデータ転送情報を収集する。 - 特許庁

Object directional structured programming language 'Read() function, Write() function (first function)' is discriminated from 'Monitor_-Read() function, Monitor_-Write() function (second function)' to execute simulation.例文帳に追加

オブジェクト指向の構造化プログラミング言語「Ｒｅａｄ（）関数、Ｗｒｉｔｅ（）関数（第１関数）」と「Ｍｏｎｉｔｏｒ＿Ｒｅａｄ（）関数、Ｍｏｎｉｔｏｒ＿Ｗｒｉｔｅ（）関数（第２関数）」とを区分けしたシミュレーションを実行する。 - 特許庁

To provide a method of verifying asynchronous circuit which simplifies the verification operation in a function simulation on a language level and also shortens its verification TAT.例文帳に追加

言語レベルの機能シミュレーションにおける検証作業を単純化させるとともに、その検証ＴＡＴを短縮化させた非同期回路の検証方法を提供する。 - 特許庁

The hardware part described functions of a processor 10 by basic instruction processor description 2, exclusive instruction processor description 3 and flexible interface description 4 by using a high-level language and obtains RTL (register transfer language) description 5 and description 6 for simulation by compositing operations of the descriptions.例文帳に追加

ハードウエア部分は、高級言語を用いて、基本命令プロセッサ記述２と、専用命令プロセッサ記述３と、フレキシブルインタフェース記述４とでプロセッサ１０の機能を記述し、それを動作合成してＲＴＬ記述５とシミュレーション用記述６とを得る。 - 特許庁

To provide an assistant tool and a method for visual detailing which enables even a beginner of a format language to easily generate details and can verify simulation, etc., on a visual model.例文帳に追加

形式言語の初歩者も容易に明細を作成でき、視覚的モデル上でシミュレーションなどの検証を可能にする視覚的明細支援ツール及び明細方法を提供する。 - 特許庁

A simulation apparatus for performing simulation described on the transaction level for performing communication on a bus by a transaction on the basis of a system description language receives the transaction including information indicating whether the information is to be mapped on hardware or not and attribute information which is not mapped on the hardware and transmits the transaction.例文帳に追加

システム記述言語によりバス上の通信をトランザクションにより行うトランザクションレベルで記述されたシミュレーション装置であって、ハードウェアにマッピングする情報であるか否かを示す情報と、ハードウェアにマッピングしないアトリビュート情報を含むトランザクションを受信し、そのトランザクションを送信する。 - 特許庁

The simulation apparatus for performing simulation described on the transaction level for performing communication on a bus by a transaction on the basis of a system description language receives the transaction including information indicating whether information is to be mapped on hardware or not and attribute information which is not mapped on the hardware and transmits the transaction.例文帳に追加

システム記述言語によりバス上の通信をトランザクションにより行うトランザクションレベルで記述されたシミュレーション装置であって、ハードウェアにマッピングする情報であるか否かを示す情報とハードウェアにマッピングしないアトリビュート情報を含むトランザクションを受信し、そのトランザクションを送信する。 - 特許庁

In this method for performing a joint simulation of a digital circuit by using a simulation engine (45), the digital circuit communicates with one or more first programming languages and also communicates directly with one or more second programming languages by using a heterogeneous language interface.例文帳に追加

シミュレーションエンジン（４５）を用いてデジタル回路の共同シミュレーションを行う方法であって、上記デジタル回路が、異質言語インターフェースにより、１つ以上の第１のプログラミング言語とコミュニケーションを行い、かつ１つ以上の第２のプログラミング言語と直接的にコミュニケーションを行う方法を提供する。 - 特許庁

Also, a ventilation control program is created in a mechanism separated from the body program of the simulation device, independently manufactured in a general-purpose language such as a a C-language, dynamically linked to a numerical calculation model in running, and operated in association with a body program by sharing the body program with data on a memory of a computer.例文帳に追加

また、換気制御プログラムは、シミュレーション装置の本体プログラムから切り離し、独立にＣ言語などの汎用言語にて製作し、実行時に動的に数値計算モデルとリンク処理を行い、本体プログラムとコンピュータのメモリ上のデータを共有させ、連動して動作させる機構とする。 - 特許庁

To provide a simulation device that realizes execution on an instruction set simulator (ISS) of a machine language program that is executable on a target system, when performing execution of a program in a hybrid manner by a host native and the ISS.例文帳に追加

ホストネイティブとＩＳＳでプログラムをハイブリッド実行するとき、ターゲットシステム上で実行可能な機械語プログラムのＩＳＳ上での実行を実現することのできるシステムシミュレーション装置を得る。 - 特許庁

The logic simulation device uses an instruction level simulator 2 for pre- and post-processing instruction groups of a test program 26 wherein machine language instructions are combined and a logic simulator 5 for an instruction group to be tested, and carries out logic simulation while transferring exchange data between the instruction level simulator 2 and logic simulator 5.例文帳に追加

論理シミュレーション装置は、機械語命令を組み合わせた試験プログラム２６の前後処理命令群には命令レベルシミュレータ２を用い、試験対象命令群には論理シミュレータ５を用いて、命令レベルシミュレータ２と論理シミュレータ５の間で交換データを転送しながら論理シミュレーションを実行している。 - 特許庁

When executing coverage verification in function simulation of circuit descriptions written in a hardware description language, the lint check result conversion part 11 refers to a check result 22 of lint to the circuit descriptions, extracts an inactive point in the circuit descriptions and converts it into an inactive list 23 having a format for the function simulation.例文帳に追加

リントチェック結果変換部１１は、ハードウェア記述言語で記述された回路記述の機能シミュレーションにおけるカバレッジ検証において、回路記述に対するリントのチェック結果２２を参照し、回路記述における非活性箇所を抽出して、機能シミュレーション用のフォーマットを有する非活性リスト２３に変換する。 - 特許庁

To solve the problem wherein verification indices (C0/C1/C2) for software programs are insufficient as verification completion indices of logical simulation for hardware description language programs having a feature of concurrent operation of a plurality of components.例文帳に追加

複数の部品が同時に動作し合う特徴を有するハードウェア記述言語プログラムの論理シミュレーションの検証完了指標として、ソフトウェアプログラムの検証指標（Ｃ０／Ｃ１／Ｃ２）だけでは不十分である。 - 特許庁

Integrated co- simulation environment of the software (to be written, for example, in C or assembler language) and the hardware (to be written, for example, in VHDL and a subset of C) is obtained by the addition of an instruction set simulator which operates under the same OS is added.例文帳に追加

同じＯＳの下で動作する命令セットシミュレータが付加されることにより、ソフトウェア（例えばＣやアセンブラで書かれる）とハードウェア（例えばＶＨＤＬやＣのサブセットで書かれる）の統合コシミュレーション環境が得られる。 - 特許庁

For synthesizing a circuit on the basis of circuit design data (A) generated by the use of the hardware descriptive language from the data (A) and a command file D for specifying timing, an automatic conversion processing unit 10 automatically analyzes waveform data (C) obtained as a simulation result of a function simulation executed for the data (A) (step S3) to automatically generate the file D.例文帳に追加

ハードウェア記述言語を用いて作成された回路設計データＡとタイミング指定のコマンドファイルＤとから回路設計データＡに基づく回路の合成を行うに際し、回路設計データＡに対して実行した機能シミュレーション（ステップＳ３）のシミュレーション結果として得られる波形データＣを自動変換処理部１０が自動的に解析しコマンドファイルＤを自動生成する。 - 特許庁

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

ハードウェア記述言語により記述された論理システムの検証装置であって、動的シミュレーションを実行するテストベンチ作成手段と、静的検証を実行する静的検証手段と、前記動的シミュレーションと前記静的検証の結果から、エラー箇所を特定するエラー箇所特定手段を具備することを特徴とする論理システムの検証装置等、を提供する。 - 特許庁

The hardware part describes functions of a processor 10 by a basic instruction processor description 2, a dedicated instruction processor description 3 and a flexible interface description 4 by using a high-level language and obtains an RTL description 5 and a description 6 for simulation by compositing operations of the descriptions.例文帳に追加

ハードウエア部分は、高級言語を用いて、基本命令プロセッサ記述２と、専用命令プロセッサ記述３と、フレキシブルインタフェース記述４とでプロセッサ１０の機能を記述し、それを動作合成してＲＴＬ記述５とシミュレーション用記述６とを得る。 - 特許庁

Waveform data 13 are prepared from the logical data 10 of a semiconductor integrated circuit prepared by a hardware description language and test pattern data 11 by using logical simulation and check item information 18 is prepared from the waveform data 13 and information inputted from a user specification part 15.例文帳に追加

ハードウェア記述言語にて作成した半導体集積回路の論理データ１０とテストパターンデータ１１より論理シミュレーションにて波形データ１３を作成し、この波形データ１３とユーザ指定部１５にて与えた情報より、チェック項目情報１８を生成する。 - 特許庁

To provide a circuit simulation device in which a transient convergence error to be caused due to discontinuity of circuit element models is prevented, in transient analysis of a large-scale analog/digital mixed loading circuit in which many circuit element models of functional description in an analog circuit description language are incorporated.例文帳に追加

アナログ回路記述言語による機能記述の回路素子モデルが多数組み込まれた大規模アナログ／ディジタル混載回路の過渡解析において、回路素子モデルの不連続性より引き起こされる過渡収束エラーを防ぐことができる回路シミュレーション装置を提供する。 - 特許庁

To allow even a person not having knowledge related to a preparation method for function verification description to prepare the function verification description regardless of a language used for the preparation of the function verification description or a design of a finite state machine when preparing the function verification description for verifying a simulation result of the finite state machine.例文帳に追加

有限状態マシンのシミュレーション結果を検証するための機能検証記述を作成するにあたり、有限状態マシンの設計や機能検証記述の作成に使用する言語に係わらず、機能検証記述の作成方法に関する知識が無い者であっても、機能検証記述を作成できるようにする。 - 特許庁

In the controller simulation device 1 which confirms the operation of an application program executed by a controller controlling a plant, a break condition expression for describing a break specifying function of stopping the execution of an application program at a specified position and its stop conditions is described by using the description language of the application program and the execution object of the application program.例文帳に追加

プラントを制御するコントローラによって実行されるアプリケーションプログラムの動作を確認するコントローラシミュレーション装置１において、アプリケーションプログラムの実行を、指定した位置において停止させるブレーク指定機能とその停止条件とを記述するためのブレーク条件式を、アプリケーションプログラムの記述言語、およびこのアプリケーションプログラムの実行オブジェクトを使用して記述する。 - 特許庁

In this simulation device in which communication on a bus is described in system description language by a transaction level to be executed by transaction, when the sequences of transaction are changed on the bus, information related with transaction whose sequences are changed is set as attribute information which is not mapped in hardware in the transaction, and the attribute information which is not mapped to the set hardware is recorded as history information.例文帳に追加

システム記述言語によりバス上の通信をトランザクションにより行うトランザクションレベルで記述されたシミュレーション装置において、バス上でトランザクションの順序が入れ替わった場合に、該順序が入れ替わったトランザクションに関する情報をハードウェアにマッピングされないアトリビュート情報としてトランザクションに設定し、設定されたハードウェアにマッピングされないアトリビュート情報を履歴情報として記録する。 - 特許庁