受付中 Jasper

トレーニング詳細

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

概要

本トレーニングはJaspergoldトレーニング(基本編)です。
フォーマル検証の概念や、Jaspergoldの基本的な使用方法などを習得していただきます。

受講対象者

・Jaspergoldをこれから使用する設計者、検証エンジニア
・Verilog RTLまたはVHDLが使える方。
・簡単なアサーション言語(SVA)の知識をお持ちの方(必須ではない)

カリキュラム

・SVAの紹介(必要に応じて、簡単に)
・フォーマル検証概要
・Jaspergold概要
・セットアップ
・証明の実行
・デバッグ
・他
・ラボ : DNAコントローラのJaspergoldによる検証
・Q&A

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

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

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

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