DEBFIND Suche nach Debian-Paketen

Suchplatform für Softwarepakete und Archive Debian-basierter Linux-Distributionen

beta ! Diese website wird noch weiterentwickelt.

Liste aller Kategorien/Sektionen | Suchmaske | Haftungsausschluß

Paketbeschreibung


Paketnameconfluence
Beschreibunglanguage for synchronous reactive hardware system design
Archiv/RepositoryOffizielles Debian Archiv squeeze (main)
Version0.10.6-7
Sektionelectronics
Prioritätoptional
Installierte Größe3248 Byte
Hängt ab vonlibc6 (>= 2.7)
Empfohlene Paketevim-addon-manager
PaketbetreuerDebian OCaml Maintainers
Quelle
Paketgröße481282 Byte
Prüfsumme MD529fb9b0df59c893d4ed8d6c7541b0c33
Prüfsumme SHA143df57a5c0cf3f9fc6cf33cdaeb0bc6ed75d0839
Prüfsumme SHA256acbc2a07bc9b924cc3100497bf9259a8a604db5baf70474d2a7a78241c7aa281
Link zum Herunterladenconfluence_0.10.6-7_i386.deb
Ausführliche BeschreibungFrom 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.


Impressum
Linux is a registered trademark of Linus Torvalds