aboutsummaryrefslogtreecommitdiffstats
path: root/util/flashrom_tester/src
ModeNameSize
-rw-r--r--cros_sysinfo.rs2953logstatsplain
-rw-r--r--lib.rs1882logstatsplain
-rw-r--r--logger.rs5518logstatsplain
-rw-r--r--main.rs5032logstatsplain
-rw-r--r--rand_util.rs2793logstatsplain
-rw-r--r--tester.rs21983logstatsplain
-rw-r--r--tests.rs13776logstatsplain
-rw-r--r--types.rs2172logstatsplain
-rw-r--r--utils.rs9458logstatsplain
t .vg { color: #dd7700 } /* Name.Variable.Global */ .highlight .vi { color: #3333bb } /* Name.Variable.Instance */ .highlight .vm { color: #336699 } /* Name.Variable.Magic */ .highlight .il { color: #0000DD; font-weight: bold } /* Literal.Number.Integer.Long */
\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}).