[  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.

Теги: Разработка программного обеспечения: Компилятор, Разработка на C, Машинный код, Область: Электроника, Реализовано на: OCaml, Пользовательский интерфейс: Командная строка, : qa::rfa, Роль: Программа, Область: Утилита, Работает с: Исходный код

Другие пакеты, относящиеся к 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 Кб2880 Кб [список файлов]
amd64 0.10.6-6 547,4 Кб3592 Кб [список файлов]
armel 0.10.6-6+b1 234,0 Кб2880 Кб [список файлов]
avr32 (неофициальный перенос) 0.10.6-6 234,0 Кб2880 Кб [список файлов]
hppa 0.10.6-6+b1 238,7 Кб2880 Кб [список файлов]
hurd-i386 0.10.6-6 462,4 Кб3236 Кб [список файлов]
i386 0.10.6-6 466,9 Кб3236 Кб [список файлов]
ia64 0.10.6-6+b1 233,9 Кб2880 Кб [список файлов]
kfreebsd-amd64 0.10.6-6+b1 543,6 Кб3462 Кб [список файлов]
kfreebsd-i386 0.10.6-6 462,7 Кб3110 Кб [список файлов]
m68k (неофициальный перенос) 0.10.6-6 237,7 Кб2880 Кб [список файлов]
mips 0.10.6-6+b1 233,9 Кб2880 Кб [список файлов]
mipsel 0.10.6-6+b1 233,9 Кб2880 Кб [список файлов]
powerpc 0.10.6-6 513,7 Кб3360 Кб [список файлов]
s390 0.10.6-6+b1 233,9 Кб2880 Кб [список файлов]
sparc 0.10.6-6 509,8 Кб3348 Кб [список файлов]