» Ubuntu » Paket » lucid (10.04LTS) » electronics » confluence
lucid  ] [  precise  ] [  raring  ] [  saucy  ] [  trusty  ] [  utopic  ]
[ Källkod: confluence  ]

Paket: confluence (0.10.6-7) [universe]

Länkar för confluence

Screenshot

Ubunturesurser:

Hämta källkodspaketet confluence:

Ansvarig:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

  • Debian OCaml Maintainers (E-postarkiv)
  • Ralf Treinen
  • Remi Vanicat
  • Stefano Zacchiroli
  • Samuel Mimram
  • Sylvain Le Gall
  • Mike Furr

It should generally not be necessary for users to contact the original maintainer.

Externa resurser:

Liknande paket:

language for synchronous reactive hardware system design

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.

Andra paket besläktade med confluence

  • beror
  • rekommenderar
  • föreslår
  • enhances
  • dep: libc6 (>= 2.7)
    Embedded GNU C Library: Shared libraries
    också ett virtuellt paket som tillhandahålls av libc6-udeb

Hämta confluence

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
amd64 548,3 kbyte3.604,0 kbyte [filförteckning]
i386 467,4 kbyte3.256,0 kbyte [filförteckning]