djg / verilated-rsLinks
Verilator Porcelain
☆48Updated last year
Alternatives and similar repositories for verilated-rs
Users that are interested in verilated-rs are comparing it to the libraries listed below
Sorting:
- wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.☆76Updated 2 weeks ago
- 🦀 No nonsense hardware testing/simulation in Rust 🛠️ | Verilog, Spade, Veryl☆52Updated last month
- Read and write VCD (Value Change Dump) files in Rust☆44Updated last year
- 21st century electronic design automation tools, written in Rust.☆31Updated 3 weeks ago
- Logic circuit analysis and optimization☆43Updated 3 weeks ago
- A Rust VCD parser intended to be the backend of a Waveform Viewer(built using egui) that supports dynamically loaded rust plugins.☆47Updated 7 months ago
- A replacement for gtkwave, written in Rust with high-performance and larger-than-memory traces in mind.☆19Updated 3 years ago
- A hardware compiler based on LLHD and CIRCT☆262Updated last month
- The LLHD reference simulator.☆39Updated 4 years ago
- Verilog AST☆21Updated last year
- System on Chip toolkit for Amaranth HDL☆92Updated 9 months ago
- An HDL embedded in Rust.☆199Updated last year
- End-to-end synthesis and P&R toolchain☆86Updated 2 weeks ago
- A simple digital waveform viewer with vi-like key bindings.☆138Updated 4 months ago
- A place to share libraries and utilities that don't belong in the core bsc repo☆36Updated 4 months ago
- Hardware generator debugger☆74Updated last year
- Rust Test Bench - write HDL tests in Rust.☆23Updated 2 years ago
- ☆56Updated 3 years ago
- Dual-issue RV64IM processor for fun & learning☆63Updated 2 years ago
- RISCV Core written in Calyx☆17Updated 11 months ago
- Fiber-based SystemVerilog Simulator.☆25Updated 3 years ago
- PicoRV☆44Updated 5 years ago
- The specification for the FIRRTL language☆59Updated last week
- Using e-graphs to synthesize netlists from boolean logic.☆14Updated 2 years ago
- Verilog parsing and generator crate.☆21Updated 5 years ago
- Debuggable hardware generator☆69Updated 2 years ago
- Naive Educational RISC-V -- A simple single-stage RV32I processor☆27Updated 4 years ago
- ☆17Updated 4 months ago
- Equivalence checking with Yosys☆45Updated 3 weeks ago
- design and verification of asynchronous circuits☆39Updated last week