パシフィック・デザイン株式会社は、RTL フォーマル・プロパティ・チェッカ "AiPG" を開発、AiPGv1.0の販売を開始いたしました。 ・AiPGは、ネットワーク型並列分散処理を行います。 ・加えて、当社のミッションはお客さまのプロパティ要求を聞き、これをAiPGに組込み自動化させる事にあります。 ・検証の自動化と並列処理による高速化を特長とするAiPGを、ぜひ、プロパティ・チェッカとしてご検討下さい。 ・当社は、お客さまニーズをAiPGに組込む、サポート・オリエンテッドなカンパニーです。 ・AiPGのエンジンBoolectorが、2012年コンペでレジスタ&メモリ部門で各1位となりました。 下にAiPGドキュメントpdfがあります。ご参照頂ければ幸いです。
![]() |