特許
J-GLOBAL ID：201103082499848110
論理検証方式及びその方法
発明者：
出願人/特許権者：
代理人 (1件)：
山下 穣平
公報種別：特許公報
出願番号（国際出願番号）：特願平11-001295
公開番号（公開出願番号）：特開2000-200295
特許番号：特許第3098507号
出願日： 1999年01月06日
公開日（公表日）： 2000年07月18日
請求項（抜粋）：
【請求項1】 基準回路と、比較対象回路と、不一致点リストより、不一致点の入力側に接続する組み合わせ回路を抽出する組み合わせ回路抽出手段と、前記抽出された組み合わせ回路のそれぞれの入力端子に固定値を与え、前記基準回路と前記比較対象回路とが論理的に等価であるかを調べ、等価であれば、入力端子名と固定値をリストに記録する入力固定値検出手段と、該入力固定値検出手段で選られた固定値の反転値を前記端子名の入力端子より前記組み合わせ回路に与え、該組み合わせ回路の縮腿を行う回路縮腿手段と、前記回路縮腿手段により縮腿された前記組み合わせ回路に対し、不一致を検出できるフェイルパターンを生成し、前記組み合わせ回路中の論理素子及び入力端子の論理を反転させ、前記フェイルパターンに対するシミュレーション結果が前記基準回路との間で一致する割合を計算し、一致する割合の高い論理素子を、不一致原因の候補として求める不一致原因候補検出手段と、を備えることを特徴とする論理検証方式。
IPC (1件)：
FI (1件)：
前のページに戻る
