特許
J-GLOBAL ID：200903059366141677
論理検証装置、論理検証方法および論理検証プログラム
発明者：
出願人/特許権者：
代理人 (4件)：
大塚 康徳
, 高柳 司郎
, 大塚 康弘
, 木村 秀二
公報種別：公開公報
出願番号（国際出願番号）：特願2005-035211
公開番号（公開出願番号）：特開2006-221473
出願日： 2005年02月10日
公開日（公表日）： 2006年08月24日
要約：
【課題】 論理システムの検証において非活性コードに対応する機能を含む非活性動作仕様記述を生成し、コードカバレッジ結果の解析を容易化する手段を提供する。【解決手段】 論理システム内の非活性コードを検出する手段と、論理システムにおける、検出された非活性コードを含む論理機能ブロックを抽出する手段と、論理機能ブロックにおいて非活性コードに至る論理関数を導出する手段と、非活性コードを含む論理機能ブロックの機能を特定する手段と、導出された論理関数と特定された機能の内容とを出力する出力手段とを有する。【選択図】図1
請求項（抜粋）：
ハードウェア記述言語で記述された論理システムの検証装置であって、
前記論理システム内の非活性コードを検出する検出手段と、
前記論理システムにおける、検出された前記非活性コードを含む論理機能ブロックを抽出する抽出手段と、
前記論理機能ブロックにおいて前記非活性コードに至る論理関数を導出する論理関数導出手段と、
前記非活性コードを含む論理機能ブロックの機能を特定する機能特定手段と、
導出された前記論理関数と特定された前記機能の内容とを出力する出力手段と、
を含む論理システムの検証装置。
IPC (2件)：
FI (2件)：
G06F17/50 672F
, G01R31/28 F
2G132AA01
, 2G132AA15
, 2G132AB01
, 2G132AC11
, 5B046AA08
, 5B046BA09
, 5B046JA05
