Confluence

A programming language for synchronous reactive system design which combines the component-based methodologies of Verilog? and VHDL with the expressiveness of higher-order functional programming; it can generate digital logic for an FPGA or ASIC? platform, or C code for hard real-time software.