Section: Contracts and Grants with Industry

Nano2012 S2S4HLS project with STMicroelectronics on source-to-source transformations for high-level synthesis

Participants : Christophe Alias, Alain Darte, Paul Feautrier, Alexandru Plesco.

This contract has started in January 2009 as part of the funding mechanism Nano2012. This is a joint project with the Cairn Inria project-team whose goal is the study and development of source-to-source program transformations, in particular loop transformtions, that are worth applying before using HLS tools. This includes restructuring transformations, program analysis, memory optimizations and array reshaping, etc.