Length : 1 day (s)
Course Description
受講日数:1日コース
価格:お一人様 45,000 円 (消費税別、お二人様以上にてお申込み下さい) ※開催日程、開催場所に関しましてのご相談、お問合せはjapan_esg@cadence.comまで お問合せ下さい
概要:本トレーニングはJaspergoldトレーニング(基本編)です。 フォーマル検証の概念や、Jaspergoldの基本的な使用方法などを学習します。
Learning Objectives
コースカリキュラム:
- SVAの概要紹介
- フォーマル検証概要
- JasperGold概要
- セットアップ
- 証明の実行
- デバッグ
- 実習: DMAコントローラのJasperGoldによる検証
- Q&A
受講対象者:
- UNIX / LINUX の基礎知識をお持ちの方
- JasperGoldをこれから使用する設計者、検証エンジニア
- Verilog RTLまたはVHDLが使える方
- 簡単なアサーション言語(SVA)の知識をお持ちの方(必須ではない)
Software Used in This Course
- JasperGold
Software Release(s)
- JasperGold
Modules in this Course
- N/A
Audience
受講対象者:
- UNIX / LINUX の基礎知識をお持ちの方
- JasperGoldをこれから使用する設計者、検証エンジニア
- Verilog RTLまたはVHDLが使える方
- 簡単なアサーション言語(SVA)の知識をお持ちの方(必須ではない)
Prerequisites
You must have experience with or knowledge of the following:
- Windows, Linux
Related Courses
- NA
Please see course learning maps at this link for a visual representation of courses and course relationships. Regional course catalogs may be viewed here.
Course ID: 86123
ONLINE TRAINING
Genus Synthesis Solution v16.1
This online class features the Cadence® Genus™ Synthesis Solution with next generation synthesis capabilities and how SoC design productivity gap is filled by Genus