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