which software application published by 'Aldec' has a feature/module/file called 'RIVIERA_SV_VERIFICATION? What is RIVIERA_SV_VERIFICATION?

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 testbenches effectively. The module helps in streamlining the verification process through features like coverage analysis, assertions, and debugging tools, allowing engineers to validate their designs thoroughly before they move to the implementation stage.