受付中 Assertion Based Verification with SVA

トレーニング詳細

バージョン
12.1
受講日数
2日間
開催形態
特別コース(個別開催)
受講料 (税抜き)
1名様 ¥90,000
(2名様以上でお申し込みください。)

概要

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

受講対象者

・UNIX / LINUX の基礎知識をお持ちの方
・vi エディタを使用できる方
・Verilog-HDL また VHDL の知識をお持ちの方
・NC-Veriog または NC-VHDL と SimVision の使用経験をお持ちの方

カリキュラム

・アサーションの概要
・SVA を用いたアサーションの記述概要
・SimVisionを用いたアサーション結果の解析
・シーケンス記述
・プロパティ記述
・アサーション記述例
・アサーション記述のガイドライン
・効果的なアサーションベース検証
・効果的なプロパティの作成

関連コース

Verilog HDL and Simulation

Cadenceトレーニング用お申し込みフォーム

必ず事前に受講規約をご確認いただき、同意の上でお申し込みください。

会社名
所属部署
氏名
郵便番号
ご住所
任意
電話番号
e-mail
その他ご連絡事項

イノテック 個人情報取り扱いに同意します。