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/
☆30Updated 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☆56Updated this week
- Fearless hardware design☆178Updated this week
- RISCV Core written in Calyx☆17Updated last year
- Verilator Porcelain☆48Updated last year
- Easy SMT solver interaction☆35Updated last month
- HDL development environment on Nix.☆26Updated 10 months ago
- A new Hardware Design Language that keeps you in the driver's seat☆114Updated last week
- wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.☆80Updated last week
- An HDL embedded in Rust.☆199Updated last year
- Logic circuit analysis and optimization☆43Updated last week
- The LLHD reference simulator.☆39Updated 4 years ago
- Beautiful Digital Timing Diagrams with Rust☆83Updated 8 months ago
- A Hardware Description Language based on the Rust Programming Language☆231Updated last week
- A hardware compiler based on LLHD and CIRCT☆263Updated last month
- 21st century electronic design automation tools, written in Rust.☆31Updated last week
- Read and write VCD (Value Change Dump) files in Rust☆44Updated last year
- End-to-end synthesis and P&R toolchain☆87Updated this week
- Scope Graph Implementation in Rust☆27Updated 9 months ago
- A simple digital waveform viewer with vi-like key bindings.☆138Updated 5 months ago
- A replacement for gtkwave, written in Rust with high-performance and larger-than-memory traces in mind.☆19Updated 3 years ago
- ☆14Updated last week
- An optimization modeling language with solvers for MILP problems☆55Updated last month
- Simple RISC-V emulator presented at Rust Nation 2023☆66Updated 2 years ago
- ☆30Updated 2 years ago
- Wasm Analysis Framework For Lightweight Experiments☆49Updated last month
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆14Updated 9 months ago
- Symbolic execution tool for Sail ISA specifications☆77Updated last month
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆99Updated last month
- ☆29Updated this week
- Verilog AST☆21Updated last year