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.
|