Free Webinar: Static and Dynamic CDC Verification of AXI4 Stream-Based IP
The AXI4 Stream protocol is used as a standard interface for exchanging data between connected IPs within FPGA designs. When crossing clock domains, the AXI4 Stream interconnect is based on a switch that can transfer data to another asynchronous clock domain. The ALDEC_CDC rule plugin includes numerous rules for checking design quality, design constraints, and clock and reset trees. It is used for verifying the synchronous circuits of the design. However, static CDC verification methods alone may not guarantee the completeness of CDC verification tasks, making dynamic CDC verification essential. The main techniques for dynamic CDC verification include checks using CDC assertions and modeling random delay insertion during clock domain crossing. In this webinar, both static and dynamic verification methods for CDC verification of AXI4 Stream-based IP will be introduced, and the design and usage of CDC assertions automatically generated from ALINT-PRO, along with synchronizer models equipped with random delay insertion, will be explained.

| Date and time | Wednesday, Mar 18, 2026 ~ Wednesday, Mar 25, 2026 03:00 PM ~ 04:00 PM |
|---|---|
| Entry fee | Free |
Inquiry about this news
Contact Us OnlineMore Details & Registration
Details & Registration




![[Notice of Exhibition Participation by Fukuda Co., Ltd.] 2025 YOKOHAMA Automotive Technology Exhibition](https://image.mono.ipros.com/public/news/image/1/950/148370/IPROS11407079545300320767.png?w=280&h=280)

