The software application published by Aldec that contains the feature/module/file called 'RIVIERA_PSL_SUPPORT' is **Riviera-PRO**. Riviera-PRO is a simulation and verification tool aimed at enhancing the design and verification process for complex hardware designs, including digital and mixed-signal systems.
**RIVIERA_PSL_SUPPORT** refers to the support for Property Specification Language (PSL) within Riviera-PRO. PSL is a standard for