静的解析ツールの英語

ソースコードを複数の静的解析ツールで静的解析を行い、解析結果をわかりやすくまとめる。例文帳に追加

To summarize analysis results in an understandable manner by performing a static analysis of a source code by a plurality of static analysis tools. - 特許庁

そして、タイミング解析ツールコマンド生成部１５は、このタイミング仕様記憶部１４に記憶されたタイミング仕様から論理回路を静的タイミング解析する静的タイミング解析ツールのコマンドを生成し、この生成したコマンドをタイミング解析ツールコマンド記憶部１７に記憶させる。例文帳に追加

Then, a timing analyzing tool command generating part 15 generates the command of a static timing analyzing tool for the static timing analysis of a logic circuit from the timing specification stored in this timing specification storage part 14 and stores this generated command in a timing analyzing tool command storage part 17. - 特許庁

一実施例では、方法は、検証ツールキット環境を静的に解析する工程を含む。例文帳に追加

To provide a method for statically analyzing a verification tool kit environment. - 特許庁

複数のソースコードにまたがる静的解析において、静的解析時に必要な全てのソースコードの解析を行うのではなく、事前に静的解析可能なサーバのバージョン管理ツールなどで管理されているコミット済みのソースコードに対して、サーバにおいて事前処理として解析を実施し、実際の解析時には、サーバにおいてこの事前処理の結果に基づいて静的解析を実施する。例文帳に追加

In a static analysis across a plurality of source codes, not all the source codes required in the static analysis, but the committed source code managed in advance by a version management tool of a statically analyzable server is analyzed in the server as preprocessing, and in actual analysis, the system performs the static analysis based on the result of the preprocessing in the server. - 特許庁

解析対象となる組合せ回路について、タイミング解析用レジスタを接続することにより、セットアップ、ホールド解析を静的タイミング解析ツールにて行うことができるものである。例文帳に追加

A setup and hold analysis can be performed by the static timing analyzing tool, by connecting a timing analyzing register to the combination circuit being an analytical object. - 特許庁

ソースコード静的解析ツールを実行する際に、入力パラメータとして必要になるオプション情報を自動的に収集できるオプション情報解析システムを提供する。例文帳に追加

To provide an option information analysis system which is capable of automatically collecting option information required as input parameters when executing a source code static analysis tool. - 特許庁

半導体ＬＳＩにおける組合せ回路（例えばゲーティッドクロックセル）に関して具備する必要のあるタイミングについて、静的タイミング解析ツールを持いて容易に解析することを課題とする。例文帳に追加

To easily analyze the possessing required timing by using a static timing analyzing tool, in a combination circuit (for example, a gated clock cell) in a semiconductor LSI. - 特許庁