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 github.com/Reactive-Systems/Syntroids.
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic SpecificationsGideon Geier, Philippe Heim, Felix Klein and Bernd Finkbeiner
Formal Methods in Computer-Aided Design, FMCAD 2019
Copyright © 2019 Saarland University