Syntroids

Syntroids is an interactive game that is synthesized from Temproal Stream Logic specifications and implemented in hardware for the execution on an FPGA.

Availability

The source code is available at github.com/Reactive-Systems/Syntroids.

Related Publications

[GHKF19]

Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications

Gideon Geier, Philippe Heim, Felix Klein and Bernd Finkbeiner
Formal Methods in Computer-Aided Design, FMCAD 2019

Contact

Felix Klein