ハードウェアについて検証すべきプロパティを生成する装置および方法

発明者： , ,
出願人/特許権者：
代理人 (1件)：大菅義之 (外1名)
公報種別：公開公報
出願番号（国際出願番号）：特願平11-321346
公開番号（公開出願番号）：特開2001-142918
出願日： 1999年11月11日
公開日（公表日）： 2001年05月25日
要約：

【要約】【課題】ハードウェア記述言語により記述されているハードウェアについて検証すべきプロパティを自動的に生成する方法を提供する。【解決手段】ハードウェア記述言語により記述されているデータ資源およびデータ転送をデータ転送表示グラフを用いて表す(ステップS1)。データ転送グラフを最適化する(ステップS2)。最適化処理により、データ転送グラフは簡略化または最小化される。最適化されたデータ転送グラフのトポロジに基づいて検証ツールにより検証すべきプロパティを生成する(ステップS3)。検証すべきプロパティは、資源競合およびレジスタ漏れである。

請求項（抜粋）：

ハードウェア記述言語により記述された複数の資源およびそれらの資源を利用したデータ転送を含むハードウェアについて検証すべきプロパティを生成する装置であって、上記ハードウェア記述言語で記述された資源およびデータ転送に対応するデータ転送グラフを生成するグラフ生成手段と、そのグラフ生成手段により生成されたデータ転送グラフを最適化する最適化手段と、その最適化手段により最適化されたデータ転送グラフを利用して、上記ハードウェア記述言語により記述されているハードウェアについて検証すべきプロパティを生成するプロパティ生成手段と、を有するプロパティ生成装置。

IPC (4件)：

G06F 17/50 , H01L 21/82 , H01L 27/04 , H01L 21/822

FI (6件)：

G06F 15/60 670 Z , G06F 15/60 664 A , G06F 15/60 670 K , H01L 21/82 T , H01L 21/82 C , H01L 27/04 U

Fターム (19件)：

5B046AA08 , 5B046DA04 , 5B046DA06 , 5B046JA01 , 5F038CA03 , 5F038CA17 , 5F038CD05 , 5F038DF11 , 5F038EZ10 , 5F038EZ20 , 5F064BB09 , 5F064BB18 , 5F064DD03 , 5F064DD04 , 5F064DD25 , 5F064HH06 , 5F064HH09 , 5F064HH10 , 5F064HH14

引用特許：

審査官引用 (2件)

論理回路設計支援装置
公報種別：公開公報出願番号：特願平4-044590 出願人：株式会社東芝
特開昭64-088266

前のページに戻る