ユーザー > 概要
ユーザー コメント
A. Haggenmiller, Infineon Technology
Alexander Haggenmiller, Director Intellectual Property and Re-Use at the Communication Solutions business group at Infineon Technologies: 「OneSpinの技術を使うことにより、高度なコンテキスト切り替えを含むPPv2プロトコル プロセッサを完全に検証することができました。このIPは弊社の通信アプリケーションの中核をなすIPコンポーネントです。 この検証アプローチでは、PPv2の完全な機能がカバーされていること、バグの抜け道がふさがれていることを確認することができました。 さらに、開発人月をこれまでのシミュレーション ベースのプロジェクトと比較して約40%削減することができました。」
Dr. M. Schutti, DICE GmbH & Co KG
Dr. Markus Schutti, Director Digital Development at DICE GmbH & Co KG: 「OneSpin のプロパティ検証を多数のモジュールに適用して解ったことは、プロパティを記述し、証明することは、テストベンチのセットアップよりも簡単で格段に短期間に行えるということです。 大規模なモジュールに対しても応答が速いため、チェック-デバッグ-修正のサイクルが非常に高速に、しばしば数分で行えました。 十分にシミュレーション済みのベースバンドチップ用ペリフェラルIPにOneSpinのソリューションを適用したところ、4人／週の工数でこれまで見つからなかった15個のやっかいなバグが見つかりました。」
H. Soukup, Siemens Com
Holger Soukup, Director SoC Development, Siemens Com, Munich: 「我々のチームは、きわめて複雑なロジックと複数の再利用ブロックを搭載した400万ゲート規模のSoC ２個を含む様々な設計の検証に OneSpin の技術を使用しました。 その結果、OneSpin のフォーマル モジュール検証により我々の検証ポートフォリオを完璧にすることができました。 検証する機能に対して OneSpin のソリューションは、他のどのようなダイナミック検証技術よりも、低コスト、高速、かつ高い品質を達成しました。 さらに、ブロックの品質が向上したことにより、システムレベル検証のコストも格段に削減されました。 これにより、非常に厳しいタイム トゥ マーケット スケジュールと品質目標の両方を達成することができたのです。」
Sun Meng Sumner, Design & Verification engineer, Infineon Villach
Linked-inグループ ディスカッションにて、Sun Meng Sumner のコメント:
"フォーマル検証はまだ理論だけのものだと思っていますか？もしそうなら、すこし考え直すことをお勧めします。
SVAは今とてもホットです。多くの議論がなされていて、標準としては良いがツールの扱い方の方に制限があると言われています。私の持っている情報ではこの分野のベストはOnespin 360MVです。非常に効率的で大規模設計でもかなり良いパフォーマンスを発揮します。 私の日常業務は単なる研究ではなく、実設計アプリケーションプロジェクトです。ですから、実際のプロジェクトに役に立つことが重要なのです。
OneSpinを使い始めた時、私はSystem Verilogのエキスパートではなく、OneSpinの専用言語ITLを使っていました。 この言語はVHDL/Verilogに時間の動作を加えたようなもので、１日で使えるようになりました。たとえて言えば、タイミングダイアグラムを 図で書くのではなく記述するような感じです。 ですから、プロパティを記述したことのない人でも、プロパティチェックを簡単に始めることができ、 テストベンチの設計に時間を費やす必要がありません。純粋なアサーションベースの検証に加えて、OneSpinが言うところのギャップフリー 検証も使ってみました。 このツールは、記述したプロパティが完全に設計を検証しているかどうかもチェックできます。この機能はとてもパワフルですが、純粋な アサーションベースの検証よりも、使い方の習得に時間がかかるでしょう。 ITLは使いやすいですが、標準アサーション言語という観点から SVAを使うことをお勧めします。もしキャパシティやパフォーマンスの点でOneSpinに匹敵するが、より安価であるといったようなツールが 後で見つかった場合に移行しやすいからです。
しかし私のこれまでの経験では、OneSpin 360MVがベストです。"