検証エンハンスメント

シミュレーションは機能検証の重要要素です。デザインにスティミュラスを適用させるためにテストベンチを使用するという方法は、長年に渡って使用され、広く理解されている安定した手法です。専門的なハードウェア検証言語の導入や、さらに近年登場した統合SystemVerilog言語は、効果的なテストベンチの記述や全体的な機能検証工程を劇的に改善しています。
しかし、このアプローチには、主に性能、理解、クロージャに対する根深い問題がいくつか存在します。シミュレーション速度は、特に多くのテストベンチが必要な大規模かつ複雑なデザインに対して十分ではなく、全てのテストケースを完全にシミュレーションするには、数週間とは言わないまでも簡単に数日かかってしまいます。デザインが期待どおりに動作しない場合、あるいは期待動作が明確でない場合、エンジニアはデザインがどのように動作するかを把握するために、デザイン内の接続をトレースすることによって、デザインの動作の原因を調べる必要があります。また、この作業を全て行ったとしても、十分なテストケースをシミュレーションしたかどうか、もしエラーがあった場合、テスト環境がこのエラーを検出できているかどうかといった疑問が残ります。
検証エンハンスメント技術は、より簡単により短時間で多くの検証を可能にし、デザイン動作を簡単に理解し、修正することができます。また、検証環境品質を向上させ、デザインの質の高さに自信をもつことができます。SpringSoft社は、検証エンハンスメント技術とソリューションに特化した唯一のEDAベンダです。これらのソリューションは、標準言語やインターフェイスを使用する業界スタンダード・フローの中でシミュレータとともに動作し、機能検証工程の生産性と品質を向上します。
検証エンハンスメントに関する詳細は、下記リンクをご参照下さい。
