Projektnummer

0070667

Zusammenfassung

In this Momentum concept the applicant is moving his professorships towards sustainable computing. Based on the professorships background in formal methods in embedded systems, the aim of this project is to bring together the concept of reactive synthesis and field-programmable gate arrays (FPGA) as target domain. FPGA as one of the most efficient computation technologies is currently hard to develop. The goal is to allow for an easier development of FPGAs by synthesizing orchestrators that describe the data processing task parts on an FPGA instead of handling the data directly. This w...