manual/CHAPTER_Auxprogs.tex

   1
   2 \chapter{Auxiliary Programs}
   3
   4 Besides the main {\tt yosys} executable, the Yosys distribution contains a set
   5 of additional helper programs.
   6
   7 \section{yosys-config}
   8
   9 The {\tt yosys-config} tool (an auto-generated shell-script) can be used to
  10 query compiler options and other information needed for building loadable
  11 modules for Yosys. FIXME: See Sec.~\ref{chapter:prog} for details.
  12
  13 \section{yosys-filterlib}
  14 \label{sec:filterlib}
  15
  16 The {\tt yosys-filterlib} tool is a small utility that can be used to strip
  17 or extract information from a Liberty file. See Sec.~\ref{sec:techmap_extern}
  18 for details.
  19
  20 \section{yosys-abc}
  21
  22 This is a fork of ABC \citeweblink{ABC} with a small set of custom modifications
  23 that have not yet been accepted upstream. Not all versions of Yosys work with
  24 all versions of ABC. So Yosys comes with its own yosys-abc to avoid
  25 compatibility issues between the two.
  26