cf(1) [centos man page]
cf(1) cf(1) NAME cf - Confluence compiler SYNOPSIS cf [options] [file] [arguments] DESCRIPTION Confluence is a functional programming language for reactive system design, including digital logic systems (ASIC, FPGA) and control ori- ented hard real-time software. The Confluence compiler (cf) translates a Confluence description into Verilog and VHDL (for digital logic synthesis), C (for simulation and software targets), and NuSMV (for formal verification, via model checking). OPTIONS -h OR -help Prints this information then exits. -b filename OR -base_env filename Sets the base environment for the compilation. Overrides the CF_ENV environment variable. If CF_ENV not defined and -base_env option not set, the base environment defaults to /usr/share/confluence/base.cf. -e integer OR -error_limit integer Sets the maximum number of reported errors. A negative number reports all errors. -c OR -compile_only Parses and compiles, but does not evaluate a program. -o name Sets the output file name. Default is out.fnf. -test Run the built in unit tests. ENVIRONMENT VARIABLES CF_ENV A filename that specifies the base environment (commonly base.cf). CF_LIB The directory location of the Confluence standard library (optional). VERSION 0.10.6 AUTHOR Tom Hawkins (tomahawkins@yahoo.com) SEE ALSO http://www.confluent.org/ COPYRIGHT Copyright (C) 2003-2005 Tom Hawkins 31 January 2010 cf(1)
Check Out this Related Man Page
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)