lowRISC / lowRISC/ibex

[dv] Small architectural coverage issues to investigate

Open
#1,925 1 comment 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

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

Description

Following analysis of the architectural coverage from RISC-DV there are a few small issues to investigate

- [ ] rv32i_misc_cg - Instructions in this group are getting executed but aren't appearing in coverage
- [ ] lw_cg - cp_lsu_hazard - Not seeing RAW memory hazard
- [ ] sw_cg - cp_lsu_hazard - Not seeing WAR memory hazard
- [ ] The illegal instruction space doesn't appear to be fully explored
- [ ] Some instructions (e.g. `lui`) haven't seen a RAW register hazard

The lack of RAW/WAR memory hazards isn't an issue as Ibex has no data cache or store/load buffers so there's no special handling these scenarios require.

The lack of register RAW hazards in a couple of instance isn't an issue as the RAW register hazard path is well explored and the gaps aren't special corner cases just oddities of RISC-V DV instruction generation (e.g. lack of RAW hazard for `lui`)

> estimate 8

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

Start by reviewing the RISC-DV architectural coverage results for rv32i_misc_cg, lw_cg, sw_cg, illegal instructions, and register hazards. Compare each reported gap with Ibex's supported behavior and RISC-V DV instruction generation; done means identifying which gaps are genuine coverage issues and which are expected limitations, with the findings documented or addressed.

Written by the indexing model from the issue text.

Assessment

Domain
testing
Issue type
Bug
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.