[  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 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 [ファイル一覧]