write_aiger - write design to AIGER file

    write_aiger [options] [filename]

Write the current design to an AIGER file. The design must be flattened and
must not contain any cell types except $_AND_, $_NOT_, simple FF types,
$assert and $assume cells, and $initstate cells.

$assert and $assume cells are converted to AIGER bad state properties and
invariant constraints.

        write ASCII version of AGIER format

        convert FFs to zero-initialized FFs, adding additional inputs for
        uninitialized FFs.

        design outputs are AIGER bad state properties

        include a symbol table in the generated AIGER file

    -map <filename>
        write an extra file with port and latch symbols

    -vmap <filename>
        like -map, but more verbose

    -I, -O, -B
        If the design contains no input/output/assert then create one
        dummy input/output/bad_state pin to make the tools reading the
        AIGER file happy.