36 lines
1.3 KiB
TeX
36 lines
1.3 KiB
TeX
|
|
\chapter{Auxiliary Libraries}
|
|
|
|
The Yosys source distribution contains some auxiliary libraries that are bundled
|
|
with Yosys.
|
|
|
|
\section{SHA1}
|
|
|
|
The files in {\tt libs/sha1/} provide a public domain SHA1 implementation written
|
|
by Steve Reid, Bruce Guenter, and Volker Grabsch. It is used for generating
|
|
unique names when specializing parameterized modules.
|
|
|
|
\section{BigInt}
|
|
|
|
The files in {\tt libs/bigint/} provide a library for performing arithmetic with
|
|
arbitrary length integers. It is written by Matt McCutchen \citeweblink{bigint}.
|
|
|
|
The BigInt library is used for evaluating constant expressions, e.g.~using the {\tt
|
|
ConstEval} class provided in {\tt kernel/consteval.h}.
|
|
|
|
\section{SubCircuit}
|
|
\label{sec:SubCircuit}
|
|
|
|
The files in {\tt libs/subcircuit} provide a library for solving the subcircuit
|
|
isomorphism problem. It is written by Clifford Wolf and based on the Ullmann
|
|
Subgraph Isomorphism Algorithm \cite{UllmannSubgraphIsomorphism}. It is used by
|
|
the {\tt extract} pass (see {\tt help extract} or Sec.~\ref{cmd:extract}).
|
|
|
|
\section{ezSAT}
|
|
|
|
The files in {\tt libs/ezsat} provide a library for simplifying generating CNF
|
|
formulas for SAT solvers. It also contains bindings of MiniSAT. The ezSAT
|
|
library is written by Clifford Wolf. It is used by the {\tt sat} pass (see
|
|
{\tt help sat} or Sec.~\ref{cmd:sat}).
|
|
|