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.
Timecodes:
00:00 - Intro
01:32 - Riviera Compilation
02:22 - Alint Workspace Conversion
03:32 - Alint CDC Analysis
04:43 - Riviera Simulation
06:58 - Alint CDC Assertions
08:25 - Riviera Assertions Results
09:40 - Outro