Event Details

クロックドメインクロッシング問題の機能検証
Date: Wed, June 25, 2025
Time: 3:00 PM - 4:00 PM (JPT)

 

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