==========================================================
write_xaiger2 - (experimental) write module to XAIGER file
==========================================================

.. cmd:def:: write_xaiger2
   :title: (experimental) write module to XAIGER file

   .. only:: html



      .. code:: yoscrypt

         write_xaiger2 [options] [filename]

      ::

         Write the selected module to a XAIGER file including the 'h' and 'a' extensions
         with box information for ABC.


      .. code:: yoscrypt

         -strash

      ::

             perform structural hashing while writing


      .. code:: yoscrypt

         -flatten

      ::

             allow descending into submodules and write a flattened view of the design
             hierarchy starting at the selected top


      .. code:: yoscrypt

         -mapping_prep

      ::

             after the file is written, prepare the module for reintegration of
             a mapping in a subsequent command. all cells which are not blackboxed nor
             whiteboxed are removed from the design as well as all wires which only
             connect to removed cells
             (conflicts with -flatten)


      .. code:: yoscrypt

         -map2 <file>

      ::

             write a map2 file which 'read_xaiger2 -sc_mapping' can read to
             reintegrate a mapping
             (conflicts with -flatten)



      ::

         WARNING: THE 'write_xaiger2' COMMAND IS EXPERIMENTAL.

.. only:: latex

   ::

      
          write_xaiger2 [options] [filename]
      
      Write the selected module to a XAIGER file including the 'h' and 'a' extensions
      with box information for ABC.
      
          -strash
              perform structural hashing while writing
      
          -flatten
              allow descending into submodules and write a flattened view of the design
              hierarchy starting at the selected top
      
          -mapping_prep
              after the file is written, prepare the module for reintegration of
              a mapping in a subsequent command. all cells which are not blackboxed nor
              whiteboxed are removed from the design as well as all wires which only
              connect to removed cells
              (conflicts with -flatten)
      
          -map2 <file>
              write a map2 file which 'read_xaiger2 -sc_mapping' can read to
              reintegrate a mapping
              (conflicts with -flatten)
      
      
      WARNING: THE 'write_xaiger2' COMMAND IS EXPERIMENTAL.