Home

パシフィック・デザイン株式会社は、RTL フォーマル・プロパティ・チェッカ "AiPG" を開発、AiPGv1.0の販売を開始いたしました。

        ・AiPGは、ネットワーク型並列分散処理を行います。
        ・加えて、当社のミッションはお客さまのプロパティ要求を聞き、これをAiPGに組込み自動化させる事にあります。
        ・検証の自動化と並列処理による高速化を特長とするAiPGを、ぜひ、プロパティ・チェッカとしてご検討下さい。
        ・当社は、お客さまニーズをAiPGに組込む、サポート・オリエンテッドなカンパニーです。
        ・AiPGのエンジンBoolectorが、2012年コンペでレジスタ&メモリ部門で各1位となりました。

下にAiPGドキュメントpdfがあります。ご参照頂ければ幸いです。



Automatic
Property
Extraction



AiPGは、網羅的検証を行います。
Pair対抗させて検証する事も行います。
検証対象の抽出自動化が重要、と考えます。

More

 


Parallel
Distributed
Processing




AiPGは、
並列化が基本です。
標準10並列、時代は並列化です。

 

World Champion!
SMT Solver
Boolector



AiPGは、世界最高速探索エンジン
SMTソルバBoolectorを搭載しています。
SMT-COMP2012メモリ&レジスタ部門各1位!

More
                                                                                                                                                                                                               https://a073c4e2-a-62cb3a1a-s-sites.googlegroups.com/site/sugiuratest/like.jpg?attachauth=ANoY7cpDZROg90DsI68oRuuTczjpFZEp0ZSBtI5yS-5E55gKBsJf23E-20t0O24T5KUILkMDW5vL_pFLf1_Y62YbMz0opUb5HlpEDdI0Ri0QWhB3GduybsqLEEzWv8LUHiyj7NMUXrMntBxNWKPMASmQqlljgdCTihUwtTegBGNiHFcT_Nq2aZ95camQlO5_lYBQGw0UVp1vQa57KC-AXoa0cJ42yVzpMA%3D%3D&attredirects=0   いいね!   
Ċ
Yoshihide Sugiura,
2012/09/05 1:55
Comments