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

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 specifying properties of hardware models and can be used to write assertions and formal properties that describe desired characteristics of the design. The RIVIERA_PSL_SUPPORT module enables users to create and verify such properties during the simulation process, helping designers ensure that their hardware designs conform to specific requirements and behave as expected. This support facilitates formal verification and ensures high-quality design outcomes by allowing for the assertion of properties that can be checked dynamically during simulation or statically through formal verification techniques.