The software application published by Aldec that includes the feature/module/file called **RIVIERA_SVA_SUPPORT** is **Riviera-PRO**. Riviera-PRO is a comprehensive simulation and verification tool for hardware design, particularly for users of VHDL, Verilog, SystemVerilog, and other hardware description languages.
**RIVIERA_SVA_SUPPORT** refers to support for **SystemVerilog Assertions (SVA)** within the Riviera-PRO toolset. SystemVerilog