System Functional Verification

・SystemVerilog アサーション (SVA) を用いた基本的なアサーションの書き方
・IUS による　SVA の実行及び解析方法
・アサーション・ベース検証のメソドロジ
　*IUSでサポートしているSVAシンタックス全てを説明するわけではありません。

概要 ：

Incisiveシミュレータ概要
シミュレーション実行方法
コマンド概要
波形データベースの生成・指定方法
アクセス権について
Lab1：シミュレーション実行
API 　（Application Program Interface）
HAL　（Incisive HDL Analysis）
ライブラリ管理
Low Power シミュレーション
SimVisionによる解析
基本操作
Lab2：SimVision基本操作
Trace Signal
Save／Restore
レースコンディションに対するデバッグ方法
Lab2-2： Waveformシーケンスタイムの表示
アサーション
アサーション概要
アサーションの実行
Lab3：アサーション検証
カバレッジ
カバレッジ概要
カバレッジの実行
Lab4：カバレッジのGUI解析
バッチモードでの解析
カバレッジ結果のマージ
Lab5：カバレッジ結果のマージ
マニュアル／ヘルプの参照
その他
Appendix

概要 ：
Incisive Enterprise Managerを使って検証環境のマネージメントを行う方法を学習します。

概要 ：
等価性検証の概要やConformalの実際の使用法等を習得していただきます。

概要 ：
Conformal ECO Designerの概要や実際の使用法、テクニック等を習得していただきます。

Conformal ECO Designerの紹介
Conformal ECの基本機能紹介
   フラットコンペアフロー
   階層コンペアフロー
　Pre-mask ECOフロー
　Post-mask ECOフロー
ケース･スタディ
　実行時間短縮
　トラブルシューティング   
まとめ

概要 ：
Specmanを使って機能検証を進めるために、e言語の基礎、Specmanの基本的な操作、
シミュレータとの連携方法を演習を実施しながら学習します。

概要 ：
検証環境のコンポーネントを再利用可能な構成で記述する為のメソドロジートレーニングです。
検証環境構築者向けのコースとなります。