Dyno-IR

Dyno-IR is a toolkit for building high performance compiler IRs with powerful generic infrastructure, but swappable core data structures. This is a monorepo for all Dyno-IR applications.

For the core ideas behind Dyno-IR, see the IR design doc.

Building

git clone --recursive git@github.com:dyno-ir/dyno.git
# Debug configuration
cmake --preset debug
cmake --build build/debug
# Release configuration
cmake --preset release
cmake --build build/release

We currently only test with clang + libc++, errors might occur with other toolchains.

Dyno-SV

Dyno-SV is a Dyno-IR based SystemVerilog synthesis tool. For a synthesis pipeline walkthrough by example see here.

Example Usage

Note: Currently yosys-abc must be installed and available in $PATH.

dyno-sv --liberty=sky130_fd_sc_hd.lib MyDesign.v -o=MyGateLevelNetlist.v

Publications

ORConf25: Dyno-SV: An IR-Driven Open Source RTL Synthesis Tool