static analysis toolとは 意味・読み方・使い方

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

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

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

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

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

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

Static timing analysis 7 uses delay models 3 prepared by the function blocks and wiring RC information 6 to extract the critical path at chip level by the CAD tool.例文帳に追加

スタティックタイミング解析７は機能ブロック単位に作成された遅延モデル３と配線ＲＣ情報６を使用し、ＣＡＤツールにてチップレベルでのクリティカルパスを抽出する。 - 特許庁

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

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

Functional verification between a net list 12 generated by the test synthesis and a timing verified net list by the static timing analysis is verified (step S15), the function verified net list is released to a manufacturing section (step S17) and a test pattern is automatically generated by using the net list 15 by an ATPG tool (step S18).例文帳に追加

テスト合成により生成されたネットリスト１２と、静的タイミング解析によるタイミング検証済みのネットリストとのファンクション検証をおこない（ステップＳ１５）、ファンクション検証済みのネットリストを製造部門へリリースし（ステップＳ１７）、そのネットリスト１５を用いてＡＴＰＧツールによりテスト・パターンを自動生成する（ステップＳ１８）。 - 特許庁