mirror of https://github.com/YosysHQ/yosys.git
43 lines
1.2 KiB
ReStructuredText
43 lines
1.2 KiB
ReStructuredText
|
Auxiliary libraries
|
|||
|
===================
|
|||
|
|
|||
|
The Yosys source distribution contains some auxiliary libraries that are bundled
|
|||
|
with Yosys.
|
|||
|
|
|||
|
SHA1
|
|||
|
----
|
|||
|
|
|||
|
The files in ``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.
|
|||
|
|
|||
|
BigInt
|
|||
|
------
|
|||
|
|
|||
|
The files in ``libs/bigint/`` provide a library for performing arithmetic with
|
|||
|
arbitrary length integers. It is written by Matt McCutchen.
|
|||
|
|
|||
|
The BigInt library is used for evaluating constant expressions, e.g. using the
|
|||
|
ConstEval class provided in kernel/consteval.h.
|
|||
|
|
|||
|
See also: http://mattmccutchen.net/bigint/
|
|||
|
|
|||
|
.. _sec:SubCircuit:
|
|||
|
|
|||
|
SubCircuit
|
|||
|
----------
|
|||
|
|
|||
|
The files in ``libs/subcircuit`` provide a library for solving the subcircuit
|
|||
|
isomorphism problem. It is written by C. Wolf and based on the Ullmann Subgraph
|
|||
|
Isomorphism Algorithm :cite:p:`UllmannSubgraphIsomorphism`. It is used by the
|
|||
|
extract pass (see :doc:`../cmd/extract`).
|
|||
|
|
|||
|
ezSAT
|
|||
|
-----
|
|||
|
|
|||
|
The files in ``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 C. Wolf. It is used by the sat pass (see
|
|||
|
:doc:`../cmd/sat`).
|
|||
|
|