Confluence System Design Language
Details
| Size: | 0K |
| Last Update: | 2008-05-18 22:06:26 |
| Version: | 0.10.4 |
| OS Support: | Linux |
| License/Program Type: | GPL (GNU General Public License) |
| Publisher: | Tom Hawkins |
| Price: | $0.00 |
Description:
Confluence System Design Language 0.10.4 is electronic design automation ( software 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.
Confluence System Design Language 0.10.4 supports different languages (including english). It works with Linux.
Downloading Confluence System Design Language 0.10.4 will take if you use fast ADSL connection.
0 comments
Add to
Confluence System Design Language Version History
Related Software
|
|
From category: Bioinformatics |
| Array Designer 4.11 is bioinformatics software developed by PREMIER Biosoft International. Array Designer project can help design thousands of efficient, highly specific oligos to make microarrays... |
|
|
From category: Bioinformatics |
| Systems Biology Workbench (SBW) is a simple framework for application intercommunications.... |
|
|
From category: Image-Recognition |
| ADS Dexter 0.40 is image recognition software developed by Markus Demleitner. The following is an excerpt from a poster presented at the American Astronomical Society\'s 2000 Summer meeting in Roch... |
|
|
From category: Visualization |
| Gvectors uses the libgvectors library to visualize mathematical three dimensional vectors.... |
|
|
From category: Chemistry |
| BKchem 0.12.0_01 is chemistry software developed by beda. BKchem is a free chemical drawing program. BKchem was concieved and written by Beda Kosata. BKchem is written in Python, an interpre... |
|
|
From category: Bioinformatics |
| Bioclipse 1.0 is bioinformatics software developed by Bioclipse Team. Bioclipse is a rich-client platform chemistry and biology workbench. Bioclipse provides access to many open source bioinformati... |
|
|
From category: Mathematics |
| ECalc 0.3.0 is mathematics software developed by Henrik Gustafsson. ECalc application is a calculator plug-in for Eclipse that provides the ability to evaluate mathematical expressions. To i... |
|
|
From category: Electronic-Design-Automation-EDA |
| CAPSIM Text Mode Kernel (TMK) is a hierarchical interactive block diagram simulation and design system for digital signal proces... |
|
|
From category: Artificial-Intelligence |
| Evolvica 0.6.3.2 is artificial intelligence software developed by Andreas Rummler. Evolvica is a Java Framework for evolutionary algorithms. It is the successor of eaLib, which has been developed a... |
|
|
From category: Mathematics |
| FrAid is an interface to Java for math processing and a complete Matlab-like system.... |
|
|
From category: Geographical |
| DX Toolbox 2.4.0 is geographical software developed by Black Cat Systems. DX Toolbox searches the web for you, gathering information on solar and geomagnetic conditions that affect radio propagatio... |
|
|
From category: Mathematics |
| MPFI it&039;s a multiple precision interval arithmetic library based on MPFR.... |
|
|
From category: Image-Recognition |
| Archimedes 0.0.4 is image recognition software developed by Jean Michel Sellier. GNU Archimedes is the GNU package for the design and simulation of submicron semiconductor devices. Archimedes is a... |
|
|
From category: Bioinformatics |
| CLC Combined Workbench 2.1 is bioinformatics software developed by CLC bio A/S. CLC Combined Workbench creates a software environment enabling users to make a large number of advanced protein seque... |
|
|
From category: Chemistry |
| frowns 0.9a is chemistry software developed by wc2so1. Frowns is a chemoinformatics toolkit geared toward rapid development of chemistry related algorithms. It is written in almost 100% Python wit... |
Leave a comment