特許

J-GLOBAL ID：200903052261211357

シミュレーション用カバレッジ算出装置及びシミュレーション用カバレッジ算出方法

発明者： 安倍 健志 ,  磯部 秀樹
出願人/特許権者： 富士通株式会社
代理人 (1件)： 服部 毅巖
公報種別：公開公報
出願番号（国際出願番号）：特願2002-225523
公開番号（公開出願番号）：特開2004-070457
出願日： 2002年08月02日
公開日（公表日）： 2004年03月04日
要約：

【課題】十分な検証を行うためのカバレッジを算出する。【解決手段】入力部11により、検証する論理回路の有効なテストパターンを表現したプロパティを取り込み、有効テストパターン算出部12でプロパティをもとに有効なテストパターンを算出し、入力部13で検証者から入力され実行されたテストパターンを取り込み、カバレッジ率算出部14で有効なテストパターンと一致するテストパターンの割合からカバレッジ率を算出し、出力部15で算出されたカバレッジ率を出力する。【選択図】 図1

請求項（抜粋）：

論理回路シミュレーションのカバレッジを算出するシミュレーション用カバレッジ算出装置において、 検証する前記論理回路の有効なテストパターンを表現したプロパティを取り込む第1の入力部と、 前記プロパティをもとに、前記有効なテストパターンを算出する有効テストパターン算出部と、 検証者から入力され実行されたテストパターンを取り込む第2の入力部と、 前記有効なテストパターンと一致する前記テストパターンの割合からカバレッジ率を算出するカバレッジ率算出部と、 算出された前記カバレッジ率を出力する出力部と、 を有することを特徴とするシミュレーション用カバレッジ算出装置。

IPC (3件)：

G06F17/50 ,  G01R31/28 ,  G01R31/3183

FI (3件)：

G06F17/50 672F ,  G01R31/28 Q ,  G01R31/28 F

Fターム (6件)：

2G132AA01 ,  2G132AC09 ,  2G132AG14 ,  5B046AA08 ,  5B046BA09 ,  5B046JA01

引用特許：

審査官引用 (2件)

• 論理検証装置
  公報種別：公開公報   出願番号：特願平3-311185   出願人：北陸日本電気ソフトウエア株式会社
• テストパターンの品質評価方法
  公報種別：公開公報   出願番号：特願平10-255791   出願人：株式会社東芝