Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications

Gideon Geier, Philippe Heim, Felix Klein +1

We present Syntroids, a case study for the automatic synthesis of hardware from a temporal logic specification. Syntroids is a space shooter arcade game realized on an FPGA, where…