微細化するシリコン・テクノロジと直接リンクしない上流系の設計&検証においては、今後GNUベースが進展する、と当社では考えています。 ・現在、ソフトウエア検証の世界ではwordベースの検証テクノロジ(SMT Solver)が広がりつつあります。 ・今回、当社ではこのwordベース検証テクノロジに着目。 ・これをRTLの世界に持ち込んでRTLプロパティ・チェッカAiPGを開発いたしました。 高機能・高性能なツール・ソリューションを、リーゾナブル価格でご提供したい、と考えています。 ============ SMT Slover ================== |