documentation
parent
7a77c8b2cf
commit
43d55682da
|
@ -5,6 +5,7 @@ All commands
|
||||||
----------------------------------
|
----------------------------------
|
||||||
|
|
||||||
Input:
|
Input:
|
||||||
|
|
||||||
.. code-block:: bash
|
.. code-block:: bash
|
||||||
|
|
||||||
help
|
help
|
||||||
|
@ -39,6 +40,7 @@ Synthesis of EPFL benchmarks
|
||||||
In the following example, we show how `phyLS` can be used to synthesize a EPFL benchamrk.
|
In the following example, we show how `phyLS` can be used to synthesize a EPFL benchamrk.
|
||||||
|
|
||||||
Input:
|
Input:
|
||||||
|
|
||||||
.. code-block:: bash
|
.. code-block:: bash
|
||||||
|
|
||||||
read_aiger ~/phyLS/benchmarks/adder.aig
|
read_aiger ~/phyLS/benchmarks/adder.aig
|
||||||
|
|
Loading…
Reference in New Issue