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

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 Assertions are a way to specify properties of the design at a higher abstraction level, allowing designers to express and verify specific behaviors and conditions in the design during simulation. This can be useful for capturing expected behavior, detecting errors, and ensuring that the design meets its specifications more effectively. In summary, RIVIERA_SVA_SUPPORT is a feature within Aldec's Riviera-PRO that facilitates the use and validation of SystemVerilog Assertions, enhancing the capability of designers to validate their designs.