Riviera-PRO imødekommer verifikationsbehov hos ingeniører, der fremstiller morgendagens banebrydende FPGA- og SoC-enheder.Riviera-PRO muliggør den ultimative testbench-produktivitet, genanvendelighed og automatisering ved at kombinere den højtydende simuleringsmotor, avancerede debugging-kapaciteter på forskellige abstraktionsniveauer og support til de nyeste sprog- og verifikationsbibliotekstandarder.