微細化するシリコン・テクノロジと直接リンクしない上流系の設計&検証においては、今後GNUベースが進展する、と当社では考えています。

        ・現在、ソフトウエア検証の世界ではwordベースの検証テクノロジ（SMT Solver）が広がりつつあります。
        ・今回、当社ではこのwordベース検証テクノロジに着目。
        ・これをRTLの世界に持ち込んでRTLプロパティ・チェッカAiPGを開発いたしました。

高機能・高性能なツール・ソリューションを、リーゾナブル価格でご提供したい、と考えています。
                                                                                                                                                                       ============
                                                                                                                                                               SMT Slover
                                                                                                                                                                 ==================