特許
J-GLOBAL ID：200903023111071620
設計支援装置及び設計支援方法
発明者：
出願人/特許権者：
代理人 (1件)：
三好 秀和 (外3名)
公報種別：公開公報
出願番号（国際出願番号）：特願平7-235767
公開番号（公開出願番号）：特開平9-081613
出願日： 1995年09月13日
公開日（公表日）： 1997年03月28日
要約：
【要約】【課題】 検証率の低い回路モジュールにおいても、信頼性の高いライブラリを提供することである。【解決手段】 ライブラリモジュールを使用して設計されたLSIが検証された際に、前記ライブラリモジュールの検証情報を抽出する検証情報アクセス部35と、使用されたライブラリモジュールについての前記ライブラリモジュール情報保存部に格納された検証情報と、前記検証情報アクセス部35により抽出された検証情報との差分を抽出する差分抽出部と33、抽出された差分を用いて検証率を算出し、検証率及び前記ライブラリモジュール情報保存部に保存されたライブラリモジュールの検証情報の登録若しくは更新を行うライブラリ情報登録管理部39とを有するライブラリ情報管理部を備えてある。
請求項（抜粋）：
少なくとも設計ライブラリに登録された各ライブラリモジュールの検証の度合を示す検証率を含むライブラリモジュールの検証情報が保存されるライブラリモジュール情報保存部を有する設計支援装置であって、前記ライブラリモジュールを使用して設計されたLSIが検証された際に、前記ライブラリモジュールの検証情報を抽出する検証情報アクセス部と、前記使用されたライブラリモジュールについての前記ライブラリモジュール情報保存部に格納された検証情報と、前記検証情報アクセス部により抽出された検証情報との差分を抽出する差分抽出部と、前記抽出された差分を用いて検証率を算出し、検証率及び前記ライブラリモジュール情報保存部に保存されたライブラリモジュールの検証情報の登録若しくは更新を行うライブラリ情報登録管理部と、を有するライブラリ情報管理部を備えることを特徴とする設計支援装置。
FI (2件)：
G06F 15/60 666 S
, G06F 15/60 672 Z
