povik / yosys-slangView external linksLinks
SystemVerilog frontend for Yosys
☆198Feb 8, 2026Updated last week
Alternatives and similar repositories for yosys-slang
Users that are interested in yosys-slang are comparing it to the libraries listed below
Sorting:
- SystemVerilog synthesis tool☆227Mar 10, 2025Updated 11 months ago
- SystemVerilog compiler and language services☆948Updated this week
- ☆33Jan 7, 2025Updated last year
- Mutation Cover with Yosys (MCY)☆91Feb 4, 2026Updated last week
- Structural Netlist API (and more) for EDA post synthesis flow development☆134Feb 10, 2026Updated last week
- SystemVerilog to Verilog conversion☆701Nov 24, 2025Updated 2 months ago
- The HW-CBMC and EBMC Model Checkers for Verilog☆102Updated this week
- SystemVerilog 2017 Pre-processor, Parser, Elaborator, UHDM Compiler. Provides IEEE Design/TB C/C++ VPI and Python AST & UHDM APIs. Compil…☆445Sep 6, 2025Updated 5 months ago
- End-to-end synthesis and P&R toolchain☆94Dec 2, 2025Updated 2 months ago
- ☆19Jul 12, 2024Updated last year
- 21st century electronic design automation tools, written in Rust.☆36Updated this week
- SpiceBind – spice inside HDL simulator☆56Jun 30, 2025Updated 7 months ago
- An Open-Source Toolchain for Top-Metal IC Art and Ultra-High-Fidelity GDSII Renders☆22Jan 6, 2026Updated last month
- Universal Hardware Data Model. A complete modeling of the IEEE SystemVerilog Object Model with VPI Interface, Elaborator, Serialization, …☆249Sep 6, 2025Updated 5 months ago
- BTOR2 MLIR project☆26Jan 17, 2024Updated 2 years ago
- E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)☆41Jul 17, 2024Updated last year
- YosysHQ SVA AXI Properties☆44Feb 7, 2023Updated 3 years ago
- Hardware Formal Verification Tool☆87Feb 10, 2026Updated last week
- high-performance RTL simulator☆186Jun 19, 2024Updated last year
- Collection for submission (Hardware Model Checking Benchmark)☆13Nov 9, 2025Updated 3 months ago
- Example of how to use UVM with Verilator☆36Dec 1, 2025Updated 2 months ago
- Greyhound on IHP SG13G2 0.13 μm BiCMOS process☆80Jan 28, 2026Updated 2 weeks ago
- Logic circuit analysis and optimization☆45Feb 2, 2026Updated 2 weeks ago
- ☆35Jan 23, 2026Updated 3 weeks ago
- 55nm CMOS Open Source PDK by ICsprout Integrated Circuit Co., Ltd.☆167Dec 29, 2025Updated last month
- Equivalence checking with Yosys☆58Feb 4, 2026Updated last week
- Open-source RTL logic simulator with CUDA acceleration☆256Sep 30, 2025Updated 4 months ago
- An automatic clock gating utility☆52Apr 15, 2025Updated 10 months ago
- Modular hardware build system☆1,128Updated this week
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- Test suite designed to check compliance with the SystemVerilog standard.☆356Updated this week
- LunaPnR is a place and router for integrated circuits☆47Updated this week
- ☆27Mar 31, 2025Updated 10 months ago
- DHLS (Dynamic High-Level Synthesis) compiler based on MLIR☆164Updated this week
- SystemVerilog parser library fully compliant with IEEE 1800-2017☆463Nov 4, 2025Updated 3 months ago
- RTLMeter benchmark suite☆29Jan 25, 2026Updated 3 weeks ago
- A fork of Yosys that integrates the CellIFT pass☆13Jul 23, 2025Updated 6 months ago
- ☆91Oct 13, 2025Updated 4 months ago
- SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows☆490Feb 4, 2026Updated last week