In the ENOSYS project, we developed a set of tools for high-level synthesis of high-performance FPGA systems.
The tools address the following domains:
- Modelio - high-level specification of embedded systems with UML, SysML, MARTE. Application logic modeling with state charts and action code.
- FalconML - design-space exploration and high-level synthesis of FPGA systems.
- Jink - tool flow automation and design-space exploration through extensive search methods.
- ACOT - for pre-synthesis source code optimization.
This tools are freely available for download and personal or professional use.