特許
J-GLOBAL ID：201003028899760032

回路検証装置及び回路検証方法

発明者：
西出 岳央

西出 岳央 について


出願人/特許権者：
株式会社東芝

株式会社東芝 について


代理人 (1件)： 伊藤 進
公報種別：公開公報
出願番号（国際出願番号）：特願2008-234896
公開番号（公開出願番号）：特開2010-067160
出願日： 2008年09月12日
公開日（公表日）： 2010年03月25日
要約：
【課題】コードカバレッジ計測をエミュレーションにおいて実行することができる回路検証装置を提供する。【解決手段】回路検証装置1は、ハードウエア記述言語により記述された検証対象回路記述107と複数の計測対象の情報が含まれるメトリクス情報108とを読み込み、検証対象回路記述107からコードカバレッジ計測のための複数の計測ポイントを抽出し、抽出した前記複数の計測ポイント中の所定の計測ポイントのみに集約したデータベースを生成するコードカバレッジ計測ポイント抽出部11を有する。また、回路検証装置1は、所定の計測ポイントついて、それぞれ対応するアサーション記述に変換するアサーション変換部14と、データベースとアサーション記述に基づいて計測を行い得られたアサーション結果112とを受け取り、コードカバレッジ結果113を生成するコードカバレッジ結果伸長部13とを有する。【選択図】図2
請求項（抜粋）：
ハードウエア記述言語により記述された回路記述と複数の計測対象の情報が含まれる計測対象情報とを読み込み、前記計測対象情報に基づいて、前記回路記述からコードカバレッジ計測のための複数の計測ポイントを抽出し、抽出した前記複数の計測ポイント中の所定の計測ポイントのみに集約したデータベースを生成する計測ポイント抽出部と、 前記所定の計測ポイントついて、それぞれ対応するアサーション記述に変換するアサーション変換部と、 前記データベースと前記アサーション記述に基づいて計測を行い得られたアサーション結果とを受け取り、前記コードカバレッジ計測の結果を生成する計測結果生成部と、 を有することを特徴とする回路検証装置。
IPC (1件)：
G06F 17/50
FI (2件)：
G06F17/50 672F ,  G06F17/50 664P
Fターム (3件)：
5B046AA08 ,  5B046BA02 ,  5B046JA05
引用特許：
出願人引用 (2件)
  • 特許第3848157号公報
  • 米国特許出願公開第2008/0066030号明細書
審査官引用 (2件)

前のページに戻る

TOP

BOTTOM