| 例文 |
static analysis toolの部分一致の例文一覧と使い方
該当件数 : 6件
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.例文帳に追加
そして、タイミング解析ツールコマンド生成部15は、このタイミング仕様記憶部14に記憶されたタイミング仕様から論理回路を静的タイミング解析する静的タイミング解析ツールのコマンドを生成し、この生成したコマンドをタイミング解析ツールコマンド記憶部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.例文帳に追加
スタティックタイミング解析7は機能ブロック単位に作成された遅延モデル3と配線RC情報6を使用し、CADツールにてチップレベルでのクリティカルパスを抽出する。 - 特許庁
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).例文帳に追加
テスト合成により生成されたネットリスト12と、静的タイミング解析によるタイミング検証済みのネットリストとのファンクション検証をおこない(ステップS15)、ファンクション検証済みのネットリストを製造部門へリリースし(ステップS17)、そのネットリスト15を用いてATPGツールによりテスト・パターンを自動生成する(ステップS18)。 - 特許庁
| 例文 |
| Copyright © Japan Patent office. All Rights Reserved. |
|
ログイン |
Weblio会員(無料)になると
|
|
ログイン |
Weblio会員(無料)になると
|