Yosys

Yosys

Yosys is framework for RTL synthesis tools. It is possible to compile Yosys as a library but by default it compiles as a executable. It contains all common tools like abc, minisat etc.. Also it has many backends and frontends for various formats.

Can be compiled as a library but all symbols are stripped during installation and header files are not installed. This factors together with missing documentation in code makes Yosys hard to use on C++ API level.

• License: ISC
• Internal representation: netlist of processes
• Optimization paradigm: walker

Yosys internal representation

Yosys internal representation is called RTLIL. It is AST but is more or less netlist of processes. rtlil.h