The software application published by Aldec that includes a feature/module/file called 'RIVIERA_SVA_SUPPORT_2021.0331' is **Riviera-PRO**. Riviera-PRO is a comprehensive verification environment designed for hardware description languages such as VHDL and Verilog, and it supports several advanced verification methodologies.
The 'RIVIERA_SVA_SUPPORT_2021.0331' likely refers to a specific version or update related to SystemVerilog Assertions