Riviera Pro Performing a Functional Simulation with the Riviera-PRO Software Performing a Post-Synthesis Simulation with the Riviera-PRO Software Performing a Gate-Level Simulation with the Riviera-PRO Software