Output formats are EDIF, XNF and VHDL.

• 输出格式是EDIF,XNF和VHDL。