RTLMeter benchmark suite
☆31May 12, 2026Updated last week
Alternatives and similar repositories for rtlmeter
Users that are interested in rtlmeter are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- LEC - Logic Equivalence Checking - Formal Verification☆39Updated this week
- A Fast Floating-Point Satisfiability Solver☆30Jul 26, 2025Updated 9 months ago
- Linux on RISC-V on FPGA (LOROF): RV64GC Sv39 Quad-Core Superscalar Out-of-Order Virtual Memory CPU☆17Feb 23, 2026Updated 2 months ago
- Example of how to use UVM with Verilator☆45Apr 20, 2026Updated last month
- Fast Symbolic Repair of Hardware Design Code☆38Jan 20, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- OpenROAD Agent. This repository contain the model to train and testing the model using EDA Corpus dataset.☆29Jul 24, 2025Updated 9 months ago
- wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.☆124Updated this week
- ☆13May 11, 2026Updated last week
- UVM components for DSP tasks (MODulation/DEModulation)☆16Mar 2, 2022Updated 4 years ago
- ConFuzz is an advanced FPGA configuration engine fuzzing and rapid prototyping framework based on boofuzz and OpenOCD.☆16Apr 1, 2026Updated last month
- Smol 2-stage RISC-V processor in nMigen☆26May 6, 2021Updated 5 years ago
- C++ HDL (Hardware Description Language)☆48Updated this week
- A type-safe, formally verifiable HDL compiler in Lean 4. Inspired by Clash, built for high-assurance hardware synthesis.☆64May 13, 2026Updated last week
- An advanced circuit-based sat solver☆38Feb 24, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A tool to generate optimized hardware files for univariate functions.☆29Apr 5, 2024Updated 2 years ago
- USB virtual model in C++, co-simulating with Verilog, SystemVerilog and VHDL☆33Oct 15, 2024Updated last year
- FOMU keystroke injector☆12Aug 7, 2023Updated 2 years ago
- A framework for building hardware verification platform using software method☆36Apr 19, 2026Updated last month
- E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis (DAC2025)☆29Jun 23, 2025Updated 10 months ago
- torchtrail: trace the graph of torch functions and modules for visualization, reports, etc☆25May 25, 2025Updated 11 months ago
- ☆20Mar 1, 2021Updated 5 years ago
- Supplemental technology files for ASAP7 PDK with Synopsys design flow☆25Jan 27, 2023Updated 3 years ago
- Parse FSDB waveform files☆22Apr 13, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Simple UVM environment for experimenting with Verilator.☆39Apr 29, 2026Updated 3 weeks ago
- A suite of tools for pretty printing, diffing, and exploring abstract syntax trees.☆16Mar 3, 2026Updated 2 months ago
- ☆18Sep 2, 2020Updated 5 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆25Dec 6, 2021Updated 4 years ago
- MCP server that holds vivado and allows access to vivado without starting a new batch command every time☆45Feb 19, 2026Updated 3 months ago
- A KICAD pcbnew plugin to align two pads on two modules horizontally or vertically☆14Nov 22, 2019Updated 6 years ago
- A standalone structural (gate-level) verilog parser☆41Mar 20, 2026Updated 2 months ago
- ☆20Dec 29, 2014Updated 11 years ago
- ☆17Sep 9, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Wishbone to ARM AMBA 4 AXI☆16May 25, 2019Updated 6 years ago
- WAL enables programmable waveform analysis.☆177Nov 10, 2025Updated 6 months ago
- ☆18Apr 19, 2026Updated last month
- Morphle Logic V1.0, an open hardware asynchronous runtime reconfigurable array ARRA or PPL,FPGA,CPLD☆26Feb 12, 2023Updated 3 years ago
- Contains reference architecture scripts for running the OpenPiton regression using auto-scaling SLURM cluster.☆24Feb 25, 2026Updated 2 months ago
- A test case for stress testing Tang Nano 4K and 9K and Primer 20K (Gowin FPGAs)☆56Dec 6, 2024Updated last year
- An FPGA in your USB Port☆11Jul 1, 2021Updated 4 years ago