本トレーニングはJasperトレーニング（基本編）です。 フォーマル検証の概念や、Jasperの基本的な使用方法などを学習します。
・ UNIX / LINUXの基礎知識をお持ちの方
・ Jasperをこれから使用する設計者、検証エンジニア
・ Verilog RTLまたはVHDLが使える方
・ 簡単なアサーション言語（SVA）の知識をお持ちの方（必須ではありません）
・ SVAの概要紹介
・ フォーマル検証概要
・ Jasper概要
・ セットアップ
・ 証明の実行
・ デバッグ
・ 実習： DMAコントローラのJasperによる検証
・ Q&A
N/A
必ず事前に受講規約をご確認いただき、同意の上でお申し込みください。