|
Distribution |
Debian stable |
Abteilung |
electronics |
Quelle |
confluence |
Version |
0.10.6-5+b2 |
Maintainer |
Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
|
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.
|
Abhängig von | libc6 (>= 2.7-1) |
Offizielle Seiten |
Paket
Entwicklerinformationen
Bugs (Binärpaket)
Bugs (Quellpaket) |
Download |
amd64 |
|
|
|