ONESPIN SOLUTIONSの360 MVソリューションを用いてルネサスエレクトロニクスがマイクロコントローラユニット (MCU) プラットフォーム向けフォーマル検証環境を構築

新しい環境によりシミュレーションベースの検証と比較してMCUの動作確認を50倍高速化

2011年5月16日、ドイツミュンヘンおよび東京発－革新的なフォーマルアサーションベース解析ソリューションを提供するEDAベンダー OneSpin Solutions は本日、半導体ソリューション大手のルネサスエレクトロニクス株式会社（以下ルネサスエレクトロニクス）のマイクロコントローラユニット(MCU)プラットフォーム向け機能検証環境が当社のOneSpin 360MVフォーマル検証ソリューションを用いて構築されたことを発表します。この新しい環境は、MCUの動作確認において論理シミュレーションベースよりも50倍高速であることが実証され、本環境をプラットフォーム開発フローに適用することで、従来より短期間に高品質なMCU製品展開を実現することが可能となります。

OneSpin 360 MVは、ルネサスエレクトロニクスが要求するMCUプラットフォーム向け検証ソリューションを満足するものでした。すなわち、MCUプラットフォームを構成しているブロック間の接続確認（バストランザクションなど）をチップレベルで短期間に実施することを可能としました。また、仕様が容易に想像できる可読性の高いプロパティの記述形式と、プラットフォーム開発の機能検証ツールに求められる高性能なニーズにも適合するものでした。OneSpin 360 MVソリューションでは、これらのニーズに適う新たなスキームとしてオペレーショナルモデリングレイヤ向けSVAライブラリ（オペレーショナルABV）を提供しています。これはタイミングダイアグラム全体を単一のアサーションで簡単に表現できるようにしたものです。さらにブロックレベルからチップレベルの検証まで効率的に処理するのに十分なキャパシティとパフォーマンスも備えています。

ルネサスエレクトロニクス株式会社技術開発本部システムコア開発統括部統括部長の有本和民博士は次のように語っています。「当社はMCUプラットフォームの機能検証パフォーマンスを大幅に向上できる検証手法を探していました。OneSpinの360MVテクノロジは、プラットフォーム開発における製品展開時の動作確認を論理シミュレーションよりも格段に早く実行することができる優れた能力を持っており、当社ニーズに非常に適したソリューションでした。オペレーショナルABVの使いやすさと、360MVのキャパシティとパフォーマンスを組み合わせることにより、ルネサスエレクトロニクスの機能検証において論理シミュレーションと比較して大幅な工数削減が可能となります。」

OneSpin SolutionsのCEO、Peter Feistは次のように述べています。「アサーションの開発がかつてなくシンプルになりました。OneSpin 360 MVソリューションを使用することにより、わずか1日のトレーニングでエンジニアはタイミングダイアグラム全体を直感的かつ簡潔に記述することができます。ルネサスエレクトロニクスがMCUプラットフォーム向けフォーマル検証環境を360MVで構築し、従来の検証アプローチと比較して優れた検証品質を格段に高速に達成されたことを喜ばしく思います。」

OneSpin Solutionsについて

EDA（Electronics Design Automation）ベンダーOneSpin Solutionsは、複雑なASICおよびFPGA設計の機能検証を容易化し、検証工数を短縮するための、受賞歴のある最もキャパシティの高いフォーマル検証ソリューションを提供しています。OneSpinの360 MVソリューションは特許取得済みのフォーマルカバレッジ解析によりかつてない検証カバレッジと生産性を実現します。詳細な情報はhttp://www.onespin-solutions.com/をご覧になるかinfo@onespin-solutions.comまで電子メールでお問い合わせください。