特許
J-GLOBAL ID：200903092738592902
論理シミュレータ
発明者：
出願人/特許権者：
代理人 (1件)：
川▲崎▼ 研二
公報種別：公開公報
出願番号（国際出願番号）：特願平8-007627
公開番号（公開出願番号）：特開平9-198417
出願日： 1996年01月19日
公開日（公表日）： 1997年07月31日
要約：
【要約】【課題】 開発済み論理回路を含む論理回路のシミュレーションの際に当該部分に関連した演算を削減し、短い所要時間で論理シミュレーションを行う。【解決手段】 シミュレーション実行部2は、ネットリスト10と入力テストベクタ11とに基づいて論理シミュレーションを実行し、その結果を表す出力テストベクタ12を出力する。マクロ生成部3は、入力テストベクタ11と出力テストベクタ12に基づいて、シミュレーション対象たる論理回路と等価なROMのROMコードを生成し、ROMマクロ13として保存する。以後行われる論理シミュレーションにおいてネットリスト10がROMマクロ13を引用して記述されている場合には、当該ROMマクロ13のROMコードがシミュレーション実行部2によって参照され、イベントの演算に使用される。
請求項（抜粋）：
論理回路を構成する各論理素子の接続状態を表現した回路接続情報に基づいて、前記論理回路に対し所定の入力信号を与えたときの動作のシミュレーションを実行する論理シミュレータにおいて、前記シミュレーションの実行結果に基づいて、前記論理回路若しくはその一部によって行われる論理演算と等価な論理演算を行うROMマクロを生成するマクロ生成手段を具備し、前記論理素子に関する記述として前記ROMマクロの記述を含んだ前記回路接続情報に基づいてシミュレーションを実行するようにしたことを特徴とする論理シミュレータ。
IPC (2件)：
FI (2件)：
G06F 15/60 664 K
, H03K 19/00 D
