Sign in
P0M0-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 indexedgithub

YosysHQ sby

Formal verification flow signal.

All coresCompareAsk ChatSource

Primary risk

How to read riskThe risk banner compresses license clarity and review state into a short verdict. Integration decisions still need tests, synthesis, and board evidence.
There are blocking license or reuse risksCommercial use is not confirmed.
No clear licenseAuto indexed

Warnings

2
Warning

The license requires manual review.

High

This is not confirmed to be a reusable RTL core.

Purpose and boundaries

Formal verification flow signal.

Core kind and readiness

Readiness focusIf the status is not yet reproduced, close license, tests, and board-level evidence gaps first. The fields below are for quick scope checking.
Core kind
formalunknown
Interfaces / buses / flow
unknownYosys

Still missing before production

4
  • There is no confirmed HDL/license position for reuse.
  • A manual reviewer pass is still needed beyond seed metadata.
  • Documentation does not yet look sufficient for quick integration.
  • There is no board-level evidence with real constraints/report data yet.

Scores

What scores meanEach scale is independent. High usefulness does not cancel a license blocker, and high confidence does not replace board evidence.
Quality46
Usefulness54
Integration52
Verification18
Docs40
License25
Beginner42
Professional56
RAG55
Confidence40

Engineering signals

Signals legendSignals show whether useful engineering artefacts are visible. "Yes" does not imply completeness, and "No" often means missing evidence rather than impossible support.
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.
DocsDocumentation is not evidence-confirmed yet.
FuseSoCFuseSoC packaging has not been found yet.
Board demoBoard-level demo or target evidence is not confirmed yet.
Open flowOpen-source FPGA flow friendliness is visible.
CommercialCommercial use needs manual license review.

License matrix

Why split by scopeHDL, docs, tests, and generated artifacts can carry different terms. Commercial use is split out so each card does not repeat the same prose.
HDLHDLUnknown: license evidence is missing for this scope.
DocumentationDocumentationUnknown: license evidence is missing for this scope.
TestsTestsUnknown: license evidence is missing for this scope.
ExamplesExamplesUnknown: license evidence is missing for this scope.
ArtifactsArtifactsUnknown: license evidence is missing for this scope.
Commercial useCommercial useunknown_or_manual_review_required: license value from current metadata.

Board compatibility

Compatibility is still unknownSynthesis/implementation evidence and reproducible board reports are still needed.

Evidence matrix

How to read evidenceEach group only shows confirmed links. The confidence floor is a lower trust bound, not an absolute verdict.

Local verification

2
  • Run the upstream simulation/test command from the repository README or CI workflow.
  • Try a synthesis smoke run with: Yosys.

Links and alternatives

Alternatives

unknown