AiPGは、RTLの形式的検証ツールで、プロパティ・チェッカと称されるものです。日本では単に"formal"とも言います。 特長としまして: ①ユーザによるプロパティ記述を抑え、自動で網羅的に検証項目を抽出します。 ②ネットワーク型並列分散処理により多数の検証項目を高速にこなします(標準10パラレル)。 ③世界最高速探索エンジン(2011年度実績)を搭載しています。これはwordベース検索エンジンで、RTL検証に最適です。 (bitベースではありません) ④基本特許を取得しています。 詳細は、Home下段のpdfドキュメントをご参照下さい。 =============== AiPG ==================== |