lowRISC / lowRISC/ibex

[dv] Verify access to Debug Module in debug mode even if disallowed by PMP

Open
#2,233 0 comments 0 reactions 1 assignee View on GitHub

@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

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.