write_xaiger - write design to XAIGER file¶
yosys> help write_xaiger¶
write_xaiger [options] [filename]
Write the top module (according to the (* top *) attribute or if only one module is currently selected) to an XAIGER file. Any non $_NOT_, $_AND_, (optionally $_DFF_N_, $_DFF_P_), or non (* abc9_box *) cells will be converted into psuedo- inputs and pseudo-outputs. Whitebox contents will be taken from the equivalent module in the '$abc9_holes' design, if it exists.
write ASCII version of AIGER format
write an extra file with port and box symbols
write $_DFF_[NP]_ cells