uhdm2rtlil
Yosys SystemVerilog synthesis frontend: converts UHDM to RTLIL so RTL matches gate-level simulation.
What it does and how it connects
uhdm2rtlil is a Yosys frontend that enables SystemVerilog synthesis through UHDM (Universal Hardware Data Model), converting UHDM representations to Yosys RTLIL (Register Transfer Level Intermediate Language). It is focused on creating post-synthesis, gate-level netlists that match RTL simulation, using Verilator as the golden standard.
Every result is verified, per the README: nothing counts as working on a read-only or vacuous pass. Each synthesized netlist is proven correct by formal equivalence (Yosys equiv_induct plus a SAT-from-reset miter against the Yosys Verilog-frontend golden) and/or by high-activity randomized Verilator co-simulation against the original RTL, with a SAT miter adjudicating every divergence.
The project gates every pull request and nightly run on these checks, and runs nightly IP sweeps across named cores (ibex, rp32, fx68k, scr1, rggen, veer-eh1, tnoc, black-parrot, opentitan, cva6, caliptra, xiangshan and others), each with a per-module report linked from the README.
Alternatives
Compare side by side- OpenROAD
The unified RTL-to-GDS application for synthesis through sign-off, rather than a Yosys frontend for SystemVerilog synthesis.
- rtl_buddy
A YAML-driven CLI for Verilog and SystemVerilog simulation, regression, synthesis and place-and-route, rather than a Yosys frontend.
- vibe-ic
A Claude Code plugin that drives a full IC flow from natural-language intent, rather than a Yosys frontend for SystemVerilog synthesis.
Recurring errors it addresses
Error Index entries this tool is built to reduce or work around.
Sources
Not verified
- Pricing: none stated on the repo.
- No independent user voice found: recent repo activity is maintainer pull requests.
- The related error is for the Yosys engine this frontend targets, since no uhdm2rtlil-specific error entry exists.
Last verified November 6, 2026. Listings are informational. The evidence score measures public, verifiable evidence and is not an endorsement or a compatibility claim.