56 lines
1.4 KiB
ReStructuredText
56 lines
1.4 KiB
ReStructuredText
Examples
|
|
============
|
|
|
|
All commands
|
|
----------------------------------
|
|
|
|
Input:
|
|
::
|
|
help
|
|
|
|
|
|
Output:
|
|
::
|
|
Verification commands:
|
|
cec exprsim sat sim
|
|
|
|
Mapping commands:
|
|
lut_mapping lutmap techmap
|
|
|
|
Synthesis commands:
|
|
balance create_graph reduction refactor
|
|
resub resyn rewrite
|
|
|
|
I/O commands:
|
|
load read_aiger read_bench read_blif
|
|
read_genlib read_verilog write_aiger write_bench
|
|
write_blif write_dot write_genlib write_verilog
|
|
|
|
General commands:
|
|
alias convert current help
|
|
print ps quit set
|
|
show store
|
|
|
|
For more details, simply add '-h' after command to see all options of this command.
|
|
|
|
Synthesis of EPFL benchmarks
|
|
----------------------------------
|
|
|
|
In the following example, we show how `phyLS` can be used to synthesize a EPFL benchamrk.
|
|
|
|
Input:
|
|
::
|
|
read_aiger ~/phyLS/benchmarks/adder.aig
|
|
ps -a
|
|
resub // any synthesis commands
|
|
ps -a
|
|
read_genlib ~/phyLS/src/mcnc.genlib
|
|
techmap
|
|
|
|
Output:
|
|
::
|
|
$ AIG i/o = 256/129 gates = 1020 level = 255
|
|
$ ntk i/o = 256/129 gates = 893 level = 256
|
|
[CPU time] 0.09 s
|
|
$ Mapped AIG into #gates = 701 area = 1849.00 delay = 204.90
|