6.7 Clock Domain Crossing Analysis: Full CDC Analysis Flow In this video, Riviera-PRO will be used in conjunction with ALINT-PRO to run through the full flow of CDC design verification. This process will begin with the source files created in Riviera-Pro, which are then linted in ALINT-PRO and taken back to Riviera to run a simulation with a testbench. Then if the design involves Clock Domain Crossing, the project can be opened again in ALINT-PRO to generate CDC assertions that are used in the Riviera-PRO.