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

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

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.

标签: Software Development: Compiler, C Development, Machine Code, Field: 电子工程学, Implemented in: OCaml, User Interface: Command Line, : qa::rfa, Role: Program, Scope: Utility, Works with: Source Code

其它与 confluence 有关的软件包

  • 依赖
  • 推荐
  • 建议
  • dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]
    GNU C 语言运行库：共享库
    同时作为一个虚包由这些包填实: libc0.1-udeb
  • dep: libc0.3 (>= 2.9) [hurd-i386]
    GNU C 语言运行库：共享库
    同时作为一个虚包由这些包填实: libc0.3-udeb
  • dep: libc6 (>= 2.3) [amd64, i386]
    GNU C 语言运行库：共享库
    同时作为一个虚包由这些包填实: libc6-udeb
    dep: libc6 (>= 2.4) [powerpc]
    dep: libc6 (>= 2.6) [sparc]
  • dep: ocaml-base-nox-3.11.0 [m68k]
    软件包暂时不可用
  • dep: ocaml-base-nox-3.11.1 [alpha, armel, avr32, hppa, ia64, mips, mipsel, s390]
    本虚包由这些包填实: ocaml-base-nox

下载 confluence

下载可用于所有硬件架构的
硬件架构 版本 软件包大小 安装后大小 文件
alpha 0.10.6-6+b1 239.2 kB2880 kB [文件列表]
amd64 0.10.6-6 547.4 kB3592 kB [文件列表]
armel 0.10.6-6+b1 234.0 kB2880 kB [文件列表]
avr32 (非官方移植版) 0.10.6-6 234.0 kB2880 kB [文件列表]
hppa 0.10.6-6+b1 238.7 kB2880 kB [文件列表]
hurd-i386 0.10.6-6 462.4 kB3236 kB [文件列表]
i386 0.10.6-6 466.9 kB3236 kB [文件列表]
ia64 0.10.6-6+b1 233.9 kB2880 kB [文件列表]
kfreebsd-amd64 0.10.6-6+b1 543.6 kB3462 kB [文件列表]
kfreebsd-i386 0.10.6-6 462.7 kB3110 kB [文件列表]
m68k (非官方移植版) 0.10.6-6 237.7 kB2880 kB [文件列表]
mips 0.10.6-6+b1 233.9 kB2880 kB [文件列表]
mipsel 0.10.6-6+b1 233.9 kB2880 kB [文件列表]
powerpc 0.10.6-6 513.7 kB3360 kB [文件列表]
s390 0.10.6-6+b1 233.9 kB2880 kB [文件列表]
sparc 0.10.6-6 509.8 kB3348 kB [文件列表]