write_aiger2 - (experimental) write design to AIGER file

yosys> help write_aiger2
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.