Our Products

AiPGは、RTLの形式的検証ツールで、プロパティ・チェッカと称されるものです。日本では単に"formal"とも言います。

        特長としまして:
        ①ユーザによるプロパティ記述を抑え、自動で網羅的に検証項目を抽出します。
        ②ネットワーク型並列分散処理により多数の検証項目を高速にこなします(標準10パラレル)。
        ③世界最高速探索エンジン(2011年度実績)を搭載しています。これはwordベース検索エンジンで、RTL検証に最適です。
         (bitベースではありません)

        ④基本特許を取得しています。

詳細は、Home下段のpdfドキュメントをご参照下さい。
              
                                                                                                                                                               ===============
                                                                                                                                                                       AiPG
                                                                                                                                                          ====================