Coloquinte / quaighLinks
Logic circuit analysis and optimization
☆40Updated 8 months ago
Alternatives and similar repositories for quaigh
Users that are interested in quaigh are comparing it to the libraries listed below
Sorting:
- 21st century electronic design automation tools, written in Rust.☆30Updated last week
- A Rust VCD parser intended to be the backend of a Waveform Viewer(built using egui) that supports dynamically loaded rust plugins.☆44Updated 5 months ago
- An automatic clock gating utility☆49Updated 2 months ago
- Hardware generator debugger☆74Updated last year
- wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.☆70Updated this week
- Using e-graphs to synthesize netlists from boolean logic.☆14Updated last year
- Verilator Porcelain☆47Updated last year
- Equivalence checking with Yosys☆44Updated last week
- A replacement for gtkwave, written in Rust with high-performance and larger-than-memory traces in mind.☆19Updated 2 years ago
- A collection of tests and benchmarks for the Arc simulation backend of CIRCT☆28Updated 4 months ago
- A SystemVerilog source file pickler.☆57Updated 8 months ago
- Coriolis VLSI EDA Tool (LIP6)☆68Updated this week
- SystemVerilog frontend for Yosys☆123Updated this week
- Read and write VCD (Value Change Dump) files in Rust☆43Updated last year
- Verilog AST☆21Updated last year
- System on Chip toolkit for Amaranth HDL☆91Updated 8 months ago
- ☆56Updated 2 years ago
- 🦀 No nonsense hardware testing/simulation in Rust 🛠️ | Verilog, Spade, Veryl☆48Updated 2 weeks ago
- Determines the modules declared and instantiated in a SystemVerilog file☆44Updated 8 months ago
- The specification for the FIRRTL language☆57Updated last week
- Fiber-based SystemVerilog Simulator.☆25Updated 2 years ago
- A new Hardware Design Language that keeps you in the driver's seat☆83Updated this week
- End-to-end synthesis and P&R toolchain☆85Updated last week
- A configurable SRAM generator☆51Updated this week
- ☆17Updated 3 months ago
- ☆40Updated 2 weeks ago
- A Hardware Pipeline Description Language☆44Updated last year
- Debuggable hardware generator☆69Updated 2 years ago
- Examples of how to Generate Schematics from SystemVerilog Synthesis Tools☆22Updated last year
- PyCaliper is Python-based tooling infrastructure that allows the verification and synthesis of specifications (properties) for RTL (e.g.,…☆22Updated last week