Auxiliary programs

Besides the main yosys executable, the Yosys distribution contains a set of additional helper programs.

yosys-config

The yosys-config tool (an auto-generated shell-script) can be used to query compiler options and other information needed for building loadable modules for Yosys. See Writing extensions for details.

yosys-filterlib

The yosys-filterlib tool is a small utility that can be used to strip or extract information from a Liberty file. This can be useful for removing sensitive or proprietary information such as timing or other trade secrets.

yosys-abc

This is a fork of ABC with a small set of custom modifications that have not yet been accepted upstream. Not all versions of Yosys work with all versions of ABC. So Yosys comes with its own yosys-abc to avoid compatibility issues between the two.

yosys-smtbmc

The yosys-smtbmc tool is a utility used by SBY for interacting with smt solvers.

yosys-witness

yosys-witness is a new tool to inspect and convert yosys witness traces. This is used in SBY and SCY for producing traces in a consistent format independent of the solver.

Note

yosys-witness requires click Python package for use.