Clock Domain Crossing (CDC) Analysis in ALINT-PRO involves static and dynamic verification techniques to ensure reliable cross-domain interactions.
This video explains the HDL code and CDC static analysis of five simple synchronizers that ALINT-PRO recognizes.
The tutorial designs implement synchronizers based on the NDFF synchronizer, each with minor variations on bit-widths, latency, use cases, and tool interpretation/implementation.
Timecodes:
0:00 - Intro
2:50 - NDFF Synchronizer
7:43 - Wide NDFF Synchronizer
11:43 - NDFF SRL Synchronizer
17:07 - Half Cycle Synchronizer
20:58 - Reset Synchronizer
28:55 - Outro