The software application published by Aldec that includes the feature called `RIVIERA_EXPRESSION_COVERAGE` is **Riviera-PRO**. This tool is primarily used for simulation and verification of hardware designs, particularly in the context of digital and mixed-signal circuits.
### RIVIERA_EXPRESSION_COVERAGE
`RIVIERA_EXPRESSION_COVERAGE` refers to a coverage analysis feature within Riviera-PRO that allows users to evaluate the thoroughness of their