YosysHQ sby
M0-M2Formal verification flow signal.
githubAuto indexedunknown
The license requires manual review.
This is not confirmed to be a reusable RTL core.
/cores
Core comparison
Comparison helps you see quickly which core carries less license, review, and integration risk.
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/4OpenCores WBScope
M5 candidateUseful Wishbone-accessible debug core by ZipCPU author.
opencoresAuto indexedGPL
Manual review is required.
| Signal | YosysHQ sby | OpenCores WBScope |
|---|---|---|
| Category / source | formal/tooling github | verification/logic analyzer opencores |
| Review / maturity | Auto indexed M0-M2 | Auto indexed M5 candidate |
| License | unknownUnknown | GPLManual 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 | Tests: YesCI: NoFormal: Yes | Tests: NoCI: NoFormal: No |
| Docs / FuseSoC / board demo | Docs: NoFuseSoC: NoBoard demo: No | Docs: NoFuseSoC: NoBoard demo: No |
| Signals | QualityQualityUsefulnessUsefulnessIntegrationIntegrationVerificationVerification | QualityQualityUsefulnessUsefulnessIntegrationIntegrationVerificationVerification |
| Interfaces / buses | unknownunknown | JTAG/debugWishbone |
| Toolchains | Yosys | Verilator |
| Warnings |
|
|