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.