========================================================
write_aiger2 - (experimental) write design to AIGER file
========================================================

.. cmd:def:: write_aiger2
   :title: (experimental) write design to AIGER file

   .. only:: html



      .. code:: yoscrypt

         write_aiger2 [options] [filename]

      ::

         Write the selected module to an AIGER file.


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


      ::

         This command is able to ingest all combinational cells except for:

             $alu, $lcu, $demux, $bweqx, $macc, $concat, $pow, $modfloor, $divfloor, 
             $mod, $div, $mul, $sub, $add, $nex, $eqx, $shiftx, $shift, $sshr, 
             $sshl, $shr, $shl, $sop, $lut, $slice, $neg, 

         And all combinational gates except for:

             $_TBUF_, $_MUX16_, $_MUX8_, $_MUX4_, 

         WARNING: THE 'write_aiger2' COMMAND IS EXPERIMENTAL.

.. only:: latex

   ::

      
          write_aiger2 [options] [filename]
      
      Write the selected module to an AIGER file.
      
          -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
      
      This command is able to ingest all combinational cells except for:
      
          $alu, $lcu, $demux, $bweqx, $macc, $concat, $pow, $modfloor, $divfloor, 
          $mod, $div, $mul, $sub, $add, $nex, $eqx, $shiftx, $shift, $sshr, 
          $sshl, $shr, $shl, $sop, $lut, $slice, $neg, 
      
      And all combinational gates except for:
      
          $_TBUF_, $_MUX16_, $_MUX8_, $_MUX4_, 
      
      WARNING: THE 'write_aiger2' COMMAND IS EXPERIMENTAL.