特許

J-GLOBAL ID：201703001872748975

プログラム、情報処理装置および設計検証方法

発明者： 馬場 祐次
出願人/特許権者： 富士通株式会社
代理人 (1件)： 服部 毅巖
公報種別：特許公報
出願番号（国際出願番号）：特願2013-060954
公開番号（公開出願番号）：特開2014-186543
特許番号：特許第6089849号
出願日： 2013年03月22日
公開日（公表日）： 2014年10月02日
請求項（抜粋）：

【請求項1】 第1の回路を示す情報に含まれる第1の部品を示す情報および第2の回路を示す情報に含まれる第2の部品を示す情報を特定し、 前記第1の部品を示す情報を起点に前記第1の回路を示す情報に含まれる部品間の配線を示す情報を辿ることで前記第1の回路内の第1の部分を示す情報を取得し、前記第2の部品を示す情報を起点に前記第2の回路を示す情報に含まれる部品間の配線を示す情報を辿ることで前記第2の回路内の第2の部分を示す情報を取得し、 前記第1の部分を示す情報と前記第2の部分を示す情報とに基づいて、前記第1の部分と前記第2の部分との差分を示す情報を出力し、 前記第1の部分および前記第2の部分を示す情報の取得では、前記第1の回路および前記第2の回路を示す情報に含まれる部品の属性を示す情報と、部品間の配線を示す情報を辿る際に当該部品を透過するか否かを示す情報と、を対応付けた条件情報に基づいて、部品間の配線を示す情報を辿る、 処理をコンピュータに実行させるプログラム。

IPC (1件)：

G06F 17/50 ( 200 6.01)

FI (1件)：

G06F 17/50 664 G

引用特許：

審査官引用 (4件)

• 特開昭64-026980
  
• 特開平3-209850
  
• 回路シミュレーション装置
  公報種別：公開公報   出願番号：特願平7-209592   出願人：富士通株式会社
• 論理等価検証装置
  公報種別：公開公報   出願番号：特願2003-201144   出願人：富士通株式会社