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/4OpenTitan IP blocks
M1-M3 candidateHigh-quality IP block library with docs and verification culture.
githubAuto indexedApache-2.0
Manual review is required.
| Signal | YosysHQ sby | OpenTitan IP blocks |
|---|---|---|
| Category / source | formal/tooling github | security/root-of-trust/IP blocks github |
| Review / maturity | Auto indexed M0-M2 | Auto indexed M1-M3 candidate |
| License | unknownUnknown | Apache-2.0Manual 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: YesCI: NoFormal: No |
| Docs / FuseSoC / board demo | Docs: NoFuseSoC: NoBoard demo: No | Docs: NoFuseSoC: NoBoard demo: No |
| Signals | QualityQualityUsefulnessUsefulnessIntegrationIntegrationVerificationVerification | QualityQualityUsefulnessUsefulnessIntegrationIntegrationVerificationVerification |
| Interfaces / buses | unknownunknown | unknownunknown |
| Toolchains | Yosys | Verilator |
| Warnings |
|
|