Confluence は、FPGA、ASICそしてハードリアルタイム ソフトウェアを含む反応システムの設計用の関数型プログラミング言語です。 Confluenceのシステムの記述は大きな情報量/行数比を持ちます。 通常 Verilog に比べ 2〜5倍以上コンパクトに記述されます。Confluenceの単一のソースコードはVerilog, VHDL, C あるいは NuSMV にコンパイルすることができます。
