Pat
J-GLOBAL ID:200903001792583247

協調検証装置

Inventor:
Applicant, Patent owner:
Agent (5): 吉武 賢次 ,  佐藤 泰和 ,  吉元 弘 ,  川崎 康 ,  木本 大介
Gazette classification:公開公報
Application number (International application number):2008069433
Publication number (International publication number):2009223762
Application date: Mar. 18, 2008
Publication date: Oct. 01, 2009
Summary:
【課題】協調検証装置の処理速度を向上させる。【解決手段】協調検証装置100は、シミュレーションを行うシミュレータ130を実現するプロセッサ120と、エミュレーションを行うエミュレータ140と、シミュレータ130とエミュレータ140との間でトランザクションを転送するトランザクタ150と、シミュレータ130のシミュレーション結果をエミュレータ140へ転送し、エミュレータ140のエミュレーション結果をシミュレータ130へ転送する転送部と、を備え、シミュレータ130は、条件ファイルの変更条件が成立した場合にシミュレーションを中断し、設定ファイルの設定内容に基づいてシミュレーション回路の構成の変更を指示するシミュレーション制御部を更に有し、エミュレータ140は、条件ファイルの変更条件が成立した場合にエミュレーションを中断し、設定ファイルの設定内容に基づいてエミュレーション回路の構成の変更を指示するエミュレーション制御部を更に有する。【選択図】図1
Claim (excerpt):
シミュレーションプログラム、検証対象回路であるシミュレーション回路、前記シミュレーション回路及び検証対象回路であるエミュレーション回路の変更条件が記述された条件ファイル並びに前記シミュレーション回路及び前記エミュレーション回路の変更内容が記述された設定ファイルを記憶する記憶部と、 前記シミュレーションプログラムを起動することによって、検証対象回路の全ての情報を有し、有効なモジュールのシミュレーションを行うシミュレータを実現するプロセッサと、 検証対象回路の全ての情報を有し、有効なモジュールのエミュレーションを行うエミュレータと、 前記シミュレータと前記エミュレータとの間でトランザクションを転送するトランザクタと、 前記条件ファイルの変更条件が成立した場合に、前記設定ファイルの設定内容に基づいて、前記シミュレータのシミュレーション結果を前記エミュレータへ転送し、前記エミュレータのエミュレーション結果を前記シミュレータへ転送する転送部と、を備え、 前記シミュレータは、前記条件ファイルの変更条件が成立した場合にシミュレーションを中断し、前記設定ファイルの設定内容に基づいて、前記シミュレーション回路の構成の変更を指示するシミュレーション制御部を更に有し、 前記エミュレータは、前記条件ファイルの変更条件が成立した場合にエミュレーションを中断し、前記設定ファイルの設定内容に基づいて、前記エミュレーション回路の構成の変更を指示するエミュレーション制御部を更に有することを特徴とする協調検証装置。
IPC (1):
G06F 17/50
FI (3):
G06F17/50 664L ,  G06F17/50 664P ,  G06F17/50 664A
F-Term (3):
5B046AA08 ,  5B046BA03 ,  5B046JA05
Patent cited by the Patent:
Cited by applicant (2)

Return to Previous Page