特許
J-GLOBAL ID：200903078388567508
論理シミュレーション装置
発明者：
,
,
出願人/特許権者：
,
代理人 (1件)：
鈴木 誠
公報種別：公開公報
出願番号（国際出願番号）：特願平6-317848
公開番号（公開出願番号）：特開平8-180080
出願日： 1994年12月21日
公開日（公表日）： 1996年07月12日
要約：
【要約】【目的】 市販の論理シミュレータをそのまま使用しての、複数シミュレータによる効率的なシミュレーションを実現する。【構成】 論理シミュレータ3は、テストプログラム2の試験命令部分を実行し、シミュレーション対象論理5のシミュレーションを実行する。命令インタプリタ4は、テストプログラム2の前処理命令と後処理命令部分を実行する。シミュレーション対象論理5中にインタフェース論理ブロック51を埋め込み、該論理ブロック51を介して、論理シミュレータ3と命令インタプリタ4間の乗り移りに必要な情報6を相互に伝達する。【効果】 論理シミュレータを命令インタプリタと接続可能なように特別に改造する必要がなく、市販のものをそのまま使用できる。
請求項（抜粋）：
第1の論理検証手段と、該第1の論理検証手段とは別機能の第2の論理検証手段とを具備し、前記第1及び第2の論理検証手段を交互に動作して被試験論理装置を擬似検証する論理シミュレーション装置において、前記被試験論理装置のシミュレーション対象論理中に、前記第1の論理検証手段と前記第2の論理検証手段の間での乗り移りに必要な情報(以下、乗り移り情報という)を相互に伝達し合うためのインタフェース論理ブロックを設けたことを特徴とする論理シミュレーション装置。
IPC (2件)：
FI (2件)：
G06F 15/60 664 J
, G06F 11/26 310
