NSCとは？
NSCはC++/SystemCを用いてESL設計を実施する際の検証環境ツールです。
NSCが提供するメソドロジ:
1.C/C++/SystemCカバレッジ検証
2.C/C++/SystemCアサーション検証
3.C/C++/SystemCランダム検証
Benefits:
・システムレベル検証～ハードウェア検証フローの中で、検証環境の再利用性の向上
・システム上の制約のチェックの自動化
・パフォーマンスチェックの自動化
・プロトコルチェックの自動化
・デバッグの効率化
・Modelの品質の定量化
・テストベンチ（シナリオ）設計の効率化
C/C++/SystemCカバレッジ検証
C/C++/SystemC環境でカバレッジ検証を行うことが可能です。
既存の検証環境へ容易に実装することができ、C/C++/SystemCモデル検証状態の定量化・検証進捗の確認を行うことで、安定したVirtual Platform、高品質な合成モデルを開発することができます。
NSCカバレッジ検証機能(NSCvDC/CC)
1.コードカバレッジ
・ライン・カバレッジ
・ディシジョン・カバレッジ
・コンディション・カバレッジ
・マルチプルコンディション・カバレッジ
2.機能(データ)カバレッジ
・シングルアイテム・カバレッジ
・クロスアイテム・カバレッジ
・トランジションアイテム・カバレッジ
3.カバレッジ解析
C/C++/SystemCアサーション検証
C/C++/SystemC環境でのアサーション検証環境
NSCアサーション検証機能(NSCa)
1.TLA(トランザクション・レベル・アサーション)
・イベントベースのアサーション
・NSCのユーティリティClassを提供
・システムレベル検証(システム上の制約など)を自動化
・TLM(Transaction Level Modeling)上で、Busパフォーマンスチェックが可能
2.CLA(サイクル・レベル・アサーション)
・クロックベースのアサーション
・サイクルレベルのモデル・RTLのモデルのアサーション検証が可能
・SVA(SystemVerilog Assertion)やPSLと同等の機能
3.アサーションカバレッジ
C/C++/SystemCランダム検証
SCVを大幅に機能拡張。多機能なランダムテスト生成をサポート。
1.制約付きランダムと重み付けランダムを同時制約が可能
2.シーケンスをランダム発生
他社製品とのリンク
JEDA NSCはCoware社が提供するPlatform Architect/Model Designerと連動します。
Coware社のテクノロジとあわせて用いることで、より効率的なデバッグが可能です。
お問い合わせ
JEDA Technolories及び本製品に関するお問い合わせは下記までお願いいたします。
株式会社エッチ・ディー・ラボ EDA事業部
ご連絡先はこちら
