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

YosysHQ sby

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.

Formal verification flow signal.

githubAuto indexedunknown
Warning

The license requires manual review.

High

This is not confirmed to be a reusable RTL core.

OpenCores UART16550

M1-M3 candidateMaturity levelMaturity M1-M3 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.

Canonical UART reference and common FuseSoC adaptations.

opencoresAuto indexedunknown until checked
Warning

The license requires manual review.

High

The source appears stale or legacy.

SignalYosysHQ sbyOpenCores UART16550
Category / sourceformal/tooling
github
peripheral/UART
opencores
Review / maturity
Auto indexedM0-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 indexedM1-M3 candidateMaturity levelMaturity M1-M3 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
unknown until checkedunknown_or_manual_review_required
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
TestsReproducible tests or smoke checks are visible in current metadata.CICurrent metadata does not show confirmed CI yet.FormalFormal checks or property verification evidence is visible.
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 visible in current metadata.FuseSoCA FuseSoC .core file or compatible packaging is visible.Board demoBoard-level demo or target evidence is not confirmed yet.
Signals
QualityQualityUsefulnessUsefulnessIntegrationIntegrationVerificationVerification
QualityQualityUsefulnessUsefulnessIntegrationIntegrationVerificationVerification
Interfaces / buses
unknownunknown
UARTunknown
ToolchainsYosysFuseSoC, Verilator
Warnings
  • The license requires manual review.
  • This is not confirmed to be a reusable RTL core.
  • The license requires manual review.
  • The source appears stale or legacy.