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

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

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

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

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

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

タグ: ソフトウェア開発: コンパイラ, C での開発, 機械語, 分野: 電子工学, 実装言語: OCaml, ユーザインタフェース: コマンドライン, : qa::rfa, 役割: プログラム, 対象範囲: ユーティリティ, 取り扱い対象: ソースコード