6.6 Clock Domain Crossing Dynamic Analysis: Complex Synchronizers In addition to ALINT-PRO's static CDC analysis capabilities, it can also generate assertions depending on which synchronizer is utilized. These assertions can then be used for dynamic CDC analysis of the design in simulation. In this video, the Riviera-PRO simulator will be used in conjunction with ALINT-PRO to run through the entire process of Dynamic CDC analysis on complex synchronizers.