• Home
  • Popular Downloads
  • Contact Us
  • Submit

Softpile

Free Downloads

Main Navigation
  • Home
  • Windows
  • Mac OS X
  • Business
  • Desktop
  • Development
  • Education
  • Games
  • Internet
  • Multimedia
  • Utilities
Home » Linux » Confluence System Design Language

Confluence System Design Language

April 1, 2005
Confluence System Design Language is a language for reactive system design.
Version: 0.10.4
License: GPL
Operating System: Linux
Homepage: www.confluent.org
Developed by: Tom Hawkins
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.
design reactive reactive system system system design
Free Download 113K
0
  • Share on:

Confluence System Design Language User Reviews

Sponsored

Categories

  • Linux

Related Downloads

Electric
A complete EDA system that can handle many forms of circuit design.
Easy Funktion
A 2D function plotter and equation solver
Gaphor
An UML modeling tool.
Oregano
Oregano is a schematic capture and circuit simulation application.
Qucs
A Qt universal circuit simulator.
Copyright © 1999-2017 Softpile Free Downloads
  • Contact Us
  • Submit
  • Privacy Policy
  • Disclaimer
  • Terms of Use