フィンランドTieto社、FPGA設計向けにOneSpinのフォーマル検証ツールを複数年契約

2009年7月6日、フォーマル検証ツールを手掛ける独OneSpin Solutionsは、フィンランドの大手ITサービス企業Tieto社が同社のフォーマル・アサーションベース検証ソリューションを採用した事を発表した。

プレスリリース文

Tieto社は、通信会社、ネットワーク機器メーカー、モバイル機器メーカー、オートメーション、自動車および医療機器メーカーなど様々な分野の顧客に組み込みシステム開発サービスを提供する北欧の大手ITサービス企業で、約16000名のエンジニアを抱えている。

OneSpinとTietoは今回、OneSpinの360 MVフォーマル・アサーションベース検証ソリューションをTietoのハイエンドFPGA 検証フローに導入する長期契約を締結。Tietoは、2011年までに通信向けハードウェア開発の世界的大手R&Dパートナーとなることを目指しており、機能検証をより早い段階から始め、"初回から正しい"FPGA設計を顧客に提供するという目的に向けてOneSpinのフォーマル検証ツールの導入を決定。ツールの適用範囲、様々な技術者スキルに対する順応性、優れた顧客サポート、これら３つがOneSpinのフォーマル検証ツールの導入を促したという。

フォーマル検証ツールの導入事例として、FPGA設計を明確なターゲットとした例は珍しい。

※OneSpin Solutions社

※Tieto社