Ark RTL Review Sample Packet
CVA6 MMU / TLB Context Replay
Historical repair replay around MMU address-space and TLB lookup context.
Claim boundary: Public RTL sample packet. Review triage only; not formal verification, not simulation, not LEC, not security signoff, and not an upstream defect claim.
Buyer-safe claim: Historical-fix replay evaluates whether ranked review targets overlap with regions later modified in public RTL repair commits. It is not proof of bug detection and not a claim that Ark would have found the original issue independently.
762.0xReview-surface compression
64.5xSignal-context isolation
2Isolated review targets
1524Raw RTL lines in scope
Source
Project: CVA6
Repository: https://github.com/openhwgroup/cva6
License note: Public upstream RTL. Review upstream repository license before redistribution.
Metrics
| Metric | Value |
|---|---|
| Raw RTL lines | 1524 |
| Isolated review targets | 2 |
| Review compression | 762.0x |
| Unique RTL identifiers | 258 |
| Affected local signals | 4 |
| Signal-context isolation | 64.5x |
| Top-1 identifier overlap | True |
| Top-3 exact-signal overlap | True |
| Blind structural top-1 overlap | True |
Top Review Targets
| Rank | Signal | Priority | Primary reason | Review track | Claim boundary |
|---|---|---|---|---|---|
| 1 | dtlb_lu_asid | 23.35 | control feedback context | senior RTL review | review triage only; not signoff |
| 2 | itlb_lu_asid | 17.62 | control feedback context | senior RTL review | review triage only; not signoff |