| Paketname | confluence | 
| Beschreibung | language for synchronous reactive hardware system design | 
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) | 
| Version | 0.10.6-7 | 
| Sektion | electronics | 
| Priorität | optional | 
| Installierte Größe | 3248 Byte | 
| Hängt ab von | libc6 (>= 2.7) | 
| Empfohlene Pakete | vim-addon-manager | 
| Paketbetreuer | Debian OCaml Maintainers | 
| Quelle |  | 
| Paketgröße | 481282 Byte | 
| Prüfsumme MD5 | 29fb9b0df59c893d4ed8d6c7541b0c33 | 
| Prüfsumme SHA1 | 43df57a5c0cf3f9fc6cf33cdaeb0bc6ed75d0839 | 
| Prüfsumme SHA256 | acbc2a07bc9b924cc3100497bf9259a8a604db5baf70474d2a7a78241c7aa281 | 
| Link zum Herunterladen | confluence_0.10.6-7_i386.deb | 
| Ausführliche Beschreibung | From the upstream website:
.
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. |