Alternatives and similar repositories for spade:

Users that are interested in spade are comparing it to the libraries listed below

• ethanuppal / marlin
  🦀 No nonsense hardware testing/simulation in Rust 🛠️ | Verilog, Spade, Veryl
  ☆38Updated this week
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated last week
• djg / verilated-rs
  Verilator Porcelain
  ☆49Updated last year
• metaborg / rust-scopegraphs
  Scope Graph Implementation in Rust
  ☆22Updated 4 months ago
• calyxir / calyx-riscv
  RISCV Core written in Calyx
  ☆15Updated 7 months ago
• tchajed / rdb
  Debugger written in Rust
  ☆22Updated 2 years ago
• coastalwhite / wavedrom-rs
  Beautiful Digital Timing Diagrams with Rust
  ☆79Updated 3 months ago
• Specy / rooc
  An optimization modeling language with solvers for MILP problems
  ☆48Updated 3 weeks ago
• jwnhy / rvbt
  Baremetal Backtracing on RISC-V
  ☆14Updated 3 years ago
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆71Updated 9 months ago
• Coloquinte / quaigh
  Logic circuit analysis and optimization
  ☆35Updated 5 months ago
• charlottia / hdx
  HDL development environment on Nix.
  ☆26Updated 5 months ago
• ekiwi / fst-reader
  Native Rust implementation of the FST waveform format from GTKWave.
  ☆12Updated last week
• oeb25 / smtlib-rs
  A high-level API for interacting with SMT solvers.
  ☆28Updated last week
• ucb-substrate / substrate2
  21st century electronic design automation tools, written in Rust.
  ☆29Updated this week
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆66Updated this week
• jix / flussab
  Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.
  ☆13Updated 4 months ago
• skius / progge.rs
  Program analysis playground for a simple, imperative language
  ☆36Updated 2 years ago
• cucapra / filament
  Fearless hardware design
  ☆176Updated last week
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆88Updated this week
• vaivaswatha / pliron
  Programming Languages Intermediate Representation
  ☆138Updated this week
• sgpthomas / comp-gen
  Automatically generate a compiler using equality saturation
  ☆28Updated 11 months ago
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆31Updated 8 months ago
• stefanpie / sa-placer
  ☆14Updated last year
• kino-mc / rsmt2
  A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
  ☆66Updated last year
• rust-console / voladdress
  Allows for proper and easy handling of volatile memory
  ☆38Updated 10 months ago
• iximeow / regmap
  memory-mapped registers for x86_64 systems
  ☆33Updated 3 years ago
• ekiwi / wellen
  wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.
  ☆54Updated last week
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆24Updated 11 months ago
• cognitive-engineering-lab / argus
  An IDE extension for debugging trait errors in Rust.
  ☆108Updated last week