[cheriot,trvk] Include TRVK filter in Ibex DV
Open
Nobody has claimed this yet.
- Dominant language
- SystemVerilog
- Stars
- 2.1k
- Forks
- 810
- Avg merge
- 5d 23h
- Merged PRs (30d)
- 9
Description
An extensive test combined in combination with Ibex needs to be provided to verify the TRVK filter in Ibex without relying on OpenTitan. For this DV item, `dv/uvm/core_ibex/tb/core_ibex_tb_top.sv` and `dv/formal/check/top.sv` have to be extended.
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.
Research direction
Start by reading dv/uvm/core_ibex/tb/core_ibex_tb_top.sv and dv/formal/check/top.sv to understand how Ibex verification and formal checks are assembled. Extend both entry points for the TRVK filter and provide the combined Ibex test coverage described in the issue. Done means the TRVK filter is verified with Ibex without relying on OpenTitan.
Written by the indexing model from the issue text.
Assessment
- Domain
- testing-qa
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Quiet
- Clarity
- Mostly clear
- Newbie friendliness
- 52/100