Xilinx Netlist Format

Xilinx-developed tools use XNF and handle the details of the
FPGA architecture. Converters are available for a number of
widely-used HDLs - for example Verilog (xnf2ver) - so
that designers can use familiar tools to develop Logic Cell
Array designs. In addition, XNF can be converted to the input
language of different logic simulators.