[otbn,dv] Generate extremes for offset immediate for BN.*ID
Open
Component:DV
Earlgrey-PROD Candidate
IP:otbn
Milestone:V3
Priority:P4
Type:Enhancement
- Dominant language
- SystemVerilog
- Stars
- 3.6k
- Forks
- 1.1k
- Avg merge
- 2d 22h
- Merged PRs (30d)
- 141
Description
These will yield bad addresses, so can probably be shoehorned into the existing `BadLoadStore` generator.
> estimate 4
Contributor guide
Research direction
Start by locating the OTBN DV generators and the existing `BadLoadStore` generator mentioned in the issue. Determine how offset immediates for `BN.*ID` are represented, then add coverage for their extreme values so the generated cases produce bad addresses. Confirm the new cases are included in the relevant DV generation and checks.
Written by the indexing model from the issue text.
Assessment
- Domain
- embedded-iot, testing-qa
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 28/100