lowRISC / lowRISC/ibex

Test trap precision

Open
#87 4 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Component:DV Type:Enhancement
Dominant language
SystemVerilog
Stars
2.1k
Forks
810
Avg merge
5d 23h
Merged PRs (30d)
9

Description

Add DV to ensure that traps are as precise as we expect them to be. This requires the expectations to be documented first in #86.

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.

Research direction

Read issue #86 first, since this issue depends on its documented expectations. Then locate the project's design-verification entry point for trap behavior; done means verification demonstrates that traps meet those expectations with precise outcomes.

Written by the indexing model from the issue text.

Assessment

Domain
embedded-iot, testing
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.