2011-05-26 2011年5月25日、フォーマル検証技術をベースとしたEDAツールを手掛ける、Calypto Design SystemsとReal Intentは、両社製品の統合フローを発表した。 EDA関連ニュース http://www.eda-express.com/2011/05/calyptoreal-intent.html