Confluence System Design Language 0.10.4

Confluence is a language for synchronous reactive system design

Developer:	Tom Hawkins more software by author →
Price:	0.00
License:	GPL (GNU General Public License)
File size:	0K
Language:
OS:
Rating:	0 /5 (0 votes)
Your vote:
enlarge screenshot

Confluence is a language for synchronous reactive system design. A Confluence program can generate digital logic for an FPGA or ASIC platform, or C code for hard real-time software.

Confluence combines the component-based methodologies of Verilog and VHDL with the expressiveness of higher order functional programming.

In comparison to Verilog, VHDL, and C, systems designed in Confluence result in 2X to 10X code reduction, making the source easier to manage and reuse. And because Confluence relies on a correct-by-construction compiler, bugs are reduced – some are prevented altogether – thus reducing the overall verification effort.

Here are some key features of "Confluence System Design Language":

Intuitive, Easy to Learn Syntax: Productive on the first day.

Express More in Far Less: Reduce source code by 3-10 times.

Synchronous RTL: Still the best abstraction level for serious hardware.

Implicit Parallelism, Hierarchy, and Dataflow: Feels like HDL.

Implicit Synchronization: Auto-connect all clocks, resets, and enables.

Guarantees Clean RTL: Prevents common errors and bad design practices.

Recursion and Higher-Order Data-Types: Enter new dimensions of reuse.

Variable Unification: A higher-order connector.

Lexical Scoping: Clean namespace management.

Referential Transparency: Ensures scalable design and verification.

Integrated Module System: Design in the large (multi-source files).

Generates FNF, which in turn generates:
- Verilog
- VHDL
- C
- JHDL
- NuSMV
- FNF

Installation

1. Extract the installation:

$ tar -xzf confluence-0.10.0.tar.gz

2. Set the CF_LIB and CF_ENV environment variables (add the following lines to .bashrc or .bash_profile):

export CF_LIB=/lib # if binary distribution
export CF_LIB=/lib/confluence # if installing from source
export CF_ENV=$CF_LIB/base.cf

3. Install OCaml (http://caml.inria.fr/ocaml/distrib.html).

4. Compile and install the tools. Set the PREFIX location:

$ make PREFIX=/usr install

5. To compile and install the FNF Icarus code generator, see src/ivl/Makefile.
tags

system design higher order and install install the compile and set the verilog vhdl lib lib

Download Confluence System Design Language 0.10.4

http://confluent.org/download/confluence/confluence-0.10.4.tar.gz

Authors software

Similar software

Confluence System Design Language 0.10.4 (by Tom Hawkins)
Confluence is a language for synchronous reactive system design

HDLmaker 7.4.4 (by Joshua Rosen)
HDLmaker is a tool for generating Verilog designs

Covered 0.4.8 (by Trevor Williams)
Covered is a Verilog code coverage analysis tool

Electric 8.04 (by Steven M. Rubin)

Alliance CAD System 5.0 (by LIP6 ASIM TEAM)
Alliance is a complete set of free CAD tools and portable libraries for VLSI design

Greensocs 1.0.0 (by Greensocs Development Team)
Greensocs project is a development kit for producing systems on a chip using SystemC (a C++ derivative) as opposed to Verilog or VHDL

DEX Extensible Operating System 1.035 (by Joseph Emmanuel Dayo)
DEX Extensible Operating System is an operating system specifically designed for educational and research use

mod_ocaml 0.01 (by Leo Fellermayr)
Generally, mod_ocaml is a flexible module for use with the famous Apache Web Server

GODI 20060118 (by Gerd Stolpmann)
GODI library provides an advanced programming environment for the Objective Caml (O'Caml) language.

From INRIA (who created O'Caml)

Caml-get 0.7 (by Maxence Guesdon)
Caml-get project is a tool to distribute and get Objective-Caml code in a way similar to the apt-get utility.

We all have various

Other software in this category

gEDA 20061020 (by Ales Hvezda)
gEDA project is working on producing a full GPL'd suite of Electronic Design Automation tools

TkGate 1.8.5 (by Jeffery Hansen)
TkGate is a event driven digital circuit simulator with a tcl/tk-based graphical editor

Oregano 0.60.0 (by Ricardo Markiewicz)
Oregano project is an application for schematic capture and simulation of electrical circuits

Gaphor 0.8.0 (by Arjan J. Molenaar)
Gaphor is an easy to use modeling environment

Eagle 4.16 (by CadSoft Inc.)
The Eagle EDA software is composed of tightly integrated modules for PCB design, including Schematic Capture, Board Layout, and Autor