write_xaiger2 - (experimental) write module to XAIGER file

yosys> help write_xaiger2

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.