lowRISC / lowRISC/opentitan

[dv] Check if alert is configured to fatal correctly

Open
#16,198 0 comments 0 reactions 0 assignees View on GitHub
Component:DV Earlgrey-PROD Candidate Priority:P3
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

Open the contributing 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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.