The software application published by Aldec that includes a feature/module/file called 'RIVIERA_SV_VERIFICATION' is **Riviera-PRO**.
**RIVIERA_SV_VERIFICATION** is a verification environment that supports SystemVerilog and is used for functional verification of digital designs. It provides advanced simulation capabilities, including support for various methodologies like UVM (Universal Verification Methodology), enabling users to create and use