[  etch  ] [  etch-m68k  ] [  lenny  ] [  squeeze  ] [  sid  ]
[ 源代码: confluence  ]

软件包: confluence (0.10.6-3 以及其他的)

language for synchronous reactive hardware system design

From the upstream website <http://www.confluent.org>:

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.

其它与 confluence 有关的软件包

  • 依赖
  • 推荐
  • 建议
  • dep: libc6 (>= 2.3.5-1) [amd64, arm, i386, powerpc, sparc]
    GNU C 语言运行库：共享库
    同时作为一个虚包由这些包填实: libc6-udeb
  • dep: libc6.1 (>= 2.3.5-1) [alpha, ia64]
    GNU C 语言运行库：共享库
    同时作为一个虚包由这些包填实: libc6.1-udeb
  • dep: ocaml-base-nox-3.09.2 [hppa, mips, mipsel, s390]
    本虚包由这些包填实: ocaml-base-nox

下载 confluence

下载可用于所有硬件架构的
硬件架构 版本 软件包大小 安装后大小 文件
alpha 0.10.6-3 576.7 kB3636 kB [文件列表]
amd64 0.10.6-3 457.3 kB3324 kB [文件列表]
arm 0.10.6-3 463.7 kB2913 kB [文件列表]
hppa 0.10.6-3+b2 225.7 kB2808 kB [文件列表]
i386 0.10.6-3 420.0 kB3002 kB [文件列表]
ia64 0.10.6-3 695.4 kB4236 kB [文件列表]
mips 0.10.6-3+b1 225.7 kB2808 kB [文件列表]
mipsel 0.10.6-3+b1 225.7 kB2808 kB [文件列表]
powerpc 0.10.6-3 464.5 kB3220 kB [文件列表]
s390 0.10.6-3+b2 225.7 kB2808 kB [文件列表]
sparc 0.10.6-3 470.4 kB3240 kB [文件列表]