特許
J-GLOBAL ID：200903006196155493
回路検証装置、回路検証システム及び回路検証機能付LSI
発明者：
,
,
出願人/特許権者：
代理人 (4件)：
牛木 護
, 吉田 正義
, 今枝 弘充
, 梅村 裕明
公報種別：公開公報
出願番号（国際出願番号）：特願2008-145413
公開番号（公開出願番号）：特開2009-294738
出願日： 2008年06月03日
公開日（公表日）： 2009年12月17日
要約：
【課題】従来よりも検証を高速化し得る回路検証装置、回路検証システム及び回路検証機能付LSIを提供する。【解決手段】本発明の回路検証システム1では、本質的に並列性が高い回路シミュレーションとスキップキューブの計算とを、ハードウェア化したスキップキューブ計算回路4によって実行するようにしたことにより、これら回路シミュレーション及びスキップキューブの計算をほぼ並列に実行できるようになり、高速にスキップキューブを計算できる。【選択図】図1
請求項（抜粋）：
複数の入力パターンを取得する取得手段と、
各前記入力パターンに基づいて入力側から出力側へ向けて信号値を求めてゆき論理ゲートの演算結果を検証するための回路シミュレーションを実行するシミュレーション用ハードウェアモジュールと、
前記出力側から前記入力側へ向けて伝搬フラグを算出してゆき、前記回路シミュレーションを行う必要がない入力パターンの集合であるスキップキューブを、前記伝搬フラグに基づいて各前記入力パターン毎に算出するスキップキューブ計算用ハードウェアモジュールと
を備えることを特徴とする回路検証装置。
IPC (1件)：
FI (2件)：
G06F17/50 662Z
, G06F17/50 662A
5B046AA08
, 5B046JA01
, 5B046JA04
