lowRISC / lowRISC/opentitan

[CHERIoT] Improve test convergence through custom instruction sequences, which create valid capabilities instead of quickly clearing the tag through randomization

Open
#30,628 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
SystemVerilog
Stars
3.6k
Forks
1.1k
Avg merge
2d 22h
Merged PRs (30d)
141

Description

This issue has no description.

Contributor guide

Open the contributing guide

Research direction

The issue names CHERIoT test convergence, custom instruction sequences, valid capabilities, and randomization but provides no files, tests, or entry points. Start by locating the CHERIoT tests and their randomization logic; done means custom sequences improve convergence while producing valid capabilities.

Written by the indexing model from the issue text.

Assessment

Domain
testing
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Quiet
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.