LSI設計検証装置、LSI設計検証方法、及びLSI設計検証プログラム

発明者： , , , ,
出願人/特許権者：
代理人 (1件)：三好秀和 (外7名)
公報種別：公開公報
出願番号（国際出願番号）：特願2001-398319
公開番号（公開出願番号）：特開2003-196342
出願日： 2001年12月27日
公開日（公表日）： 2003年07月11日
要約：

【要約】【課題】モジュール毎のプロパティを検証し、モジュール間インタフェース仕様の最適化を行う。【解決手段】論理シミュレーションを用いたLSIの機能検証において、回路記述を読み込み(S11)、回路記述について最上位階層から階層間の信号接続関係を解析し(S12)、階層間の信号接続関係のデータを共通データベースに格納し、回路記述において検証対象モジュールのプロパティを読み込み、共通データベースから検証対象モジュール間の信号が含まれているプロパティ箇所のみを抽出し(S13)、プロパティから各信号の出力側のモジュールにある出力動作が定義された出力動作プロパティと、入力側モジュールに存在する期待動作が定義された期待動作プロパティとを抽出し(S14)、出力動作プロパティと期待動作プロパティとを比較する(S15)ことを特徴とするLSI設計検証方法。

請求項（抜粋）：

論理演算機能を有する回路の構成要素を抽象化の度合いに応じて上位から下位まで複数の層に階層化してなる回路記述の論理シミュレーションを用いたLSIの機能検証において、前記回路記述を読み込む回路記述読込手段と、前記回路記述について最上位階層から階層間の信号接続関係を解析する解析手段と、前記階層間の信号接続関係のデータを共通データベースに格納する共通データベース格納手段と、前記回路記述において検証対象モジュールのプロパティを読み込むプロパティ読み込み手段と、前記共通データベースから前記検証対象モジュール間の信号が含まれているプロパティ箇所のみを抽出するモジュール間プロパティ抽出手段と、前記プロパティから各信号の出力側のモジュールにある出力動作が定義された出力動作プロパティと、入力側モジュールに存在する期待動作が定義された期待動作プロパティとを抽出する信号動作部分抽出手段と、前記出力動作プロパティと前記期待動作プロパティとを比較する比較手段とを具備することを特徴とするLSI設計検証装置。

IPC (7件)：

G06F 17/50 670 , G06F 17/50 654 , G06F 17/50 664 , G06F 17/50 672 , G06F 17/50 , G01R 31/28 , H01L 21/82

FI (8件)：

G06F 17/50 670 G , G06F 17/50 654 D , G06F 17/50 664 J , G06F 17/50 672 C , G06F 17/50 672 T , H01L 21/82 C , H01L 21/82 T , G01R 31/28 F

Fターム (18件)：

2G132AA01 , 2G132AB01 , 2G132AC03 , 2G132AC09 , 2G132AC11 , 2G132AE14 , 2G132AE16 , 2G132AE18 , 2G132AE23 , 2G132AL09 , 5B046AA08 , 5B046BA03 , 5B046JA01 , 5B046JA05 , 5F064HH06 , 5F064HH08 , 5F064HH10 , 5F064HH12

引用特許：

審査官引用 (3件)

インタフェース仕様定義を記録した記憶媒体、及び接続検証方法、及び信号パタン生成方法
公報種別：公開公報出願番号：特願平10-297827 出願人：株式会社日立製作所
検証編集装置及び検証編集方法
公報種別：公開公報出願番号：特願平8-185793 出願人：東芝マイクロエレクトロニクス株式会社, 株式会社東芝
期待値検証シミュレーション装置および期待値検証シミュレーション方法
公報種別：公開公報出願番号：特願平9-199070 出願人：富士通株式会社

前のページに戻る