Event Details

CDC 検証におけるデザイン制約
Date: Wed, May 27, 2026
Time: 3:00 PM - 4:00 PM (JPT)

 

デザイン制約は、デザインが実際の物理環境で正しく動作するための要件を設定するFPGA 実装における基本的な部分になります。RTL デザインでは機能的な挙動を記述していますが、デザイン制約は論理合成、配置配線、タイミングの検証時に必要となるタイミング要件、クロック定義、およびインタフェース条件などを規定します。

クロックドメインクロッシング（CDC）解析はデザイン検証タスクですが、デザイン上の制約にも依存します。CDC ツールはデザイン内のクロックの関連性、独立性およびデザイン全体でクロックがどのように相互作用するかを理解し、CDC パスの同期化問題を特定します。さらに正しい解析と疑似エラーの削減のためには、クロックやリセット、その他のCDC に関連する構造に関する情報が不可欠です。

本ウェビナでは、FPGA 設計におけるデザイン制約の概要と、それらがCDC 検証にどのように使用されているかについて紹介します。さらにCDC 特有のデザイン制約拡張、マルチルチモードCDC 解析などについても説明します。