例文 (1件) |
database assertionの部分一致の例文一覧と使い方
該当件数 : 1件
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.例文帳に追加
また、回路検証装置1は、所定の計測ポイントついて、それぞれ対応するアサーション記述に変換するアサーション変換部14と、データベースとアサーション記述に基づいて計測を行い得られたアサーション結果112とを受け取り、コードカバレッジ結果113を生成するコードカバレッジ結果伸長部13とを有する。 - 特許庁
例文 (1件) |
Copyright © Japan Patent office. All Rights Reserved. |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |