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

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 (SVA). This feature/module provides support for writing and verifying assertions using the SystemVerilog language, which helps designers and verification engineers to ensure that their designs behave as expected under various conditions. In summary, 'RIVIERA_SVA_SUPPORT_2021.0331' is part of the tools and capabilities that enhance the functionality of Riviera-PRO, particularly concerning the verification processes involving assertions in SystemVerilog.