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.☆45Updated 9 months ago
- Main page☆31Updated 5 years ago
- Fearless hardware design☆178Updated this week
- A replacement for gtkwave, written in Rust with high-performance and larger-than-memory traces in mind.☆19Updated 3 years ago
- Where Lions Roam: RISC-V on the VELDT☆260Updated last week
- Minimax: a Compressed-First, Microcoded RISC-V CPU☆221Updated last year
- Documenting Lattice's 28nm FPGA parts☆144Updated last year
- Glacial - microcoded RISC-V core designed for low FPGA resource utilization☆86Updated 5 years ago
- The SiFive wake build tool☆91Updated last week
- Deducing Tock execution flows from Ibex Verilator traces☆70Updated 3 years ago
- End-to-end synthesis and P&R toolchain☆87Updated this week
- A core language for rule-based hardware design 🦑☆159Updated 2 months ago
- Unofficial Yosys WebAssembly packages☆71Updated last week
- A new Hardware Design Language that keeps you in the driver's seat☆114Updated last week
- Hardware definition language that compiles to Verilog☆107Updated 3 years ago
- User-friendly explanation of Yosys options☆113Updated 3 years ago
- A hardware compiler based on LLHD and CIRCT☆263Updated last month
- Locus site for Public Review of Several RISC-V ISA Formal Specs☆75Updated 5 years ago
- Verilator Porcelain☆48Updated last year
- Main page☆126Updated 5 years ago
- RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT☆32Updated this week
- An HDL embedded in Rust.☆199Updated last year
- Manythread RISC-V overlay for FPGA clusters☆38Updated 2 years ago
- Hot Reconfiguration Technology demo☆40Updated 3 years ago
- WebAssembly-based Yosys distribution for Amaranth HDL☆27Updated last month
- Low Level Hardware Description — A foundation for building hardware design tools.☆421Updated 3 years ago
- 😎 A curated list of awesome RISC-V implementations☆138Updated 2 years ago
- Formal specification and verification of hardware, especially for security and privacy.☆127Updated 3 years ago
- Betrusted main SoC design☆143Updated last month
- Running Rust on the (Linux) Litex VexRiscv FPGA SOC☆13Updated 2 months ago