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

Paquet : confluence (0.10.6-3 et autres)

Langage pour la conception de système matériel réactif et synchrone

Basé sur le site d'origine <http://www.confluent.org> :

Un programme Confluence peut créer de la logique numérique pour une plateforme FPGA ou ASIC ou bien du code C pour des logiciels temps-réels durs.

Confluence combine les méthodologies basées sur les composants de Verilog et de VHDL avec l'expressivité d'un langage de programmation de haut niveau.

Comparé à Verilog, VHDL et C, les systèmes conçus en Confluence ont un code deux à dix fois plus petit, rendant le code source plus facile à gérer et à réutiliser. Confluence se basant sur un compilateur correct par construction, les bogues sont donc réduits - certains sont totalement impossibles - et l'effort de vérification globale l'est aussi.

Autres paquets associés à confluence

  • dépendances
  • recommandations
  • suggestions
  • dep: libc6 (>= 2.3.5-1) [amd64, arm, i386, powerpc, sparc]
    bibliothèque C GNU : bibliothèques partagées
    un paquet virtuel est également fourni par libc6-udeb
  • dep: libc6.1 (>= 2.3.5-1) [alpha, ia64]
    bibliothèque C GNU : bibliothèques partagées
    un paquet virtuel est également fourni par libc6.1-udeb
  • dep: ocaml-base-nox-3.09.2 [hppa, 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-3 576,7 ko3636 ko [liste des fichiers]
amd64 0.10.6-3 457,3 ko3324 ko [liste des fichiers]
arm 0.10.6-3 463,7 ko2913 ko [liste des fichiers]
hppa 0.10.6-3+b2 225,7 ko2808 ko [liste des fichiers]
i386 0.10.6-3 420,0 ko3002 ko [liste des fichiers]
ia64 0.10.6-3 695,4 ko4236 ko [liste des fichiers]
mips 0.10.6-3+b1 225,7 ko2808 ko [liste des fichiers]
mipsel 0.10.6-3+b1 225,7 ko2808 ko [liste des fichiers]
powerpc 0.10.6-3 464,5 ko3220 ko [liste des fichiers]
s390 0.10.6-3+b2 225,7 ko2808 ko [liste des fichiers]
sparc 0.10.6-3 470,4 ko3240 ko [liste des fichiers]