oxidecomputer / cobaltLinks
A collection of common Bluespec interfaces/modules.
☆102Updated last year
Alternatives and similar repositories for cobalt
Users that are interested in cobalt are comparing it to the libraries listed below
Sorting:
- A computer for human beings.☆47Updated last year
- Fearless hardware design☆183Updated 2 months ago
- Main page☆32Updated 5 years ago
- Where Lions Roam: RISC-V on the VELDT☆259Updated 2 months ago
- A replacement for gtkwave, written in Rust with high-performance and larger-than-memory traces in mind.☆19Updated 3 years ago
- Minimax: a Compressed-First, Microcoded RISC-V CPU☆222Updated last year
- Documenting Lattice's 28nm FPGA parts☆144Updated last year
- Glacial - microcoded RISC-V core designed for low FPGA resource utilization☆87Updated 6 years ago
- Unofficial Yosys WebAssembly packages☆74Updated last week
- A place to share libraries and utilities that don't belong in the core bsc repo☆37Updated 2 weeks ago
- End-to-end synthesis and P&R toolchain☆90Updated last month
- A core language for rule-based hardware design 🦑☆164Updated last month
- The SiFive wake build tool☆91Updated 3 weeks ago
- Hardware definition language that compiles to Verilog☆106Updated 4 years ago
- Hot Reconfiguration Technology demo☆41Updated 3 years ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆118Updated 2 years ago
- A hardware compiler based on LLHD and CIRCT☆264Updated 4 months ago
- cheriot-ibex is a RTL implementation of CHERIoT ISA based on LowRISC's Ibex core.☆113Updated 2 months ago
- Deducing Tock execution flows from Ibex Verilator traces☆70Updated 3 years ago
- Manythread RISC-V overlay for FPGA clusters☆38Updated last month
- CoreScore☆167Updated 3 weeks ago
- CHERI-RISC-V model written in Sail☆65Updated 4 months ago
- Locus site for Public Review of Several RISC-V ISA Formal Specs☆75Updated 5 years ago
- RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT☆33Updated last week
- Experiments with Yosys cxxrtl backend☆50Updated 9 months ago
- Main page☆128Updated 5 years ago
- The LLHD reference simulator.☆39Updated 5 years ago
- Low Level Hardware Description — A foundation for building hardware design tools.☆423Updated 3 years ago
- A networked FPGA key-value store written in Clash☆29Updated last year
- Working Draft of the RISC-V J Extension Specification☆191Updated 3 weeks ago