[  etch  ] [  etch-m68k  ] [  lenny  ] [  squeeze  ] [  sid  ]
[ ソース: confluence  ]

パッケージ: confluence (0.10.6-3 など)

同期応答的なハードウェアシステム設計用言語

上流ウェブサイト <http://www.confluent.org> より:

Confluence プログラムは、FPGA や ASIC プラットフォーム用のデジタル論理 や、ハード用リアルタイムソフトウェアの C コードを生成できます。

Confluence は、Verilog や VHDL のコンポーネントベースな方法論と、高水準 な関数型プログラミングの表現を組み合わせています。

Verilog や VHDL, C との比較では、Confluence によるシステム設計はコード の量が 2 から 10 倍も少なくなり、ソースの管理と再利用が容易になります。 さらに Confluence は Correct by Construction 式のコンパイラに依存して いるためにバグの数は減り -- いくつかは阻止もされ -- 、全般的な確認の労 力も減ることになります。

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