[dv] Verify access to Debug Module in debug mode even if disallowed by PMP
@hcallahan-lowrisc is already working on this.
Since Apr 17, 2025.
- Dominant language
- SystemVerilog
- Stars
- 2.1k
- Forks
- 810
- Avg merge
- 5d 23h
- Merged PRs (30d)
- 9
Description
Verify the feature implemented in #2232; specific tasks are:
- [ ] (P1) Minimal smoke test that verifies the feature works (i.e., read, write, and fetch a couple of addresses in the Debug Module address space while debug mode is enabled but the PMP doesn't allow the accesses).
- [ ] (P2) Extensive testing that verifies the feature cannot be used for accesses outside the Debug Module address space that are disallowed by the PMP.
- [ ] (P3) Extensive testing that verifies the feature works (close coverage over all addressing cases cross access types cross relevant states).
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Assessment
This issue has not been assessed yet.