==============================================
read_xaiger2 - (experimental) read XAIGER file
==============================================

.. cmd:def:: read_xaiger2
   :title: (experimental) read XAIGER file

   .. only:: html



      .. code:: yoscrypt

         read_xaiger2 -sc_mapping [options] <filename>

      ::

         Read a standard cell mapping from a XAIGER file into an existing module.


      .. code:: yoscrypt

         -module_name <name>

      ::

             name of the target module


      .. code:: yoscrypt

         -map2 <filename>

      ::

             read file with symbol information



      ::

         WARNING: THE 'read_xaiger2' COMMAND IS EXPERIMENTAL.

.. only:: latex

   ::

      
          read_xaiger2 -sc_mapping [options] <filename>
      
      Read a standard cell mapping from a XAIGER file into an existing module.
      
          -module_name <name>
              name of the target module
      
          -map2 <filename>
              read file with symbol information
      
      
      WARNING: THE 'read_xaiger2' COMMAND IS EXPERIMENTAL.