Decision matrix

How to read the matrixStart with review status, license clarity, and warnings. If records are close, then look at tests, board evidence, and toolchain fit.2/4

Verible

M0-M2Maturity levelMaturity M0-M2: evidence-gated readiness label. No source cannot exceed M0; no synthesis evidence cannot reach M4; no board evidence cannot reach M5. Open the KB guide for the full scale.

Lint/style evidence tool.

githubUnreviewedunknown
Warning

The license requires manual review.

High

This is not confirmed to be a reusable RTL core.

Ibex

M7 candidateMaturity levelMaturity M7 candidate: evidence-gated readiness label. No source cannot exceed M0; no synthesis evidence cannot reach M4; no board evidence cannot reach M5. Open the KB guide for the full scale.

Small open RISC-V CPU used by OpenTitan.

githubAuto indexedApache-2.0
Warning

Manual review is required.

SignalVeribleIbex
Category / sourcetooling/lint/format
github
processor/RISC-V
github
Review / maturity
UnreviewedM0-M2Maturity levelMaturity M0-M2: evidence-gated readiness label. No source cannot exceed M0; no synthesis evidence cannot reach M4; no board evidence cannot reach M5. Open the KB guide for the full scale.
Auto indexedM7 candidateMaturity levelMaturity M7 candidate: evidence-gated readiness label. No source cannot exceed M0; no synthesis evidence cannot reach M4; no board evidence cannot reach M5. Open the KB guide for the full scale.
License
unknownunknown_or_manual_review_required
Apache-2.0allowed_by_current_metadata
Evidence / boards
EvidencePublic evidence links attached to this record.BoardsBoard-linked compatibility records, not portability guarantees.
EvidencePublic evidence links attached to this record.BoardsBoard-linked compatibility records, not portability guarantees.
Board status
unknown
unknown
Tests / CI / formal
TestsCurrent metadata does not show reproducible test evidence yet.CICurrent metadata does not show confirmed CI yet.FormalFormal evidence has not been found yet.
TestsCurrent metadata does not show reproducible test evidence yet.CICurrent metadata does not show confirmed CI yet.FormalFormal evidence has not been found yet.
Docs / FuseSoC / board demo
DocsDocumentation is not evidence-confirmed yet.FuseSoCFuseSoC packaging has not been found yet.Board demoBoard-level demo or target evidence is not confirmed yet.
DocsDocumentation is not evidence-confirmed yet.FuseSoCFuseSoC packaging has not been found yet.Board demoBoard-level demo or target evidence is not confirmed yet.
Signals
QualityQualityUsefulnessUsefulnessIntegrationIntegrationVerificationVerification
QualityQualityUsefulnessUsefulnessIntegrationIntegrationVerificationVerification
Interfaces / buses
unknownunknown
unknownunknown
ToolchainsunknownVerilator
Warnings
  • The license requires manual review.
  • This is not confirmed to be a reusable RTL core.
  • Manual review is required.