無償ウェビナー:クロックドメインクロッシング問題の機能検証

ALINT-PROは、クロックドメインクロッシング(CDC)のスタティック解析と検証のための強力な手段を提供します。クロックツリーとクロックドメインを検出、検証し、トポロジカルパターンマッチング手法を適用してクロックドメインクロッシング上の設計構造の正当性を検証します。
しかしながら、CDC関連の問題がないことを保証するにはスタティックCDC検証だけでなく、シミュレータによるダイナミックCDC検証を追加する必要があります。ALINT-PROはアサーション生成エンジンでCDCポイントに対するチェックコード作成し機能検証を強化することができます。
本ウェビナでは、ALINT-PROを使用したスタティック検証からRiviera-PROを使用したダイナミック検証まで、完全なクロックドメインクロッシング検証手法を紹介します。

開催日時 | 2025年06月25日(水) 15:00 ~ 16:00 |
---|---|
参加費 | 無料 |
このニュースへのお問い合わせ
Webからお問い合わせこのニュースの詳細・お申し込み
詳細・お申し込み