Open
Description
It would be handy to see PSL assertion state in waves, it improves debugability of PSL assertions.
I would dump each PSL assertion as one record of:
- PSL assertion state
- Inactive - When no state of assertion FSM is active
- Running - When a PSL assertion has an FSM state active that is not the accept state.
- Covered - For
coverassertions when they reach the final state. - Failed - For
assertassertions in the cycle they fail (when they print the report).
- Count of "started" times. Incremented when a non-initial state is activated.
- Count of "failed" times for
assertassertions - Count of "covered" times for
coverassertions.