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

.. cmd:def:: abc_new
   :title: (experimental) use ABC for SC technology mapping (new)

   .. only:: html



      .. code:: yoscrypt

         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.


      .. code:: yoscrypt

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


      .. code:: yoscrypt

         -exe <command>

      

      .. code:: yoscrypt

         -script <file>

      

      .. code:: yoscrypt

         -D <picoseconds>

      

      .. code:: yoscrypt

         -constr <file>

      

      .. code:: yoscrypt

         -dont_use <cell_name>

      

      .. code:: yoscrypt

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

.. only:: latex

   ::

      
          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.