cf

Langue: en

Autres versions - même langue

Version: November 24, 2007 (ubuntu - 07/07/09)

Section: 1 (Commandes utilisateur)

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 oriented hard real\fB-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

\fB-h OR -help Prints this information then exits.

\fB-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 \fB-base_env option not set, the base environment defaults to /usr/share/confluence/base.cf.

\fB-e integer OR -error_limit integer

Sets the maximum number of reported errors.
A negative number reports all errors.

\fB-c OR -compile_only Parses and compiles, but does not evaluate a program.

\fB-o name

Sets the output file name.
Default is out.fnf.

\fB-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 (C) 2003\fB-2005 Tom Hawkins