man cf (1): 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-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 ([email protected])