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 unmodified copy of ABC \citeweblink{ABC}. Not all versions of Yosys
  23 work with all versions of ABC. So Yosys comes with its own yosys-abc to avoid
  24 compatibility issues between the two.
  25