RTLMeter benchmark suite
☆31Mar 31, 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☆37Apr 2, 2026Updated last week
- A Fast Floating-Point Satisfiability Solver☆29Jul 26, 2025Updated 8 months ago
- Linux on RISC-V on FPGA (LOROF): RV64GC Sv39 Quad-Core Superscalar Out-of-Order Virtual Memory CPU☆17Feb 23, 2026Updated last month
- Example of how to use UVM with Verilator☆42Feb 19, 2026Updated last month
- Fast Symbolic Repair of Hardware Design Code☆34Jan 20, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- OpenROAD Agent. This repository contain the model to train and testing the model using EDA Corpus dataset.☆25Jul 24, 2025Updated 8 months ago
- wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.☆119Mar 25, 2026Updated 2 weeks ago
- ☆13Mar 10, 2026Updated last month
- UVM components for DSP tasks (MODulation/DEModulation)☆15Mar 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 week
- Smol 2-stage RISC-V processor in nMigen☆26May 6, 2021Updated 4 years ago
- C++ HDL (Hardware Description Language)☆48Updated this week
- An advanced circuit-based sat solver☆37Feb 24, 2025Updated last year
- A tool to generate optimized hardware files for univariate functions.☆29Apr 5, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- USB virtual model in C++, co-simulating with Verilog, SystemVerilog and VHDL☆32Oct 15, 2024Updated last year
- FOMU keystroke injector☆12Aug 7, 2023Updated 2 years ago
- A framework for building hardware verification platform using software method☆35Dec 24, 2025Updated 3 months ago
- E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis (DAC2025)☆28Jun 23, 2025Updated 9 months ago
- torchtrail: trace the graph of torch functions and modules for visualization, reports, etc☆25May 25, 2025Updated 10 months ago
- ☆20Mar 1, 2021Updated 5 years ago
- Supplemental technology files for ASAP7 PDK with Synopsys design flow☆23Jan 27, 2023Updated 3 years ago
- Parse FSDB waveform files☆22Nov 4, 2025Updated 5 months ago
- A suite of tools for pretty printing, diffing, and exploring abstract syntax trees.☆15Mar 3, 2026Updated last month
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Simple UVM environment for experimenting with Verilator.☆38Mar 23, 2026Updated 2 weeks ago
- ☆18Sep 2, 2020Updated 5 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆25Dec 6, 2021Updated 4 years 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☆40Mar 20, 2026Updated 3 weeks ago
- ☆20Dec 29, 2014Updated 11 years ago
- ☆17Sep 9, 2024Updated last year
- Wishbone to ARM AMBA 4 AXI☆16May 25, 2019Updated 6 years ago
- WAL enables programmable waveform analysis.☆170Nov 10, 2025Updated 5 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Morphle Logic V1.0, an open hardware asynchronous runtime reconfigurable array ARRA or PPL,FPGA,CPLD☆23Feb 12, 2023Updated 3 years ago
- ☆18Oct 9, 2025Updated 6 months ago
- Contains reference architecture scripts for running the OpenPiton regression using auto-scaling SLURM cluster.☆25Feb 25, 2026Updated last month
- A test case for stress testing Tang Nano 4K and 9K and Primer 20K (Gowin FPGAs)☆53Dec 6, 2024Updated last year
- An FPGA in your USB Port☆11Jul 1, 2021Updated 4 years ago
- RTLCheck☆25Oct 9, 2018Updated 7 years ago
- RISC-V 32-bit core for MCCI Catena 4710☆10Jul 31, 2019Updated 6 years ago