上流ウェブサイト <http://www.confluent.org> より:
Confluence プログラムは、FPGA や ASIC プラットフォーム用のデジタル論理 や、ハード用リアルタイムソフトウェアの C コードを生成できます。
Confluence は、Verilog や VHDL のコンポーネントベースな方法論と、高水準 な関数型プログラミングの表現を組み合わせています。
Verilog や VHDL, C との比較では、Confluence によるシステム設計はコード の量が 2 から 10 倍も少なくなり、ソースの管理と再利用が容易になります。 さらに Confluence は Correct by Construction 式のコンパイラに依存して いるためにバグの数は減り -- いくつかは阻止もされ -- 、全般的な確認の労 力も減ることになります。
|
|
|