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

The software application published by Aldec that includes the feature/module/file called `RIVIERA_XTRACE_SUPPORT` is **Riviera-PRO**. `RIVIERA_XTRACE_SUPPORT` is part of Rivira-PRO's functionality that relates to the support for high-level tracing and debugging of hardware designs. It provides specific capabilities for tracing signals and states in simulation, enabling engineers to perform in-depth analysis of their designs, track down issues, and validate behaviors during simulation. This feature is typically utilized in FPGA and ASIC design verification workflows, allowing users to effectively monitor and analyze simulation outputs and behaviors as their designs execute. The tracing capabilities can enhance debugging efficiency and provide insights into the design's operational parameters during simulation.