oxidecomputer / cobaltLinks
A collection of common Bluespec interfaces/modules.
☆98Updated last year
Alternatives and similar repositories for cobalt
Users that are interested in cobalt are comparing it to the libraries listed below
Sorting:
- Main page☆31Updated 5 years ago
- Deducing Tock execution flows from Ibex Verilator traces☆70Updated 2 years ago
- Where Lions Roam: RISC-V on the VELDT☆259Updated 10 months ago
- A replacement for gtkwave, written in Rust with high-performance and larger-than-memory traces in mind.☆19Updated 2 years ago
- A computer for human beings.☆44Updated 6 months ago
- Fearless hardware design☆176Updated last month
- Documenting Lattice's 28nm FPGA parts☆143Updated last year
- Unofficial Yosys WebAssembly packages☆71Updated this week
- A core language for rule-based hardware design 🦑☆154Updated 7 months ago
- Manythread RISC-V overlay for FPGA clusters☆38Updated 2 years ago
- Glacial - microcoded RISC-V core designed for low FPGA resource utilization☆84Updated 5 years ago
- A place to share libraries and utilities that don't belong in the core bsc repo☆35Updated 2 months ago
- Minimax: a Compressed-First, Microcoded RISC-V CPU☆220Updated last year
- An open-source Unix operating system☆30Updated this week
- An HDL embedded in Rust.☆198Updated last year
- BSC Development Workstation (BDW)☆29Updated 7 months ago
- The SiFive wake build tool☆90Updated last week
- Main page☆126Updated 5 years ago
- A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.☆58Updated 4 years ago
- Hardware definition language that compiles to Verilog☆106Updated 3 years ago
- The LLHD reference simulator.☆38Updated 4 years ago
- Verilator Porcelain☆47Updated last year
- Haskell library for hardware description☆103Updated 6 months ago
- A simple digital waveform viewer with vi-like key bindings.☆139Updated 2 months ago
- WebAssembly-based Yosys distribution for Amaranth HDL☆26Updated last week
- Tutorial on hardware design using Bluespec BH (Bluespec Classic) for Haskell programmers at ACM ICFP 2020 conference☆73Updated 2 years ago
- Formal specification and verification of hardware, especially for security and privacy.☆126Updated 3 years ago
- Locus site for Public Review of Several RISC-V ISA Formal Specs☆73Updated 4 years ago
- 😎 A curated list of awesome RISC-V implementations☆135Updated 2 years ago
- User-friendly explanation of Yosys options☆113Updated 3 years ago