spade-lang / spadeLinks
A Hardware Description Language that doesn't make you want to pull your hair out | read-only mirror of https://gitlab.com/spade-lang/spade/
☆28Updated last week
Alternatives and similar repositories for spade
Users that are interested in spade are comparing it to the libraries listed below
Sorting:
- 🦀 No nonsense hardware testing/simulation in Rust 🛠️ | Verilog, Spade, Veryl☆54Updated last month
- Fearless hardware design☆178Updated this week
- Verilator Porcelain☆48Updated last year
- RISCV Core written in Calyx☆17Updated 11 months ago
- Easy SMT solver interaction☆35Updated last week
- An HDL embedded in Rust.☆199Updated last year
- Beautiful Digital Timing Diagrams with Rust☆83Updated 7 months ago
- A new Hardware Design Language that keeps you in the driver's seat☆113Updated this week
- The LLHD reference simulator.☆39Updated 4 years ago
- wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.☆76Updated 2 weeks ago
- A Hardware Description Language based on the Rust Programming Language☆226Updated last week
- HDL development environment on Nix.☆26Updated 9 months ago
- Logic circuit analysis and optimization☆43Updated 3 weeks ago
- A hardware compiler based on LLHD and CIRCT☆262Updated last month
- Scope Graph Implementation in Rust☆27Updated 8 months ago
- Read and write VCD (Value Change Dump) files in Rust☆44Updated last year
- A replacement for gtkwave, written in Rust with high-performance and larger-than-memory traces in mind.☆19Updated 3 years ago
- Symbolic execution tool for Sail ISA specifications☆76Updated 3 weeks ago
- A simple digital waveform viewer with vi-like key bindings.☆138Updated 4 months ago
- 21st century electronic design automation tools, written in Rust.☆31Updated 3 weeks ago
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆14Updated 8 months ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆99Updated last month
- Baremetal Backtracing on RISC-V☆15Updated 4 years ago
- End-to-end synthesis and P&R toolchain☆86Updated 2 weeks ago
- Debugger written in Rust☆24Updated 3 years ago
- Simple RISC-V emulator presented at Rust Nation 2023☆66Updated 2 years ago
- An optimization modeling language with solvers for MILP problems☆54Updated 2 weeks ago
- Wasm Analysis Framework For Lightweight Experiments☆49Updated 3 weeks ago
- ☆30Updated 2 years ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆103Updated 3 years ago