特許

J-GLOBAL ID：200903069792840308

検証支援システム

発明者： 夏井 聡 ,  池田 哲
出願人/特許権者： 横河電機株式会社
公報種別：公開公報
出願番号（国際出願番号）：特願2000-268615
公開番号（公開出願番号）：特開2001-209556
出願日： 2000年09月05日
公開日（公表日）： 2001年08月03日
要約：

【要約】【課題】 FPGAエミュレータの高速性を生かしながら、ハードウェアとソフトウェアの協調検証を可能にした検証支援システムを実現する。【解決手段】 プロセッサを含む対象論理回路の検証をFPGAエミュレータ上で実行する検証支援システムにおいて、FPGAエミュレータにあるFPGAに、プロセッサに依存する検証用論理を回路記述でマッピングした。

請求項（抜粋）：

プロセッサを含む対象論理回路の検証をFPGAエミュレータ上で実行する検証支援システムにおいて、前記FPGAエミュレータにあるFPGAに、プロセッサに依存する検証用論理を回路記述でマッピングしたことを特徴とする検証支援システム。

IPC (7件)：

G06F 11/22 340 ,  G01R 31/28 ,  G06F 11/25 ,  G06F 11/28 315 ,  G06F 11/28 320 ,  G06F 17/50 664 ,  G06F 17/50

FI (7件)：

G06F 11/22 340 A ,  G06F 11/28 315 A ,  G06F 11/28 320 A ,  G06F 17/50 664 P ,  G06F 17/50 664 A ,  G01R 31/28 F ,  G06F 11/26 310

Fターム (16件)：

2G032AA01 ,  2G032AC08 ,  2G032AE12 ,  2G032AL00 ,  5B042GA13 ,  5B042HH01 ,  5B042HH25 ,  5B042KK02 ,  5B042LA09 ,  5B046AA08 ,  5B046BA03 ,  5B046JA04 ,  5B048AA20 ,  5B048BB02 ,  5B048DD01 ,  5B048DD15