特許
J-GLOBAL ID：200903070375728935

論理システムの検証装置および検証方法

発明者：
伊藤 元久

伊藤 元久 について


出願人/特許権者：
キヤノン株式会社

キヤノン株式会社 について


代理人 (4件)： 大塚 康徳 ,  高柳 司郎 ,  大塚 康弘 ,  木村 秀二
公報種別：公開公報
出願番号（国際出願番号）：特願2004-347233
公開番号（公開出願番号）：特開2006-155378
出願日： 2004年11月30日
公開日（公表日）： 2006年06月15日
要約：
【課題】 論理システムの内部構成や内部仕様が明確でなくとも、エラー原因の解析を容易にする。【解決手段】 ハードウエア記述言語で記述された論理システムの検証装置は、論理システムについて動的シミュレーションを実行しながら、その実行状態に関する情報を記録する。一方で、検証装置は、論理システムを変換して内部表現に関する情報を生成しておく。動的シミュレーションでエラーが発生した場合に、検証装置は、実行状態に関する情報と、内部表現に関する情報とに基づいて、論理システムに含まれるエラーの原因個所を探索して提示する。【選択図】 図1
請求項（抜粋）：
ハードウエア記述言語で記述された論理システムの検証装置であって、 前記ハードウエア記述言語で記述された論理システムを変換して内部表現に関する情報を生成する生成手段と、 前記ハードウエア記述言語で記述された論理システムについて動的シミュレーションを実行する実行手段と、 前記動的シミュレーションによる実行状態に関する情報を記録する記録手段と、 前記動的シミュレーションでエラーが発生した場合に、前記動的シミュレーションの実行状態に関する情報と、前記内部表現に関する情報とに基づいて、前記論理システムに含まれるエラーの原因個所を探索する探索手段と を含む論理システムの検証装置。
IPC (3件)：
G06F 17/50 ,  H01L 21/82 ,  G01R 31/28
FI (4件)：
G06F17/50 672A ,  G06F17/50 672C ,  H01L21/82 T ,  G01R31/28 F
Fターム (11件)：
2G132AA01 ,  2G132AC11 ,  2G132AL12 ,  5B046AA08 ,  5B046BA02 ,  5B046JA05 ,  5F064BB01 ,  5F064HH06 ,  5F064HH08 ,  5F064HH09 ,  5F064HH10
引用特許：
出願人引用 (1件) 審査官引用 (2件)

前のページに戻る

TOP

BOTTOM