Projektdatenbank (ab 2004)

Projektnummer

0070667

Zusammenfassung

In this Momentum concept the applicant is moving his professorshipstowards sustainable computing. Based on the professorships backgroundin formal methods in embedded systems, the aim of this project is tobring together the concept of reactive synthesis andfield-programmable gate arrays (FPGA) as target domain. FPGA as one ofthe most efficient computation technologies is currently hard todevelop. The goal is to allow for an easier development of FPGAs bysynthesizing orchestrators that describe the data processing taskparts on an FPGA instead of handling the data directly. This wouldmake develop...