High level dataflow programming for FPGAs

CAPH is a domain-specific  language for describing and implementing stream-processing applications on reconfigurable hardware, such as FPGAs. CAPH generates VHDL code from high-level descriptions of signal or image processing applications. CAPH relies upon the actor/dataflow model of computation. Applications are described as networks of purely dataflow actors exchanging tokens through unidirectional channels and the behavior of each actor is defined as a set of transition rules using pattern matching.

• Higher-order, purely functional language for description of complex dataflow networks
• Rich type system with sized-integers, booleans, floats, fully polymorphic algebraic data types and dependent types
• Automatic type inference and type-checking
• Stateful actors
• Pattern-matching based description of actor behavior
• Graphical visualization of dataflow networks
• Code simulation with trace facilities
• SystemC back-end for simulation
• Generates target-independent, ready-to-synthetize VHDL code
• Foreign-function interface to use existing SystemC or VHDL code

More information on the dedicated website.