フォーマル検証技術のCalyptoとReal Intentが両社製品の統合フローを発表
2011年5月25日、フォーマル検証技術をベースとしたEDAツールを手掛ける、Calypto Design SystemsとReal Intentは、両社製品の統合フローを発表した。
発表によると今回両社は、Calyptoの消費電力最適化ツール「PowerPro」とReal IntentのLintツール「Ascent lint」およびCDC検証ツール「Meridian CDC」をシームレスに繋いだ統合フローを構築。このフローを利用すれば、「PowerPro」によるRTL最適化の後にユーザールールに基づいたLintチェックやクロック・ゲーティング後のCDCチェックをシームレスに実行できるようになる。
このフローを構築するにあたり、Real Intent側のツールで「PowerPro」向けの「design environment files」を生成する予定で、これにより両社製品を組み合わせた統合フローを容易に構築できるという。
尚、両社製品の統合フローは共通顧客の要望に応じて実現されたとの事。同ソリューションは来る第48回DACで展示される予定となっている。