[dv] Check if alert is configured to fatal correctly
- Dominant language
- SystemVerilog
- Stars
- 3.6k
- Forks
- 1.1k
- Avg merge
- 2d 22h
- Merged PRs (30d)
- 141
Description
From issue #16159 and discussion https://github.com/lowRISC/opentitan/pull/16176#issuecomment-1309336183
We need a better way to check if `is_fatal` parameter is configured correctly, regardless of alert request is sticky or not.
To solve this issue, we can consider adding a DV interface for prim_alert_sender and drive `alert_req` manually to make sure the `IsFatal` is set correctly.
Contributor guide
Research direction
Start with issue #16159 and the discussion in pull request #16176, then inspect the prim_alert_sender verification flow. Focus on how a DV interface could drive alert_req manually and check IsFatal for both sticky and non-sticky alert requests. Done means the check reliably detects incorrect IsFatal configuration regardless of alert behavior.
Written by the indexing model from the issue text.
Assessment
- Domain
- embedded-iot, testing-qa
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100