The license requires manual review.
ZipCPU wb2axip
Wishbone/AXI bridge and formal property library.
Buses and infrastructureVerilogNo license foundM2 · Simulation-testedupdated 26 days ago
Worth knowing
Facts
From GitHub data, checked October 5, 2026.
- Maturity
- M2 · Simulation-tested
- License
- No license found
- Tests
- yes
- CI
- not found
- Formal verification
- yes
- FuseSoC
- yes
- Last commit
- updated 26 days ago
- Stars
- 706
The repository contains tests or a testbench. How maturity is assigned
Purpose
Boards
No one has confirmed a board run yet.
Add evidenceSources
- ZipCPU wb2axip source · 2026-04-30
How to check it locally
- Run the upstream simulation/test command from the repository README or CI workflow.
- Inspect the upstream FuseSoC .core manifest and use it as the integration entrypoint.
- Try a synthesis smoke run with: Verilator.
Scores and how they are computed
License, tests, CI, formal checks, documentation and activity come from the repository check. Usefulness and learning value are editorial estimates.
Similar cores
OpenTitan prim library
Checked on GitHubPrimitive library reference.
Buses and infrastructureApache-2.0M4 · Production-readyupdated 1 day ago
wb_intercon
Checked on GitHubCommon Wishbone interconnect package.
Buses and infrastructureISCM2 · Simulation-testedupdated 8 months ago
verilog-axi
Checked on GitHubAXI component library and comparison source.
Buses and infrastructureMITM2 · Simulation-testedupdated 2 years ago