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