フォーマル検証技術の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」を生成する予定で、これにより両社製品を組み合わせた統合フローを容易に構築できるという。