aboutsummaryrefslogtreecommitdiffstats
path: root/manual/CHAPTER_Auxprogs.tex
blob: f09b18f76108bd6989f3f3131bf23b5899e5582f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
\chapter{Auxiliary Programs}

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

\section{yosys-config}

The {\tt 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. FIXME: See Sec.~\ref{chapter:prog} for details.

\section{yosys-filterlib}
\label{sec:filterlib}

The {\tt yosys-filterlib} tool is a small utility that can be used to strip
or extract information from a Liberty file. See Sec.~\ref{sec:techmap_extern}
for details.

\section{yosys-abc}

This is a fork of ABC \citeweblink{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.