Event Details

View All Recorded Events
Date Event Type 場所 Action
Oct 07, 2016 アサーション・ワークショップ SVA編(無料)

ass_img_124

概要:
・アサーション・ベース検証のメリットを解説
・簡単なアサーションを記述し、アサーション・ベース検証を体験

対象者:
・アサーションを初めて学びたい方
・HDLを使用した設計および検証を行っているデジタル回路の設計者
・Active-HDL、Riviera-PROまたはALINTのユーザ様、または導入を検討中の方
 
開催場所:アルデック・ジャパン株式会社
時間:13:30 - 17:00


アジェンダ:
  1. アサーション・ベース検証とは?
  2. アサーション言語
  3. SVA言語構造
    3-1. ブーリアン
    3-2. シーケンス
    3-3. プロパティ
    3-4. ディレクティブ
    3-5. カバレッジのプロパティ
  4. アサーション記述例
    4-1. データの有効範囲
    4-2. FIFOのアクセスチェック
    4-3. 不定データチェック
    4-4. デコード/エンコードのチェック
    4-5. データの変化/保持をチェック
    4-6. タイムアウト/処理の完了をチェック
  5. アサーションの悪い例と改善方法/再利用化
  6. 演習


トレーニング Tokyo, Japan Register
Ask Us a Question
x

Ask Us a Question

x
Captcha ImageReload Captcha
Incorrect data entered.
Thank you! Your question has been submitted. Please allow 1-3 business days for someone to respond to your question.
Internal error occurred. Your question was not submitted. Please contact us using Feedback form.