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,