verification simulation systemとは 意味・読み方・使い方

To reproduce trouble having occurred in hardware model simulation in logic verification with small man-hours, in verification work of an SoC (System on Chip) device.例文帳に追加

ＳｏＣデバイスの検証作業において、ハードウェアモデルシミュレーションにて発生した不具合を早急かつ少ない工数で論理検証において再現させることを可能にする。 - 特許庁

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 provide a logic simulation system capable of easily confirming the normality of the simulated result and shortening time for verification by reducing time for re-executing a simulation.例文帳に追加

シミュレーション結果の正当性を容易に確認可能とし、シミュレーション再実行の時間を減らして検証時間を短縮可能な論理シミュレーションシステムを提供する。 - 特許庁

A logic design verification system for a semiconductor integrated circuit comprises a lint check result conversion part 11 and simulation execution parts 12 and 13.例文帳に追加

半導体集積回路の論理設計検証システムは、リントチェック結果変換部１１と、シミュレーション実行部１２、１３とを具備する。 - 特許庁

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

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

To provide a fault verification system for logic circuit which can perform fault verification at a function description level before logic composition by performing logic simulation at the function description level and analyzing a function description file.例文帳に追加

機能記述レベルでの論理シミュレーションを行うと共に、機能記述ファイルを解析し、論理合成を行う前の機能記述レベルでの故障検証が可能な論理回路の故障検証システムを提供する。 - 特許庁

The logic verification system comprises a logic simulation execution part for executing a logic simulation, a coverage information acquisition part for acquiring coverage information from the logic simulation execution part, a coverage information analysis part for analyzing the acquired coverage information, and a control part for controlling the operation of the logic simulation execution part.例文帳に追加

論理シミュレーションを実行する論理シミュレーション実行部と、前記カバレッジ情報を前記論理シミュレーション実行部から取得するカバレッジ情報取得部と、取得した前記カバレッジ情報を解析するカバレッジ情報解析部と、前記論理シミュレーション実行部の動作の制御を行う制御部とを備える。 - 特許庁

To provide a heat source facility operation verification device capable of verifying the daily operation state while comparing a simulation system capable of reproducing an operation state with actual operation data.例文帳に追加

運転状態を再現可能なシミュレーションシステムと実運転データと比較しながら日々の運転状態を検証できる熱源設備運転検証装置を提供する。 - 特許庁