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

The software application published by Aldec that includes the feature/module/file called **RIVIERA_OVA_SUPPORT** is **Riviera-PRO**. **RIVIERA_OVA_SUPPORT** is a part of the Riviera-PRO tool, which is primarily used for simulation, verification, and debugging of electronic design and systems, specifically for digital ASIC and FPGA designs. The "OVA" in RIVIERA_OVA_SUPPORT likely refers to Object Verification Assistant, a feature that supports various formats and methodologies in design verification. This feature/module allows for enhanced support in the verification process, possibly through improved interoperability with other tools, enhanced simulation capabilities, or integration with specific methodologies and standards used in electronic design automation (EDA). For specific details regarding the exact functionality and use cases of RIVIERA_OVA_SUPPORT, it would be advisable to consult Aldec's official documentation or user manuals for Riviera-PRO.