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.