特許
J-GLOBAL ID：200903074308546216
論理検証装置
発明者：
出願人/特許権者：
代理人 (1件)：
京本 直樹 (外2名)
公報種別：公開公報
出願番号（国際出願番号）：特願平3-311185
公開番号（公開出願番号）：特開平5-151297
出願日： 1991年11月27日
公開日（公表日）： 1993年06月18日
要約：
【要約】【目的】 論理回路シミュレーションを行う際に、回路部分の動作を制御する信号値の組合せを抽出し、このうちシミュレーション時に設定されなかった組合せから検証が起われていない回路動作を確認することにより、論理回路の設計誤りの検出漏れを防ぐための検証を効率的かつ確実に行う。【構成】 全制御信号抽出部1によって論理記述4を解析し、回路部分の動作を制御する信号値の組合せである全制御系信号組合せリスト5を作成する。一方、論理記述4にテストパタン6を設定してシミュレーションを行い、制御系信号が取る状態値の組合せである制御系信号状態値情報7を得る。ここで、未検証動作検出部3により全制御系信号組合せリスト5から制御系信号状態値情報に一致する組合せを除外し、残された組合せによって実行される動作は検証されていないものとして未検証動作掲示リスト8を出力する。
請求項（抜粋）：
回路の論理設計時に作成する論理シミュレーションモデルを表現する論理記述を基に論理記述上で想定した回路動作を制御する全制御系信号が取りうる値のすべての組合せを表す全制御系信号値組合せリストを作成する全制御系信号抽出手段と、前記論理シミュレーションモデルを表現する論理記述とテストパタンとを基に論理回路の動作をシミュレーションするシミュレーション手段と、前記全制御系信号抽出手段より作成される前記全制御系信号値組合せリストと前記シミュレーション手段より作成される前記制御系信号状態値情報とを基に各制御系信号がとる値の組合せを除外することにより、シミュレーション時に検証されていない回路動作を選択する際の制御系信号の値の組合せを未検証動作掲示リストとして出力する未検証動作検出手段とを備えることを特徴とする論理検証装置。
IPC (2件)：
G06F 15/60 360
, G06F 11/26 310
