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


The source code is available at

Related Publications

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


Felix Klein

Copyright © 2019 Saarland University