コードカバレッジ計測手段１０２によって生成されるコードカバレッジ情報をコードカバレッジデータベース１０３に格納し、コードカバレッジデータベース１０３を利用して、非実行コード記述を削除またはコメントアウトするコード最適化手段１０４を備えることによって設計データ１００および検証ベクタ１０１の両方のコード最適化を行うという効果を奏する。例文帳に追加

A design apparatus of an integrated circuit device optimizes both of design data 100 and a verification vector 101 by being provided with a code optimizing means 104 for deleting or commenting out a non-execution code description and by storing code coverage information generated by a code coverage measuring means 102 into a code coverage database 103 to use the database 103. - 特許庁

例文

また、回路検証装置１は、所定の計測ポイントついて、それぞれ対応するアサーション記述に変換するアサーション変換部１４と、データベースとアサーション記述に基づいて計測を行い得られたアサーション結果１１２とを受け取り、コードカバレッジ結果１１３を生成するコードカバレッジ結果伸長部１３とを有する。例文帳に追加

The circuit verification apparatus 1 also includes an assertion converting unit 14 configured to convert each of the predetermined measurement points to a corresponding assertion description and a code coverage result decompressing unit 13 configured to receive the database and an assertion result 112 obtained by performing measurement based on the assertion description and generate a code coverage result 113. - 特許庁

>>例文の一覧を見る

調べた例文を記録して、効率よく覚えましょう

Weblio会員登録無料で登録できます！

履歴機能

過去に調べた
単語を確認!
語彙力診断

診断回数が
増える!
マイ単語帳

便利な
学習機能付き!
マイ例文帳

文章で
単語を理解!

Weblio会員登録(無料)はこちらから

「コードカバレッジ」を含む例文一覧

該当件数 : 12件

例文

コードカバレッジの上限を見積もることにより、検証シナリオの機能に関する検証網羅性の向上を図り、ＬＳＩの設計障害の正確かつ効率的な検出を図ること。例文帳に追加

To improve verification coverage with respect to the function of a verification scenario, and detect LSI design faults accurately and efficiently, by estimating an upper limit of code coverage. - 特許庁

論理システムの検証において非活性コードに対応する機能を含む非活性動作仕様記述を生成し、コードカバレッジ結果の解析を容易化する手段を提供する。例文帳に追加

To provide a means generating deactivation specification description including a function complying with an inactive code in verification of a logic system for facilitating analysis on a code coverage result. - 特許庁

回路検証装置１は、ハードウエア記述言語により記述された検証対象回路記述１０７と複数の計測対象の情報が含まれるメトリクス情報１０８とを読み込み、検証対象回路記述１０７からコードカバレッジ計測のための複数の計測ポイントを抽出し、抽出した前記複数の計測ポイント中の所定の計測ポイントのみに集約したデータベースを生成するコードカバレッジ計測ポイント抽出部１１を有する。例文帳に追加

The circuit verification apparatus 1 includes a code coverage measurement point extracting unit 11 which reads a verification object circuit description 107 described in a hardware description language and metrics information 108 including information about multiple measurement objects, extracts multiple measurement points for code coverage measurement from the verification object circuit description 107, and generates a database including only predetermined measurement points among the extracted multiple measurement points. - 特許庁