fnf(1) fnf(1)
NAME
fnf - translate from FNF format to other formats
SYNOPSIS
fnf [options]
DESCRIPTION
FNF (Free Netlist Format) is an elaborated, hierarchical, register transfer level (RTL) netlist format used to communicate design informa-
tion between frontend EDA tools.
The FNF tool translates an FNF netlist to Verilog, VHDL, C, and NuSMV.
OPTIONS
Options are processed in the order they are received.
-h OR -help Prints this information then exits.
-read_fnf file Read in an FNF netlist.
-write_fnf file Write out an FNF netlist.
-write_nusmv file Write out an NuSMV description.
-write_verilog file Write out a Verilog netlist.
-write_vhdl file Write out a VHDL netlist.
-write_c file
Write out a C model.
Appends '.c' and '.h' to file name.
-write_jhdl class
Write out a JHDL netlist.
Appends .java to class name.
EXAMPLES
Building an FNF netlist from Verilog using Icarus:
$ iverilog -Wall -t fnf -o my_netlist.fnf my_verilog.v
Use FNF to produce a Verilog and C model:
$ fnf -read_fnf my_netlist.fnf -write_verilog my_netlist.v -write_c my_netlist
Use FNF to produce an NuSMV model:
$ fnf -read_fnf my_netlist.fnf -write_nusmv my_netlist.smv
Use FNF to produce another FNF netlist:
$ fnf -read_fnf my_netlist.fnf -write_fnf my_netlist2.fnf
KNOWN LIMITATIONS
General
o No tristate support.
o No memory support.
o No division or modulo operators.
Icarus Verilog FNF Code Generator
o Assumes ports and named signals have [n:0] ordering.
o "always" blocks are constrained to the Icarus Verilog synthesizable subset.
o All register clocks and asynchronous resets must be senitive on the rising edge. WARNING: No errors will be issued if a design
contains "negedge".
o All arithmetic operations must be unsigned. WARNING: No errors will be issued if a design contains signed operations.
o Multipliers can not be embbeded in concatenations.
Verilog and VHDL Model Writer
o Netlist is flat.
NuSMV Model Writer
- 2-value model.
No X's or Z's.
o Inputs assumed to init to 0.
o Registers are initialized to 0.
VERSION
0.10.6
AUTHOR
Tom Hawkins
SEE ALSO
FNF and Confluence : http://www.confluent.org/
Icarus Verilog
: http://www.icarus.com/eda/verilog/
NuSMV : http://nusmv.irst.itc.it/
COPYRIGHT
Copyright (C) 2004-2005 Tom Hawkins
31 January 2010 fnf(1)