[  etch  ] [  etch-m68k  ] [  lenny  ] [  squeeze  ] [  sid  ]
[ Paquet source : confluence  ]

Paquet : confluence (0.10.6-6 et autres)

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.

Étiquettes: Software Development: Compiler, C Development, Machine Code, Field: Électronique, Implemented in: OCaml, User Interface: Command Line, : qa::rfa, Role: Program, Scope: Utility, Works with: Source Code

Autres paquets associés à confluence

  • dépendances
  • recommandations
  • suggestions
  • dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]
    bibliothèque C GNU : bibliothèques partagées
    un paquet virtuel est également fourni par libc0.1-udeb
  • dep: libc0.3 (>= 2.9) [hurd-i386]
    bibliothèque C GNU : bibliothèques partagées
    un paquet virtuel est également fourni par libc0.3-udeb
  • dep: libc6 (>= 2.3) [amd64, i386]
    bibliothèque C GNU : bibliothèques partagées
    un paquet virtuel est également fourni par libc6-udeb
    dep: libc6 (>= 2.4) [powerpc]
    dep: libc6 (>= 2.6) [sparc]
  • dep: ocaml-base-nox-3.11.0 [m68k]
    Paquet indisponible
  • dep: ocaml-base-nox-3.11.1 [alpha, armel, avr32, hppa, ia64, mips, mipsel, s390]
    paquet virtuel fourni par ocaml-base-nox

Télécharger confluence

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
alpha 0.10.6-6+b1 239,2 ko2880 ko [liste des fichiers]
amd64 0.10.6-6 547,4 ko3592 ko [liste des fichiers]
armel 0.10.6-6+b1 234,0 ko2880 ko [liste des fichiers]
avr32 (portage non officiel) 0.10.6-6 234,0 ko2880 ko [liste des fichiers]
hppa 0.10.6-6+b1 238,7 ko2880 ko [liste des fichiers]
hurd-i386 0.10.6-6 462,4 ko3236 ko [liste des fichiers]
i386 0.10.6-6 466,9 ko3236 ko [liste des fichiers]
ia64 0.10.6-6+b1 233,9 ko2880 ko [liste des fichiers]
kfreebsd-amd64 0.10.6-6+b1 543,6 ko3462 ko [liste des fichiers]
kfreebsd-i386 0.10.6-6 462,7 ko3110 ko [liste des fichiers]
m68k (portage non officiel) 0.10.6-6 237,7 ko2880 ko [liste des fichiers]
mips 0.10.6-6+b1 233,9 ko2880 ko [liste des fichiers]
mipsel 0.10.6-6+b1 233,9 ko2880 ko [liste des fichiers]
powerpc 0.10.6-6 513,7 ko3360 ko [liste des fichiers]
s390 0.10.6-6+b1 233,9 ko2880 ko [liste des fichiers]
sparc 0.10.6-6 509,8 ko3348 ko [liste des fichiers]