confluence | language for synchronous reactive hardware system design | Mehr ... |
From the upstream website : . A Confluence program can generate digital logic for an FPGA or ASIC platform, or C code for hard real-time software. . Confluence combines the component-based methodologies of Verilog and VHDL with the expressiveness of higher order functional programming. . In comparison to Verilog, VHDL, and C, systems designed in Confluence result in 2X to 10X code reduction, making the source easier to manage and reuse. And because Confluence relies on a correct-by-construction compiler, bugs are reduced--some are prevented altogether--thus reducing the overall verification effort. |