概要	初めてアサーションを使用した検証手法を学びたい方を対象にアサーション・ベース検証の メリットを詳しく解説し、簡単なアサーションを記述して新しい検証手法を体験できます。
開催日時	2012年5月16日（水）13:30-17:00 2012年6月8日（金）13:30-17:00
開催場所	アルデック・ジャパン株式会社
アジェンダ	アサーション・ベース検証とは？ アサーション言語 SVA言語構造 ブーリアン シーケンス プロパティ ディレクティブ カバレッジのプロパティ 演習問題 アサーション記述例 データの有効範囲 FIFOのアクセスチェック 不定データチェック デコード／エンコードのチェック データの変化／保持をチェック タイムアウト／処理の完了をチェック 演習問題 アサーションの悪い例と改善方法／再利用化
参加対象	HDLを使用した設計および検証を行っているデジタル回路の設計者
※お申込み先着順に受付。日程、内容、会場、は変更になる場合がございます。