アサーション・ベース検証

設計デザインがますます複雑化しているため、全体の設計期間におけて検証に費やす工数もますます増大していることはご存知の通りです。そのためアサーション・ベース検証への関心が高まってきています。この新しいメソドロジによって、より少ない労力でデバッグの工数削減と設計品質の確保が実現できると言われています。

アサーション・ベース検証は、アサーション言語の使用とファンクショナルカバレッジをベースにしています。アサーション言語によってデザインが意図しない振る舞いをしているかどうかを検出することができます。ポートに信号が伝播される前に、エラーは、発生すると同時にレポートされます。ファンクショナルカバレッジは、テストベンチによって、検証対象デザインのプロパティがどれだけ実行されたか、カバーされたかの情報を伝えてくれます。

アサーション言語には、PSL, OVA, SVA があります。この全ての言語を Riviera-PRO はサポートしており、従来の HDL 検証フローとシームレスに統合されています。このため、Riviera-PRO は多様な検証プラットフォームとしてご利用いただけます。

HDL 検証フローとのシームレスな統合

Riviera-PRO で通常の HDL ブロックと同じように PSL, OVA, SVA をコンパイルすることができす。HDL 検証フローと PSL, OVA, SVA がシームレスに扱えるように開発されています；

アサーションの階層構造表示、アサーションビューワによる視覚的な表示
アサーションへのブレークポイント設定
アサーションビューワとソースコード間のクロスプロービング
HDL 専用テキストエディタでの OVA, PSL, SVA 構文のハイライト表示、豊富なアサーション言語テンプレート

Riviera-PRO での階層構造表示を右図に示します。アサーション言語は「A」で表示されています。

デバッグ機能

シミュレータは、アサーションが失敗した時、ポーズになった時、スタートした時に実行を停止するように設定することができます。シミュレーション実行中のインタラクティブなデバッグが可能となります。

アサーション専用のビューワによって、デザイン中の全てのアサーションとカバーステートメントを確認することができます。このビューワからワンクリックで、ソースコードの表示、ブレークポイントの設定、信号のリスト表示を行うことができます。

ファンクショナルカバレッジ

ファンクショナルカバレッジは、テストベンチの品質をフィードバックしてくれます。ファンクショナルカバレッジの情報は、専用のファンクショナルカバレッジビューワによって確認できます。十分にデザインがテストされているかどうかやプロパティチェックが実行されているかどうかを視覚的に確認することができます。

複数のシミュレーション実行によるカバレッジ結果をマージすることができます。マージされたデータによって、個々のテストベンチ実行ではなく、包括的な検証プロセスの把握が可能になります。