ニュース > Tieto

TIETO、ONESPIN　SOLUTIONSのフォーマル アサーションベース検証ソリューションを導入する長期契約を結ぶ

世界的大手IT＆R&Dサービス企業、OneSpin 360 MVソリューションをハイエンドFPGA設計の検証フローに統合

2009年7月6日、フィンランド、ヘルシンキおよびドイツ、ミュンヘン発 - 売上数億ドル規模のITサービス企業であるTieto と OneSpin Solutions は本日、OneSpinの360 MVフォーマル・アサーションベース検証（Assertion-Based Verification -ABV）ソリューションを TietoのハイエンドFPGA 検証フローに導入する長期契約を結んだことを発表しました。この契約により、Tietoの最大の事業部である通信およびメディア部門の設計、検証、統合エキスパートは、市場で最も包括的なフォーマルABVソリューションを使用して、通信会社、ネットワーク機器メーカー、モバイル機器メーカー、オートメーション、自動車および医療機器メーカーに最先端のFPGAソリューションを提供できるようになります。
Tietoの組み込みシステムハードウェアサービス事業部を率いるRudolf Krumenacker氏はつぎのように述べています。「2011年までに、当社は通信向けハードウェア開発の世界的大手R&Dパートナーとなることを目指しています。OneSpinのフォーマル検証技術は、当社が機能検証をより早い段階から始め、"初回から正しい"FPGA設計をお客様に提供し、市場投入までの期間を短縮する上で重要となります。」彼は次のように続けています。「当社は、お客様のプロジェクトに含まれる幅広い要件とタスクに対応し、当社内の様々なスキルに簡単に合わせることのできるフォーマルABVソリューションを必要としていました。360 MVは設計の機能およびリアルタイム性能を検証し、ハイエンドFPGAソリューションの開発でよく見られる"検証のギャップ"をクローズするために社内全体で利用できます。さらに、OneSpinは優れた顧客サポートでも知られており、このことも当社がお客様のプロジェクト スケジュールに対応していく上で重要です。」

Tietoは組み込みシステム製品ならびに組み込みシステム製品開発の様々な技術分野に対する設計サポートを"ワンストップ ショッピング"で提供する企業です。FPGA設計は、Tietoのハードウェア サービス部門のコア コンピンタンスの一つです。Tietoはオートメーション、自動車、製造、医療および通信業界の顧客に対して設計サービスを提供しています。

OneSpinの360 MVソリューションは、設計初期の自動RTL解析から最高品質のギャップフリー検証まで、SystemVerilog Assertion（SVA）を使ったABVアプリケーション全体をカバーし、新規ユーザーも数日で生産性を発揮することができるステップバイステップの習得アプローチをサポートしています。このソリューションは幅広い検証タスクをシミュレーションと比較して10倍まで加速し、他の検証アプローチでは保証できない設計品質の達成を可能にします。

OneSpinのCEO、Peter Feistは次のように述べています。「当社はフォーマルABVをチップ設計、検証、統合チームが幅広く利用できるようにするため360 MVの強化に力を入れてきました。TietoとOneSpinの間の長期に渡る協力関係は、複雑なFPGAを開発するチームがより早期の検証クロージャとより高い設計品質を達成する上で、フォーマルABV技術の活用がますます進んでおり、従来は主としてASIC/SoC分野で使用されてきた技術が活用されていることを実証するものです。この傾向によりフォーマル検証のメインストリームでの導入が拡大し、多くの企業の検証ツールキットに含まれる標準的な技術となっていくでしょう。」

2009年7月27日から30日、サンフランシスコで開催されるDesign Automation Conferenceにおいて、OneSpinは360 MV のデモンストレーションを行い、初心者向けの"Get Going in a Day"、および経験者向けの"Get Ahead"の2つのフォーマルABVチュートリアルを提供します。

Tieto について
TietoはIT、R&D、コンサルティング サービスを提供するITサービス企業です。約16,000名のエキスパートを擁するTietoは北ヨーロッパを代表する大手ITサービス企業の一つであり、特定の分野では世界的大手として知られています。Tietoはお客様のビジネスおよびニーズを最も深く理解することのできる分野に特化しています。当社はお客様第一の姿勢と北ヨーロッパでの豊富な経験により他社にはない利点を提供しています。より詳しい情報はwww.tieto.comをご覧ください。ハードウェア開発についての詳細はwww.tieto.de/embedded-systemsをご覧ください。

OneSpin Solutionsについて
EDA（Electronics Design Automation）ベンダーOneSpin Solutionsは、複雑なASIC、SoC、FPGA設計の機能検証を容易化し、検証工数を短縮する、革新的かつ最もキャパシティの高いメインストリーム向けフォーマル検証ソリューションを提供しています。市場をリードする通信、自動車、コンシューマエレクトロニクス、組み込みシステム メーカーが検証工数を大幅に削減し、可能な限り最高の検証品質を達成するために受賞歴のあるOneSpinの検証ソリューションを利用しています。詳細な情報はhttp://www.onespin-solutions.com/をご覧になるかinfo@onespin-solutions.comまで電子メールでお問い合わせください。