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`).
|
||
|