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

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

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