abc_new - (experimental) use ABC for SC technology mapping (new)

yosys> help abc_new

abc_new [options] [selection]

This command uses the ABC tool [1] to optimize the current design and map it to
the target standard cell library.

-run <from_label>:<to_label>

only run the commands between the labels (see below). an empty
from label is synonymous to 'begin', and empty to label is
synonymous to the end of the command list.

-exe <command>

-script <file>

-D <picoseconds>

-constr <file>

-dont_use <cell_name>

-liberty <file>

these options are passed on to the 'abc9_exe' command which invokes
the ABC tool on individual modules of the design. please see
'help abc9_exe' for more details

[1] http://www.eecs.berkeley.edu/~alanmi/abc/


    check:
        abc9_ops -check

    prep_boxes:
        box_derive
        abc9_ops -prep_box

    map:
        foreach module in selection
          abc9_ops -write_box <abc-temp-dir>/input.box
          write_xaiger2 -mapping_prep -map2 <abc-temp-dir>/input.map2 <abc-temp-dir>/input.xaig
          abc9_exe [options] -cwd <abc-temp-dir> -box <abc-temp-dir>/input.box
          read_xaiger2 -sc_mapping -module_name <module> -map2 <abc-temp-dir>/input.map2 <abc-temp-dir>/output.aig


WARNING: THE 'abc_new' COMMAND IS EXPERIMENTAL.