Keywords: formality, equivalence, NetGen
When I run Generate Post-translate Formality Netlist on a Virtex-5 project, the following message occurs:
"Release 8.2i - netgen I.29
Copyright (c) 1995-2006 Xilinx, Inc. All rights reserved.
ERROR:NetListWriters:437 - Unknown output netlist type.
For equivalence checking netlist, the -ecn switch is required.
For simulation netlist, the -ofmt switch is required with either
verilog or vhdl argument.
For static timing analysis netlist, the -sta switch is required.
Use "netgen -h <netlist_type>" to display netlist-specific options.
Valid netlist_types are:
equivalence or ecn (display options for equivalence checking netlist)
simulation or sim (display options for simulation netlist)
static or sta (display options for static timing analysis netlist)
netgen extracts design data from the input file and generates netlist compatible
with supported equivalence checking, simulation or static timing analysis tools.
Process "" completed successfully"