Pat

J-GLOBAL ID：200903001965126670

論理検証システム

Inventor： 藤本 博昭
Applicant, Patent owner： 富士通株式会社
Agent (1)： 酒井 昭徳
Gazette classification：公開公報
Application number (International application number)：2002192309
Publication number (International publication number)：2004038387
Application date： Jul. 01, 2002
Publication date： Feb. 05, 2004
Summary：

【課題】ハードウェア及びソフトウェアを協調させて論理検証対象の論理検証を総合的におこなえ、この論理検証を遠隔地から制御できること。【解決手段】プロセッサ14と、論理回路(FPGA11〜13)を論理検証装置1に実装してハードウェア検証とソフトウェア検証を協調させた制御をおこなう。ハードウェア検証は、信号発生装置2から動作用のクロックを供給し、信号観測装置3で信号波形を観測し、データ入出力装置4で入力データの供給及び出力データの取り込みをおこなう。ソフトウェア検証は、プロセッサ14に対し論理検証用のプログラムをロードして動作させたときの動作状態をインサーキットエミュレータ25及びデバッガを用いて検証する。これらの検証は、ネットワーク7を介して遠隔地の端末6により制御できる。【選択図】 図2

Claim (excerpt)：

論理検証対象としての論理回路が実装される論理検証手段と、 前記論理検証手段に実装された前記論理回路の信号入出力状態を検証する、ネットワークを介した制御手段により制御されるハードウェア検証手段と、 前記論理検証手段に実装された前記論理回路を所定の機能を有して動作させた際の入出力データを検証する、前記ネットワークを介した前記制御手段により制御されるソフトウェア検証手段と、 を備えたことを特徴とする論理検証システム。

IPC (2)：

G06F11/28 ,  G06F11/22

FI (3)：

G06F11/28 340A ,  G06F11/22 310F ,  G06F11/22 340A

F-Term (8)：

5B042GA13 ,  5B042HH04 ,  5B042HH12 ,  5B048AA12 ,  5B048BB02 ,  5B048CC15 ,  5B048DD04 ,  5B048DD08