Ride the Wellen! 🌊
☆17Aug 27, 2026Updated 2 months ago
Alternatives and similar repositories for tsunami
Users that are interested in tsunami are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An experimental hardware compiler☆14Aug 21, 2026Updated 2 months ago
- OBI SystemVerilog synthesizable interconnect IPs for on-chip communication☆26Updated this week
- Staging area for new features of cocotb☆15Updated this week
- SV/DPI library allowing multiple simulations/platforms to run in parallel and communicate☆17Oct 26, 2026Updated last week
- Certify Model Checking Witnesses in AIGER☆14Oct 16, 2026Updated 2 weeks ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆14Mar 27, 2025Updated last year
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 3 years ago
- ☆11Feb 14, 2020Updated 6 years ago
- ☆10Sep 29, 2024Updated 2 years ago
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆15Nov 19, 2024Updated last year
- FPGA synthesis tool powered by equality saturation and program synthesis.☆16Jan 9, 2026Updated 9 months ago
- FastPoly: An Efficient Polynomial Package for the Verification of Integer Arithmetic Circuits☆14Aug 5, 2025Updated last year
- Equivalence Verification Checking for Code Transformation via Equality Saturation☆13Jun 1, 2026Updated 5 months ago
- DNN Compiler for Heterogeneous SoCs☆84Oct 28, 2026Updated last week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆11Dec 3, 2025Updated 11 months ago
- ☆13Jan 20, 2023Updated 3 years ago
- IREE compiler and runtime for Snitch☆15May 14, 2026Updated 5 months ago
- Collection for submission (Hardware Model Checking Benchmark)☆13Nov 9, 2025Updated 11 months ago
- Open Source VLSI library characterizer☆10Jul 7, 2026Updated 3 months ago
- Remix Icon for egui☆12Apr 11, 2026Updated 6 months ago
- ☆11Sep 25, 2026Updated last month
- Automatic generation of architecture-level models for hardware from its RTL design.☆17Apr 12, 2023Updated 3 years ago
- Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics☆19Sep 13, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Input / Output Physical Memory Protection Unit for RISC-V☆17Jul 20, 2023Updated 3 years ago
- wzv — record now, get waveforms later☆25Aug 29, 2026Updated 2 months ago
- ☆14Jan 21, 2025Updated last year
- A dependency management tool for hardware projects.☆401Oct 22, 2026Updated last week
- wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.☆148Oct 25, 2026Updated last week
- A reliable, real-time subsystem for the Carfield SoC☆21Dec 2, 2025Updated 11 months ago
- Project Repo for the Simulator Independent Coverage Research☆21Feb 28, 2023Updated 3 years ago
- Tools for manipulating Fast Signal Trace (FST) format waveforms.☆19Oct 11, 2026Updated 3 weeks ago
- An RTL generator for a last-level shared inclusive TileLink cache controller☆27Aug 8, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A retargetable and extensible synthesis-based compiler for modern hardware architectures☆22Nov 20, 2025Updated 11 months ago
- SystemVerilog IPs and Modules for architectural redundancy designs.☆23Updated this week
- Framework to perform DUT vs ISS (Whisper) lockstep architectural checks☆26Oct 15, 2025Updated last year
- Generic floating-point types in Python☆20Oct 18, 2026Updated 2 weeks ago
- Collection of simple for JabRef issues. Please submit PRs to https://github.com/jabRef/jabref/.☆15Updated this week
- ☆28Dec 4, 2025Updated 11 months ago
- Open-source SystemVerilog simulator in Rust. 4-state, event-driven, IEEE 1800-2023, runs real UVM.☆126Updated this week